0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2693734-1277972318.wbo>
0.00/0.01 c original problem has 3274 variables (3212 bin, 0 int, 0 impl, 62 cont) and 223 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 62 impls, 46 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 62 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 62 impls, 46 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 62 chg bounds, 0 chg sides, 0 chg coeffs, 52 upgd conss, 62 impls, 46 clqs
0.00/0.02 c (round 4) 0 del vars, 1 del conss, 62 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 62 impls, 46 clqs
0.00/0.04 c (0.0s) probing: 101/3212 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 0 deleted vars, 1 deleted constraints, 62 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 62 implications, 46 cliques
0.00/0.04 c presolved problem has 3274 variables (3212 bin, 0 int, 0 impl, 62 cont) and 222 constraints
0.00/0.04 c 62 constraints of type <indicator>
0.00/0.04 c 46 constraints of type <setppc>
0.00/0.04 c 62 constraints of type <linear>
0.00/0.04 c 52 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1799.99
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 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.05 c 0.0s| 1 | 2 | 0 | - |6415k| 0 | - |3274 | 222 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.42 c 2.2s| 10000 | 9936 | 0 | 0.0 |9870k|1849 | - |3274 | 347 | 0 | 0 | 0 | 195 | 0 | 0.000000e+00 | -- | Inf
4.89/4.97 c 4.6s| 20000 | 19887 | 0 | 0.0 | 13M|1849 | - |3274 | 334 | 0 | 0 | 0 | 428 | 0 | 0.000000e+00 | -- | Inf
7.70/7.74 c 7.2s| 30000 | 29853 | 0 | 0.0 | 15M|1849 | - |3274 | 387 | 0 | 0 | 0 | 622 | 0 | 0.000000e+00 | -- | Inf
10.48/10.50 c 9.8s| 40000 | 39819 | 0 | 0.0 | 18M|1849 | - |3274 | 375 | 0 | 0 | 0 | 819 | 0 | 0.000000e+00 | -- | Inf
13.19/13.29 c 12.4s| 50000 | 49770 | 0 | 0.0 | 21M|1849 | - |3274 | 473 | 0 | 0 | 0 |1083 | 0 | 0.000000e+00 | -- | Inf
16.09/16.19 c 15.1s| 60000 | 59703 | 0 | 0.0 | 24M|1849 | - |3274 | 499 | 0 | 0 | 0 |1450 | 0 | 0.000000e+00 | -- | Inf
19.09/19.11 c 17.8s| 70000 | 69638 | 0 | 0.0 | 27M|1849 | - |3274 | 504 | 0 | 0 | 0 |1798 | 0 | 0.000000e+00 | -- | Inf
22.00/22.00 c 20.6s| 80000 | 79589 | 0 | 0.0 | 30M|1849 | - |3274 | 525 | 0 | 0 | 0 |2074 | 0 | 0.000000e+00 | -- | Inf
24.89/24.91 c 23.3s| 90000 | 89528 | 0 | 0.0 | 33M|1849 | - |3274 | 578 | 0 | 0 | 0 |2401 | 0 | 0.000000e+00 | -- | Inf
27.69/27.78 c 26.0s|100000 | 99475 | 0 | 0.0 | 36M|1849 | - |3274 | 596 | 0 | 0 | 0 |2681 | 0 | 0.000000e+00 | -- | Inf
30.59/30.64 c 28.6s|110000 |109410 | 0 | 0.0 | 39M|1849 | - |3274 | 636 | 0 | 0 | 0 |3020 | 0 | 0.000000e+00 | -- | Inf
33.39/33.46 c 31.3s|120000 |119352 | 0 | 0.0 | 42M|1849 | - |3274 | 631 | 0 | 0 | 0 |3339 | 0 | 0.000000e+00 | -- | Inf
36.19/36.27 c 33.9s|130000 |129291 | 0 | 0.0 | 45M|1849 | - |3274 | 678 | 0 | 0 | 0 |3662 | 0 | 0.000000e+00 | -- | Inf
38.99/39.07 c 36.5s|140000 |139219 | 0 | 0.0 | 48M|1849 | - |3274 | 768 | 0 | 0 | 0 |4059 | 0 | 0.000000e+00 | -- | Inf
41.80/41.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.80/41.85 c 39.1s|150000 |149159 | 0 | 0.0 | 51M|1849 | - |3274 | 780 | 0 | 0 | 0 |4402 | 0 | 0.000000e+00 | -- | Inf
44.59/44.61 c 41.7s|160000 |159090 | 0 | 0.0 | 54M|1849 | - |3274 | 769 | 0 | 0 | 0 |4781 | 0 | 0.000000e+00 | -- | Inf
47.29/47.37 c 44.3s|170000 |169002 | 0 | 0.0 | 57M|1849 | - |3274 | 808 | 0 | 0 | 0 |5228 | 0 | 0.000000e+00 | -- | Inf
49.99/50.08 c 46.8s|180000 |178923 | 0 | 0.0 | 60M|1849 | - |3274 | 857 | 0 | 0 | 0 |5628 | 0 | 0.000000e+00 | -- | Inf
52.79/52.82 c 49.4s|190000 |188847 | 0 | 0.0 | 63M|1849 | - |3274 | 818 | 0 | 0 | 0 |6018 | 0 | 0.000000e+00 | -- | Inf
55.49/55.53 c 51.9s|200000 |198772 | 0 | 0.0 | 66M|1849 | - |3274 | 835 | 0 | 0 | 0 |6426 | 0 | 0.000000e+00 | -- | Inf
58.09/58.20 c 54.4s|210000 |208688 | 0 | 0.0 | 69M|1849 | - |3274 | 828 | 0 | 0 | 0 |6856 | 0 | 0.000000e+00 | -- | Inf
60.79/60.87 c 56.9s|220000 |218606 | 0 | 0.0 | 72M|1849 | - |3274 | 829 | 0 | 0 | 0 |7273 | 0 | 0.000000e+00 | -- | Inf
63.49/63.52 c 59.3s|230000 |228522 | 0 | 0.0 | 75M|1849 | - |3274 | 883 | 0 | 0 | 0 |7730 | 0 | 0.000000e+00 | -- | Inf
66.10/66.17 c 61.8s|240000 |238429 | 0 | 0.0 | 78M|1849 | - |3274 | 885 | 0 | 0 | 0 |8214 | 0 | 0.000000e+00 | -- | Inf
68.79/68.82 c 64.3s|250000 |248334 | 0 | 0.0 | 81M|1849 | - |3274 | 902 | 0 | 0 | 0 |8721 | 0 | 0.000000e+00 | -- | Inf
71.40/71.46 c 66.7s|260000 |258248 | 0 | 0.0 | 84M|1849 | - |3274 | 906 | 0 | 0 | 0 |9177 | 0 | 0.000000e+00 | -- | Inf
73.99/74.07 c 69.2s|270000 |268162 | 0 | 0.0 | 87M|1849 | - |3274 | 904 | 0 | 0 | 0 |9636 | 0 | 0.000000e+00 | -- | Inf
76.70/76.70 c 71.6s|280000 |278069 | 0 | 0.0 | 91M|1849 | - |3274 | 968 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
79.29/79.31 c 74.1s|290000 |287959 | 0 | 0.0 | 94M|1849 | - |3274 |1000 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
81.89/81.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.89/81.94 c 76.5s|300000 |297847 | 0 | 0.0 | 97M|1849 | - |3274 |1007 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
84.49/84.55 c 78.9s|310000 |307730 | 0 | 0.0 | 100M|1849 | - |3274 |1006 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
87.09/87.17 c 81.4s|320000 |317606 | 0 | 0.0 | 103M|1849 | - |3274 |1060 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
89.69/89.73 c 83.7s|330000 |327514 | 0 | 0.0 | 107M|1849 | - |3274 |1014 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
92.30/92.31 c 86.2s|340000 |337411 | 0 | 0.0 | 110M|1849 | - |3274 |1046 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
94.90/94.91 c 88.6s|350000 |347301 | 0 | 0.0 | 113M|1849 | - |3274 | 994 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
97.60/97.67 c 91.1s|360000 |357157 | 0 | 0.0 | 117M|1849 | - |3274 |1003 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
100.50/100.52 c 93.8s|370000 |366997 | 0 | 0.0 | 120M|1849 | - |3274 | 971 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
103.30/103.33 c 96.4s|380000 |376848 | 0 | 0.0 | 124M|1849 | - |3274 | 977 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
106.09/106.11 c 99.0s|390000 |386677 | 0 | 0.0 | 128M|1849 | - |3274 | 996 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
108.80/108.84 c 102s|400000 |396536 | 0 | 0.0 | 131M|1849 | - |3274 | 958 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
111.49/111.51 c 104s|410000 |406388 | 0 | 0.0 | 135M|1849 | - |3274 | 972 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
114.10/114.17 c 106s|420000 |416224 | 0 | 0.0 | 139M|1849 | - |3274 | 966 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
116.69/116.77 c 109s|430000 |426071 | 0 | 0.0 | 142M|1849 | - |3274 | 948 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
119.29/119.35 c 111s|440000 |435918 | 0 | 0.0 | 146M|1849 | - |3274 | 966 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
121.90/121.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.90/121.91 c 114s|450000 |445745 | 0 | 0.0 | 150M|1849 | - |3274 | 977 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
124.40/124.44 c 116s|460000 |455586 | 0 | 0.0 | 153M|1849 | - |3274 | 954 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
126.90/126.94 c 118s|470000 |465408 | 0 | 0.0 | 157M|1849 | - |3274 | 981 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
129.29/129.38 c 121s|480000 |475252 | 0 | 0.0 | 161M|1849 | - |3274 | 972 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
131.79/131.80 c 123s|490000 |485090 | 0 | 0.0 | 164M|1849 | - |3274 | 986 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
134.09/134.17 c 125s|500000 |494919 | 0 | 0.0 | 168M|1849 | - |3274 | 972 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
136.40/136.48 c 127s|510000 |504722 | 0 | 0.0 | 172M|1849 | - |3274 |1043 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
138.69/138.78 c 129s|520000 |514512 | 0 | 0.0 | 176M|1849 | - |3274 |1061 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
140.99/141.01 c 131s|530000 |524280 | 0 | 0.0 | 180M|1849 | - |3274 |1204 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
143.09/143.16 c 133s|540000 |533972 | 0 | 0.0 | 184M|1849 | - |3274 |1535 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
145.20/145.25 c 135s|550000 |543499 | 0 | 0.0 | 189M|1849 | - |3274 |2090 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
147.30/147.36 c 137s|560000 |552737 | 0 | 0.0 | 196M|1849 | - |3274 |3036 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
150.09/150.15 c 140s|570000 |562129 | 0 | 0.0 | 200M|1849 | - |3274 |1507 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
152.90/152.94 c 142s|580000 |572084 | 0 | 0.0 | 202M|1849 | - |3274 | 965 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
155.70/155.74 c 145s|590000 |582022 | 0 | 0.0 | 205M|1849 | - |3274 | 844 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
158.59/158.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.59/158.64 c 148s|600000 |591944 | 0 | 0.0 | 208M|1849 | - |3274 | 856 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
161.49/161.50 c 150s|610000 |601890 | 0 | 0.0 | 210M|1849 | - |3274 | 808 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
164.30/164.37 c 153s|620000 |611830 | 0 | 0.0 | 213M|1849 | - |3274 | 799 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
167.20/167.23 c 156s|630000 |621778 | 0 | 0.0 | 216M|1849 | - |3274 | 786 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
170.09/170.10 c 158s|640000 |631710 | 0 | 0.0 | 219M|1849 | - |3274 | 774 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
172.90/172.97 c 161s|650000 |641647 | 0 | 0.0 | 222M|1849 | - |3274 | 751 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
175.80/175.86 c 164s|660000 |651601 | 0 | 0.0 | 225M|1849 | - |3274 | 759 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
178.70/178.77 c 166s|670000 |661546 | 0 | 0.0 | 228M|1849 | - |3274 | 755 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
181.59/181.65 c 169s|680000 |671499 | 0 | 0.0 | 231M|1849 | - |3274 | 759 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
184.50/184.52 c 172s|690000 |681458 | 0 | 0.0 | 233M|1849 | - |3274 | 705 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
187.40/187.40 c 174s|700000 |691408 | 0 | 0.0 | 236M|1849 | - |3274 | 655 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
190.20/190.27 c 177s|710000 |701354 | 0 | 0.0 | 239M|1849 | - |3274 | 679 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
193.10/193.16 c 180s|720000 |711294 | 0 | 0.0 | 242M|1849 | - |3274 | 702 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
196.00/196.04 c 183s|730000 |721241 | 0 | 0.0 | 245M|1849 | - |3274 | 717 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
198.89/198.92 c 185s|740000 |731186 | 0 | 0.0 | 248M|1849 | - |3274 | 720 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
201.80/201.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.80/201.80 c 188s|750000 |741134 | 0 | 0.0 | 251M|1849 | - |3274 | 685 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
204.61/204.69 c 191s|760000 |751084 | 0 | 0.0 | 254M|1849 | - |3274 | 673 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
207.50/207.57 c 193s|770000 |761030 | 0 | 0.0 | 256M|1849 | - |3274 | 703 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
210.40/210.44 c 196s|780000 |770982 | 0 | 0.0 | 259M|1849 | - |3274 | 653 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
213.30/213.30 c 199s|790000 |780932 | 0 | 0.0 | 262M|1849 | - |3274 | 677 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
216.09/216.18 c 201s|800000 |790873 | 0 | 0.0 | 265M|1849 | - |3274 | 657 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
219.00/219.04 c 204s|810000 |800816 | 0 | 0.0 | 268M|1849 | - |3274 | 665 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
221.90/221.93 c 207s|820000 |810760 | 0 | 0.0 | 271M|1849 | - |3274 | 681 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
224.80/224.83 c 210s|830000 |820700 | 0 | 0.0 | 274M|1849 | - |3274 | 684 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
227.60/227.69 c 212s|840000 |830652 | 0 | 0.0 | 276M|1849 | - |3274 | 730 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
230.49/230.54 c 215s|850000 |840596 | 0 | 0.0 | 279M|1849 | - |3274 | 712 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
233.40/233.41 c 218s|860000 |850535 | 0 | 0.0 | 282M|1849 | - |3274 | 715 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
236.19/236.29 c 220s|870000 |860480 | 0 | 0.0 | 285M|1849 | - |3274 | 714 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
239.10/239.18 c 223s|880000 |870433 | 0 | 0.0 | 288M|1849 | - |3274 | 711 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
242.00/242.08 c 226s|890000 |880378 | 0 | 0.0 | 291M|1849 | - |3274 | 762 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
244.89/244.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.89/244.96 c 228s|900000 |890326 | 0 | 0.0 | 294M|1849 | - |3274 | 733 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
247.79/247.86 c 231s|910000 |900271 | 0 | 0.0 | 296M|1849 | - |3274 | 751 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
250.70/250.77 c 234s|920000 |910203 | 0 | 0.0 | 299M|1849 | - |3274 | 791 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
253.60/253.66 c 237s|930000 |920148 | 0 | 0.0 | 302M|1849 | - |3274 | 778 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
256.50/256.54 c 239s|940000 |930092 | 0 | 0.0 | 305M|1849 | - |3274 | 780 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
259.40/259.42 c 242s|950000 |940051 | 0 | 0.0 | 308M|1849 | - |3274 | 760 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
262.30/262.31 c 245s|960000 |949995 | 0 | 0.0 | 311M|1849 | - |3274 | 791 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
265.11/265.19 c 247s|970000 |959948 | 0 | 0.0 | 314M|1849 | - |3274 | 763 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
268.00/268.07 c 250s|980000 |969895 | 0 | 0.0 | 316M|1849 | - |3274 | 746 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
270.90/270.97 c 253s|990000 |979848 | 0 | 0.0 | 319M|1849 | - |3274 | 762 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
273.80/273.84 c 255s| 1000k|989801 | 0 | 0.0 | 322M|1849 | - |3274 | 726 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
276.70/276.72 c 258s| 1010k|999751 | 0 | 0.0 | 325M|1849 | - |3274 | 735 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
279.59/279.63 c 261s| 1020k| 1009k| 0 | 0.0 | 328M|1849 | - |3274 | 720 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
282.49/282.55 c 264s| 1030k| 1019k| 0 | 0.0 | 331M|1849 | - |3274 | 753 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
285.40/285.42 c 266s| 1040k| 1029k| 0 | 0.0 | 334M|1849 | - |3274 | 723 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
288.30/288.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.30/288.31 c 269s| 1050k| 1039k| 0 | 0.0 | 336M|1849 | - |3274 | 716 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
291.10/291.19 c 272s| 1060k| 1049k| 0 | 0.0 | 339M|1849 | - |3274 | 722 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
294.00/294.08 c 274s| 1070k| 1059k| 0 | 0.0 | 342M|1849 | - |3274 | 717 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
296.90/296.97 c 277s| 1080k| 1069k| 0 | 0.0 | 345M|1849 | - |3274 | 724 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
299.79/299.85 c 280s| 1090k| 1079k| 0 | 0.0 | 348M|1849 | - |3274 | 704 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
302.70/302.76 c 283s| 1100k| 1089k| 0 | 0.0 | 351M|1849 | - |3274 | 726 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
305.60/305.64 c 285s| 1110k| 1099k| 0 | 0.0 | 353M|1849 | - |3274 | 706 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
308.50/308.52 c 288s| 1120k| 1109k| 0 | 0.0 | 356M|1849 | - |3274 | 731 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
311.30/311.38 c 291s| 1130k| 1119k| 0 | 0.0 | 359M|1849 | - |3274 | 748 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
314.20/314.24 c 293s| 1140k| 1129k| 0 | 0.0 | 362M|1849 | - |3274 | 709 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
317.10/317.15 c 296s| 1150k| 1138k| 0 | 0.0 | 365M|1849 | - |3274 | 779 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
320.00/320.02 c 299s| 1160k| 1148k| 0 | 0.0 | 368M|1849 | - |3274 | 760 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
322.90/322.90 c 301s| 1170k| 1158k| 0 | 0.0 | 370M|1849 | - |3274 | 743 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
325.70/325.77 c 304s| 1180k| 1168k| 0 | 0.0 | 373M|1849 | - |3274 | 799 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
328.60/328.66 c 307s| 1190k| 1178k| 0 | 0.0 | 376M|1849 | - |3274 | 781 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
331.50/331.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.50/331.56 c 310s| 1200k| 1188k| 0 | 0.0 | 379M|1849 | - |3274 | 787 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
334.40/334.42 c 312s| 1210k| 1198k| 0 | 0.0 | 382M|1849 | - |3274 | 786 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
337.20/337.27 c 315s| 1220k| 1208k| 0 | 0.0 | 385M|1849 | - |3274 | 750 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
340.10/340.13 c 318s| 1230k| 1218k| 0 | 0.0 | 388M|1849 | - |3274 | 799 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
343.00/343.01 c 320s| 1240k| 1228k| 0 | 0.0 | 390M|1849 | - |3274 | 798 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
345.80/345.87 c 323s| 1250k| 1238k| 0 | 0.0 | 393M|1849 | - |3274 | 806 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
348.70/348.79 c 326s| 1260k| 1248k| 0 | 0.0 | 396M|1849 | - |3274 | 798 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
351.60/351.67 c 328s| 1270k| 1258k| 0 | 0.0 | 399M|1849 | - |3274 | 810 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
354.50/354.54 c 331s| 1280k| 1268k| 0 | 0.0 | 402M|1849 | - |3274 | 867 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
357.41/357.41 c 334s| 1290k| 1278k| 0 | 0.0 | 405M|1849 | - |3274 | 812 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
360.20/360.27 c 336s| 1300k| 1288k| 0 | 0.0 | 407M|1849 | - |3274 | 828 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
363.10/363.18 c 339s| 1310k| 1298k| 0 | 0.0 | 410M|1849 | - |3274 | 864 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
366.00/366.05 c 342s| 1320k| 1308k| 0 | 0.0 | 413M|1849 | - |3274 | 851 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
368.90/368.96 c 345s| 1330k| 1317k| 0 | 0.0 | 416M|1849 | - |3274 | 881 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
371.81/371.83 c 347s| 1340k| 1327k| 0 | 0.0 | 419M|1849 | - |3274 | 887 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
374.70/374.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.70/374.70 c 350s| 1350k| 1337k| 0 | 0.0 | 422M|1849 | - |3274 | 870 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
377.50/377.56 c 353s| 1360k| 1347k| 0 | 0.0 | 425M|1849 | - |3274 | 843 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
380.40/380.44 c 355s| 1370k| 1357k| 0 | 0.0 | 427M|1849 | - |3274 | 852 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
383.30/383.30 c 358s| 1380k| 1367k| 0 | 0.0 | 430M|1849 | - |3274 | 812 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
386.11/386.18 c 361s| 1390k| 1377k| 0 | 0.0 | 433M|1849 | - |3274 | 812 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
389.00/389.03 c 363s| 1400k| 1387k| 0 | 0.0 | 436M|1849 | - |3274 | 827 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
391.80/391.89 c 366s| 1410k| 1397k| 0 | 0.0 | 439M|1849 | - |3274 | 794 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
394.70/394.75 c 369s| 1420k| 1407k| 0 | 0.0 | 442M|1849 | - |3274 | 761 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
397.60/397.62 c 371s| 1430k| 1417k| 0 | 0.0 | 445M|1849 | - |3274 | 787 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
400.40/400.48 c 374s| 1440k| 1427k| 0 | 0.0 | 448M|1849 | - |3274 | 827 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
403.30/403.34 c 377s| 1450k| 1437k| 0 | 0.0 | 450M|1849 | - |3274 | 745 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
406.11/406.19 c 379s| 1460k| 1447k| 0 | 0.0 | 453M|1849 | - |3274 | 760 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
409.00/409.05 c 382s| 1470k| 1457k| 0 | 0.0 | 456M|1849 | - |3274 | 749 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
411.90/411.91 c 385s| 1480k| 1467k| 0 | 0.0 | 459M|1849 | - |3274 | 726 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
414.71/414.79 c 387s| 1490k| 1477k| 0 | 0.0 | 462M|1849 | - |3274 | 739 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
417.61/417.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.61/417.64 c 390s| 1500k| 1487k| 0 | 0.0 | 465M|1849 | - |3274 | 762 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
420.40/420.49 c 393s| 1510k| 1497k| 0 | 0.0 | 468M|1849 | - |3274 | 751 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
423.31/423.38 c 395s| 1520k| 1506k| 0 | 0.0 | 470M|1849 | - |3274 | 753 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
426.21/426.25 c 398s| 1530k| 1516k| 0 | 0.0 | 473M|1849 | - |3274 | 782 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
429.11/429.15 c 401s| 1540k| 1526k| 0 | 0.0 | 476M|1849 | - |3274 | 813 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
431.90/431.99 c 404s| 1550k| 1536k| 0 | 0.0 | 479M|1849 | - |3274 | 768 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
434.80/434.86 c 406s| 1560k| 1546k| 0 | 0.0 | 482M|1849 | - |3274 | 764 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
437.71/437.76 c 409s| 1570k| 1556k| 0 | 0.0 | 485M|1849 | - |3274 | 763 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
440.61/440.61 c 412s| 1580k| 1566k| 0 | 0.0 | 488M|1849 | - |3274 | 770 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
443.40/443.47 c 414s| 1590k| 1576k| 0 | 0.0 | 491M|1849 | - |3274 | 783 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
446.20/446.29 c 417s| 1600k| 1586k| 0 | 0.0 | 493M|1849 | - |3274 | 771 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
449.11/449.16 c 420s| 1610k| 1596k| 0 | 0.0 | 496M|1849 | - |3274 | 806 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
451.90/452.00 c 422s| 1620k| 1606k| 0 | 0.0 | 499M|1849 | - |3274 | 764 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
454.81/454.88 c 425s| 1630k| 1616k| 0 | 0.0 | 502M|1849 | - |3274 | 788 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
457.71/457.73 c 428s| 1640k| 1626k| 0 | 0.0 | 505M|1849 | - |3274 | 738 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
460.51/460.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.51/460.59 c 430s| 1650k| 1636k| 0 | 0.0 | 508M|1849 | - |3274 | 745 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
463.40/463.45 c 433s| 1660k| 1646k| 0 | 0.0 | 511M|1849 | - |3274 | 724 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
466.31/466.38 c 436s| 1670k| 1656k| 0 | 0.0 | 514M|1849 | - |3274 | 792 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
469.20/469.25 c 438s| 1680k| 1666k| 0 | 0.0 | 517M|1849 | - |3274 | 699 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
472.11/472.13 c 441s| 1690k| 1675k| 0 | 0.0 | 519M|1849 | - |3274 | 718 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
475.01/475.06 c 444s| 1700k| 1685k| 0 | 0.0 | 522M|1849 | - |3274 | 721 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
477.90/477.92 c 446s| 1710k| 1695k| 0 | 0.0 | 525M|1849 | - |3274 | 703 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
480.81/480.83 c 449s| 1720k| 1705k| 0 | 0.0 | 528M|1849 | - |3274 | 738 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
483.71/483.70 c 452s| 1730k| 1715k| 0 | 0.0 | 531M|1849 | - |3274 | 675 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
486.51/486.59 c 455s| 1740k| 1725k| 0 | 0.0 | 534M|1849 | - |3274 | 715 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
489.41/489.46 c 457s| 1750k| 1735k| 0 | 0.0 | 537M|1849 | - |3274 | 774 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
492.30/492.30 c 460s| 1760k| 1745k| 0 | 0.0 | 539M|1849 | - |3274 | 728 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
495.11/495.16 c 463s| 1770k| 1755k| 0 | 0.0 | 542M|1849 | - |3274 | 746 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
498.01/498.00 c 465s| 1780k| 1765k| 0 | 0.0 | 545M|1849 | - |3274 | 714 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
500.81/500.87 c 468s| 1790k| 1775k| 0 | 0.0 | 548M|1849 | - |3274 | 747 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
503.72/503.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.72/503.73 c 471s| 1800k| 1785k| 0 | 0.0 | 551M|1849 | - |3274 | 767 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
506.60/506.63 c 473s| 1810k| 1795k| 0 | 0.0 | 554M|1849 | - |3274 | 749 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
509.40/509.49 c 476s| 1820k| 1805k| 0 | 0.0 | 557M|1849 | - |3274 | 712 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
512.30/512.34 c 479s| 1830k| 1815k| 0 | 0.0 | 560M|1849 | - |3274 | 693 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
515.20/515.23 c 481s| 1840k| 1825k| 0 | 0.0 | 563M|1849 | - |3274 | 719 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
518.01/518.07 c 484s| 1850k| 1835k| 0 | 0.0 | 565M|1849 | - |3274 | 711 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
520.91/520.96 c 487s| 1860k| 1845k| 0 | 0.0 | 568M|1849 | - |3274 | 669 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
523.81/523.80 c 489s| 1870k| 1855k| 0 | 0.0 | 571M|1849 | - |3274 | 677 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
526.60/526.65 c 492s| 1880k| 1864k| 0 | 0.0 | 574M|1849 | - |3274 | 685 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
529.50/529.51 c 495s| 1890k| 1874k| 0 | 0.0 | 577M|1849 | - |3274 | 695 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
532.42/532.40 c 497s| 1900k| 1884k| 0 | 0.0 | 580M|1849 | - |3274 | 746 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
535.21/535.27 c 500s| 1910k| 1894k| 0 | 0.0 | 583M|1849 | - |3274 | 799 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
538.10/538.10 c 503s| 1920k| 1904k| 0 | 0.0 | 586M|1849 | - |3274 | 737 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
540.91/540.97 c 505s| 1930k| 1914k| 0 | 0.0 | 589M|1849 | - |3274 | 768 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
543.81/543.85 c 508s| 1940k| 1924k| 0 | 0.0 | 591M|1849 | - |3274 | 774 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
546.71/546.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.71/546.73 c 511s| 1950k| 1934k| 0 | 0.0 | 594M|1849 | - |3274 | 739 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
549.61/549.60 c 514s| 1960k| 1944k| 0 | 0.0 | 597M|1849 | - |3274 | 748 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
552.41/552.44 c 516s| 1970k| 1954k| 0 | 0.0 | 600M|1849 | - |3274 | 784 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
555.31/555.30 c 519s| 1980k| 1964k| 0 | 0.0 | 603M|1849 | - |3274 | 757 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
558.11/558.14 c 521s| 1990k| 1974k| 0 | 0.0 | 606M|1849 | - |3274 | 788 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
560.91/560.99 c 524s| 2000k| 1984k| 0 | 0.0 | 609M|1849 | - |3274 | 831 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
563.81/563.85 c 527s| 2010k| 1994k| 0 | 0.0 | 612M|1849 | - |3274 | 770 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
566.70/566.76 c 530s| 2020k| 2004k| 0 | 0.0 | 614M|1849 | - |3274 | 749 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
569.61/569.64 c 532s| 2030k| 2014k| 0 | 0.0 | 617M|1849 | - |3274 | 772 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
572.51/572.52 c 535s| 2040k| 2024k| 0 | 0.0 | 620M|1849 | - |3274 | 709 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
575.40/575.43 c 538s| 2050k| 2034k| 0 | 0.0 | 623M|1849 | - |3274 | 724 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
578.31/578.35 c 540s| 2060k| 2043k| 0 | 0.0 | 626M|1849 | - |3274 | 718 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
581.21/581.23 c 543s| 2070k| 2053k| 0 | 0.0 | 629M|1849 | - |3274 | 730 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
584.11/584.12 c 546s| 2080k| 2063k| 0 | 0.0 | 632M|1849 | - |3274 | 730 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
586.91/586.98 c 549s| 2090k| 2073k| 0 | 0.0 | 634M|1849 | - |3274 | 757 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
589.81/589.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.81/589.83 c 551s| 2100k| 2083k| 0 | 0.0 | 637M|1849 | - |3274 | 748 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
592.61/592.67 c 554s| 2110k| 2093k| 0 | 0.0 | 640M|1849 | - |3274 | 726 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
595.51/595.50 c 557s| 2120k| 2103k| 0 | 0.0 | 643M|1849 | - |3274 | 695 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
598.31/598.38 c 559s| 2130k| 2113k| 0 | 0.0 | 646M|1849 | - |3274 | 741 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
601.21/601.21 c 562s| 2140k| 2123k| 0 | 0.0 | 649M|1849 | - |3274 | 738 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
604.01/604.04 c 564s| 2150k| 2133k| 0 | 0.0 | 652M|1849 | - |3274 | 794 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
606.81/606.86 c 567s| 2160k| 2143k| 0 | 0.0 | 655M|1849 | - |3274 | 814 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
609.71/609.72 c 570s| 2170k| 2153k| 0 | 0.0 | 657M|1849 | - |3274 | 822 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
612.51/612.55 c 572s| 2180k| 2163k| 0 | 0.0 | 660M|1849 | - |3274 | 839 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
615.31/615.39 c 575s| 2190k| 2173k| 0 | 0.0 | 663M|1849 | - |3274 | 824 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
618.22/618.26 c 578s| 2200k| 2183k| 0 | 0.0 | 666M|1849 | - |3274 | 882 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
621.11/621.14 c 580s| 2210k| 2193k| 0 | 0.0 | 669M|1849 | - |3274 | 897 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
624.01/624.00 c 583s| 2220k| 2203k| 0 | 0.0 | 672M|1849 | - |3274 | 832 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
626.81/626.87 c 586s| 2230k| 2213k| 0 | 0.0 | 675M|1849 | - |3274 | 835 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
629.71/629.72 c 588s| 2240k| 2222k| 0 | 0.0 | 678M|1849 | - |3274 | 803 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
632.61/632.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.61/632.60 c 591s| 2250k| 2232k| 0 | 0.0 | 681M|1849 | - |3274 | 838 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
635.41/635.47 c 594s| 2260k| 2242k| 0 | 0.0 | 683M|1849 | - |3274 | 820 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
638.31/638.33 c 596s| 2270k| 2252k| 0 | 0.0 | 686M|1849 | - |3274 | 829 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
641.11/641.16 c 599s| 2280k| 2262k| 0 | 0.0 | 689M|1849 | - |3274 | 772 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
644.02/644.01 c 602s| 2290k| 2272k| 0 | 0.0 | 692M|1849 | - |3274 | 785 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
646.81/646.87 c 604s| 2300k| 2282k| 0 | 0.0 | 695M|1849 | - |3274 | 781 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
649.71/649.71 c 607s| 2310k| 2292k| 0 | 0.0 | 698M|1849 | - |3274 | 746 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
652.61/652.61 c 610s| 2320k| 2302k| 0 | 0.0 | 701M|1849 | - |3274 | 821 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
655.41/655.46 c 612s| 2330k| 2312k| 0 | 0.0 | 704M|1849 | - |3274 | 791 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
658.31/658.32 c 615s| 2340k| 2322k| 0 | 0.0 | 706M|1849 | - |3274 | 781 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
661.21/661.25 c 618s| 2350k| 2332k| 0 | 0.0 | 709M|1849 | - |3274 | 811 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
664.11/664.11 c 621s| 2360k| 2342k| 0 | 0.0 | 712M|1849 | - |3274 | 802 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
667.02/667.06 c 623s| 2370k| 2352k| 0 | 0.0 | 715M|1849 | - |3274 | 862 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
669.92/669.95 c 626s| 2380k| 2362k| 0 | 0.0 | 718M|1849 | - |3274 | 834 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
672.81/672.85 c 629s| 2390k| 2372k| 0 | 0.0 | 721M|1849 | - |3274 | 844 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
675.72/675.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.72/675.73 c 631s| 2400k| 2381k| 0 | 0.0 | 724M|1849 | - |3274 | 858 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
678.51/678.57 c 634s| 2410k| 2391k| 0 | 0.0 | 726M|1849 | - |3274 | 854 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
681.41/681.44 c 637s| 2420k| 2401k| 0 | 0.0 | 729M|1849 | - |3274 | 868 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
684.31/684.30 c 639s| 2430k| 2411k| 0 | 0.0 | 732M|1849 | - |3274 | 850 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
687.11/687.13 c 642s| 2440k| 2421k| 0 | 0.0 | 735M|1849 | - |3274 | 839 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
690.01/690.01 c 645s| 2450k| 2431k| 0 | 0.0 | 738M|1849 | - |3274 | 855 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
692.81/692.87 c 647s| 2460k| 2441k| 0 | 0.0 | 741M|1849 | - |3274 | 821 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
695.71/695.73 c 650s| 2470k| 2451k| 0 | 0.0 | 744M|1849 | - |3274 | 860 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
698.61/698.66 c 653s| 2480k| 2461k| 0 | 0.0 | 747M|1849 | - |3274 | 846 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
701.51/701.51 c 656s| 2490k| 2471k| 0 | 0.0 | 750M|1849 | - |3274 | 839 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
704.42/704.40 c 658s| 2500k| 2481k| 0 | 0.0 | 752M|1849 | - |3274 | 808 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
707.21/707.28 c 661s| 2510k| 2491k| 0 | 0.0 | 755M|1849 | - |3274 | 798 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
710.12/710.16 c 664s| 2520k| 2501k| 0 | 0.0 | 758M|1849 | - |3274 | 833 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
713.02/713.03 c 666s| 2530k| 2511k| 0 | 0.0 | 761M|1849 | - |3274 | 804 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
715.81/715.89 c 669s| 2540k| 2521k| 0 | 0.0 | 764M|1849 | - |3274 | 780 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
718.71/718.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.71/718.73 c 672s| 2550k| 2531k| 0 | 0.0 | 767M|1849 | - |3274 | 821 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
721.62/721.62 c 674s| 2560k| 2541k| 0 | 0.0 | 770M|1849 | - |3274 | 866 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
724.42/724.47 c 677s| 2570k| 2551k| 0 | 0.0 | 773M|1849 | - |3274 | 827 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
727.32/727.33 c 680s| 2580k| 2560k| 0 | 0.0 | 775M|1849 | - |3274 | 818 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
730.21/730.23 c 682s| 2590k| 2570k| 0 | 0.0 | 778M|1849 | - |3274 | 860 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
733.02/733.09 c 685s| 2600k| 2580k| 0 | 0.0 | 781M|1849 | - |3274 | 773 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
735.92/735.94 c 688s| 2610k| 2590k| 0 | 0.0 | 784M|1849 | - |3274 | 800 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
738.81/738.83 c 691s| 2620k| 2600k| 0 | 0.0 | 787M|1849 | - |3274 | 799 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
741.62/741.68 c 693s| 2630k| 2610k| 0 | 0.0 | 790M|1849 | - |3274 | 807 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
744.52/744.54 c 696s| 2640k| 2620k| 0 | 0.0 | 793M|1849 | - |3274 | 785 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
747.42/747.42 c 699s| 2650k| 2630k| 0 | 0.0 | 795M|1849 | - |3274 | 794 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
750.22/750.29 c 701s| 2660k| 2640k| 0 | 0.0 | 798M|1849 | - |3274 | 760 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
753.12/753.15 c 704s| 2670k| 2650k| 0 | 0.0 | 801M|1849 | - |3274 | 759 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
755.92/755.99 c 707s| 2680k| 2660k| 0 | 0.0 | 804M|1849 | - |3274 | 721 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
758.82/758.83 c 709s| 2690k| 2670k| 0 | 0.0 | 807M|1849 | - |3274 | 747 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
761.71/761.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.71/761.70 c 712s| 2700k| 2680k| 0 | 0.0 | 810M|1849 | - |3274 | 733 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
764.52/764.54 c 715s| 2710k| 2690k| 0 | 0.0 | 813M|1849 | - |3274 | 767 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
767.31/767.39 c 717s| 2720k| 2700k| 0 | 0.0 | 816M|1849 | - |3274 | 749 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
770.22/770.24 c 720s| 2730k| 2710k| 0 | 0.0 | 819M|1849 | - |3274 | 769 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
773.11/773.10 c 723s| 2740k| 2720k| 0 | 0.0 | 821M|1849 | - |3274 | 779 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
775.92/775.95 c 725s| 2750k| 2730k| 0 | 0.0 | 824M|1849 | - |3274 | 762 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
778.82/778.83 c 728s| 2760k| 2739k| 0 | 0.0 | 827M|1849 | - |3274 | 763 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
781.72/781.74 c 731s| 2770k| 2749k| 0 | 0.0 | 830M|1849 | - |3274 | 788 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
784.62/784.61 c 733s| 2780k| 2759k| 0 | 0.0 | 833M|1849 | - |3274 | 772 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
787.42/787.47 c 736s| 2790k| 2769k| 0 | 0.0 | 836M|1849 | - |3274 | 766 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
790.32/790.34 c 739s| 2800k| 2779k| 0 | 0.0 | 839M|1849 | - |3274 | 791 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
793.22/793.20 c 742s| 2810k| 2789k| 0 | 0.0 | 841M|1849 | - |3274 | 748 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
796.02/796.09 c 744s| 2820k| 2799k| 0 | 0.0 | 844M|1849 | - |3274 | 783 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
798.91/798.98 c 747s| 2830k| 2809k| 0 | 0.0 | 847M|1849 | - |3274 | 858 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
801.82/801.83 c 750s| 2840k| 2819k| 0 | 0.0 | 850M|1849 | - |3274 | 792 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
804.72/804.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.72/804.71 c 752s| 2850k| 2829k| 0 | 0.0 | 853M|1849 | - |3274 | 819 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
807.52/807.58 c 755s| 2860k| 2839k| 0 | 0.0 | 856M|1849 | - |3274 | 829 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
810.42/810.46 c 758s| 2870k| 2849k| 0 | 0.0 | 859M|1849 | - |3274 | 833 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
813.32/813.32 c 760s| 2880k| 2859k| 0 | 0.0 | 861M|1849 | - |3274 | 859 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
816.12/816.18 c 763s| 2890k| 2869k| 0 | 0.0 | 864M|1849 | - |3274 | 790 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
819.02/819.05 c 766s| 2900k| 2879k| 0 | 0.0 | 867M|1849 | - |3274 | 887 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
821.91/821.92 c 768s| 2910k| 2889k| 0 | 0.0 | 870M|1849 | - |3274 | 833 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
824.82/824.81 c 771s| 2920k| 2899k| 0 | 0.0 | 873M|1849 | - |3274 | 889 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
827.72/827.73 c 774s| 2930k| 2908k| 0 | 0.0 | 876M|1849 | - |3274 | 881 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
830.61/830.65 c 777s| 2940k| 2918k| 0 | 0.0 | 879M|1849 | - |3274 | 880 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
833.51/833.50 c 779s| 2950k| 2928k| 0 | 0.0 | 881M|1849 | - |3274 | 844 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
836.31/836.36 c 782s| 2960k| 2938k| 0 | 0.0 | 884M|1849 | - |3274 | 856 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
839.22/839.28 c 785s| 2970k| 2948k| 0 | 0.0 | 887M|1849 | - |3274 | 928 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
842.11/842.15 c 787s| 2980k| 2958k| 0 | 0.0 | 890M|1849 | - |3274 | 828 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
845.02/845.02 c 790s| 2990k| 2968k| 0 | 0.0 | 893M|1849 | - |3274 | 826 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
847.91/847.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.91/847.92 c 793s| 3000k| 2978k| 0 | 0.0 | 896M|1849 | - |3274 | 865 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
850.72/850.77 c 795s| 3010k| 2988k| 0 | 0.0 | 899M|1849 | - |3274 | 818 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
853.63/853.63 c 798s| 3020k| 2998k| 0 | 0.0 | 901M|1849 | - |3274 | 778 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
856.52/856.50 c 801s| 3030k| 3008k| 0 | 0.0 | 904M|1849 | - |3274 | 817 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
859.42/859.40 c 803s| 3040k| 3018k| 0 | 0.0 | 907M|1849 | - |3274 | 796 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
862.22/862.30 c 806s| 3050k| 3028k| 0 | 0.0 | 910M|1849 | - |3274 | 808 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
865.12/865.17 c 809s| 3060k| 3038k| 0 | 0.0 | 913M|1849 | - |3274 | 735 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
868.01/868.04 c 812s| 3070k| 3048k| 0 | 0.0 | 916M|1849 | - |3274 | 765 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
870.92/870.92 c 814s| 3080k| 3058k| 0 | 0.0 | 919M|1849 | - |3274 | 807 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
873.72/873.79 c 817s| 3090k| 3068k| 0 | 0.0 | 921M|1849 | - |3274 | 799 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
876.63/876.61 c 820s| 3100k| 3078k| 0 | 0.0 | 924M|1849 | - |3274 | 819 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
879.42/879.48 c 822s| 3110k| 3087k| 0 | 0.0 | 927M|1849 | - |3274 | 829 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
882.31/882.33 c 825s| 3120k| 3097k| 0 | 0.0 | 930M|1849 | - |3274 | 793 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
885.12/885.16 c 828s| 3130k| 3107k| 0 | 0.0 | 933M|1849 | - |3274 | 833 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
888.02/888.01 c 830s| 3140k| 3117k| 0 | 0.0 | 936M|1849 | - |3274 | 825 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
890.82/890.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.82/890.86 c 833s| 3150k| 3127k| 0 | 0.0 | 939M|1849 | - |3274 | 856 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
893.72/893.75 c 836s| 3160k| 3137k| 0 | 0.0 | 942M|1849 | - |3274 | 854 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
896.62/896.61 c 838s| 3170k| 3147k| 0 | 0.0 | 944M|1849 | - |3274 | 861 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
899.52/899.50 c 841s| 3180k| 3157k| 0 | 0.0 | 947M|1849 | - |3274 | 881 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
902.32/902.35 c 844s| 3190k| 3167k| 0 | 0.0 | 950M|1849 | - |3274 | 868 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
905.22/905.23 c 846s| 3200k| 3177k| 0 | 0.0 | 953M|1849 | - |3274 | 884 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
908.12/908.11 c 849s| 3210k| 3187k| 0 | 0.0 | 956M|1849 | - |3274 | 837 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
910.92/910.97 c 852s| 3220k| 3197k| 0 | 0.0 | 959M|1849 | - |3274 | 822 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
913.82/913.81 c 854s| 3230k| 3207k| 0 | 0.0 | 962M|1849 | - |3274 | 827 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
916.62/916.67 c 857s| 3240k| 3217k| 0 | 0.0 | 965M|1849 | - |3274 | 855 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
919.52/919.55 c 860s| 3250k| 3227k| 0 | 0.0 | 967M|1849 | - |3274 | 836 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
922.31/922.39 c 862s| 3260k| 3237k| 0 | 0.0 | 970M|1849 | - |3274 | 833 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
925.22/925.24 c 865s| 3270k| 3247k| 0 | 0.0 | 973M|1849 | - |3274 | 839 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
928.02/928.07 c 868s| 3280k| 3257k| 0 | 0.0 | 976M|1849 | - |3274 | 844 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
930.92/930.93 c 870s| 3290k| 3266k| 0 | 0.0 | 979M|1849 | - |3274 | 834 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
933.72/933.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.72/933.79 c 873s| 3300k| 3276k| 0 | 0.0 | 982M|1849 | - |3274 | 848 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
936.62/936.67 c 876s| 3310k| 3286k| 0 | 0.0 | 985M|1849 | - |3274 | 833 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
939.52/939.53 c 879s| 3320k| 3296k| 0 | 0.0 | 988M|1849 | - |3274 | 832 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
942.32/942.36 c 881s| 3330k| 3306k| 0 | 0.0 | 990M|1849 | - |3274 | 849 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
945.22/945.22 c 884s| 3340k| 3316k| 0 | 0.0 | 993M|1849 | - |3274 | 861 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
948.12/948.14 c 887s| 3350k| 3326k| 0 | 0.0 | 996M|1849 | - |3274 | 864 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
951.12/951.11 c 889s| 3360k| 3336k| 0 | 0.0 | 999M|1849 | - |3274 | 946 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
953.92/953.95 c 892s| 3370k| 3346k| 0 | 0.0 |1002M|1849 | - |3274 | 893 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
956.82/956.90 c 895s| 3380k| 3356k| 0 | 0.0 |1005M|1849 | - |3274 | 961 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
959.72/959.78 c 897s| 3390k| 3366k| 0 | 0.0 |1008M|1849 | - |3274 | 867 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
962.62/962.66 c 900s| 3400k| 3376k| 0 | 0.0 |1010M|1849 | - |3274 | 873 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
965.52/965.51 c 903s| 3410k| 3386k| 0 | 0.0 |1013M|1849 | - |3274 | 893 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
968.32/968.38 c 906s| 3420k| 3396k| 0 | 0.0 |1016M|1849 | - |3274 | 921 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
971.23/971.28 c 908s| 3430k| 3406k| 0 | 0.0 |1019M|1849 | - |3274 | 863 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
974.13/974.14 c 911s| 3440k| 3416k| 0 | 0.0 |1022M|1849 | - |3274 | 861 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
977.02/977.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.02/977.00 c 914s| 3450k| 3426k| 0 | 0.0 |1025M|1849 | - |3274 | 865 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
979.82/979.88 c 916s| 3460k| 3436k| 0 | 0.0 |1028M|1849 | - |3274 | 837 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
982.73/982.72 c 919s| 3470k| 3445k| 0 | 0.0 |1031M|1849 | - |3274 | 816 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
985.52/985.60 c 922s| 3480k| 3455k| 0 | 0.0 |1033M|1849 | - |3274 | 839 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
988.43/988.44 c 924s| 3490k| 3465k| 0 | 0.0 |1036M|1849 | - |3274 | 829 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
991.32/991.32 c 927s| 3500k| 3475k| 0 | 0.0 |1039M|1849 | - |3274 | 849 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
994.12/994.16 c 930s| 3510k| 3485k| 0 | 0.0 |1042M|1849 | - |3274 | 813 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
997.02/997.04 c 932s| 3520k| 3495k| 0 | 0.0 |1045M|1849 | - |3274 | 839 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
999.92/999.90 c 935s| 3530k| 3505k| 0 | 0.0 |1048M|1849 | - |3274 | 833 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1002.72/1002.77 c 938s| 3540k| 3515k| 0 | 0.0 |1051M|1849 | - |3274 | 842 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1005.62/1005.66 c 940s| 3550k| 3525k| 0 | 0.0 |1054M|1849 | - |3274 | 830 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1008.52/1008.53 c 943s| 3560k| 3535k| 0 | 0.0 |1057M|1849 | - |3274 | 850 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1011.32/1011.37 c 946s| 3570k| 3545k| 0 | 0.0 |1059M|1849 | - |3274 | 847 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1014.12/1014.20 c 948s| 3580k| 3555k| 0 | 0.0 |1062M|1849 | - |3274 | 866 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1017.03/1017.06 c 951s| 3590k| 3565k| 0 | 0.0 |1065M|1849 | - |3274 | 835 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1019.92/1019.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.92/1019.94 c 954s| 3600k| 3575k| 0 | 0.0 |1068M|1849 | - |3274 | 834 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1022.82/1022.81 c 956s| 3610k| 3585k| 0 | 0.0 |1071M|1849 | - |3274 | 832 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1025.73/1025.72 c 959s| 3620k| 3595k| 0 | 0.0 |1074M|1849 | - |3274 | 800 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1028.63/1028.60 c 962s| 3630k| 3605k| 0 | 0.0 |1077M|1849 | - |3274 | 829 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1031.42/1031.48 c 965s| 3640k| 3615k| 0 | 0.0 |1080M|1849 | - |3274 | 861 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1034.32/1034.34 c 967s| 3650k| 3624k| 0 | 0.0 |1083M|1849 | - |3274 | 840 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1037.23/1037.21 c 970s| 3660k| 3634k| 0 | 0.0 |1085M|1849 | - |3274 | 876 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1040.03/1040.08 c 973s| 3670k| 3644k| 0 | 0.0 |1088M|1849 | - |3274 | 882 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1042.93/1042.95 c 975s| 3680k| 3654k| 0 | 0.0 |1091M|1849 | - |3274 | 873 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1045.83/1045.81 c 978s| 3690k| 3664k| 0 | 0.0 |1094M|1849 | - |3274 | 880 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1048.62/1048.67 c 981s| 3700k| 3674k| 0 | 0.0 |1097M|1849 | - |3274 | 873 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1051.53/1051.57 c 983s| 3710k| 3684k| 0 | 0.0 |1100M|1849 | - |3274 | 899 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1054.43/1054.43 c 986s| 3720k| 3694k| 0 | 0.0 |1103M|1849 | - |3274 | 909 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1057.23/1057.27 c 989s| 3730k| 3704k| 0 | 0.0 |1106M|1849 | - |3274 | 897 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1060.13/1060.10 c 991s| 3740k| 3714k| 0 | 0.0 |1108M|1849 | - |3274 | 889 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1062.92/1062.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.92/1062.92 c 994s| 3750k| 3724k| 0 | 0.0 |1111M|1849 | - |3274 | 895 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1065.73/1065.76 c 997s| 3760k| 3734k| 0 | 0.0 |1114M|1849 | - |3274 | 889 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1068.63/1068.66 c 999s| 3770k| 3744k| 0 | 0.0 |1117M|1849 | - |3274 | 931 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1071.52/1071.50 c 1002s| 3780k| 3754k| 0 | 0.0 |1120M|1849 | - |3274 | 858 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1074.33/1074.34 c 1005s| 3790k| 3764k| 0 | 0.0 |1123M|1849 | - |3274 | 851 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1077.13/1077.19 c 1007s| 3800k| 3774k| 0 | 0.0 |1126M|1849 | - |3274 | 896 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1080.03/1080.09 c 1010s| 3810k| 3784k| 0 | 0.0 |1129M|1849 | - |3274 | 884 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1082.92/1082.97 c 1013s| 3820k| 3793k| 0 | 0.0 |1132M|1849 | - |3274 | 904 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1085.82/1085.83 c 1015s| 3830k| 3803k| 0 | 0.0 |1134M|1849 | - |3274 | 922 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1088.73/1088.70 c 1018s| 3840k| 3813k| 0 | 0.0 |1137M|1849 | - |3274 | 922 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1091.52/1091.59 c 1021s| 3850k| 3823k| 0 | 0.0 |1140M|1849 | - |3274 | 943 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1094.43/1094.46 c 1023s| 3860k| 3833k| 0 | 0.0 |1143M|1849 | - |3274 | 938 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1097.33/1097.35 c 1026s| 3870k| 3843k| 0 | 0.0 |1146M|1849 | - |3274 | 966 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1100.23/1100.23 c 1029s| 3880k| 3853k| 0 | 0.0 |1149M|1849 | - |3274 | 919 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1103.02/1103.09 c 1032s| 3890k| 3863k| 0 | 0.0 |1152M|1849 | - |3274 | 896 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1105.93/1105.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.93/1105.96 c 1034s| 3900k| 3873k| 0 | 0.0 |1154M|1849 | - |3274 | 909 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1108.83/1108.83 c 1037s| 3910k| 3883k| 0 | 0.0 |1157M|1849 | - |3274 | 960 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1111.62/1111.68 c 1040s| 3920k| 3893k| 0 | 0.0 |1160M|1849 | - |3274 | 992 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1114.53/1114.56 c 1042s| 3930k| 3903k| 0 | 0.0 |1163M|1849 | - |3274 | 934 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1117.43/1117.41 c 1045s| 3940k| 3913k| 0 | 0.0 |1166M|1849 | - |3274 | 934 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1120.22/1120.29 c 1048s| 3950k| 3923k| 0 | 0.0 |1169M|1849 | - |3274 | 953 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1123.13/1123.15 c 1050s| 3960k| 3933k| 0 | 0.0 |1172M|1849 | - |3274 | 940 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1126.03/1126.05 c 1053s| 3970k| 3943k| 0 | 0.0 |1175M|1849 | - |3274 | 916 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1128.83/1128.89 c 1056s| 3980k| 3953k| 0 | 0.0 |1177M|1849 | - |3274 | 881 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1131.83/1131.86 c 1058s| 3990k| 3962k| 0 | 0.0 |1180M|1849 | - |3274 | 964 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1134.72/1134.71 c 1061s| 4000k| 3972k| 0 | 0.0 |1183M|1849 | - |3274 | 922 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1137.63/1137.66 c 1064s| 4010k| 3982k| 0 | 0.0 |1186M|1849 | - |3274 | 978 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1140.53/1140.53 c 1067s| 4020k| 3992k| 0 | 0.0 |1189M|1849 | - |3274 | 884 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1143.33/1143.38 c 1069s| 4030k| 4002k| 0 | 0.0 |1192M|1849 | - |3274 | 881 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1146.24/1146.25 c 1072s| 4040k| 4012k| 0 | 0.0 |1195M|1849 | - |3274 | 907 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1149.03/1149.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.03/1149.09 c 1075s| 4050k| 4022k| 0 | 0.0 |1197M|1849 | - |3274 | 893 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1151.93/1151.93 c 1077s| 4060k| 4032k| 0 | 0.0 |1200M|1849 | - |3274 | 865 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1154.72/1154.78 c 1080s| 4070k| 4042k| 0 | 0.0 |1203M|1849 | - |3274 | 879 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1157.62/1157.67 c 1083s| 4080k| 4052k| 0 | 0.0 |1206M|1849 | - |3274 | 883 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1160.54/1160.55 c 1085s| 4090k| 4062k| 0 | 0.0 |1209M|1849 | - |3274 | 866 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1163.43/1163.43 c 1088s| 4100k| 4072k| 0 | 0.0 |1212M|1849 | - |3274 | 908 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1166.23/1166.26 c 1091s| 4110k| 4082k| 0 | 0.0 |1215M|1849 | - |3274 | 916 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1169.13/1169.10 c 1093s| 4120k| 4092k| 0 | 0.0 |1218M|1849 | - |3274 | 916 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1171.93/1171.95 c 1096s| 4130k| 4102k| 0 | 0.0 |1220M|1849 | - |3274 | 879 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1174.83/1174.83 c 1099s| 4140k| 4112k| 0 | 0.0 |1223M|1849 | - |3274 | 868 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1177.73/1177.71 c 1101s| 4150k| 4122k| 0 | 0.0 |1226M|1849 | - |3274 | 860 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1180.53/1180.57 c 1104s| 4160k| 4131k| 0 | 0.0 |1229M|1849 | - |3274 | 830 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1183.43/1183.42 c 1107s| 4170k| 4141k| 0 | 0.0 |1232M|1849 | - |3274 | 856 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1186.33/1186.31 c 1109s| 4180k| 4151k| 0 | 0.0 |1235M|1849 | - |3274 | 874 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1189.14/1189.18 c 1112s| 4190k| 4161k| 0 | 0.0 |1238M|1849 | - |3274 | 908 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1192.03/1192.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.03/1192.04 c 1115s| 4200k| 4171k| 0 | 0.0 |1241M|1849 | - |3274 | 908 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1194.93/1194.93 c 1118s| 4210k| 4181k| 0 | 0.0 |1243M|1849 | - |3274 | 845 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1197.73/1197.77 c 1120s| 4220k| 4191k| 0 | 0.0 |1246M|1849 | - |3274 | 849 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1200.63/1200.63 c 1123s| 4230k| 4201k| 0 | 0.0 |1249M|1849 | - |3274 | 853 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1203.53/1203.50 c 1126s| 4240k| 4211k| 0 | 0.0 |1252M|1849 | - |3274 | 880 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1206.33/1206.32 c 1128s| 4250k| 4221k| 0 | 0.0 |1255M|1849 | - |3274 | 888 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1209.23/1209.20 c 1131s| 4260k| 4231k| 0 | 0.0 |1258M|1849 | - |3274 | 893 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1212.03/1212.05 c 1134s| 4270k| 4241k| 0 | 0.0 |1261M|1849 | - |3274 | 917 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1214.93/1214.90 c 1136s| 4280k| 4251k| 0 | 0.0 |1264M|1849 | - |3274 | 909 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1217.73/1217.73 c 1139s| 4290k| 4261k| 0 | 0.0 |1267M|1849 | - |3274 | 900 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1220.53/1220.57 c 1141s| 4300k| 4271k| 0 | 0.0 |1269M|1849 | - |3274 | 966 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1223.43/1223.41 c 1144s| 4310k| 4281k| 0 | 0.0 |1272M|1849 | - |3274 | 946 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1226.23/1226.23 c 1147s| 4320k| 4290k| 0 | 0.0 |1275M|1849 | - |3274 | 936 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1229.03/1229.08 c 1149s| 4330k| 4300k| 0 | 0.0 |1278M|1849 | - |3274 | 941 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1231.94/1231.91 c 1152s| 4340k| 4310k| 0 | 0.0 |1281M|1849 | - |3274 | 941 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1234.83/1234.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.83/1234.81 c 1155s| 4350k| 4320k| 0 | 0.0 |1284M|1849 | - |3274 | 938 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1237.63/1237.69 c 1157s| 4360k| 4330k| 0 | 0.0 |1287M|1849 | - |3274 | 885 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1240.53/1240.58 c 1160s| 4370k| 4340k| 0 | 0.0 |1290M|1849 | - |3274 | 901 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1243.43/1243.42 c 1163s| 4380k| 4350k| 0 | 0.0 |1292M|1849 | - |3274 | 863 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1246.23/1246.25 c 1165s| 4390k| 4360k| 0 | 0.0 |1295M|1849 | - |3274 | 850 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1249.14/1249.10 c 1168s| 4400k| 4370k| 0 | 0.0 |1298M|1849 | - |3274 | 853 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1251.93/1251.98 c 1171s| 4410k| 4380k| 0 | 0.0 |1301M|1849 | - |3274 | 815 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1254.83/1254.87 c 1174s| 4420k| 4390k| 0 | 0.0 |1304M|1849 | - |3274 | 813 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1257.73/1257.72 c 1176s| 4430k| 4400k| 0 | 0.0 |1307M|1849 | - |3274 | 816 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1260.53/1260.60 c 1179s| 4440k| 4410k| 0 | 0.0 |1310M|1849 | - |3274 | 829 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1263.44/1263.46 c 1182s| 4450k| 4420k| 0 | 0.0 |1313M|1849 | - |3274 | 796 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1266.33/1266.30 c 1184s| 4460k| 4430k| 0 | 0.0 |1316M|1849 | - |3274 | 795 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1269.13/1269.14 c 1187s| 4470k| 4440k| 0 | 0.0 |1318M|1849 | - |3274 | 815 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1272.04/1272.02 c 1190s| 4480k| 4450k| 0 | 0.0 |1321M|1849 | - |3274 | 839 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1274.84/1274.90 c 1192s| 4490k| 4460k| 0 | 0.0 |1324M|1849 | - |3274 | 836 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1277.73/1277.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.73/1277.77 c 1195s| 4500k| 4469k| 0 | 0.0 |1327M|1849 | - |3274 | 850 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1280.64/1280.61 c 1198s| 4510k| 4479k| 0 | 0.0 |1330M|1849 | - |3274 | 836 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1283.43/1283.48 c 1200s| 4520k| 4489k| 0 | 0.0 |1333M|1849 | - |3274 | 815 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1286.33/1286.37 c 1203s| 4530k| 4499k| 0 | 0.0 |1336M|1849 | - |3274 | 878 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1289.24/1289.24 c 1206s| 4540k| 4509k| 0 | 0.0 |1339M|1849 | - |3274 | 841 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1292.03/1292.09 c 1208s| 4550k| 4519k| 0 | 0.0 |1342M|1849 | - |3274 | 844 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1294.93/1294.97 c 1211s| 4560k| 4529k| 0 | 0.0 |1344M|1849 | - |3274 | 878 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1297.84/1297.83 c 1214s| 4570k| 4539k| 0 | 0.0 |1347M|1849 | - |3274 | 878 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1300.63/1300.67 c 1216s| 4580k| 4549k| 0 | 0.0 |1350M|1849 | - |3274 | 825 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1303.54/1303.52 c 1219s| 4590k| 4559k| 0 | 0.0 |1353M|1849 | - |3274 | 844 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1306.34/1306.37 c 1222s| 4600k| 4569k| 0 | 0.0 |1356M|1849 | - |3274 | 817 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1309.23/1309.21 c 1224s| 4610k| 4579k| 0 | 0.0 |1359M|1849 | - |3274 | 770 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1312.03/1312.05 c 1227s| 4620k| 4589k| 0 | 0.0 |1362M|1849 | - |3274 | 745 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1314.93/1314.90 c 1230s| 4630k| 4599k| 0 | 0.0 |1365M|1849 | - |3274 | 743 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1317.74/1317.75 c 1232s| 4640k| 4609k| 0 | 0.0 |1368M|1849 | - |3274 | 766 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1320.63/1320.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.63/1320.63 c 1235s| 4650k| 4619k| 0 | 0.0 |1370M|1849 | - |3274 | 784 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1323.43/1323.49 c 1238s| 4660k| 4629k| 0 | 0.0 |1373M|1849 | - |3274 | 784 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1326.43/1326.41 c 1240s| 4670k| 4639k| 0 | 0.0 |1376M|1849 | - |3274 | 829 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1329.23/1329.30 c 1243s| 4680k| 4648k| 0 | 0.0 |1379M|1849 | - |3274 | 806 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1332.14/1332.17 c 1246s| 4690k| 4658k| 0 | 0.0 |1382M|1849 | - |3274 | 803 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1335.03/1335.03 c 1248s| 4700k| 4668k| 0 | 0.0 |1385M|1849 | - |3274 | 785 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1337.83/1337.88 c 1251s| 4710k| 4678k| 0 | 0.0 |1388M|1849 | - |3274 | 804 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1340.73/1340.72 c 1254s| 4720k| 4688k| 0 | 0.0 |1390M|1849 | - |3274 | 761 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1343.54/1343.57 c 1256s| 4730k| 4698k| 0 | 0.0 |1393M|1849 | - |3274 | 804 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1346.44/1346.46 c 1259s| 4740k| 4708k| 0 | 0.0 |1396M|1849 | - |3274 | 885 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1349.33/1349.30 c 1262s| 4750k| 4718k| 0 | 0.0 |1399M|1849 | - |3274 | 837 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1352.14/1352.17 c 1264s| 4760k| 4728k| 0 | 0.0 |1402M|1849 | - |3274 | 829 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1355.04/1355.04 c 1267s| 4770k| 4738k| 0 | 0.0 |1405M|1849 | - |3274 | 855 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1357.94/1357.91 c 1270s| 4780k| 4748k| 0 | 0.0 |1408M|1849 | - |3274 | 889 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1360.74/1360.76 c 1272s| 4790k| 4758k| 0 | 0.0 |1411M|1849 | - |3274 | 839 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1363.64/1363.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.64/1363.63 c 1275s| 4800k| 4768k| 0 | 0.0 |1413M|1849 | - |3274 | 894 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1366.43/1366.46 c 1278s| 4810k| 4778k| 0 | 0.0 |1416M|1849 | - |3274 | 838 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1369.34/1369.35 c 1280s| 4820k| 4788k| 0 | 0.0 |1419M|1849 | - |3274 | 920 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1372.23/1372.20 c 1283s| 4830k| 4798k| 0 | 0.0 |1422M|1849 | - |3274 | 831 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1375.04/1375.05 c 1286s| 4840k| 4808k| 0 | 0.0 |1425M|1849 | - |3274 | 865 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1377.93/1377.92 c 1289s| 4850k| 4817k| 0 | 0.0 |1428M|1849 | - |3274 | 854 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1380.74/1380.77 c 1291s| 4860k| 4827k| 0 | 0.0 |1431M|1849 | - |3274 | 829 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1383.64/1383.64 c 1294s| 4870k| 4837k| 0 | 0.0 |1433M|1849 | - |3274 | 838 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1386.54/1386.51 c 1297s| 4880k| 4847k| 0 | 0.0 |1436M|1849 | - |3274 | 866 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1389.34/1389.35 c 1299s| 4890k| 4857k| 0 | 0.0 |1439M|1849 | - |3274 | 824 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1392.13/1392.18 c 1302s| 4900k| 4867k| 0 | 0.0 |1442M|1849 | - |3274 | 822 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1395.04/1395.02 c 1305s| 4910k| 4877k| 0 | 0.0 |1445M|1849 | - |3274 | 834 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1397.83/1397.85 c 1307s| 4920k| 4887k| 0 | 0.0 |1448M|1849 | - |3274 | 813 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1400.74/1400.72 c 1310s| 4930k| 4897k| 0 | 0.0 |1451M|1849 | - |3274 | 815 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1403.54/1403.56 c 1313s| 4940k| 4907k| 0 | 0.0 |1454M|1849 | - |3274 | 846 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1406.43/1406.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.43/1406.40 c 1315s| 4950k| 4917k| 0 | 0.0 |1456M|1849 | - |3274 | 837 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1409.24/1409.24 c 1318s| 4960k| 4927k| 0 | 0.0 |1459M|1849 | - |3274 | 826 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1412.04/1412.07 c 1321s| 4970k| 4937k| 0 | 0.0 |1462M|1849 | - |3274 | 866 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1414.93/1414.91 c 1323s| 4980k| 4947k| 0 | 0.0 |1465M|1849 | - |3274 | 882 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1417.74/1417.75 c 1326s| 4990k| 4957k| 0 | 0.0 |1468M|1849 | - |3274 | 888 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1420.63/1420.61 c 1329s| 5000k| 4967k| 0 | 0.0 |1471M|1849 | - |3274 | 874 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1423.44/1423.48 c 1331s| 5010k| 4977k| 0 | 0.0 |1474M|1849 | - |3274 | 922 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1426.34/1426.36 c 1334s| 5020k| 4987k| 0 | 0.0 |1477M|1849 | - |3274 | 997 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1429.24/1429.24 c 1337s| 5030k| 4996k| 0 | 0.0 |1479M|1849 | - |3274 | 964 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1432.04/1432.07 c 1339s| 5040k| 5006k| 0 | 0.0 |1482M|1849 | - |3274 | 987 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1434.94/1434.91 c 1342s| 5050k| 5016k| 0 | 0.0 |1485M|1849 | - |3274 | 957 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1437.74/1437.77 c 1345s| 5060k| 5026k| 0 | 0.0 |1488M|1849 | - |3274 | 972 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1440.63/1440.64 c 1347s| 5070k| 5036k| 0 | 0.0 |1491M|1849 | - |3274 | 974 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1443.54/1443.53 c 1350s| 5080k| 5046k| 0 | 0.0 |1494M|1849 | - |3274 | 957 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1446.45/1446.41 c 1353s| 5090k| 5056k| 0 | 0.0 |1497M|1849 | - |3274 | 915 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1449.34/1449.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.34/1449.32 c 1355s| 5100k| 5066k| 0 | 0.0 |1499M|1849 | - |3274 | 940 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1452.13/1452.17 c 1358s| 5110k| 5076k| 0 | 0.0 |1502M|1849 | - |3274 | 945 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1455.04/1455.03 c 1361s| 5120k| 5086k| 0 | 0.0 |1505M|1849 | - |3274 | 949 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1457.83/1457.88 c 1363s| 5130k| 5096k| 0 | 0.0 |1508M|1849 | - |3274 | 924 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1460.75/1460.72 c 1366s| 5140k| 5106k| 0 | 0.0 |1511M|1849 | - |3274 | 878 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1463.63/1463.63 c 1369s| 5150k| 5116k| 0 | 0.0 |1514M|1849 | - |3274 | 896 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1466.54/1466.50 c 1371s| 5160k| 5126k| 0 | 0.0 |1517M|1849 | - |3274 | 880 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1469.44/1469.41 c 1374s| 5170k| 5136k| 0 | 0.0 |1520M|1849 | - |3274 | 898 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1472.24/1472.28 c 1377s| 5180k| 5146k| 0 | 0.0 |1522M|1849 | - |3274 | 855 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1475.15/1475.15 c 1380s| 5190k| 5156k| 0 | 0.0 |1525M|1849 | - |3274 | 888 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1477.94/1477.99 c 1382s| 5200k| 5165k| 0 | 0.0 |1528M|1849 | - |3274 | 871 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1480.84/1480.89 c 1385s| 5210k| 5175k| 0 | 0.0 |1531M|1849 | - |3274 | 858 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1483.74/1483.70 c 1388s| 5220k| 5185k| 0 | 0.0 |1534M|1849 | - |3274 | 845 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1486.64/1486.66 c 1390s| 5230k| 5195k| 0 | 0.0 |1537M|1849 | - |3274 | 887 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1489.54/1489.50 c 1393s| 5240k| 5205k| 0 | 0.0 |1540M|1849 | - |3274 | 853 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1492.34/1492.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.34/1492.34 c 1396s| 5250k| 5215k| 0 | 0.0 |1543M|1849 | - |3274 | 866 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1495.24/1495.25 c 1398s| 5260k| 5225k| 0 | 0.0 |1545M|1849 | - |3274 | 951 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1498.15/1498.10 c 1401s| 5270k| 5235k| 0 | 0.0 |1548M|1849 | - |3274 | 866 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1500.94/1500.95 c 1404s| 5280k| 5245k| 0 | 0.0 |1551M|1849 | - |3274 | 914 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1503.84/1503.83 c 1406s| 5290k| 5255k| 0 | 0.0 |1554M|1849 | - |3274 | 879 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1506.63/1506.66 c 1409s| 5300k| 5265k| 0 | 0.0 |1557M|1849 | - |3274 | 864 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1509.54/1509.56 c 1412s| 5310k| 5275k| 0 | 0.0 |1560M|1849 | - |3274 | 899 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1512.45/1512.41 c 1414s| 5320k| 5285k| 0 | 0.0 |1563M|1849 | - |3274 | 804 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1515.24/1515.25 c 1417s| 5330k| 5295k| 0 | 0.0 |1565M|1849 | - |3274 | 821 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1518.14/1518.11 c 1420s| 5340k| 5305k| 0 | 0.0 |1568M|1849 | - |3274 | 866 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1520.94/1520.94 c 1422s| 5350k| 5315k| 0 | 0.0 |1571M|1849 | - |3274 | 849 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1523.84/1523.82 c 1425s| 5360k| 5324k| 0 | 0.0 |1574M|1849 | - |3274 | 837 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1526.64/1526.69 c 1428s| 5370k| 5334k| 0 | 0.0 |1577M|1849 | - |3274 | 841 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1529.54/1529.53 c 1430s| 5380k| 5344k| 0 | 0.0 |1580M|1849 | - |3274 | 787 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1532.44/1532.41 c 1433s| 5390k| 5354k| 0 | 0.0 |1583M|1849 | - |3274 | 827 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1535.24/1535.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.24/1535.23 c 1436s| 5400k| 5364k| 0 | 0.0 |1585M|1849 | - |3274 | 789 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1538.04/1538.06 c 1438s| 5410k| 5374k| 0 | 0.0 |1588M|1849 | - |3274 | 817 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1540.94/1540.93 c 1441s| 5420k| 5384k| 0 | 0.0 |1591M|1849 | - |3274 | 806 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1543.84/1543.81 c 1444s| 5430k| 5394k| 0 | 0.0 |1594M|1849 | - |3274 | 810 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1546.64/1546.63 c 1446s| 5440k| 5404k| 0 | 0.0 |1597M|1849 | - |3274 | 849 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1549.44/1549.49 c 1449s| 5450k| 5414k| 0 | 0.0 |1600M|1849 | - |3274 | 831 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1552.34/1552.33 c 1452s| 5460k| 5424k| 0 | 0.0 |1603M|1849 | - |3274 | 802 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1555.14/1555.17 c 1454s| 5470k| 5434k| 0 | 0.0 |1606M|1849 | - |3274 | 796 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1558.04/1558.01 c 1457s| 5480k| 5444k| 0 | 0.0 |1608M|1849 | - |3274 | 750 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1560.85/1560.85 c 1460s| 5490k| 5454k| 0 | 0.0 |1611M|1849 | - |3274 | 750 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1563.64/1563.69 c 1462s| 5500k| 5464k| 0 | 0.0 |1614M|1849 | - |3274 | 755 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1566.54/1566.52 c 1465s| 5510k| 5474k| 0 | 0.0 |1617M|1849 | - |3274 | 783 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1569.44/1569.40 c 1468s| 5520k| 5484k| 0 | 0.0 |1620M|1849 | - |3274 | 823 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1572.24/1572.24 c 1470s| 5530k| 5493k| 0 | 0.0 |1623M|1849 | - |3274 | 780 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1575.14/1575.12 c 1473s| 5540k| 5503k| 0 | 0.0 |1626M|1849 | - |3274 | 809 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1577.94/1577.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.94/1577.95 c 1476s| 5550k| 5513k| 0 | 0.0 |1629M|1849 | - |3274 | 788 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1580.85/1580.81 c 1478s| 5560k| 5523k| 0 | 0.0 |1632M|1849 | - |3274 | 855 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1583.64/1583.67 c 1481s| 5570k| 5533k| 0 | 0.0 |1634M|1849 | - |3274 | 788 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1586.54/1586.53 c 1484s| 5580k| 5543k| 0 | 0.0 |1637M|1849 | - |3274 | 804 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1589.45/1589.41 c 1486s| 5590k| 5553k| 0 | 0.0 |1640M|1849 | - |3274 | 781 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1592.24/1592.23 c 1489s| 5600k| 5563k| 0 | 0.0 |1643M|1849 | - |3274 | 788 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1595.04/1595.09 c 1492s| 5610k| 5573k| 0 | 0.0 |1646M|1849 | - |3274 | 833 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1597.94/1597.92 c 1494s| 5620k| 5583k| 0 | 0.0 |1649M|1849 | - |3274 | 854 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1600.74/1600.77 c 1497s| 5630k| 5593k| 0 | 0.0 |1652M|1849 | - |3274 | 843 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1603.65/1603.64 c 1500s| 5640k| 5603k| 0 | 0.0 |1654M|1849 | - |3274 | 853 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1606.45/1606.46 c 1502s| 5650k| 5613k| 0 | 0.0 |1657M|1849 | - |3274 | 842 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1609.35/1609.30 c 1505s| 5660k| 5623k| 0 | 0.0 |1660M|1849 | - |3274 | 840 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1612.15/1612.18 c 1508s| 5670k| 5633k| 0 | 0.0 |1663M|1849 | - |3274 | 858 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1615.05/1615.01 c 1510s| 5680k| 5643k| 0 | 0.0 |1666M|1849 | - |3274 | 832 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1617.84/1617.86 c 1513s| 5690k| 5653k| 0 | 0.0 |1669M|1849 | - |3274 | 848 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1620.75/1620.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.75/1620.70 c 1516s| 5700k| 5662k| 0 | 0.0 |1672M|1849 | - |3274 | 847 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1623.55/1623.54 c 1518s| 5710k| 5672k| 0 | 0.0 |1675M|1849 | - |3274 | 881 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1626.34/1626.37 c 1521s| 5720k| 5682k| 0 | 0.0 |1678M|1849 | - |3274 | 882 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1629.25/1629.20 c 1524s| 5730k| 5692k| 0 | 0.0 |1680M|1849 | - |3274 | 840 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1632.04/1632.10 c 1526s| 5740k| 5702k| 0 | 0.0 |1683M|1849 | - |3274 | 875 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1634.94/1634.98 c 1529s| 5750k| 5712k| 0 | 0.0 |1686M|1849 | - |3274 | 872 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1637.85/1637.83 c 1532s| 5760k| 5722k| 0 | 0.0 |1689M|1849 | - |3274 | 861 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1640.64/1640.65 c 1534s| 5770k| 5732k| 0 | 0.0 |1692M|1849 | - |3274 | 847 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1643.45/1643.48 c 1537s| 5780k| 5742k| 0 | 0.0 |1695M|1849 | - |3274 | 849 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1646.34/1646.30 c 1540s| 5790k| 5752k| 0 | 0.0 |1698M|1849 | - |3274 | 863 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1649.14/1649.13 c 1542s| 5800k| 5762k| 0 | 0.0 |1701M|1849 | - |3274 | 872 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1651.95/1651.98 c 1545s| 5810k| 5772k| 0 | 0.0 |1703M|1849 | - |3274 | 855 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1654.85/1654.83 c 1548s| 5820k| 5782k| 0 | 0.0 |1706M|1849 | - |3274 | 835 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1657.75/1657.72 c 1550s| 5830k| 5792k| 0 | 0.0 |1709M|1849 | - |3274 | 889 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1660.55/1660.57 c 1553s| 5840k| 5802k| 0 | 0.0 |1712M|1849 | - |3274 | 893 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1663.44/1663.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.44/1663.44 c 1556s| 5850k| 5812k| 0 | 0.0 |1715M|1849 | - |3274 | 870 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1666.35/1666.31 c 1558s| 5860k| 5821k| 0 | 0.0 |1718M|1849 | - |3274 | 872 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1669.25/1669.20 c 1561s| 5870k| 5831k| 0 | 0.0 |1721M|1849 | - |3274 | 864 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1672.05/1672.09 c 1564s| 5880k| 5841k| 0 | 0.0 |1724M|1849 | - |3274 | 912 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1674.94/1674.93 c 1566s| 5890k| 5851k| 0 | 0.0 |1726M|1849 | - |3274 | 911 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1677.75/1677.79 c 1569s| 5900k| 5861k| 0 | 0.0 |1729M|1849 | - |3274 | 963 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1680.64/1680.64 c 1572s| 5910k| 5871k| 0 | 0.0 |1732M|1849 | - |3274 | 904 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1683.54/1683.52 c 1574s| 5920k| 5881k| 0 | 0.0 |1735M|1849 | - |3274 | 955 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1686.35/1686.35 c 1577s| 5930k| 5891k| 0 | 0.0 |1738M|1849 | - |3274 | 968 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1689.25/1689.22 c 1580s| 5940k| 5901k| 0 | 0.0 |1741M|1849 | - |3274 | 964 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1692.04/1692.06 c 1582s| 5950k| 5911k| 0 | 0.0 |1744M|1849 | - |3274 | 977 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1694.85/1694.88 c 1585s| 5960k| 5921k| 0 | 0.0 |1746M|1849 | - |3274 | 951 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1697.75/1697.71 c 1588s| 5970k| 5931k| 0 | 0.0 |1749M|1849 | - |3274 | 921 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1700.56/1700.54 c 1590s| 5980k| 5941k| 0 | 0.0 |1752M|1849 | - |3274 | 937 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1703.45/1703.40 c 1593s| 5990k| 5951k| 0 | 0.0 |1755M|1849 | - |3274 | 959 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1706.25/1706.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.25/1706.26 c 1596s| 6000k| 5961k| 0 | 0.0 |1758M|1849 | - |3274 | 924 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1709.15/1709.11 c 1598s| 6010k| 5971k| 0 | 0.0 |1761M|1849 | - |3274 | 938 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1711.95/1711.93 c 1601s| 6020k| 5980k| 0 | 0.0 |1764M|1849 | - |3274 | 909 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1714.75/1714.80 c 1604s| 6030k| 5990k| 0 | 0.0 |1767M|1849 | - |3274 | 929 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1717.65/1717.65 c 1606s| 6040k| 6000k| 0 | 0.0 |1769M|1849 | - |3274 | 899 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1720.46/1720.49 c 1609s| 6050k| 6010k| 0 | 0.0 |1772M|1849 | - |3274 | 906 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1723.35/1723.36 c 1612s| 6060k| 6020k| 0 | 0.0 |1775M|1849 | - |3274 | 885 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1726.25/1726.21 c 1614s| 6070k| 6030k| 0 | 0.0 |1778M|1849 | - |3274 | 909 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1729.04/1729.08 c 1617s| 6080k| 6040k| 0 | 0.0 |1781M|1849 | - |3274 | 890 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1731.95/1731.94 c 1620s| 6090k| 6050k| 0 | 0.0 |1784M|1849 | - |3274 | 919 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1734.85/1734.84 c 1622s| 6100k| 6060k| 0 | 0.0 |1787M|1849 | - |3274 | 939 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1737.64/1737.65 c 1625s| 6110k| 6070k| 0 | 0.0 |1789M|1849 | - |3274 | 895 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1740.54/1740.50 c 1628s| 6120k| 6080k| 0 | 0.0 |1792M|1849 | - |3274 | 910 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1743.35/1743.33 c 1630s| 6130k| 6090k| 0 | 0.0 |1795M|1849 | - |3274 | 872 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1746.25/1746.23 c 1633s| 6140k| 6100k| 0 | 0.0 |1798M|1849 | - |3274 | 913 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1749.05/1749.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.05/1749.06 c 1636s| 6150k| 6110k| 0 | 0.0 |1801M|1849 | - |3274 | 895 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1751.85/1751.87 c 1638s| 6160k| 6120k| 0 | 0.0 |1804M|1849 | - |3274 | 928 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1754.65/1754.66 c 1641s| 6170k| 6130k| 0 | 0.0 |1807M|1849 | - |3274 | 938 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1757.55/1757.51 c 1644s| 6180k| 6139k| 0 | 0.0 |1810M|1849 | - |3274 | 949 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1760.34/1760.36 c 1646s| 6190k| 6149k| 0 | 0.0 |1812M|1849 | - |3274 | 919 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1763.15/1763.17 c 1649s| 6200k| 6159k| 0 | 0.0 |1815M|1849 | - |3274 | 914 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1766.05/1766.01 c 1652s| 6210k| 6169k| 0 | 0.0 |1818M|1849 | - |3274 | 934 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1768.85/1768.85 c 1654s| 6220k| 6179k| 0 | 0.0 |1821M|1849 | - |3274 | 991 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1771.64/1771.70 c 1657s| 6230k| 6189k| 0 | 0.0 |1824M|1849 | - |3274 | 949 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1774.55/1774.55 c 1660s| 6240k| 6199k| 0 | 0.0 |1827M|1849 | - |3274 | 938 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1777.35/1777.40 c 1662s| 6250k| 6209k| 0 | 0.0 |1830M|1849 | - |3274 | 942 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1780.25/1780.24 c 1665s| 6260k| 6219k| 0 | 0.0 |1832M|1849 | - |3274 | 927 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1783.15/1783.11 c 1668s| 6270k| 6229k| 0 | 0.0 |1835M|1849 | - |3274 | 931 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1785.95/1785.94 c 1670s| 6280k| 6239k| 0 | 0.0 |1838M|1849 | - |3274 | 864 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1788.85/1788.81 c 1673s| 6290k| 6249k| 0 | 0.0 |1841M|1849 | - |3274 | 938 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1791.65/1791.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.65/1791.65 c 1676s| 6300k| 6259k| 0 | 0.0 |1844M|1849 | - |3274 | 854 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1794.45/1794.49 c 1678s| 6310k| 6269k| 0 | 0.0 |1847M|1849 | - |3274 | 871 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1797.45/1797.41 c 1681s| 6320k| 6279k| 0 | 0.0 |1850M|1849 | - |3274 | 939 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1683.36
1800.05/1800.00 c Solving Nodes : 6329168
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1683.36
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693734-1277972318.wbo
1800.05/1800.00 c Variables : 3274 (3212 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.05/1800.00 c Constraints : 223 initial, 223 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693734-1277972318.wbo
1800.05/1800.00 c Variables : 3274 (3212 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.05/1800.00 c Constraints : 222 initial, 3805 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 62 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 62 0 1707 0 1452 0 102 0 0 0
1800.05/1800.00 c setppc : 46 0 6771895 0 6312211 11400 3387891 0 0 0
1800.05/1800.00 c linear : 62 0 6760495 0 6312211 9700 2111931 0 0 0
1800.05/1800.00 c logicor : 52+ 0 1251771 0 6312211 2642 256300 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 6312211 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.01 0.00 0.00 0.00 0.01
1800.05/1800.00 c setppc : 185.88 0.00 18.89 0.00 166.99
1800.05/1800.00 c linear : 37.14 0.00 36.94 0.00 0.20
1800.05/1800.00 c logicor : 131.34 0.00 5.66 0.00 125.68
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 2 0 0
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 9.53 6771695 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 40.68 23742 23742 402391 318.0 196114 32.7 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 223164 54.4 - - -
1800.05/1800.00 c applied locally : - - - 2587 389.5 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1267.14 6312211 0 0 0 0 12624422
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.01 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 6329168
1800.05/1800.00 c nodes (total) : 6329168
1800.05/1800.00 c nodes left : 6288236
1800.05/1800.00 c max depth : 1849
1800.05/1800.00 c max depth (total): 1849
1800.05/1800.00 c backtracks : 9464 (0.1%)
1800.05/1800.00 c delayed cutoffs : 7019
1800.05/1800.00 c repropagations : 23904 (464510 domain reductions, 6785 cutoffs)
1800.05/1800.00 c avg switch length: 2.33
1800.05/1800.00 c switching time : 25.45
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693734-1277972318/watcher-2693734-1277972318 -o /tmp/evaluation-result-2693734-1277972318/solver-2693734-1277972318 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693734-1277972318.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.85 1.14 3/182 18180
/proc/meminfo: memFree=29606360/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=9176 CPUtime=0
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 1705 0 0 0 0 0 0 0 22 0 1 0 138527451 9396224 1627 4089446400 4194304 7136930 140735526592192 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18180/statm: 2294 1646 275 719 0 1573 0
[startup+0.06304 s]
/proc/loadavg: 2.00 1.85 1.14 3/182 18180
/proc/meminfo: memFree=29606360/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=20152 CPUtime=0.05
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 6014 0 0 0 5 0 0 0 22 0 1 0 138527451 20635648 4297 4089446400 4194304 7136930 140735526592192 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18180/statm: 5038 4297 390 719 0 4317 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20152
[startup+0.10102 s]
/proc/loadavg: 2.00 1.85 1.14 3/182 18180
/proc/meminfo: memFree=29606360/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=20152 CPUtime=0.09
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 6014 0 0 0 9 0 0 0 22 0 1 0 138527451 20635648 4297 4089446400 4194304 7136930 140735526592192 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18180/statm: 5038 4297 390 719 0 4317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20152
[startup+0.300983 s]
/proc/loadavg: 2.00 1.85 1.14 3/182 18180
/proc/meminfo: memFree=29606360/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=20572 CPUtime=0.29
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 6111 0 0 0 27 2 0 0 22 0 1 0 138527451 21065728 4394 4089446400 4194304 7136930 140735526592192 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18180/statm: 5143 4394 390 719 0 4422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20572
[startup+0.700922 s]
/proc/loadavg: 2.00 1.85 1.14 3/182 18180
/proc/meminfo: memFree=29606360/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=21236 CPUtime=0.69
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 6306 0 0 0 64 5 0 0 24 0 1 0 138527451 21745664 4589 4089446400 4194304 7136930 140735526592192 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18180/statm: 5309 4589 394 719 0 4588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21236
[startup+1.50077 s]
/proc/loadavg: 2.00 1.85 1.14 3/183 18181
/proc/meminfo: memFree=29587504/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=22432 CPUtime=1.49
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 6596 0 0 0 139 10 0 0 25 0 1 0 138527451 22970368 4879 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18180/statm: 5608 4879 394 719 0 4887 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22432
[startup+3.10048 s]
/proc/loadavg: 2.00 1.85 1.14 3/183 18181
/proc/meminfo: memFree=29584652/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=24844 CPUtime=3.09
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 7240 0 0 0 287 22 0 0 25 0 1 0 138527451 25440256 5523 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18180/statm: 6211 5523 394 719 0 5490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24844
[startup+6.30088 s]
/proc/loadavg: 2.00 1.86 1.14 3/183 18181
/proc/meminfo: memFree=29577380/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=29816 CPUtime=6.29
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 8527 0 0 0 587 42 0 0 25 0 1 0 138527451 30531584 6810 4089446400 4194304 7136930 140735526592192 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 7454 6810 394 719 0 6733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29816
[startup+12.7007 s]
/proc/loadavg: 2.00 1.86 1.14 3/183 18181
/proc/meminfo: memFree=29562768/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=38536 CPUtime=12.69
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 10811 0 0 0 1187 82 0 0 25 0 1 0 138527451 39460864 9094 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 9634 9094 394 719 0 8913 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38536
[startup+25.5003 s]
/proc/loadavg: 2.00 1.86 1.16 3/183 18182
/proc/meminfo: memFree=29529416/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=54352 CPUtime=25.49
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 14392 0 0 0 2384 165 0 0 25 0 1 0 138527451 55656448 12675 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 13588 12675 394 719 0 12867 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54352
[startup+51.1006 s]
/proc/loadavg: 2.00 1.87 1.18 3/183 18182
/proc/meminfo: memFree=29455252/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=84320 CPUtime=51.09
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 22256 0 0 0 4776 333 0 0 25 0 1 0 138527451 86343680 20539 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 21080 20539 394 719 0 20359 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84320
[startup+102.306 s]
/proc/loadavg: 2.00 1.89 1.22 3/183 18184
/proc/meminfo: memFree=29306900/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=153696 CPUtime=102.29
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 39239 0 0 0 9547 682 0 0 25 0 1 0 138527451 157384704 37522 4089446400 4194304 7136930 140735526592192 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 38424 37522 394 719 0 37703 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 153696
[startup+162.301 s]
/proc/loadavg: 2.08 1.94 1.28 3/183 18185
/proc/meminfo: memFree=29106588/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=259436 CPUtime=162.29
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 64455 0 0 0 15100 1129 0 0 25 0 1 0 138527451 265662464 62738 4089446400 4194304 7136930 140735526592192 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 64859 62738 394 719 0 64138 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 259436
[startup+222.301 s]
/proc/loadavg: 2.08 1.96 1.32 3/183 18187
/proc/meminfo: memFree=28929956/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=321768 CPUtime=222.3
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 80821 0 0 0 20716 1514 0 0 25 0 1 0 138527451 329490432 79104 4089446400 4194304 7136930 140735526592192 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 80442 79104 394 719 0 79721 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 321768
[startup+282.301 s]
/proc/loadavg: 2.03 1.97 1.36 3/183 18188
/proc/meminfo: memFree=28768452/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=398776 CPUtime=282.3
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 96774 0 0 0 26335 1895 0 0 25 0 1 0 138527451 408346624 95057 4089446400 4194304 7136930 140735526592192 18446744073709551615 4740310 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 99694 95057 394 719 0 98973 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 398776
[startup+342.301 s]
/proc/loadavg: 2.01 1.97 1.40 3/183 18190
/proc/meminfo: memFree=28580920/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=462720 CPUtime=342.3
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 113534 0 0 0 31956 2274 0 0 25 0 1 0 138527451 473825280 111817 4089446400 4194304 7136930 140735526592192 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 115680 111817 394 719 0 114959 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 462720
[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.43 3/183 18192
/proc/meminfo: memFree=28405660/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=523340 CPUtime=402.3
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 129472 0 0 0 37575 2655 0 0 25 0 1 0 138527451 535900160 127755 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 130835 127755 394 719 0 130114 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 523340
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.47 3/183 18193
/proc/meminfo: memFree=28234860/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=580004 CPUtime=462.31
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 144441 0 0 0 43189 3042 0 0 25 0 1 0 138527451 593924096 142724 4089446400 4194304 7136930 140735526592192 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 145001 142724 394 719 0 144280 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 580004
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/183 18195
/proc/meminfo: memFree=28061580/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=645660 CPUtime=522.3
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 161637 0 0 0 48798 3432 0 0 25 0 1 0 138527451 661155840 159920 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 161415 159920 394 719 0 160694 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 645660
[startup+582.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/183 18196
/proc/meminfo: memFree=27851476/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=739308 CPUtime=582.31
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 177667 0 0 0 54418 3813 0 0 25 0 1 0 138527451 757051392 175950 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 184827 175950 394 719 0 184106 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 739308
[startup+642.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/183 18198
/proc/meminfo: memFree=27656132/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=797628 CPUtime=642.31
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 193041 0 0 0 60019 4212 0 0 25 0 1 0 138527451 816771072 191324 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 199407 191324 394 719 0 198686 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 797628
[startup+702.301 s]
################
# More data... #
################
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 288991 0 0 0 93731 6502 0 0 25 0 1 0 138527451 1189871616 287274 4089446400 4194304 7136930 140735526592192 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 290496 287274 394 719 0 289775 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1161984
[startup+1062.3 s]
/proc/loadavg: 2.02 2.00 1.71 4/183 18240
/proc/meminfo: memFree=29885656/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1219520 CPUtime=1062.33
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 304173 0 0 0 99339 6894 0 0 25 0 1 0 138527451 1248788480 302456 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 304880 302456 394 719 0 304159 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1219520
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.72 4/183 18242
/proc/meminfo: memFree=29675792/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1277592 CPUtime=1122.32
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 319484 0 0 0 104955 7277 0 0 25 0 1 0 138527451 1308254208 317767 4089446400 4194304 7136930 140735526592192 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 319398 317767 394 719 0 318677 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1277592
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.74 4/183 18243
/proc/meminfo: memFree=29510804/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1402572 CPUtime=1182.33
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 335147 0 0 0 110571 7662 0 0 25 0 1 0 138527451 1436233728 333430 4089446400 4194304 7136930 140735526592192 18446744073709551615 4407876 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 350643 333430 394 719 0 349922 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1402572
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.75 4/183 18245
/proc/meminfo: memFree=29270440/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1467248 CPUtime=1242.33
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 352057 0 0 0 116178 8055 0 0 25 0 1 0 138527451 1502461952 350340 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 366812 350340 394 719 0 366091 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1467248
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.76 4/183 18247
/proc/meminfo: memFree=29086120/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1529008 CPUtime=1302.34
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 368276 0 0 0 121789 8445 0 0 25 0 1 0 138527451 1565704192 366559 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 382252 366559 394 719 0 381531 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1529008
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.77 4/183 18248
/proc/meminfo: memFree=28911964/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1587264 CPUtime=1362.33
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 383665 0 0 0 127391 8842 0 0 25 0 1 0 138527451 1625358336 381948 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 396816 381948 394 719 0 396095 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1587264
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.79 4/183 18250
/proc/meminfo: memFree=28791760/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1642716 CPUtime=1422.34
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 398346 0 0 0 133014 9220 0 0 25 0 1 0 138527451 1682141184 396629 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 410679 396629 394 719 0 409958 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1642716
[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 1.81 4/183 18251
/proc/meminfo: memFree=28671540/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1707312 CPUtime=1482.34
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 415305 0 0 0 138628 9606 0 0 25 0 1 0 138527451 1748287488 413588 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 426828 413588 394 719 0 426107 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1707312
[startup+1542.3 s]
/proc/loadavg: 2.12 2.04 1.83 4/183 18253
/proc/meminfo: memFree=28546108/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1765180 CPUtime=1542.34
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 430591 0 0 0 144238 9996 0 0 25 0 1 0 138527451 1807544320 428874 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 441295 428874 394 719 0 440574 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1765180
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.83 4/183 18255
/proc/meminfo: memFree=28405068/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1826208 CPUtime=1602.34
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 446603 0 0 0 149848 10386 0 0 25 0 1 0 138527451 1870036992 444886 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 456552 444886 394 719 0 455831 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1826208
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 1.84 4/183 18256
/proc/meminfo: memFree=28279284/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1886220 CPUtime=1662.34
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 462405 0 0 0 155452 10782 0 0 25 0 1 0 138527451 1931489280 460688 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 471555 460688 394 719 0 470834 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1886220
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.85 4/183 18258
/proc/meminfo: memFree=28134384/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=1946524 CPUtime=1722.35
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 478260 0 0 0 161073 11162 0 0 25 0 1 0 138527451 1993240576 476543 4089446400 4194304 7136930 140735526592192 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 486631 476543 394 719 0 485910 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1946524
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.86 4/183 18259
/proc/meminfo: memFree=27929104/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=2003900 CPUtime=1782.35
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 493430 0 0 0 166684 11551 0 0 25 0 1 0 138527451 2051993600 491713 4089446400 4194304 7136930 140735526592192 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 500975 491713 394 719 0 500254 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2003900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.86 3/183 18260
/proc/meminfo: memFree=27864348/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=2022300 CPUtime=1800.05
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 498261 0 0 0 168337 11668 0 0 25 0 1 0 138527451 2070835200 496544 4089446400 4194304 7136930 140735526592192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18180/statm: 505575 496544 394 719 0 504854 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2022300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18180
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 1.86 4/184 18261
/proc/meminfo: memFree=27862976/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=2021924 CPUtime=1801.44
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 498283 0 0 0 168476 11668 0 0 19 0 1 0 138527451 2070450176 496469 4089446400 4194304 7136930 140735526592192 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18180/statm: 505481 496469 399 719 0 504760 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2021924
[startup+1801.81 s]
/proc/loadavg: 2.00 2.02 1.86 4/184 18261
/proc/meminfo: memFree=27859628/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=2021536 CPUtime=1801.85
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 498283 0 0 0 168517 11668 0 0 20 0 1 0 138527451 2070052864 496372 4089446400 4194304 7136930 140735526592192 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18180/statm: 505384 496372 399 719 0 504663 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2021536
[startup+1802 s]
/proc/loadavg: 2.00 2.02 1.86 4/184 18261
/proc/meminfo: memFree=27859628/32951124 swapFree=67111528/67111528
[pid=18180] ppid=18178 vsize=2021536 CPUtime=1802.04
/proc/18180/stat : 18180 (pbscip.linux.x8) R 18178 18180 17900 0 -1 4202496 498283 0 0 0 168536 11668 0 0 21 0 1 0 138527451 2070052864 496372 4089446400 4194304 7136930 140735526592192 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18180/statm: 505384 496372 399 719 0 504663 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2021536
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.13
CPU user time (s): 1685.38
CPU system time (s): 116.754
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2022300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1685.38
system time used= 116.754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 498283
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= 2
involuntary context switches= 962
runsolver used 2.58661 second user time and 5.65814 second system time
The end
Begin job on node135 at 2010-07-01 10:18:38
IDJOB=2693734
IDBENCH=78694
IDSOLVER=1206
FILE ID=node135/2693734-1277972318
PBS_JOBID= 11197896
Free space on /tmp= 74136 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693734-1277972318/watcher-2693734-1277972318 -o /tmp/evaluation-result-2693734-1277972318/solver-2693734-1277972318 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693734-1277972318.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a1a1d6ef1095be996fe403c53206d252
RANDOM SEED=1772228200
node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 7186.14
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29606888 kB
Buffers: 214524 kB
Cached: 1108792 kB
SwapCached: 0 kB
Active: 2350720 kB
Inactive: 844104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29606888 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3312 kB
Writeback: 0 kB
AnonPages: 1871320 kB
Mapped: 14996 kB
Slab: 83296 kB
PageTables: 8476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2017872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74132 MiB
End job on node135 at 2010-07-01 10:48:40