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-2693687-1277889785.wbo>
0.00/0.01 c original problem has 4134 variables (4067 bin, 0 int, 0 impl, 67 cont) and 248 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.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 67 impls, 52 clqs
0.00/0.03 c (round 2) 0 del vars, 1 del conss, 67 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 67 impls, 52 clqs
0.00/0.03 c (round 3) 0 del vars, 1 del conss, 67 chg bounds, 0 chg sides, 0 chg coeffs, 61 upgd conss, 67 impls, 52 clqs
0.02/0.03 c (round 4) 0 del vars, 1 del conss, 67 chg bounds, 0 chg sides, 0 chg coeffs, 113 upgd conss, 67 impls, 52 clqs
0.02/0.06 c (0.0s) probing: 101/4067 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (5 rounds):
0.02/0.06 c 0 deleted vars, 1 deleted constraints, 67 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 67 implications, 52 cliques
0.02/0.06 c presolved problem has 4134 variables (4067 bin, 0 int, 0 impl, 67 cont) and 247 constraints
0.02/0.06 c 67 constraints of type <indicator>
0.02/0.06 c 52 constraints of type <setppc>
0.02/0.06 c 67 constraints of type <linear>
0.02/0.06 c 61 constraints of type <logicor>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c lp/solvefreq = -1
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c 0.0s| 1 | 2 | 0 | - |8023k| 0 | - |4134 | 247 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.49/3.59 c 3.5s| 10000 | 9965 | 0 | 0.0 | 11M|2681 | - |4134 | 377 | 0 | 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf
7.39/7.42 c 7.3s| 20000 | 19924 | 0 | 0.0 | 14M|2681 | - |4134 | 344 | 0 | 0 | 0 | 396 | 0 | 0.000000e+00 | -- | Inf
11.39/11.49 c 11.3s| 30000 | 29877 | 0 | 0.0 | 17M|2681 | - |4134 | 415 | 0 | 0 | 0 | 638 | 0 | 0.000000e+00 | -- | Inf
15.40/15.40 c 15.2s| 40000 | 39826 | 0 | 0.0 | 20M|2681 | - |4134 | 431 | 0 | 0 | 0 | 920 | 0 | 0.000000e+00 | -- | Inf
19.29/19.34 c 19.0s| 50000 | 49775 | 0 | 0.0 | 23M|2681 | - |4134 | 449 | 0 | 0 | 0 |1163 | 0 | 0.000000e+00 | -- | Inf
23.19/23.25 c 22.9s| 60000 | 59727 | 0 | 0.0 | 26M|2681 | - |4134 | 472 | 0 | 0 | 0 |1402 | 0 | 0.000000e+00 | -- | Inf
27.09/27.10 c 26.7s| 70000 | 69680 | 0 | 0.0 | 29M|2681 | - |4134 | 472 | 0 | 0 | 0 |1642 | 0 | 0.000000e+00 | -- | Inf
31.09/31.13 c 30.7s| 80000 | 79640 | 0 | 0.0 | 32M|2681 | - |4134 | 438 | 0 | 0 | 0 |1838 | 0 | 0.000000e+00 | -- | Inf
34.99/35.04 c 34.5s| 90000 | 89589 | 0 | 0.0 | 35M|2681 | - |4134 | 476 | 0 | 0 | 0 |2098 | 0 | 0.000000e+00 | -- | Inf
38.99/39.05 c 38.4s|100000 | 99550 | 0 | 0.0 | 37M|2681 | - |4134 | 493 | 0 | 0 | 0 |2297 | 0 | 0.000000e+00 | -- | Inf
42.90/42.96 c 42.3s|110000 |109500 | 0 | 0.0 | 40M|2681 | - |4134 | 545 | 0 | 0 | 0 |2547 | 0 | 0.000000e+00 | -- | Inf
46.69/46.78 c 46.1s|120000 |119459 | 0 | 0.0 | 43M|2681 | - |4134 | 540 | 0 | 0 | 0 |2757 | 0 | 0.000000e+00 | -- | Inf
50.60/50.65 c 49.9s|130000 |129415 | 0 | 0.0 | 46M|2681 | - |4134 | 587 | 0 | 0 | 0 |2977 | 0 | 0.000000e+00 | -- | Inf
54.39/54.49 c 53.6s|140000 |139366 | 0 | 0.0 | 49M|2681 | - |4134 | 615 | 0 | 0 | 0 |3237 | 0 | 0.000000e+00 | -- | Inf
58.39/58.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.39/58.40 c 57.5s|150000 |149317 | 0 | 0.0 | 52M|2681 | - |4134 | 634 | 0 | 0 | 0 |3482 | 0 | 0.000000e+00 | -- | Inf
62.19/62.25 c 61.3s|160000 |159279 | 0 | 0.0 | 55M|2681 | - |4134 | 626 | 0 | 0 | 0 |3682 | 0 | 0.000000e+00 | -- | Inf
65.89/65.93 c 64.9s|170000 |169232 | 0 | 0.0 | 57M|2681 | - |4134 | 660 | 0 | 0 | 0 |3922 | 0 | 0.000000e+00 | -- | Inf
69.39/69.48 c 68.4s|180000 |179186 | 0 | 0.0 | 60M|2681 | - |4134 | 651 | 0 | 0 | 0 |4154 | 0 | 0.000000e+00 | -- | Inf
72.89/72.98 c 71.8s|190000 |189133 | 0 | 0.0 | 63M|2681 | - |4134 | 723 | 0 | 0 | 0 |4424 | 0 | 0.000000e+00 | -- | Inf
76.49/76.53 c 75.3s|200000 |199086 | 0 | 0.0 | 66M|2681 | - |4134 | 702 | 0 | 0 | 0 |4673 | 0 | 0.000000e+00 | -- | Inf
79.99/80.03 c 78.7s|210000 |209046 | 0 | 0.0 | 69M|2681 | - |4134 | 702 | 0 | 0 | 0 |4883 | 0 | 0.000000e+00 | -- | Inf
83.49/83.54 c 82.2s|220000 |218997 | 0 | 0.0 | 72M|2681 | - |4134 | 739 | 0 | 0 | 0 |5152 | 0 | 0.000000e+00 | -- | Inf
86.99/87.04 c 85.6s|230000 |228949 | 0 | 0.0 | 75M|2681 | - |4134 | 780 | 0 | 0 | 0 |5416 | 0 | 0.000000e+00 | -- | Inf
90.49/90.50 c 89.0s|240000 |238897 | 0 | 0.0 | 78M|2681 | - |4134 | 778 | 0 | 0 | 0 |5696 | 0 | 0.000000e+00 | -- | Inf
93.89/93.96 c 92.4s|250000 |248844 | 0 | 0.0 | 81M|2681 | - |4134 | 795 | 0 | 0 | 0 |5974 | 0 | 0.000000e+00 | -- | Inf
97.39/97.40 c 95.8s|260000 |258789 | 0 | 0.0 | 84M|2681 | - |4134 | 820 | 0 | 0 | 0 |6254 | 0 | 0.000000e+00 | -- | Inf
100.79/100.88 c 99.2s|270000 |268745 | 0 | 0.0 | 87M|2681 | - |4134 | 796 | 0 | 0 | 0 |6488 | 0 | 0.000000e+00 | -- | Inf
104.29/104.35 c 103s|280000 |278684 | 0 | 0.0 | 89M|2681 | - |4134 | 834 | 0 | 0 | 0 |6808 | 0 | 0.000000e+00 | -- | Inf
107.69/107.79 c 106s|290000 |288621 | 0 | 0.0 | 92M|2681 | - |4134 | 857 | 0 | 0 | 0 |7138 | 0 | 0.000000e+00 | -- | Inf
111.19/111.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.19/111.22 c 109s|300000 |298568 | 0 | 0.0 | 95M|2681 | - |4134 | 864 | 0 | 0 | 0 |7419 | 0 | 0.000000e+00 | -- | Inf
114.49/114.59 c 113s|310000 |308517 | 0 | 0.0 | 98M|2681 | - |4134 | 899 | 0 | 0 | 0 |7689 | 0 | 0.000000e+00 | -- | Inf
117.89/117.97 c 116s|320000 |318473 | 0 | 0.0 | 101M|2681 | - |4134 | 856 | 0 | 0 | 0 |7919 | 0 | 0.000000e+00 | -- | Inf
121.29/121.34 c 119s|330000 |328411 | 0 | 0.0 | 104M|2681 | - |4134 | 861 | 0 | 0 | 0 |8237 | 0 | 0.000000e+00 | -- | Inf
124.69/124.71 c 123s|340000 |338345 | 0 | 0.0 | 107M|2681 | - |4134 | 945 | 0 | 0 | 0 |8586 | 0 | 0.000000e+00 | -- | Inf
127.99/128.07 c 126s|350000 |348286 | 0 | 0.0 | 110M|2681 | - |4134 | 953 | 0 | 0 | 0 |8916 | 0 | 0.000000e+00 | -- | Inf
131.39/131.41 c 129s|360000 |358239 | 0 | 0.0 | 113M|2681 | - |4134 | 885 | 0 | 0 | 0 |9154 | 0 | 0.000000e+00 | -- | Inf
134.69/134.73 c 132s|370000 |368187 | 0 | 0.0 | 116M|2681 | - |4134 | 889 | 0 | 0 | 0 |9423 | 0 | 0.000000e+00 | -- | Inf
137.99/138.04 c 136s|380000 |378129 | 0 | 0.0 | 119M|2681 | - |4134 | 911 | 0 | 0 | 0 |9720 | 0 | 0.000000e+00 | -- | Inf
141.29/141.37 c 139s|390000 |388077 | 0 | 0.0 | 122M|2681 | - |4134 | 940 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
144.59/144.69 c 142s|400000 |398023 | 0 | 0.0 | 125M|2681 | - |4134 | 932 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
147.89/147.99 c 145s|410000 |407947 | 0 | 0.0 | 128M|2681 | - |4134 | 919 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
151.19/151.28 c 148s|420000 |417887 | 0 | 0.0 | 131M|2681 | - |4134 | 903 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
154.49/154.55 c 151s|430000 |427831 | 0 | 0.0 | 134M|2681 | - |4134 | 932 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
157.79/157.85 c 154s|440000 |437767 | 0 | 0.0 | 137M|2681 | - |4134 | 960 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
161.09/161.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.09/161.15 c 157s|450000 |447700 | 0 | 0.0 | 140M|2681 | - |4134 | 974 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
164.39/164.44 c 161s|460000 |457634 | 0 | 0.0 | 143M|2681 | - |4134 | 964 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
167.69/167.71 c 164s|470000 |467576 | 0 | 0.0 | 146M|2681 | - |4134 | 965 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
170.89/170.95 c 167s|480000 |477515 | 0 | 0.0 | 149M|2681 | - |4134 | 969 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
174.10/174.20 c 170s|490000 |487449 | 0 | 0.0 | 152M|2681 | - |4134 | 994 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
177.39/177.45 c 173s|500000 |497374 | 0 | 0.0 | 155M|2681 | - |4134 |1004 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
180.69/180.71 c 176s|510000 |507310 | 0 | 0.0 | 158M|2681 | - |4134 |1022 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
183.89/183.96 c 179s|520000 |517248 | 0 | 0.0 | 161M|2681 | - |4134 |1046 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
187.10/187.19 c 182s|530000 |527187 | 0 | 0.0 | 164M|2681 | - |4134 |1045 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
190.30/190.37 c 185s|540000 |537127 | 0 | 0.0 | 167M|2681 | - |4134 |1026 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
193.50/193.56 c 188s|550000 |547050 | 0 | 0.0 | 170M|2681 | - |4134 |1031 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
196.80/196.82 c 191s|560000 |556984 | 0 | 0.0 | 174M|2681 | - |4134 |1041 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
199.99/200.05 c 194s|570000 |566923 | 0 | 0.0 | 177M|2681 | - |4134 |1057 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
203.19/203.24 c 197s|580000 |576861 | 0 | 0.0 | 180M|2681 | - |4134 |1062 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
206.30/206.39 c 200s|590000 |586786 | 0 | 0.0 | 183M|2681 | - |4134 |1105 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
209.59/209.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.59/209.61 c 203s|600000 |596703 | 0 | 0.0 | 186M|2681 | - |4134 |1093 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
212.79/212.84 c 206s|610000 |606638 | 0 | 0.0 | 189M|2681 | - |4134 |1080 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
215.99/216.06 c 209s|620000 |616555 | 0 | 0.0 | 192M|2681 | - |4134 |1134 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
219.19/219.24 c 212s|630000 |626472 | 0 | 0.0 | 195M|2681 | - |4134 |1149 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
222.40/222.42 c 215s|640000 |636398 | 0 | 0.0 | 198M|2681 | - |4134 |1147 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
225.49/225.59 c 218s|650000 |646328 | 0 | 0.0 | 201M|2681 | - |4134 |1153 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
228.70/228.76 c 221s|660000 |656258 | 0 | 0.0 | 205M|2681 | - |4134 |1154 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
231.89/231.96 c 224s|670000 |666188 | 0 | 0.0 | 208M|2681 | - |4134 |1190 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
235.09/235.14 c 227s|680000 |676112 | 0 | 0.0 | 211M|2681 | - |4134 |1194 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
238.29/238.31 c 230s|690000 |686041 | 0 | 0.0 | 214M|2681 | - |4134 |1203 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
241.49/241.55 c 233s|700000 |695953 | 0 | 0.0 | 217M|2681 | - |4134 |1157 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
244.69/244.73 c 236s|710000 |705890 | 0 | 0.0 | 220M|2681 | - |4134 |1136 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
247.89/247.95 c 239s|720000 |715805 | 0 | 0.0 | 224M|2681 | - |4134 |1156 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
251.10/251.10 c 242s|730000 |725736 | 0 | 0.0 | 227M|2681 | - |4134 |1104 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
254.29/254.33 c 245s|740000 |735663 | 0 | 0.0 | 230M|2681 | - |4134 |1057 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
257.49/257.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.49/257.56 c 248s|750000 |745586 | 0 | 0.0 | 233M|2681 | - |4134 |1090 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
260.70/260.77 c 251s|760000 |755520 | 0 | 0.0 | 236M|2681 | - |4134 |1056 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
263.90/263.98 c 254s|770000 |765450 | 0 | 0.0 | 239M|2681 | - |4134 |1067 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
267.20/267.30 c 257s|780000 |775367 | 0 | 0.0 | 242M|2681 | - |4134 |1069 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
270.60/270.66 c 260s|790000 |785277 | 0 | 0.0 | 246M|2681 | - |4134 |1079 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
273.99/274.01 c 264s|800000 |795190 | 0 | 0.0 | 249M|2681 | - |4134 |1075 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
277.29/277.33 c 267s|810000 |805105 | 0 | 0.0 | 252M|2681 | - |4134 |1081 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
280.59/280.63 c 270s|820000 |815016 | 0 | 0.0 | 255M|2681 | - |4134 |1100 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
283.90/283.90 c 273s|830000 |824926 | 0 | 0.0 | 259M|2681 | - |4134 |1091 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
287.10/287.13 c 276s|840000 |834830 | 0 | 0.0 | 262M|2681 | - |4134 |1103 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
290.30/290.34 c 279s|850000 |844730 | 0 | 0.0 | 266M|2681 | - |4134 |1118 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
293.50/293.56 c 282s|860000 |854623 | 0 | 0.0 | 269M|2681 | - |4134 |1117 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
296.69/296.72 c 285s|870000 |864533 | 0 | 0.0 | 272M|2681 | - |4134 |1076 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
299.80/299.85 c 288s|880000 |874424 | 0 | 0.0 | 276M|2681 | - |4134 |1093 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
302.90/302.95 c 291s|890000 |884337 | 0 | 0.0 | 279M|2681 | - |4134 |1090 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
305.99/306.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.99/306.04 c 294s|900000 |894247 | 0 | 0.0 | 282M|2681 | - |4134 |1093 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
309.10/309.14 c 297s|910000 |904143 | 0 | 0.0 | 286M|2681 | - |4134 |1083 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
312.19/312.22 c 299s|920000 |914045 | 0 | 0.0 | 289M|2681 | - |4134 |1129 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
315.30/315.30 c 302s|930000 |923944 | 0 | 0.0 | 293M|2681 | - |4134 |1131 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
318.30/318.37 c 305s|940000 |933836 | 0 | 0.0 | 296M|2681 | - |4134 |1095 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
321.39/321.44 c 308s|950000 |943718 | 0 | 0.0 | 299M|2681 | - |4134 |1121 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
324.40/324.45 c 311s|960000 |953616 | 0 | 0.0 | 303M|2681 | - |4134 |1088 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
327.40/327.42 c 314s|970000 |963522 | 0 | 0.0 | 306M|2681 | - |4134 |1069 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
330.30/330.37 c 317s|980000 |973432 | 0 | 0.0 | 310M|2681 | - |4134 |1071 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
333.20/333.28 c 319s|990000 |983349 | 0 | 0.0 | 313M|2681 | - |4134 |1078 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
336.10/336.18 c 322s| 1000k|993269 | 0 | 0.0 | 316M|2681 | - |4134 |1082 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
338.99/339.06 c 325s| 1010k| 1003k| 0 | 0.0 | 320M|2681 | - |4134 |1098 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
341.90/341.93 c 327s| 1020k| 1013k| 0 | 0.0 | 323M|2681 | - |4134 |1074 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
344.70/344.79 c 330s| 1030k| 1022k| 0 | 0.0 | 327M|2681 | - |4134 |1103 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
347.60/347.62 c 333s| 1040k| 1032k| 0 | 0.0 | 330M|2681 | - |4134 |1063 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
350.40/350.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.40/350.45 c 335s| 1050k| 1042k| 0 | 0.0 | 334M|2681 | - |4134 |1128 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
353.19/353.24 c 338s| 1060k| 1052k| 0 | 0.0 | 337M|2681 | - |4134 |1201 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
355.99/356.00 c 340s| 1070k| 1062k| 0 | 0.0 | 341M|2681 | - |4134 |1140 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
358.69/358.78 c 343s| 1080k| 1072k| 0 | 0.0 | 344M|2681 | - |4134 |1158 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
361.50/361.51 c 345s| 1090k| 1082k| 0 | 0.0 | 348M|2681 | - |4134 |1168 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
364.10/364.18 c 348s| 1100k| 1092k| 0 | 0.0 | 351M|2681 | - |4134 |1217 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
366.69/366.79 c 350s| 1110k| 1102k| 0 | 0.0 | 355M|2681 | - |4134 |1349 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
369.30/369.39 c 353s| 1120k| 1112k| 0 | 0.0 | 359M|2681 | - |4134 |1513 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
372.00/372.00 c 355s| 1130k| 1121k| 0 | 0.0 | 363M|2681 | - |4134 |1839 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
374.49/374.58 c 358s| 1140k| 1131k| 0 | 0.0 | 367M|2681 | - |4134 |2194 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
377.00/377.09 c 360s| 1150k| 1141k| 0 | 0.0 | 371M|2681 | - |4134 |2598 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
379.50/379.55 c 362s| 1160k| 1151k| 0 | 0.0 | 375M|2681 | - |4134 |2936 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
381.89/381.97 c 364s| 1170k| 1160k| 0 | 0.0 | 379M|2681 | - |4134 |3324 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
384.30/384.37 c 367s| 1180k| 1170k| 0 | 0.0 | 384M|2681 | - |4134 |3971 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
386.69/386.73 c 369s| 1190k| 1180k| 0 | 0.0 | 390M|2681 | - |4134 |4814 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
389.10/389.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.10/389.13 c 371s| 1200k| 1189k| 0 | 0.0 | 397M|2681 | - |4134 |6876 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
392.71/392.71 c 374s| 1210k| 1198k| 0 | 0.0 | 407M|2681 | - |4134 | 10k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
396.10/396.15 c 377s| 1220k| 1208k| 0 | 0.0 | 405M|2681 | - |4134 |1277 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
399.60/399.62 c 381s| 1230k| 1218k| 0 | 0.0 | 407M|2681 | - |4134 |1009 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
403.00/403.06 c 384s| 1240k| 1228k| 0 | 0.0 | 410M|2681 | - |4134 | 966 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
406.40/406.47 c 387s| 1250k| 1238k| 0 | 0.0 | 413M|2681 | - |4134 | 966 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
409.89/409.97 c 391s| 1260k| 1248k| 0 | 0.0 | 416M|2681 | - |4134 | 945 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
413.39/413.44 c 394s| 1270k| 1258k| 0 | 0.0 | 419M|2681 | - |4134 | 902 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
416.90/416.92 c 397s| 1280k| 1268k| 0 | 0.0 | 421M|2681 | - |4134 | 893 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
420.40/420.41 c 400s| 1290k| 1278k| 0 | 0.0 | 424M|2681 | - |4134 | 896 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
423.89/423.92 c 404s| 1300k| 1287k| 0 | 0.0 | 427M|2681 | - |4134 | 851 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
427.40/427.43 c 407s| 1310k| 1297k| 0 | 0.0 | 430M|2681 | - |4134 | 821 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
430.89/430.92 c 410s| 1320k| 1307k| 0 | 0.0 | 433M|2681 | - |4134 | 806 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
434.40/434.43 c 414s| 1330k| 1317k| 0 | 0.0 | 436M|2681 | - |4134 | 777 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
437.90/437.92 c 417s| 1340k| 1327k| 0 | 0.0 | 439M|2681 | - |4134 | 759 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
441.39/441.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.39/441.40 c 420s| 1350k| 1337k| 0 | 0.0 | 441M|2681 | - |4134 | 724 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
444.80/444.89 c 424s| 1360k| 1347k| 0 | 0.0 | 444M|2681 | - |4134 | 751 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
448.30/448.38 c 427s| 1370k| 1357k| 0 | 0.0 | 447M|2681 | - |4134 | 705 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
451.80/451.88 c 430s| 1380k| 1367k| 0 | 0.0 | 450M|2681 | - |4134 | 714 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
455.30/455.39 c 433s| 1390k| 1377k| 0 | 0.0 | 453M|2681 | - |4134 | 718 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
458.80/458.88 c 437s| 1400k| 1387k| 0 | 0.0 | 456M|2681 | - |4134 | 704 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
462.30/462.38 c 440s| 1410k| 1397k| 0 | 0.0 | 458M|2681 | - |4134 | 707 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
465.80/465.87 c 443s| 1420k| 1407k| 0 | 0.0 | 461M|2681 | - |4134 | 683 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
469.30/469.38 c 447s| 1430k| 1417k| 0 | 0.0 | 464M|2681 | - |4134 | 697 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
472.79/472.87 c 450s| 1440k| 1427k| 0 | 0.0 | 467M|2681 | - |4134 | 685 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
476.30/476.38 c 453s| 1450k| 1437k| 0 | 0.0 | 470M|2681 | - |4134 | 708 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
479.80/479.86 c 457s| 1460k| 1447k| 0 | 0.0 | 472M|2681 | - |4134 | 675 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
483.30/483.36 c 460s| 1470k| 1457k| 0 | 0.0 | 475M|2681 | - |4134 | 699 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
486.80/486.88 c 463s| 1480k| 1467k| 0 | 0.0 | 478M|2681 | - |4134 | 683 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
490.30/490.39 c 467s| 1490k| 1477k| 0 | 0.0 | 481M|2681 | - |4134 | 711 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
493.90/493.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.90/493.92 c 470s| 1500k| 1487k| 0 | 0.0 | 484M|2681 | - |4134 | 697 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
497.40/497.42 c 473s| 1510k| 1497k| 0 | 0.0 | 487M|2681 | - |4134 | 685 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
500.90/500.92 c 477s| 1520k| 1507k| 0 | 0.0 | 489M|2681 | - |4134 | 658 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
504.40/504.44 c 480s| 1530k| 1516k| 0 | 0.0 | 492M|2681 | - |4134 | 686 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
507.90/507.95 c 483s| 1540k| 1526k| 0 | 0.0 | 495M|2681 | - |4134 | 661 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
511.40/511.46 c 487s| 1550k| 1536k| 0 | 0.0 | 498M|2681 | - |4134 | 653 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
514.90/514.97 c 490s| 1560k| 1546k| 0 | 0.0 | 501M|2681 | - |4134 | 656 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
518.50/518.50 c 493s| 1570k| 1556k| 0 | 0.0 | 503M|2681 | - |4134 | 660 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
522.00/522.01 c 496s| 1580k| 1566k| 0 | 0.0 | 506M|2681 | - |4134 | 656 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
525.50/525.51 c 500s| 1590k| 1576k| 0 | 0.0 | 509M|2681 | - |4134 | 643 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
529.01/529.01 c 503s| 1600k| 1586k| 0 | 0.0 | 512M|2681 | - |4134 | 696 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
532.50/532.54 c 506s| 1610k| 1596k| 0 | 0.0 | 515M|2681 | - |4134 | 642 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
536.00/536.03 c 510s| 1620k| 1606k| 0 | 0.0 | 518M|2681 | - |4134 | 657 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
539.50/539.56 c 513s| 1630k| 1616k| 0 | 0.0 | 520M|2681 | - |4134 | 675 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
543.00/543.03 c 516s| 1640k| 1626k| 0 | 0.0 | 523M|2681 | - |4134 | 677 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
546.50/546.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.50/546.51 c 520s| 1650k| 1636k| 0 | 0.0 | 526M|2681 | - |4134 | 674 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
550.00/550.03 c 523s| 1660k| 1646k| 0 | 0.0 | 529M|2681 | - |4134 | 690 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
553.50/553.52 c 526s| 1670k| 1656k| 0 | 0.0 | 532M|2681 | - |4134 | 661 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
556.90/556.99 c 530s| 1680k| 1666k| 0 | 0.0 | 534M|2681 | - |4134 | 669 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
560.50/560.52 c 533s| 1690k| 1676k| 0 | 0.0 | 537M|2681 | - |4134 | 698 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
564.00/564.05 c 536s| 1700k| 1686k| 0 | 0.0 | 540M|2681 | - |4134 | 715 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
567.51/567.55 c 540s| 1710k| 1696k| 0 | 0.0 | 543M|2681 | - |4134 | 681 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
571.10/571.10 c 543s| 1720k| 1706k| 0 | 0.0 | 546M|2681 | - |4134 | 712 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
574.60/574.62 c 547s| 1730k| 1716k| 0 | 0.0 | 549M|2681 | - |4134 | 724 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
578.10/578.17 c 550s| 1740k| 1726k| 0 | 0.0 | 551M|2681 | - |4134 | 749 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
581.61/581.65 c 553s| 1750k| 1735k| 0 | 0.0 | 554M|2681 | - |4134 | 701 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
585.10/585.15 c 557s| 1760k| 1745k| 0 | 0.0 | 557M|2681 | - |4134 | 691 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
588.60/588.65 c 560s| 1770k| 1755k| 0 | 0.0 | 560M|2681 | - |4134 | 723 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
592.11/592.14 c 563s| 1780k| 1765k| 0 | 0.0 | 563M|2681 | - |4134 | 703 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
595.61/595.63 c 567s| 1790k| 1775k| 0 | 0.0 | 566M|2681 | - |4134 | 677 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
599.10/599.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.10/599.13 c 570s| 1800k| 1785k| 0 | 0.0 | 568M|2681 | - |4134 | 698 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
602.60/602.64 c 573s| 1810k| 1795k| 0 | 0.0 | 571M|2681 | - |4134 | 685 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
606.11/606.15 c 577s| 1820k| 1805k| 0 | 0.0 | 574M|2681 | - |4134 | 705 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
609.60/609.67 c 580s| 1830k| 1815k| 0 | 0.0 | 577M|2681 | - |4134 | 667 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
613.11/613.18 c 583s| 1840k| 1825k| 0 | 0.0 | 580M|2681 | - |4134 | 675 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
616.60/616.69 c 587s| 1850k| 1835k| 0 | 0.0 | 582M|2681 | - |4134 | 651 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
620.20/620.22 c 590s| 1860k| 1845k| 0 | 0.0 | 585M|2681 | - |4134 | 675 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
623.70/623.71 c 593s| 1870k| 1855k| 0 | 0.0 | 588M|2681 | - |4134 | 631 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
627.21/627.20 c 597s| 1880k| 1865k| 0 | 0.0 | 591M|2681 | - |4134 | 643 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
630.70/630.72 c 600s| 1890k| 1875k| 0 | 0.0 | 594M|2681 | - |4134 | 634 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
634.20/634.27 c 603s| 1900k| 1885k| 0 | 0.0 | 597M|2681 | - |4134 | 605 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
637.80/637.80 c 607s| 1910k| 1895k| 0 | 0.0 | 599M|2681 | - |4134 | 627 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
641.31/641.31 c 610s| 1920k| 1905k| 0 | 0.0 | 602M|2681 | - |4134 | 658 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
644.80/644.81 c 613s| 1930k| 1915k| 0 | 0.0 | 605M|2681 | - |4134 | 644 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
648.30/648.30 c 617s| 1940k| 1925k| 0 | 0.0 | 608M|2681 | - |4134 | 638 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
651.80/651.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.80/651.80 c 620s| 1950k| 1935k| 0 | 0.0 | 611M|2681 | - |4134 | 638 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
655.31/655.33 c 623s| 1960k| 1945k| 0 | 0.0 | 614M|2681 | - |4134 | 659 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
658.81/658.85 c 627s| 1970k| 1954k| 0 | 0.0 | 616M|2681 | - |4134 | 663 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
662.31/662.33 c 630s| 1980k| 1964k| 0 | 0.0 | 619M|2681 | - |4134 | 650 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
665.80/665.82 c 633s| 1990k| 1974k| 0 | 0.0 | 622M|2681 | - |4134 | 688 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
669.31/669.33 c 637s| 2000k| 1984k| 0 | 0.0 | 625M|2681 | - |4134 | 677 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
672.80/672.82 c 640s| 2010k| 1994k| 0 | 0.0 | 628M|2681 | - |4134 | 695 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
676.31/676.33 c 643s| 2020k| 2004k| 0 | 0.0 | 630M|2681 | - |4134 | 682 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
679.81/679.82 c 646s| 2030k| 2014k| 0 | 0.0 | 633M|2681 | - |4134 | 655 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
683.31/683.32 c 650s| 2040k| 2024k| 0 | 0.0 | 636M|2681 | - |4134 | 676 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
686.80/686.87 c 653s| 2050k| 2034k| 0 | 0.0 | 639M|2681 | - |4134 | 690 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
690.40/690.42 c 657s| 2060k| 2044k| 0 | 0.0 | 642M|2681 | - |4134 | 666 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
693.91/693.93 c 660s| 2070k| 2054k| 0 | 0.0 | 645M|2681 | - |4134 | 640 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
697.41/697.45 c 663s| 2080k| 2064k| 0 | 0.0 | 647M|2681 | - |4134 | 645 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
700.90/700.96 c 667s| 2090k| 2074k| 0 | 0.0 | 650M|2681 | - |4134 | 634 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
704.40/704.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.40/704.45 c 670s| 2100k| 2084k| 0 | 0.0 | 653M|2681 | - |4134 | 628 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
707.91/707.97 c 673s| 2110k| 2094k| 0 | 0.0 | 656M|2681 | - |4134 | 661 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
711.41/711.49 c 677s| 2120k| 2104k| 0 | 0.0 | 659M|2681 | - |4134 | 667 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
714.91/714.97 c 680s| 2130k| 2114k| 0 | 0.0 | 661M|2681 | - |4134 | 603 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
718.41/718.48 c 683s| 2140k| 2124k| 0 | 0.0 | 664M|2681 | - |4134 | 611 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
722.01/722.02 c 687s| 2150k| 2134k| 0 | 0.0 | 667M|2681 | - |4134 | 652 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
725.51/725.52 c 690s| 2160k| 2144k| 0 | 0.0 | 670M|2681 | - |4134 | 619 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
729.00/729.02 c 693s| 2170k| 2154k| 0 | 0.0 | 673M|2681 | - |4134 | 645 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
732.51/732.53 c 696s| 2180k| 2164k| 0 | 0.0 | 676M|2681 | - |4134 | 634 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
736.01/736.04 c 700s| 2190k| 2174k| 0 | 0.0 | 678M|2681 | - |4134 | 601 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
739.51/739.55 c 703s| 2200k| 2183k| 0 | 0.0 | 681M|2681 | - |4134 | 628 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
743.01/743.04 c 707s| 2210k| 2193k| 0 | 0.0 | 684M|2681 | - |4134 | 597 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
746.51/746.54 c 710s| 2220k| 2203k| 0 | 0.0 | 687M|2681 | - |4134 | 635 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
750.01/750.01 c 713s| 2230k| 2213k| 0 | 0.0 | 690M|2681 | - |4134 | 609 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
753.51/753.52 c 717s| 2240k| 2223k| 0 | 0.0 | 693M|2681 | - |4134 | 658 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
757.01/757.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.01/757.03 c 720s| 2250k| 2233k| 0 | 0.0 | 695M|2681 | - |4134 | 659 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
760.50/760.54 c 723s| 2260k| 2243k| 0 | 0.0 | 698M|2681 | - |4134 | 680 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
764.00/764.02 c 727s| 2270k| 2253k| 0 | 0.0 | 701M|2681 | - |4134 | 670 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
767.51/767.52 c 730s| 2280k| 2263k| 0 | 0.0 | 704M|2681 | - |4134 | 702 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
771.01/771.02 c 733s| 2290k| 2273k| 0 | 0.0 | 707M|2681 | - |4134 | 674 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
774.50/774.54 c 737s| 2300k| 2283k| 0 | 0.0 | 710M|2681 | - |4134 | 706 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
778.01/778.04 c 740s| 2310k| 2293k| 0 | 0.0 | 712M|2681 | - |4134 | 670 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
781.51/781.52 c 743s| 2320k| 2303k| 0 | 0.0 | 715M|2681 | - |4134 | 661 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
785.00/785.01 c 747s| 2330k| 2313k| 0 | 0.0 | 718M|2681 | - |4134 | 686 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
788.50/788.52 c 750s| 2340k| 2323k| 0 | 0.0 | 721M|2681 | - |4134 | 696 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
792.01/792.01 c 753s| 2350k| 2333k| 0 | 0.0 | 724M|2681 | - |4134 | 720 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
795.51/795.52 c 757s| 2360k| 2343k| 0 | 0.0 | 726M|2681 | - |4134 | 759 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
799.01/799.02 c 760s| 2370k| 2353k| 0 | 0.0 | 729M|2681 | - |4134 | 728 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
802.51/802.56 c 763s| 2380k| 2363k| 0 | 0.0 | 732M|2681 | - |4134 | 749 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
806.00/806.06 c 767s| 2390k| 2373k| 0 | 0.0 | 735M|2681 | - |4134 | 740 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
809.51/809.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.51/809.59 c 770s| 2400k| 2383k| 0 | 0.0 | 738M|2681 | - |4134 | 744 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
813.10/813.10 c 774s| 2410k| 2393k| 0 | 0.0 | 741M|2681 | - |4134 | 775 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
816.61/816.60 c 777s| 2420k| 2402k| 0 | 0.0 | 743M|2681 | - |4134 | 786 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
820.11/820.11 c 780s| 2430k| 2412k| 0 | 0.0 | 746M|2681 | - |4134 | 738 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
823.61/823.63 c 784s| 2440k| 2422k| 0 | 0.0 | 749M|2681 | - |4134 | 731 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
827.11/827.20 c 787s| 2450k| 2432k| 0 | 0.0 | 752M|2681 | - |4134 | 741 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
830.71/830.74 c 790s| 2460k| 2442k| 0 | 0.0 | 755M|2681 | - |4134 | 778 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
834.21/834.22 c 794s| 2470k| 2452k| 0 | 0.0 | 757M|2681 | - |4134 | 699 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
837.80/837.80 c 797s| 2480k| 2462k| 0 | 0.0 | 760M|2681 | - |4134 | 751 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
841.31/841.32 c 801s| 2490k| 2472k| 0 | 0.0 | 763M|2681 | - |4134 | 765 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
844.82/844.83 c 804s| 2500k| 2482k| 0 | 0.0 | 766M|2681 | - |4134 | 749 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
848.31/848.36 c 807s| 2510k| 2492k| 0 | 0.0 | 769M|2681 | - |4134 | 754 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
851.81/851.89 c 811s| 2520k| 2502k| 0 | 0.0 | 771M|2681 | - |4134 | 785 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
855.40/855.44 c 814s| 2530k| 2512k| 0 | 0.0 | 774M|2681 | - |4134 | 761 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
858.90/858.97 c 817s| 2540k| 2522k| 0 | 0.0 | 777M|2681 | - |4134 | 784 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
862.41/862.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.41/862.49 c 821s| 2550k| 2532k| 0 | 0.0 | 780M|2681 | - |4134 | 730 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
866.01/866.08 c 824s| 2560k| 2542k| 0 | 0.0 | 783M|2681 | - |4134 | 780 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
869.61/869.62 c 828s| 2570k| 2552k| 0 | 0.0 | 786M|2681 | - |4134 | 749 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
873.11/873.13 c 831s| 2580k| 2562k| 0 | 0.0 | 788M|2681 | - |4134 | 745 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
876.61/876.64 c 834s| 2590k| 2572k| 0 | 0.0 | 791M|2681 | - |4134 | 777 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
880.11/880.19 c 838s| 2600k| 2582k| 0 | 0.0 | 794M|2681 | - |4134 | 790 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
883.71/883.74 c 841s| 2610k| 2592k| 0 | 0.0 | 797M|2681 | - |4134 | 841 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
887.21/887.26 c 844s| 2620k| 2602k| 0 | 0.0 | 800M|2681 | - |4134 | 804 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
890.70/890.77 c 848s| 2630k| 2612k| 0 | 0.0 | 802M|2681 | - |4134 | 820 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
894.21/894.28 c 851s| 2640k| 2621k| 0 | 0.0 | 805M|2681 | - |4134 | 813 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
897.81/897.83 c 854s| 2650k| 2631k| 0 | 0.0 | 808M|2681 | - |4134 | 795 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
901.31/901.38 c 858s| 2660k| 2641k| 0 | 0.0 | 811M|2681 | - |4134 | 852 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
904.91/904.91 c 861s| 2670k| 2651k| 0 | 0.0 | 814M|2681 | - |4134 | 836 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
908.41/908.41 c 864s| 2680k| 2661k| 0 | 0.0 | 816M|2681 | - |4134 | 816 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
911.82/911.90 c 868s| 2690k| 2671k| 0 | 0.0 | 819M|2681 | - |4134 | 808 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
915.41/915.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.41/915.44 c 871s| 2700k| 2681k| 0 | 0.0 | 822M|2681 | - |4134 | 849 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
918.91/918.97 c 875s| 2710k| 2691k| 0 | 0.0 | 825M|2681 | - |4134 | 821 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
922.41/922.49 c 878s| 2720k| 2701k| 0 | 0.0 | 828M|2681 | - |4134 | 853 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
926.01/926.01 c 881s| 2730k| 2711k| 0 | 0.0 | 830M|2681 | - |4134 | 815 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
929.52/929.51 c 885s| 2740k| 2721k| 0 | 0.0 | 833M|2681 | - |4134 | 834 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
933.01/933.02 c 888s| 2750k| 2731k| 0 | 0.0 | 836M|2681 | - |4134 | 825 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
936.51/936.52 c 891s| 2760k| 2741k| 0 | 0.0 | 839M|2681 | - |4134 | 791 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
940.11/940.13 c 895s| 2770k| 2751k| 0 | 0.0 | 842M|2681 | - |4134 | 848 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
943.61/943.70 c 898s| 2780k| 2761k| 0 | 0.0 | 845M|2681 | - |4134 | 849 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
947.21/947.27 c 901s| 2790k| 2771k| 0 | 0.0 | 847M|2681 | - |4134 | 821 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
950.81/950.81 c 905s| 2800k| 2781k| 0 | 0.0 | 850M|2681 | - |4134 | 829 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
954.31/954.36 c 908s| 2810k| 2791k| 0 | 0.0 | 853M|2681 | - |4134 | 835 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
957.81/957.87 c 911s| 2820k| 2801k| 0 | 0.0 | 856M|2681 | - |4134 | 844 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
961.42/961.43 c 915s| 2830k| 2811k| 0 | 0.0 | 858M|2681 | - |4134 | 838 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
964.92/964.94 c 918s| 2840k| 2821k| 0 | 0.0 | 861M|2681 | - |4134 | 827 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
968.41/968.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.41/968.48 c 921s| 2850k| 2831k| 0 | 0.0 | 864M|2681 | - |4134 | 803 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
972.01/972.06 c 925s| 2860k| 2840k| 0 | 0.0 | 867M|2681 | - |4134 | 868 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
975.62/975.61 c 928s| 2870k| 2850k| 0 | 0.0 | 870M|2681 | - |4134 | 830 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
979.11/979.12 c 932s| 2880k| 2860k| 0 | 0.0 | 872M|2681 | - |4134 | 830 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
982.61/982.65 c 935s| 2890k| 2870k| 0 | 0.0 | 875M|2681 | - |4134 | 810 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
986.11/986.15 c 938s| 2900k| 2880k| 0 | 0.0 | 878M|2681 | - |4134 | 778 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
989.61/989.65 c 942s| 2910k| 2890k| 0 | 0.0 | 881M|2681 | - |4134 | 787 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
993.11/993.17 c 945s| 2920k| 2900k| 0 | 0.0 | 884M|2681 | - |4134 | 828 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
996.71/996.70 c 948s| 2930k| 2910k| 0 | 0.0 | 886M|2681 | - |4134 | 821 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1000.11/1000.19 c 952s| 2940k| 2920k| 0 | 0.0 | 889M|2681 | - |4134 | 875 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1003.61/1003.69 c 955s| 2950k| 2930k| 0 | 0.0 | 892M|2681 | - |4134 | 863 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1007.11/1007.19 c 958s| 2960k| 2940k| 0 | 0.0 | 895M|2681 | - |4134 | 821 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1010.71/1010.71 c 962s| 2970k| 2950k| 0 | 0.0 | 898M|2681 | - |4134 | 831 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1014.22/1014.23 c 965s| 2980k| 2960k| 0 | 0.0 | 900M|2681 | - |4134 | 833 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1017.71/1017.77 c 968s| 2990k| 2970k| 0 | 0.0 | 903M|2681 | - |4134 | 838 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1021.21/1021.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.21/1021.26 c 972s| 3000k| 2980k| 0 | 0.0 | 906M|2681 | - |4134 | 831 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1024.71/1024.77 c 975s| 3010k| 2990k| 0 | 0.0 | 909M|2681 | - |4134 | 845 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1028.22/1028.26 c 978s| 3020k| 3000k| 0 | 0.0 | 912M|2681 | - |4134 | 834 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1031.72/1031.74 c 982s| 3030k| 3010k| 0 | 0.0 | 915M|2681 | - |4134 | 863 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1035.21/1035.29 c 985s| 3040k| 3020k| 0 | 0.0 | 917M|2681 | - |4134 | 808 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1038.81/1038.83 c 988s| 3050k| 3030k| 0 | 0.0 | 920M|2681 | - |4134 | 824 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1042.31/1042.39 c 992s| 3060k| 3040k| 0 | 0.0 | 923M|2681 | - |4134 | 797 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1045.81/1045.89 c 995s| 3070k| 3049k| 0 | 0.0 | 926M|2681 | - |4134 | 807 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1049.42/1049.40 c 998s| 3080k| 3059k| 0 | 0.0 | 929M|2681 | - |4134 | 768 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1052.92/1052.93 c 1002s| 3090k| 3069k| 0 | 0.0 | 931M|2681 | - |4134 | 763 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1056.41/1056.46 c 1005s| 3100k| 3079k| 0 | 0.0 | 934M|2681 | - |4134 | 733 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1059.91/1059.99 c 1008s| 3110k| 3089k| 0 | 0.0 | 937M|2681 | - |4134 | 723 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1063.41/1063.48 c 1012s| 3120k| 3099k| 0 | 0.0 | 940M|2681 | - |4134 | 743 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1066.92/1066.97 c 1015s| 3130k| 3109k| 0 | 0.0 | 943M|2681 | - |4134 | 711 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1070.41/1070.47 c 1018s| 3140k| 3119k| 0 | 0.0 | 946M|2681 | - |4134 | 734 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1073.91/1073.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.91/1073.97 c 1022s| 3150k| 3129k| 0 | 0.0 | 948M|2681 | - |4134 | 708 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1077.42/1077.46 c 1025s| 3160k| 3139k| 0 | 0.0 | 951M|2681 | - |4134 | 701 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1081.02/1081.00 c 1028s| 3170k| 3149k| 0 | 0.0 | 954M|2681 | - |4134 | 710 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1084.52/1084.51 c 1032s| 3180k| 3159k| 0 | 0.0 | 957M|2681 | - |4134 | 704 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1088.02/1088.00 c 1035s| 3190k| 3169k| 0 | 0.0 | 960M|2681 | - |4134 | 707 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1091.51/1091.53 c 1038s| 3200k| 3179k| 0 | 0.0 | 962M|2681 | - |4134 | 714 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1095.01/1095.04 c 1042s| 3210k| 3189k| 0 | 0.0 | 965M|2681 | - |4134 | 722 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1098.51/1098.56 c 1045s| 3220k| 3199k| 0 | 0.0 | 968M|2681 | - |4134 | 708 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1102.01/1102.09 c 1048s| 3230k| 3209k| 0 | 0.0 | 971M|2681 | - |4134 | 753 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1105.62/1105.60 c 1052s| 3240k| 3219k| 0 | 0.0 | 974M|2681 | - |4134 | 736 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1109.02/1109.09 c 1055s| 3250k| 3229k| 0 | 0.0 | 977M|2681 | - |4134 | 726 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1112.62/1112.61 c 1058s| 3260k| 3239k| 0 | 0.0 | 979M|2681 | - |4134 | 732 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1116.12/1116.13 c 1062s| 3270k| 3249k| 0 | 0.0 | 982M|2681 | - |4134 | 751 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1119.61/1119.63 c 1065s| 3280k| 3259k| 0 | 0.0 | 985M|2681 | - |4134 | 726 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1123.12/1123.13 c 1068s| 3290k| 3269k| 0 | 0.0 | 988M|2681 | - |4134 | 757 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1126.62/1126.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.62/1126.69 c 1072s| 3300k| 3278k| 0 | 0.0 | 991M|2681 | - |4134 | 779 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1130.22/1130.23 c 1075s| 3310k| 3288k| 0 | 0.0 | 993M|2681 | - |4134 | 800 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1133.72/1133.73 c 1078s| 3320k| 3298k| 0 | 0.0 | 996M|2681 | - |4134 | 763 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1137.21/1137.27 c 1082s| 3330k| 3308k| 0 | 0.0 | 999M|2681 | - |4134 | 763 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1140.73/1140.78 c 1085s| 3340k| 3318k| 0 | 0.0 |1002M|2681 | - |4134 | 748 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1144.31/1144.31 c 1088s| 3350k| 3328k| 0 | 0.0 |1005M|2681 | - |4134 | 763 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1147.82/1147.82 c 1092s| 3360k| 3338k| 0 | 0.0 |1008M|2681 | - |4134 | 792 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1151.21/1151.29 c 1095s| 3370k| 3348k| 0 | 0.0 |1010M|2681 | - |4134 | 773 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1154.81/1154.86 c 1098s| 3380k| 3358k| 0 | 0.0 |1013M|2681 | - |4134 | 797 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1158.32/1158.37 c 1102s| 3390k| 3368k| 0 | 0.0 |1016M|2681 | - |4134 | 810 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1161.82/1161.89 c 1105s| 3400k| 3378k| 0 | 0.0 |1019M|2681 | - |4134 | 819 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1165.41/1165.43 c 1108s| 3410k| 3388k| 0 | 0.0 |1022M|2681 | - |4134 | 799 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1168.91/1168.95 c 1112s| 3420k| 3398k| 0 | 0.0 |1024M|2681 | - |4134 | 812 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1172.42/1172.47 c 1115s| 3430k| 3408k| 0 | 0.0 |1027M|2681 | - |4134 | 805 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1175.93/1175.99 c 1119s| 3440k| 3418k| 0 | 0.0 |1030M|2681 | - |4134 | 811 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1179.42/1179.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.42/1179.49 c 1122s| 3450k| 3428k| 0 | 0.0 |1033M|2681 | - |4134 | 788 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1182.91/1182.97 c 1125s| 3460k| 3438k| 0 | 0.0 |1036M|2681 | - |4134 | 750 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1186.41/1186.50 c 1129s| 3470k| 3448k| 0 | 0.0 |1038M|2681 | - |4134 | 761 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1190.02/1190.00 c 1132s| 3480k| 3458k| 0 | 0.0 |1041M|2681 | - |4134 | 737 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1193.52/1193.50 c 1135s| 3490k| 3468k| 0 | 0.0 |1044M|2681 | - |4134 | 753 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1197.02/1197.01 c 1139s| 3500k| 3478k| 0 | 0.0 |1047M|2681 | - |4134 | 775 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1200.52/1200.53 c 1142s| 3510k| 3487k| 0 | 0.0 |1050M|2681 | - |4134 | 790 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1204.02/1204.05 c 1145s| 3520k| 3497k| 0 | 0.0 |1053M|2681 | - |4134 | 769 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1207.51/1207.57 c 1148s| 3530k| 3507k| 0 | 0.0 |1055M|2681 | - |4134 | 760 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1211.02/1211.06 c 1152s| 3540k| 3517k| 0 | 0.0 |1058M|2681 | - |4134 | 745 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1214.61/1214.60 c 1155s| 3550k| 3527k| 0 | 0.0 |1061M|2681 | - |4134 | 747 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1218.12/1218.16 c 1159s| 3560k| 3537k| 0 | 0.0 |1064M|2681 | - |4134 | 733 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1221.62/1221.67 c 1162s| 3570k| 3547k| 0 | 0.0 |1067M|2681 | - |4134 | 755 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1225.21/1225.20 c 1165s| 3580k| 3557k| 0 | 0.0 |1069M|2681 | - |4134 | 758 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1228.62/1228.69 c 1169s| 3590k| 3567k| 0 | 0.0 |1072M|2681 | - |4134 | 737 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1232.12/1232.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.12/1232.18 c 1172s| 3600k| 3577k| 0 | 0.0 |1075M|2681 | - |4134 | 724 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1235.72/1235.70 c 1175s| 3610k| 3587k| 0 | 0.0 |1078M|2681 | - |4134 | 741 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1239.22/1239.21 c 1178s| 3620k| 3597k| 0 | 0.0 |1081M|2681 | - |4134 | 731 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1242.72/1242.72 c 1182s| 3630k| 3607k| 0 | 0.0 |1084M|2681 | - |4134 | 760 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1246.22/1246.23 c 1185s| 3640k| 3617k| 0 | 0.0 |1086M|2681 | - |4134 | 753 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1249.72/1249.74 c 1188s| 3650k| 3627k| 0 | 0.0 |1089M|2681 | - |4134 | 749 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1253.22/1253.24 c 1192s| 3660k| 3637k| 0 | 0.0 |1092M|2681 | - |4134 | 773 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1256.72/1256.77 c 1195s| 3670k| 3647k| 0 | 0.0 |1095M|2681 | - |4134 | 780 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1260.32/1260.33 c 1199s| 3680k| 3657k| 0 | 0.0 |1098M|2681 | - |4134 | 793 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1263.83/1263.86 c 1202s| 3690k| 3667k| 0 | 0.0 |1101M|2681 | - |4134 | 777 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1267.32/1267.38 c 1205s| 3700k| 3677k| 0 | 0.0 |1103M|2681 | - |4134 | 784 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1270.92/1270.90 c 1209s| 3710k| 3687k| 0 | 0.0 |1106M|2681 | - |4134 | 785 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1274.41/1274.41 c 1212s| 3720k| 3697k| 0 | 0.0 |1109M|2681 | - |4134 | 760 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1277.91/1277.94 c 1215s| 3730k| 3707k| 0 | 0.0 |1112M|2681 | - |4134 | 778 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1281.53/1281.50 c 1219s| 3740k| 3716k| 0 | 0.0 |1115M|2681 | - |4134 | 807 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1285.02/1285.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.02/1285.01 c 1222s| 3750k| 3726k| 0 | 0.0 |1118M|2681 | - |4134 | 802 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1288.52/1288.52 c 1225s| 3760k| 3736k| 0 | 0.0 |1120M|2681 | - |4134 | 772 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1292.02/1292.03 c 1229s| 3770k| 3746k| 0 | 0.0 |1123M|2681 | - |4134 | 790 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1295.52/1295.59 c 1232s| 3780k| 3756k| 0 | 0.0 |1126M|2681 | - |4134 | 836 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1299.12/1299.15 c 1235s| 3790k| 3766k| 0 | 0.0 |1129M|2681 | - |4134 | 834 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1302.62/1302.64 c 1239s| 3800k| 3776k| 0 | 0.0 |1132M|2681 | - |4134 | 789 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1306.12/1306.12 c 1242s| 3810k| 3786k| 0 | 0.0 |1135M|2681 | - |4134 | 808 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1309.62/1309.66 c 1246s| 3820k| 3796k| 0 | 0.0 |1137M|2681 | - |4134 | 834 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1313.12/1313.15 c 1249s| 3830k| 3806k| 0 | 0.0 |1140M|2681 | - |4134 | 804 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1316.63/1316.67 c 1252s| 3840k| 3816k| 0 | 0.0 |1143M|2681 | - |4134 | 845 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1320.12/1320.19 c 1256s| 3850k| 3826k| 0 | 0.0 |1146M|2681 | - |4134 | 783 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1323.72/1323.70 c 1259s| 3860k| 3836k| 0 | 0.0 |1149M|2681 | - |4134 | 813 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1327.22/1327.20 c 1262s| 3870k| 3846k| 0 | 0.0 |1151M|2681 | - |4134 | 760 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1330.72/1330.72 c 1266s| 3880k| 3856k| 0 | 0.0 |1154M|2681 | - |4134 | 797 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1334.23/1334.27 c 1269s| 3890k| 3866k| 0 | 0.0 |1157M|2681 | - |4134 | 769 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1337.72/1337.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.72/1337.74 c 1272s| 3900k| 3876k| 0 | 0.0 |1160M|2681 | - |4134 | 766 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1341.22/1341.26 c 1276s| 3910k| 3886k| 0 | 0.0 |1163M|2681 | - |4134 | 780 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1344.72/1344.77 c 1279s| 3920k| 3896k| 0 | 0.0 |1166M|2681 | - |4134 | 774 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1348.32/1348.30 c 1282s| 3930k| 3906k| 0 | 0.0 |1168M|2681 | - |4134 | 776 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1351.83/1351.81 c 1286s| 3940k| 3916k| 0 | 0.0 |1171M|2681 | - |4134 | 795 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1355.22/1355.29 c 1289s| 3950k| 3926k| 0 | 0.0 |1174M|2681 | - |4134 | 781 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1358.72/1358.78 c 1292s| 3960k| 3935k| 0 | 0.0 |1177M|2681 | - |4134 | 774 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1362.22/1362.28 c 1296s| 3970k| 3945k| 0 | 0.0 |1180M|2681 | - |4134 | 799 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1365.72/1365.76 c 1299s| 3980k| 3955k| 0 | 0.0 |1182M|2681 | - |4134 | 762 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1369.22/1369.27 c 1302s| 3990k| 3965k| 0 | 0.0 |1185M|2681 | - |4134 | 775 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1372.72/1372.80 c 1306s| 4000k| 3975k| 0 | 0.0 |1188M|2681 | - |4134 | 765 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1376.32/1376.30 c 1309s| 4010k| 3985k| 0 | 0.0 |1191M|2681 | - |4134 | 772 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1379.72/1379.78 c 1312s| 4020k| 3995k| 0 | 0.0 |1194M|2681 | - |4134 | 754 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1383.32/1383.32 c 1316s| 4030k| 4005k| 0 | 0.0 |1197M|2681 | - |4134 | 776 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1386.82/1386.83 c 1319s| 4040k| 4015k| 0 | 0.0 |1199M|2681 | - |4134 | 777 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1390.32/1390.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.32/1390.33 c 1322s| 4050k| 4025k| 0 | 0.0 |1202M|2681 | - |4134 | 757 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1393.82/1393.86 c 1326s| 4060k| 4035k| 0 | 0.0 |1205M|2681 | - |4134 | 810 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1397.32/1397.39 c 1329s| 4070k| 4045k| 0 | 0.0 |1208M|2681 | - |4134 | 790 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1400.92/1400.91 c 1332s| 4080k| 4055k| 0 | 0.0 |1211M|2681 | - |4134 | 761 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1404.42/1404.42 c 1336s| 4090k| 4065k| 0 | 0.0 |1214M|2681 | - |4134 | 785 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1407.93/1407.95 c 1339s| 4100k| 4075k| 0 | 0.0 |1216M|2681 | - |4134 | 779 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1411.42/1411.49 c 1343s| 4110k| 4085k| 0 | 0.0 |1219M|2681 | - |4134 | 741 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1415.02/1415.02 c 1346s| 4120k| 4095k| 0 | 0.0 |1222M|2681 | - |4134 | 798 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1418.53/1418.59 c 1349s| 4130k| 4105k| 0 | 0.0 |1225M|2681 | - |4134 | 750 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1422.12/1422.10 c 1353s| 4140k| 4115k| 0 | 0.0 |1227M|2681 | - |4134 | 747 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1425.52/1425.60 c 1356s| 4150k| 4125k| 0 | 0.0 |1230M|2681 | - |4134 | 786 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1429.12/1429.10 c 1359s| 4160k| 4135k| 0 | 0.0 |1233M|2681 | - |4134 | 774 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1432.62/1432.65 c 1363s| 4170k| 4144k| 0 | 0.0 |1236M|2681 | - |4134 | 766 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1436.12/1436.17 c 1366s| 4180k| 4154k| 0 | 0.0 |1239M|2681 | - |4134 | 786 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1439.62/1439.67 c 1369s| 4190k| 4164k| 0 | 0.0 |1242M|2681 | - |4134 | 783 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1443.13/1443.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.13/1443.19 c 1373s| 4200k| 4174k| 0 | 0.0 |1244M|2681 | - |4134 | 787 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1446.72/1446.70 c 1376s| 4210k| 4184k| 0 | 0.0 |1247M|2681 | - |4134 | 782 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1450.22/1450.20 c 1379s| 4220k| 4194k| 0 | 0.0 |1250M|2681 | - |4134 | 783 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1453.63/1453.69 c 1383s| 4230k| 4204k| 0 | 0.0 |1253M|2681 | - |4134 | 810 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1457.22/1457.21 c 1386s| 4240k| 4214k| 0 | 0.0 |1256M|2681 | - |4134 | 788 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1460.72/1460.71 c 1389s| 4250k| 4224k| 0 | 0.0 |1258M|2681 | - |4134 | 791 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1464.23/1464.25 c 1393s| 4260k| 4234k| 0 | 0.0 |1261M|2681 | - |4134 | 794 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1467.73/1467.77 c 1396s| 4270k| 4244k| 0 | 0.0 |1264M|2681 | - |4134 | 772 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1471.22/1471.29 c 1399s| 4280k| 4254k| 0 | 0.0 |1267M|2681 | - |4134 | 783 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1474.72/1474.79 c 1403s| 4290k| 4264k| 0 | 0.0 |1270M|2681 | - |4134 | 803 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1478.32/1478.31 c 1406s| 4300k| 4274k| 0 | 0.0 |1273M|2681 | - |4134 | 780 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1481.82/1481.83 c 1410s| 4310k| 4284k| 0 | 0.0 |1275M|2681 | - |4134 | 802 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1485.32/1485.36 c 1413s| 4320k| 4294k| 0 | 0.0 |1278M|2681 | - |4134 | 790 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1488.82/1488.85 c 1416s| 4330k| 4304k| 0 | 0.0 |1281M|2681 | - |4134 | 799 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1492.33/1492.38 c 1420s| 4340k| 4314k| 0 | 0.0 |1284M|2681 | - |4134 | 788 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1495.83/1495.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.83/1495.87 c 1423s| 4350k| 4324k| 0 | 0.0 |1287M|2681 | - |4134 | 792 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1499.42/1499.41 c 1426s| 4360k| 4334k| 0 | 0.0 |1289M|2681 | - |4134 | 802 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1502.92/1502.92 c 1430s| 4370k| 4344k| 0 | 0.0 |1292M|2681 | - |4134 | 785 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1506.42/1506.47 c 1433s| 4380k| 4354k| 0 | 0.0 |1295M|2681 | - |4134 | 784 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1509.92/1509.98 c 1436s| 4390k| 4364k| 0 | 0.0 |1298M|2681 | - |4134 | 782 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1513.43/1513.46 c 1440s| 4400k| 4373k| 0 | 0.0 |1301M|2681 | - |4134 | 800 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1516.93/1517.00 c 1443s| 4410k| 4383k| 0 | 0.0 |1304M|2681 | - |4134 | 827 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1520.53/1520.53 c 1446s| 4420k| 4393k| 0 | 0.0 |1306M|2681 | - |4134 | 793 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1524.03/1524.01 c 1450s| 4430k| 4403k| 0 | 0.0 |1309M|2681 | - |4134 | 794 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1527.53/1527.58 c 1453s| 4440k| 4413k| 0 | 0.0 |1312M|2681 | - |4134 | 834 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1531.13/1531.14 c 1456s| 4450k| 4423k| 0 | 0.0 |1315M|2681 | - |4134 | 810 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1534.63/1534.65 c 1460s| 4460k| 4433k| 0 | 0.0 |1318M|2681 | - |4134 | 839 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1538.12/1538.16 c 1463s| 4470k| 4443k| 0 | 0.0 |1320M|2681 | - |4134 | 783 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1541.63/1541.68 c 1466s| 4480k| 4453k| 0 | 0.0 |1323M|2681 | - |4134 | 806 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1545.22/1545.20 c 1470s| 4490k| 4463k| 0 | 0.0 |1326M|2681 | - |4134 | 810 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1548.73/1548.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.73/1548.71 c 1473s| 4500k| 4473k| 0 | 0.0 |1329M|2681 | - |4134 | 807 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1552.23/1552.20 c 1476s| 4510k| 4483k| 0 | 0.0 |1332M|2681 | - |4134 | 824 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1555.72/1555.73 c 1480s| 4520k| 4493k| 0 | 0.0 |1335M|2681 | - |4134 | 787 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1559.23/1559.22 c 1483s| 4530k| 4503k| 0 | 0.0 |1337M|2681 | - |4134 | 833 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1562.73/1562.74 c 1486s| 4540k| 4513k| 0 | 0.0 |1340M|2681 | - |4134 | 793 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1566.22/1566.29 c 1490s| 4550k| 4523k| 0 | 0.0 |1343M|2681 | - |4134 | 831 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1569.83/1569.83 c 1493s| 4560k| 4533k| 0 | 0.0 |1346M|2681 | - |4134 | 828 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1573.32/1573.34 c 1496s| 4570k| 4543k| 0 | 0.0 |1349M|2681 | - |4134 | 865 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1576.82/1576.84 c 1500s| 4580k| 4553k| 0 | 0.0 |1352M|2681 | - |4134 | 807 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1580.33/1580.35 c 1503s| 4590k| 4563k| 0 | 0.0 |1354M|2681 | - |4134 | 839 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1583.82/1583.84 c 1506s| 4600k| 4573k| 0 | 0.0 |1357M|2681 | - |4134 | 813 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1587.33/1587.31 c 1510s| 4610k| 4582k| 0 | 0.0 |1360M|2681 | - |4134 | 845 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1590.73/1590.78 c 1513s| 4620k| 4592k| 0 | 0.0 |1363M|2681 | - |4134 | 823 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1594.23/1594.25 c 1516s| 4630k| 4602k| 0 | 0.0 |1366M|2681 | - |4134 | 810 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1597.73/1597.74 c 1520s| 4640k| 4612k| 0 | 0.0 |1368M|2681 | - |4134 | 843 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1601.23/1601.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.23/1601.22 c 1523s| 4650k| 4622k| 0 | 0.0 |1371M|2681 | - |4134 | 823 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1604.72/1604.72 c 1526s| 4660k| 4632k| 0 | 0.0 |1374M|2681 | - |4134 | 846 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1608.23/1608.21 c 1529s| 4670k| 4642k| 0 | 0.0 |1377M|2681 | - |4134 | 840 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1611.72/1611.70 c 1533s| 4680k| 4652k| 0 | 0.0 |1380M|2681 | - |4134 | 821 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1615.13/1615.19 c 1536s| 4690k| 4662k| 0 | 0.0 |1383M|2681 | - |4134 | 827 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1618.63/1618.68 c 1539s| 4700k| 4672k| 0 | 0.0 |1386M|2681 | - |4134 | 822 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1622.13/1622.16 c 1543s| 4710k| 4682k| 0 | 0.0 |1388M|2681 | - |4134 | 803 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1625.63/1625.66 c 1546s| 4720k| 4692k| 0 | 0.0 |1391M|2681 | - |4134 | 828 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1629.14/1629.14 c 1549s| 4730k| 4702k| 0 | 0.0 |1394M|2681 | - |4134 | 772 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1632.63/1632.63 c 1553s| 4740k| 4712k| 0 | 0.0 |1397M|2681 | - |4134 | 823 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1636.13/1636.15 c 1556s| 4750k| 4722k| 0 | 0.0 |1400M|2681 | - |4134 | 808 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1639.63/1639.66 c 1559s| 4760k| 4732k| 0 | 0.0 |1403M|2681 | - |4134 | 798 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1643.22/1643.22 c 1563s| 4770k| 4742k| 0 | 0.0 |1406M|2681 | - |4134 | 780 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1646.63/1646.69 c 1566s| 4780k| 4752k| 0 | 0.0 |1408M|2681 | - |4134 | 794 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1650.13/1650.19 c 1569s| 4790k| 4762k| 0 | 0.0 |1411M|2681 | - |4134 | 787 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1653.63/1653.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.63/1653.68 c 1573s| 4800k| 4772k| 0 | 0.0 |1414M|2681 | - |4134 | 775 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1657.13/1657.16 c 1576s| 4810k| 4782k| 0 | 0.0 |1417M|2681 | - |4134 | 780 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1660.63/1660.69 c 1579s| 4820k| 4792k| 0 | 0.0 |1420M|2681 | - |4134 | 788 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1664.13/1664.19 c 1582s| 4830k| 4801k| 0 | 0.0 |1423M|2681 | - |4134 | 822 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1667.73/1667.74 c 1586s| 4840k| 4811k| 0 | 0.0 |1426M|2681 | - |4134 | 791 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1671.23/1671.26 c 1589s| 4850k| 4821k| 0 | 0.0 |1428M|2681 | - |4134 | 779 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1674.73/1674.75 c 1593s| 4860k| 4831k| 0 | 0.0 |1431M|2681 | - |4134 | 780 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1678.22/1678.24 c 1596s| 4870k| 4841k| 0 | 0.0 |1434M|2681 | - |4134 | 775 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1681.72/1681.77 c 1599s| 4880k| 4851k| 0 | 0.0 |1437M|2681 | - |4134 | 770 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1685.23/1685.28 c 1602s| 4890k| 4861k| 0 | 0.0 |1440M|2681 | - |4134 | 801 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1688.73/1688.79 c 1606s| 4900k| 4871k| 0 | 0.0 |1443M|2681 | - |4134 | 794 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1692.33/1692.32 c 1609s| 4910k| 4881k| 0 | 0.0 |1445M|2681 | - |4134 | 783 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1695.83/1695.86 c 1613s| 4920k| 4891k| 0 | 0.0 |1448M|2681 | - |4134 | 762 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1699.33/1699.36 c 1616s| 4930k| 4901k| 0 | 0.0 |1451M|2681 | - |4134 | 777 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1702.83/1702.86 c 1619s| 4940k| 4911k| 0 | 0.0 |1454M|2681 | - |4134 | 768 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1706.33/1706.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.33/1706.37 c 1622s| 4950k| 4921k| 0 | 0.0 |1457M|2681 | - |4134 | 788 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1709.83/1709.88 c 1626s| 4960k| 4931k| 0 | 0.0 |1460M|2681 | - |4134 | 766 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1713.33/1713.37 c 1629s| 4970k| 4941k| 0 | 0.0 |1462M|2681 | - |4134 | 756 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1716.83/1716.89 c 1632s| 4980k| 4951k| 0 | 0.0 |1465M|2681 | - |4134 | 751 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1720.34/1720.36 c 1636s| 4990k| 4961k| 0 | 0.0 |1468M|2681 | - |4134 | 717 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1723.83/1723.87 c 1639s| 5000k| 4971k| 0 | 0.0 |1471M|2681 | - |4134 | 736 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1727.33/1727.39 c 1642s| 5010k| 4981k| 0 | 0.0 |1474M|2681 | - |4134 | 773 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1730.93/1730.90 c 1646s| 5020k| 4991k| 0 | 0.0 |1477M|2681 | - |4134 | 726 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1734.33/1734.38 c 1649s| 5030k| 5001k| 0 | 0.0 |1479M|2681 | - |4134 | 756 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1737.83/1737.88 c 1652s| 5040k| 5011k| 0 | 0.0 |1482M|2681 | - |4134 | 748 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1741.34/1741.36 c 1656s| 5050k| 5020k| 0 | 0.0 |1485M|2681 | - |4134 | 743 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1744.83/1744.85 c 1659s| 5060k| 5030k| 0 | 0.0 |1488M|2681 | - |4134 | 757 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1748.33/1748.35 c 1662s| 5070k| 5040k| 0 | 0.0 |1491M|2681 | - |4134 | 759 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1751.83/1751.84 c 1666s| 5080k| 5050k| 0 | 0.0 |1494M|2681 | - |4134 | 720 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1755.33/1755.35 c 1669s| 5090k| 5060k| 0 | 0.0 |1496M|2681 | - |4134 | 757 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1758.84/1758.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.84/1758.85 c 1672s| 5100k| 5070k| 0 | 0.0 |1499M|2681 | - |4134 | 723 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1762.33/1762.35 c 1676s| 5110k| 5080k| 0 | 0.0 |1502M|2681 | - |4134 | 738 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1765.83/1765.88 c 1679s| 5120k| 5090k| 0 | 0.0 |1505M|2681 | - |4134 | 775 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1769.33/1769.38 c 1682s| 5130k| 5100k| 0 | 0.0 |1508M|2681 | - |4134 | 734 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1772.93/1772.91 c 1686s| 5140k| 5110k| 0 | 0.0 |1511M|2681 | - |4134 | 749 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1776.44/1776.43 c 1689s| 5150k| 5120k| 0 | 0.0 |1513M|2681 | - |4134 | 776 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1779.93/1779.91 c 1692s| 5160k| 5130k| 0 | 0.0 |1516M|2681 | - |4134 | 764 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1783.43/1783.49 c 1696s| 5170k| 5140k| 0 | 0.0 |1519M|2681 | - |4134 | 779 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1787.03/1787.00 c 1699s| 5180k| 5150k| 0 | 0.0 |1522M|2681 | - |4134 | 770 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1790.53/1790.52 c 1702s| 5190k| 5160k| 0 | 0.0 |1525M|2681 | - |4134 | 766 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1794.03/1794.02 c 1706s| 5200k| 5170k| 0 | 0.0 |1528M|2681 | - |4134 | 753 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1797.53/1797.54 c 1709s| 5210k| 5180k| 0 | 0.0 |1530M|2681 | - |4134 | 763 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1711.24
1800.03/1800.00 c Solving Nodes : 5217027
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1711.24
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693687-1277889785.wbo
1800.03/1800.00 c Variables : 4134 (4067 binary, 0 integer, 0 implicit integer, 67 continuous)
1800.03/1800.00 c Constraints : 248 initial, 248 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693687-1277889785.wbo
1800.03/1800.00 c Variables : 4134 (4067 binary, 0 integer, 0 implicit integer, 67 continuous)
1800.03/1800.00 c Constraints : 247 initial, 11913 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 67 0 1 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 67 0 1784 0 1550 0 105 0 0 0
1800.03/1800.00 c setppc : 52 0 5547005 0 5203881 9923 3312135 0 0 0
1800.03/1800.00 c linear : 67 0 5537082 0 5203881 4855 1201853 0 0 0
1800.03/1800.00 c logicor : 61+ 0 927906 0 5203881 1612 199416 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 5203881 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c setppc : 196.20 0.00 22.48 0.00 173.72
1800.03/1800.00 c linear : 29.77 0.00 29.47 0.00 0.30
1800.03/1800.00 c logicor : 143.78 0.00 4.98 0.00 138.80
1800.03/1800.00 c countsols : 0.06 0.00 0.00 0.00 0.06
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.08 2 0 0
1800.03/1800.00 c rootredcost : 0.10 0 0 0
1800.03/1800.00 c pseudoobj : 9.11 5546805 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 36.43 16390 16390 316442 336.3 156097 38.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 160742 57.1 - - -
1800.03/1800.00 c applied locally : - - - 403 490.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 1284.28 5203881 0 0 0 0 10407762
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.12 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.10 0 0
1800.03/1800.00 c trysol : 0.03 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 5217027
1800.03/1800.00 c nodes (total) : 5217027
1800.03/1800.00 c nodes left : 5187269
1800.03/1800.00 c max depth : 2681
1800.03/1800.00 c max depth (total): 2681
1800.03/1800.00 c backtracks : 6518 (0.1%)
1800.03/1800.00 c delayed cutoffs : 3467
1800.03/1800.00 c repropagations : 14264 (255357 domain reductions, 3244 cutoffs)
1800.03/1800.00 c avg switch length: 2.26
1800.03/1800.00 c switching time : 21.76
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/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-2693687-1277889785/watcher-2693687-1277889785 -o /tmp/evaluation-result-2693687-1277889785/solver-2693687-1277889785 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693687-1277889785.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.69 2.80 3.38 4/179 11002
/proc/meminfo: memFree=31334780/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=9180 CPUtime=0
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 1745 0 0 0 0 0 0 0 25 0 1 0 130274801 9400320 1667 4089446400 4194304 7136930 140735982560704 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11002/statm: 2295 1685 275 719 0 1574 0
[startup+0.0348769 s]
/proc/loadavg: 2.69 2.80 3.38 4/179 11002
/proc/meminfo: memFree=31334780/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=22700 CPUtime=0.02
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 6075 0 0 0 2 0 0 0 25 0 1 0 130274801 23244800 4872 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 5675 4872 358 719 0 4954 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22700
[startup+0.100865 s]
/proc/loadavg: 2.69 2.80 3.38 4/179 11002
/proc/meminfo: memFree=31334780/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=25092 CPUtime=0.09
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 7257 0 0 0 9 0 0 0 25 0 1 0 130274801 25694208 5540 4089446400 4194304 7136930 140735982560704 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 6273 5540 390 719 0 5552 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25092
[startup+0.300835 s]
/proc/loadavg: 2.69 2.80 3.38 4/179 11002
/proc/meminfo: memFree=31334780/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=25280 CPUtime=0.29
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 7289 0 0 0 28 1 0 0 25 0 1 0 130274801 25886720 5572 4089446400 4194304 7136930 140735982560704 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 6320 5572 390 719 0 5599 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25280
[startup+0.700758 s]
/proc/loadavg: 2.69 2.80 3.38 4/179 11002
/proc/meminfo: memFree=31334780/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=26456 CPUtime=0.69
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 7593 0 0 0 68 1 0 0 25 0 1 0 130274801 27090944 5876 4089446400 4194304 7136930 140735982560704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 6614 5876 390 719 0 5893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26456
[startup+1.50062 s]
/proc/loadavg: 2.69 2.80 3.38 3/180 11003
/proc/meminfo: memFree=31311708/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=27492 CPUtime=1.49
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 7871 0 0 0 146 3 0 0 25 0 1 0 130274801 28151808 6154 4089446400 4194304 7136930 140735982560704 18446744073709551615 4407888 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 6873 6154 394 719 0 6152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27492
[startup+3.10033 s]
/proc/loadavg: 2.63 2.79 3.38 3/180 11003
/proc/meminfo: memFree=31310220/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=29192 CPUtime=3.09
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 8324 0 0 0 305 4 0 0 25 0 1 0 130274801 29892608 6607 4089446400 4194304 7136930 140735982560704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 7298 6607 394 719 0 6577 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29192
[startup+6.30077 s]
/proc/loadavg: 2.63 2.79 3.38 3/180 11003
/proc/meminfo: memFree=31307016/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=32128 CPUtime=6.29
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 9097 0 0 0 619 10 0 0 25 0 1 0 130274801 32899072 7380 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 8032 7380 394 719 0 7311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32128
[startup+12.7006 s]
/proc/loadavg: 2.53 2.76 3.36 3/180 11004
/proc/meminfo: memFree=31301812/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=37236 CPUtime=12.69
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 10428 0 0 0 1251 18 0 0 25 0 1 0 130274801 38129664 8711 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 9309 8711 394 719 0 8588 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37236
[startup+25.5004 s]
/proc/loadavg: 2.45 2.74 3.35 3/180 11004
/proc/meminfo: memFree=31290108/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=48512 CPUtime=25.49
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 13347 0 0 0 2511 38 0 0 25 0 1 0 130274801 49676288 11630 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 12128 11630 394 719 0 11407 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48512
[startup+51.1009 s]
/proc/loadavg: 2.30 2.68 3.31 3/180 11004
/proc/meminfo: memFree=31269276/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=70924 CPUtime=51.09
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 18689 0 0 0 5031 78 0 0 25 0 1 0 130274801 72626176 16972 4089446400 4194304 7136930 140735982560704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11002/statm: 17731 16972 394 719 0 17010 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 70924
[startup+102.307 s]
/proc/loadavg: 2.12 2.56 3.23 3/180 11006
/proc/meminfo: memFree=31221648/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=119332 CPUtime=102.3
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 30299 0 0 0 10059 171 0 0 25 0 1 0 130274801 122195968 28582 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11002/statm: 29833 28582 394 719 0 29112 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 119332
[startup+162.3 s]
/proc/loadavg: 2.04 2.45 3.15 3/187 11029
/proc/meminfo: memFree=30960680/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=175640 CPUtime=162.29
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 45068 0 0 0 15853 376 0 0 25 0 1 0 130274801 179855360 43351 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 43910 43351 394 719 0 43189 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 175640
[startup+222.301 s]
/proc/loadavg: 2.01 2.37 3.08 3/187 11030
/proc/meminfo: memFree=30897192/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=245076 CPUtime=222.29
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 61044 0 0 0 21493 736 0 0 25 0 1 0 130274801 250957824 59327 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 61269 59327 394 719 0 60548 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 245076
[startup+282.301 s]
/proc/loadavg: 2.04 2.31 3.01 3/187 11031
/proc/meminfo: memFree=30830540/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=308232 CPUtime=282.3
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 77451 0 0 0 27139 1091 0 0 25 0 1 0 130274801 315629568 75734 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 77058 75734 394 719 0 76337 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 308232
[startup+342.3 s]
/proc/loadavg: 2.01 2.25 2.95 3/187 11033
/proc/meminfo: memFree=30754596/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=397164 CPUtime=342.29
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 96215 0 0 0 32759 1470 0 0 25 0 1 0 130274801 406695936 94498 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 99291 94498 394 719 0 98570 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 397164
[startup+402.301 s]
/proc/loadavg: 2.00 2.20 2.88 3/187 11035
/proc/meminfo: memFree=30655588/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=493348 CPUtime=402.3
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 120910 0 0 0 38329 1901 0 0 25 0 1 0 130274801 505188352 119193 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 123337 119193 394 719 0 122616 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 493348
[startup+462.301 s]
/proc/loadavg: 2.05 2.18 2.83 3/187 11037
/proc/meminfo: memFree=30604708/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=540880 CPUtime=462.3
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 133424 0 0 0 44001 2229 0 0 25 0 1 0 130274801 553861120 131707 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 135220 131707 394 719 0 134499 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 540880
[startup+522.3 s]
/proc/loadavg: 2.08 2.16 2.78 3/197 11086
/proc/meminfo: memFree=30836692/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=591716 CPUtime=522.3
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 146813 0 0 0 49678 2552 0 0 25 0 1 0 130274801 605917184 145096 4089446400 4194304 7136930 140735982560704 18446744073709551615 4642126 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 147929 145096 394 719 0 147208 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 591716
[startup+582.301 s]
/proc/loadavg: 2.03 2.13 2.73 3/197 11087
/proc/meminfo: memFree=30750544/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=640640 CPUtime=582.3
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 159685 0 0 0 55392 2838 0 0 25 0 1 0 130274801 656015360 157968 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 160160 157968 394 719 0 159439 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 640640
[startup+642.3 s]
/proc/loadavg: 2.01 2.10 2.68 3/197 11089
/proc/meminfo: memFree=30687752/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=687860 CPUtime=642.31
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 172168 0 0 0 61086 3145 0 0 25 0 1 0 130274801 704368640 170451 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 171965 170451 394 719 0 171244 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 687860
[startup+702.301 s]
################
# More data... #
################
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 248582 0 0 0 95359 4872 0 0 25 0 1 0 130274801 1034981376 246865 4089446400 4194304 7136930 140735982560704 18446744073709551615 5892288 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 252681 246865 394 719 0 251960 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1010724
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.43 3/197 11101
/proc/meminfo: memFree=30293964/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1064196 CPUtime=1062.32
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 262601 0 0 0 101052 5180 0 0 25 0 1 0 130274801 1089736704 260884 4089446400 4194304 7136930 140735982560704 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 266049 260884 394 719 0 265328 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1064196
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.40 3/197 11102
/proc/meminfo: memFree=30240572/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1110432 CPUtime=1122.32
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 274770 0 0 0 106744 5488 0 0 25 0 1 0 130274801 1137082368 273053 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 277608 273053 394 719 0 276887 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1110432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.37 3/197 11103
/proc/meminfo: memFree=30187800/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1158480 CPUtime=1182.32
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 287415 0 0 0 112455 5777 0 0 25 0 1 0 130274801 1186283520 285698 4089446400 4194304 7136930 140735982560704 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 289620 285698 394 719 0 288899 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1158480
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.34 3/197 11105
/proc/meminfo: memFree=30134160/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1204984 CPUtime=1242.32
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 299724 0 0 0 118145 6087 0 0 25 0 1 0 130274801 1233903616 298007 4089446400 4194304 7136930 140735982560704 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 301246 298007 394 719 0 300525 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1204984
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.32 3/197 11107
/proc/meminfo: memFree=30085000/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1251132 CPUtime=1302.33
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 311925 0 0 0 123850 6383 0 0 25 0 1 0 130274801 1281159168 310208 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 312783 310208 394 719 0 312062 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1251132
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.30 3/197 11109
/proc/meminfo: memFree=30032864/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1298008 CPUtime=1362.32
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 324305 0 0 0 129568 6664 0 0 25 0 1 0 130274801 1329160192 322588 4089446400 4194304 7136930 140735982560704 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 324502 322588 394 719 0 323781 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1298008
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.28 3/197 11110
/proc/meminfo: memFree=29980344/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1347248 CPUtime=1422.33
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 337295 0 0 0 135279 6954 0 0 25 0 1 0 130274801 1379581952 335578 4089446400 4194304 7136930 140735982560704 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 336812 335578 394 719 0 336091 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1347248
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.26 3/197 11111
/proc/meminfo: memFree=29930588/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1460056 CPUtime=1482.33
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 349785 0 0 0 140996 7237 0 0 25 0 1 0 130274801 1495097344 348068 4089446400 4194304 7136930 140735982560704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 365014 348068 394 719 0 364293 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1460056
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/197 11113
/proc/meminfo: memFree=29862400/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1508580 CPUtime=1542.32
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 362552 0 0 0 146691 7541 0 0 25 0 1 0 130274801 1544785920 360835 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 377145 360835 394 719 0 376424 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1508580
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.23 3/197 11115
/proc/meminfo: memFree=29815356/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1552748 CPUtime=1602.33
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 374243 0 0 0 152386 7847 0 0 25 0 1 0 130274801 1590013952 372526 4089446400 4194304 7136930 140735982560704 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 388187 372526 394 719 0 387466 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1552748
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.21 3/197 11117
/proc/meminfo: memFree=29762628/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1603008 CPUtime=1662.33
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 387439 0 0 0 158071 8162 0 0 25 0 1 0 130274801 1641480192 385722 4089446400 4194304 7136930 140735982560704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 400752 385722 394 719 0 400031 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1603008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/197 11118
/proc/meminfo: memFree=29713456/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1649276 CPUtime=1722.34
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 399686 0 0 0 163759 8475 0 0 25 0 1 0 130274801 1688858624 397969 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 412319 397969 394 719 0 411598 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1649276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/197 11119
/proc/meminfo: memFree=29657736/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1697820 CPUtime=1782.33
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 412498 0 0 0 169444 8789 0 0 25 0 1 0 130274801 1738567680 410781 4089446400 4194304 7136930 140735982560704 18446744073709551615 4407911 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 424455 410781 394 719 0 423734 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1697820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.18 3/197 11120
/proc/meminfo: memFree=29640724/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1711916 CPUtime=1800.03
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 416212 0 0 0 171124 8879 0 0 25 0 1 0 130274801 1753001984 414495 4089446400 4194304 7136930 140735982560704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11002/statm: 427979 414495 394 719 0 427258 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1711916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11002
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.18 3/198 11121
/proc/meminfo: memFree=29640344/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1709976 CPUtime=1801.43
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 416230 0 0 0 171264 8879 0 0 20 0 1 0 130274801 1751015424 414028 4089446400 4194304 7136930 140735982560704 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11002/statm: 427494 414028 399 719 0 426773 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1709976
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.17 3/198 11121
/proc/meminfo: memFree=29641708/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1709976 CPUtime=1801.84
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 416230 0 0 0 171305 8879 0 0 20 0 1 0 130274801 1751015424 414028 4089446400 4194304 7136930 140735982560704 18446744073709551615 6165591 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11002/statm: 427494 414028 399 719 0 426773 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1709976
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.17 3/198 11121
/proc/meminfo: memFree=29641708/32950928 swapFree=4192956/4192956
[pid=11002] ppid=11000 vsize=1709976 CPUtime=1802.03
/proc/11002/stat : 11002 (pbscip.linux.x8) R 11000 11002 9516 0 -1 4202496 416230 0 0 0 171324 8879 0 0 21 0 1 0 130274801 1751015424 414028 4089446400 4194304 7136930 140735982560704 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11002/statm: 427494 414028 399 719 0 426773 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1709976
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.1
CPU user time (s): 1713.25
CPU system time (s): 88.8515
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1711916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.25
system time used= 88.8515
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416230
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= 1210
runsolver used 2.72358 second user time and 5.79312 second system time
The end
Begin job on node124 at 2010-06-30 11:23:05
IDJOB=2693687
IDBENCH=78669
IDSOLVER=1206
FILE ID=node124/2693687-1277889785
PBS_JOBID= 11197105
Free space on /tmp= 130604 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-chnl40_50_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-2693687-1277889785/watcher-2693687-1277889785 -o /tmp/evaluation-result-2693687-1277889785/solver-2693687-1277889785 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693687-1277889785.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0158a6ff32db5686aa85d7a9b49d6df3
RANDOM SEED=1575723613
node124.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.833
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.66
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.833
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 : 5226.07
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.833
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.74
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.833
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 : 5332.77
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.833
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.833
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.82
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.833
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.833
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: 32950928 kB
MemFree: 31335432 kB
Buffers: 173488 kB
Cached: 1123696 kB
SwapCached: 0 kB
Active: 689320 kB
Inactive: 813708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31335432 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3308 kB
Writeback: 0 kB
AnonPages: 205908 kB
Mapped: 18552 kB
Slab: 79636 kB
PageTables: 5120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 20668420 kB
Committed_AS: 444768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 130620 MiB
End job on node124 at 2010-06-30 11:53:07