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-2693702-1277889948.wbo>
0.00/0.01 c original problem has 3388 variables (3334 bin, 0 int, 0 impl, 54 cont) and 217 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 54 impls, 56 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 54 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 54 impls, 56 clqs
0.00/0.03 c (round 3) 0 del vars, 1 del conss, 54 chg bounds, 0 chg sides, 0 chg coeffs, 52 upgd conss, 54 impls, 56 clqs
0.00/0.03 c (round 4) 0 del vars, 1 del conss, 54 chg bounds, 0 chg sides, 0 chg coeffs, 108 upgd conss, 54 impls, 56 clqs
0.00/0.05 c (0.0s) probing: 101/3334 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (5 rounds):
0.00/0.05 c 0 deleted vars, 1 deleted constraints, 54 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 54 implications, 56 cliques
0.00/0.05 c presolved problem has 3388 variables (3334 bin, 0 int, 0 impl, 54 cont) and 216 constraints
0.00/0.05 c 54 constraints of type <indicator>
0.00/0.05 c 56 constraints of type <setppc>
0.00/0.05 c 54 constraints of type <linear>
0.00/0.05 c 52 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 2 | 0 | - |6354k| 0 | - |3388 | 216 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.79/2.89 c 2.8s| 10000 | 9973 | 0 | 0.0 |9969k|2156 | - |3388 | 321 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
5.99/6.05 c 5.9s| 20000 | 19925 | 0 | 0.0 | 12M|2156 | - |3388 | 326 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
9.19/9.23 c 9.0s| 30000 | 29884 | 0 | 0.0 | 15M|2156 | - |3388 | 378 | 0 | 0 | 0 | 617 | 0 | 0.000000e+00 | -- | Inf
12.39/12.41 c 12.2s| 40000 | 39849 | 0 | 0.0 | 18M|2156 | - |3388 | 395 | 0 | 0 | 0 | 812 | 0 | 0.000000e+00 | -- | Inf
15.59/15.61 c 15.3s| 50000 | 49805 | 0 | 0.0 | 21M|2156 | - |3388 | 446 | 0 | 0 | 0 |1048 | 0 | 0.000000e+00 | -- | Inf
18.79/18.82 c 18.4s| 60000 | 59761 | 0 | 0.0 | 24M|2156 | - |3388 | 464 | 0 | 0 | 0 |1286 | 0 | 0.000000e+00 | -- | Inf
22.00/22.03 c 21.6s| 70000 | 69720 | 0 | 0.0 | 27M|2156 | - |3388 | 438 | 0 | 0 | 0 |1502 | 0 | 0.000000e+00 | -- | Inf
25.20/25.24 c 24.7s| 80000 | 79672 | 0 | 0.0 | 30M|2156 | - |3388 | 457 | 0 | 0 | 0 |1744 | 0 | 0.000000e+00 | -- | Inf
28.39/28.40 c 27.9s| 90000 | 89630 | 0 | 0.0 | 32M|2156 | - |3388 | 439 | 0 | 0 | 0 |1956 | 0 | 0.000000e+00 | -- | Inf
31.59/31.62 c 31.0s|100000 | 99582 | 0 | 0.0 | 35M|2156 | - |3388 | 496 | 0 | 0 | 0 |2205 | 0 | 0.000000e+00 | -- | Inf
34.69/34.76 c 34.1s|110000 |109541 | 0 | 0.0 | 38M|2156 | - |3388 | 454 | 0 | 0 | 0 |2422 | 0 | 0.000000e+00 | -- | Inf
37.89/37.98 c 37.2s|120000 |119495 | 0 | 0.0 | 41M|2156 | - |3388 | 499 | 0 | 0 | 0 |2660 | 0 | 0.000000e+00 | -- | Inf
41.10/41.14 c 40.3s|130000 |129450 | 0 | 0.0 | 43M|2156 | - |3388 | 522 | 0 | 0 | 0 |2901 | 0 | 0.000000e+00 | -- | Inf
44.29/44.35 c 43.5s|140000 |139393 | 0 | 0.0 | 46M|2156 | - |3388 | 597 | 0 | 0 | 0 |3216 | 0 | 0.000000e+00 | -- | Inf
47.49/47.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.49/47.52 c 46.6s|150000 |149350 | 0 | 0.0 | 49M|2156 | - |3388 | 560 | 0 | 0 | 0 |3449 | 0 | 0.000000e+00 | -- | Inf
50.60/50.67 c 49.7s|160000 |159312 | 0 | 0.0 | 52M|2156 | - |3388 | 540 | 0 | 0 | 0 |3648 | 0 | 0.000000e+00 | -- | Inf
53.69/53.78 c 52.7s|170000 |169269 | 0 | 0.0 | 54M|2156 | - |3388 | 601 | 0 | 0 | 0 |3870 | 0 | 0.000000e+00 | -- | Inf
56.89/56.97 c 55.9s|180000 |179224 | 0 | 0.0 | 57M|2156 | - |3388 | 602 | 0 | 0 | 0 |4102 | 0 | 0.000000e+00 | -- | Inf
60.09/60.10 c 58.9s|190000 |189184 | 0 | 0.0 | 60M|2156 | - |3388 | 586 | 0 | 0 | 0 |4318 | 0 | 0.000000e+00 | -- | Inf
63.19/63.27 c 62.0s|200000 |199131 | 0 | 0.0 | 63M|2156 | - |3388 | 597 | 0 | 0 | 0 |4593 | 0 | 0.000000e+00 | -- | Inf
66.29/66.38 c 65.1s|210000 |209091 | 0 | 0.0 | 65M|2156 | - |3388 | 606 | 0 | 0 | 0 |4829 | 0 | 0.000000e+00 | -- | Inf
69.39/69.48 c 68.1s|220000 |219061 | 0 | 0.0 | 68M|2156 | - |3388 | 582 | 0 | 0 | 0 |4997 | 0 | 0.000000e+00 | -- | Inf
72.50/72.58 c 71.2s|230000 |229010 | 0 | 0.0 | 71M|2156 | - |3388 | 628 | 0 | 0 | 0 |5268 | 0 | 0.000000e+00 | -- | Inf
75.59/75.69 c 74.2s|240000 |238960 | 0 | 0.0 | 74M|2156 | - |3388 | 630 | 0 | 0 | 0 |5518 | 0 | 0.000000e+00 | -- | Inf
78.69/78.75 c 77.2s|250000 |248913 | 0 | 0.0 | 76M|2156 | - |3388 | 634 | 0 | 0 | 0 |5767 | 0 | 0.000000e+00 | -- | Inf
81.79/81.82 c 80.2s|260000 |258869 | 0 | 0.0 | 79M|2156 | - |3388 | 631 | 0 | 0 | 0 |6007 | 0 | 0.000000e+00 | -- | Inf
84.79/84.84 c 83.2s|270000 |268820 | 0 | 0.0 | 82M|2156 | - |3388 | 626 | 0 | 0 | 0 |6256 | 0 | 0.000000e+00 | -- | Inf
87.79/87.88 c 86.2s|280000 |278781 | 0 | 0.0 | 85M|2156 | - |3388 | 654 | 0 | 0 | 0 |6471 | 0 | 0.000000e+00 | -- | Inf
91.00/91.03 c 89.3s|290000 |288741 | 0 | 0.0 | 87M|2156 | - |3388 | 634 | 0 | 0 | 0 |6691 | 0 | 0.000000e+00 | -- | Inf
94.10/94.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.10/94.18 c 92.3s|300000 |298693 | 0 | 0.0 | 90M|2156 | - |3388 | 623 | 0 | 0 | 0 |6931 | 0 | 0.000000e+00 | -- | Inf
97.20/97.29 c 95.4s|310000 |308634 | 0 | 0.0 | 93M|2156 | - |3388 | 643 | 0 | 0 | 0 |7231 | 0 | 0.000000e+00 | -- | Inf
100.29/100.37 c 98.4s|320000 |318572 | 0 | 0.0 | 96M|2156 | - |3388 | 703 | 0 | 0 | 0 |7550 | 0 | 0.000000e+00 | -- | Inf
103.30/103.38 c 101s|330000 |328537 | 0 | 0.0 | 98M|2156 | - |3388 | 625 | 0 | 0 | 0 |7745 | 0 | 0.000000e+00 | -- | Inf
106.39/106.43 c 104s|340000 |338482 | 0 | 0.0 | 101M|2156 | - |3388 | 676 | 0 | 0 | 0 |8053 | 0 | 0.000000e+00 | -- | Inf
109.39/109.45 c 107s|350000 |348431 | 0 | 0.0 | 104M|2156 | - |3388 | 710 | 0 | 0 | 0 |8332 | 0 | 0.000000e+00 | -- | Inf
112.39/112.46 c 110s|360000 |358391 | 0 | 0.0 | 107M|2156 | - |3388 | 684 | 0 | 0 | 0 |8561 | 0 | 0.000000e+00 | -- | Inf
115.39/115.46 c 113s|370000 |368338 | 0 | 0.0 | 110M|2156 | - |3388 | 703 | 0 | 0 | 0 |8851 | 0 | 0.000000e+00 | -- | Inf
118.40/118.45 c 116s|380000 |378278 | 0 | 0.0 | 113M|2156 | - |3388 | 713 | 0 | 0 | 0 |9171 | 0 | 0.000000e+00 | -- | Inf
121.39/121.44 c 119s|390000 |388228 | 0 | 0.0 | 115M|2156 | - |3388 | 703 | 0 | 0 | 0 |9446 | 0 | 0.000000e+00 | -- | Inf
124.30/124.36 c 122s|400000 |398176 | 0 | 0.0 | 118M|2156 | - |3388 | 731 | 0 | 0 | 0 |9719 | 0 | 0.000000e+00 | -- | Inf
127.00/127.04 c 124s|410000 |408117 | 0 | 0.0 | 121M|2156 | - |3388 | 721 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
129.59/129.70 c 127s|420000 |418064 | 0 | 0.0 | 124M|2156 | - |3388 | 710 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
132.30/132.35 c 129s|430000 |428007 | 0 | 0.0 | 127M|2156 | - |3388 | 726 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
134.90/134.98 c 132s|440000 |437948 | 0 | 0.0 | 130M|2156 | - |3388 | 725 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
137.59/137.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.59/137.62 c 134s|450000 |447880 | 0 | 0.0 | 132M|2156 | - |3388 | 759 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
140.19/140.25 c 137s|460000 |457821 | 0 | 0.0 | 135M|2156 | - |3388 | 744 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
142.80/142.87 c 139s|470000 |467766 | 0 | 0.0 | 138M|2156 | - |3388 | 743 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
145.50/145.50 c 141s|480000 |477700 | 0 | 0.0 | 141M|2156 | - |3388 | 776 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
148.09/148.12 c 144s|490000 |487654 | 0 | 0.0 | 144M|2156 | - |3388 | 764 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
150.70/150.75 c 146s|500000 |497584 | 0 | 0.0 | 147M|2156 | - |3388 | 823 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
153.30/153.38 c 149s|510000 |507519 | 0 | 0.0 | 150M|2156 | - |3388 | 807 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
155.99/156.00 c 151s|520000 |517456 | 0 | 0.0 | 153M|2156 | - |3388 | 793 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
158.50/158.57 c 154s|530000 |527396 | 0 | 0.0 | 155M|2156 | - |3388 | 798 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
161.09/161.15 c 156s|540000 |537326 | 0 | 0.0 | 158M|2156 | - |3388 | 820 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
163.69/163.73 c 159s|550000 |547262 | 0 | 0.0 | 161M|2156 | - |3388 | 814 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
166.30/166.35 c 161s|560000 |557194 | 0 | 0.0 | 164M|2156 | - |3388 | 857 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
168.90/168.94 c 163s|570000 |567120 | 0 | 0.0 | 167M|2156 | - |3388 | 875 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
171.50/171.53 c 166s|580000 |577057 | 0 | 0.0 | 170M|2156 | - |3388 | 871 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
174.10/174.10 c 168s|590000 |586994 | 0 | 0.0 | 173M|2156 | - |3388 | 876 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
176.70/176.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.70/176.72 c 171s|600000 |596920 | 0 | 0.0 | 176M|2156 | - |3388 | 912 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
179.30/179.33 c 173s|610000 |606855 | 0 | 0.0 | 179M|2156 | - |3388 | 900 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
181.90/181.91 c 176s|620000 |616782 | 0 | 0.0 | 182M|2156 | - |3388 | 911 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
184.39/184.47 c 178s|630000 |626707 | 0 | 0.0 | 184M|2156 | - |3388 | 891 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
187.00/187.02 c 180s|640000 |636652 | 0 | 0.0 | 187M|2156 | - |3388 | 888 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
189.60/189.60 c 183s|650000 |646577 | 0 | 0.0 | 190M|2156 | - |3388 | 922 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
192.10/192.16 c 185s|660000 |656507 | 0 | 0.0 | 193M|2156 | - |3388 | 958 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
194.70/194.76 c 187s|670000 |666418 | 0 | 0.0 | 196M|2156 | - |3388 | 947 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
197.29/197.34 c 190s|680000 |676351 | 0 | 0.0 | 199M|2156 | - |3388 | 959 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
199.79/199.89 c 192s|690000 |686284 | 0 | 0.0 | 202M|2156 | - |3388 | 982 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
202.40/202.48 c 195s|700000 |696207 | 0 | 0.0 | 205M|2156 | - |3388 | 978 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
205.10/205.12 c 197s|710000 |706118 | 0 | 0.0 | 208M|2156 | - |3388 |1006 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
207.70/207.76 c 200s|720000 |716034 | 0 | 0.0 | 211M|2156 | - |3388 |1031 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
210.29/210.38 c 202s|730000 |725967 | 0 | 0.0 | 214M|2156 | - |3388 | 978 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
212.99/213.06 c 205s|740000 |735877 | 0 | 0.0 | 217M|2156 | - |3388 | 999 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
215.70/215.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.70/215.73 c 207s|750000 |745822 | 0 | 0.0 | 220M|2156 | - |3388 |1008 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
218.30/218.37 c 210s|760000 |755767 | 0 | 0.0 | 223M|2156 | - |3388 |1000 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
221.00/221.02 c 212s|770000 |765696 | 0 | 0.0 | 226M|2156 | - |3388 |1009 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
223.59/223.63 c 215s|780000 |775628 | 0 | 0.0 | 229M|2156 | - |3388 |1020 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
226.19/226.25 c 217s|790000 |785551 | 0 | 0.0 | 232M|2156 | - |3388 |1010 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
228.80/228.86 c 219s|800000 |795473 | 0 | 0.0 | 235M|2156 | - |3388 |1009 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
231.40/231.45 c 222s|810000 |805400 | 0 | 0.0 | 238M|2156 | - |3388 |1002 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
233.99/234.01 c 224s|820000 |815331 | 0 | 0.0 | 241M|2156 | - |3388 |1002 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
236.51/236.55 c 227s|830000 |825266 | 0 | 0.0 | 244M|2156 | - |3388 |1019 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
239.00/239.07 c 229s|840000 |835189 | 0 | 0.0 | 247M|2156 | - |3388 |1001 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
241.59/241.60 c 231s|850000 |845120 | 0 | 0.0 | 250M|2156 | - |3388 |1021 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
244.10/244.10 c 234s|860000 |855048 | 0 | 0.0 | 253M|2156 | - |3388 |1014 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
246.60/246.60 c 236s|870000 |864976 | 0 | 0.0 | 256M|2156 | - |3388 |1012 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
248.99/249.03 c 238s|880000 |874900 | 0 | 0.0 | 259M|2156 | - |3388 |1018 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
251.40/251.46 c 240s|890000 |884827 | 0 | 0.0 | 262M|2156 | - |3388 |1027 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
253.89/253.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.89/253.90 c 243s|900000 |894731 | 0 | 0.0 | 265M|2156 | - |3388 |1035 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
256.30/256.32 c 245s|910000 |904648 | 0 | 0.0 | 268M|2156 | - |3388 |1036 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
258.70/258.73 c 247s|920000 |914563 | 0 | 0.0 | 271M|2156 | - |3388 |1089 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
261.10/261.13 c 249s|930000 |924469 | 0 | 0.0 | 274M|2156 | - |3388 |1156 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
263.40/263.49 c 251s|940000 |934386 | 0 | 0.0 | 277M|2156 | - |3388 |1237 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
265.79/265.80 c 253s|950000 |944290 | 0 | 0.0 | 281M|2156 | - |3388 |1370 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
268.00/268.07 c 255s|960000 |954193 | 0 | 0.0 | 284M|2156 | - |3388 |1493 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
270.30/270.37 c 258s|970000 |964050 | 0 | 0.0 | 287M|2156 | - |3388 |1684 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
272.60/272.63 c 260s|980000 |973914 | 0 | 0.0 | 290M|2156 | - |3388 |1901 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
274.80/274.82 c 262s|990000 |983792 | 0 | 0.0 | 294M|2156 | - |3388 |2089 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
277.00/277.02 c 264s| 1000k|993631 | 0 | 0.0 | 297M|2156 | - |3388 |2330 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
279.10/279.11 c 266s| 1010k| 1003k| 0 | 0.0 | 300M|2156 | - |3388 |2600 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
281.20/281.21 c 267s| 1020k| 1013k| 0 | 0.0 | 304M|2156 | - |3388 |2944 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
283.20/283.28 c 269s| 1030k| 1023k| 0 | 0.0 | 307M|2156 | - |3388 |3264 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
285.30/285.31 c 271s| 1040k| 1032k| 0 | 0.0 | 311M|2156 | - |3388 |3689 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
287.30/287.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.30/287.31 c 273s| 1050k| 1042k| 0 | 0.0 | 314M|2156 | - |3388 |4241 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
289.30/289.32 c 275s| 1060k| 1052k| 0 | 0.0 | 318M|2156 | - |3388 |4951 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
291.20/291.24 c 277s| 1070k| 1062k| 0 | 0.0 | 322M|2156 | - |3388 |5735 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
293.00/293.08 c 278s| 1080k| 1071k| 0 | 0.0 | 326M|2156 | - |3388 |6580 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
294.80/294.85 c 280s| 1090k| 1081k| 0 | 0.0 | 331M|2156 | - |3388 |8098 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
297.20/297.29 c 282s| 1100k| 1089k| 0 | 0.0 | 340M|2156 | - |3388 | 11k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
300.10/300.17 c 285s| 1110k| 1099k| 0 | 0.0 | 337M|2156 | - |3388 |1116 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
302.90/302.98 c 287s| 1120k| 1109k| 0 | 0.0 | 340M|2156 | - |3388 |1034 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
305.71/305.80 c 290s| 1130k| 1119k| 0 | 0.0 | 343M|2156 | - |3388 |1024 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
308.60/308.66 c 293s| 1140k| 1129k| 0 | 0.0 | 345M|2156 | - |3388 | 967 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
311.50/311.53 c 295s| 1150k| 1139k| 0 | 0.0 | 348M|2156 | - |3388 | 985 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
314.30/314.32 c 298s| 1160k| 1149k| 0 | 0.0 | 351M|2156 | - |3388 | 945 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
317.10/317.18 c 301s| 1170k| 1159k| 0 | 0.0 | 354M|2156 | - |3388 | 930 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
320.01/320.01 c 303s| 1180k| 1169k| 0 | 0.0 | 356M|2156 | - |3388 | 906 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
322.80/322.85 c 306s| 1190k| 1179k| 0 | 0.0 | 359M|2156 | - |3388 | 878 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
325.60/325.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.60/325.69 c 308s| 1200k| 1189k| 0 | 0.0 | 362M|2156 | - |3388 | 843 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
328.50/328.56 c 311s| 1210k| 1199k| 0 | 0.0 | 365M|2156 | - |3388 | 849 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
331.40/331.41 c 314s| 1220k| 1209k| 0 | 0.0 | 367M|2156 | - |3388 | 750 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
334.20/334.28 c 317s| 1230k| 1219k| 0 | 0.0 | 370M|2156 | - |3388 | 723 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
337.10/337.13 c 319s| 1240k| 1229k| 0 | 0.0 | 373M|2156 | - |3388 | 703 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
339.91/339.96 c 322s| 1250k| 1239k| 0 | 0.0 | 375M|2156 | - |3388 | 624 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
342.80/342.83 c 325s| 1260k| 1249k| 0 | 0.0 | 378M|2156 | - |3388 | 634 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
345.60/345.67 c 327s| 1270k| 1259k| 0 | 0.0 | 381M|2156 | - |3388 | 587 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
348.50/348.54 c 330s| 1280k| 1269k| 0 | 0.0 | 384M|2156 | - |3388 | 614 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
351.40/351.40 c 333s| 1290k| 1278k| 0 | 0.0 | 386M|2156 | - |3388 | 583 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
354.21/354.26 c 335s| 1300k| 1288k| 0 | 0.0 | 389M|2156 | - |3388 | 567 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
357.11/357.11 c 338s| 1310k| 1298k| 0 | 0.0 | 392M|2156 | - |3388 | 559 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
359.91/359.94 c 341s| 1320k| 1308k| 0 | 0.0 | 394M|2156 | - |3388 | 595 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
362.80/362.82 c 343s| 1330k| 1318k| 0 | 0.0 | 397M|2156 | - |3388 | 647 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
365.60/365.67 c 346s| 1340k| 1328k| 0 | 0.0 | 400M|2156 | - |3388 | 626 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
368.51/368.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.51/368.52 c 349s| 1350k| 1338k| 0 | 0.0 | 403M|2156 | - |3388 | 605 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
371.30/371.36 c 351s| 1360k| 1348k| 0 | 0.0 | 405M|2156 | - |3388 | 589 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
374.20/374.26 c 354s| 1370k| 1358k| 0 | 0.0 | 408M|2156 | - |3388 | 661 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
377.01/377.09 c 357s| 1380k| 1368k| 0 | 0.0 | 411M|2156 | - |3388 | 596 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
379.90/379.96 c 359s| 1390k| 1378k| 0 | 0.0 | 413M|2156 | - |3388 | 609 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
382.81/382.82 c 362s| 1400k| 1388k| 0 | 0.0 | 416M|2156 | - |3388 | 636 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
385.60/385.68 c 365s| 1410k| 1398k| 0 | 0.0 | 419M|2156 | - |3388 | 616 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
388.50/388.54 c 367s| 1420k| 1408k| 0 | 0.0 | 422M|2156 | - |3388 | 588 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
391.30/391.39 c 370s| 1430k| 1418k| 0 | 0.0 | 424M|2156 | - |3388 | 590 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
394.20/394.26 c 373s| 1440k| 1428k| 0 | 0.0 | 427M|2156 | - |3388 | 606 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
397.11/397.11 c 375s| 1450k| 1438k| 0 | 0.0 | 430M|2156 | - |3388 | 621 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
399.90/399.96 c 378s| 1460k| 1448k| 0 | 0.0 | 433M|2156 | - |3388 | 626 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
402.81/402.82 c 381s| 1470k| 1458k| 0 | 0.0 | 435M|2156 | - |3388 | 589 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
405.60/405.68 c 383s| 1480k| 1468k| 0 | 0.0 | 438M|2156 | - |3388 | 568 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
408.50/408.52 c 386s| 1490k| 1478k| 0 | 0.0 | 441M|2156 | - |3388 | 564 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
411.31/411.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.31/411.37 c 389s| 1500k| 1488k| 0 | 0.0 | 443M|2156 | - |3388 | 578 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
414.20/414.24 c 392s| 1510k| 1497k| 0 | 0.0 | 446M|2156 | - |3388 | 583 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
417.10/417.11 c 394s| 1520k| 1507k| 0 | 0.0 | 449M|2156 | - |3388 | 618 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
419.90/419.96 c 397s| 1530k| 1517k| 0 | 0.0 | 452M|2156 | - |3388 | 575 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
422.81/422.81 c 400s| 1540k| 1527k| 0 | 0.0 | 454M|2156 | - |3388 | 602 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
425.61/425.66 c 402s| 1550k| 1537k| 0 | 0.0 | 457M|2156 | - |3388 | 575 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
428.40/428.49 c 405s| 1560k| 1547k| 0 | 0.0 | 460M|2156 | - |3388 | 561 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
431.30/431.33 c 407s| 1570k| 1557k| 0 | 0.0 | 462M|2156 | - |3388 | 553 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
434.21/434.20 c 410s| 1580k| 1567k| 0 | 0.0 | 465M|2156 | - |3388 | 560 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
437.00/437.05 c 413s| 1590k| 1577k| 0 | 0.0 | 468M|2156 | - |3388 | 520 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
439.80/439.89 c 415s| 1600k| 1587k| 0 | 0.0 | 471M|2156 | - |3388 | 526 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
442.70/442.74 c 418s| 1610k| 1597k| 0 | 0.0 | 473M|2156 | - |3388 | 546 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
445.61/445.60 c 421s| 1620k| 1607k| 0 | 0.0 | 476M|2156 | - |3388 | 530 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
448.40/448.48 c 423s| 1630k| 1617k| 0 | 0.0 | 479M|2156 | - |3388 | 611 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
451.30/451.33 c 426s| 1640k| 1627k| 0 | 0.0 | 481M|2156 | - |3388 | 541 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
454.10/454.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.10/454.18 c 429s| 1650k| 1637k| 0 | 0.0 | 484M|2156 | - |3388 | 551 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
457.00/457.04 c 431s| 1660k| 1647k| 0 | 0.0 | 487M|2156 | - |3388 | 538 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
459.81/459.89 c 434s| 1670k| 1657k| 0 | 0.0 | 490M|2156 | - |3388 | 558 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
462.71/462.76 c 437s| 1680k| 1667k| 0 | 0.0 | 492M|2156 | - |3388 | 567 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
465.61/465.61 c 440s| 1690k| 1677k| 0 | 0.0 | 495M|2156 | - |3388 | 553 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
468.41/468.46 c 442s| 1700k| 1687k| 0 | 0.0 | 498M|2156 | - |3388 | 591 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
471.30/471.32 c 445s| 1710k| 1697k| 0 | 0.0 | 501M|2156 | - |3388 | 602 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
474.11/474.17 c 448s| 1720k| 1707k| 0 | 0.0 | 503M|2156 | - |3388 | 581 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
477.00/477.01 c 450s| 1730k| 1716k| 0 | 0.0 | 506M|2156 | - |3388 | 552 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
479.80/479.87 c 453s| 1740k| 1726k| 0 | 0.0 | 509M|2156 | - |3388 | 545 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
482.70/482.73 c 456s| 1750k| 1736k| 0 | 0.0 | 511M|2156 | - |3388 | 610 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
485.51/485.60 c 458s| 1760k| 1746k| 0 | 0.0 | 514M|2156 | - |3388 | 596 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
488.41/488.46 c 461s| 1770k| 1756k| 0 | 0.0 | 517M|2156 | - |3388 | 611 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
491.31/491.33 c 464s| 1780k| 1766k| 0 | 0.0 | 519M|2156 | - |3388 | 588 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
494.10/494.17 c 466s| 1790k| 1776k| 0 | 0.0 | 522M|2156 | - |3388 | 575 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
497.00/497.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.00/497.02 c 469s| 1800k| 1786k| 0 | 0.0 | 525M|2156 | - |3388 | 571 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
499.81/499.88 c 472s| 1810k| 1796k| 0 | 0.0 | 528M|2156 | - |3388 | 567 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
502.71/502.75 c 474s| 1820k| 1806k| 0 | 0.0 | 530M|2156 | - |3388 | 602 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
505.61/505.61 c 477s| 1830k| 1816k| 0 | 0.0 | 533M|2156 | - |3388 | 602 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
508.40/508.46 c 480s| 1840k| 1826k| 0 | 0.0 | 536M|2156 | - |3388 | 573 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
511.30/511.30 c 482s| 1850k| 1836k| 0 | 0.0 | 539M|2156 | - |3388 | 577 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
514.11/514.14 c 485s| 1860k| 1846k| 0 | 0.0 | 541M|2156 | - |3388 | 590 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
516.91/517.00 c 488s| 1870k| 1856k| 0 | 0.0 | 544M|2156 | - |3388 | 591 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
519.81/519.85 c 490s| 1880k| 1866k| 0 | 0.0 | 547M|2156 | - |3388 | 556 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
522.71/522.71 c 493s| 1890k| 1876k| 0 | 0.0 | 549M|2156 | - |3388 | 569 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
525.50/525.53 c 496s| 1900k| 1886k| 0 | 0.0 | 552M|2156 | - |3388 | 609 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
528.30/528.39 c 498s| 1910k| 1896k| 0 | 0.0 | 555M|2156 | - |3388 | 611 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
531.21/531.23 c 501s| 1920k| 1906k| 0 | 0.0 | 558M|2156 | - |3388 | 593 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
534.01/534.09 c 504s| 1930k| 1916k| 0 | 0.0 | 560M|2156 | - |3388 | 605 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
536.91/536.97 c 506s| 1940k| 1926k| 0 | 0.0 | 563M|2156 | - |3388 | 630 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
539.81/539.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.81/539.81 c 509s| 1950k| 1935k| 0 | 0.0 | 566M|2156 | - |3388 | 605 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
542.71/542.70 c 512s| 1960k| 1945k| 0 | 0.0 | 569M|2156 | - |3388 | 651 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
545.51/545.57 c 514s| 1970k| 1955k| 0 | 0.0 | 571M|2156 | - |3388 | 673 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
548.40/548.43 c 517s| 1980k| 1965k| 0 | 0.0 | 574M|2156 | - |3388 | 597 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
551.31/551.30 c 520s| 1990k| 1975k| 0 | 0.0 | 577M|2156 | - |3388 | 565 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
554.11/554.15 c 522s| 2000k| 1985k| 0 | 0.0 | 579M|2156 | - |3388 | 617 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
557.01/557.05 c 525s| 2010k| 1995k| 0 | 0.0 | 582M|2156 | - |3388 | 589 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
559.92/559.92 c 528s| 2020k| 2005k| 0 | 0.0 | 585M|2156 | - |3388 | 641 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
562.71/562.76 c 530s| 2030k| 2015k| 0 | 0.0 | 588M|2156 | - |3388 | 614 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
565.61/565.60 c 533s| 2040k| 2025k| 0 | 0.0 | 590M|2156 | - |3388 | 607 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
568.41/568.48 c 536s| 2050k| 2035k| 0 | 0.0 | 593M|2156 | - |3388 | 604 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
571.31/571.31 c 538s| 2060k| 2045k| 0 | 0.0 | 596M|2156 | - |3388 | 609 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
574.11/574.15 c 541s| 2070k| 2055k| 0 | 0.0 | 598M|2156 | - |3388 | 604 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
576.91/576.99 c 544s| 2080k| 2065k| 0 | 0.0 | 601M|2156 | - |3388 | 597 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
579.81/579.80 c 546s| 2090k| 2075k| 0 | 0.0 | 604M|2156 | - |3388 | 598 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
582.61/582.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.61/582.64 c 549s| 2100k| 2085k| 0 | 0.0 | 607M|2156 | - |3388 | 634 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
585.41/585.49 c 552s| 2110k| 2095k| 0 | 0.0 | 609M|2156 | - |3388 | 603 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
588.31/588.34 c 554s| 2120k| 2105k| 0 | 0.0 | 612M|2156 | - |3388 | 604 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
591.11/591.19 c 557s| 2130k| 2115k| 0 | 0.0 | 615M|2156 | - |3388 | 586 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
594.01/594.06 c 560s| 2140k| 2125k| 0 | 0.0 | 617M|2156 | - |3388 | 607 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
596.91/596.93 c 562s| 2150k| 2135k| 0 | 0.0 | 620M|2156 | - |3388 | 603 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
599.71/599.77 c 565s| 2160k| 2145k| 0 | 0.0 | 623M|2156 | - |3388 | 578 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
602.61/602.63 c 568s| 2170k| 2154k| 0 | 0.0 | 626M|2156 | - |3388 | 606 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
605.41/605.48 c 570s| 2180k| 2164k| 0 | 0.0 | 628M|2156 | - |3388 | 582 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
608.31/608.34 c 573s| 2190k| 2174k| 0 | 0.0 | 631M|2156 | - |3388 | 595 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
611.21/611.21 c 576s| 2200k| 2184k| 0 | 0.0 | 634M|2156 | - |3388 | 631 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
614.01/614.05 c 578s| 2210k| 2194k| 0 | 0.0 | 636M|2156 | - |3388 | 556 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
616.81/616.88 c 581s| 2220k| 2204k| 0 | 0.0 | 639M|2156 | - |3388 | 585 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
619.71/619.74 c 584s| 2230k| 2214k| 0 | 0.0 | 642M|2156 | - |3388 | 601 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
622.52/622.58 c 586s| 2240k| 2224k| 0 | 0.0 | 645M|2156 | - |3388 | 580 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
625.41/625.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.41/625.43 c 589s| 2250k| 2234k| 0 | 0.0 | 647M|2156 | - |3388 | 573 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
628.31/628.33 c 592s| 2260k| 2244k| 0 | 0.0 | 650M|2156 | - |3388 | 617 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
631.22/631.20 c 594s| 2270k| 2254k| 0 | 0.0 | 653M|2156 | - |3388 | 592 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
634.01/634.06 c 597s| 2280k| 2264k| 0 | 0.0 | 655M|2156 | - |3388 | 590 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
636.92/636.94 c 600s| 2290k| 2274k| 0 | 0.0 | 658M|2156 | - |3388 | 572 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
639.71/639.79 c 602s| 2300k| 2284k| 0 | 0.0 | 661M|2156 | - |3388 | 592 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
642.61/642.65 c 605s| 2310k| 2294k| 0 | 0.0 | 664M|2156 | - |3388 | 558 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
645.42/645.48 c 608s| 2320k| 2304k| 0 | 0.0 | 666M|2156 | - |3388 | 536 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
648.31/648.34 c 610s| 2330k| 2314k| 0 | 0.0 | 669M|2156 | - |3388 | 565 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
651.11/651.19 c 613s| 2340k| 2324k| 0 | 0.0 | 672M|2156 | - |3388 | 538 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
654.01/654.08 c 616s| 2350k| 2334k| 0 | 0.0 | 675M|2156 | - |3388 | 609 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
656.91/656.94 c 618s| 2360k| 2344k| 0 | 0.0 | 677M|2156 | - |3388 | 536 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
659.82/659.80 c 621s| 2370k| 2354k| 0 | 0.0 | 680M|2156 | - |3388 | 539 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
662.62/662.65 c 624s| 2380k| 2364k| 0 | 0.0 | 683M|2156 | - |3388 | 537 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
665.52/665.51 c 626s| 2390k| 2373k| 0 | 0.0 | 685M|2156 | - |3388 | 539 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
668.32/668.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.32/668.37 c 629s| 2400k| 2383k| 0 | 0.0 | 688M|2156 | - |3388 | 579 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
671.21/671.23 c 632s| 2410k| 2393k| 0 | 0.0 | 691M|2156 | - |3388 | 557 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
674.02/674.05 c 634s| 2420k| 2403k| 0 | 0.0 | 694M|2156 | - |3388 | 541 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
676.81/676.87 c 637s| 2430k| 2413k| 0 | 0.0 | 696M|2156 | - |3388 | 533 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
679.71/679.73 c 640s| 2440k| 2423k| 0 | 0.0 | 699M|2156 | - |3388 | 524 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
682.51/682.59 c 642s| 2450k| 2433k| 0 | 0.0 | 702M|2156 | - |3388 | 548 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
685.41/685.45 c 645s| 2460k| 2443k| 0 | 0.0 | 704M|2156 | - |3388 | 559 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
688.31/688.33 c 648s| 2470k| 2453k| 0 | 0.0 | 707M|2156 | - |3388 | 587 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
691.11/691.18 c 650s| 2480k| 2463k| 0 | 0.0 | 710M|2156 | - |3388 | 552 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
694.02/694.05 c 653s| 2490k| 2473k| 0 | 0.0 | 712M|2156 | - |3388 | 594 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
696.91/696.90 c 656s| 2500k| 2483k| 0 | 0.0 | 715M|2156 | - |3388 | 589 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
699.72/699.77 c 658s| 2510k| 2493k| 0 | 0.0 | 718M|2156 | - |3388 | 629 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
702.61/702.63 c 661s| 2520k| 2503k| 0 | 0.0 | 721M|2156 | - |3388 | 601 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
705.41/705.46 c 664s| 2530k| 2513k| 0 | 0.0 | 723M|2156 | - |3388 | 606 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
708.21/708.30 c 666s| 2540k| 2523k| 0 | 0.0 | 726M|2156 | - |3388 | 604 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
711.11/711.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.11/711.15 c 669s| 2550k| 2533k| 0 | 0.0 | 729M|2156 | - |3388 | 578 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
714.02/714.00 c 672s| 2560k| 2543k| 0 | 0.0 | 731M|2156 | - |3388 | 597 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
716.81/716.87 c 674s| 2570k| 2553k| 0 | 0.0 | 734M|2156 | - |3388 | 616 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
719.71/719.75 c 677s| 2580k| 2563k| 0 | 0.0 | 737M|2156 | - |3388 | 634 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
722.62/722.62 c 680s| 2590k| 2573k| 0 | 0.0 | 740M|2156 | - |3388 | 646 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
725.41/725.44 c 682s| 2600k| 2583k| 0 | 0.0 | 742M|2156 | - |3388 | 606 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
728.22/728.28 c 685s| 2610k| 2592k| 0 | 0.0 | 745M|2156 | - |3388 | 620 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
731.12/731.14 c 688s| 2620k| 2602k| 0 | 0.0 | 748M|2156 | - |3388 | 676 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
733.92/733.94 c 690s| 2630k| 2612k| 0 | 0.0 | 750M|2156 | - |3388 | 644 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
736.71/736.78 c 693s| 2640k| 2622k| 0 | 0.0 | 753M|2156 | - |3388 | 630 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
739.62/739.61 c 696s| 2650k| 2632k| 0 | 0.0 | 756M|2156 | - |3388 | 636 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
742.42/742.45 c 698s| 2660k| 2642k| 0 | 0.0 | 759M|2156 | - |3388 | 628 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
745.22/745.29 c 701s| 2670k| 2652k| 0 | 0.0 | 761M|2156 | - |3388 | 628 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
748.11/748.12 c 704s| 2680k| 2662k| 0 | 0.0 | 764M|2156 | - |3388 | 650 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
751.02/751.00 c 706s| 2690k| 2672k| 0 | 0.0 | 767M|2156 | - |3388 | 641 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
753.81/753.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.81/753.82 c 709s| 2700k| 2682k| 0 | 0.0 | 770M|2156 | - |3388 | 614 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
756.61/756.66 c 712s| 2710k| 2692k| 0 | 0.0 | 772M|2156 | - |3388 | 642 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
759.52/759.52 c 714s| 2720k| 2702k| 0 | 0.0 | 775M|2156 | - |3388 | 600 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
762.32/762.34 c 717s| 2730k| 2712k| 0 | 0.0 | 778M|2156 | - |3388 | 603 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
765.11/765.18 c 720s| 2740k| 2722k| 0 | 0.0 | 780M|2156 | - |3388 | 610 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
768.02/768.00 c 722s| 2750k| 2732k| 0 | 0.0 | 783M|2156 | - |3388 | 617 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
770.81/770.84 c 725s| 2760k| 2742k| 0 | 0.0 | 786M|2156 | - |3388 | 580 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
773.62/773.66 c 727s| 2770k| 2752k| 0 | 0.0 | 789M|2156 | - |3388 | 588 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
776.52/776.50 c 730s| 2780k| 2762k| 0 | 0.0 | 791M|2156 | - |3388 | 584 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
779.31/779.33 c 733s| 2790k| 2772k| 0 | 0.0 | 794M|2156 | - |3388 | 601 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
782.12/782.19 c 735s| 2800k| 2782k| 0 | 0.0 | 797M|2156 | - |3388 | 608 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
785.02/785.02 c 738s| 2810k| 2792k| 0 | 0.0 | 800M|2156 | - |3388 | 602 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
787.81/787.89 c 741s| 2820k| 2802k| 0 | 0.0 | 802M|2156 | - |3388 | 589 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
790.72/790.72 c 743s| 2830k| 2812k| 0 | 0.0 | 805M|2156 | - |3388 | 613 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
793.51/793.55 c 746s| 2840k| 2821k| 0 | 0.0 | 808M|2156 | - |3388 | 575 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
796.32/796.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.32/796.38 c 749s| 2850k| 2831k| 0 | 0.0 | 810M|2156 | - |3388 | 556 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
799.21/799.25 c 751s| 2860k| 2841k| 0 | 0.0 | 813M|2156 | - |3388 | 593 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
802.02/802.09 c 754s| 2870k| 2851k| 0 | 0.0 | 816M|2156 | - |3388 | 587 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
804.92/804.90 c 757s| 2880k| 2861k| 0 | 0.0 | 819M|2156 | - |3388 | 572 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
807.72/807.75 c 759s| 2890k| 2871k| 0 | 0.0 | 821M|2156 | - |3388 | 571 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
810.52/810.57 c 762s| 2900k| 2881k| 0 | 0.0 | 824M|2156 | - |3388 | 586 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
813.41/813.43 c 765s| 2910k| 2891k| 0 | 0.0 | 827M|2156 | - |3388 | 562 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
816.22/816.26 c 767s| 2920k| 2901k| 0 | 0.0 | 829M|2156 | - |3388 | 543 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
819.02/819.09 c 770s| 2930k| 2911k| 0 | 0.0 | 832M|2156 | - |3388 | 549 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
821.91/821.98 c 773s| 2940k| 2921k| 0 | 0.0 | 835M|2156 | - |3388 | 580 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
824.81/824.85 c 775s| 2950k| 2931k| 0 | 0.0 | 838M|2156 | - |3388 | 596 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
827.62/827.69 c 778s| 2960k| 2941k| 0 | 0.0 | 840M|2156 | - |3388 | 595 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
830.52/830.55 c 781s| 2970k| 2951k| 0 | 0.0 | 843M|2156 | - |3388 | 585 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
833.32/833.38 c 783s| 2980k| 2961k| 0 | 0.0 | 846M|2156 | - |3388 | 586 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
836.22/836.20 c 786s| 2990k| 2971k| 0 | 0.0 | 849M|2156 | - |3388 | 551 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
839.02/839.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.02/839.03 c 788s| 3000k| 2981k| 0 | 0.0 | 851M|2156 | - |3388 | 572 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
841.81/841.85 c 791s| 3010k| 2991k| 0 | 0.0 | 854M|2156 | - |3388 | 572 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
844.62/844.69 c 794s| 3020k| 3001k| 0 | 0.0 | 857M|2156 | - |3388 | 600 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
847.52/847.51 c 796s| 3030k| 3011k| 0 | 0.0 | 859M|2156 | - |3388 | 592 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
850.32/850.36 c 799s| 3040k| 3021k| 0 | 0.0 | 862M|2156 | - |3388 | 591 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
853.12/853.19 c 802s| 3050k| 3031k| 0 | 0.0 | 865M|2156 | - |3388 | 595 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
856.02/856.02 c 804s| 3060k| 3040k| 0 | 0.0 | 868M|2156 | - |3388 | 574 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
858.82/858.86 c 807s| 3070k| 3050k| 0 | 0.0 | 870M|2156 | - |3388 | 593 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
861.72/861.70 c 810s| 3080k| 3060k| 0 | 0.0 | 873M|2156 | - |3388 | 579 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
864.52/864.55 c 812s| 3090k| 3070k| 0 | 0.0 | 876M|2156 | - |3388 | 623 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
867.42/867.42 c 815s| 3100k| 3080k| 0 | 0.0 | 879M|2156 | - |3388 | 597 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
870.22/870.25 c 818s| 3110k| 3090k| 0 | 0.0 | 881M|2156 | - |3388 | 595 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
873.12/873.12 c 820s| 3120k| 3100k| 0 | 0.0 | 884M|2156 | - |3388 | 574 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
875.92/875.97 c 823s| 3130k| 3110k| 0 | 0.0 | 887M|2156 | - |3388 | 561 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
878.83/878.82 c 826s| 3140k| 3120k| 0 | 0.0 | 890M|2156 | - |3388 | 606 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
881.72/881.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.72/881.72 c 829s| 3150k| 3130k| 0 | 0.0 | 892M|2156 | - |3388 | 572 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
884.52/884.59 c 831s| 3160k| 3140k| 0 | 0.0 | 895M|2156 | - |3388 | 576 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
887.42/887.46 c 834s| 3170k| 3150k| 0 | 0.0 | 898M|2156 | - |3388 | 565 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
890.32/890.31 c 837s| 3180k| 3160k| 0 | 0.0 | 900M|2156 | - |3388 | 613 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
893.13/893.16 c 839s| 3190k| 3170k| 0 | 0.0 | 903M|2156 | - |3388 | 552 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
896.02/896.00 c 842s| 3200k| 3180k| 0 | 0.0 | 906M|2156 | - |3388 | 565 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
898.82/898.87 c 845s| 3210k| 3190k| 0 | 0.0 | 909M|2156 | - |3388 | 564 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
901.72/901.71 c 848s| 3220k| 3200k| 0 | 0.0 | 911M|2156 | - |3388 | 562 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
904.52/904.58 c 850s| 3230k| 3210k| 0 | 0.0 | 914M|2156 | - |3388 | 635 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
907.43/907.43 c 853s| 3240k| 3220k| 0 | 0.0 | 917M|2156 | - |3388 | 558 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
910.22/910.26 c 856s| 3250k| 3230k| 0 | 0.0 | 919M|2156 | - |3388 | 554 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
913.12/913.16 c 858s| 3260k| 3240k| 0 | 0.0 | 922M|2156 | - |3388 | 587 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
916.02/916.00 c 861s| 3270k| 3250k| 0 | 0.0 | 925M|2156 | - |3388 | 575 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
918.82/918.86 c 864s| 3280k| 3259k| 0 | 0.0 | 928M|2156 | - |3388 | 597 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
921.73/921.72 c 866s| 3290k| 3269k| 0 | 0.0 | 930M|2156 | - |3388 | 570 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
924.52/924.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.52/924.59 c 869s| 3300k| 3279k| 0 | 0.0 | 933M|2156 | - |3388 | 596 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
927.42/927.49 c 872s| 3310k| 3289k| 0 | 0.0 | 936M|2156 | - |3388 | 604 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
930.32/930.32 c 874s| 3320k| 3299k| 0 | 0.0 | 938M|2156 | - |3388 | 606 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
933.12/933.16 c 877s| 3330k| 3309k| 0 | 0.0 | 941M|2156 | - |3388 | 621 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
936.03/936.01 c 880s| 3340k| 3319k| 0 | 0.0 | 944M|2156 | - |3388 | 610 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
938.82/938.82 c 882s| 3350k| 3329k| 0 | 0.0 | 946M|2156 | - |3388 | 600 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
941.63/941.67 c 885s| 3360k| 3339k| 0 | 0.0 | 949M|2156 | - |3388 | 621 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
944.52/944.51 c 888s| 3370k| 3349k| 0 | 0.0 | 952M|2156 | - |3388 | 631 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
947.33/947.35 c 890s| 3380k| 3359k| 0 | 0.0 | 955M|2156 | - |3388 | 638 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
950.22/950.21 c 893s| 3390k| 3369k| 0 | 0.0 | 957M|2156 | - |3388 | 627 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
953.02/953.08 c 896s| 3400k| 3379k| 0 | 0.0 | 960M|2156 | - |3388 | 603 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
955.93/955.90 c 898s| 3410k| 3389k| 0 | 0.0 | 963M|2156 | - |3388 | 607 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
958.72/958.75 c 901s| 3420k| 3399k| 0 | 0.0 | 965M|2156 | - |3388 | 591 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
961.52/961.58 c 904s| 3430k| 3409k| 0 | 0.0 | 968M|2156 | - |3388 | 598 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
964.42/964.48 c 906s| 3440k| 3419k| 0 | 0.0 | 971M|2156 | - |3388 | 618 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
967.32/967.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.32/967.30 c 909s| 3450k| 3429k| 0 | 0.0 | 974M|2156 | - |3388 | 619 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
970.13/970.19 c 912s| 3460k| 3439k| 0 | 0.0 | 976M|2156 | - |3388 | 644 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
973.02/973.03 c 914s| 3470k| 3449k| 0 | 0.0 | 979M|2156 | - |3388 | 579 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
975.83/975.85 c 917s| 3480k| 3459k| 0 | 0.0 | 982M|2156 | - |3388 | 570 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
978.63/978.69 c 920s| 3490k| 3468k| 0 | 0.0 | 984M|2156 | - |3388 | 573 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
981.52/981.54 c 922s| 3500k| 3478k| 0 | 0.0 | 987M|2156 | - |3388 | 564 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
984.32/984.39 c 925s| 3510k| 3488k| 0 | 0.0 | 990M|2156 | - |3388 | 585 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
987.22/987.26 c 928s| 3520k| 3498k| 0 | 0.0 | 993M|2156 | - |3388 | 623 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
990.13/990.12 c 930s| 3530k| 3508k| 0 | 0.0 | 995M|2156 | - |3388 | 634 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
992.93/992.97 c 933s| 3540k| 3518k| 0 | 0.0 | 998M|2156 | - |3388 | 596 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
995.72/995.79 c 936s| 3550k| 3528k| 0 | 0.0 |1001M|2156 | - |3388 | 580 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
998.63/998.61 c 938s| 3560k| 3538k| 0 | 0.0 |1003M|2156 | - |3388 | 550 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1001.42/1001.44 c 941s| 3570k| 3548k| 0 | 0.0 |1006M|2156 | - |3388 | 589 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1004.23/1004.29 c 943s| 3580k| 3558k| 0 | 0.0 |1009M|2156 | - |3388 | 566 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1007.12/1007.11 c 946s| 3590k| 3568k| 0 | 0.0 |1012M|2156 | - |3388 | 604 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1009.93/1009.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.93/1009.95 c 949s| 3600k| 3578k| 0 | 0.0 |1014M|2156 | - |3388 | 593 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1012.72/1012.80 c 951s| 3610k| 3588k| 0 | 0.0 |1017M|2156 | - |3388 | 593 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1015.63/1015.62 c 954s| 3620k| 3598k| 0 | 0.0 |1020M|2156 | - |3388 | 579 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1018.42/1018.46 c 957s| 3630k| 3608k| 0 | 0.0 |1022M|2156 | - |3388 | 574 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1021.32/1021.30 c 959s| 3640k| 3618k| 0 | 0.0 |1025M|2156 | - |3388 | 562 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1024.13/1024.14 c 962s| 3650k| 3628k| 0 | 0.0 |1028M|2156 | - |3388 | 611 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1026.92/1026.98 c 965s| 3660k| 3638k| 0 | 0.0 |1031M|2156 | - |3388 | 618 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1029.82/1029.81 c 967s| 3670k| 3648k| 0 | 0.0 |1033M|2156 | - |3388 | 618 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1032.63/1032.67 c 970s| 3680k| 3658k| 0 | 0.0 |1036M|2156 | - |3388 | 579 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1035.52/1035.51 c 973s| 3690k| 3668k| 0 | 0.0 |1039M|2156 | - |3388 | 614 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1038.33/1038.37 c 975s| 3700k| 3678k| 0 | 0.0 |1042M|2156 | - |3388 | 585 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1041.22/1041.20 c 978s| 3710k| 3687k| 0 | 0.0 |1044M|2156 | - |3388 | 574 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1044.03/1044.06 c 981s| 3720k| 3697k| 0 | 0.0 |1047M|2156 | - |3388 | 587 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1046.82/1046.89 c 983s| 3730k| 3707k| 0 | 0.0 |1050M|2156 | - |3388 | 568 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1049.73/1049.74 c 986s| 3740k| 3717k| 0 | 0.0 |1052M|2156 | - |3388 | 568 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1052.63/1052.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.63/1052.63 c 989s| 3750k| 3727k| 0 | 0.0 |1055M|2156 | - |3388 | 587 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1055.42/1055.45 c 991s| 3760k| 3737k| 0 | 0.0 |1058M|2156 | - |3388 | 585 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1058.23/1058.28 c 994s| 3770k| 3747k| 0 | 0.0 |1061M|2156 | - |3388 | 540 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1061.13/1061.13 c 997s| 3780k| 3757k| 0 | 0.0 |1063M|2156 | - |3388 | 538 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1063.93/1063.97 c 999s| 3790k| 3767k| 0 | 0.0 |1066M|2156 | - |3388 | 554 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1066.83/1066.81 c 1002s| 3800k| 3777k| 0 | 0.0 |1069M|2156 | - |3388 | 576 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1069.63/1069.68 c 1005s| 3810k| 3787k| 0 | 0.0 |1072M|2156 | - |3388 | 538 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1072.54/1072.53 c 1007s| 3820k| 3797k| 0 | 0.0 |1074M|2156 | - |3388 | 531 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1075.43/1075.40 c 1010s| 3830k| 3807k| 0 | 0.0 |1077M|2156 | - |3388 | 559 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1078.23/1078.27 c 1013s| 3840k| 3817k| 0 | 0.0 |1080M|2156 | - |3388 | 554 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1081.13/1081.14 c 1015s| 3850k| 3827k| 0 | 0.0 |1082M|2156 | - |3388 | 544 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1084.02/1084.02 c 1018s| 3860k| 3837k| 0 | 0.0 |1085M|2156 | - |3388 | 535 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1086.83/1086.86 c 1021s| 3870k| 3847k| 0 | 0.0 |1088M|2156 | - |3388 | 568 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1089.73/1089.71 c 1024s| 3880k| 3857k| 0 | 0.0 |1091M|2156 | - |3388 | 546 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1092.52/1092.54 c 1026s| 3890k| 3867k| 0 | 0.0 |1093M|2156 | - |3388 | 589 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1095.32/1095.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.32/1095.36 c 1029s| 3900k| 3877k| 0 | 0.0 |1096M|2156 | - |3388 | 559 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1098.13/1098.20 c 1032s| 3910k| 3887k| 0 | 0.0 |1099M|2156 | - |3388 | 556 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1101.03/1101.04 c 1034s| 3920k| 3897k| 0 | 0.0 |1101M|2156 | - |3388 | 600 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1103.83/1103.88 c 1037s| 3930k| 3907k| 0 | 0.0 |1104M|2156 | - |3388 | 593 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1106.73/1106.73 c 1040s| 3940k| 3916k| 0 | 0.0 |1107M|2156 | - |3388 | 620 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1109.52/1109.59 c 1042s| 3950k| 3926k| 0 | 0.0 |1110M|2156 | - |3388 | 633 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1112.42/1112.41 c 1045s| 3960k| 3936k| 0 | 0.0 |1112M|2156 | - |3388 | 599 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1115.23/1115.25 c 1048s| 3970k| 3946k| 0 | 0.0 |1115M|2156 | - |3388 | 637 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1118.03/1118.09 c 1050s| 3980k| 3956k| 0 | 0.0 |1118M|2156 | - |3388 | 624 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1120.94/1120.93 c 1053s| 3990k| 3966k| 0 | 0.0 |1121M|2156 | - |3388 | 644 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1123.72/1123.73 c 1056s| 4000k| 3976k| 0 | 0.0 |1123M|2156 | - |3388 | 615 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1126.63/1126.61 c 1058s| 4010k| 3986k| 0 | 0.0 |1126M|2156 | - |3388 | 616 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1129.43/1129.43 c 1061s| 4020k| 3996k| 0 | 0.0 |1129M|2156 | - |3388 | 618 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1132.22/1132.23 c 1064s| 4030k| 4006k| 0 | 0.0 |1131M|2156 | - |3388 | 620 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1135.03/1135.07 c 1066s| 4040k| 4016k| 0 | 0.0 |1134M|2156 | - |3388 | 628 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1137.92/1137.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.92/1137.91 c 1069s| 4050k| 4026k| 0 | 0.0 |1137M|2156 | - |3388 | 618 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1140.73/1140.78 c 1072s| 4060k| 4036k| 0 | 0.0 |1140M|2156 | - |3388 | 606 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1143.62/1143.63 c 1075s| 4070k| 4046k| 0 | 0.0 |1142M|2156 | - |3388 | 624 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1146.42/1146.48 c 1077s| 4080k| 4056k| 0 | 0.0 |1145M|2156 | - |3388 | 642 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1149.33/1149.31 c 1080s| 4090k| 4066k| 0 | 0.0 |1148M|2156 | - |3388 | 599 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1152.13/1152.15 c 1083s| 4100k| 4076k| 0 | 0.0 |1151M|2156 | - |3388 | 603 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1154.93/1154.99 c 1085s| 4110k| 4086k| 0 | 0.0 |1153M|2156 | - |3388 | 582 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1157.83/1157.84 c 1088s| 4120k| 4096k| 0 | 0.0 |1156M|2156 | - |3388 | 612 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1160.63/1160.65 c 1091s| 4130k| 4106k| 0 | 0.0 |1159M|2156 | - |3388 | 576 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1163.42/1163.49 c 1093s| 4140k| 4116k| 0 | 0.0 |1161M|2156 | - |3388 | 586 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1166.32/1166.33 c 1096s| 4150k| 4125k| 0 | 0.0 |1164M|2156 | - |3388 | 572 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1169.23/1169.22 c 1099s| 4160k| 4135k| 0 | 0.0 |1167M|2156 | - |3388 | 593 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1172.03/1172.07 c 1102s| 4170k| 4145k| 0 | 0.0 |1170M|2156 | - |3388 | 597 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1174.84/1174.89 c 1104s| 4180k| 4155k| 0 | 0.0 |1172M|2156 | - |3388 | 588 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1177.73/1177.72 c 1107s| 4190k| 4165k| 0 | 0.0 |1175M|2156 | - |3388 | 593 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1180.53/1180.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.53/1180.56 c 1110s| 4200k| 4175k| 0 | 0.0 |1178M|2156 | - |3388 | 578 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1183.43/1183.43 c 1112s| 4210k| 4185k| 0 | 0.0 |1180M|2156 | - |3388 | 607 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1186.23/1186.26 c 1115s| 4220k| 4195k| 0 | 0.0 |1183M|2156 | - |3388 | 571 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1189.04/1189.08 c 1118s| 4230k| 4205k| 0 | 0.0 |1186M|2156 | - |3388 | 525 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1191.93/1191.93 c 1120s| 4240k| 4215k| 0 | 0.0 |1188M|2156 | - |3388 | 588 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1194.73/1194.76 c 1123s| 4250k| 4225k| 0 | 0.0 |1191M|2156 | - |3388 | 550 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1197.63/1197.63 c 1126s| 4260k| 4235k| 0 | 0.0 |1194M|2156 | - |3388 | 550 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1200.43/1200.46 c 1128s| 4270k| 4245k| 0 | 0.0 |1197M|2156 | - |3388 | 565 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1203.23/1203.29 c 1131s| 4280k| 4255k| 0 | 0.0 |1199M|2156 | - |3388 | 569 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1206.13/1206.15 c 1134s| 4290k| 4265k| 0 | 0.0 |1202M|2156 | - |3388 | 570 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1208.93/1208.97 c 1136s| 4300k| 4275k| 0 | 0.0 |1205M|2156 | - |3388 | 569 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1211.83/1211.81 c 1139s| 4310k| 4285k| 0 | 0.0 |1208M|2156 | - |3388 | 566 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1214.63/1214.64 c 1142s| 4320k| 4295k| 0 | 0.0 |1210M|2156 | - |3388 | 598 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1217.53/1217.50 c 1145s| 4330k| 4305k| 0 | 0.0 |1213M|2156 | - |3388 | 564 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1220.33/1220.36 c 1147s| 4340k| 4315k| 0 | 0.0 |1216M|2156 | - |3388 | 565 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1223.13/1223.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.13/1223.19 c 1150s| 4350k| 4325k| 0 | 0.0 |1218M|2156 | - |3388 | 542 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1226.03/1226.05 c 1153s| 4360k| 4335k| 0 | 0.0 |1221M|2156 | - |3388 | 574 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1228.93/1228.93 c 1155s| 4370k| 4345k| 0 | 0.0 |1224M|2156 | - |3388 | 579 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1231.73/1231.79 c 1158s| 4380k| 4354k| 0 | 0.0 |1227M|2156 | - |3388 | 553 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1234.63/1234.68 c 1161s| 4390k| 4364k| 0 | 0.0 |1229M|2156 | - |3388 | 550 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1237.53/1237.52 c 1163s| 4400k| 4374k| 0 | 0.0 |1232M|2156 | - |3388 | 529 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1240.33/1240.39 c 1166s| 4410k| 4384k| 0 | 0.0 |1235M|2156 | - |3388 | 557 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1243.23/1243.20 c 1169s| 4420k| 4394k| 0 | 0.0 |1237M|2156 | - |3388 | 551 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1246.03/1246.07 c 1172s| 4430k| 4404k| 0 | 0.0 |1240M|2156 | - |3388 | 566 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1248.93/1248.96 c 1174s| 4440k| 4414k| 0 | 0.0 |1243M|2156 | - |3388 | 567 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1251.74/1251.78 c 1177s| 4450k| 4424k| 0 | 0.0 |1246M|2156 | - |3388 | 559 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1254.63/1254.61 c 1180s| 4460k| 4434k| 0 | 0.0 |1248M|2156 | - |3388 | 557 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1257.43/1257.47 c 1182s| 4470k| 4444k| 0 | 0.0 |1251M|2156 | - |3388 | 579 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1260.33/1260.30 c 1185s| 4480k| 4454k| 0 | 0.0 |1254M|2156 | - |3388 | 567 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1263.13/1263.12 c 1188s| 4490k| 4464k| 0 | 0.0 |1256M|2156 | - |3388 | 569 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1265.93/1265.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.93/1265.98 c 1190s| 4500k| 4474k| 0 | 0.0 |1259M|2156 | - |3388 | 569 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1268.83/1268.80 c 1193s| 4510k| 4484k| 0 | 0.0 |1262M|2156 | - |3388 | 554 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1271.64/1271.67 c 1196s| 4520k| 4494k| 0 | 0.0 |1265M|2156 | - |3388 | 556 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1274.53/1274.50 c 1199s| 4530k| 4504k| 0 | 0.0 |1267M|2156 | - |3388 | 571 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1277.34/1277.38 c 1201s| 4540k| 4514k| 0 | 0.0 |1270M|2156 | - |3388 | 602 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1280.23/1280.20 c 1204s| 4550k| 4524k| 0 | 0.0 |1273M|2156 | - |3388 | 566 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1283.04/1283.05 c 1207s| 4560k| 4534k| 0 | 0.0 |1276M|2156 | - |3388 | 594 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1285.84/1285.90 c 1209s| 4570k| 4544k| 0 | 0.0 |1278M|2156 | - |3388 | 540 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1288.73/1288.74 c 1212s| 4580k| 4554k| 0 | 0.0 |1281M|2156 | - |3388 | 543 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1291.54/1291.57 c 1215s| 4590k| 4564k| 0 | 0.0 |1284M|2156 | - |3388 | 564 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1294.44/1294.44 c 1217s| 4600k| 4573k| 0 | 0.0 |1286M|2156 | - |3388 | 576 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1297.24/1297.29 c 1220s| 4610k| 4583k| 0 | 0.0 |1289M|2156 | - |3388 | 575 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1300.14/1300.16 c 1223s| 4620k| 4593k| 0 | 0.0 |1292M|2156 | - |3388 | 565 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1302.94/1302.98 c 1226s| 4630k| 4603k| 0 | 0.0 |1295M|2156 | - |3388 | 524 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1305.83/1305.88 c 1228s| 4640k| 4613k| 0 | 0.0 |1297M|2156 | - |3388 | 601 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1308.73/1308.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.73/1308.71 c 1231s| 4650k| 4623k| 0 | 0.0 |1300M|2156 | - |3388 | 634 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1311.63/1311.60 c 1234s| 4660k| 4633k| 0 | 0.0 |1303M|2156 | - |3388 | 602 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1314.44/1314.42 c 1236s| 4670k| 4643k| 0 | 0.0 |1305M|2156 | - |3388 | 578 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1317.23/1317.26 c 1239s| 4680k| 4653k| 0 | 0.0 |1308M|2156 | - |3388 | 566 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1320.04/1320.08 c 1242s| 4690k| 4663k| 0 | 0.0 |1311M|2156 | - |3388 | 565 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1322.93/1322.92 c 1245s| 4700k| 4673k| 0 | 0.0 |1314M|2156 | - |3388 | 556 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1325.73/1325.79 c 1247s| 4710k| 4683k| 0 | 0.0 |1316M|2156 | - |3388 | 605 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1328.64/1328.63 c 1250s| 4720k| 4693k| 0 | 0.0 |1319M|2156 | - |3388 | 572 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1331.44/1331.44 c 1253s| 4730k| 4703k| 0 | 0.0 |1322M|2156 | - |3388 | 559 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1334.23/1334.25 c 1255s| 4740k| 4713k| 0 | 0.0 |1324M|2156 | - |3388 | 572 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1337.03/1337.09 c 1258s| 4750k| 4723k| 0 | 0.0 |1327M|2156 | - |3388 | 585 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1339.94/1339.98 c 1261s| 4760k| 4733k| 0 | 0.0 |1330M|2156 | - |3388 | 609 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1342.83/1342.81 c 1263s| 4770k| 4743k| 0 | 0.0 |1333M|2156 | - |3388 | 638 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1345.63/1345.64 c 1266s| 4780k| 4753k| 0 | 0.0 |1335M|2156 | - |3388 | 592 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1348.43/1348.49 c 1269s| 4790k| 4763k| 0 | 0.0 |1338M|2156 | - |3388 | 573 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1351.34/1351.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.34/1351.32 c 1271s| 4800k| 4773k| 0 | 0.0 |1341M|2156 | - |3388 | 610 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1354.14/1354.18 c 1274s| 4810k| 4783k| 0 | 0.0 |1344M|2156 | - |3388 | 625 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1357.04/1357.01 c 1277s| 4820k| 4792k| 0 | 0.0 |1346M|2156 | - |3388 | 596 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1359.83/1359.86 c 1279s| 4830k| 4802k| 0 | 0.0 |1349M|2156 | - |3388 | 600 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1362.73/1362.70 c 1282s| 4840k| 4812k| 0 | 0.0 |1352M|2156 | - |3388 | 587 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1365.54/1365.55 c 1285s| 4850k| 4822k| 0 | 0.0 |1354M|2156 | - |3388 | 622 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1368.34/1368.38 c 1287s| 4860k| 4832k| 0 | 0.0 |1357M|2156 | - |3388 | 586 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1371.24/1371.20 c 1290s| 4870k| 4842k| 0 | 0.0 |1360M|2156 | - |3388 | 622 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1374.03/1374.02 c 1293s| 4880k| 4852k| 0 | 0.0 |1363M|2156 | - |3388 | 581 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1376.83/1376.87 c 1295s| 4890k| 4862k| 0 | 0.0 |1365M|2156 | - |3388 | 600 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1379.74/1379.71 c 1298s| 4900k| 4872k| 0 | 0.0 |1368M|2156 | - |3388 | 596 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1382.53/1382.58 c 1301s| 4910k| 4882k| 0 | 0.0 |1371M|2156 | - |3388 | 606 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1385.43/1385.42 c 1303s| 4920k| 4892k| 0 | 0.0 |1374M|2156 | - |3388 | 596 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1388.25/1388.28 c 1306s| 4930k| 4902k| 0 | 0.0 |1376M|2156 | - |3388 | 575 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1391.14/1391.11 c 1309s| 4940k| 4912k| 0 | 0.0 |1379M|2156 | - |3388 | 593 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1393.94/1393.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.94/1393.96 c 1311s| 4950k| 4922k| 0 | 0.0 |1382M|2156 | - |3388 | 570 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1396.84/1396.80 c 1314s| 4960k| 4932k| 0 | 0.0 |1384M|2156 | - |3388 | 582 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1399.64/1399.64 c 1317s| 4970k| 4942k| 0 | 0.0 |1387M|2156 | - |3388 | 601 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1402.45/1402.49 c 1319s| 4980k| 4952k| 0 | 0.0 |1390M|2156 | - |3388 | 608 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1405.34/1405.35 c 1322s| 4990k| 4962k| 0 | 0.0 |1393M|2156 | - |3388 | 614 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1408.13/1408.17 c 1324s| 5000k| 4972k| 0 | 0.0 |1395M|2156 | - |3388 | 574 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1411.03/1411.00 c 1327s| 5010k| 4982k| 0 | 0.0 |1398M|2156 | - |3388 | 632 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1413.83/1413.85 c 1330s| 5020k| 4992k| 0 | 0.0 |1401M|2156 | - |3388 | 629 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1416.64/1416.68 c 1332s| 5030k| 5002k| 0 | 0.0 |1403M|2156 | - |3388 | 630 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1419.44/1419.48 c 1335s| 5040k| 5011k| 0 | 0.0 |1406M|2156 | - |3388 | 620 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1422.35/1422.32 c 1338s| 5050k| 5021k| 0 | 0.0 |1409M|2156 | - |3388 | 647 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1425.14/1425.14 c 1340s| 5060k| 5031k| 0 | 0.0 |1412M|2156 | - |3388 | 661 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1428.03/1428.00 c 1343s| 5070k| 5041k| 0 | 0.0 |1414M|2156 | - |3388 | 636 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1430.84/1430.83 c 1346s| 5080k| 5051k| 0 | 0.0 |1417M|2156 | - |3388 | 666 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1433.64/1433.65 c 1348s| 5090k| 5061k| 0 | 0.0 |1420M|2156 | - |3388 | 633 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1436.44/1436.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.44/1436.50 c 1351s| 5100k| 5071k| 0 | 0.0 |1422M|2156 | - |3388 | 647 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1439.34/1439.34 c 1354s| 5110k| 5081k| 0 | 0.0 |1425M|2156 | - |3388 | 617 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1442.14/1442.15 c 1356s| 5120k| 5091k| 0 | 0.0 |1428M|2156 | - |3388 | 625 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1444.94/1444.97 c 1359s| 5130k| 5101k| 0 | 0.0 |1431M|2156 | - |3388 | 626 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1447.74/1447.77 c 1362s| 5140k| 5111k| 0 | 0.0 |1433M|2156 | - |3388 | 625 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1450.54/1450.59 c 1364s| 5150k| 5121k| 0 | 0.0 |1436M|2156 | - |3388 | 604 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1453.43/1453.41 c 1367s| 5160k| 5131k| 0 | 0.0 |1439M|2156 | - |3388 | 618 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1456.24/1456.22 c 1369s| 5170k| 5141k| 0 | 0.0 |1441M|2156 | - |3388 | 596 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1459.04/1459.06 c 1372s| 5180k| 5151k| 0 | 0.0 |1444M|2156 | - |3388 | 598 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1461.84/1461.89 c 1375s| 5190k| 5161k| 0 | 0.0 |1447M|2156 | - |3388 | 631 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1464.74/1464.73 c 1377s| 5200k| 5171k| 0 | 0.0 |1450M|2156 | - |3388 | 622 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1467.53/1467.57 c 1380s| 5210k| 5181k| 0 | 0.0 |1452M|2156 | - |3388 | 604 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1470.44/1470.41 c 1383s| 5220k| 5191k| 0 | 0.0 |1455M|2156 | - |3388 | 579 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1473.24/1473.26 c 1385s| 5230k| 5201k| 0 | 0.0 |1458M|2156 | - |3388 | 560 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1476.15/1476.11 c 1388s| 5240k| 5211k| 0 | 0.0 |1461M|2156 | - |3388 | 582 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1478.94/1478.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.94/1478.95 c 1391s| 5250k| 5221k| 0 | 0.0 |1463M|2156 | - |3388 | 566 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1481.74/1481.80 c 1393s| 5260k| 5231k| 0 | 0.0 |1466M|2156 | - |3388 | 577 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1484.64/1484.62 c 1396s| 5270k| 5240k| 0 | 0.0 |1469M|2156 | - |3388 | 565 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1487.44/1487.45 c 1399s| 5280k| 5250k| 0 | 0.0 |1472M|2156 | - |3388 | 519 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1490.34/1490.30 c 1401s| 5290k| 5260k| 0 | 0.0 |1474M|2156 | - |3388 | 535 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1493.14/1493.15 c 1404s| 5300k| 5270k| 0 | 0.0 |1477M|2156 | - |3388 | 516 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1495.95/1495.98 c 1407s| 5310k| 5280k| 0 | 0.0 |1480M|2156 | - |3388 | 524 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1498.84/1498.85 c 1409s| 5320k| 5290k| 0 | 0.0 |1482M|2156 | - |3388 | 539 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1501.64/1501.66 c 1412s| 5330k| 5300k| 0 | 0.0 |1485M|2156 | - |3388 | 500 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1504.54/1504.51 c 1415s| 5340k| 5310k| 0 | 0.0 |1488M|2156 | - |3388 | 536 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1507.34/1507.38 c 1417s| 5350k| 5320k| 0 | 0.0 |1491M|2156 | - |3388 | 541 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1510.14/1510.19 c 1420s| 5360k| 5330k| 0 | 0.0 |1493M|2156 | - |3388 | 533 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1513.04/1513.03 c 1423s| 5370k| 5340k| 0 | 0.0 |1496M|2156 | - |3388 | 552 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1515.94/1515.91 c 1425s| 5380k| 5350k| 0 | 0.0 |1499M|2156 | - |3388 | 556 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1518.74/1518.76 c 1428s| 5390k| 5360k| 0 | 0.0 |1501M|2156 | - |3388 | 523 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1521.54/1521.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.54/1521.58 c 1431s| 5400k| 5370k| 0 | 0.0 |1504M|2156 | - |3388 | 531 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1524.44/1524.42 c 1433s| 5410k| 5380k| 0 | 0.0 |1507M|2156 | - |3388 | 566 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1527.24/1527.28 c 1436s| 5420k| 5390k| 0 | 0.0 |1510M|2156 | - |3388 | 554 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1530.15/1530.15 c 1439s| 5430k| 5400k| 0 | 0.0 |1512M|2156 | - |3388 | 591 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1532.94/1532.98 c 1441s| 5440k| 5410k| 0 | 0.0 |1515M|2156 | - |3388 | 553 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1535.84/1535.81 c 1444s| 5450k| 5420k| 0 | 0.0 |1518M|2156 | - |3388 | 578 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1538.64/1538.64 c 1446s| 5460k| 5430k| 0 | 0.0 |1520M|2156 | - |3388 | 621 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1541.44/1541.46 c 1449s| 5470k| 5440k| 0 | 0.0 |1523M|2156 | - |3388 | 611 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1544.35/1544.31 c 1452s| 5480k| 5450k| 0 | 0.0 |1526M|2156 | - |3388 | 602 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1547.14/1547.15 c 1454s| 5490k| 5459k| 0 | 0.0 |1528M|2156 | - |3388 | 633 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1549.95/1549.98 c 1457s| 5500k| 5469k| 0 | 0.0 |1531M|2156 | - |3388 | 641 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1552.84/1552.82 c 1460s| 5510k| 5479k| 0 | 0.0 |1534M|2156 | - |3388 | 667 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1555.64/1555.69 c 1462s| 5520k| 5489k| 0 | 0.0 |1537M|2156 | - |3388 | 649 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1558.54/1558.53 c 1465s| 5530k| 5499k| 0 | 0.0 |1539M|2156 | - |3388 | 653 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1561.34/1561.34 c 1468s| 5540k| 5509k| 0 | 0.0 |1542M|2156 | - |3388 | 631 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1564.14/1564.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.14/1564.16 c 1470s| 5550k| 5519k| 0 | 0.0 |1545M|2156 | - |3388 | 623 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1567.04/1567.00 c 1473s| 5560k| 5529k| 0 | 0.0 |1548M|2156 | - |3388 | 642 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1569.84/1569.84 c 1476s| 5570k| 5539k| 0 | 0.0 |1550M|2156 | - |3388 | 647 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1572.64/1572.66 c 1478s| 5580k| 5549k| 0 | 0.0 |1553M|2156 | - |3388 | 638 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1575.54/1575.50 c 1481s| 5590k| 5559k| 0 | 0.0 |1556M|2156 | - |3388 | 638 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1578.35/1578.31 c 1484s| 5600k| 5569k| 0 | 0.0 |1558M|2156 | - |3388 | 653 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1581.14/1581.13 c 1486s| 5610k| 5579k| 0 | 0.0 |1561M|2156 | - |3388 | 657 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1583.94/1583.95 c 1489s| 5620k| 5589k| 0 | 0.0 |1564M|2156 | - |3388 | 645 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1586.84/1586.86 c 1492s| 5630k| 5599k| 0 | 0.0 |1567M|2156 | - |3388 | 629 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1589.64/1589.68 c 1494s| 5640k| 5609k| 0 | 0.0 |1569M|2156 | - |3388 | 607 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1592.44/1592.48 c 1497s| 5650k| 5619k| 0 | 0.0 |1572M|2156 | - |3388 | 578 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1595.35/1595.35 c 1500s| 5660k| 5629k| 0 | 0.0 |1575M|2156 | - |3388 | 584 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1598.14/1598.18 c 1502s| 5670k| 5639k| 0 | 0.0 |1577M|2156 | - |3388 | 580 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1601.04/1601.01 c 1505s| 5680k| 5649k| 0 | 0.0 |1580M|2156 | - |3388 | 553 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1603.85/1603.83 c 1507s| 5690k| 5659k| 0 | 0.0 |1583M|2156 | - |3388 | 588 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1606.64/1606.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.64/1606.68 c 1510s| 5700k| 5669k| 0 | 0.0 |1586M|2156 | - |3388 | 641 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1609.54/1609.51 c 1513s| 5710k| 5678k| 0 | 0.0 |1588M|2156 | - |3388 | 617 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1612.35/1612.38 c 1515s| 5720k| 5688k| 0 | 0.0 |1591M|2156 | - |3388 | 630 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1615.25/1615.24 c 1518s| 5730k| 5698k| 0 | 0.0 |1594M|2156 | - |3388 | 617 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1618.05/1618.04 c 1521s| 5740k| 5708k| 0 | 0.0 |1597M|2156 | - |3388 | 575 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1620.94/1620.90 c 1523s| 5750k| 5718k| 0 | 0.0 |1599M|2156 | - |3388 | 635 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1623.74/1623.72 c 1526s| 5760k| 5728k| 0 | 0.0 |1602M|2156 | - |3388 | 585 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1626.55/1626.57 c 1529s| 5770k| 5738k| 0 | 0.0 |1605M|2156 | - |3388 | 619 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1629.44/1629.41 c 1531s| 5780k| 5748k| 0 | 0.0 |1607M|2156 | - |3388 | 612 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1632.25/1632.23 c 1534s| 5790k| 5758k| 0 | 0.0 |1610M|2156 | - |3388 | 609 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1635.04/1635.08 c 1537s| 5800k| 5768k| 0 | 0.0 |1613M|2156 | - |3388 | 602 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1637.95/1637.92 c 1539s| 5810k| 5778k| 0 | 0.0 |1616M|2156 | - |3388 | 613 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1640.74/1640.76 c 1542s| 5820k| 5788k| 0 | 0.0 |1618M|2156 | - |3388 | 662 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1643.54/1643.59 c 1545s| 5830k| 5798k| 0 | 0.0 |1621M|2156 | - |3388 | 634 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1646.44/1646.40 c 1547s| 5840k| 5808k| 0 | 0.0 |1624M|2156 | - |3388 | 653 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1649.14/1649.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.14/1649.19 c 1550s| 5850k| 5818k| 0 | 0.0 |1627M|2156 | - |3388 | 611 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1652.04/1652.02 c 1553s| 5860k| 5828k| 0 | 0.0 |1629M|2156 | - |3388 | 634 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1654.94/1654.90 c 1556s| 5870k| 5838k| 0 | 0.0 |1632M|2156 | - |3388 | 659 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1657.75/1657.76 c 1558s| 5880k| 5848k| 0 | 0.0 |1635M|2156 | - |3388 | 668 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1660.54/1660.57 c 1561s| 5890k| 5858k| 0 | 0.0 |1638M|2156 | - |3388 | 634 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1663.44/1663.43 c 1564s| 5900k| 5868k| 0 | 0.0 |1640M|2156 | - |3388 | 628 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1666.25/1666.25 c 1566s| 5910k| 5877k| 0 | 0.0 |1643M|2156 | - |3388 | 651 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1669.14/1669.10 c 1569s| 5920k| 5887k| 0 | 0.0 |1646M|2156 | - |3388 | 666 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1671.95/1671.94 c 1572s| 5930k| 5897k| 0 | 0.0 |1648M|2156 | - |3388 | 640 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1674.74/1674.77 c 1574s| 5940k| 5907k| 0 | 0.0 |1651M|2156 | - |3388 | 649 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1677.65/1677.61 c 1577s| 5950k| 5917k| 0 | 0.0 |1654M|2156 | - |3388 | 686 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1680.45/1680.45 c 1580s| 5960k| 5927k| 0 | 0.0 |1657M|2156 | - |3388 | 676 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1683.25/1683.29 c 1582s| 5970k| 5937k| 0 | 0.0 |1659M|2156 | - |3388 | 643 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1686.14/1686.12 c 1585s| 5980k| 5947k| 0 | 0.0 |1662M|2156 | - |3388 | 654 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1689.05/1689.00 c 1588s| 5990k| 5957k| 0 | 0.0 |1665M|2156 | - |3388 | 692 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1691.86/1691.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1691.86/1691.86 c 1591s| 6000k| 5967k| 0 | 0.0 |1667M|2156 | - |3388 | 652 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1694.75/1694.71 c 1593s| 6010k| 5977k| 0 | 0.0 |1670M|2156 | - |3388 | 693 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1697.54/1697.56 c 1596s| 6020k| 5987k| 0 | 0.0 |1673M|2156 | - |3388 | 696 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1700.35/1700.37 c 1598s| 6030k| 5997k| 0 | 0.0 |1676M|2156 | - |3388 | 652 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1703.24/1703.20 c 1601s| 6040k| 6007k| 0 | 0.0 |1678M|2156 | - |3388 | 679 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1706.06/1706.06 c 1604s| 6050k| 6017k| 0 | 0.0 |1681M|2156 | - |3388 | 681 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1708.95/1708.94 c 1607s| 6060k| 6027k| 0 | 0.0 |1684M|2156 | - |3388 | 666 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1711.74/1711.74 c 1609s| 6070k| 6037k| 0 | 0.0 |1686M|2156 | - |3388 | 663 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1714.55/1714.57 c 1612s| 6080k| 6047k| 0 | 0.0 |1689M|2156 | - |3388 | 673 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1717.45/1717.41 c 1615s| 6090k| 6057k| 0 | 0.0 |1692M|2156 | - |3388 | 701 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1720.24/1720.22 c 1617s| 6100k| 6067k| 0 | 0.0 |1695M|2156 | - |3388 | 632 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1723.04/1723.05 c 1620s| 6110k| 6077k| 0 | 0.0 |1697M|2156 | - |3388 | 617 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1725.85/1725.86 c 1623s| 6120k| 6087k| 0 | 0.0 |1700M|2156 | - |3388 | 644 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1728.65/1728.68 c 1625s| 6130k| 6096k| 0 | 0.0 |1703M|2156 | - |3388 | 668 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1731.55/1731.50 c 1628s| 6140k| 6106k| 0 | 0.0 |1706M|2156 | - |3388 | 629 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1734.35/1734.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.35/1734.35 c 1631s| 6150k| 6116k| 0 | 0.0 |1708M|2156 | - |3388 | 664 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1737.15/1737.18 c 1633s| 6160k| 6126k| 0 | 0.0 |1711M|2156 | - |3388 | 639 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1739.94/1739.99 c 1636s| 6170k| 6136k| 0 | 0.0 |1714M|2156 | - |3388 | 611 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1742.85/1742.81 c 1639s| 6180k| 6146k| 0 | 0.0 |1716M|2156 | - |3388 | 597 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1745.66/1745.64 c 1641s| 6190k| 6156k| 0 | 0.0 |1719M|2156 | - |3388 | 622 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1748.55/1748.51 c 1644s| 6200k| 6166k| 0 | 0.0 |1722M|2156 | - |3388 | 643 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1751.34/1751.34 c 1647s| 6210k| 6176k| 0 | 0.0 |1725M|2156 | - |3388 | 649 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1754.14/1754.17 c 1649s| 6220k| 6186k| 0 | 0.0 |1727M|2156 | - |3388 | 637 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1757.05/1757.00 c 1652s| 6230k| 6196k| 0 | 0.0 |1730M|2156 | - |3388 | 616 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1759.75/1759.79 c 1655s| 6240k| 6206k| 0 | 0.0 |1733M|2156 | - |3388 | 637 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1762.64/1762.63 c 1657s| 6250k| 6216k| 0 | 0.0 |1736M|2156 | - |3388 | 663 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1765.56/1765.50 c 1660s| 6260k| 6226k| 0 | 0.0 |1738M|2156 | - |3388 | 643 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1768.35/1768.32 c 1663s| 6270k| 6236k| 0 | 0.0 |1741M|2156 | - |3388 | 642 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1771.25/1771.20 c 1665s| 6280k| 6246k| 0 | 0.0 |1744M|2156 | - |3388 | 669 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1774.05/1774.03 c 1668s| 6290k| 6256k| 0 | 0.0 |1746M|2156 | - |3388 | 607 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1776.85/1776.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.85/1776.89 c 1671s| 6300k| 6266k| 0 | 0.0 |1749M|2156 | - |3388 | 618 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1779.75/1779.72 c 1673s| 6310k| 6276k| 0 | 0.0 |1752M|2156 | - |3388 | 620 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1782.55/1782.57 c 1676s| 6320k| 6286k| 0 | 0.0 |1755M|2156 | - |3388 | 644 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1785.35/1785.39 c 1679s| 6330k| 6296k| 0 | 0.0 |1757M|2156 | - |3388 | 653 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1788.25/1788.24 c 1681s| 6340k| 6305k| 0 | 0.0 |1760M|2156 | - |3388 | 637 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1791.05/1791.08 c 1684s| 6350k| 6315k| 0 | 0.0 |1763M|2156 | - |3388 | 626 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1793.95/1793.91 c 1687s| 6360k| 6325k| 0 | 0.0 |1766M|2156 | - |3388 | 625 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1796.75/1796.77 c 1689s| 6370k| 6335k| 0 | 0.0 |1768M|2156 | - |3388 | 643 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1799.56/1799.59 c 1692s| 6380k| 6345k| 0 | 0.0 |1771M|2156 | - |3388 | 624 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1692.29
1800.05/1800.00 c Solving Nodes : 6381441
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1692.29
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693702-1277889948.wbo
1800.05/1800.00 c Variables : 3388 (3334 binary, 0 integer, 0 implicit integer, 54 continuous)
1800.05/1800.00 c Constraints : 217 initial, 217 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693702-1277889948.wbo
1800.05/1800.00 c Variables : 3388 (3334 binary, 0 integer, 0 implicit integer, 54 continuous)
1800.05/1800.00 c Constraints : 216 initial, 12023 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 54 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 54 0 1706 0 1462 0 98 0 0 0
1800.05/1800.00 c setppc : 56 0 6763154 0 6365748 10767 2082791 0 0 0
1800.05/1800.00 c linear : 54 0 6752387 0 6365748 5365 691281 0 0 0
1800.05/1800.00 c logicor : 52+ 0 1101438 0 6365748 2235 172602 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 6365748 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c setppc : 215.21 0.00 26.25 0.00 188.96
1800.05/1800.00 c linear : 27.28 0.00 26.77 0.00 0.51
1800.05/1800.00 c logicor : 151.55 0.00 6.79 0.00 144.76
1800.05/1800.00 c countsols : 0.08 0.00 0.00 0.00 0.08
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.04 2 0 0
1800.05/1800.00 c rootredcost : 0.09 0 0 0
1800.05/1800.00 c pseudoobj : 8.25 6762954 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 38.84 18367 18367 378635 317.3 185799 38.8 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 180361 49.0 - - -
1800.05/1800.00 c applied locally : - - - 333 406.4 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1234.09 6365748 0 0 0 0 12731496
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.09 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.20 0 0
1800.05/1800.00 c trysol : 0.07 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 6381441
1800.05/1800.00 c nodes (total) : 6381441
1800.05/1800.00 c nodes left : 6347231
1800.05/1800.00 c max depth : 2156
1800.05/1800.00 c max depth (total): 2156
1800.05/1800.00 c backtracks : 7197 (0.1%)
1800.05/1800.00 c delayed cutoffs : 2825
1800.05/1800.00 c repropagations : 15226 (105967 domain reductions, 2674 cutoffs)
1800.05/1800.00 c avg switch length: 2.26
1800.05/1800.00 c switching time : 24.58
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693702-1277889948/watcher-2693702-1277889948 -o /tmp/evaluation-result-2693702-1277889948/solver-2693702-1277889948 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693702-1277889948.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.51 2.61 3.06 4/186 8983
/proc/meminfo: memFree=30446896/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=8524 CPUtime=0
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 1614 0 0 0 0 0 0 0 25 0 1 0 130292156 8728576 1537 4089446400 4194304 7136930 140734268543184 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8983/statm: 2131 1537 275 719 0 1410 0
[startup+0.071679 s]
/proc/loadavg: 2.51 2.61 3.06 4/186 8983
/proc/meminfo: memFree=30446896/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=19660 CPUtime=0.07
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 5890 0 0 0 6 1 0 0 25 0 1 0 130292156 20131840 4174 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 4915 4174 390 719 0 4194 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19660
[startup+0.100674 s]
/proc/loadavg: 2.51 2.61 3.06 4/186 8983
/proc/meminfo: memFree=30446896/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=19660 CPUtime=0.09
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 5890 0 0 0 8 1 0 0 25 0 1 0 130292156 20131840 4174 4089446400 4194304 7136930 140734268543184 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 4915 4174 390 719 0 4194 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19660
[startup+0.300636 s]
/proc/loadavg: 2.51 2.61 3.06 4/186 8983
/proc/meminfo: memFree=30446896/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=20592 CPUtime=0.29
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 6116 0 0 0 28 1 0 0 25 0 1 0 130292156 21086208 4400 4089446400 4194304 7136930 140734268543184 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 5148 4400 390 719 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20592
[startup+0.700564 s]
/proc/loadavg: 2.51 2.61 3.06 4/186 8983
/proc/meminfo: memFree=30446896/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=21392 CPUtime=0.69
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 6341 0 0 0 67 2 0 0 25 0 1 0 130292156 21905408 4625 4089446400 4194304 7136930 140734268543184 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 5348 4625 394 719 0 4627 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21392
[startup+1.50041 s]
/proc/loadavg: 2.51 2.61 3.06 3/187 8984
/proc/meminfo: memFree=30429972/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=21780 CPUtime=1.49
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 6449 0 0 0 145 4 0 0 25 0 1 0 130292156 22302720 4733 4089446400 4194304 7136930 140734268543184 18446744073709551615 6125394 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 5445 4733 394 719 0 4724 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21780
[startup+3.10112 s]
/proc/loadavg: 2.51 2.61 3.06 3/187 8984
/proc/meminfo: memFree=30428608/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=24392 CPUtime=3.09
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 7099 0 0 0 302 7 0 0 25 0 1 0 130292156 24977408 5383 4089446400 4194304 7136930 140734268543184 18446744073709551615 4643234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 6098 5383 394 719 0 5377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24392
[startup+6.30053 s]
/proc/loadavg: 2.47 2.60 3.05 3/187 8984
/proc/meminfo: memFree=30425652/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=28068 CPUtime=6.29
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 8089 0 0 0 615 14 0 0 25 0 1 0 130292156 28741632 6373 4089446400 4194304 7136930 140734268543184 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 7017 6373 394 719 0 6296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28068
[startup+12.7003 s]
/proc/loadavg: 2.43 2.59 3.05 3/187 8984
/proc/meminfo: memFree=30417596/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=35348 CPUtime=12.69
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 9971 0 0 0 1243 26 0 0 25 0 1 0 130292156 36196352 8255 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 8837 8255 394 719 0 8116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35348
[startup+25.501 s]
/proc/loadavg: 2.34 2.56 3.03 3/187 8984
/proc/meminfo: memFree=30405976/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=49844 CPUtime=25.5
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 13252 0 0 0 2500 50 0 0 25 0 1 0 130292156 51040256 11536 4089446400 4194304 7136930 140734268543184 18446744073709551615 4407748 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 12461 11536 394 719 0 11740 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 49844
[startup+51.1002 s]
/proc/loadavg: 2.22 2.51 3.00 3/187 8985
/proc/meminfo: memFree=30381008/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=72820 CPUtime=51.09
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 19293 0 0 0 5008 101 0 0 25 0 1 0 130292156 74567680 17577 4089446400 4194304 7136930 140734268543184 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 18205 17577 394 719 0 17484 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72820
[startup+102.307 s]
/proc/loadavg: 3.25 2.68 3.03 10/187 8986
/proc/meminfo: memFree=30088344/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=125424 CPUtime=102.3
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 32041 0 0 0 10029 201 0 0 25 0 1 0 130292156 128434176 30325 4089446400 4194304 7136930 140734268543184 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8983/statm: 31356 30325 394 719 0 30635 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 125424
[startup+162.301 s]
/proc/loadavg: 3.89 3.08 3.15 3/197 9034
/proc/meminfo: memFree=30495204/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=198404 CPUtime=162.29
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 49070 0 0 0 15722 507 0 0 25 0 1 0 130292156 203165696 47354 4089446400 4194304 7136930 140734268543184 18446744073709551615 4643027 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 49601 47354 394 719 0 48880 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 198404
[startup+222.301 s]
/proc/loadavg: 2.74 2.90 3.08 3/197 9036
/proc/meminfo: memFree=30391968/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=267300 CPUtime=222.3
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 67178 0 0 0 21336 894 0 0 25 0 1 0 130292156 273715200 65462 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 66825 65462 394 719 0 66104 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 267300
[startup+282.3 s]
/proc/loadavg: 2.27 2.73 3.01 3/197 9037
/proc/meminfo: memFree=30299152/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=367780 CPUtime=282.3
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 89145 0 0 0 26847 1383 0 0 25 0 1 0 130292156 376606720 87429 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 91945 87429 394 719 0 91224 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 367780
[startup+342.3 s]
/proc/loadavg: 2.10 2.59 2.94 3/197 9042
/proc/meminfo: memFree=30193344/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=446104 CPUtime=342.3
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 109467 0 0 0 32405 1825 0 0 25 0 1 0 130292156 456810496 107751 4089446400 4194304 7136930 140734268543184 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 111526 107751 394 719 0 110805 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 446104
[startup+402.3 s]
/proc/loadavg: 2.03 2.48 2.88 3/197 9043
/proc/meminfo: memFree=30123424/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=505932 CPUtime=402.3
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 125228 0 0 0 38030 2200 0 0 25 0 1 0 130292156 518074368 123512 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 126483 123512 394 719 0 125762 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 505932
[startup+462.3 s]
/proc/loadavg: 2.01 2.39 2.82 3/197 9045
/proc/meminfo: memFree=30044252/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=562804 CPUtime=462.3
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 140245 0 0 0 43642 2588 0 0 25 0 1 0 130292156 576311296 138529 4089446400 4194304 7136930 140734268543184 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 140701 138529 394 719 0 139980 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 562804
[startup+522.3 s]
/proc/loadavg: 2.00 2.32 2.77 3/197 9047
/proc/meminfo: memFree=29982180/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=618676 CPUtime=522.3
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 155049 0 0 0 49249 2981 0 0 25 0 1 0 130292156 633524224 153333 4089446400 4194304 7136930 140734268543184 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 154669 153333 394 719 0 153948 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 618676
[startup+582.301 s]
/proc/loadavg: 2.04 2.27 2.72 3/197 9048
/proc/meminfo: memFree=29918016/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=711492 CPUtime=582.31
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 170865 0 0 0 54866 3365 0 0 25 0 1 0 130292156 728567808 169149 4089446400 4194304 7136930 140734268543184 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 177873 169149 394 719 0 177152 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 711492
[startup+642.301 s]
/proc/loadavg: 2.01 2.22 2.68 3/197 9050
/proc/meminfo: memFree=29850976/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=771356 CPUtime=642.31
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 186643 0 0 0 60471 3760 0 0 25 0 1 0 130292156 789868544 184927 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 192839 184927 394 719 0 192118 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 771356
[startup+702.301 s]
################
# More data... #
################
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 276736 0 0 0 94157 6075 0 0 25 0 1 0 130292156 1138741248 275020 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 278013 275020 394 719 0 277292 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1112052
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.41 3/197 9061
/proc/meminfo: memFree=29426548/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1171568 CPUtime=1062.33
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 292438 0 0 0 99765 6468 0 0 25 0 1 0 130292156 1199685632 290722 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 292892 290722 394 719 0 292171 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1171568
[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.39 3/197 9063
/proc/meminfo: memFree=29366224/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1227408 CPUtime=1122.33
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 307187 0 0 0 105438 6795 0 0 25 0 1 0 130292156 1256865792 305471 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 306852 305471 394 719 0 306131 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1227408
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.36 3/197 9064
/proc/meminfo: memFree=29305656/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1347036 CPUtime=1182.33
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 321528 0 0 0 111117 7116 0 0 25 0 1 0 130292156 1379364864 319812 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 336759 319812 394 719 0 336038 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1347036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.34 3/197 9066
/proc/meminfo: memFree=29244696/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1402752 CPUtime=1242.33
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 336305 0 0 0 116803 7430 0 0 25 0 1 0 130292156 1436418048 334589 4089446400 4194304 7136930 140734268543184 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 350688 334589 394 719 0 349967 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1402752
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.32 3/197 9067
/proc/meminfo: memFree=29185348/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1457516 CPUtime=1302.33
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 350816 0 0 0 122495 7738 0 0 25 0 1 0 130292156 1492496384 349100 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 364379 349100 394 719 0 363658 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1457516
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.30 3/197 9069
/proc/meminfo: memFree=29112256/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1517892 CPUtime=1362.34
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 366715 0 0 0 128163 8071 0 0 25 0 1 0 130292156 1554321408 364999 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 379473 364999 394 719 0 378752 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1517892
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.27 3/197 9071
/proc/meminfo: memFree=29049072/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1576368 CPUtime=1422.35
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 382149 0 0 0 133769 8466 0 0 25 0 1 0 130292156 1614200832 380433 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 394092 380433 394 719 0 393371 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1576368
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/197 9072
/proc/meminfo: memFree=28990116/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1632360 CPUtime=1482.34
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 396984 0 0 0 139382 8852 0 0 25 0 1 0 130292156 1671536640 395268 4089446400 4194304 7136930 140734268543184 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 408090 395268 394 719 0 407369 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1632360
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.24 3/197 9074
/proc/meminfo: memFree=28930772/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1687688 CPUtime=1542.34
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 411608 0 0 0 144992 9242 0 0 25 0 1 0 130292156 1728192512 409892 4089446400 4194304 7136930 140734268543184 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 421922 409892 394 719 0 421201 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1687688
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/197 9075
/proc/meminfo: memFree=28872540/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1742844 CPUtime=1602.34
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 426232 0 0 0 150603 9631 0 0 25 0 1 0 130292156 1784672256 424516 4089446400 4194304 7136930 140734268543184 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 435711 424516 394 719 0 434990 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1742844
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/197 9077
/proc/meminfo: memFree=28809484/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1801884 CPUtime=1662.34
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 441832 0 0 0 156255 9979 0 0 25 0 1 0 130292156 1845129216 440116 4089446400 4194304 7136930 140734268543184 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 450471 440116 394 719 0 449750 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1801884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/197 9079
/proc/meminfo: memFree=28742456/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1860112 CPUtime=1722.35
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 457206 0 0 0 161928 10307 0 0 25 0 1 0 130292156 1904754688 455490 4089446400 4194304 7136930 140734268543184 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 465028 455490 394 719 0 464307 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1860112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/197 9080
/proc/meminfo: memFree=28681872/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1916824 CPUtime=1782.35
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 472180 0 0 0 167574 10661 0 0 25 0 1 0 130292156 1962827776 470464 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 479206 470464 394 719 0 478485 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1916824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.17 3/197 9081
/proc/meminfo: memFree=28664124/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1932364 CPUtime=1800.05
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 476323 0 0 0 169229 10776 0 0 25 0 1 0 130292156 1978740736 474607 4089446400 4194304 7136930 140734268543184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8983/statm: 483091 474607 394 719 0 482370 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1932364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8983
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.17 3/198 9082
/proc/meminfo: memFree=28664116/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1930568 CPUtime=1801.45
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 476346 0 0 0 169369 10776 0 0 20 0 1 0 130292156 1976901632 474178 4089446400 4194304 7136930 140734268543184 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/8983/statm: 482642 474178 399 719 0 481921 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 1930568
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.17 3/198 9082
/proc/meminfo: memFree=28664860/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1930568 CPUtime=1801.85
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 476346 0 0 0 169409 10776 0 0 20 0 1 0 130292156 1976901632 474178 4089446400 4194304 7136930 140734268543184 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/8983/statm: 482642 474178 399 719 0 481921 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 1930568
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.17 3/198 9082
/proc/meminfo: memFree=28664860/32951124 swapFree=67111528/67111528
[pid=8983] ppid=8981 vsize=1930568 CPUtime=1802.05
/proc/8983/stat : 8983 (pbscip.linux.x8) R 8981 8983 8126 0 -1 4202496 476346 0 0 0 169429 10776 0 0 21 0 1 0 130292156 1976901632 474178 4089446400 4194304 7136930 140734268543184 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/8983/statm: 482642 474178 399 719 0 481921 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1930568
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.13
CPU user time (s): 1694.3
CPU system time (s): 107.827
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1932364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1694.3
system time used= 107.827
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476346
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= 3
involuntary context switches= 17846
runsolver used 2.6356 second user time and 5.81112 second system time
The end
Begin job on node105 at 2010-06-30 11:25:48
IDJOB=2693702
IDBENCH=78674
IDSOLVER=1206
FILE ID=node105/2693702-1277889948
PBS_JOBID= 11197144
Free space on /tmp= 74192 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_41_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-2693702-1277889948/watcher-2693702-1277889948 -o /tmp/evaluation-result-2693702-1277889948/solver-2693702-1277889948 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693702-1277889948.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e57b036b50f33fe5c7ba72826e4a4d5e
RANDOM SEED=1857645531
node105.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.840
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.68
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.840
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.15
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.840
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.82
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.840
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.75
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.840
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.94
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.840
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.70
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.840
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.82
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.840
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30447424 kB
Buffers: 172404 kB
Cached: 1825508 kB
SwapCached: 0 kB
Active: 827628 kB
Inactive: 1529032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30447424 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3072 kB
Writeback: 0 kB
AnonPages: 358716 kB
Mapped: 19008 kB
Slab: 80792 kB
PageTables: 5748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 739040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node105 at 2010-06-30 11:55:50