0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488782-1307772534.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.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 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.04 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.0s| 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.50 c 1.5s| 10000 | 4611 | 25233 | 2.5 |4187k| 44 | 6 | 50 |3118 | 50 | 15 | 24 |3876 | 510 | 0.000000e+00 | -- | Inf
2.99/3.05 c 3.0s| 20000 | 8565 | 49525 | 2.5 |6322k| 44 | - | 50 |1948 | 50 | 15 | 24 |8158 | 717 | 0.000000e+00 | -- | Inf
4.40/4.44 c 4.4s| 30000 | 12511 | 75204 | 2.5 |8831k| 44 | 6 | 50 |2622 | 50 | 15 | 24 | 12k| 879 | 0.000000e+00 | -- | Inf
5.89/5.91 c 5.9s| 40000 | 16037 | 99896 | 2.5 | 11M| 44 | - | 50 |2824 | 50 | 15 | 24 | 17k| 977 | 0.000000e+00 | -- | Inf
7.40/7.46 c 7.5s| 50000 | 19288 |124949 | 2.5 | 13M| 44 | - | 50 |2814 | 0 | 0 | 24 | 21k|1060 | 0.000000e+00 | -- | Inf
8.89/8.95 c 8.9s| 60000 | 22626 |150113 | 2.5 | 15M| 44 | 6 | 50 |3582 | 50 | 15 | 24 | 26k|1147 | 0.000000e+00 | -- | Inf
10.39/10.49 c 10.5s| 70000 | 25861 |175355 | 2.5 | 17M| 44 | 6 | 50 |3920 | 50 | 15 | 24 | 31k|1211 | 0.000000e+00 | -- | Inf
12.00/12.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.00/12.07 c 12.1s| 80000 | 29126 |200518 | 2.5 | 20M| 44 | 6 | 50 |3724 | 50 | 15 | 24 | 36k|1253 | 0.000000e+00 | -- | Inf
13.69/13.74 c 13.7s| 90000 | 32081 |225750 | 2.5 | 22M| 44 | - | 50 |3746 | 50 | 15 | 24 | 41k|1276 | 0.000000e+00 | -- | Inf
15.30/15.40 c 15.4s|100000 | 34928 |251048 | 2.5 | 24M| 44 | - | 50 |3887 | 50 | 15 | 24 | 46k|1347 | 0.000000e+00 | -- | Inf
16.99/17.05 c 17.0s|110000 | 38150 |275929 | 2.5 | 26M| 44 | 6 | 50 |3901 | 50 | 15 | 24 | 51k|1410 | 0.000000e+00 | -- | Inf
18.70/18.71 c 18.7s|120000 | 41056 |301650 | 2.5 | 28M| 44 | - | 50 |4044 | 50 | 15 | 24 | 56k|1465 | 0.000000e+00 | -- | Inf
20.39/20.43 c 20.4s|130000 | 43940 |326973 | 2.5 | 30M| 44 | 6 | 50 |4220 | 50 | 15 | 24 | 62k|1515 | 0.000000e+00 | -- | Inf
21.99/22.01 c 22.0s|140000 | 47205 |353390 | 2.5 | 32M| 44 | 6 | 50 |4922 | 50 | 15 | 24 | 67k|1563 | 0.000000e+00 | -- | Inf
23.59/23.69 c 23.7s|150000 | 50180 |379086 | 2.5 | 35M| 44 | 6 | 50 |5303 | 50 | 15 | 24 | 72k|1615 | 0.000000e+00 | -- | Inf
25.39/25.46 c 25.5s|160000 | 53040 |404224 | 2.5 | 36M| 44 | 6 | 50 |4455 | 50 | 15 | 24 | 77k|1663 | 0.000000e+00 | -- | Inf
27.19/27.27 c 27.3s|170000 | 55610 |429943 | 2.5 | 38M| 44 | 6 | 50 |4553 | 50 | 15 | 24 | 82k|1711 | 0.000000e+00 | -- | Inf
28.89/28.97 c 29.0s|180000 | 58542 |454784 | 2.5 | 41M| 44 | - | 50 |4689 | 50 | 15 | 24 | 87k|1756 | 0.000000e+00 | -- | Inf
30.70/30.76 c 30.8s|190000 | 61314 |480327 | 2.5 | 43M| 44 | 6 | 50 |4936 | 50 | 15 | 24 | 93k|1789 | 0.000000e+00 | -- | Inf
32.39/32.49 c 32.5s|200000 | 64236 |505034 | 2.5 | 45M| 44 | 6 | 50 |5199 | 50 | 15 | 24 | 98k|1822 | 0.000000e+00 | -- | Inf
34.19/34.23 c 34.2s|210000 | 67249 |530392 | 2.5 | 47M| 44 | 6 | 50 |5438 | 50 | 15 | 24 | 103k|1873 | 0.000000e+00 | -- | Inf
36.09/36.10 c 36.1s|220000 | 69924 |556317 | 2.5 | 49M| 44 | 6 | 50 |4796 | 50 | 15 | 24 | 108k|1911 | 0.000000e+00 | -- | Inf
37.89/37.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.89/37.90 c 37.9s|230000 | 72660 |581470 | 2.5 | 51M| 44 | 6 | 50 |4626 | 50 | 15 | 24 | 114k|1954 | 0.000000e+00 | -- | Inf
39.69/39.76 c 39.8s|240000 | 75279 |606290 | 2.5 | 53M| 44 | 6 | 50 |4194 | 50 | 15 | 24 | 119k|1996 | 0.000000e+00 | -- | Inf
41.50/41.52 c 41.5s|250000 | 77979 |632475 | 2.5 | 55M| 44 | 6 | 50 |4948 | 50 | 15 | 24 | 124k|2037 | 0.000000e+00 | -- | Inf
43.09/43.15 c 43.2s|260000 | 81035 |658284 | 2.5 | 57M| 44 | 6 | 50 |5811 | 50 | 15 | 24 | 129k|2070 | 0.000000e+00 | -- | Inf
44.99/45.04 c 45.0s|270000 | 83961 |683316 | 2.5 | 59M| 44 | 6 | 50 |5342 | 50 | 15 | 24 | 134k|2104 | 0.000000e+00 | -- | Inf
46.80/46.82 c 46.8s|280000 | 86796 |708939 | 2.5 | 61M| 44 | - | 50 |5631 | 50 | 15 | 24 | 140k|2133 | 0.000000e+00 | -- | Inf
48.69/48.74 c 48.7s|290000 | 89535 |734342 | 2.5 | 63M| 44 | - | 50 |4957 | 50 | 15 | 24 | 145k|2158 | 0.000000e+00 | -- | Inf
50.50/50.60 c 50.6s|300000 | 92136 |759652 | 2.5 | 65M| 44 | 6 | 50 |5462 | 50 | 15 | 24 | 151k|2186 | 0.000000e+00 | -- | Inf
52.49/52.53 c 52.5s|310000 | 94628 |785316 | 2.5 | 67M| 44 | 6 | 50 |5145 | 50 | 15 | 24 | 156k|2216 | 0.000000e+00 | -- | Inf
54.40/54.44 c 54.4s|320000 | 97221 |811143 | 2.5 | 69M| 44 | 6 | 50 |5300 | 50 | 15 | 24 | 162k|2244 | 0.000000e+00 | -- | Inf
56.19/56.28 c 56.3s|330000 |100047 |836354 | 2.5 | 71M| 44 | 6 | 50 |5108 | 50 | 15 | 24 | 167k|2287 | 0.000000e+00 | -- | Inf
57.99/58.05 c 58.1s|340000 |102935 |862164 | 2.5 | 73M| 44 | 6 | 50 |5788 | 50 | 15 | 24 | 172k|2316 | 0.000000e+00 | -- | Inf
59.99/60.00 c 60.0s|350000 |105511 |887281 | 2.5 | 75M| 44 | 6 | 50 |4700 | 50 | 15 | 24 | 178k|2348 | 0.000000e+00 | -- | Inf
61.79/61.86 c 61.9s|360000 |108073 |912175 | 2.5 | 77M| 44 | 6 | 50 |4552 | 50 | 15 | 24 | 183k|2377 | 0.000000e+00 | -- | Inf
63.70/63.70 c 63.7s|370000 |110635 |937229 | 2.5 | 79M| 44 | 6 | 50 |4327 | 50 | 15 | 24 | 189k|2408 | 0.000000e+00 | -- | Inf
65.49/65.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.49/65.58 c 65.6s|380000 |113011 |962228 | 2.5 | 81M| 44 | 6 | 50 |4620 | 50 | 15 | 24 | 194k|2441 | 0.000000e+00 | -- | Inf
67.19/67.25 c 67.2s|390000 |115891 |988420 | 2.5 | 83M| 44 | 6 | 50 |6225 | 50 | 15 | 24 | 200k|2476 | 0.000000e+00 | -- | Inf
69.20/69.27 c 69.3s|400000 |118150 | 1013k| 2.5 | 85M| 44 | - | 50 |5562 | 50 | 15 | 24 | 205k|2510 | 0.000000e+00 | -- | Inf
70.99/71.09 c 71.1s|410000 |120687 | 1041k| 2.5 | 87M| 45 | - | 50 |6349 | 50 | 15 | 24 | 211k|2536 | 0.000000e+00 | -- | Inf
72.99/73.06 c 73.1s|420000 |123331 | 1067k| 2.5 | 89M| 45 | 6 | 50 |5849 | 50 | 15 | 24 | 217k|2567 | 0.000000e+00 | -- | Inf
74.99/75.05 c 75.1s|430000 |125639 | 1092k| 2.5 | 91M| 45 | 6 | 50 |5165 | 50 | 15 | 24 | 222k|2602 | 0.000000e+00 | -- | Inf
76.90/76.99 c 77.0s|440000 |128028 | 1118k| 2.5 | 93M| 45 | 6 | 50 |5526 | 50 | 15 | 24 | 228k|2629 | 0.000000e+00 | -- | Inf
78.79/78.88 c 78.9s|450000 |130443 | 1145k| 2.5 | 95M| 45 | - | 50 |6376 | 50 | 15 | 24 | 234k|2661 | 0.000000e+00 | -- | Inf
80.99/81.04 c 81.0s|460000 |132756 | 1170k| 2.5 | 96M| 45 | 6 | 50 |4746 | 50 | 15 | 24 | 240k|2695 | 0.000000e+00 | -- | Inf
82.89/82.98 c 83.0s|470000 |135096 | 1196k| 2.5 | 98M| 45 | 6 | 50 |5228 | 50 | 15 | 24 | 246k|2728 | 0.000000e+00 | -- | Inf
84.89/84.90 c 84.9s|480000 |137406 | 1222k| 2.5 | 100M| 45 | 6 | 50 |5425 | 50 | 15 | 24 | 251k|2752 | 0.000000e+00 | -- | Inf
86.90/86.95 c 86.9s|490000 |139637 | 1248k| 2.5 | 102M| 45 | 6 | 50 |4936 | 50 | 15 | 24 | 257k|2784 | 0.000000e+00 | -- | Inf
88.79/88.80 c 88.8s|500000 |142190 | 1273k| 2.5 | 105M| 45 | 6 | 50 |6488 | 50 | 15 | 24 | 263k|2802 | 0.000000e+00 | -- | Inf
90.79/90.89 c 90.9s|510000 |144548 | 1298k| 2.5 | 106M| 45 | 6 | 50 |5666 | 50 | 15 | 24 | 268k|2833 | 0.000000e+00 | -- | Inf
92.80/92.81 c 92.8s|520000 |147007 | 1323k| 2.5 | 108M| 45 | 6 | 50 |5890 | 50 | 15 | 24 | 274k|2858 | 0.000000e+00 | -- | Inf
94.69/94.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.69/94.78 c 94.8s|530000 |149514 | 1348k| 2.5 | 110M| 45 | 6 | 50 |5406 | 50 | 15 | 24 | 279k|2882 | 0.000000e+00 | -- | Inf
96.79/96.81 c 96.8s|540000 |151682 | 1373k| 2.5 | 112M| 45 | 6 | 50 |4991 | 50 | 15 | 24 | 285k|2908 | 0.000000e+00 | -- | Inf
98.49/98.59 c 98.6s|550000 |154424 | 1399k| 2.5 | 114M| 45 | 6 | 50 |6548 | 50 | 15 | 24 | 290k|2935 | 0.000000e+00 | -- | Inf
100.59/100.69 c 101s|560000 |156883 | 1424k| 2.5 | 115M| 45 | - | 50 |4617 | 50 | 15 | 24 | 296k|2964 | 0.000000e+00 | -- | Inf
102.49/102.56 c 103s|570000 |159268 | 1450k| 2.5 | 118M| 45 | 6 | 50 |5226 | 50 | 15 | 24 | 302k|2992 | 0.000000e+00 | -- | Inf
104.40/104.47 c 104s|580000 |161601 | 1476k| 2.5 | 120M| 45 | 6 | 50 |5944 | 50 | 15 | 24 | 307k|3015 | 0.000000e+00 | -- | Inf
106.19/106.23 c 106s|590000 |164786 | 1501k| 2.5 | 122M| 45 | 6 | 50 |7073 | 50 | 15 | 24 | 312k|3041 | 0.000000e+00 | -- | Inf
108.09/108.18 c 108s|600000 |167484 | 1527k| 2.5 | 124M| 45 | 6 | 50 |8251 | 50 | 15 | 24 | 317k|3060 | 0.000000e+00 | -- | Inf
110.30/110.31 c 110s|610000 |169898 | 1552k| 2.5 | 126M| 45 | 6 | 50 |7803 | 50 | 15 | 24 | 323k|3082 | 0.000000e+00 | -- | Inf
112.39/112.48 c 112s|620000 |172370 | 1578k| 2.5 | 128M| 45 | 6 | 50 |6386 | 50 | 15 | 24 | 329k|3112 | 0.000000e+00 | -- | Inf
114.39/114.48 c 114s|630000 |174824 | 1603k| 2.5 | 130M| 45 | 6 | 50 |7094 | 50 | 15 | 24 | 334k|3141 | 0.000000e+00 | -- | Inf
116.60/116.66 c 117s|640000 |177064 | 1629k| 2.5 | 131M| 45 | - | 50 |5543 | 50 | 15 | 24 | 340k|3164 | 0.000000e+00 | -- | Inf
118.70/118.73 c 119s|650000 |179268 | 1654k| 2.5 | 133M| 45 | 6 | 50 |5018 | 50 | 15 | 24 | 346k|3191 | 0.000000e+00 | -- | Inf
120.69/120.74 c 121s|660000 |181518 | 1680k| 2.5 | 135M| 45 | - | 50 |4616 | 50 | 15 | 24 | 352k|3211 | 0.000000e+00 | -- | Inf
122.60/122.66 c 123s|670000 |183742 | 1706k| 2.5 | 137M| 45 | 6 | 50 |5071 | 50 | 15 | 24 | 357k|3242 | 0.000000e+00 | -- | Inf
124.49/124.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.49/124.55 c 125s|680000 |186139 | 1731k| 2.5 | 139M| 45 | 6 | 50 |6330 | 50 | 15 | 24 | 363k|3270 | 0.000000e+00 | -- | Inf
126.49/126.56 c 127s|690000 |188438 | 1757k| 2.5 | 141M| 45 | 6 | 50 |7063 | 50 | 15 | 24 | 369k|3289 | 0.000000e+00 | -- | Inf
128.79/128.82 c 129s|700000 |190659 | 1783k| 2.5 | 143M| 45 | 6 | 50 |5985 | 50 | 15 | 24 | 375k|3316 | 0.000000e+00 | -- | Inf
130.99/131.03 c 131s|710000 |192840 | 1808k| 2.5 | 144M| 45 | 6 | 50 |5371 | 50 | 15 | 24 | 381k|3346 | 0.000000e+00 | -- | Inf
132.99/133.09 c 133s|720000 |195053 | 1834k| 2.5 | 146M| 45 | 6 | 50 |5895 | 50 | 15 | 24 | 386k|3369 | 0.000000e+00 | -- | Inf
135.20/135.20 c 135s|730000 |197383 | 1859k| 2.5 | 148M| 45 | - | 50 |5602 | 50 | 15 | 24 | 392k|3391 | 0.000000e+00 | -- | Inf
136.99/137.03 c 137s|740000 |200190 | 1885k| 2.5 | 151M| 45 | 6 | 50 |6990 | 50 | 15 | 24 | 397k|3413 | 0.000000e+00 | -- | Inf
139.29/139.31 c 139s|750000 |202416 | 1910k| 2.5 | 152M| 45 | - | 50 |5748 | 0 | 0 | 24 | 403k|3436 | 0.000000e+00 | -- | Inf
141.29/141.32 c 141s|760000 |204734 | 1935k| 2.5 | 154M| 45 | 6 | 50 |5697 | 50 | 15 | 24 | 409k|3456 | 0.000000e+00 | -- | Inf
143.19/143.25 c 143s|770000 |207128 | 1960k| 2.5 | 156M| 45 | 6 | 50 |6540 | 50 | 15 | 24 | 414k|3478 | 0.000000e+00 | -- | Inf
145.29/145.37 c 145s|780000 |209489 | 1985k| 2.5 | 158M| 45 | 6 | 50 |4929 | 50 | 15 | 24 | 420k|3501 | 0.000000e+00 | -- | Inf
147.09/147.19 c 147s|790000 |212151 | 2010k| 2.5 | 160M| 45 | - | 50 |6494 | 50 | 15 | 24 | 425k|3520 | 0.000000e+00 | -- | Inf
149.19/149.25 c 149s|800000 |214531 | 2036k| 2.5 | 162M| 45 | - | 50 |6335 | 0 | 0 | 24 | 431k|3537 | 0.000000e+00 | -- | Inf
151.29/151.32 c 151s|810000 |216934 | 2061k| 2.5 | 164M| 45 | 6 | 50 |6313 | 50 | 15 | 24 | 436k|3565 | 0.000000e+00 | -- | Inf
153.19/153.22 c 153s|820000 |219546 | 2088k| 2.5 | 166M| 45 | 6 | 50 |7951 | 50 | 15 | 24 | 442k|3583 | 0.000000e+00 | -- | Inf
155.29/155.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.29/155.37 c 155s|830000 |222116 | 2114k| 2.5 | 169M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 448k|3602 | 0.000000e+00 | -- | Inf
157.89/157.94 c 158s|840000 |224320 | 2140k| 2.5 | 170M| 45 | 6 | 50 |7563 | 50 | 15 | 24 | 454k|3624 | 0.000000e+00 | -- | Inf
160.19/160.29 c 160s|850000 |226459 | 2165k| 2.5 | 172M| 45 | - | 50 |5943 | 50 | 15 | 24 | 459k|3649 | 0.000000e+00 | -- | Inf
162.29/162.38 c 162s|860000 |228715 | 2191k| 2.5 | 174M| 45 | 6 | 50 |6476 | 50 | 15 | 24 | 465k|3670 | 0.000000e+00 | -- | Inf
164.39/164.46 c 164s|870000 |231080 | 2216k| 2.5 | 176M| 45 | 6 | 50 |7123 | 50 | 15 | 24 | 471k|3695 | 0.000000e+00 | -- | Inf
166.59/166.61 c 167s|880000 |233501 | 2241k| 2.5 | 178M| 45 | 6 | 50 |7707 | 50 | 15 | 24 | 476k|3711 | 0.000000e+00 | -- | Inf
168.69/168.72 c 169s|890000 |235956 | 2267k| 2.5 | 180M| 45 | 6 | 50 |7923 | 50 | 15 | 24 | 482k|3736 | 0.000000e+00 | -- | Inf
170.89/170.99 c 171s|900000 |238468 | 2292k| 2.5 | 182M| 45 | 6 | 50 |8616 | 50 | 15 | 24 | 487k|3754 | 0.000000e+00 | -- | Inf
173.40/173.44 c 173s|910000 |240694 | 2319k| 2.5 | 183M| 45 | 6 | 50 |6433 | 50 | 15 | 24 | 493k|3780 | 0.000000e+00 | -- | Inf
175.39/175.48 c 175s|920000 |243030 | 2345k| 2.5 | 185M| 45 | 6 | 50 |7645 | 50 | 15 | 24 | 499k|3794 | 0.000000e+00 | -- | Inf
177.80/177.80 c 178s|930000 |245272 | 2371k| 2.5 | 187M| 45 | - | 50 |5349 | 0 | 0 | 24 | 505k|3816 | 0.000000e+00 | -- | Inf
179.80/179.88 c 180s|940000 |247584 | 2396k| 2.5 | 188M| 45 | 6 | 50 |5597 | 50 | 15 | 24 | 510k|3838 | 0.000000e+00 | -- | Inf
181.80/181.87 c 182s|950000 |249763 | 2423k| 2.6 | 191M| 45 | 6 | 50 |7498 | 50 | 15 | 24 | 516k|3848 | 0.000000e+00 | -- | Inf
184.19/184.26 c 184s|960000 |251931 | 2448k| 2.6 | 192M| 45 | 6 | 50 |5922 | 50 | 15 | 24 | 522k|3869 | 0.000000e+00 | -- | Inf
186.39/186.41 c 186s|970000 |254008 | 2473k| 2.6 | 194M| 45 | 6 | 50 |6018 | 50 | 15 | 24 | 528k|3885 | 0.000000e+00 | -- | Inf
188.59/188.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.59/188.63 c 189s|980000 |256278 | 2498k| 2.5 | 196M| 45 | - | 50 |5682 | 50 | 15 | 24 | 534k|3904 | 0.000000e+00 | -- | Inf
190.49/190.50 c 190s|990000 |258765 | 2523k| 2.5 | 198M| 45 | - | 50 |6855 | 50 | 15 | 24 | 539k|3922 | 0.000000e+00 | -- | Inf
192.59/192.66 c 193s| 1000k|261158 | 2548k| 2.5 | 200M| 45 | 6 | 50 |6026 | 50 | 15 | 24 | 545k|3941 | 0.000000e+00 | -- | Inf
194.89/194.95 c 195s| 1010k|263311 | 2573k| 2.5 | 202M| 45 | 6 | 50 |5683 | 50 | 15 | 24 | 551k|3951 | 0.000000e+00 | -- | Inf
196.69/196.79 c 197s| 1020k|265997 | 2599k| 2.5 | 204M| 45 | - | 50 |8016 | 50 | 15 | 24 | 556k|3973 | 0.000000e+00 | -- | Inf
198.79/198.88 c 199s| 1030k|268286 | 2626k| 2.6 | 207M| 45 | 6 | 50 |9504 | 50 | 15 | 24 | 562k|3989 | 0.000000e+00 | -- | Inf
201.19/201.21 c 201s| 1040k|270476 | 2652k| 2.6 | 208M| 45 | 6 | 50 |8644 | 50 | 15 | 24 | 568k|4003 | 0.000000e+00 | -- | Inf
203.59/203.62 c 204s| 1050k|272609 | 2679k| 2.6 | 210M| 45 | 6 | 50 |8363 | 50 | 15 | 24 | 574k|4009 | 0.000000e+00 | -- | Inf
205.99/206.03 c 206s| 1060k|274735 | 2704k| 2.6 | 211M| 45 | - | 50 |6304 | 50 | 15 | 24 | 580k|4032 | 0.000000e+00 | -- | Inf
208.29/208.32 c 208s| 1070k|276894 | 2729k| 2.6 | 213M| 45 | 6 | 50 |5591 | 50 | 15 | 24 | 586k|4048 | 0.000000e+00 | -- | Inf
210.49/210.54 c 211s| 1080k|278855 | 2754k| 2.6 | 215M| 45 | - | 50 |5009 | 50 | 15 | 24 | 592k|4059 | 0.000000e+00 | -- | Inf
212.29/212.35 c 212s| 1090k|281345 | 2780k| 2.6 | 217M| 45 | 6 | 50 |6849 | 50 | 15 | 24 | 597k|4071 | 0.000000e+00 | -- | Inf
214.50/214.58 c 215s| 1100k|283521 | 2805k| 2.6 | 218M| 45 | - | 50 |5513 | 50 | 15 | 24 | 603k|4088 | 0.000000e+00 | -- | Inf
216.70/216.73 c 217s| 1110k|285670 | 2830k| 2.6 | 220M| 45 | 6 | 50 |4734 | 50 | 15 | 24 | 609k|4105 | 0.000000e+00 | -- | Inf
218.80/218.84 c 219s| 1120k|287764 | 2855k| 2.5 | 222M| 45 | 6 | 50 |5599 | 50 | 15 | 24 | 615k|4117 | 0.000000e+00 | -- | Inf
220.79/220.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.79/220.87 c 221s| 1130k|290017 | 2882k| 2.6 | 224M| 45 | - | 50 |6346 | 50 | 15 | 24 | 620k|4135 | 0.000000e+00 | -- | Inf
222.79/222.86 c 223s| 1140k|292524 | 2909k| 2.6 | 227M| 45 | - | 50 |7840 | 50 | 15 | 24 | 626k|4148 | 0.000000e+00 | -- | Inf
225.19/225.26 c 225s| 1150k|294530 | 2936k| 2.6 | 228M| 45 | 6 | 50 |7397 | 50 | 15 | 24 | 632k|4162 | 0.000000e+00 | -- | Inf
227.49/227.50 c 227s| 1160k|296795 | 2961k| 2.6 | 230M| 45 | 6 | 50 |6805 | 50 | 15 | 24 | 638k|4182 | 0.000000e+00 | -- | Inf
229.69/229.70 c 230s| 1170k|298981 | 2987k| 2.6 | 232M| 45 | 6 | 50 |6115 | 50 | 15 | 24 | 644k|4204 | 0.000000e+00 | -- | Inf
231.69/231.73 c 232s| 1180k|301297 | 3013k| 2.6 | 234M| 45 | - | 50 |8432 | 50 | 15 | 24 | 650k|4222 | 0.000000e+00 | -- | Inf
233.99/234.02 c 234s| 1190k|303664 | 3038k| 2.6 | 236M| 45 | 6 | 50 |8128 | 50 | 15 | 24 | 655k|4237 | 0.000000e+00 | -- | Inf
236.40/236.42 c 236s| 1200k|306000 | 3064k| 2.6 | 238M| 45 | - | 50 |6913 | 0 | 0 | 24 | 661k|4248 | 0.000000e+00 | -- | Inf
238.59/238.61 c 239s| 1210k|308137 | 3091k| 2.6 | 240M| 45 | 6 | 50 |8043 | 50 | 15 | 24 | 667k|4270 | 0.000000e+00 | -- | Inf
240.80/240.84 c 241s| 1220k|310411 | 3116k| 2.6 | 241M| 45 | 6 | 50 |7442 | 50 | 15 | 24 | 673k|4280 | 0.000000e+00 | -- | Inf
243.19/243.22 c 243s| 1230k|312472 | 3141k| 2.6 | 243M| 45 | 6 | 50 |5615 | 50 | 15 | 24 | 679k|4299 | 0.000000e+00 | -- | Inf
245.20/245.29 c 245s| 1240k|314806 | 3166k| 2.6 | 245M| 45 | - | 50 |6358 | 0 | 0 | 24 | 684k|4317 | 0.000000e+00 | -- | Inf
247.50/247.54 c 248s| 1250k|316916 | 3192k| 2.6 | 247M| 45 | 6 | 50 |6544 | 50 | 15 | 24 | 690k|4328 | 0.000000e+00 | -- | Inf
249.89/249.95 c 250s| 1260k|318763 | 3216k| 2.6 | 248M| 45 | - | 50 |5206 | 50 | 15 | 24 | 696k|4344 | 0.000000e+00 | -- | Inf
251.90/251.90 c 252s| 1270k|321083 | 3243k| 2.6 | 250M| 45 | - | 50 |6317 | 50 | 15 | 24 | 702k|4361 | 0.000000e+00 | -- | Inf
254.19/254.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.19/254.22 c 254s| 1280k|322976 | 3268k| 2.6 | 252M| 45 | - | 50 |5177 | 50 | 15 | 24 | 708k|4376 | 0.000000e+00 | -- | Inf
256.30/256.33 c 256s| 1290k|325052 | 3293k| 2.6 | 254M| 45 | - | 50 |5718 | 50 | 15 | 24 | 714k|4389 | 0.000000e+00 | -- | Inf
258.19/258.20 c 258s| 1300k|327748 | 3318k| 2.6 | 256M| 45 | - | 50 |6798 | 50 | 15 | 24 | 719k|4417 | 0.000000e+00 | -- | Inf
260.19/260.21 c 260s| 1310k|330213 | 3343k| 2.6 | 258M| 45 | 6 | 50 |8016 | 50 | 15 | 24 | 725k|4426 | 0.000000e+00 | -- | Inf
262.70/262.72 c 263s| 1320k|332229 | 3369k| 2.6 | 259M| 45 | 6 | 50 |5587 | 50 | 15 | 24 | 731k|4441 | 0.000000e+00 | -- | Inf
264.69/264.73 c 265s| 1330k|334651 | 3394k| 2.6 | 261M| 45 | 6 | 50 |6110 | 50 | 15 | 24 | 736k|4459 | 0.000000e+00 | -- | Inf
266.59/266.65 c 267s| 1340k|337389 | 3421k| 2.6 | 264M| 45 | - | 50 |8237 | 50 | 15 | 24 | 742k|4477 | 0.000000e+00 | -- | Inf
268.89/268.91 c 269s| 1350k|339590 | 3448k| 2.6 | 266M| 45 | 6 | 50 |8594 | 50 | 15 | 24 | 748k|4492 | 0.000000e+00 | -- | Inf
271.39/271.40 c 271s| 1360k|341654 | 3473k| 2.6 | 267M| 45 | 6 | 50 |6817 | 50 | 15 | 24 | 754k|4509 | 0.000000e+00 | -- | Inf
273.59/273.69 c 274s| 1370k|343949 | 3498k| 2.6 | 269M| 45 | 6 | 50 |7412 | 50 | 15 | 24 | 760k|4532 | 0.000000e+00 | -- | Inf
275.80/275.85 c 276s| 1380k|346196 | 3525k| 2.6 | 271M| 45 | - | 50 |7893 | 50 | 15 | 24 | 766k|4545 | 0.000000e+00 | -- | Inf
278.20/278.27 c 278s| 1390k|348365 | 3550k| 2.6 | 273M| 45 | 6 | 50 |5642 | 50 | 15 | 24 | 772k|4555 | 0.000000e+00 | -- | Inf
280.40/280.47 c 280s| 1400k|350584 | 3576k| 2.6 | 275M| 45 | 6 | 50 |5750 | 50 | 15 | 24 | 778k|4571 | 0.000000e+00 | -- | Inf
282.50/282.55 c 283s| 1410k|352904 | 3602k| 2.6 | 277M| 45 | - | 50 |6659 | 0 | 0 | 24 | 783k|4582 | 0.000000e+00 | -- | Inf
284.50/284.58 c 285s| 1420k|355406 | 3628k| 2.6 | 279M| 45 | - | 50 |8499 | 50 | 15 | 24 | 789k|4598 | 0.000000e+00 | -- | Inf
286.70/286.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.70/286.74 c 287s| 1430k|357955 | 3654k| 2.6 | 282M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 795k|4613 | 0.000000e+00 | -- | Inf
289.19/289.24 c 289s| 1440k|360229 | 3680k| 2.6 | 283M| 45 | - | 50 |9923 | 50 | 15 | 24 | 800k|4625 | 0.000000e+00 | -- | Inf
291.90/291.95 c 292s| 1450k|362408 | 3706k| 2.6 | 285M| 45 | 6 | 50 |7392 | 50 | 15 | 24 | 806k|4640 | 0.000000e+00 | -- | Inf
293.79/293.89 c 294s| 1460k|365334 | 3731k| 2.6 | 287M| 45 | - | 50 |9418 | 50 | 15 | 24 | 812k|4655 | 0.000000e+00 | -- | Inf
296.49/296.57 c 297s| 1470k|367338 | 3757k| 2.6 | 289M| 45 | 6 | 50 |7742 | 50 | 15 | 24 | 817k|4671 | 0.000000e+00 | -- | Inf
299.10/299.19 c 299s| 1480k|369379 | 3782k| 2.6 | 290M| 45 | 6 | 50 |5882 | 50 | 15 | 24 | 823k|4687 | 0.000000e+00 | -- | Inf
301.09/301.19 c 301s| 1490k|371645 | 3808k| 2.6 | 292M| 45 | 6 | 50 |8553 | 50 | 15 | 24 | 829k|4698 | 0.000000e+00 | -- | Inf
303.79/303.84 c 304s| 1500k|373582 | 3832k| 2.6 | 294M| 45 | 6 | 50 |5840 | 50 | 15 | 24 | 835k|4715 | 0.000000e+00 | -- | Inf
306.19/306.20 c 306s| 1510k|375596 | 3858k| 2.6 | 295M| 45 | - | 50 |6387 | 50 | 15 | 24 | 841k|4726 | 0.000000e+00 | -- | Inf
308.29/308.36 c 308s| 1520k|377668 | 3885k| 2.6 | 298M| 45 | - | 50 |8118 | 50 | 15 | 24 | 847k|4746 | 0.000000e+00 | -- | Inf
311.00/311.05 c 311s| 1530k|379573 | 3910k| 2.6 | 299M| 45 | 6 | 50 |5684 | 50 | 15 | 24 | 853k|4764 | 0.000000e+00 | -- | Inf
313.20/313.28 c 313s| 1540k|381704 | 3935k| 2.6 | 301M| 45 | - | 50 |5398 | 50 | 15 | 24 | 859k|4773 | 0.000000e+00 | -- | Inf
315.19/315.22 c 315s| 1550k|384288 | 3961k| 2.6 | 303M| 45 | 6 | 50 |7805 | 50 | 15 | 24 | 865k|4784 | 0.000000e+00 | -- | Inf
317.19/317.27 c 317s| 1560k|387130 | 3987k| 2.6 | 305M| 45 | 6 | 50 |8849 | 50 | 15 | 24 | 870k|4790 | 0.000000e+00 | -- | Inf
319.39/319.45 c 319s| 1570k|389648 | 4013k| 2.6 | 308M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 876k|4801 | 0.000000e+00 | -- | Inf
321.99/322.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.99/322.00 c 322s| 1580k|391673 | 4039k| 2.6 | 310M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 882k|4808 | 0.000000e+00 | -- | Inf
324.30/324.33 c 324s| 1590k|394360 | 4065k| 2.6 | 312M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 887k|4818 | 0.000000e+00 | -- | Inf
326.80/326.80 c 327s| 1600k|396738 | 4092k| 2.6 | 313M| 45 | - | 50 | 10k| 50 | 15 | 24 | 893k|4834 | 0.000000e+00 | -- | Inf
329.10/329.10 c 329s| 1610k|399599 | 4119k| 2.6 | 316M| 45 | - | 50 | 11k| 50 | 15 | 24 | 899k|4845 | 0.000000e+00 | -- | Inf
331.99/332.05 c 332s| 1620k|401432 | 4145k| 2.6 | 317M| 45 | - | 50 |8001 | 50 | 15 | 24 | 905k|4856 | 0.000000e+00 | -- | Inf
334.40/334.41 c 334s| 1630k|403800 | 4170k| 2.6 | 318M| 45 | 6 | 50 |6901 | 50 | 15 | 24 | 911k|4873 | 0.000000e+00 | -- | Inf
336.50/336.60 c 337s| 1640k|406306 | 4196k| 2.6 | 320M| 45 | 6 | 50 |6846 | 50 | 15 | 24 | 916k|4881 | 0.000000e+00 | -- | Inf
338.80/338.86 c 339s| 1650k|408552 | 4221k| 2.6 | 322M| 45 | - | 50 |7953 | 50 | 15 | 24 | 922k|4886 | 0.000000e+00 | -- | Inf
341.09/341.14 c 341s| 1660k|410975 | 4247k| 2.6 | 324M| 45 | - | 50 |7665 | 50 | 15 | 24 | 928k|4901 | 0.000000e+00 | -- | Inf
343.49/343.58 c 344s| 1670k|413077 | 4272k| 2.6 | 326M| 45 | 6 | 50 |5433 | 50 | 15 | 24 | 933k|4913 | 0.000000e+00 | -- | Inf
345.80/345.80 c 346s| 1680k|415222 | 4297k| 2.6 | 328M| 45 | 6 | 50 |5926 | 50 | 15 | 24 | 939k|4920 | 0.000000e+00 | -- | Inf
348.10/348.14 c 348s| 1690k|417125 | 4323k| 2.6 | 329M| 45 | - | 50 |5373 | 0 | 0 | 24 | 945k|4928 | 0.000000e+00 | -- | Inf
350.29/350.37 c 350s| 1700k|419245 | 4348k| 2.6 | 331M| 45 | - | 50 |5995 | 50 | 15 | 24 | 951k|4944 | 0.000000e+00 | -- | Inf
352.39/352.47 c 352s| 1710k|421487 | 4373k| 2.6 | 333M| 45 | 6 | 50 |6750 | 50 | 15 | 24 | 957k|4957 | 0.000000e+00 | -- | Inf
354.69/354.77 c 355s| 1720k|423703 | 4398k| 2.6 | 335M| 45 | 6 | 50 |6430 | 50 | 15 | 24 | 963k|4966 | 0.000000e+00 | -- | Inf
357.10/357.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.10/357.12 c 357s| 1730k|425661 | 4423k| 2.6 | 337M| 45 | - | 50 |5316 | 50 | 15 | 24 | 969k|4979 | 0.000000e+00 | -- | Inf
359.39/359.41 c 359s| 1740k|427533 | 4448k| 2.6 | 338M| 45 | - | 50 |5144 | 50 | 15 | 24 | 975k|4993 | 0.000000e+00 | -- | Inf
361.49/361.57 c 362s| 1750k|429668 | 4473k| 2.6 | 340M| 45 | 6 | 50 |5617 | 50 | 15 | 24 | 981k|5004 | 0.000000e+00 | -- | Inf
363.59/363.60 c 364s| 1760k|432265 | 4499k| 2.6 | 343M| 45 | - | 50 |7098 | 50 | 15 | 24 | 986k|5015 | 0.000000e+00 | -- | Inf
365.89/365.95 c 366s| 1770k|434281 | 4524k| 2.6 | 344M| 45 | - | 50 |6324 | 50 | 15 | 24 | 992k|5032 | 0.000000e+00 | -- | Inf
368.19/368.24 c 368s| 1780k|436278 | 4549k| 2.6 | 346M| 45 | 6 | 50 |6377 | 50 | 15 | 24 | 998k|5045 | 0.000000e+00 | -- | Inf
370.29/370.40 c 370s| 1790k|438579 | 4574k| 2.6 | 348M| 45 | - | 50 |7052 | 50 | 15 | 24 |1004k|5059 | 0.000000e+00 | -- | Inf
372.91/372.92 c 373s| 1800k|440309 | 4599k| 2.6 | 349M| 45 | 6 | 50 |5918 | 50 | 15 | 24 |1010k|5074 | 0.000000e+00 | -- | Inf
374.90/374.93 c 375s| 1810k|442585 | 4625k| 2.6 | 351M| 45 | 6 | 50 |6771 | 50 | 15 | 24 |1016k|5090 | 0.000000e+00 | -- | Inf
377.30/377.32 c 377s| 1820k|444456 | 4650k| 2.6 | 353M| 45 | 6 | 50 |5330 | 50 | 15 | 24 |1022k|5103 | 0.000000e+00 | -- | Inf
379.60/379.61 c 380s| 1830k|446387 | 4676k| 2.6 | 355M| 45 | - | 50 |5661 | 50 | 15 | 24 |1028k|5119 | 0.000000e+00 | -- | Inf
381.49/381.51 c 382s| 1840k|448948 | 4702k| 2.6 | 357M| 45 | 6 | 50 |7805 | 50 | 15 | 24 |1033k|5128 | 0.000000e+00 | -- | Inf
383.69/383.77 c 384s| 1850k|451550 | 4729k| 2.6 | 359M| 45 | - | 50 |8017 | 50 | 15 | 24 |1039k|5137 | 0.000000e+00 | -- | Inf
386.10/386.11 c 386s| 1860k|453791 | 4755k| 2.6 | 361M| 45 | 6 | 50 |8005 | 50 | 15 | 24 |1045k|5145 | 0.000000e+00 | -- | Inf
388.49/388.57 c 389s| 1870k|456143 | 4782k| 2.6 | 363M| 45 | - | 50 |8376 | 50 | 15 | 24 |1051k|5149 | 0.000000e+00 | -- | Inf
390.99/391.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.99/391.00 c 391s| 1880k|458397 | 4808k| 2.6 | 365M| 45 | - | 50 | 10k| 50 | 15 | 24 |1056k|5159 | 0.000000e+00 | -- | Inf
393.50/393.58 c 394s| 1890k|460518 | 4834k| 2.6 | 367M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1062k|5170 | 0.000000e+00 | -- | Inf
396.30/396.38 c 396s| 1900k|462481 | 4860k| 2.6 | 368M| 45 | 6 | 50 |8421 | 50 | 15 | 24 |1068k|5176 | 0.000000e+00 | -- | Inf
398.49/398.59 c 399s| 1910k|464765 | 4886k| 2.6 | 371M| 45 | 6 | 50 |9244 | 50 | 15 | 24 |1074k|5182 | 0.000000e+00 | -- | Inf
401.20/401.24 c 401s| 1920k|466901 | 4912k| 2.6 | 372M| 45 | - | 50 |6788 | 0 | 0 | 24 |1080k|5201 | 0.000000e+00 | -- | Inf
403.29/403.37 c 403s| 1930k|469066 | 4938k| 2.6 | 374M| 45 | - | 50 |8130 | 50 | 15 | 24 |1086k|5210 | 0.000000e+00 | -- | Inf
405.60/405.61 c 406s| 1940k|471250 | 4966k| 2.6 | 376M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |1092k|5217 | 0.000000e+00 | -- | Inf
408.29/408.35 c 408s| 1950k|472908 | 4993k| 2.6 | 378M| 45 | 6 | 50 |8238 | 50 | 15 | 24 |1099k|5230 | 0.000000e+00 | -- | Inf
410.49/410.55 c 411s| 1960k|475363 | 5018k| 2.6 | 380M| 45 | 6 | 50 |9300 | 50 | 15 | 24 |1104k|5236 | 0.000000e+00 | -- | Inf
413.19/413.25 c 413s| 1970k|477325 | 5044k| 2.6 | 381M| 45 | 6 | 50 |7314 | 50 | 15 | 24 |1110k|5247 | 0.000000e+00 | -- | Inf
415.60/415.67 c 416s| 1980k|479463 | 5069k| 2.6 | 383M| 45 | 6 | 50 |6986 | 50 | 15 | 24 |1116k|5253 | 0.000000e+00 | -- | Inf
418.19/418.24 c 418s| 1990k|481410 | 5095k| 2.6 | 384M| 45 | - | 50 |5919 | 50 | 15 | 24 |1122k|5260 | 0.000000e+00 | -- | Inf
420.50/420.56 c 421s| 2000k|483415 | 5121k| 2.6 | 386M| 45 | 6 | 50 |5824 | 50 | 15 | 24 |1128k|5272 | 0.000000e+00 | -- | Inf
422.89/422.91 c 423s| 2010k|485361 | 5145k| 2.6 | 388M| 45 | 6 | 50 |5129 | 50 | 15 | 24 |1134k|5280 | 0.000000e+00 | -- | Inf
425.20/425.21 c 425s| 2020k|487253 | 5171k| 2.6 | 389M| 45 | - | 50 |5265 | 50 | 15 | 24 |1140k|5288 | 0.000000e+00 | -- | Inf
427.20/427.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.20/427.27 c 427s| 2030k|489900 | 5196k| 2.6 | 392M| 45 | - | 50 |5952 | 50 | 15 | 24 |1146k|5297 | 0.000000e+00 | -- | Inf
429.30/429.36 c 429s| 2040k|492382 | 5223k| 2.6 | 394M| 45 | 6 | 50 |7406 | 50 | 15 | 24 |1151k|5308 | 0.000000e+00 | -- | Inf
431.40/431.47 c 431s| 2050k|495269 | 5251k| 2.6 | 396M| 45 | 6 | 50 |8879 | 50 | 15 | 24 |1156k|5318 | 0.000000e+00 | -- | Inf
434.00/434.04 c 434s| 2060k|497353 | 5277k| 2.6 | 398M| 45 | 6 | 50 |9318 | 50 | 15 | 24 |1162k|5330 | 0.000000e+00 | -- | Inf
436.90/436.91 c 437s| 2070k|499345 | 5303k| 2.6 | 399M| 45 | - | 50 |6861 | 50 | 15 | 24 |1168k|5343 | 0.000000e+00 | -- | Inf
439.29/439.37 c 439s| 2080k|501283 | 5328k| 2.6 | 401M| 45 | 6 | 50 |5585 | 50 | 15 | 24 |1174k|5355 | 0.000000e+00 | -- | Inf
441.39/441.47 c 441s| 2090k|503792 | 5355k| 2.6 | 403M| 45 | 6 | 50 |7148 | 50 | 15 | 24 |1180k|5368 | 0.000000e+00 | -- | Inf
444.00/444.09 c 444s| 2100k|505670 | 5381k| 2.6 | 404M| 45 | - | 50 |5456 | 50 | 15 | 24 |1186k|5378 | 0.000000e+00 | -- | Inf
446.30/446.36 c 446s| 2110k|507654 | 5406k| 2.6 | 406M| 45 | - | 50 |4850 | 50 | 15 | 24 |1192k|5392 | 0.000000e+00 | -- | Inf
448.49/448.51 c 449s| 2120k|509858 | 5431k| 2.6 | 408M| 45 | - | 50 |5393 | 50 | 15 | 24 |1198k|5400 | 0.000000e+00 | -- | Inf
450.80/450.83 c 451s| 2130k|511787 | 5457k| 2.6 | 410M| 45 | 6 | 50 |4697 | 50 | 15 | 24 |1204k|5407 | 0.000000e+00 | -- | Inf
452.80/452.84 c 453s| 2140k|514118 | 5482k| 2.6 | 412M| 45 | 6 | 50 |6926 | 50 | 15 | 24 |1210k|5421 | 0.000000e+00 | -- | Inf
455.10/455.13 c 455s| 2150k|516166 | 5508k| 2.6 | 413M| 45 | 6 | 50 |5692 | 50 | 15 | 24 |1216k|5430 | 0.000000e+00 | -- | Inf
457.20/457.23 c 457s| 2160k|518383 | 5534k| 2.6 | 416M| 45 | 6 | 50 |7040 | 50 | 15 | 24 |1221k|5441 | 0.000000e+00 | -- | Inf
459.40/459.42 c 459s| 2170k|520612 | 5560k| 2.6 | 418M| 45 | 6 | 50 |8904 | 50 | 15 | 24 |1227k|5456 | 0.000000e+00 | -- | Inf
461.91/461.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.91/461.97 c 462s| 2180k|522751 | 5585k| 2.6 | 419M| 45 | - | 50 |7348 | 50 | 15 | 24 |1233k|5463 | 0.000000e+00 | -- | Inf
464.00/464.03 c 464s| 2190k|525187 | 5609k| 2.6 | 422M| 45 | - | 50 |9560 | 50 | 15 | 24 |1239k|5482 | 0.000000e+00 | -- | Inf
466.80/466.87 c 467s| 2200k|526927 | 5634k| 2.6 | 423M| 45 | 6 | 50 |6086 | 50 | 15 | 24 |1245k|5492 | 0.000000e+00 | -- | Inf
468.90/468.98 c 469s| 2210k|529324 | 5659k| 2.6 | 425M| 45 | 6 | 50 |7180 | 50 | 15 | 24 |1250k|5503 | 0.000000e+00 | -- | Inf
471.40/471.48 c 471s| 2220k|531327 | 5684k| 2.6 | 426M| 45 | - | 50 |5538 | 50 | 15 | 24 |1256k|5513 | 0.000000e+00 | -- | Inf
473.69/473.72 c 474s| 2230k|533270 | 5710k| 2.6 | 428M| 45 | 6 | 50 |6325 | 50 | 15 | 24 |1262k|5525 | 0.000000e+00 | -- | Inf
475.99/476.06 c 476s| 2240k|535268 | 5736k| 2.6 | 430M| 45 | 6 | 50 |5461 | 50 | 15 | 24 |1268k|5535 | 0.000000e+00 | -- | Inf
478.30/478.36 c 478s| 2250k|537152 | 5761k| 2.6 | 432M| 45 | 6 | 50 |5616 | 50 | 15 | 24 |1274k|5545 | 0.000000e+00 | -- | Inf
480.50/480.58 c 481s| 2260k|539228 | 5786k| 2.6 | 433M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |1280k|5553 | 0.000000e+00 | -- | Inf
482.70/482.79 c 483s| 2270k|541263 | 5811k| 2.6 | 435M| 45 | - | 50 |5079 | 50 | 15 | 24 |1286k|5567 | 0.000000e+00 | -- | Inf
484.89/484.90 c 485s| 2280k|543398 | 5838k| 2.6 | 437M| 45 | - | 50 |6672 | 50 | 15 | 24 |1292k|5584 | 0.000000e+00 | -- | Inf
487.21/487.22 c 487s| 2290k|545354 | 5864k| 2.6 | 439M| 45 | 6 | 50 |7058 | 50 | 15 | 24 |1298k|5597 | 0.000000e+00 | -- | Inf
489.60/489.67 c 490s| 2300k|547192 | 5890k| 2.6 | 440M| 45 | - | 50 |6013 | 50 | 15 | 24 |1304k|5605 | 0.000000e+00 | -- | Inf
491.70/491.75 c 492s| 2310k|549520 | 5916k| 2.6 | 443M| 45 | - | 50 |7666 | 50 | 15 | 24 |1310k|5616 | 0.000000e+00 | -- | Inf
493.80/493.85 c 494s| 2320k|552003 | 5942k| 2.6 | 445M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1315k|5631 | 0.000000e+00 | -- | Inf
496.70/496.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.70/496.77 c 497s| 2330k|553878 | 5967k| 2.6 | 446M| 45 | - | 50 |5945 | 50 | 15 | 24 |1321k|5644 | 0.000000e+00 | -- | Inf
499.20/499.23 c 499s| 2340k|555723 | 5993k| 2.6 | 448M| 45 | - | 50 |5114 | 50 | 15 | 24 |1327k|5657 | 0.000000e+00 | -- | Inf
501.40/501.41 c 501s| 2350k|557751 | 6018k| 2.6 | 449M| 45 | 6 | 50 |5599 | 50 | 15 | 24 |1333k|5669 | 0.000000e+00 | -- | Inf
503.30/503.35 c 503s| 2360k|560319 | 6044k| 2.6 | 452M| 45 | - | 50 |7514 | 50 | 15 | 24 |1339k|5681 | 0.000000e+00 | -- | Inf
505.49/505.56 c 506s| 2370k|562417 | 6070k| 2.6 | 454M| 45 | 6 | 50 |7013 | 50 | 15 | 24 |1345k|5696 | 0.000000e+00 | -- | Inf
507.70/507.75 c 508s| 2380k|564470 | 6095k| 2.6 | 455M| 45 | 6 | 50 |6835 | 50 | 15 | 24 |1351k|5709 | 0.000000e+00 | -- | Inf
510.20/510.22 c 510s| 2390k|566224 | 6120k| 2.6 | 457M| 45 | 6 | 50 |5167 | 50 | 15 | 24 |1357k|5722 | 0.000000e+00 | -- | Inf
512.51/512.52 c 513s| 2400k|568221 | 6146k| 2.6 | 458M| 45 | 6 | 50 |4968 | 50 | 15 | 24 |1363k|5730 | 0.000000e+00 | -- | Inf
514.70/514.80 c 515s| 2410k|570066 | 6171k| 2.6 | 460M| 45 | 6 | 50 |5183 | 50 | 15 | 24 |1369k|5739 | 0.000000e+00 | -- | Inf
516.91/516.93 c 517s| 2420k|572166 | 6196k| 2.6 | 462M| 45 | - | 50 |5913 | 50 | 15 | 24 |1375k|5750 | 0.000000e+00 | -- | Inf
519.21/519.24 c 519s| 2430k|573972 | 6222k| 2.6 | 464M| 45 | 6 | 50 |5350 | 50 | 15 | 24 |1381k|5766 | 0.000000e+00 | -- | Inf
521.40/521.47 c 521s| 2440k|575861 | 6247k| 2.6 | 465M| 45 | 6 | 50 |5154 | 50 | 15 | 24 |1387k|5775 | 0.000000e+00 | -- | Inf
523.69/523.75 c 524s| 2450k|577671 | 6272k| 2.6 | 467M| 45 | - | 50 |5168 | 50 | 15 | 24 |1394k|5784 | 0.000000e+00 | -- | Inf
526.10/526.11 c 526s| 2460k|579521 | 6298k| 2.6 | 469M| 45 | - | 50 |4931 | 0 | 0 | 24 |1400k|5797 | 0.000000e+00 | -- | Inf
528.20/528.24 c 528s| 2470k|581632 | 6325k| 2.6 | 471M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1405k|5812 | 0.000000e+00 | -- | Inf
530.30/530.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.30/530.37 c 530s| 2480k|583640 | 6350k| 2.6 | 473M| 45 | 6 | 50 |6054 | 50 | 15 | 24 |1411k|5838 | 0.000000e+00 | -- | Inf
532.60/532.68 c 533s| 2490k|585609 | 6376k| 2.6 | 475M| 45 | - | 50 |5928 | 50 | 15 | 24 |1418k|5854 | 0.000000e+00 | -- | Inf
534.51/534.60 c 535s| 2500k|588408 | 6403k| 2.6 | 477M| 45 | - | 50 |7999 | 50 | 15 | 24 |1423k|5870 | 0.000000e+00 | -- | Inf
536.90/536.94 c 537s| 2510k|590776 | 6430k| 2.6 | 479M| 45 | 6 | 50 |8796 | 50 | 15 | 24 |1429k|5881 | 0.000000e+00 | -- | Inf
539.50/539.57 c 540s| 2520k|592805 | 6456k| 2.6 | 481M| 45 | 6 | 50 |8961 | 50 | 15 | 24 |1434k|5897 | 0.000000e+00 | -- | Inf
542.40/542.48 c 542s| 2530k|594592 | 6482k| 2.6 | 482M| 45 | 6 | 50 |5892 | 50 | 15 | 24 |1441k|5910 | 0.000000e+00 | -- | Inf
544.80/544.84 c 545s| 2540k|596549 | 6508k| 2.6 | 484M| 45 | 6 | 50 |5924 | 50 | 15 | 24 |1447k|5918 | 0.000000e+00 | -- | Inf
547.00/547.08 c 547s| 2550k|598653 | 6533k| 2.6 | 485M| 45 | - | 50 |5005 | 50 | 15 | 24 |1452k|5927 | 0.000000e+00 | -- | Inf
549.00/549.01 c 549s| 2560k|601272 | 6560k| 2.6 | 488M| 45 | - | 50 |7590 | 50 | 15 | 24 |1458k|5939 | 0.000000e+00 | -- | Inf
551.20/551.26 c 551s| 2570k|603811 | 6585k| 2.6 | 490M| 45 | 6 | 50 |8865 | 50 | 15 | 24 |1463k|5952 | 0.000000e+00 | -- | Inf
553.60/553.62 c 554s| 2580k|606140 | 6612k| 2.6 | 492M| 45 | - | 50 |9293 | 50 | 15 | 24 |1469k|5963 | 0.000000e+00 | -- | Inf
556.30/556.39 c 556s| 2590k|608290 | 6638k| 2.6 | 494M| 45 | - | 50 |7593 | 50 | 15 | 24 |1475k|5971 | 0.000000e+00 | -- | Inf
559.00/559.01 c 559s| 2600k|610152 | 6663k| 2.6 | 495M| 45 | 6 | 50 |5903 | 50 | 15 | 24 |1481k|5990 | 0.000000e+00 | -- | Inf
560.91/560.93 c 561s| 2610k|612915 | 6687k| 2.6 | 498M| 45 | 6 | 50 |7928 | 50 | 15 | 24 |1486k|5997 | 0.000000e+00 | -- | Inf
563.21/563.26 c 563s| 2620k|615163 | 6712k| 2.6 | 500M| 45 | 6 | 50 |8450 | 50 | 15 | 24 |1492k|6014 | 0.000000e+00 | -- | Inf
565.60/565.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.60/565.62 c 566s| 2630k|617250 | 6736k| 2.6 | 502M| 45 | 6 | 50 |9150 | 50 | 15 | 24 |1498k|6025 | 0.000000e+00 | -- | Inf
568.40/568.41 c 568s| 2640k|619104 | 6761k| 2.6 | 503M| 45 | 6 | 50 |7646 | 50 | 15 | 24 |1503k|6035 | 0.000000e+00 | -- | Inf
570.70/570.71 c 571s| 2650k|621182 | 6787k| 2.6 | 505M| 45 | 6 | 50 |7770 | 50 | 15 | 24 |1509k|6048 | 0.000000e+00 | -- | Inf
573.30/573.30 c 573s| 2660k|623020 | 6812k| 2.6 | 506M| 45 | 6 | 50 |5792 | 50 | 15 | 24 |1515k|6065 | 0.000000e+00 | -- | Inf
575.50/575.59 c 576s| 2670k|624978 | 6838k| 2.6 | 508M| 45 | 6 | 50 |6394 | 50 | 15 | 24 |1521k|6079 | 0.000000e+00 | -- | Inf
578.00/578.02 c 578s| 2680k|626913 | 6864k| 2.6 | 510M| 45 | 6 | 50 |5070 | 50 | 15 | 24 |1527k|6091 | 0.000000e+00 | -- | Inf
579.80/579.89 c 580s| 2690k|629480 | 6889k| 2.6 | 512M| 45 | 6 | 50 |6038 | 50 | 15 | 24 |1533k|6101 | 0.000000e+00 | -- | Inf
581.90/581.92 c 582s| 2700k|631741 | 6916k| 2.6 | 514M| 45 | - | 50 |7711 | 0 | 0 | 24 |1539k|6114 | 0.000000e+00 | -- | Inf
584.11/584.19 c 584s| 2710k|633749 | 6943k| 2.6 | 516M| 45 | 6 | 50 |6412 | 50 | 15 | 24 |1546k|6122 | 0.000000e+00 | -- | Inf
586.41/586.41 c 586s| 2720k|635472 | 6969k| 2.6 | 518M| 45 | 6 | 50 |6547 | 50 | 15 | 24 |1552k|6133 | 0.000000e+00 | -- | Inf
588.80/588.87 c 589s| 2730k|636995 | 6996k| 2.6 | 519M| 45 | 6 | 50 |6005 | 50 | 15 | 24 |1559k|6142 | 0.000000e+00 | -- | Inf
591.30/591.33 c 591s| 2740k|638701 | 7021k| 2.6 | 521M| 45 | 6 | 50 |4796 | 50 | 15 | 24 |1565k|6151 | 0.000000e+00 | -- | Inf
593.40/593.45 c 593s| 2750k|640772 | 7046k| 2.6 | 523M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |1571k|6161 | 0.000000e+00 | -- | Inf
595.80/595.83 c 596s| 2760k|642748 | 7072k| 2.6 | 524M| 45 | - | 50 |5224 | 50 | 15 | 24 |1577k|6174 | 0.000000e+00 | -- | Inf
598.10/598.13 c 598s| 2770k|644527 | 7097k| 2.6 | 526M| 45 | - | 50 |6252 | 50 | 15 | 24 |1583k|6182 | 0.000000e+00 | -- | Inf
600.31/600.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.31/600.36 c 600s| 2780k|646930 | 7123k| 2.6 | 528M| 45 | - | 50 |6542 | 50 | 15 | 24 |1589k|6190 | 0.000000e+00 | -- | Inf
602.30/602.37 c 602s| 2790k|649624 | 7147k| 2.6 | 530M| 45 | - | 50 |8352 | 50 | 15 | 24 |1594k|6203 | 0.000000e+00 | -- | Inf
605.10/605.14 c 605s| 2800k|651516 | 7173k| 2.6 | 532M| 45 | 6 | 50 |6202 | 50 | 15 | 24 |1600k|6212 | 0.000000e+00 | -- | Inf
607.21/607.28 c 607s| 2810k|653757 | 7199k| 2.6 | 534M| 45 | - | 50 |7034 | 50 | 15 | 24 |1606k|6222 | 0.000000e+00 | -- | Inf
609.50/609.52 c 610s| 2820k|655682 | 7226k| 2.6 | 536M| 45 | - | 50 |8720 | 50 | 15 | 24 |1613k|6238 | 0.000000e+00 | -- | Inf
612.10/612.15 c 612s| 2830k|657589 | 7252k| 2.6 | 537M| 45 | - | 50 |6797 | 50 | 15 | 24 |1619k|6246 | 0.000000e+00 | -- | Inf
614.40/614.42 c 614s| 2840k|659631 | 7278k| 2.6 | 539M| 45 | 6 | 50 |7398 | 50 | 15 | 24 |1625k|6253 | 0.000000e+00 | -- | Inf
616.60/616.60 c 617s| 2850k|662065 | 7305k| 2.6 | 542M| 45 | 6 | 50 |9361 | 50 | 15 | 24 |1630k|6260 | 0.000000e+00 | -- | Inf
619.40/619.48 c 619s| 2860k|664128 | 7331k| 2.6 | 542M| 45 | 6 | 50 |5210 | 50 | 15 | 24 |1636k|6266 | 0.000000e+00 | -- | Inf
621.60/621.65 c 622s| 2870k|666075 | 7357k| 2.6 | 545M| 45 | - | 50 |6704 | 50 | 15 | 24 |1642k|6273 | 0.000000e+00 | -- | Inf
623.80/623.89 c 624s| 2880k|668170 | 7382k| 2.6 | 546M| 45 | - | 50 |6686 | 50 | 15 | 24 |1648k|6286 | 0.000000e+00 | -- | Inf
626.40/626.44 c 626s| 2890k|670105 | 7408k| 2.6 | 548M| 45 | 6 | 50 |5551 | 50 | 15 | 24 |1654k|6302 | 0.000000e+00 | -- | Inf
628.40/628.48 c 628s| 2900k|672325 | 7433k| 2.6 | 550M| 45 | 6 | 50 |7227 | 50 | 15 | 24 |1660k|6314 | 0.000000e+00 | -- | Inf
630.80/630.87 c 631s| 2910k|674298 | 7458k| 2.6 | 552M| 45 | - | 50 |7211 | 50 | 15 | 24 |1666k|6320 | 0.000000e+00 | -- | Inf
633.50/633.54 c 634s| 2920k|676135 | 7484k| 2.6 | 553M| 45 | 6 | 50 |5732 | 50 | 15 | 24 |1672k|6332 | 0.000000e+00 | -- | Inf
635.60/635.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.60/635.68 c 636s| 2930k|678061 | 7511k| 2.6 | 556M| 45 | 6 | 50 |8003 | 50 | 15 | 24 |1678k|6341 | 0.000000e+00 | -- | Inf
638.51/638.50 c 639s| 2940k|679783 | 7536k| 2.6 | 557M| 45 | 6 | 50 |5384 | 50 | 15 | 24 |1684k|6350 | 0.000000e+00 | -- | Inf
640.50/640.52 c 641s| 2950k|682104 | 7561k| 2.6 | 559M| 45 | - | 50 |7433 | 50 | 15 | 24 |1690k|6359 | 0.000000e+00 | -- | Inf
643.00/643.04 c 643s| 2960k|683979 | 7587k| 2.6 | 561M| 45 | - | 50 |6392 | 50 | 15 | 24 |1696k|6368 | 0.000000e+00 | -- | Inf
645.31/645.36 c 645s| 2970k|685976 | 7611k| 2.6 | 562M| 45 | 6 | 50 |6487 | 50 | 15 | 24 |1702k|6384 | 0.000000e+00 | -- | Inf
647.71/647.75 c 648s| 2980k|687750 | 7637k| 2.6 | 564M| 45 | - | 50 |6380 | 50 | 15 | 24 |1708k|6397 | 0.000000e+00 | -- | Inf
650.10/650.12 c 650s| 2990k|689778 | 7662k| 2.6 | 566M| 45 | - | 50 |6004 | 50 | 15 | 24 |1714k|6404 | 0.000000e+00 | -- | Inf
652.31/652.36 c 652s| 3000k|691877 | 7687k| 2.6 | 568M| 45 | 6 | 50 |6982 | 50 | 15 | 24 |1720k|6416 | 0.000000e+00 | -- | Inf
655.00/655.02 c 655s| 3010k|693649 | 7712k| 2.6 | 569M| 45 | 6 | 50 |5300 | 50 | 15 | 24 |1726k|6430 | 0.000000e+00 | -- | Inf
657.10/657.17 c 657s| 3020k|695924 | 7738k| 2.6 | 571M| 45 | - | 50 |5828 | 0 | 0 | 24 |1732k|6441 | 0.000000e+00 | -- | Inf
659.40/659.42 c 659s| 3030k|697975 | 7764k| 2.6 | 573M| 45 | - | 50 |6204 | 50 | 15 | 24 |1738k|6455 | 0.000000e+00 | -- | Inf
661.61/661.68 c 662s| 3040k|699939 | 7791k| 2.6 | 575M| 45 | 6 | 50 |7165 | 50 | 15 | 24 |1744k|6465 | 0.000000e+00 | -- | Inf
664.30/664.34 c 664s| 3050k|701478 | 7817k| 2.6 | 576M| 45 | 6 | 50 |5502 | 50 | 15 | 24 |1750k|6470 | 0.000000e+00 | -- | Inf
666.41/666.45 c 666s| 3060k|703871 | 7842k| 2.6 | 578M| 45 | 6 | 50 |7505 | 50 | 15 | 24 |1756k|6483 | 0.000000e+00 | -- | Inf
669.01/669.00 c 669s| 3070k|705718 | 7867k| 2.6 | 580M| 45 | 6 | 50 |6682 | 50 | 15 | 24 |1762k|6497 | 0.000000e+00 | -- | Inf
671.30/671.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.30/671.39 c 671s| 3080k|707830 | 7894k| 2.6 | 582M| 45 | 6 | 50 |6653 | 50 | 15 | 24 |1768k|6504 | 0.000000e+00 | -- | Inf
673.80/673.86 c 674s| 3090k|709672 | 7919k| 2.6 | 584M| 45 | 6 | 50 |6815 | 50 | 15 | 24 |1774k|6513 | 0.000000e+00 | -- | Inf
676.41/676.41 c 676s| 3100k|711495 | 7944k| 2.6 | 585M| 45 | - | 50 |5829 | 50 | 15 | 24 |1781k|6520 | 0.000000e+00 | -- | Inf
678.81/678.81 c 679s| 3110k|713475 | 7969k| 2.6 | 587M| 45 | - | 50 |5587 | 50 | 15 | 24 |1787k|6527 | 0.000000e+00 | -- | Inf
681.10/681.14 c 681s| 3120k|715329 | 7995k| 2.6 | 589M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1793k|6543 | 0.000000e+00 | -- | Inf
683.51/683.52 c 684s| 3130k|717029 | 8021k| 2.6 | 590M| 45 | 6 | 50 |5888 | 50 | 15 | 24 |1799k|6555 | 0.000000e+00 | -- | Inf
685.90/685.91 c 686s| 3140k|718758 | 8047k| 2.6 | 592M| 45 | 6 | 50 |6326 | 50 | 15 | 24 |1806k|6563 | 0.000000e+00 | -- | Inf
688.31/688.30 c 688s| 3150k|720906 | 8072k| 2.6 | 594M| 45 | 6 | 50 |6620 | 50 | 15 | 24 |1811k|6579 | 0.000000e+00 | -- | Inf
690.60/690.61 c 691s| 3160k|722992 | 8097k| 2.6 | 596M| 45 | - | 50 |6724 | 50 | 15 | 24 |1817k|6592 | 0.000000e+00 | -- | Inf
693.11/693.19 c 693s| 3170k|724711 | 8123k| 2.6 | 597M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |1823k|6598 | 0.000000e+00 | -- | Inf
695.50/695.50 c 695s| 3180k|726560 | 8148k| 2.6 | 599M| 45 | 6 | 50 |5276 | 50 | 15 | 24 |1829k|6608 | 0.000000e+00 | -- | Inf
697.80/697.86 c 698s| 3190k|728457 | 8173k| 2.6 | 601M| 45 | - | 50 |5401 | 50 | 15 | 24 |1835k|6617 | 0.000000e+00 | -- | Inf
700.20/700.20 c 700s| 3200k|730403 | 8198k| 2.6 | 602M| 45 | 6 | 50 |5710 | 50 | 15 | 24 |1841k|6630 | 0.000000e+00 | -- | Inf
702.20/702.27 c 702s| 3210k|732853 | 8224k| 2.6 | 605M| 45 | 6 | 50 |6788 | 50 | 15 | 24 |1847k|6638 | 0.000000e+00 | -- | Inf
704.41/704.45 c 704s| 3220k|735019 | 8251k| 2.6 | 607M| 45 | - | 50 |8188 | 50 | 15 | 24 |1853k|6651 | 0.000000e+00 | -- | Inf
706.80/706.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.80/706.86 c 707s| 3230k|736748 | 8276k| 2.6 | 609M| 45 | - | 50 |8483 | 50 | 15 | 24 |1859k|6661 | 0.000000e+00 | -- | Inf
709.60/709.66 c 710s| 3240k|738526 | 8301k| 2.6 | 610M| 45 | - | 50 |5918 | 50 | 15 | 24 |1865k|6671 | 0.000000e+00 | -- | Inf
712.10/712.13 c 712s| 3250k|740414 | 8327k| 2.6 | 611M| 45 | 6 | 50 |5449 | 50 | 15 | 24 |1871k|6681 | 0.000000e+00 | -- | Inf
714.31/714.32 c 714s| 3260k|742511 | 8351k| 2.6 | 613M| 45 | 6 | 50 |6012 | 50 | 15 | 24 |1877k|6687 | 0.000000e+00 | -- | Inf
716.61/716.68 c 717s| 3270k|744449 | 8376k| 2.6 | 615M| 45 | - | 50 |6497 | 50 | 15 | 24 |1883k|6704 | 0.000000e+00 | -- | Inf
718.81/718.86 c 719s| 3280k|746488 | 8403k| 2.6 | 618M| 45 | 6 | 50 |8730 | 50 | 15 | 24 |1889k|6715 | 0.000000e+00 | -- | Inf
721.51/721.50 c 722s| 3290k|748378 | 8429k| 2.6 | 619M| 45 | 6 | 50 |7392 | 50 | 15 | 24 |1896k|6725 | 0.000000e+00 | -- | Inf
723.81/723.82 c 724s| 3300k|750398 | 8456k| 2.6 | 621M| 45 | 6 | 50 |9227 | 50 | 15 | 24 |1902k|6744 | 0.000000e+00 | -- | Inf
726.51/726.52 c 727s| 3310k|752266 | 8481k| 2.6 | 623M| 45 | - | 50 |7257 | 50 | 15 | 24 |1908k|6758 | 0.000000e+00 | -- | Inf
729.11/729.19 c 729s| 3320k|754066 | 8506k| 2.6 | 624M| 45 | - | 50 |5070 | 50 | 15 | 24 |1914k|6766 | 0.000000e+00 | -- | Inf
731.51/731.57 c 732s| 3330k|755790 | 8531k| 2.6 | 626M| 45 | 6 | 50 |6109 | 50 | 15 | 24 |1921k|6772 | 0.000000e+00 | -- | Inf
734.11/734.11 c 734s| 3340k|757553 | 8557k| 2.6 | 627M| 45 | 6 | 50 |5628 | 50 | 15 | 24 |1927k|6778 | 0.000000e+00 | -- | Inf
736.60/736.62 c 737s| 3350k|759183 | 8582k| 2.6 | 629M| 45 | 6 | 50 |5356 | 50 | 15 | 24 |1933k|6789 | 0.000000e+00 | -- | Inf
738.91/738.95 c 739s| 3360k|761019 | 8608k| 2.6 | 631M| 45 | 6 | 50 |5953 | 50 | 15 | 24 |1939k|6799 | 0.000000e+00 | -- | Inf
740.91/740.98 c 741s| 3370k|763491 | 8635k| 2.6 | 633M| 45 | 6 | 50 |8313 | 50 | 15 | 24 |1945k|6807 | 0.000000e+00 | -- | Inf
743.10/743.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.10/743.18 c 743s| 3380k|765999 | 8662k| 2.6 | 635M| 45 | 6 | 50 |9490 | 50 | 15 | 24 |1951k|6813 | 0.000000e+00 | -- | Inf
745.71/745.78 c 746s| 3390k|767905 | 8688k| 2.6 | 637M| 45 | 6 | 50 |9233 | 50 | 15 | 24 |1957k|6826 | 0.000000e+00 | -- | Inf
748.30/748.37 c 748s| 3400k|769965 | 8714k| 2.6 | 639M| 45 | 6 | 50 |8889 | 50 | 15 | 24 |1963k|6836 | 0.000000e+00 | -- | Inf
751.21/751.25 c 751s| 3410k|771852 | 8739k| 2.6 | 640M| 45 | - | 50 |5914 | 50 | 15 | 24 |1969k|6841 | 0.000000e+00 | -- | Inf
753.60/753.64 c 754s| 3420k|773662 | 8766k| 2.6 | 642M| 45 | 6 | 50 |5897 | 50 | 15 | 24 |1975k|6846 | 0.000000e+00 | -- | Inf
756.20/756.27 c 756s| 3430k|775270 | 8791k| 2.6 | 643M| 45 | 6 | 50 |4561 | 50 | 15 | 24 |1981k|6849 | 0.000000e+00 | -- | Inf
758.51/758.58 c 759s| 3440k|777034 | 8816k| 2.6 | 645M| 45 | - | 50 |5215 | 0 | 0 | 24 |1987k|6858 | 0.000000e+00 | -- | Inf
760.91/760.91 c 761s| 3450k|778803 | 8841k| 2.6 | 647M| 45 | 6 | 50 |5518 | 50 | 15 | 24 |1993k|6870 | 0.000000e+00 | -- | Inf
762.91/762.99 c 763s| 3460k|780802 | 8866k| 2.6 | 649M| 45 | 6 | 50 |7080 | 50 | 15 | 24 |1999k|6880 | 0.000000e+00 | -- | Inf
765.51/765.54 c 766s| 3470k|782543 | 8891k| 2.6 | 650M| 45 | 6 | 50 |5705 | 50 | 15 | 24 |2005k|6889 | 0.000000e+00 | -- | Inf
767.61/767.68 c 768s| 3480k|785042 | 8917k| 2.6 | 652M| 45 | 6 | 50 |6801 | 50 | 15 | 24 |2011k|6898 | 0.000000e+00 | -- | Inf
769.80/769.84 c 770s| 3490k|787478 | 8943k| 2.6 | 654M| 45 | 6 | 50 |7992 | 50 | 15 | 24 |2016k|6912 | 0.000000e+00 | -- | Inf
772.21/772.23 c 772s| 3500k|789658 | 8968k| 2.6 | 656M| 45 | - | 50 |8555 | 50 | 15 | 24 |2022k|6920 | 0.000000e+00 | -- | Inf
775.01/775.02 c 775s| 3510k|791452 | 8993k| 2.6 | 658M| 45 | 6 | 50 |7492 | 50 | 15 | 24 |2028k|6929 | 0.000000e+00 | -- | Inf
777.41/777.42 c 777s| 3520k|793393 | 9019k| 2.6 | 660M| 45 | 6 | 50 |7280 | 50 | 15 | 24 |2034k|6939 | 0.000000e+00 | -- | Inf
779.81/779.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.81/779.88 c 780s| 3530k|795299 | 9048k| 2.6 | 661M| 45 | 6 | 50 |7750 | 50 | 15 | 24 |2040k|6946 | 0.000000e+00 | -- | Inf
782.60/782.67 c 783s| 3540k|796976 | 9073k| 2.6 | 662M| 45 | 6 | 50 |5431 | 50 | 15 | 24 |2046k|6959 | 0.000000e+00 | -- | Inf
785.11/785.11 c 785s| 3550k|798692 | 9098k| 2.6 | 664M| 45 | - | 50 |5386 | 50 | 15 | 24 |2053k|6968 | 0.000000e+00 | -- | Inf
787.51/787.55 c 788s| 3560k|800378 | 9124k| 2.6 | 666M| 45 | 6 | 50 |5376 | 50 | 15 | 24 |2059k|6976 | 0.000000e+00 | -- | Inf
790.01/790.02 c 790s| 3570k|802180 | 9149k| 2.6 | 668M| 45 | - | 50 |5157 | 50 | 15 | 24 |2065k|6980 | 0.000000e+00 | -- | Inf
792.41/792.44 c 792s| 3580k|803880 | 9175k| 2.6 | 669M| 45 | - | 50 |5181 | 50 | 15 | 24 |2071k|6991 | 0.000000e+00 | -- | Inf
794.70/794.76 c 795s| 3590k|806054 | 9199k| 2.6 | 671M| 45 | 6 | 50 |5540 | 50 | 15 | 24 |2077k|6998 | 0.000000e+00 | -- | Inf
797.11/797.14 c 797s| 3600k|807878 | 9225k| 2.6 | 673M| 45 | 6 | 50 |5806 | 50 | 15 | 24 |2083k|7011 | 0.000000e+00 | -- | Inf
799.61/799.61 c 800s| 3610k|809632 | 9249k| 2.6 | 674M| 45 | - | 50 |5238 | 50 | 15 | 24 |2089k|7022 | 0.000000e+00 | -- | Inf
801.91/801.96 c 802s| 3620k|811408 | 9275k| 2.6 | 676M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |2095k|7030 | 0.000000e+00 | -- | Inf
804.11/804.16 c 804s| 3630k|813456 | 9301k| 2.6 | 678M| 45 | 6 | 50 |7032 | 50 | 15 | 24 |2101k|7040 | 0.000000e+00 | -- | Inf
806.70/806.72 c 807s| 3640k|815297 | 9327k| 2.6 | 680M| 45 | - | 50 |6235 | 50 | 15 | 24 |2107k|7047 | 0.000000e+00 | -- | Inf
809.11/809.18 c 809s| 3650k|817189 | 9353k| 2.6 | 682M| 45 | - | 50 |6433 | 50 | 15 | 24 |2114k|7051 | 0.000000e+00 | -- | Inf
811.81/811.85 c 812s| 3660k|818866 | 9379k| 2.6 | 683M| 45 | 6 | 50 |5648 | 50 | 15 | 24 |2120k|7057 | 0.000000e+00 | -- | Inf
813.91/813.95 c 814s| 3670k|821103 | 9404k| 2.6 | 686M| 45 | 6 | 50 |7951 | 50 | 15 | 24 |2126k|7068 | 0.000000e+00 | -- | Inf
816.51/816.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.51/816.53 c 817s| 3680k|822929 | 9430k| 2.6 | 687M| 45 | - | 50 |7224 | 50 | 15 | 24 |2132k|7077 | 0.000000e+00 | -- | Inf
819.01/819.01 c 819s| 3690k|825015 | 9456k| 2.6 | 689M| 45 | - | 50 |7589 | 50 | 15 | 24 |2138k|7086 | 0.000000e+00 | -- | Inf
821.51/821.54 c 822s| 3700k|826812 | 9483k| 2.6 | 691M| 45 | 6 | 50 |8174 | 50 | 15 | 24 |2144k|7097 | 0.000000e+00 | -- | Inf
824.21/824.26 c 824s| 3710k|828530 | 9509k| 2.6 | 692M| 45 | 6 | 50 |6592 | 50 | 15 | 24 |2150k|7112 | 0.000000e+00 | -- | Inf
826.80/826.84 c 827s| 3720k|830205 | 9534k| 2.6 | 694M| 45 | 6 | 50 |5475 | 50 | 15 | 24 |2156k|7119 | 0.000000e+00 | -- | Inf
829.31/829.33 c 829s| 3730k|832006 | 9559k| 2.6 | 695M| 45 | 6 | 50 |4696 | 50 | 15 | 24 |2162k|7137 | 0.000000e+00 | -- | Inf
831.71/831.70 c 832s| 3740k|833628 | 9585k| 2.6 | 697M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |2169k|7142 | 0.000000e+00 | -- | Inf
834.01/834.00 c 834s| 3750k|835571 | 9611k| 2.6 | 699M| 45 | - | 50 |6667 | 50 | 15 | 24 |2175k|7153 | 0.000000e+00 | -- | Inf
836.31/836.35 c 836s| 3760k|837559 | 9637k| 2.6 | 701M| 45 | - | 50 |6877 | 50 | 15 | 24 |2181k|7162 | 0.000000e+00 | -- | Inf
838.81/838.82 c 839s| 3770k|839350 | 9663k| 2.6 | 703M| 45 | - | 50 |6743 | 0 | 0 | 24 |2187k|7179 | 0.000000e+00 | -- | Inf
841.21/841.20 c 841s| 3780k|841139 | 9689k| 2.6 | 704M| 45 | 6 | 50 |6441 | 50 | 15 | 24 |2193k|7186 | 0.000000e+00 | -- | Inf
843.50/843.52 c 844s| 3790k|843400 | 9715k| 2.6 | 706M| 45 | 6 | 50 |6618 | 50 | 15 | 24 |2199k|7199 | 0.000000e+00 | -- | Inf
845.71/845.73 c 846s| 3800k|845839 | 9741k| 2.6 | 709M| 45 | 6 | 50 |8055 | 50 | 15 | 24 |2205k|7207 | 0.000000e+00 | -- | Inf
848.01/848.05 c 848s| 3810k|847950 | 9767k| 2.6 | 711M| 45 | 6 | 50 |9603 | 50 | 15 | 24 |2211k|7215 | 0.000000e+00 | -- | Inf
851.00/851.04 c 851s| 3820k|849583 | 9793k| 2.6 | 712M| 45 | - | 50 |7719 | 50 | 15 | 24 |2217k|7224 | 0.000000e+00 | -- | Inf
853.81/853.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.81/853.83 c 854s| 3830k|851133 | 9819k| 2.6 | 713M| 45 | - | 50 |5953 | 50 | 15 | 24 |2223k|7227 | 0.000000e+00 | -- | Inf
856.10/856.13 c 856s| 3840k|853252 | 9844k| 2.6 | 715M| 45 | - | 50 |6038 | 50 | 15 | 24 |2229k|7234 | 0.000000e+00 | -- | Inf
858.51/858.52 c 859s| 3850k|855059 | 9870k| 2.6 | 717M| 45 | 6 | 50 |5346 | 50 | 15 | 24 |2235k|7243 | 0.000000e+00 | -- | Inf
860.90/860.90 c 861s| 3860k|856755 | 9895k| 2.6 | 718M| 45 | - | 50 |5891 | 50 | 15 | 24 |2241k|7248 | 0.000000e+00 | -- | Inf
863.01/863.04 c 863s| 3870k|858929 | 9921k| 2.6 | 721M| 45 | 6 | 50 |7686 | 50 | 15 | 24 |2247k|7258 | 0.000000e+00 | -- | Inf
865.51/865.54 c 866s| 3880k|860820 | 9947k| 2.6 | 722M| 45 | 6 | 50 |6978 | 50 | 15 | 24 |2254k|7265 | 0.000000e+00 | -- | Inf
867.81/867.88 c 868s| 3890k|862937 | 9972k| 2.6 | 724M| 45 | 6 | 50 |8377 | 50 | 15 | 24 |2260k|7274 | 0.000000e+00 | -- | Inf
870.31/870.31 c 870s| 3900k|865074 | 9997k| 2.6 | 726M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |2266k|7282 | 0.000000e+00 | -- | Inf
872.81/872.80 c 873s| 3910k|866995 | 10022k| 2.6 | 728M| 45 | - | 50 |7590 | 50 | 15 | 24 |2272k|7299 | 0.000000e+00 | -- | Inf
875.01/875.07 c 875s| 3920k|869451 | 10047k| 2.6 | 730M| 45 | 6 | 50 |8494 | 50 | 15 | 24 |2277k|7307 | 0.000000e+00 | -- | Inf
877.31/877.31 c 877s| 3930k|871807 | 10071k| 2.6 | 732M| 45 | 6 | 50 |9962 | 50 | 15 | 24 |2283k|7313 | 0.000000e+00 | -- | Inf
880.20/880.27 c 880s| 3940k|873636 | 10096k| 2.6 | 733M| 45 | 6 | 50 |7618 | 50 | 15 | 24 |2289k|7325 | 0.000000e+00 | -- | Inf
882.71/882.76 c 883s| 3950k|875970 | 10121k| 2.6 | 735M| 45 | - | 50 |6926 | 50 | 15 | 24 |2295k|7330 | 0.000000e+00 | -- | Inf
885.01/885.02 c 885s| 3960k|878283 | 10148k| 2.6 | 738M| 45 | 6 | 50 |9008 | 50 | 15 | 24 |2300k|7337 | 0.000000e+00 | -- | Inf
887.61/887.67 c 888s| 3970k|880236 | 10174k| 2.6 | 740M| 45 | 6 | 50 |9711 | 50 | 15 | 24 |2307k|7348 | 0.000000e+00 | -- | Inf
890.61/890.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.61/890.67 c 891s| 3980k|881908 | 10200k| 2.6 | 741M| 45 | - | 50 |7264 | 50 | 15 | 24 |2313k|7354 | 0.000000e+00 | -- | Inf
893.00/893.06 c 893s| 3990k|883923 | 10226k| 2.6 | 743M| 45 | 6 | 50 |7729 | 50 | 15 | 24 |2319k|7362 | 0.000000e+00 | -- | Inf
895.81/895.85 c 896s| 4000k|885654 | 10251k| 2.6 | 744M| 45 | 6 | 50 |5666 | 50 | 15 | 24 |2325k|7372 | 0.000000e+00 | -- | Inf
898.01/898.00 c 898s| 4010k|887739 | 10277k| 2.6 | 746M| 45 | - | 50 |7817 | 50 | 15 | 24 |2331k|7385 | 0.000000e+00 | -- | Inf
900.71/900.72 c 901s| 4020k|889276 | 10302k| 2.6 | 747M| 45 | - | 50 |6292 | 50 | 15 | 24 |2337k|7393 | 0.000000e+00 | -- | Inf
902.91/902.98 c 903s| 4030k|891308 | 10327k| 2.6 | 749M| 45 | 6 | 50 |7601 | 50 | 15 | 24 |2343k|7407 | 0.000000e+00 | -- | Inf
905.61/905.61 c 906s| 4040k|893143 | 10353k| 2.6 | 751M| 45 | - | 50 |6472 | 50 | 15 | 24 |2349k|7413 | 0.000000e+00 | -- | Inf
908.11/908.19 c 908s| 4050k|894885 | 10377k| 2.6 | 752M| 45 | - | 50 |5792 | 50 | 15 | 24 |2355k|7420 | 0.000000e+00 | -- | Inf
910.41/910.42 c 910s| 4060k|896955 | 10403k| 2.6 | 754M| 45 | - | 50 |6469 | 50 | 15 | 24 |2361k|7426 | 0.000000e+00 | -- | Inf
912.61/912.66 c 913s| 4070k|898955 | 10429k| 2.6 | 756M| 45 | 6 | 50 |7567 | 50 | 15 | 24 |2367k|7435 | 0.000000e+00 | -- | Inf
915.41/915.44 c 915s| 4080k|900501 | 10454k| 2.6 | 758M| 45 | 6 | 50 |5675 | 50 | 15 | 24 |2374k|7445 | 0.000000e+00 | -- | Inf
917.91/917.91 c 918s| 4090k|902312 | 10480k| 2.6 | 759M| 45 | 6 | 50 |5652 | 50 | 15 | 24 |2380k|7453 | 0.000000e+00 | -- | Inf
920.01/920.05 c 920s| 4100k|904622 | 10507k| 2.6 | 762M| 45 | - | 50 |7666 | 50 | 15 | 24 |2386k|7468 | 0.000000e+00 | -- | Inf
922.41/922.49 c 922s| 4110k|906706 | 10532k| 2.6 | 764M| 45 | - | 50 |8472 | 50 | 15 | 24 |2392k|7478 | 0.000000e+00 | -- | Inf
924.91/924.93 c 925s| 4120k|908664 | 10557k| 2.6 | 766M| 45 | - | 50 | 10k| 50 | 15 | 24 |2398k|7490 | 0.000000e+00 | -- | Inf
927.91/927.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.91/927.94 c 928s| 4130k|910379 | 10582k| 2.6 | 767M| 45 | 6 | 50 |6194 | 50 | 15 | 24 |2404k|7500 | 0.000000e+00 | -- | Inf
930.31/930.37 c 930s| 4140k|912280 | 10608k| 2.6 | 768M| 45 | - | 50 |6417 | 0 | 0 | 24 |2410k|7504 | 0.000000e+00 | -- | Inf
932.82/932.81 c 933s| 4150k|914183 | 10634k| 2.6 | 770M| 45 | 6 | 50 |6684 | 50 | 15 | 24 |2416k|7513 | 0.000000e+00 | -- | Inf
935.51/935.52 c 936s| 4160k|915700 | 10659k| 2.6 | 771M| 45 | 6 | 50 |5158 | 50 | 15 | 24 |2422k|7520 | 0.000000e+00 | -- | Inf
938.01/938.03 c 938s| 4170k|917375 | 10685k| 2.6 | 773M| 45 | 6 | 50 |5749 | 50 | 15 | 24 |2428k|7528 | 0.000000e+00 | -- | Inf
940.31/940.35 c 940s| 4180k|919436 | 10710k| 2.6 | 775M| 45 | - | 50 |6815 | 50 | 15 | 24 |2434k|7535 | 0.000000e+00 | -- | Inf
942.81/942.89 c 943s| 4190k|921186 | 10736k| 2.6 | 777M| 45 | 6 | 50 |6206 | 50 | 15 | 24 |2441k|7545 | 0.000000e+00 | -- | Inf
945.31/945.35 c 945s| 4200k|922949 | 10761k| 2.6 | 778M| 45 | - | 50 |5310 | 50 | 15 | 24 |2447k|7560 | 0.000000e+00 | -- | Inf
947.71/947.76 c 948s| 4210k|924673 | 10786k| 2.6 | 780M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |2453k|7564 | 0.000000e+00 | -- | Inf
950.42/950.42 c 950s| 4220k|926179 | 10811k| 2.6 | 781M| 45 | 6 | 50 |4682 | 50 | 15 | 24 |2459k|7571 | 0.000000e+00 | -- | Inf
952.61/952.60 c 953s| 4230k|927892 | 10839k| 2.6 | 784M| 45 | 6 | 50 |7185 | 50 | 15 | 24 |2466k|7585 | 0.000000e+00 | -- | Inf
955.21/955.22 c 955s| 4240k|929561 | 10866k| 2.6 | 785M| 45 | 6 | 50 |7627 | 50 | 15 | 24 |2472k|7595 | 0.000000e+00 | -- | Inf
957.91/957.98 c 958s| 4250k|931267 | 10891k| 2.6 | 787M| 45 | 6 | 50 |5870 | 50 | 15 | 24 |2478k|7600 | 0.000000e+00 | -- | Inf
960.11/960.10 c 960s| 4260k|933850 | 10916k| 2.6 | 789M| 45 | - | 50 |6377 | 50 | 15 | 24 |2484k|7606 | 0.000000e+00 | -- | Inf
962.11/962.17 c 962s| 4270k|936296 | 10941k| 2.6 | 791M| 45 | - | 50 |7443 | 0 | 0 | 24 |2490k|7614 | 0.000000e+00 | -- | Inf
964.31/964.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.31/964.30 c 964s| 4280k|938921 | 10967k| 2.6 | 793M| 45 | 6 | 50 |8417 | 50 | 15 | 24 |2495k|7623 | 0.000000e+00 | -- | Inf
966.61/966.64 c 967s| 4290k|941212 | 10992k| 2.6 | 795M| 45 | - | 50 |9076 | 50 | 15 | 24 |2501k|7629 | 0.000000e+00 | -- | Inf
969.12/969.18 c 969s| 4300k|943268 | 11018k| 2.6 | 797M| 45 | 6 | 50 |7435 | 50 | 15 | 24 |2507k|7636 | 0.000000e+00 | -- | Inf
971.51/971.57 c 972s| 4310k|945324 | 11042k| 2.6 | 798M| 45 | 6 | 50 |7675 | 50 | 15 | 24 |2513k|7642 | 0.000000e+00 | -- | Inf
973.81/973.89 c 974s| 4320k|947477 | 11068k| 2.6 | 800M| 45 | 6 | 50 |8608 | 50 | 15 | 24 |2519k|7650 | 0.000000e+00 | -- | Inf
976.31/976.31 c 976s| 4330k|949541 | 11093k| 2.6 | 802M| 45 | 6 | 50 |8691 | 50 | 15 | 24 |2525k|7658 | 0.000000e+00 | -- | Inf
978.71/978.79 c 979s| 4340k|951528 | 11118k| 2.6 | 804M| 45 | 6 | 50 |8605 | 50 | 15 | 24 |2531k|7664 | 0.000000e+00 | -- | Inf
981.31/981.32 c 981s| 4350k|953376 | 11143k| 2.6 | 806M| 45 | 6 | 50 |8273 | 50 | 15 | 24 |2537k|7680 | 0.000000e+00 | -- | Inf
984.01/984.02 c 984s| 4360k|954866 | 11167k| 2.6 | 807M| 45 | 6 | 50 |7645 | 50 | 15 | 24 |2544k|7688 | 0.000000e+00 | -- | Inf
986.51/986.60 c 987s| 4370k|956414 | 11192k| 2.6 | 809M| 45 | 6 | 50 |7605 | 50 | 15 | 24 |2550k|7698 | 0.000000e+00 | -- | Inf
988.91/988.95 c 989s| 4380k|958693 | 11217k| 2.6 | 811M| 45 | - | 50 |8515 | 50 | 15 | 24 |2556k|7702 | 0.000000e+00 | -- | Inf
991.31/991.34 c 991s| 4390k|960895 | 11245k| 2.6 | 813M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |2562k|7711 | 0.000000e+00 | -- | Inf
994.22/994.23 c 994s| 4400k|962556 | 11272k| 2.6 | 815M| 45 | 6 | 50 |9911 | 50 | 15 | 24 |2568k|7722 | 0.000000e+00 | -- | Inf
996.91/996.91 c 997s| 4410k|964629 | 11296k| 2.6 | 816M| 45 | 6 | 50 |8628 | 50 | 15 | 24 |2574k|7730 | 0.000000e+00 | -- | Inf
999.61/999.67 c 1000s| 4420k|966619 | 11321k| 2.6 | 818M| 45 | 6 | 50 |8224 | 50 | 15 | 24 |2580k|7738 | 0.000000e+00 | -- | Inf
1002.12/1002.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.12/1002.14 c 1002s| 4430k|968750 | 11348k| 2.6 | 820M| 45 | - | 50 |9484 | 50 | 15 | 24 |2585k|7746 | 0.000000e+00 | -- | Inf
1005.11/1005.14 c 1005s| 4440k|970515 | 11373k| 2.6 | 821M| 45 | 6 | 50 |6776 | 50 | 15 | 24 |2592k|7750 | 0.000000e+00 | -- | Inf
1007.31/1007.30 c 1007s| 4450k|972945 | 11399k| 2.6 | 824M| 45 | 6 | 50 |9036 | 50 | 15 | 24 |2597k|7764 | 0.000000e+00 | -- | Inf
1009.91/1009.95 c 1010s| 4460k|974909 | 11425k| 2.6 | 825M| 45 | 6 | 50 |9297 | 50 | 15 | 24 |2604k|7771 | 0.000000e+00 | -- | Inf
1013.01/1013.01 c 1013s| 4470k|976632 | 11451k| 2.6 | 826M| 45 | 6 | 50 |5996 | 50 | 15 | 24 |2610k|7775 | 0.000000e+00 | -- | Inf
1015.61/1015.65 c 1016s| 4480k|978298 | 11477k| 2.6 | 828M| 45 | - | 50 |5725 | 50 | 15 | 24 |2616k|7780 | 0.000000e+00 | -- | Inf
1018.11/1018.12 c 1018s| 4490k|980151 | 11501k| 2.6 | 830M| 45 | - | 50 |6367 | 50 | 15 | 24 |2622k|7789 | 0.000000e+00 | -- | Inf
1020.61/1020.61 c 1021s| 4500k|982065 | 11527k| 2.6 | 831M| 45 | - | 50 |5779 | 50 | 15 | 24 |2628k|7795 | 0.000000e+00 | -- | Inf
1022.71/1022.70 c 1023s| 4510k|984201 | 11554k| 2.6 | 834M| 45 | - | 50 |8032 | 50 | 15 | 24 |2634k|7803 | 0.000000e+00 | -- | Inf
1025.31/1025.33 c 1025s| 4520k|986088 | 11579k| 2.6 | 835M| 45 | - | 50 |8076 | 50 | 15 | 24 |2640k|7812 | 0.000000e+00 | -- | Inf
1028.01/1028.09 c 1028s| 4530k|987971 | 11605k| 2.6 | 837M| 45 | - | 50 |7484 | 50 | 15 | 24 |2647k|7827 | 0.000000e+00 | -- | Inf
1030.51/1030.51 c 1031s| 4540k|989995 | 11631k| 2.6 | 839M| 45 | 6 | 50 |7911 | 50 | 15 | 24 |2653k|7833 | 0.000000e+00 | -- | Inf
1033.01/1033.07 c 1033s| 4550k|991871 | 11656k| 2.6 | 841M| 45 | - | 50 |7974 | 50 | 15 | 24 |2659k|7840 | 0.000000e+00 | -- | Inf
1036.01/1036.01 c 1036s| 4560k|993499 | 11682k| 2.6 | 842M| 45 | - | 50 |5774 | 0 | 0 | 24 |2665k|7845 | 0.000000e+00 | -- | Inf
1038.01/1038.09 c 1038s| 4570k|995771 | 11709k| 2.6 | 844M| 45 | 6 | 50 |8123 | 50 | 15 | 24 |2671k|7852 | 0.000000e+00 | -- | Inf
1040.41/1040.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.41/1040.44 c 1040s| 4580k|997683 | 11737k| 2.6 | 846M| 45 | - | 50 |9131 | 50 | 15 | 24 |2677k|7864 | 0.000000e+00 | -- | Inf
1043.21/1043.20 c 1043s| 4590k|999335 | 11764k| 2.6 | 848M| 45 | 6 | 50 |9267 | 50 | 15 | 24 |2683k|7871 | 0.000000e+00 | -- | Inf
1045.91/1045.97 c 1046s| 4600k| 1001k| 11789k| 2.6 | 850M| 45 | 6 | 50 |9439 | 50 | 15 | 24 |2690k|7876 | 0.000000e+00 | -- | Inf
1048.91/1048.94 c 1049s| 4610k| 1002k| 11815k| 2.6 | 851M| 45 | - | 50 |8119 | 0 | 0 | 24 |2696k|7884 | 0.000000e+00 | -- | Inf
1051.52/1051.59 c 1052s| 4620k| 1004k| 11841k| 2.6 | 853M| 45 | 6 | 50 |7789 | 50 | 15 | 24 |2702k|7889 | 0.000000e+00 | -- | Inf
1054.41/1054.41 c 1054s| 4630k| 1006k| 11866k| 2.6 | 854M| 45 | - | 50 |6652 | 50 | 15 | 24 |2708k|7893 | 0.000000e+00 | -- | Inf
1056.71/1056.79 c 1057s| 4640k| 1008k| 11892k| 2.6 | 856M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |2714k|7901 | 0.000000e+00 | -- | Inf
1059.11/1059.19 c 1059s| 4650k| 1009k| 11918k| 2.6 | 858M| 45 | - | 50 |8163 | 50 | 15 | 24 |2721k|7912 | 0.000000e+00 | -- | Inf
1061.71/1061.71 c 1062s| 4660k| 1011k| 11944k| 2.6 | 860M| 45 | - | 50 |8369 | 50 | 15 | 24 |2727k|7918 | 0.000000e+00 | -- | Inf
1064.61/1064.60 c 1065s| 4670k| 1013k| 11969k| 2.6 | 861M| 45 | - | 50 |6327 | 50 | 15 | 24 |2733k|7924 | 0.000000e+00 | -- | Inf
1067.02/1067.09 c 1067s| 4680k| 1015k| 11995k| 2.6 | 863M| 45 | 6 | 50 |7147 | 50 | 15 | 24 |2739k|7926 | 0.000000e+00 | -- | Inf
1069.72/1069.79 c 1070s| 4690k| 1017k| 12020k| 2.6 | 864M| 45 | - | 50 |5808 | 50 | 15 | 24 |2745k|7934 | 0.000000e+00 | -- | Inf
1072.11/1072.16 c 1072s| 4700k| 1018k| 12045k| 2.6 | 866M| 45 | 6 | 50 |7113 | 50 | 15 | 24 |2751k|7943 | 0.000000e+00 | -- | Inf
1074.62/1074.64 c 1075s| 4710k| 1020k| 12071k| 2.6 | 868M| 45 | 6 | 50 |7118 | 50 | 15 | 24 |2757k|7948 | 0.000000e+00 | -- | Inf
1077.31/1077.30 c 1077s| 4720k| 1022k| 12096k| 2.6 | 869M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |2763k|7956 | 0.000000e+00 | -- | Inf
1079.61/1079.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.61/1079.60 c 1080s| 4730k| 1024k| 12121k| 2.6 | 871M| 45 | 6 | 50 |6557 | 50 | 15 | 24 |2770k|7959 | 0.000000e+00 | -- | Inf
1082.11/1082.19 c 1082s| 4740k| 1025k| 12147k| 2.6 | 872M| 45 | - | 50 |5083 | 50 | 15 | 24 |2776k|7966 | 0.000000e+00 | -- | Inf
1084.32/1084.37 c 1084s| 4750k| 1027k| 12172k| 2.6 | 874M| 45 | 6 | 50 |6372 | 50 | 15 | 24 |2782k|7974 | 0.000000e+00 | -- | Inf
1086.41/1086.45 c 1086s| 4760k| 1029k| 12197k| 2.6 | 877M| 45 | - | 50 |8263 | 50 | 15 | 24 |2788k|7984 | 0.000000e+00 | -- | Inf
1088.92/1088.97 c 1089s| 4770k| 1031k| 12223k| 2.6 | 878M| 45 | - | 50 |8370 | 50 | 15 | 24 |2794k|7993 | 0.000000e+00 | -- | Inf
1091.41/1091.41 c 1091s| 4780k| 1033k| 12249k| 2.6 | 880M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |2801k|8000 | 0.000000e+00 | -- | Inf
1093.91/1093.91 c 1094s| 4790k| 1035k| 12274k| 2.6 | 882M| 45 | 6 | 50 |8367 | 50 | 15 | 24 |2806k|8004 | 0.000000e+00 | -- | Inf
1096.51/1096.60 c 1097s| 4800k| 1036k| 12300k| 2.6 | 883M| 45 | 6 | 50 |7313 | 50 | 15 | 24 |2813k|8007 | 0.000000e+00 | -- | Inf
1099.22/1099.24 c 1099s| 4810k| 1038k| 12325k| 2.6 | 884M| 45 | 6 | 50 |5233 | 50 | 15 | 24 |2819k|8010 | 0.000000e+00 | -- | Inf
1101.52/1101.53 c 1102s| 4820k| 1040k| 12350k| 2.6 | 886M| 45 | - | 50 |5956 | 50 | 15 | 24 |2825k|8023 | 0.000000e+00 | -- | Inf
1104.02/1104.01 c 1104s| 4830k| 1041k| 12375k| 2.6 | 888M| 45 | 6 | 50 |4954 | 50 | 15 | 24 |2832k|8028 | 0.000000e+00 | -- | Inf
1106.22/1106.26 c 1106s| 4840k| 1043k| 12402k| 2.6 | 890M| 45 | 6 | 50 |5928 | 50 | 15 | 24 |2838k|8032 | 0.000000e+00 | -- | Inf
1108.72/1108.71 c 1109s| 4850k| 1045k| 12427k| 2.6 | 891M| 45 | 6 | 50 |5742 | 50 | 15 | 24 |2844k|8037 | 0.000000e+00 | -- | Inf
1110.81/1110.81 c 1111s| 4860k| 1047k| 12454k| 2.6 | 894M| 45 | 6 | 50 |7768 | 50 | 15 | 24 |2850k|8046 | 0.000000e+00 | -- | Inf
1112.91/1112.99 c 1113s| 4870k| 1049k| 12481k| 2.6 | 896M| 45 | 6 | 50 |9087 | 50 | 15 | 24 |2856k|8051 | 0.000000e+00 | -- | Inf
1115.22/1115.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.22/1115.23 c 1115s| 4880k| 1051k| 12509k| 2.6 | 898M| 45 | - | 50 | 10k| 50 | 15 | 24 |2862k|8059 | 0.000000e+00 | -- | Inf
1117.81/1117.80 c 1118s| 4890k| 1053k| 12536k| 2.6 | 900M| 45 | - | 50 | 10k| 50 | 15 | 24 |2869k|8064 | 0.000000e+00 | -- | Inf
1120.41/1120.41 c 1120s| 4900k| 1055k| 12563k| 2.6 | 901M| 45 | 6 | 50 |9229 | 50 | 15 | 24 |2875k|8069 | 0.000000e+00 | -- | Inf
1122.91/1122.97 c 1123s| 4910k| 1057k| 12590k| 2.6 | 902M| 45 | 6 | 50 |8517 | 50 | 15 | 24 |2882k|8076 | 0.000000e+00 | -- | Inf
1125.52/1125.52 c 1126s| 4920k| 1058k| 12616k| 2.6 | 904M| 45 | 6 | 50 |9018 | 50 | 15 | 24 |2888k|8081 | 0.000000e+00 | -- | Inf
1128.11/1128.13 c 1128s| 4930k| 1060k| 12643k| 2.6 | 906M| 45 | 6 | 50 |8676 | 50 | 15 | 24 |2895k|8088 | 0.000000e+00 | -- | Inf
1130.82/1130.80 c 1131s| 4940k| 1061k| 12670k| 2.6 | 907M| 45 | 6 | 50 |8980 | 50 | 15 | 24 |2902k|8091 | 0.000000e+00 | -- | Inf
1133.32/1133.33 c 1133s| 4950k| 1063k| 12695k| 2.6 | 909M| 45 | 6 | 50 |8431 | 50 | 15 | 24 |2908k|8096 | 0.000000e+00 | -- | Inf
1135.82/1135.82 c 1136s| 4960k| 1065k| 12720k| 2.6 | 910M| 45 | 6 | 50 |7619 | 50 | 15 | 24 |2914k|8104 | 0.000000e+00 | -- | Inf
1138.42/1138.42 c 1138s| 4970k| 1067k| 12745k| 2.6 | 912M| 45 | 6 | 50 |5869 | 50 | 15 | 24 |2920k|8111 | 0.000000e+00 | -- | Inf
1140.82/1140.85 c 1141s| 4980k| 1068k| 12770k| 2.6 | 913M| 45 | 6 | 50 |5618 | 50 | 15 | 24 |2926k|8113 | 0.000000e+00 | -- | Inf
1143.22/1143.23 c 1143s| 4990k| 1070k| 12794k| 2.6 | 915M| 45 | 6 | 50 |5147 | 50 | 15 | 24 |2932k|8121 | 0.000000e+00 | -- | Inf
1145.51/1145.52 c 1146s| 5000k| 1072k| 12822k| 2.6 | 917M| 45 | 6 | 50 |5885 | 50 | 15 | 24 |2939k|8128 | 0.000000e+00 | -- | Inf
1147.81/1147.85 c 1148s| 5010k| 1074k| 12847k| 2.6 | 919M| 45 | - | 50 |6937 | 50 | 15 | 24 |2945k|8135 | 0.000000e+00 | -- | Inf
1150.41/1150.48 c 1150s| 5020k| 1075k| 12873k| 2.6 | 920M| 45 | - | 50 |5094 | 50 | 15 | 24 |2951k|8140 | 0.000000e+00 | -- | Inf
1152.82/1152.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.82/1152.87 c 1153s| 5030k| 1077k| 12898k| 2.6 | 921M| 45 | - | 50 |5096 | 50 | 15 | 24 |2957k|8147 | 0.000000e+00 | -- | Inf
1155.02/1155.07 c 1155s| 5040k| 1078k| 12924k| 2.6 | 923M| 45 | - | 50 |6107 | 50 | 15 | 24 |2963k|8153 | 0.000000e+00 | -- | Inf
1157.51/1157.52 c 1158s| 5050k| 1080k| 12949k| 2.6 | 925M| 45 | - | 50 |6006 | 50 | 15 | 24 |2970k|8160 | 0.000000e+00 | -- | Inf
1159.81/1159.89 c 1160s| 5060k| 1082k| 12975k| 2.6 | 927M| 45 | - | 50 |6601 | 50 | 15 | 24 |2976k|8166 | 0.000000e+00 | -- | Inf
1162.31/1162.33 c 1162s| 5070k| 1084k| 13000k| 2.6 | 928M| 45 | 6 | 50 |5682 | 50 | 15 | 24 |2982k|8176 | 0.000000e+00 | -- | Inf
1164.72/1164.79 c 1165s| 5080k| 1085k| 13025k| 2.6 | 930M| 45 | - | 50 |5420 | 50 | 15 | 24 |2988k|8185 | 0.000000e+00 | -- | Inf
1167.02/1167.03 c 1167s| 5090k| 1087k| 13050k| 2.6 | 932M| 45 | - | 50 |6584 | 50 | 15 | 24 |2994k|8192 | 0.000000e+00 | -- | Inf
1169.22/1169.23 c 1169s| 5100k| 1089k| 13076k| 2.6 | 934M| 45 | - | 50 |8877 | 50 | 15 | 24 |3000k|8199 | 0.000000e+00 | -- | Inf
1172.02/1172.00 c 1172s| 5110k| 1091k| 13101k| 2.6 | 935M| 45 | - | 50 |5298 | 0 | 0 | 24 |3006k|8211 | 0.000000e+00 | -- | Inf
1174.41/1174.42 c 1174s| 5120k| 1092k| 13126k| 2.6 | 937M| 45 | 6 | 50 |5100 | 50 | 15 | 24 |3013k|8217 | 0.000000e+00 | -- | Inf
1176.71/1176.72 c 1177s| 5130k| 1094k| 13152k| 2.6 | 939M| 45 | - | 50 |6332 | 50 | 15 | 24 |3019k|8224 | 0.000000e+00 | -- | Inf
1178.91/1178.95 c 1179s| 5140k| 1096k| 13177k| 2.6 | 941M| 45 | 6 | 50 |7426 | 50 | 15 | 24 |3025k|8233 | 0.000000e+00 | -- | Inf
1181.42/1181.44 c 1181s| 5150k| 1098k| 13203k| 2.6 | 942M| 45 | - | 50 |7214 | 50 | 15 | 24 |3031k|8243 | 0.000000e+00 | -- | Inf
1184.02/1184.01 c 1184s| 5160k| 1100k| 13229k| 2.6 | 944M| 45 | 6 | 50 |6037 | 50 | 15 | 24 |3037k|8251 | 0.000000e+00 | -- | Inf
1186.31/1186.36 c 1186s| 5170k| 1101k| 13254k| 2.6 | 945M| 45 | 6 | 50 |6103 | 50 | 15 | 24 |3043k|8258 | 0.000000e+00 | -- | Inf
1188.82/1188.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.82/1188.83 c 1189s| 5180k| 1103k| 13279k| 2.6 | 947M| 45 | 6 | 50 |6939 | 50 | 15 | 24 |3050k|8270 | 0.000000e+00 | -- | Inf
1191.11/1191.11 c 1191s| 5190k| 1105k| 13305k| 2.6 | 949M| 45 | - | 50 |7478 | 50 | 15 | 24 |3056k|8276 | 0.000000e+00 | -- | Inf
1193.52/1193.57 c 1194s| 5200k| 1107k| 13330k| 2.6 | 951M| 45 | - | 50 |6743 | 50 | 15 | 24 |3062k|8278 | 0.000000e+00 | -- | Inf
1196.02/1196.03 c 1196s| 5210k| 1108k| 13356k| 2.6 | 952M| 45 | 6 | 50 |6329 | 50 | 15 | 24 |3068k|8281 | 0.000000e+00 | -- | Inf
1198.41/1198.42 c 1198s| 5220k| 1110k| 13382k| 2.6 | 954M| 45 | - | 50 |6295 | 50 | 15 | 24 |3074k|8286 | 0.000000e+00 | -- | Inf
1200.81/1200.88 c 1201s| 5230k| 1112k| 13407k| 2.6 | 955M| 45 | 6 | 50 |5961 | 50 | 15 | 24 |3080k|8299 | 0.000000e+00 | -- | Inf
1203.12/1203.10 c 1203s| 5240k| 1114k| 13433k| 2.6 | 957M| 45 | 6 | 50 |6856 | 50 | 15 | 24 |3086k|8310 | 0.000000e+00 | -- | Inf
1205.42/1205.43 c 1205s| 5250k| 1115k| 13459k| 2.6 | 959M| 45 | 6 | 50 |6301 | 50 | 15 | 24 |3093k|8314 | 0.000000e+00 | -- | Inf
1207.82/1207.85 c 1208s| 5260k| 1117k| 13484k| 2.6 | 960M| 45 | 6 | 50 |5671 | 50 | 15 | 24 |3099k|8317 | 0.000000e+00 | -- | Inf
1210.11/1210.16 c 1210s| 5270k| 1119k| 13509k| 2.6 | 962M| 45 | - | 50 |5436 | 50 | 15 | 24 |3105k|8327 | 0.000000e+00 | -- | Inf
1212.42/1212.49 c 1212s| 5280k| 1121k| 13535k| 2.6 | 964M| 45 | - | 50 |6164 | 50 | 15 | 24 |3111k|8331 | 0.000000e+00 | -- | Inf
1214.91/1214.90 c 1215s| 5290k| 1122k| 13560k| 2.6 | 966M| 45 | 6 | 50 |5709 | 50 | 15 | 24 |3117k|8341 | 0.000000e+00 | -- | Inf
1217.21/1217.25 c 1217s| 5300k| 1124k| 13585k| 2.6 | 967M| 45 | - | 50 |5276 | 0 | 0 | 24 |3123k|8345 | 0.000000e+00 | -- | Inf
1219.52/1219.52 c 1220s| 5310k| 1126k| 13610k| 2.6 | 969M| 45 | 6 | 50 |6120 | 50 | 15 | 24 |3129k|8349 | 0.000000e+00 | -- | Inf
1221.82/1221.89 c 1222s| 5320k| 1128k| 13636k| 2.6 | 971M| 45 | - | 50 |6775 | 50 | 15 | 24 |3136k|8359 | 0.000000e+00 | -- | Inf
1224.22/1224.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.22/1224.28 c 1224s| 5330k| 1129k| 13662k| 2.6 | 973M| 45 | 6 | 50 |7205 | 50 | 15 | 24 |3142k|8367 | 0.000000e+00 | -- | Inf
1226.82/1226.82 c 1227s| 5340k| 1131k| 13687k| 2.6 | 974M| 45 | 6 | 50 |5863 | 50 | 15 | 24 |3148k|8373 | 0.000000e+00 | -- | Inf
1228.82/1228.80 c 1229s| 5350k| 1134k| 13712k| 2.6 | 977M| 45 | - | 50 |8024 | 50 | 15 | 24 |3154k|8382 | 0.000000e+00 | -- | Inf
1231.21/1231.29 c 1231s| 5360k| 1135k| 13738k| 2.6 | 978M| 45 | - | 50 |8761 | 50 | 15 | 24 |3160k|8389 | 0.000000e+00 | -- | Inf
1233.91/1233.94 c 1234s| 5370k| 1137k| 13764k| 2.6 | 980M| 45 | 6 | 50 |7031 | 50 | 15 | 24 |3166k|8396 | 0.000000e+00 | -- | Inf
1236.52/1236.55 c 1237s| 5380k| 1139k| 13789k| 2.6 | 981M| 45 | 6 | 50 |5935 | 50 | 15 | 24 |3172k|8403 | 0.000000e+00 | -- | Inf
1238.71/1238.76 c 1239s| 5390k| 1141k| 13816k| 2.6 | 983M| 45 | 6 | 50 |7940 | 50 | 15 | 24 |3179k|8417 | 0.000000e+00 | -- | Inf
1241.02/1241.04 c 1241s| 5400k| 1143k| 13842k| 2.6 | 985M| 45 | 6 | 50 |8880 | 50 | 15 | 24 |3185k|8424 | 0.000000e+00 | -- | Inf
1243.72/1243.75 c 1244s| 5410k| 1144k| 13867k| 2.6 | 987M| 45 | 6 | 50 |6897 | 50 | 15 | 24 |3191k|8437 | 0.000000e+00 | -- | Inf
1246.01/1246.04 c 1246s| 5420k| 1146k| 13893k| 2.6 | 989M| 45 | 6 | 50 |8343 | 50 | 15 | 24 |3197k|8446 | 0.000000e+00 | -- | Inf
1248.61/1248.62 c 1249s| 5430k| 1148k| 13919k| 2.6 | 990M| 45 | - | 50 |7141 | 0 | 0 | 24 |3203k|8452 | 0.000000e+00 | -- | Inf
1251.12/1251.14 c 1251s| 5440k| 1149k| 13944k| 2.6 | 992M| 45 | - | 50 |6778 | 50 | 15 | 24 |3209k|8456 | 0.000000e+00 | -- | Inf
1253.62/1253.64 c 1254s| 5450k| 1151k| 13970k| 2.6 | 993M| 45 | 6 | 50 |5933 | 50 | 15 | 24 |3216k|8462 | 0.000000e+00 | -- | Inf
1255.72/1255.77 c 1256s| 5460k| 1153k| 13997k| 2.6 | 995M| 45 | 6 | 50 |8176 | 50 | 15 | 24 |3223k|8469 | 0.000000e+00 | -- | Inf
1258.32/1258.37 c 1258s| 5470k| 1154k| 14024k| 2.6 | 997M| 45 | 6 | 50 |7396 | 50 | 15 | 24 |3230k|8476 | 0.000000e+00 | -- | Inf
1260.72/1260.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.72/1260.71 c 1261s| 5480k| 1156k| 14050k| 2.6 | 999M| 45 | 6 | 50 |7823 | 50 | 15 | 24 |3236k|8482 | 0.000000e+00 | -- | Inf
1262.62/1262.67 c 1263s| 5490k| 1159k| 14076k| 2.6 |1001M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3241k|8487 | 0.000000e+00 | -- | Inf
1265.12/1265.12 c 1265s| 5500k| 1161k| 14102k| 2.6 |1003M| 45 | - | 50 | 10k| 50 | 15 | 24 |3247k|8494 | 0.000000e+00 | -- | Inf
1267.52/1267.52 c 1268s| 5510k| 1164k| 14129k| 2.6 |1005M| 45 | - | 50 | 11k| 0 | 0 | 24 |3253k|8499 | 0.000000e+00 | -- | Inf
1269.92/1269.96 c 1270s| 5520k| 1166k| 14156k| 2.6 |1008M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3259k|8501 | 0.000000e+00 | -- | Inf
1272.82/1272.82 c 1273s| 5530k| 1168k| 14182k| 2.6 |1009M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3265k|8512 | 0.000000e+00 | -- | Inf
1275.82/1275.82 c 1276s| 5540k| 1170k| 14209k| 2.6 |1011M| 45 | - | 50 | 11k| 50 | 15 | 24 |3272k|8518 | 0.000000e+00 | -- | Inf
1278.72/1278.77 c 1279s| 5550k| 1172k| 14235k| 2.6 |1012M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3278k|8521 | 0.000000e+00 | -- | Inf
1281.71/1281.71 c 1282s| 5560k| 1173k| 14262k| 2.6 |1014M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3284k|8525 | 0.000000e+00 | -- | Inf
1284.92/1284.97 c 1285s| 5570k| 1175k| 14288k| 2.6 |1015M| 45 | 6 | 50 |7245 | 50 | 15 | 24 |3291k|8529 | 0.000000e+00 | -- | Inf
1287.61/1287.60 c 1288s| 5580k| 1176k| 14313k| 2.6 |1016M| 45 | 6 | 50 |6724 | 50 | 15 | 24 |3297k|8540 | 0.000000e+00 | -- | Inf
1290.22/1290.20 c 1290s| 5590k| 1178k| 14338k| 2.6 |1018M| 45 | - | 50 |5823 | 50 | 15 | 24 |3303k|8544 | 0.000000e+00 | -- | Inf
1292.71/1292.77 c 1293s| 5600k| 1179k| 14363k| 2.6 |1019M| 45 | 6 | 50 |5280 | 50 | 15 | 24 |3310k|8547 | 0.000000e+00 | -- | Inf
1294.82/1294.86 c 1295s| 5610k| 1182k| 14390k| 2.6 |1021M| 45 | - | 50 |7732 | 50 | 15 | 24 |3315k|8559 | 0.000000e+00 | -- | Inf
1297.42/1297.41 c 1297s| 5620k| 1183k| 14416k| 2.6 |1023M| 45 | 6 | 50 |6467 | 50 | 15 | 24 |3321k|8561 | 0.000000e+00 | -- | Inf
1299.92/1299.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.92/1299.95 c 1300s| 5630k| 1185k| 14441k| 2.6 |1024M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |3328k|8567 | 0.000000e+00 | -- | Inf
1302.21/1302.26 c 1302s| 5640k| 1187k| 14467k| 2.6 |1026M| 45 | 6 | 50 |6092 | 50 | 15 | 24 |3334k|8576 | 0.000000e+00 | -- | Inf
1304.72/1304.73 c 1305s| 5650k| 1188k| 14492k| 2.6 |1028M| 45 | - | 50 |5998 | 50 | 15 | 24 |3340k|8582 | 0.000000e+00 | -- | Inf
1306.92/1306.97 c 1307s| 5660k| 1190k| 14518k| 2.6 |1030M| 45 | 6 | 50 |8185 | 50 | 15 | 24 |3346k|8590 | 0.000000e+00 | -- | Inf
1309.61/1309.67 c 1310s| 5670k| 1192k| 14543k| 2.6 |1031M| 45 | 6 | 50 |7244 | 50 | 15 | 24 |3352k|8593 | 0.000000e+00 | -- | Inf
1312.23/1312.21 c 1312s| 5680k| 1194k| 14569k| 2.6 |1033M| 45 | 6 | 50 |5835 | 50 | 15 | 24 |3358k|8599 | 0.000000e+00 | -- | Inf
1314.02/1314.08 c 1314s| 5690k| 1197k| 14595k| 2.6 |1035M| 45 | 6 | 50 |7999 | 50 | 15 | 24 |3363k|8603 | 0.000000e+00 | -- | Inf
1316.32/1316.30 c 1316s| 5700k| 1200k| 14622k| 2.6 |1038M| 45 | - | 50 |8946 | 50 | 15 | 24 |3369k|8608 | 0.000000e+00 | -- | Inf
1318.62/1318.68 c 1319s| 5710k| 1202k| 14648k| 2.6 |1040M| 45 | 6 | 50 |9750 | 50 | 15 | 24 |3375k|8613 | 0.000000e+00 | -- | Inf
1321.02/1321.07 c 1321s| 5720k| 1204k| 14675k| 2.6 |1042M| 45 | - | 50 | 10k| 50 | 15 | 24 |3381k|8615 | 0.000000e+00 | -- | Inf
1323.62/1323.67 c 1324s| 5730k| 1206k| 14702k| 2.6 |1043M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3387k|8625 | 0.000000e+00 | -- | Inf
1326.11/1326.16 c 1326s| 5740k| 1208k| 14730k| 2.6 |1045M| 45 | - | 50 | 10k| 50 | 15 | 24 |3393k|8633 | 0.000000e+00 | -- | Inf
1328.92/1328.91 c 1329s| 5750k| 1210k| 14756k| 2.6 |1047M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3399k|8640 | 0.000000e+00 | -- | Inf
1331.61/1331.68 c 1332s| 5760k| 1212k| 14782k| 2.6 |1049M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3405k|8650 | 0.000000e+00 | -- | Inf
1334.33/1334.31 c 1334s| 5770k| 1214k| 14808k| 2.6 |1050M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3411k|8661 | 0.000000e+00 | -- | Inf
1336.71/1336.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.71/1336.75 c 1337s| 5780k| 1216k| 14834k| 2.6 |1053M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3417k|8665 | 0.000000e+00 | -- | Inf
1339.52/1339.54 c 1340s| 5790k| 1218k| 14861k| 2.6 |1054M| 45 | - | 50 | 11k| 50 | 15 | 24 |3424k|8669 | 0.000000e+00 | -- | Inf
1342.22/1342.29 c 1342s| 5800k| 1220k| 14888k| 2.6 |1056M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3430k|8674 | 0.000000e+00 | -- | Inf
1345.12/1345.18 c 1345s| 5810k| 1221k| 14914k| 2.6 |1058M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3436k|8679 | 0.000000e+00 | -- | Inf
1348.22/1348.24 c 1348s| 5820k| 1223k| 14940k| 2.6 |1059M| 45 | - | 50 | 11k| 50 | 15 | 24 |3442k|8681 | 0.000000e+00 | -- | Inf
1351.52/1351.51 c 1352s| 5830k| 1224k| 14966k| 2.6 |1060M| 45 | 6 | 50 |7079 | 50 | 15 | 24 |3449k|8697 | 0.000000e+00 | -- | Inf
1354.13/1354.16 c 1354s| 5840k| 1226k| 14991k| 2.6 |1062M| 45 | 6 | 50 |7233 | 50 | 15 | 24 |3455k|8707 | 0.000000e+00 | -- | Inf
1356.72/1356.73 c 1357s| 5850k| 1228k| 15017k| 2.6 |1063M| 45 | - | 50 |7033 | 50 | 15 | 24 |3461k|8718 | 0.000000e+00 | -- | Inf
1359.42/1359.41 c 1359s| 5860k| 1229k| 15043k| 2.6 |1065M| 45 | 6 | 50 |7065 | 50 | 15 | 24 |3468k|8723 | 0.000000e+00 | -- | Inf
1362.02/1362.09 c 1362s| 5870k| 1231k| 15068k| 2.6 |1066M| 45 | 6 | 50 |5579 | 50 | 15 | 24 |3474k|8728 | 0.000000e+00 | -- | Inf
1364.62/1364.61 c 1365s| 5880k| 1233k| 15093k| 2.6 |1068M| 45 | - | 50 |5488 | 50 | 15 | 24 |3480k|8732 | 0.000000e+00 | -- | Inf
1366.92/1366.92 c 1367s| 5890k| 1234k| 15119k| 2.6 |1070M| 45 | 6 | 50 |7319 | 50 | 15 | 24 |3487k|8737 | 0.000000e+00 | -- | Inf
1369.43/1369.50 c 1369s| 5900k| 1236k| 15145k| 2.6 |1071M| 45 | 6 | 50 |6816 | 50 | 15 | 24 |3493k|8742 | 0.000000e+00 | -- | Inf
1372.12/1372.11 c 1372s| 5910k| 1238k| 15171k| 2.6 |1073M| 45 | - | 50 |5986 | 50 | 15 | 24 |3499k|8752 | 0.000000e+00 | -- | Inf
1374.42/1374.46 c 1374s| 5920k| 1239k| 15196k| 2.6 |1075M| 45 | - | 50 |6860 | 50 | 15 | 24 |3505k|8757 | 0.000000e+00 | -- | Inf
1377.12/1377.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.12/1377.20 c 1377s| 5930k| 1241k| 15222k| 2.6 |1076M| 45 | - | 50 |6239 | 50 | 15 | 24 |3512k|8764 | 0.000000e+00 | -- | Inf
1379.72/1379.78 c 1380s| 5940k| 1243k| 15247k| 2.6 |1078M| 45 | 6 | 50 |5578 | 50 | 15 | 24 |3518k|8770 | 0.000000e+00 | -- | Inf
1381.82/1381.87 c 1382s| 5950k| 1244k| 15273k| 2.6 |1080M| 45 | 6 | 50 |7299 | 50 | 15 | 24 |3524k|8776 | 0.000000e+00 | -- | Inf
1384.32/1384.33 c 1384s| 5960k| 1246k| 15299k| 2.6 |1082M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |3530k|8780 | 0.000000e+00 | -- | Inf
1386.72/1386.78 c 1387s| 5970k| 1248k| 15325k| 2.6 |1083M| 45 | - | 50 |8118 | 50 | 15 | 24 |3536k|8786 | 0.000000e+00 | -- | Inf
1389.23/1389.30 c 1389s| 5980k| 1250k| 15351k| 2.6 |1085M| 45 | - | 50 |9461 | 50 | 15 | 24 |3543k|8793 | 0.000000e+00 | -- | Inf
1391.62/1391.62 c 1392s| 5990k| 1252k| 15376k| 2.6 |1087M| 45 | - | 50 |9968 | 50 | 15 | 24 |3548k|8801 | 0.000000e+00 | -- | Inf
1394.02/1394.05 c 1394s| 6000k| 1254k| 15401k| 2.6 |1089M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3554k|8806 | 0.000000e+00 | -- | Inf
1396.42/1396.42 c 1396s| 6010k| 1257k| 15426k| 2.6 |1092M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3559k|8811 | 0.000000e+00 | -- | Inf
1399.12/1399.19 c 1399s| 6020k| 1259k| 15451k| 2.6 |1093M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3565k|8816 | 0.000000e+00 | -- | Inf
1402.02/1402.02 c 1402s| 6030k| 1260k| 15477k| 2.6 |1095M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3572k|8821 | 0.000000e+00 | -- | Inf
1405.12/1405.17 c 1405s| 6040k| 1262k| 15502k| 2.6 |1096M| 45 | 6 | 50 |7626 | 50 | 15 | 24 |3578k|8827 | 0.000000e+00 | -- | Inf
1408.03/1408.04 c 1408s| 6050k| 1263k| 15528k| 2.6 |1097M| 45 | 6 | 50 |5761 | 50 | 15 | 24 |3584k|8832 | 0.000000e+00 | -- | Inf
1410.52/1410.57 c 1411s| 6060k| 1265k| 15553k| 2.6 |1098M| 45 | 6 | 50 |5392 | 50 | 15 | 24 |3591k|8837 | 0.000000e+00 | -- | Inf
1412.82/1412.88 c 1413s| 6070k| 1267k| 15579k| 2.6 |1100M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3597k|8842 | 0.000000e+00 | -- | Inf
1415.22/1415.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.22/1415.27 c 1415s| 6080k| 1269k| 15605k| 2.6 |1102M| 45 | - | 50 |7046 | 50 | 15 | 24 |3603k|8851 | 0.000000e+00 | -- | Inf
1417.93/1417.97 c 1418s| 6090k| 1270k| 15631k| 2.6 |1104M| 45 | - | 50 |6086 | 50 | 15 | 24 |3609k|8859 | 0.000000e+00 | -- | Inf
1420.32/1420.33 c 1420s| 6100k| 1272k| 15657k| 2.6 |1106M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |3615k|8865 | 0.000000e+00 | -- | Inf
1422.92/1422.95 c 1423s| 6110k| 1274k| 15682k| 2.6 |1107M| 45 | - | 50 |5405 | 0 | 0 | 24 |3622k|8871 | 0.000000e+00 | -- | Inf
1425.42/1425.41 c 1425s| 6120k| 1275k| 15708k| 2.6 |1108M| 45 | 6 | 50 |5555 | 50 | 15 | 24 |3628k|8874 | 0.000000e+00 | -- | Inf
1427.83/1427.81 c 1428s| 6130k| 1277k| 15733k| 2.6 |1110M| 45 | - | 50 |6125 | 50 | 15 | 24 |3634k|8877 | 0.000000e+00 | -- | Inf
1430.32/1430.34 c 1430s| 6140k| 1279k| 15758k| 2.6 |1112M| 45 | 6 | 50 |6057 | 50 | 15 | 24 |3640k|8884 | 0.000000e+00 | -- | Inf
1432.62/1432.68 c 1433s| 6150k| 1280k| 15783k| 2.6 |1114M| 45 | 6 | 50 |6134 | 50 | 15 | 24 |3646k|8888 | 0.000000e+00 | -- | Inf
1435.22/1435.26 c 1435s| 6160k| 1282k| 15808k| 2.6 |1115M| 45 | 6 | 50 |5442 | 50 | 15 | 24 |3653k|8896 | 0.000000e+00 | -- | Inf
1437.63/1437.62 c 1438s| 6170k| 1283k| 15833k| 2.6 |1117M| 45 | 6 | 50 |6226 | 50 | 15 | 24 |3659k|8900 | 0.000000e+00 | -- | Inf
1440.02/1440.08 c 1440s| 6180k| 1285k| 15859k| 2.6 |1118M| 45 | 6 | 50 |6154 | 50 | 15 | 24 |3665k|8909 | 0.000000e+00 | -- | Inf
1442.53/1442.59 c 1443s| 6190k| 1286k| 15884k| 2.6 |1120M| 45 | - | 50 |5749 | 50 | 15 | 24 |3671k|8911 | 0.000000e+00 | -- | Inf
1445.02/1445.05 c 1445s| 6200k| 1288k| 15910k| 2.6 |1122M| 45 | 6 | 50 |6248 | 50 | 15 | 24 |3678k|8920 | 0.000000e+00 | -- | Inf
1447.22/1447.25 c 1447s| 6210k| 1290k| 15936k| 2.6 |1124M| 45 | - | 50 |7519 | 50 | 15 | 24 |3684k|8927 | 0.000000e+00 | -- | Inf
1449.92/1449.96 c 1450s| 6220k| 1292k| 15962k| 2.6 |1125M| 45 | - | 50 |5660 | 50 | 15 | 24 |3690k|8930 | 0.000000e+00 | -- | Inf
1452.32/1452.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.32/1452.34 c 1452s| 6230k| 1293k| 15989k| 2.6 |1127M| 45 | - | 50 |7092 | 50 | 15 | 24 |3696k|8937 | 0.000000e+00 | -- | Inf
1454.82/1454.89 c 1455s| 6240k| 1295k| 16014k| 2.6 |1129M| 45 | - | 50 |7455 | 50 | 15 | 24 |3703k|8945 | 0.000000e+00 | -- | Inf
1457.62/1457.60 c 1458s| 6250k| 1297k| 16039k| 2.6 |1130M| 45 | - | 50 |6376 | 0 | 0 | 24 |3709k|8951 | 0.000000e+00 | -- | Inf
1459.82/1459.89 c 1460s| 6260k| 1298k| 16066k| 2.6 |1132M| 45 | 6 | 50 |8153 | 50 | 15 | 24 |3715k|8958 | 0.000000e+00 | -- | Inf
1462.73/1462.79 c 1463s| 6270k| 1300k| 16090k| 2.6 |1133M| 45 | 6 | 50 |5746 | 50 | 15 | 24 |3722k|8961 | 0.000000e+00 | -- | Inf
1465.13/1465.20 c 1465s| 6280k| 1301k| 16115k| 2.6 |1135M| 45 | - | 50 |5707 | 50 | 15 | 24 |3728k|8968 | 0.000000e+00 | -- | Inf
1467.33/1467.36 c 1467s| 6290k| 1304k| 16141k| 2.6 |1137M| 45 | - | 50 |7883 | 50 | 15 | 24 |3734k|8975 | 0.000000e+00 | -- | Inf
1469.92/1469.95 c 1470s| 6300k| 1305k| 16167k| 2.6 |1139M| 45 | 6 | 50 |8905 | 50 | 15 | 24 |3740k|8979 | 0.000000e+00 | -- | Inf
1472.42/1472.45 c 1472s| 6310k| 1307k| 16192k| 2.6 |1141M| 45 | 6 | 50 |8914 | 50 | 15 | 24 |3747k|8986 | 0.000000e+00 | -- | Inf
1474.92/1474.93 c 1475s| 6320k| 1309k| 16218k| 2.6 |1143M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3753k|8997 | 0.000000e+00 | -- | Inf
1477.82/1477.82 c 1478s| 6330k| 1311k| 16242k| 2.6 |1144M| 45 | 6 | 50 |8438 | 50 | 15 | 24 |3759k|9005 | 0.000000e+00 | -- | Inf
1480.53/1480.58 c 1481s| 6340k| 1313k| 16268k| 2.6 |1146M| 45 | 6 | 50 |6570 | 50 | 15 | 24 |3765k|9012 | 0.000000e+00 | -- | Inf
1482.83/1482.85 c 1483s| 6350k| 1314k| 16294k| 2.6 |1148M| 45 | 6 | 50 |9377 | 50 | 15 | 24 |3771k|9021 | 0.000000e+00 | -- | Inf
1485.52/1485.57 c 1486s| 6360k| 1316k| 16319k| 2.6 |1150M| 45 | - | 50 |9045 | 50 | 15 | 24 |3777k|9025 | 0.000000e+00 | -- | Inf
1488.13/1488.17 c 1488s| 6370k| 1318k| 16345k| 2.6 |1151M| 45 | 6 | 50 |7380 | 50 | 15 | 24 |3783k|9031 | 0.000000e+00 | -- | Inf
1490.72/1490.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1490.72/1490.73 c 1491s| 6380k| 1320k| 16371k| 2.6 |1153M| 45 | 6 | 50 |7269 | 50 | 15 | 24 |3789k|9037 | 0.000000e+00 | -- | Inf
1493.43/1493.44 c 1493s| 6390k| 1321k| 16396k| 2.6 |1154M| 45 | 6 | 50 |5925 | 50 | 15 | 24 |3795k|9042 | 0.000000e+00 | -- | Inf
1495.93/1495.96 c 1496s| 6400k| 1323k| 16421k| 2.6 |1156M| 45 | 6 | 50 |6010 | 50 | 15 | 24 |3802k|9051 | 0.000000e+00 | -- | Inf
1498.42/1498.48 c 1498s| 6410k| 1325k| 16447k| 2.6 |1157M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |3808k|9057 | 0.000000e+00 | -- | Inf
1500.82/1500.86 c 1501s| 6420k| 1327k| 16473k| 2.6 |1159M| 45 | - | 50 |6245 | 50 | 15 | 24 |3814k|9068 | 0.000000e+00 | -- | Inf
1503.32/1503.34 c 1503s| 6430k| 1328k| 16498k| 2.6 |1161M| 45 | 6 | 50 |6075 | 50 | 15 | 24 |3820k|9075 | 0.000000e+00 | -- | Inf
1505.82/1505.88 c 1506s| 6440k| 1330k| 16524k| 2.6 |1162M| 45 | 6 | 50 |5664 | 50 | 15 | 24 |3827k|9083 | 0.000000e+00 | -- | Inf
1508.32/1508.36 c 1508s| 6450k| 1331k| 16550k| 2.6 |1164M| 45 | - | 50 |6545 | 50 | 15 | 24 |3833k|9089 | 0.000000e+00 | -- | Inf
1510.82/1510.83 c 1511s| 6460k| 1333k| 16575k| 2.6 |1166M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3840k|9102 | 0.000000e+00 | -- | Inf
1513.32/1513.37 c 1513s| 6470k| 1335k| 16600k| 2.6 |1167M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |3846k|9106 | 0.000000e+00 | -- | Inf
1515.93/1515.99 c 1516s| 6480k| 1336k| 16625k| 2.6 |1169M| 45 | 6 | 50 |5133 | 50 | 15 | 24 |3852k|9112 | 0.000000e+00 | -- | Inf
1518.43/1518.42 c 1518s| 6490k| 1338k| 16650k| 2.6 |1170M| 45 | 6 | 50 |6096 | 50 | 15 | 24 |3858k|9118 | 0.000000e+00 | -- | Inf
1520.93/1520.94 c 1521s| 6500k| 1339k| 16675k| 2.6 |1172M| 45 | 6 | 50 |6160 | 50 | 15 | 24 |3865k|9121 | 0.000000e+00 | -- | Inf
1523.32/1523.32 c 1523s| 6510k| 1341k| 16701k| 2.6 |1174M| 45 | - | 50 |7495 | 50 | 15 | 24 |3871k|9126 | 0.000000e+00 | -- | Inf
1525.93/1525.99 c 1526s| 6520k| 1342k| 16727k| 2.6 |1175M| 45 | 6 | 50 |5743 | 50 | 15 | 24 |3878k|9137 | 0.000000e+00 | -- | Inf
1528.23/1528.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.23/1528.23 c 1528s| 6530k| 1344k| 16752k| 2.6 |1177M| 45 | - | 50 |7115 | 50 | 15 | 24 |3884k|9143 | 0.000000e+00 | -- | Inf
1530.62/1530.67 c 1531s| 6540k| 1346k| 16778k| 2.6 |1179M| 45 | - | 50 |7989 | 50 | 15 | 24 |3890k|9148 | 0.000000e+00 | -- | Inf
1533.33/1533.31 c 1533s| 6550k| 1348k| 16804k| 2.6 |1181M| 45 | - | 50 |7134 | 50 | 15 | 24 |3896k|9151 | 0.000000e+00 | -- | Inf
1535.72/1535.75 c 1536s| 6560k| 1349k| 16828k| 2.6 |1182M| 45 | 6 | 50 |7336 | 50 | 15 | 24 |3902k|9157 | 0.000000e+00 | -- | Inf
1538.23/1538.25 c 1538s| 6570k| 1351k| 16854k| 2.6 |1184M| 45 | 6 | 50 |7926 | 50 | 15 | 24 |3908k|9166 | 0.000000e+00 | -- | Inf
1540.93/1541.00 c 1541s| 6580k| 1353k| 16880k| 2.6 |1186M| 45 | 6 | 50 |6817 | 50 | 15 | 24 |3915k|9171 | 0.000000e+00 | -- | Inf
1543.13/1543.16 c 1543s| 6590k| 1355k| 16906k| 2.6 |1188M| 45 | 6 | 50 |8624 | 50 | 15 | 24 |3920k|9174 | 0.000000e+00 | -- | Inf
1545.62/1545.65 c 1546s| 6600k| 1357k| 16930k| 2.6 |1190M| 45 | 6 | 50 |9338 | 50 | 15 | 24 |3927k|9182 | 0.000000e+00 | -- | Inf
1548.63/1548.69 c 1549s| 6610k| 1358k| 16955k| 2.6 |1190M| 45 | 6 | 50 |5739 | 50 | 15 | 24 |3933k|9187 | 0.000000e+00 | -- | Inf
1551.12/1551.18 c 1551s| 6620k| 1360k| 16980k| 2.6 |1192M| 45 | 6 | 50 |5898 | 50 | 15 | 24 |3939k|9193 | 0.000000e+00 | -- | Inf
1553.82/1553.81 c 1554s| 6630k| 1361k| 17006k| 2.6 |1193M| 45 | - | 50 |5149 | 50 | 15 | 24 |3945k|9198 | 0.000000e+00 | -- | Inf
1556.12/1556.15 c 1556s| 6640k| 1363k| 17031k| 2.6 |1195M| 45 | 6 | 50 |5697 | 50 | 15 | 24 |3951k|9203 | 0.000000e+00 | -- | Inf
1558.52/1558.56 c 1559s| 6650k| 1365k| 17056k| 2.6 |1197M| 45 | 6 | 50 |4892 | 50 | 15 | 24 |3957k|9208 | 0.000000e+00 | -- | Inf
1560.83/1560.86 c 1561s| 6660k| 1366k| 17081k| 2.6 |1199M| 45 | 6 | 50 |6367 | 50 | 15 | 24 |3964k|9213 | 0.000000e+00 | -- | Inf
1563.23/1563.27 c 1563s| 6670k| 1368k| 17107k| 2.6 |1200M| 45 | - | 50 |7006 | 50 | 15 | 24 |3970k|9215 | 0.000000e+00 | -- | Inf
1566.03/1566.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.03/1566.00 c 1566s| 6680k| 1369k| 17132k| 2.6 |1202M| 45 | 6 | 50 |5205 | 50 | 15 | 24 |3976k|9217 | 0.000000e+00 | -- | Inf
1568.43/1568.47 c 1568s| 6690k| 1371k| 17157k| 2.6 |1203M| 45 | 6 | 50 |5752 | 50 | 15 | 24 |3983k|9226 | 0.000000e+00 | -- | Inf
1570.83/1570.86 c 1571s| 6700k| 1373k| 17182k| 2.6 |1205M| 45 | - | 50 |5720 | 50 | 15 | 24 |3989k|9229 | 0.000000e+00 | -- | Inf
1573.12/1573.11 c 1573s| 6710k| 1374k| 17208k| 2.6 |1207M| 45 | - | 50 |7734 | 50 | 15 | 24 |3995k|9235 | 0.000000e+00 | -- | Inf
1575.63/1575.64 c 1576s| 6720k| 1376k| 17234k| 2.6 |1209M| 45 | 6 | 50 |8324 | 50 | 15 | 24 |4001k|9243 | 0.000000e+00 | -- | Inf
1578.22/1578.22 c 1578s| 6730k| 1378k| 17259k| 2.6 |1210M| 45 | 6 | 50 |7512 | 50 | 15 | 24 |4007k|9247 | 0.000000e+00 | -- | Inf
1580.82/1580.89 c 1581s| 6740k| 1379k| 17285k| 2.6 |1212M| 45 | 6 | 50 |6474 | 50 | 15 | 24 |4014k|9249 | 0.000000e+00 | -- | Inf
1583.43/1583.47 c 1583s| 6750k| 1381k| 17310k| 2.6 |1213M| 45 | - | 50 |5665 | 50 | 15 | 24 |4020k|9254 | 0.000000e+00 | -- | Inf
1585.82/1585.80 c 1586s| 6760k| 1383k| 17335k| 2.6 |1215M| 45 | - | 50 |6408 | 50 | 15 | 24 |4026k|9262 | 0.000000e+00 | -- | Inf
1587.83/1587.84 c 1588s| 6770k| 1386k| 17359k| 2.6 |1218M| 45 | 6 | 50 |8326 | 50 | 15 | 24 |4031k|9266 | 0.000000e+00 | -- | Inf
1590.22/1590.24 c 1590s| 6780k| 1388k| 17385k| 2.6 |1219M| 45 | 6 | 50 |8221 | 50 | 15 | 24 |4036k|9271 | 0.000000e+00 | -- | Inf
1592.63/1592.60 c 1593s| 6790k| 1390k| 17411k| 2.6 |1221M| 45 | - | 50 |8150 | 0 | 0 | 24 |4042k|9277 | 0.000000e+00 | -- | Inf
1595.32/1595.32 c 1595s| 6800k| 1392k| 17436k| 2.6 |1223M| 45 | 6 | 50 |8353 | 50 | 15 | 24 |4048k|9282 | 0.000000e+00 | -- | Inf
1597.82/1597.87 c 1598s| 6810k| 1394k| 17462k| 2.6 |1225M| 45 | - | 50 |9173 | 50 | 15 | 24 |4054k|9287 | 0.000000e+00 | -- | Inf
1600.62/1600.61 c 1601s| 6820k| 1396k| 17488k| 2.6 |1226M| 45 | - | 50 |7543 | 50 | 15 | 24 |4060k|9296 | 0.000000e+00 | -- | Inf
1603.33/1603.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.33/1603.32 c 1603s| 6830k| 1397k| 17512k| 2.6 |1228M| 45 | - | 50 |6682 | 0 | 0 | 24 |4066k|9303 | 0.000000e+00 | -- | Inf
1605.82/1605.84 c 1606s| 6840k| 1399k| 17538k| 2.6 |1229M| 45 | 6 | 50 |6763 | 50 | 15 | 24 |4073k|9317 | 0.000000e+00 | -- | Inf
1608.53/1608.55 c 1609s| 6850k| 1400k| 17563k| 2.6 |1231M| 45 | - | 50 |6558 | 50 | 15 | 24 |4079k|9320 | 0.000000e+00 | -- | Inf
1611.33/1611.34 c 1611s| 6860k| 1402k| 17588k| 2.6 |1232M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |4085k|9325 | 0.000000e+00 | -- | Inf
1613.52/1613.53 c 1614s| 6870k| 1404k| 17613k| 2.6 |1234M| 45 | 6 | 50 |7341 | 50 | 15 | 24 |4091k|9337 | 0.000000e+00 | -- | Inf
1616.02/1616.06 c 1616s| 6880k| 1405k| 17639k| 2.6 |1236M| 45 | 6 | 50 |7328 | 50 | 15 | 24 |4098k|9343 | 0.000000e+00 | -- | Inf
1618.93/1618.95 c 1619s| 6890k| 1407k| 17665k| 2.6 |1237M| 45 | - | 50 |5570 | 50 | 15 | 24 |4104k|9354 | 0.000000e+00 | -- | Inf
1621.53/1621.53 c 1622s| 6900k| 1408k| 17690k| 2.6 |1239M| 45 | 6 | 50 |5165 | 50 | 15 | 24 |4110k|9359 | 0.000000e+00 | -- | Inf
1623.83/1623.81 c 1624s| 6910k| 1410k| 17715k| 2.6 |1241M| 45 | 6 | 50 |6615 | 50 | 15 | 24 |4116k|9368 | 0.000000e+00 | -- | Inf
1626.33/1626.39 c 1626s| 6920k| 1412k| 17741k| 2.6 |1242M| 45 | - | 50 |7012 | 50 | 15 | 24 |4122k|9378 | 0.000000e+00 | -- | Inf
1629.03/1629.05 c 1629s| 6930k| 1413k| 17766k| 2.6 |1244M| 45 | 6 | 50 |6014 | 50 | 15 | 24 |4129k|9384 | 0.000000e+00 | -- | Inf
1631.53/1631.54 c 1632s| 6940k| 1415k| 17791k| 2.6 |1245M| 45 | 6 | 50 |5936 | 50 | 15 | 24 |4135k|9389 | 0.000000e+00 | -- | Inf
1634.03/1634.00 c 1634s| 6950k| 1417k| 17816k| 2.6 |1247M| 45 | 6 | 50 |5787 | 50 | 15 | 24 |4141k|9396 | 0.000000e+00 | -- | Inf
1636.53/1636.51 c 1637s| 6960k| 1418k| 17842k| 2.6 |1249M| 45 | - | 50 |5456 | 50 | 15 | 24 |4147k|9404 | 0.000000e+00 | -- | Inf
1638.73/1638.72 c 1639s| 6970k| 1420k| 17868k| 2.6 |1251M| 45 | 6 | 50 |6765 | 50 | 15 | 24 |4153k|9411 | 0.000000e+00 | -- | Inf
1640.83/1640.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.83/1640.85 c 1641s| 6980k| 1423k| 17895k| 2.6 |1253M| 45 | 6 | 50 |8632 | 50 | 15 | 24 |4159k|9419 | 0.000000e+00 | -- | Inf
1643.02/1643.07 c 1643s| 6990k| 1425k| 17921k| 2.6 |1255M| 45 | 6 | 50 |8911 | 50 | 15 | 24 |4164k|9429 | 0.000000e+00 | -- | Inf
1645.53/1645.53 c 1646s| 7000k| 1428k| 17947k| 2.6 |1257M| 45 | 6 | 50 |8602 | 50 | 15 | 24 |4170k|9433 | 0.000000e+00 | -- | Inf
1648.03/1648.05 c 1648s| 7010k| 1430k| 17974k| 2.6 |1259M| 45 | - | 50 |9333 | 0 | 0 | 24 |4176k|9438 | 0.000000e+00 | -- | Inf
1650.42/1650.48 c 1650s| 7020k| 1432k| 18000k| 2.6 |1261M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4181k|9446 | 0.000000e+00 | -- | Inf
1653.02/1653.09 c 1653s| 7030k| 1434k| 18027k| 2.6 |1263M| 45 | - | 50 |9992 | 50 | 15 | 24 |4187k|9454 | 0.000000e+00 | -- | Inf
1655.73/1655.77 c 1656s| 7040k| 1436k| 18054k| 2.6 |1265M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4193k|9458 | 0.000000e+00 | -- | Inf
1658.63/1658.66 c 1659s| 7050k| 1438k| 18081k| 2.6 |1266M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4199k|9469 | 0.000000e+00 | -- | Inf
1661.62/1661.64 c 1662s| 7060k| 1439k| 18108k| 2.6 |1268M| 45 | - | 50 |9604 | 50 | 15 | 24 |4206k|9473 | 0.000000e+00 | -- | Inf
1664.53/1664.54 c 1665s| 7070k| 1441k| 18134k| 2.6 |1269M| 45 | 6 | 50 |9341 | 50 | 15 | 24 |4212k|9477 | 0.000000e+00 | -- | Inf
1667.33/1667.32 c 1667s| 7080k| 1443k| 18160k| 2.6 |1271M| 45 | - | 50 |8519 | 50 | 15 | 24 |4218k|9481 | 0.000000e+00 | -- | Inf
1669.74/1669.75 c 1670s| 7090k| 1445k| 18187k| 2.6 |1273M| 45 | - | 50 |8927 | 50 | 15 | 24 |4224k|9488 | 0.000000e+00 | -- | Inf
1671.93/1671.96 c 1672s| 7100k| 1447k| 18215k| 2.6 |1275M| 45 | - | 50 | 10k| 0 | 0 | 24 |4230k|9494 | 0.000000e+00 | -- | Inf
1674.53/1674.57 c 1675s| 7110k| 1449k| 18242k| 2.6 |1277M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4235k|9506 | 0.000000e+00 | -- | Inf
1677.23/1677.29 c 1677s| 7120k| 1451k| 18269k| 2.6 |1279M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4241k|9519 | 0.000000e+00 | -- | Inf
1680.02/1680.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.02/1680.02 c 1680s| 7130k| 1453k| 18297k| 2.6 |1281M| 45 | - | 50 | 11k| 50 | 15 | 24 |4247k|9525 | 0.000000e+00 | -- | Inf
1682.93/1682.90 c 1683s| 7140k| 1455k| 18324k| 2.6 |1283M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4254k|9533 | 0.000000e+00 | -- | Inf
1686.13/1686.18 c 1686s| 7150k| 1456k| 18350k| 2.6 |1284M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4260k|9536 | 0.000000e+00 | -- | Inf
1689.33/1689.35 c 1689s| 7160k| 1458k| 18375k| 2.6 |1284M| 45 | 6 | 50 |6209 | 50 | 15 | 24 |4266k|9540 | 0.000000e+00 | -- | Inf
1691.32/1691.38 c 1691s| 7170k| 1461k| 18402k| 2.6 |1287M| 45 | 6 | 50 |7206 | 50 | 15 | 24 |4272k|9544 | 0.000000e+00 | -- | Inf
1693.23/1693.27 c 1693s| 7180k| 1464k| 18428k| 2.6 |1289M| 45 | - | 50 |8283 | 50 | 15 | 24 |4276k|9551 | 0.000000e+00 | -- | Inf
1695.52/1695.52 c 1696s| 7190k| 1467k| 18454k| 2.6 |1291M| 45 | - | 50 |9461 | 50 | 15 | 24 |4282k|9556 | 0.000000e+00 | -- | Inf
1698.03/1698.01 c 1698s| 7200k| 1470k| 18481k| 2.6 |1294M| 45 | 6 | 50 |9849 | 50 | 15 | 24 |4287k|9563 | 0.000000e+00 | -- | Inf
1700.63/1700.64 c 1701s| 7210k| 1473k| 18507k| 2.6 |1295M| 45 | 6 | 50 |9151 | 50 | 15 | 24 |4292k|9567 | 0.000000e+00 | -- | Inf
1703.23/1703.25 c 1703s| 7220k| 1475k| 18533k| 2.6 |1298M| 45 | 6 | 50 |9810 | 50 | 15 | 24 |4298k|9571 | 0.000000e+00 | -- | Inf
1705.83/1705.81 c 1706s| 7230k| 1478k| 18559k| 2.6 |1300M| 45 | - | 50 | 10k| 50 | 15 | 24 |4303k|9578 | 0.000000e+00 | -- | Inf
1708.33/1708.38 c 1708s| 7240k| 1481k| 18586k| 2.6 |1302M| 45 | - | 50 | 11k| 50 | 15 | 24 |4309k|9591 | 0.000000e+00 | -- | Inf
1711.13/1711.11 c 1711s| 7250k| 1483k| 18612k| 2.6 |1304M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4314k|9597 | 0.000000e+00 | -- | Inf
1714.03/1714.01 c 1714s| 7260k| 1486k| 18637k| 2.6 |1305M| 45 | 6 | 50 |9332 | 50 | 15 | 24 |4320k|9607 | 0.000000e+00 | -- | Inf
1716.63/1716.68 c 1717s| 7270k| 1488k| 18663k| 2.6 |1307M| 45 | 6 | 50 |9434 | 50 | 15 | 24 |4325k|9613 | 0.000000e+00 | -- | Inf
1719.13/1719.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.13/1719.20 c 1719s| 7280k| 1490k| 18689k| 2.6 |1310M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4331k|9623 | 0.000000e+00 | -- | Inf
1722.23/1722.27 c 1722s| 7290k| 1493k| 18715k| 2.6 |1312M| 45 | - | 50 | 10k| 50 | 15 | 24 |4337k|9628 | 0.000000e+00 | -- | Inf
1725.33/1725.36 c 1725s| 7300k| 1495k| 18741k| 2.6 |1313M| 45 | - | 50 | 10k| 50 | 15 | 24 |4342k|9634 | 0.000000e+00 | -- | Inf
1728.14/1728.11 c 1728s| 7310k| 1497k| 18767k| 2.6 |1315M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4348k|9639 | 0.000000e+00 | -- | Inf
1731.03/1731.09 c 1731s| 7320k| 1499k| 18793k| 2.6 |1317M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4354k|9642 | 0.000000e+00 | -- | Inf
1733.93/1733.99 c 1734s| 7330k| 1502k| 18819k| 2.6 |1319M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4359k|9650 | 0.000000e+00 | -- | Inf
1737.13/1737.15 c 1737s| 7340k| 1504k| 18845k| 2.6 |1321M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4365k|9655 | 0.000000e+00 | -- | Inf
1740.24/1740.20 c 1740s| 7350k| 1506k| 18871k| 2.6 |1323M| 45 | - | 50 | 10k| 50 | 15 | 24 |4371k|9658 | 0.000000e+00 | -- | Inf
1742.93/1742.98 c 1743s| 7360k| 1508k| 18898k| 2.6 |1325M| 45 | - | 50 | 11k| 50 | 15 | 24 |4377k|9661 | 0.000000e+00 | -- | Inf
1745.74/1745.78 c 1746s| 7370k| 1510k| 18923k| 2.6 |1327M| 45 | - | 50 | 12k| 50 | 15 | 24 |4383k|9667 | 0.000000e+00 | -- | Inf
1748.73/1748.73 c 1749s| 7380k| 1513k| 18949k| 2.6 |1329M| 45 | - | 50 | 13k| 50 | 15 | 24 |4388k|9670 | 0.000000e+00 | -- | Inf
1752.13/1752.11 c 1752s| 7390k| 1515k| 18976k| 2.6 |1330M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4394k|9674 | 0.000000e+00 | -- | Inf
1754.83/1754.87 c 1755s| 7400k| 1516k| 19002k| 2.6 |1333M| 45 | 6 | 50 | 13k| 50 | 15 | 24 |4401k|9679 | 0.000000e+00 | -- | Inf
1757.73/1757.78 c 1758s| 7410k| 1518k| 19029k| 2.6 |1335M| 45 | 6 | 50 | 15k| 50 | 15 | 24 |4407k|9683 | 0.000000e+00 | -- | Inf
1760.93/1760.94 c 1761s| 7420k| 1521k| 19056k| 2.6 |1337M| 45 | - | 50 | 16k| 50 | 15 | 24 |4413k|9688 | 0.000000e+00 | -- | Inf
1764.92/1764.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.92/1764.93 c 1765s| 7430k| 1523k| 19081k| 2.6 |1338M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4419k|9692 | 0.000000e+00 | -- | Inf
1768.13/1768.12 c 1768s| 7440k| 1525k| 19108k| 2.6 |1340M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4425k|9697 | 0.000000e+00 | -- | Inf
1771.53/1771.50 c 1771s| 7450k| 1527k| 19133k| 2.6 |1341M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4430k|9701 | 0.000000e+00 | -- | Inf
1774.63/1774.63 c 1775s| 7460k| 1528k| 19159k| 2.6 |1343M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4437k|9707 | 0.000000e+00 | -- | Inf
1777.42/1777.41 c 1777s| 7470k| 1530k| 19185k| 2.6 |1345M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4442k|9711 | 0.000000e+00 | -- | Inf
1780.53/1780.54 c 1781s| 7480k| 1532k| 19211k| 2.6 |1347M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4449k|9713 | 0.000000e+00 | -- | Inf
1783.53/1783.53 c 1784s| 7490k| 1534k| 19239k| 2.6 |1349M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4455k|9717 | 0.000000e+00 | -- | Inf
1786.93/1786.97 c 1787s| 7500k| 1536k| 19265k| 2.6 |1350M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4461k|9721 | 0.000000e+00 | -- | Inf
1790.03/1790.02 c 1790s| 7510k| 1538k| 19291k| 2.6 |1352M| 45 | - | 50 | 11k| 50 | 15 | 24 |4466k|9726 | 0.000000e+00 | -- | Inf
1793.43/1793.47 c 1793s| 7520k| 1540k| 19317k| 2.6 |1354M| 45 | - | 50 | 10k| 50 | 15 | 24 |4473k|9730 | 0.000000e+00 | -- | Inf
1796.43/1796.41 c 1796s| 7530k| 1542k| 19344k| 2.6 |1355M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4479k|9733 | 0.000000e+00 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 7531667
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.00 (included in solving)
1797.03/1797.00 c reading : 0.00 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488782-1307772534.opb
1797.03/1797.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 13 initial, 13 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488782-1307772534.opb
1797.03/1797.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 6 initial, 17267 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 4635171 0 4 0 991 4877 0 0 9258862
1797.03/1797.00 c linear : 6 6 17674759 0 1 3 5034862 459868 6289498 0 0 0
1797.03/1797.00 c logicor : 0+ 6 8318846 0 0 0 6192153 17004 3170764 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 27.20 0.00 0.00 27.20 0.00 0.00 0.00
1797.03/1797.00 c linear : 107.40 0.00 95.27 0.00 0.00 0.00 12.14
1797.03/1797.00 c logicor : 445.41 0.00 436.66 0.00 0.00 0.00 8.75
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 0 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 2.62 2.62 0.00
1797.03/1797.00 c rootredcost : 2.67 2.67 0.00
1797.03/1797.00 c pseudoobj : 1.92 1.92 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 20.05 476872 422146 1446427 36.3 140 29.9 -
1797.03/1797.00 c infeasible LP : 72.19 2592937 2592876 4956479 23.5 40935 27.7 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 3934628 21.0 - - -
1797.03/1797.00 c applied locally : - - - 545458 34.2 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 32 - (maximal pool size: 100)
1797.03/1797.00 c redcost : 5.40 4635175 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.00 6 0 0 1 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.00 6 0 0 33 0
1797.03/1797.00 c cmir : 0.01 6 0 0 37 0
1797.03/1797.00 c flowcover : 0.01 6 0 0 48 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.01 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 24.71 4635171 991 4877 0 0 9258862
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 1.86 0 0
1797.03/1797.00 c crossover : 1.36 0 0
1797.03/1797.00 c guideddiving : 0.20 0 0
1797.03/1797.00 c linesearchdiving : 0.19 124 0
1797.03/1797.00 c feaspump : 0.16 62 0
1797.03/1797.00 c coefdiving : 0.17 125 0
1797.03/1797.00 c pscostdiving : 0.20 125 0
1797.03/1797.00 c fracdiving : 0.18 125 0
1797.03/1797.00 c veclendiving : 0.17 125 0
1797.03/1797.00 c objpscostdiving : 0.14 63 0
1797.03/1797.00 c rootsoldiving : 0.20 63 0
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.00 1 0
1797.03/1797.00 c simplerounding : 0.84 0 0
1797.03/1797.00 c zirounding : 11.72 0 0
1797.03/1797.00 c rounding : 1.79 30493 0
1797.03/1797.00 c shifting : 2.40 9193 0
1797.03/1797.00 c intshifting : 0.10 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 1 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 1.05 0 0
1797.03/1797.00 c trysol : 1.44 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 366.15 7056896 19344684 2.74 52832.84
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 0.12 2056 3921 1.91 33378.45
1797.03/1797.00 c strong branching : 0.86 9733 35282 3.62 41073.53
1797.03/1797.00 c (at root node) : - 9 440 48.89 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 7531667
1797.03/1797.00 c nodes (total) : 7531667
1797.03/1797.00 c nodes left : 1542651
1797.03/1797.00 c max depth : 45
1797.03/1797.00 c max depth (total): 45
1797.03/1797.00 c backtracks : 1095105 (14.5%)
1797.03/1797.00 c delayed cutoffs : 184547
1797.03/1797.00 c repropagations : 6270464 (4529102 domain reductions, 167051 cutoffs)
1797.03/1797.00 c avg switch length: 5.41
1797.03/1797.00 c switching time : 466.79
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Root Iterations : 149
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488782-1307772534/watcher-3488782-1307772534 -o /tmp/evaluation-result-3488782-1307772534/solver-3488782-1307772534 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488782-1307772534.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31117
/proc/meminfo: memFree=31244064/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=14044 CPUtime=0 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 2276 0 0 0 0 0 0 0 25 0 1 0 888853201 14381056 2231 33554432000 4194304 9016284 140734384477824 18446744073709551615 7870589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 3511 2244 398 1178 0 2329 0
[startup+0.07332 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31117
/proc/meminfo: memFree=31244064/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=24032 CPUtime=0.06 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 7024 0 0 0 6 0 0 0 25 0 1 0 888853201 24608768 4980 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 6008 4980 681 1178 0 4826 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24032
[startup+0.100314 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31117
/proc/meminfo: memFree=31244064/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=24032 CPUtime=0.09 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 7026 0 0 0 8 1 0 0 25 0 1 0 888853201 24608768 4982 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 6008 4982 683 1178 0 4826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24032
[startup+0.300278 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31117
/proc/meminfo: memFree=31244064/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=24032 CPUtime=0.29 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 7028 0 0 0 24 5 0 0 25 0 1 0 888853201 24608768 4984 33554432000 4194304 9016284 140734384477824 18446744073709551615 5881751 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 6008 4984 684 1178 0 4826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24032
[startup+0.700208 s]
/proc/loadavg: 3.00 3.00 3.00 3/178 31117
/proc/meminfo: memFree=31244064/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=24032 CPUtime=0.69 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 7035 0 0 0 58 11 0 0 25 0 1 0 888853201 24608768 4991 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 6008 4991 684 1178 0 4826 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24032
[startup+1.50107 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31118
/proc/meminfo: memFree=31226472/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=24032 CPUtime=1.49 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 7043 0 0 0 126 23 0 0 25 0 1 0 888853201 24608768 4999 33554432000 4194304 9016284 140734384477824 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 6008 4999 684 1178 0 4826 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24032
[startup+3.10079 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31118
/proc/meminfo: memFree=31226232/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=25972 CPUtime=3.09 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 7448 0 0 0 267 42 0 0 25 0 1 0 888853201 26595328 5404 33554432000 4194304 9016284 140734384477824 18446744073709551615 7091824 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 6493 5404 684 1178 0 5311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25972
[startup+6.30022 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31118
/proc/meminfo: memFree=31218792/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=32124 CPUtime=6.29 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 9003 0 0 0 552 77 0 0 25 0 1 0 888853201 32894976 6959 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 8031 6959 684 1178 0 6849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32124
[startup+12.7011 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31118
/proc/meminfo: memFree=31207084/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=43488 CPUtime=12.69 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 11868 0 0 0 1127 142 0 0 25 0 1 0 888853201 44531712 9824 33554432000 4194304 9016284 140734384477824 18446744073709551615 7989328 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 10872 9824 684 1178 0 9690 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43488
[startup+25.5008 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31119
/proc/meminfo: memFree=31183968/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=60240 CPUtime=25.49 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 16127 0 0 0 2274 275 0 0 25 0 1 0 888853201 61685760 14083 33554432000 4194304 9016284 140734384477824 18446744073709551615 4847347 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 15060 14083 684 1178 0 13878 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60240
[startup+51.1004 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31119
/proc/meminfo: memFree=31146636/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=93440 CPUtime=51.09 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 24029 0 0 0 4602 507 0 0 25 0 1 0 888853201 95682560 21985 33554432000 4194304 9016284 140734384477824 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 23360 21985 684 1178 0 22178 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93440
[startup+102.306 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31121
/proc/meminfo: memFree=31080656/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=148784 CPUtime=102.29 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 38107 0 0 0 9325 904 0 0 25 0 1 0 888853201 152354816 36063 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 37196 36063 684 1178 0 36014 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 148784
[startup+162.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31122
/proc/meminfo: memFree=31014864/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=212644 CPUtime=162.29 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 53205 0 0 0 14900 1329 0 0 25 0 1 0 888853201 217747456 51161 33554432000 4194304 9016284 140734384477824 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 53161 51161 684 1178 0 51979 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 212644
[startup+222.301 s]
/proc/loadavg: 3.04 3.01 3.00 4/179 31124
/proc/meminfo: memFree=30947464/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=262064 CPUtime=222.3 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 65851 0 0 0 20484 1746 0 0 25 0 1 0 888853201 268353536 63807 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31117/statm: 65516 63807 684 1178 0 64334 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 262064
[startup+282.301 s]
/proc/loadavg: 3.02 3.01 3.00 4/179 31125
/proc/meminfo: memFree=30886400/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=312464 CPUtime=282.29 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 78683 0 0 0 26092 2137 0 0 25 0 1 0 888853201 319963136 76639 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 78116 76639 684 1178 0 76934 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 312464
[startup+342.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31127
/proc/meminfo: memFree=30826444/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=362232 CPUtime=342.3 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 91305 0 0 0 31716 2514 0 0 25 0 1 0 888853201 370925568 89261 33554432000 4194304 9016284 140734384477824 18446744073709551615 6522455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 90558 89261 684 1178 0 89376 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 362232
[startup+402.3 s]
/proc/loadavg: 3.03 3.01 3.00 4/179 31129
/proc/meminfo: memFree=30767968/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=417384 CPUtime=402.3 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 103236 0 0 0 37329 2901 0 0 25 0 1 0 888853201 427401216 101192 33554432000 4194304 9016284 140734384477824 18446744073709551615 6679984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 104346 101192 684 1178 0 103164 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 417384
[startup+462.301 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 31130
/proc/meminfo: memFree=30709476/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=465416 CPUtime=462.3 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 115362 0 0 0 42954 3276 0 0 25 0 1 0 888853201 476585984 113318 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 116354 113318 684 1178 0 115172 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 465416
[startup+522.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31170
/proc/meminfo: memFree=31019120/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=514564 CPUtime=522.3 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 128004 0 0 0 48549 3681 0 0 25 0 1 0 888853201 526913536 125960 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 128641 125960 684 1178 0 127459 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 514564
[startup+582.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31171
/proc/meminfo: memFree=30969448/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=559084 CPUtime=582.3 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 139231 0 0 0 54105 4125 0 0 25 0 1 0 888853201 572502016 137187 33554432000 4194304 9016284 140734384477824 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 139771 137187 684 1178 0 138589 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 559084
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 3.02 3.01 3.00 4/179 31178
/proc/meminfo: memFree=30778764/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=732876 CPUtime=822.31 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 183323 0 0 0 76460 5771 0 0 25 0 1 0 888853201 750465024 181279 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 183219 181279 684 1178 0 182037 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 732876
[startup+882.301 s]
/proc/loadavg: 3.07 3.02 3.00 4/179 31217
/proc/meminfo: memFree=30753360/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=776508 CPUtime=882.3 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 194505 0 0 0 82079 6151 0 0 25 0 1 0 888853201 795144192 192461 33554432000 4194304 9016284 140734384477824 18446744073709551615 6469475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 194127 192461 684 1178 0 192945 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 776508
[startup+942.301 s]
/proc/loadavg: 3.03 3.01 3.00 4/179 31219
/proc/meminfo: memFree=30608744/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=818396 CPUtime=942.31 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 205240 0 0 0 87690 6541 0 0 25 0 1 0 888853201 838037504 203196 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 204599 203196 684 1178 0 203417 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 818396
[startup+1002.3 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 31221
/proc/meminfo: memFree=30468772/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=861616 CPUtime=1002.31 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 216361 0 0 0 93302 6929 0 0 25 0 1 0 888853201 882294784 214317 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 215404 214317 684 1178 0 214222 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 861616
[startup+1062.3 s]
/proc/loadavg: 3.06 3.02 3.00 4/179 31222
/proc/meminfo: memFree=30341248/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=919552 CPUtime=1062.31 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 226679 0 0 0 98915 7316 0 0 25 0 1 0 888853201 941621248 224635 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 229888 224635 684 1178 0 228706 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 919552
[startup+1122.3 s]
/proc/loadavg: 3.02 3.01 3.00 4/179 31224
/proc/meminfo: memFree=30213092/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=962412 CPUtime=1122.31 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 237600 0 0 0 104513 7718 0 0 25 0 1 0 888853201 985509888 235556 33554432000 4194304 9016284 140734384477824 18446744073709551615 4347632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 240603 235556 684 1178 0 239421 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 962412
[startup+1182.3 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 31225
/proc/meminfo: memFree=30095216/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1000212 CPUtime=1182.31 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 247292 0 0 0 110105 8126 0 0 25 0 1 0 888853201 1024217088 245248 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 250053 245248 684 1178 0 248871 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1000212
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31227
/proc/meminfo: memFree=29966576/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1041964 CPUtime=1242.32 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 257616 0 0 0 115702 8530 0 0 25 0 1 0 888853201 1066971136 255572 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 260491 255572 684 1178 0 259309 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1041964
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31229
/proc/meminfo: memFree=29844996/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1084808 CPUtime=1302.32 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 268674 0 0 0 121307 8925 0 0 25 0 1 0 888853201 1110843392 266630 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 271202 266630 684 1178 0 270020 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1084808
[startup+1362.3 s]
/proc/loadavg: 3.03 3.01 3.00 4/179 31230
/proc/meminfo: memFree=29729968/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1120784 CPUtime=1362.32 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 277927 0 0 0 126918 9314 0 0 25 0 1 0 888853201 1147682816 275883 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 280196 275883 684 1178 0 279014 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1120784
[startup+1422.31 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 31232
/proc/meminfo: memFree=29612608/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1160244 CPUtime=1422.33 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 288008 0 0 0 132537 9696 0 0 25 0 1 0 888853201 1188089856 285964 33554432000 4194304 9016284 140734384477824 18446744073709551615 4321360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 290061 285964 684 1178 0 288879 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1160244
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31233
/proc/meminfo: memFree=29491148/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1204932 CPUtime=1482.32 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 299359 0 0 0 138140 10092 0 0 25 0 1 0 888853201 1233850368 297315 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 301233 297315 684 1178 0 300051 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1204932
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31235
/proc/meminfo: memFree=29378744/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1243940 CPUtime=1542.33 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 308881 0 0 0 143753 10480 0 0 25 0 1 0 888853201 1273794560 306837 33554432000 4194304 9016284 140734384477824 18446744073709551615 6679972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 310985 306837 684 1178 0 309803 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1243940
[startup+1602.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31237
/proc/meminfo: memFree=29261248/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1285828 CPUtime=1602.32 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 319604 0 0 0 149361 10871 0 0 25 0 1 0 888853201 1316687872 317560 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 321457 317560 684 1178 0 320275 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1285828
[startup+1662.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31238
/proc/meminfo: memFree=29153072/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1322060 CPUtime=1662.32 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 328920 0 0 0 154969 11263 0 0 25 0 1 0 888853201 1353789440 326876 33554432000 4194304 9016284 140734384477824 18446744073709551615 4347602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 330515 326876 684 1178 0 329333 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1322060
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31240
/proc/meminfo: memFree=29035700/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1365164 CPUtime=1722.33 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 339872 0 0 0 160593 11640 0 0 25 0 1 0 888853201 1397927936 337828 33554432000 4194304 9016284 140734384477824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 341291 337828 684 1178 0 340109 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1365164
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31241
/proc/meminfo: memFree=28929744/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1397312 CPUtime=1782.33 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 348196 0 0 0 166273 11960 0 0 25 0 1 0 888853201 1430847488 346152 33554432000 4194304 9016284 140734384477824 18446744073709551615 4330016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31117/statm: 349328 346152 684 1178 0 348146 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1397312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 31242
/proc/meminfo: memFree=28897484/32950928 swapFree=67055156/67111528
[pid=31117] ppid=31115 vsize=1406148 CPUtime=1800.04 cores=1,3,5,7
/proc/31117/stat : 31117 (scip-2.0.1.4b_2) R 31115 31117 30017 0 -1 4202496 350424 0 0 0 167968 12036 0 0 25 0 1 0 888853201 1439895552 348380 33554432000 4194304 9016284 140734384477824 18446744073709551615 4841978 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31117/statm: 351537 348380 685 1178 0 350355 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1406148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.1
CPU user time (s): 1679.68
CPU system time (s): 120.415
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1406148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1679.68
system time used= 120.415
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350424
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= 5
involuntary context switches= 17626
runsolver used 2.71359 second user time and 6.20906 second system time
The end