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-2693705-1277889966.wbo>
0.00/0.01 c original problem has 3832 variables (3716 bin, 0 int, 0 impl, 116 cont) and 287 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 116 impls, 25 clqs
0.00/0.03 c (round 2) 0 del vars, 1 del conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 116 impls, 25 clqs
0.00/0.03 c (round 3) 0 del vars, 1 del conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 29 upgd conss, 116 impls, 25 clqs
0.00/0.03 c (round 4) 0 del vars, 1 del conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 54 upgd conss, 116 impls, 25 clqs
0.05/0.06 c (0.0s) probing: 101/3716 (2.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.05/0.06 c presolving (5 rounds):
0.05/0.06 c 0 deleted vars, 1 deleted constraints, 116 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.06 c 116 implications, 25 cliques
0.05/0.06 c presolved problem has 3832 variables (3716 bin, 0 int, 0 impl, 116 cont) and 286 constraints
0.05/0.06 c 116 constraints of type <indicator>
0.05/0.06 c 25 constraints of type <setppc>
0.05/0.06 c 116 constraints of type <linear>
0.05/0.06 c 29 constraints of type <logicor>
0.05/0.06 c transformed objective value is always integral (scale: 1)
0.05/0.06 c Presolving Time: 0.03
0.05/0.06 c - non default parameters ----------------------------------------------------------------------
0.05/0.06 c # SCIP version 1.2.1.2
0.05/0.06 c
0.05/0.06 c # frequency for displaying node information lines
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.06 c display/freq = 10000
0.05/0.06 c
0.05/0.06 c # maximal time in seconds to run
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/time = 1799.99
0.05/0.06 c
0.05/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/memory = 3420
0.05/0.06 c
0.05/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c lp/solvefreq = -1
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify inequalities
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/linear/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify knapsacks
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c separating/rapidlearning/freq = 0
0.05/0.06 c
0.05/0.06 c -----------------------------------------------------------------------------------------------
0.05/0.06 c start solving
0.05/0.06 c
0.05/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.06 c 0.1s| 1 | 2 | 0 | - |7210k| 0 | - |3832 | 286 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.49 c 2.4s| 10000 | 9964 | 0 | 0.0 | 10M|2928 | - |3832 | 417 | 0 | 0 | 0 | 179 | 0 | 0.000000e+00 | -- | Inf
5.27/5.40 c 5.3s| 20000 | 19908 | 0 | 0.0 | 13M|2928 | - |3832 | 395 | 0 | 0 | 0 | 458 | 0 | 0.000000e+00 | -- | Inf
8.16/8.24 c 8.0s| 30000 | 29861 | 0 | 0.0 | 16M|2928 | - |3832 | 465 | 0 | 0 | 0 | 698 | 0 | 0.000000e+00 | -- | Inf
10.97/11.08 c 10.8s| 40000 | 39819 | 0 | 0.0 | 19M|2928 | - |3832 | 489 | 0 | 0 | 0 | 916 | 0 | 0.000000e+00 | -- | Inf
13.86/13.94 c 13.6s| 50000 | 49785 | 0 | 0.0 | 22M|2928 | - |3832 | 528 | 0 | 0 | 0 |1086 | 0 | 0.000000e+00 | -- | Inf
16.76/16.80 c 16.4s| 60000 | 59742 | 0 | 0.0 | 25M|2928 | - |3832 | 564 | 0 | 0 | 0 |1286 | 0 | 0.000000e+00 | -- | Inf
19.67/19.73 c 19.3s| 70000 | 69684 | 0 | 0.0 | 28M|2928 | - |3832 | 588 | 0 | 0 | 0 |1576 | 0 | 0.000000e+00 | -- | Inf
22.56/22.64 c 22.2s| 80000 | 79632 | 0 | 0.0 | 30M|2928 | - |3832 | 626 | 0 | 0 | 0 |1836 | 0 | 0.000000e+00 | -- | Inf
25.47/25.56 c 25.0s| 90000 | 89572 | 0 | 0.0 | 33M|2928 | - |3832 | 644 | 0 | 0 | 0 |2136 | 0 | 0.000000e+00 | -- | Inf
28.36/28.45 c 27.8s|100000 | 99528 | 0 | 0.0 | 36M|2928 | - |3832 | 690 | 0 | 0 | 0 |2356 | 0 | 0.000000e+00 | -- | Inf
31.27/31.33 c 30.7s|110000 |109476 | 0 | 0.0 | 39M|2928 | - |3832 | 739 | 0 | 0 | 0 |2615 | 0 | 0.000000e+00 | -- | Inf
34.07/34.18 c 33.5s|120000 |119433 | 0 | 0.0 | 42M|2928 | - |3832 | 745 | 0 | 0 | 0 |2831 | 0 | 0.000000e+00 | -- | Inf
36.97/37.05 c 36.3s|130000 |129382 | 0 | 0.0 | 45M|2928 | - |3832 | 786 | 0 | 0 | 0 |3091 | 0 | 0.000000e+00 | -- | Inf
39.76/39.87 c 39.0s|140000 |139340 | 0 | 0.0 | 47M|2928 | - |3832 | 788 | 0 | 0 | 0 |3301 | 0 | 0.000000e+00 | -- | Inf
42.66/42.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.66/42.72 c 41.8s|150000 |149296 | 0 | 0.0 | 50M|2928 | - |3832 | 836 | 0 | 0 | 0 |3521 | 0 | 0.000000e+00 | -- | Inf
45.47/45.55 c 44.6s|160000 |159242 | 0 | 0.0 | 53M|2928 | - |3832 | 873 | 0 | 0 | 0 |3791 | 0 | 0.000000e+00 | -- | Inf
48.26/48.37 c 47.4s|170000 |169194 | 0 | 0.0 | 56M|2928 | - |3832 | 881 | 0 | 0 | 0 |4031 | 0 | 0.000000e+00 | -- | Inf
51.06/51.19 c 50.1s|180000 |179146 | 0 | 0.0 | 58M|2928 | - |3832 | 865 | 0 | 0 | 0 |4271 | 0 | 0.000000e+00 | -- | Inf
53.87/53.99 c 52.9s|190000 |189108 | 0 | 0.0 | 61M|2928 | - |3832 | 837 | 0 | 0 | 0 |4461 | 0 | 0.000000e+00 | -- | Inf
56.66/56.78 c 55.6s|200000 |199060 | 0 | 0.0 | 64M|2928 | - |3832 | 816 | 0 | 0 | 0 |4701 | 0 | 0.000000e+00 | -- | Inf
59.46/59.56 c 58.4s|210000 |208996 | 0 | 0.0 | 67M|2928 | - |3832 | 914 | 0 | 0 | 0 |5021 | 0 | 0.000000e+00 | -- | Inf
62.26/62.32 c 61.1s|220000 |218938 | 0 | 0.0 | 70M|2928 | - |3832 | 934 | 0 | 0 | 0 |5311 | 0 | 0.000000e+00 | -- | Inf
64.96/65.09 c 63.8s|230000 |228890 | 0 | 0.0 | 72M|2928 | - |3832 | 890 | 0 | 0 | 0 |5551 | 0 | 0.000000e+00 | -- | Inf
67.76/67.84 c 66.5s|240000 |238842 | 0 | 0.0 | 75M|2928 | - |3832 | 887 | 0 | 0 | 0 |5791 | 0 | 0.000000e+00 | -- | Inf
70.46/70.56 c 69.2s|250000 |248797 | 0 | 0.0 | 78M|2928 | - |3832 | 887 | 0 | 0 | 0 |6017 | 0 | 0.000000e+00 | -- | Inf
73.27/73.30 c 71.8s|260000 |258744 | 0 | 0.0 | 81M|2928 | - |3832 | 878 | 0 | 0 | 0 |6287 | 0 | 0.000000e+00 | -- | Inf
75.96/76.01 c 74.5s|270000 |268698 | 0 | 0.0 | 84M|2928 | - |3832 | 840 | 0 | 0 | 0 |6517 | 0 | 0.000000e+00 | -- | Inf
78.67/78.72 c 77.2s|280000 |278654 | 0 | 0.0 | 86M|2928 | - |3832 | 841 | 0 | 0 | 0 |6737 | 0 | 0.000000e+00 | -- | Inf
81.36/81.45 c 79.8s|290000 |288597 | 0 | 0.0 | 89M|2928 | - |3832 | 880 | 0 | 0 | 0 |7027 | 0 | 0.000000e+00 | -- | Inf
84.06/84.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.06/84.17 c 82.5s|300000 |298543 | 0 | 0.0 | 92M|2928 | - |3832 | 845 | 0 | 0 | 0 |7297 | 0 | 0.000000e+00 | -- | Inf
86.76/86.88 c 85.1s|310000 |308495 | 0 | 0.0 | 95M|2928 | - |3832 | 859 | 0 | 0 | 0 |7537 | 0 | 0.000000e+00 | -- | Inf
89.46/89.59 c 87.8s|320000 |318448 | 0 | 0.0 | 98M|2928 | - |3832 | 872 | 0 | 0 | 0 |7777 | 0 | 0.000000e+00 | -- | Inf
92.16/92.26 c 90.4s|330000 |328398 | 0 | 0.0 | 101M|2928 | - |3832 | 904 | 0 | 0 | 0 |8027 | 0 | 0.000000e+00 | -- | Inf
94.86/94.93 c 93.0s|340000 |338342 | 0 | 0.0 | 103M|2928 | - |3832 | 919 | 0 | 0 | 0 |8307 | 0 | 0.000000e+00 | -- | Inf
97.46/97.58 c 95.6s|350000 |348288 | 0 | 0.0 | 106M|2928 | - |3832 | 907 | 0 | 0 | 0 |8577 | 0 | 0.000000e+00 | -- | Inf
100.16/100.21 c 98.2s|360000 |358244 | 0 | 0.0 | 109M|2928 | - |3832 | 899 | 0 | 0 | 0 |8797 | 0 | 0.000000e+00 | -- | Inf
102.75/102.83 c 101s|370000 |368190 | 0 | 0.0 | 112M|2928 | - |3832 | 877 | 0 | 0 | 0 |9067 | 0 | 0.000000e+00 | -- | Inf
105.35/105.44 c 103s|380000 |378142 | 0 | 0.0 | 115M|2928 | - |3832 | 906 | 0 | 0 | 0 |9307 | 0 | 0.000000e+00 | -- | Inf
107.96/108.08 c 106s|390000 |388092 | 0 | 0.0 | 118M|2928 | - |3832 | 895 | 0 | 0 | 0 |9557 | 0 | 0.000000e+00 | -- | Inf
110.65/110.71 c 108s|400000 |398038 | 0 | 0.0 | 120M|2928 | - |3832 | 895 | 0 | 0 | 0 |9827 | 0 | 0.000000e+00 | -- | Inf
113.27/113.32 c 111s|410000 |407994 | 0 | 0.0 | 123M|2928 | - |3832 | 887 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
115.86/115.93 c 114s|420000 |417941 | 0 | 0.0 | 126M|2928 | - |3832 | 889 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
118.46/118.55 c 116s|430000 |427879 | 0 | 0.0 | 129M|2928 | - |3832 | 880 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
121.05/121.16 c 119s|440000 |437813 | 0 | 0.0 | 132M|2928 | - |3832 | 899 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
123.66/123.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.66/123.75 c 121s|450000 |447759 | 0 | 0.0 | 135M|2928 | - |3832 | 886 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
126.25/126.35 c 124s|460000 |457701 | 0 | 0.0 | 138M|2928 | - |3832 | 868 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
128.86/128.98 c 126s|470000 |467635 | 0 | 0.0 | 140M|2928 | - |3832 | 875 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
131.46/131.57 c 129s|480000 |477573 | 0 | 0.0 | 143M|2928 | - |3832 | 869 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
134.06/134.14 c 131s|490000 |487515 | 0 | 0.0 | 146M|2928 | - |3832 | 868 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
136.66/136.71 c 134s|500000 |497449 | 0 | 0.0 | 149M|2928 | - |3832 | 885 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
139.16/139.22 c 136s|510000 |507389 | 0 | 0.0 | 152M|2928 | - |3832 | 896 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
141.65/141.76 c 139s|520000 |517323 | 0 | 0.0 | 155M|2928 | - |3832 | 907 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
144.16/144.24 c 141s|530000 |527267 | 0 | 0.0 | 158M|2928 | - |3832 | 955 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
146.66/146.77 c 144s|540000 |537198 | 0 | 0.0 | 161M|2928 | - |3832 | 938 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
149.15/149.26 c 146s|550000 |547143 | 0 | 0.0 | 163M|2928 | - |3832 | 929 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
151.66/151.75 c 149s|560000 |557079 | 0 | 0.0 | 166M|2928 | - |3832 | 973 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
154.15/154.22 c 151s|570000 |567025 | 0 | 0.0 | 169M|2928 | - |3832 | 996 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
156.55/156.67 c 153s|580000 |576973 | 0 | 0.0 | 172M|2928 | - |3832 | 974 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
159.06/159.10 c 156s|590000 |586911 | 0 | 0.0 | 175M|2928 | - |3832 | 984 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
161.45/161.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.45/161.54 c 158s|600000 |596847 | 0 | 0.0 | 178M|2928 | - |3832 |1016 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
163.86/163.97 c 161s|610000 |606786 | 0 | 0.0 | 181M|2928 | - |3832 |1010 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
166.36/166.40 c 163s|620000 |616718 | 0 | 0.0 | 184M|2928 | - |3832 | 989 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
168.75/168.83 c 165s|630000 |626651 | 0 | 0.0 | 187M|2928 | - |3832 | 999 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
171.15/171.25 c 168s|640000 |636583 | 0 | 0.0 | 190M|2928 | - |3832 | 991 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
173.56/173.66 c 170s|650000 |646520 | 0 | 0.0 | 193M|2928 | - |3832 | 998 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
175.96/176.04 c 172s|660000 |656447 | 0 | 0.0 | 196M|2928 | - |3832 |1016 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
178.35/178.43 c 175s|670000 |666372 | 0 | 0.0 | 199M|2928 | - |3832 |1036 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
180.75/180.83 c 177s|680000 |676306 | 0 | 0.0 | 202M|2928 | - |3832 |1027 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
183.15/183.21 c 179s|690000 |686244 | 0 | 0.0 | 204M|2928 | - |3832 |1084 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
185.45/185.56 c 182s|700000 |696167 | 0 | 0.0 | 207M|2928 | - |3832 |1038 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
187.85/187.94 c 184s|710000 |706088 | 0 | 0.0 | 210M|2928 | - |3832 |1081 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
190.16/190.28 c 186s|720000 |716026 | 0 | 0.0 | 213M|2928 | - |3832 |1023 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
192.55/192.63 c 189s|730000 |725944 | 0 | 0.0 | 216M|2928 | - |3832 |1051 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
194.85/194.91 c 191s|740000 |735883 | 0 | 0.0 | 219M|2928 | - |3832 |1085 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
197.15/197.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.15/197.23 c 193s|750000 |745798 | 0 | 0.0 | 222M|2928 | - |3832 |1080 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
199.45/199.53 c 195s|760000 |755723 | 0 | 0.0 | 225M|2928 | - |3832 |1062 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
201.75/201.83 c 198s|770000 |765634 | 0 | 0.0 | 228M|2928 | - |3832 |1086 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
204.05/204.12 c 200s|780000 |775557 | 0 | 0.0 | 231M|2928 | - |3832 |1052 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
206.35/206.43 c 202s|790000 |785451 | 0 | 0.0 | 234M|2928 | - |3832 |1095 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
209.15/209.29 c 205s|800000 |795030 | 0 | 0.0 | 239M|2928 | - |3832 |1096 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
212.05/212.20 c 208s|810000 |804537 | 0 | 0.0 | 244M|2928 | - |3832 |1102 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
214.95/215.00 c 210s|820000 |814047 | 0 | 0.0 | 248M|2928 | - |3832 |1098 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
217.66/217.72 c 213s|830000 |823517 | 0 | 0.0 | 253M|2928 | - |3832 |1078 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
220.25/220.31 c 216s|840000 |833037 | 0 | 0.0 | 258M|2928 | - |3832 |1062 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
222.65/222.79 c 218s|850000 |842540 | 0 | 0.0 | 263M|2928 | - |3832 |1053 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
225.05/225.18 c 220s|860000 |852033 | 0 | 0.0 | 267M|2928 | - |3832 |1059 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
227.35/227.45 c 223s|870000 |861522 | 0 | 0.0 | 272M|2928 | - |3832 |1037 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
229.45/229.59 c 225s|880000 |871039 | 0 | 0.0 | 277M|2928 | - |3832 |1037 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
231.55/231.62 c 227s|890000 |880555 | 0 | 0.0 | 281M|2928 | - |3832 |1032 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
233.45/233.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.45/233.54 c 228s|900000 |890072 | 0 | 0.0 | 286M|2928 | - |3832 |1066 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
235.26/235.32 c 230s|910000 |899604 | 0 | 0.0 | 291M|2928 | - |3832 |1035 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
237.35/237.44 c 232s|920000 |908659 | 0 | 0.0 | 296M|2928 | - |3832 |1478 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
240.05/240.20 c 235s|930000 |918618 | 0 | 0.0 | 299M|2928 | - |3832 |1072 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
242.95/243.01 c 238s|940000 |928563 | 0 | 0.0 | 301M|2928 | - |3832 | 977 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
245.75/245.84 c 240s|950000 |938508 | 0 | 0.0 | 304M|2928 | - |3832 |1029 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
248.56/248.66 c 243s|960000 |948466 | 0 | 0.0 | 307M|2928 | - |3832 | 987 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
251.45/251.50 c 246s|970000 |958426 | 0 | 0.0 | 310M|2928 | - |3832 | 970 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
254.25/254.35 c 249s|980000 |968376 | 0 | 0.0 | 313M|2928 | - |3832 | 980 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
257.05/257.18 c 252s|990000 |978332 | 0 | 0.0 | 315M|2928 | - |3832 | 930 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
259.94/260.02 c 254s| 1000k|988286 | 0 | 0.0 | 318M|2928 | - |3832 | 927 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
262.75/262.87 c 257s| 1010k|998244 | 0 | 0.0 | 321M|2928 | - |3832 | 918 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
265.65/265.71 c 260s| 1020k| 1008k| 0 | 0.0 | 324M|2928 | - |3832 | 892 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
268.44/268.59 c 263s| 1030k| 1018k| 0 | 0.0 | 327M|2928 | - |3832 | 870 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
271.34/271.42 c 266s| 1040k| 1028k| 0 | 0.0 | 329M|2928 | - |3832 | 881 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
274.15/274.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.15/274.27 c 268s| 1050k| 1038k| 0 | 0.0 | 332M|2928 | - |3832 | 859 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
277.05/277.16 c 271s| 1060k| 1047k| 0 | 0.0 | 335M|2928 | - |3832 | 886 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
279.84/279.99 c 274s| 1070k| 1057k| 0 | 0.0 | 338M|2928 | - |3832 | 872 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
282.74/282.84 c 277s| 1080k| 1067k| 0 | 0.0 | 341M|2928 | - |3832 | 882 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
285.54/285.69 c 280s| 1090k| 1077k| 0 | 0.0 | 343M|2928 | - |3832 | 870 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
288.45/288.54 c 282s| 1100k| 1087k| 0 | 0.0 | 346M|2928 | - |3832 | 860 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
291.25/291.37 c 285s| 1110k| 1097k| 0 | 0.0 | 349M|2928 | - |3832 | 827 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
294.14/294.21 c 288s| 1120k| 1107k| 0 | 0.0 | 352M|2928 | - |3832 | 858 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
296.95/297.06 c 291s| 1130k| 1117k| 0 | 0.0 | 354M|2928 | - |3832 | 810 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
299.84/299.92 c 294s| 1140k| 1127k| 0 | 0.0 | 357M|2928 | - |3832 | 831 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
302.64/302.75 c 296s| 1150k| 1137k| 0 | 0.0 | 360M|2928 | - |3832 | 872 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
305.55/305.61 c 299s| 1160k| 1147k| 0 | 0.0 | 363M|2928 | - |3832 | 839 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
308.35/308.43 c 302s| 1170k| 1157k| 0 | 0.0 | 365M|2928 | - |3832 | 880 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
311.25/311.31 c 305s| 1180k| 1167k| 0 | 0.0 | 368M|2928 | - |3832 | 889 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
314.04/314.15 c 307s| 1190k| 1177k| 0 | 0.0 | 371M|2928 | - |3832 | 876 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
316.95/317.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.95/317.02 c 310s| 1200k| 1187k| 0 | 0.0 | 374M|2928 | - |3832 | 896 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
319.74/319.85 c 313s| 1210k| 1197k| 0 | 0.0 | 376M|2928 | - |3832 | 919 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
322.54/322.68 c 316s| 1220k| 1207k| 0 | 0.0 | 379M|2928 | - |3832 | 939 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
325.45/325.57 c 319s| 1230k| 1217k| 0 | 0.0 | 382M|2928 | - |3832 | 891 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
328.35/328.41 c 321s| 1240k| 1227k| 0 | 0.0 | 385M|2928 | - |3832 | 908 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
331.15/331.25 c 324s| 1250k| 1237k| 0 | 0.0 | 387M|2928 | - |3832 | 909 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
333.95/334.09 c 327s| 1260k| 1247k| 0 | 0.0 | 390M|2928 | - |3832 | 905 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
336.84/336.93 c 330s| 1270k| 1256k| 0 | 0.0 | 393M|2928 | - |3832 | 906 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
339.65/339.79 c 333s| 1280k| 1266k| 0 | 0.0 | 396M|2928 | - |3832 | 912 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
342.54/342.64 c 335s| 1290k| 1276k| 0 | 0.0 | 399M|2928 | - |3832 | 916 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
345.45/345.52 c 338s| 1300k| 1286k| 0 | 0.0 | 401M|2928 | - |3832 | 973 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
348.25/348.37 c 341s| 1310k| 1296k| 0 | 0.0 | 404M|2928 | - |3832 | 937 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
351.05/351.19 c 344s| 1320k| 1306k| 0 | 0.0 | 407M|2928 | - |3832 | 943 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
353.94/354.05 c 347s| 1330k| 1316k| 0 | 0.0 | 410M|2928 | - |3832 | 937 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
356.85/356.91 c 349s| 1340k| 1326k| 0 | 0.0 | 412M|2928 | - |3832 | 930 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
359.65/359.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.65/359.74 c 352s| 1350k| 1336k| 0 | 0.0 | 415M|2928 | - |3832 | 910 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
362.54/362.62 c 355s| 1360k| 1346k| 0 | 0.0 | 418M|2928 | - |3832 | 910 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
365.34/365.46 c 358s| 1370k| 1356k| 0 | 0.0 | 421M|2928 | - |3832 | 896 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
368.24/368.31 c 361s| 1380k| 1366k| 0 | 0.0 | 423M|2928 | - |3832 | 930 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
371.04/371.18 c 363s| 1390k| 1376k| 0 | 0.0 | 426M|2928 | - |3832 | 919 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
373.94/374.04 c 366s| 1400k| 1386k| 0 | 0.0 | 429M|2928 | - |3832 | 913 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
376.74/376.89 c 369s| 1410k| 1396k| 0 | 0.0 | 432M|2928 | - |3832 | 924 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
379.64/379.72 c 372s| 1420k| 1406k| 0 | 0.0 | 434M|2928 | - |3832 | 909 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
382.44/382.53 c 375s| 1430k| 1416k| 0 | 0.0 | 437M|2928 | - |3832 | 847 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
385.24/385.38 c 377s| 1440k| 1426k| 0 | 0.0 | 440M|2928 | - |3832 | 851 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
388.15/388.23 c 380s| 1450k| 1436k| 0 | 0.0 | 443M|2928 | - |3832 | 885 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
390.94/391.04 c 383s| 1460k| 1446k| 0 | 0.0 | 445M|2928 | - |3832 | 876 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
393.75/393.88 c 386s| 1470k| 1455k| 0 | 0.0 | 448M|2928 | - |3832 | 886 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
396.64/396.72 c 388s| 1480k| 1465k| 0 | 0.0 | 451M|2928 | - |3832 | 846 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
399.44/399.55 c 391s| 1490k| 1475k| 0 | 0.0 | 454M|2928 | - |3832 | 882 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
402.24/402.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.24/402.39 c 394s| 1500k| 1485k| 0 | 0.0 | 456M|2928 | - |3832 | 846 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
405.13/405.23 c 397s| 1510k| 1495k| 0 | 0.0 | 459M|2928 | - |3832 | 836 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
408.04/408.10 c 400s| 1520k| 1505k| 0 | 0.0 | 462M|2928 | - |3832 | 830 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
410.83/410.97 c 402s| 1530k| 1515k| 0 | 0.0 | 465M|2928 | - |3832 | 877 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
413.74/413.81 c 405s| 1540k| 1525k| 0 | 0.0 | 467M|2928 | - |3832 | 844 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
416.54/416.67 c 408s| 1550k| 1535k| 0 | 0.0 | 470M|2928 | - |3832 | 851 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
419.44/419.50 c 411s| 1560k| 1545k| 0 | 0.0 | 473M|2928 | - |3832 | 858 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
422.24/422.35 c 414s| 1570k| 1555k| 0 | 0.0 | 476M|2928 | - |3832 | 857 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
425.14/425.21 c 416s| 1580k| 1565k| 0 | 0.0 | 478M|2928 | - |3832 | 861 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
427.94/428.05 c 419s| 1590k| 1575k| 0 | 0.0 | 481M|2928 | - |3832 | 894 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
430.84/430.90 c 422s| 1600k| 1585k| 0 | 0.0 | 484M|2928 | - |3832 | 890 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
433.64/433.75 c 425s| 1610k| 1595k| 0 | 0.0 | 487M|2928 | - |3832 | 869 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
436.44/436.58 c 428s| 1620k| 1605k| 0 | 0.0 | 489M|2928 | - |3832 | 885 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
439.33/439.44 c 430s| 1630k| 1615k| 0 | 0.0 | 492M|2928 | - |3832 | 850 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
442.14/442.27 c 433s| 1640k| 1625k| 0 | 0.0 | 495M|2928 | - |3832 | 844 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
445.04/445.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.04/445.13 c 436s| 1650k| 1635k| 0 | 0.0 | 498M|2928 | - |3832 | 828 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
447.83/447.98 c 439s| 1660k| 1645k| 0 | 0.0 | 501M|2928 | - |3832 | 844 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
450.73/450.86 c 442s| 1670k| 1655k| 0 | 0.0 | 503M|2928 | - |3832 | 885 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
453.63/453.70 c 444s| 1680k| 1665k| 0 | 0.0 | 506M|2928 | - |3832 | 877 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
456.44/456.57 c 447s| 1690k| 1674k| 0 | 0.0 | 509M|2928 | - |3832 | 907 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
459.33/459.42 c 450s| 1700k| 1684k| 0 | 0.0 | 512M|2928 | - |3832 | 922 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
462.13/462.26 c 453s| 1710k| 1694k| 0 | 0.0 | 514M|2928 | - |3832 | 881 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
464.94/465.10 c 455s| 1720k| 1704k| 0 | 0.0 | 517M|2928 | - |3832 | 844 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
467.83/467.95 c 458s| 1730k| 1714k| 0 | 0.0 | 520M|2928 | - |3832 | 924 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
470.73/470.81 c 461s| 1740k| 1724k| 0 | 0.0 | 523M|2928 | - |3832 | 910 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
473.53/473.65 c 464s| 1750k| 1734k| 0 | 0.0 | 525M|2928 | - |3832 | 897 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
476.43/476.52 c 467s| 1760k| 1744k| 0 | 0.0 | 528M|2928 | - |3832 | 888 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
479.24/479.37 c 469s| 1770k| 1754k| 0 | 0.0 | 531M|2928 | - |3832 | 902 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
482.13/482.20 c 472s| 1780k| 1764k| 0 | 0.0 | 534M|2928 | - |3832 | 909 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
484.93/485.06 c 475s| 1790k| 1774k| 0 | 0.0 | 536M|2928 | - |3832 | 916 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
487.83/487.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.83/487.93 c 478s| 1800k| 1784k| 0 | 0.0 | 539M|2928 | - |3832 | 903 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
490.63/490.78 c 481s| 1810k| 1794k| 0 | 0.0 | 542M|2928 | - |3832 | 938 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
493.52/493.66 c 483s| 1820k| 1804k| 0 | 0.0 | 545M|2928 | - |3832 | 963 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
496.42/496.52 c 486s| 1830k| 1814k| 0 | 0.0 | 547M|2928 | - |3832 | 948 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
499.23/499.39 c 489s| 1840k| 1824k| 0 | 0.0 | 550M|2928 | - |3832 | 958 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
502.13/502.24 c 492s| 1850k| 1834k| 0 | 0.0 | 553M|2928 | - |3832 | 929 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
505.03/505.10 c 495s| 1860k| 1844k| 0 | 0.0 | 556M|2928 | - |3832 | 966 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
507.83/507.96 c 498s| 1870k| 1854k| 0 | 0.0 | 558M|2928 | - |3832 | 927 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
510.73/510.81 c 500s| 1880k| 1864k| 0 | 0.0 | 561M|2928 | - |3832 | 953 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
513.53/513.70 c 503s| 1890k| 1874k| 0 | 0.0 | 564M|2928 | - |3832 | 928 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
516.43/516.58 c 506s| 1900k| 1883k| 0 | 0.0 | 567M|2928 | - |3832 | 955 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
519.33/519.45 c 509s| 1910k| 1893k| 0 | 0.0 | 569M|2928 | - |3832 | 943 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
522.23/522.31 c 512s| 1920k| 1903k| 0 | 0.0 | 572M|2928 | - |3832 | 946 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
525.03/525.14 c 514s| 1930k| 1913k| 0 | 0.0 | 575M|2928 | - |3832 | 940 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
527.93/528.05 c 517s| 1940k| 1923k| 0 | 0.0 | 578M|2928 | - |3832 |1027 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
530.83/530.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.83/530.91 c 520s| 1950k| 1933k| 0 | 0.0 | 580M|2928 | - |3832 | 959 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
533.63/533.79 c 523s| 1960k| 1943k| 0 | 0.0 | 583M|2928 | - |3832 | 955 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
536.53/536.63 c 526s| 1970k| 1953k| 0 | 0.0 | 586M|2928 | - |3832 | 974 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
539.33/539.48 c 528s| 1980k| 1963k| 0 | 0.0 | 588M|2928 | - |3832 | 948 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
542.23/542.34 c 531s| 1990k| 1973k| 0 | 0.0 | 591M|2928 | - |3832 | 968 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
545.13/545.21 c 534s| 2000k| 1983k| 0 | 0.0 | 594M|2928 | - |3832 | 961 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
547.93/548.06 c 537s| 2010k| 1993k| 0 | 0.0 | 597M|2928 | - |3832 | 931 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
550.83/550.96 c 540s| 2020k| 2003k| 0 | 0.0 | 599M|2928 | - |3832 | 945 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
553.73/553.83 c 543s| 2030k| 2013k| 0 | 0.0 | 602M|2928 | - |3832 | 914 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
556.63/556.71 c 545s| 2040k| 2023k| 0 | 0.0 | 605M|2928 | - |3832 | 898 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
559.42/559.57 c 548s| 2050k| 2033k| 0 | 0.0 | 608M|2928 | - |3832 | 924 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
562.32/562.43 c 551s| 2060k| 2043k| 0 | 0.0 | 610M|2928 | - |3832 | 898 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
565.23/565.32 c 554s| 2070k| 2053k| 0 | 0.0 | 613M|2928 | - |3832 | 915 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
568.12/568.21 c 557s| 2080k| 2063k| 0 | 0.0 | 616M|2928 | - |3832 | 933 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
570.93/571.09 c 559s| 2090k| 2073k| 0 | 0.0 | 619M|2928 | - |3832 | 912 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
573.83/573.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.83/573.94 c 562s| 2100k| 2083k| 0 | 0.0 | 621M|2928 | - |3832 | 908 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
576.72/576.83 c 565s| 2110k| 2093k| 0 | 0.0 | 624M|2928 | - |3832 | 947 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
579.53/579.68 c 568s| 2120k| 2102k| 0 | 0.0 | 627M|2928 | - |3832 | 899 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
582.43/582.55 c 571s| 2130k| 2112k| 0 | 0.0 | 630M|2928 | - |3832 | 886 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
585.33/585.41 c 573s| 2140k| 2122k| 0 | 0.0 | 632M|2928 | - |3832 | 876 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
588.12/588.28 c 576s| 2150k| 2132k| 0 | 0.0 | 635M|2928 | - |3832 | 874 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
591.02/591.13 c 579s| 2160k| 2142k| 0 | 0.0 | 638M|2928 | - |3832 | 894 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
593.93/594.04 c 582s| 2170k| 2152k| 0 | 0.0 | 641M|2928 | - |3832 | 932 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
596.72/596.89 c 585s| 2180k| 2162k| 0 | 0.0 | 643M|2928 | - |3832 | 898 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
599.73/599.81 c 588s| 2190k| 2172k| 0 | 0.0 | 646M|2928 | - |3832 | 932 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
602.63/602.71 c 590s| 2200k| 2182k| 0 | 0.0 | 649M|2928 | - |3832 |1004 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
605.42/605.60 c 593s| 2210k| 2192k| 0 | 0.0 | 652M|2928 | - |3832 | 984 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
608.33/608.48 c 596s| 2220k| 2202k| 0 | 0.0 | 654M|2928 | - |3832 | 964 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
611.22/611.34 c 599s| 2230k| 2212k| 0 | 0.0 | 657M|2928 | - |3832 | 961 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
614.13/614.22 c 602s| 2240k| 2222k| 0 | 0.0 | 660M|2928 | - |3832 | 938 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
616.93/617.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.93/617.08 c 605s| 2250k| 2232k| 0 | 0.0 | 663M|2928 | - |3832 | 951 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
619.83/619.93 c 607s| 2260k| 2242k| 0 | 0.0 | 665M|2928 | - |3832 | 956 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
622.73/622.84 c 610s| 2270k| 2252k| 0 | 0.0 | 668M|2928 | - |3832 | 980 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
625.62/625.72 c 613s| 2280k| 2262k| 0 | 0.0 | 671M|2928 | - |3832 | 972 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
628.52/628.62 c 616s| 2290k| 2272k| 0 | 0.0 | 674M|2928 | - |3832 |1013 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
631.43/631.50 c 619s| 2300k| 2282k| 0 | 0.0 | 676M|2928 | - |3832 |1003 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
634.22/634.39 c 622s| 2310k| 2292k| 0 | 0.0 | 679M|2928 | - |3832 | 992 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
637.12/637.24 c 624s| 2320k| 2302k| 0 | 0.0 | 682M|2928 | - |3832 | 997 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
640.03/640.13 c 627s| 2330k| 2311k| 0 | 0.0 | 685M|2928 | - |3832 | 991 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
642.93/643.01 c 630s| 2340k| 2321k| 0 | 0.0 | 687M|2928 | - |3832 | 986 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
645.72/645.88 c 633s| 2350k| 2331k| 0 | 0.0 | 690M|2928 | - |3832 | 985 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
648.62/648.74 c 636s| 2360k| 2341k| 0 | 0.0 | 693M|2928 | - |3832 | 950 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
651.52/651.65 c 638s| 2370k| 2351k| 0 | 0.0 | 696M|2928 | - |3832 | 980 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
654.43/654.51 c 641s| 2380k| 2361k| 0 | 0.0 | 698M|2928 | - |3832 | 959 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
657.33/657.40 c 644s| 2390k| 2371k| 0 | 0.0 | 701M|2928 | - |3832 | 992 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
660.12/660.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.12/660.26 c 647s| 2400k| 2381k| 0 | 0.0 | 704M|2928 | - |3832 | 978 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
663.02/663.16 c 650s| 2410k| 2391k| 0 | 0.0 | 707M|2928 | - |3832 |1032 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
665.92/666.09 c 653s| 2420k| 2401k| 0 | 0.0 | 709M|2928 | - |3832 |1014 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
668.82/668.96 c 655s| 2430k| 2411k| 0 | 0.0 | 712M|2928 | - |3832 | 986 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
671.72/671.84 c 658s| 2440k| 2421k| 0 | 0.0 | 715M|2928 | - |3832 |1013 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
674.62/674.72 c 661s| 2450k| 2431k| 0 | 0.0 | 717M|2928 | - |3832 |1013 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
677.43/677.57 c 664s| 2460k| 2441k| 0 | 0.0 | 720M|2928 | - |3832 |1000 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
680.33/680.44 c 667s| 2470k| 2451k| 0 | 0.0 | 723M|2928 | - |3832 |1026 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
683.22/683.31 c 669s| 2480k| 2461k| 0 | 0.0 | 726M|2928 | - |3832 |1015 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
686.12/686.22 c 672s| 2490k| 2471k| 0 | 0.0 | 728M|2928 | - |3832 |1018 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
689.02/689.11 c 675s| 2500k| 2481k| 0 | 0.0 | 731M|2928 | - |3832 |1024 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
691.82/691.96 c 678s| 2510k| 2491k| 0 | 0.0 | 734M|2928 | - |3832 |1040 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
694.72/694.84 c 681s| 2520k| 2501k| 0 | 0.0 | 737M|2928 | - |3832 |1054 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
697.62/697.71 c 684s| 2530k| 2511k| 0 | 0.0 | 739M|2928 | - |3832 |1053 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
700.42/700.55 c 686s| 2540k| 2520k| 0 | 0.0 | 742M|2928 | - |3832 |1052 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
703.32/703.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.32/703.43 c 689s| 2550k| 2530k| 0 | 0.0 | 745M|2928 | - |3832 |1075 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
706.22/706.31 c 692s| 2560k| 2540k| 0 | 0.0 | 748M|2928 | - |3832 |1021 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
709.03/709.17 c 695s| 2570k| 2550k| 0 | 0.0 | 750M|2928 | - |3832 |1022 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
711.92/712.03 c 698s| 2580k| 2560k| 0 | 0.0 | 753M|2928 | - |3832 |1013 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
714.83/714.91 c 700s| 2590k| 2570k| 0 | 0.0 | 756M|2928 | - |3832 | 999 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
717.62/717.77 c 703s| 2600k| 2580k| 0 | 0.0 | 759M|2928 | - |3832 | 966 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
720.52/720.67 c 706s| 2610k| 2590k| 0 | 0.0 | 761M|2928 | - |3832 | 994 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
723.42/723.53 c 709s| 2620k| 2600k| 0 | 0.0 | 764M|2928 | - |3832 | 961 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
726.32/726.40 c 712s| 2630k| 2610k| 0 | 0.0 | 767M|2928 | - |3832 | 954 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
729.13/729.26 c 715s| 2640k| 2620k| 0 | 0.0 | 770M|2928 | - |3832 | 932 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
732.01/732.15 c 717s| 2650k| 2630k| 0 | 0.0 | 772M|2928 | - |3832 | 968 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
734.91/735.02 c 720s| 2660k| 2640k| 0 | 0.0 | 775M|2928 | - |3832 | 954 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
737.81/737.90 c 723s| 2670k| 2650k| 0 | 0.0 | 778M|2928 | - |3832 | 934 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
740.62/740.75 c 726s| 2680k| 2660k| 0 | 0.0 | 781M|2928 | - |3832 | 941 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
743.52/743.64 c 729s| 2690k| 2670k| 0 | 0.0 | 783M|2928 | - |3832 | 968 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
746.42/746.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.42/746.53 c 731s| 2700k| 2680k| 0 | 0.0 | 786M|2928 | - |3832 | 920 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
749.32/749.42 c 734s| 2710k| 2690k| 0 | 0.0 | 789M|2928 | - |3832 | 967 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
752.22/752.32 c 737s| 2720k| 2700k| 0 | 0.0 | 792M|2928 | - |3832 | 966 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
755.02/755.19 c 740s| 2730k| 2710k| 0 | 0.0 | 794M|2928 | - |3832 | 933 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
757.92/758.07 c 743s| 2740k| 2720k| 0 | 0.0 | 797M|2928 | - |3832 | 920 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
760.81/760.97 c 746s| 2750k| 2730k| 0 | 0.0 | 800M|2928 | - |3832 | 987 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
763.72/763.84 c 748s| 2760k| 2739k| 0 | 0.0 | 803M|2928 | - |3832 | 960 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
766.52/766.69 c 751s| 2770k| 2749k| 0 | 0.0 | 805M|2928 | - |3832 | 980 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
769.42/769.58 c 754s| 2780k| 2759k| 0 | 0.0 | 808M|2928 | - |3832 |1010 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
772.31/772.49 c 757s| 2790k| 2769k| 0 | 0.0 | 811M|2928 | - |3832 | 998 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
775.21/775.35 c 760s| 2800k| 2779k| 0 | 0.0 | 814M|2928 | - |3832 | 988 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
778.12/778.24 c 763s| 2810k| 2789k| 0 | 0.0 | 816M|2928 | - |3832 | 986 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
781.02/781.11 c 765s| 2820k| 2799k| 0 | 0.0 | 819M|2928 | - |3832 | 962 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
783.92/784.01 c 768s| 2830k| 2809k| 0 | 0.0 | 822M|2928 | - |3832 | 970 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
786.72/786.86 c 771s| 2840k| 2819k| 0 | 0.0 | 825M|2928 | - |3832 | 994 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
789.62/789.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.62/789.75 c 774s| 2850k| 2829k| 0 | 0.0 | 828M|2928 | - |3832 | 969 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
792.42/792.59 c 777s| 2860k| 2839k| 0 | 0.0 | 830M|2928 | - |3832 | 958 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
795.41/795.51 c 780s| 2870k| 2849k| 0 | 0.0 | 833M|2928 | - |3832 |1030 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
798.21/798.38 c 782s| 2880k| 2859k| 0 | 0.0 | 836M|2928 | - |3832 | 965 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
801.12/801.25 c 785s| 2890k| 2869k| 0 | 0.0 | 839M|2928 | - |3832 | 980 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
804.02/804.14 c 788s| 2900k| 2879k| 0 | 0.0 | 841M|2928 | - |3832 | 970 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
806.92/807.01 c 791s| 2910k| 2889k| 0 | 0.0 | 844M|2928 | - |3832 | 944 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
809.71/809.89 c 794s| 2920k| 2899k| 0 | 0.0 | 847M|2928 | - |3832 | 927 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
812.62/812.78 c 796s| 2930k| 2909k| 0 | 0.0 | 850M|2928 | - |3832 | 927 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
815.52/815.66 c 799s| 2940k| 2919k| 0 | 0.0 | 852M|2928 | - |3832 | 943 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
818.41/818.55 c 802s| 2950k| 2929k| 0 | 0.0 | 855M|2928 | - |3832 | 913 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
821.32/821.44 c 805s| 2960k| 2939k| 0 | 0.0 | 858M|2928 | - |3832 | 928 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
824.21/824.33 c 808s| 2970k| 2948k| 0 | 0.0 | 861M|2928 | - |3832 | 942 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
827.12/827.23 c 811s| 2980k| 2958k| 0 | 0.0 | 863M|2928 | - |3832 | 907 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
830.02/830.11 c 813s| 2990k| 2968k| 0 | 0.0 | 866M|2928 | - |3832 | 925 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
832.92/833.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.92/833.01 c 816s| 3000k| 2978k| 0 | 0.0 | 869M|2928 | - |3832 | 929 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
835.72/835.89 c 819s| 3010k| 2988k| 0 | 0.0 | 872M|2928 | - |3832 | 880 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
838.71/838.80 c 822s| 3020k| 2998k| 0 | 0.0 | 874M|2928 | - |3832 | 940 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
841.51/841.69 c 825s| 3030k| 3008k| 0 | 0.0 | 877M|2928 | - |3832 | 895 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
844.41/844.55 c 828s| 3040k| 3018k| 0 | 0.0 | 880M|2928 | - |3832 | 940 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
847.32/847.45 c 830s| 3050k| 3028k| 0 | 0.0 | 883M|2928 | - |3832 | 928 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
850.21/850.38 c 833s| 3060k| 3038k| 0 | 0.0 | 885M|2928 | - |3832 | 906 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
853.11/853.26 c 836s| 3070k| 3048k| 0 | 0.0 | 888M|2928 | - |3832 | 927 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
856.01/856.13 c 839s| 3080k| 3058k| 0 | 0.0 | 891M|2928 | - |3832 | 949 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
858.91/859.02 c 842s| 3090k| 3068k| 0 | 0.0 | 894M|2928 | - |3832 | 943 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
861.80/861.91 c 845s| 3100k| 3078k| 0 | 0.0 | 896M|2928 | - |3832 | 961 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
864.61/864.77 c 848s| 3110k| 3088k| 0 | 0.0 | 899M|2928 | - |3832 | 927 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
867.51/867.65 c 850s| 3120k| 3098k| 0 | 0.0 | 902M|2928 | - |3832 | 926 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
870.41/870.51 c 853s| 3130k| 3108k| 0 | 0.0 | 905M|2928 | - |3832 | 924 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
873.31/873.40 c 856s| 3140k| 3118k| 0 | 0.0 | 907M|2928 | - |3832 | 986 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
876.11/876.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.11/876.28 c 859s| 3150k| 3128k| 0 | 0.0 | 910M|2928 | - |3832 | 975 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
879.01/879.18 c 862s| 3160k| 3138k| 0 | 0.0 | 913M|2928 | - |3832 | 956 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
881.91/882.04 c 864s| 3170k| 3148k| 0 | 0.0 | 916M|2928 | - |3832 | 924 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
884.81/884.93 c 867s| 3180k| 3157k| 0 | 0.0 | 918M|2928 | - |3832 | 969 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
887.71/887.82 c 870s| 3190k| 3167k| 0 | 0.0 | 921M|2928 | - |3832 | 914 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
890.51/890.69 c 873s| 3200k| 3177k| 0 | 0.0 | 924M|2928 | - |3832 | 934 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
893.40/893.57 c 876s| 3210k| 3187k| 0 | 0.0 | 927M|2928 | - |3832 | 924 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
896.32/896.48 c 879s| 3220k| 3197k| 0 | 0.0 | 929M|2928 | - |3832 | 907 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
899.21/899.34 c 881s| 3230k| 3207k| 0 | 0.0 | 932M|2928 | - |3832 | 893 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
902.10/902.23 c 884s| 3240k| 3217k| 0 | 0.0 | 935M|2928 | - |3832 | 902 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
905.00/905.11 c 887s| 3250k| 3227k| 0 | 0.0 | 938M|2928 | - |3832 | 911 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
907.91/908.00 c 890s| 3260k| 3237k| 0 | 0.0 | 940M|2928 | - |3832 | 896 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
910.81/910.91 c 893s| 3270k| 3247k| 0 | 0.0 | 943M|2928 | - |3832 | 888 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
913.60/913.78 c 896s| 3280k| 3257k| 0 | 0.0 | 946M|2928 | - |3832 | 903 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
916.51/916.66 c 898s| 3290k| 3267k| 0 | 0.0 | 949M|2928 | - |3832 | 913 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
919.41/919.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.41/919.60 c 901s| 3300k| 3277k| 0 | 0.0 | 951M|2928 | - |3832 | 912 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
922.31/922.47 c 904s| 3310k| 3287k| 0 | 0.0 | 954M|2928 | - |3832 | 890 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
925.20/925.35 c 907s| 3320k| 3297k| 0 | 0.0 | 957M|2928 | - |3832 | 912 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
928.11/928.22 c 910s| 3330k| 3307k| 0 | 0.0 | 960M|2928 | - |3832 | 908 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
930.91/931.07 c 913s| 3340k| 3317k| 0 | 0.0 | 962M|2928 | - |3832 | 934 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
933.81/933.92 c 915s| 3350k| 3327k| 0 | 0.0 | 965M|2928 | - |3832 | 922 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
936.71/936.82 c 918s| 3360k| 3337k| 0 | 0.0 | 968M|2928 | - |3832 | 923 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
939.51/939.69 c 921s| 3370k| 3347k| 0 | 0.0 | 970M|2928 | - |3832 | 919 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
942.40/942.54 c 924s| 3380k| 3357k| 0 | 0.0 | 973M|2928 | - |3832 | 905 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
945.31/945.43 c 927s| 3390k| 3366k| 0 | 0.0 | 976M|2928 | - |3832 | 963 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
948.12/948.27 c 929s| 3400k| 3376k| 0 | 0.0 | 979M|2928 | - |3832 | 936 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
951.01/951.16 c 932s| 3410k| 3386k| 0 | 0.0 | 981M|2928 | - |3832 | 941 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
953.91/954.03 c 935s| 3420k| 3396k| 0 | 0.0 | 984M|2928 | - |3832 | 940 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
956.81/956.91 c 938s| 3430k| 3406k| 0 | 0.0 | 987M|2928 | - |3832 | 937 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
959.70/959.81 c 941s| 3440k| 3416k| 0 | 0.0 | 990M|2928 | - |3832 | 931 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
962.51/962.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.51/962.68 c 944s| 3450k| 3426k| 0 | 0.0 | 992M|2928 | - |3832 | 921 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
965.41/965.57 c 946s| 3460k| 3436k| 0 | 0.0 | 995M|2928 | - |3832 | 888 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
968.30/968.45 c 949s| 3470k| 3446k| 0 | 0.0 | 998M|2928 | - |3832 | 927 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
971.21/971.32 c 952s| 3480k| 3456k| 0 | 0.0 |1001M|2928 | - |3832 | 897 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
974.10/974.20 c 955s| 3490k| 3466k| 0 | 0.0 |1003M|2928 | - |3832 | 921 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
976.90/977.06 c 958s| 3500k| 3476k| 0 | 0.0 |1006M|2928 | - |3832 | 881 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
979.80/979.91 c 960s| 3510k| 3486k| 0 | 0.0 |1009M|2928 | - |3832 | 885 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
982.70/982.80 c 963s| 3520k| 3496k| 0 | 0.0 |1012M|2928 | - |3832 | 901 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
985.51/985.66 c 966s| 3530k| 3506k| 0 | 0.0 |1014M|2928 | - |3832 | 913 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
988.40/988.54 c 969s| 3540k| 3516k| 0 | 0.0 |1017M|2928 | - |3832 | 899 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
991.31/991.43 c 972s| 3550k| 3526k| 0 | 0.0 |1020M|2928 | - |3832 | 926 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
994.10/994.28 c 975s| 3560k| 3536k| 0 | 0.0 |1023M|2928 | - |3832 | 928 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
997.00/997.16 c 977s| 3570k| 3546k| 0 | 0.0 |1025M|2928 | - |3832 | 913 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
999.90/1000.02 c 980s| 3580k| 3556k| 0 | 0.0 |1028M|2928 | - |3832 | 894 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1002.80/1002.90 c 983s| 3590k| 3566k| 0 | 0.0 |1031M|2928 | - |3832 | 929 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1005.60/1005.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.60/1005.79 c 986s| 3600k| 3576k| 0 | 0.0 |1034M|2928 | - |3832 | 982 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1008.50/1008.67 c 989s| 3610k| 3585k| 0 | 0.0 |1036M|2928 | - |3832 | 929 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1011.40/1011.54 c 992s| 3620k| 3595k| 0 | 0.0 |1039M|2928 | - |3832 | 979 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1014.30/1014.42 c 994s| 3630k| 3605k| 0 | 0.0 |1042M|2928 | - |3832 | 946 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1017.10/1017.27 c 997s| 3640k| 3615k| 0 | 0.0 |1045M|2928 | - |3832 | 939 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1020.00/1020.14 c 1000s| 3650k| 3625k| 0 | 0.0 |1048M|2928 | - |3832 | 950 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1022.90/1023.01 c 1003s| 3660k| 3635k| 0 | 0.0 |1050M|2928 | - |3832 | 929 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1025.80/1025.94 c 1006s| 3670k| 3645k| 0 | 0.0 |1053M|2928 | - |3832 | 980 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1028.70/1028.83 c 1008s| 3680k| 3655k| 0 | 0.0 |1056M|2928 | - |3832 | 954 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1031.60/1031.72 c 1011s| 3690k| 3665k| 0 | 0.0 |1059M|2928 | - |3832 | 935 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1034.50/1034.61 c 1014s| 3700k| 3675k| 0 | 0.0 |1061M|2928 | - |3832 | 944 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1037.40/1037.53 c 1017s| 3710k| 3685k| 0 | 0.0 |1064M|2928 | - |3832 | 921 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1040.29/1040.41 c 1020s| 3720k| 3695k| 0 | 0.0 |1067M|2928 | - |3832 | 914 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1043.20/1043.31 c 1023s| 3730k| 3705k| 0 | 0.0 |1069M|2928 | - |3832 | 922 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1046.00/1046.17 c 1025s| 3740k| 3715k| 0 | 0.0 |1072M|2928 | - |3832 | 934 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1048.89/1049.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.89/1049.06 c 1028s| 3750k| 3725k| 0 | 0.0 |1075M|2928 | - |3832 | 930 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1051.80/1051.95 c 1031s| 3760k| 3735k| 0 | 0.0 |1078M|2928 | - |3832 | 900 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1054.70/1054.81 c 1034s| 3770k| 3745k| 0 | 0.0 |1080M|2928 | - |3832 | 913 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1057.49/1057.69 c 1037s| 3780k| 3755k| 0 | 0.0 |1083M|2928 | - |3832 | 908 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1060.40/1060.58 c 1040s| 3790k| 3765k| 0 | 0.0 |1086M|2928 | - |3832 | 887 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1063.29/1063.44 c 1042s| 3800k| 3775k| 0 | 0.0 |1089M|2928 | - |3832 | 878 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1066.20/1066.34 c 1045s| 3810k| 3785k| 0 | 0.0 |1091M|2928 | - |3832 | 929 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1069.10/1069.25 c 1048s| 3820k| 3794k| 0 | 0.0 |1094M|2928 | - |3832 | 907 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1072.00/1072.13 c 1051s| 3830k| 3804k| 0 | 0.0 |1097M|2928 | - |3832 | 881 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1074.89/1075.01 c 1054s| 3840k| 3814k| 0 | 0.0 |1100M|2928 | - |3832 | 870 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1077.70/1077.87 c 1057s| 3850k| 3824k| 0 | 0.0 |1102M|2928 | - |3832 | 891 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1080.59/1080.74 c 1059s| 3860k| 3834k| 0 | 0.0 |1105M|2928 | - |3832 | 905 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1083.40/1083.59 c 1062s| 3870k| 3844k| 0 | 0.0 |1108M|2928 | - |3832 | 894 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1086.40/1086.50 c 1065s| 3880k| 3854k| 0 | 0.0 |1111M|2928 | - |3832 | 903 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1089.29/1089.42 c 1068s| 3890k| 3864k| 0 | 0.0 |1113M|2928 | - |3832 | 919 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1092.20/1092.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.20/1092.34 c 1071s| 3900k| 3874k| 0 | 0.0 |1116M|2928 | - |3832 | 889 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1095.09/1095.23 c 1074s| 3910k| 3884k| 0 | 0.0 |1119M|2928 | - |3832 | 893 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1097.90/1098.09 c 1076s| 3920k| 3894k| 0 | 0.0 |1122M|2928 | - |3832 | 904 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1100.80/1100.97 c 1079s| 3930k| 3904k| 0 | 0.0 |1124M|2928 | - |3832 | 930 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1103.69/1103.85 c 1082s| 3940k| 3914k| 0 | 0.0 |1127M|2928 | - |3832 | 920 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1106.59/1106.71 c 1085s| 3950k| 3924k| 0 | 0.0 |1130M|2928 | - |3832 | 862 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1109.50/1109.62 c 1088s| 3960k| 3934k| 0 | 0.0 |1133M|2928 | - |3832 | 867 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1112.39/1112.52 c 1091s| 3970k| 3944k| 0 | 0.0 |1135M|2928 | - |3832 | 898 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1115.20/1115.39 c 1093s| 3980k| 3954k| 0 | 0.0 |1138M|2928 | - |3832 | 910 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1118.10/1118.28 c 1096s| 3990k| 3964k| 0 | 0.0 |1141M|2928 | - |3832 | 940 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1121.00/1121.14 c 1099s| 4000k| 3974k| 0 | 0.0 |1144M|2928 | - |3832 | 909 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1123.90/1124.01 c 1102s| 4010k| 3984k| 0 | 0.0 |1146M|2928 | - |3832 | 898 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1126.69/1126.86 c 1105s| 4020k| 3993k| 0 | 0.0 |1149M|2928 | - |3832 | 910 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1129.60/1129.76 c 1107s| 4030k| 4003k| 0 | 0.0 |1152M|2928 | - |3832 | 940 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1132.49/1132.63 c 1110s| 4040k| 4013k| 0 | 0.0 |1155M|2928 | - |3832 | 949 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1135.40/1135.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.40/1135.53 c 1113s| 4050k| 4023k| 0 | 0.0 |1157M|2928 | - |3832 | 966 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1138.20/1138.38 c 1116s| 4060k| 4033k| 0 | 0.0 |1160M|2928 | - |3832 | 915 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1141.10/1141.29 c 1119s| 4070k| 4043k| 0 | 0.0 |1163M|2928 | - |3832 | 944 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1143.99/1144.18 c 1122s| 4080k| 4053k| 0 | 0.0 |1165M|2928 | - |3832 | 884 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1146.90/1147.02 c 1124s| 4090k| 4063k| 0 | 0.0 |1168M|2928 | - |3832 | 889 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1149.79/1149.90 c 1127s| 4100k| 4073k| 0 | 0.0 |1171M|2928 | - |3832 | 881 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1152.59/1152.76 c 1130s| 4110k| 4083k| 0 | 0.0 |1174M|2928 | - |3832 | 883 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1155.49/1155.66 c 1133s| 4120k| 4093k| 0 | 0.0 |1177M|2928 | - |3832 | 917 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1158.39/1158.53 c 1136s| 4130k| 4103k| 0 | 0.0 |1179M|2928 | - |3832 | 934 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1161.29/1161.45 c 1139s| 4140k| 4113k| 0 | 0.0 |1182M|2928 | - |3832 | 914 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1164.19/1164.32 c 1141s| 4150k| 4123k| 0 | 0.0 |1185M|2928 | - |3832 | 893 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1167.10/1167.23 c 1144s| 4160k| 4133k| 0 | 0.0 |1188M|2928 | - |3832 | 930 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1169.89/1170.09 c 1147s| 4170k| 4143k| 0 | 0.0 |1190M|2928 | - |3832 | 885 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1172.89/1173.00 c 1150s| 4180k| 4153k| 0 | 0.0 |1193M|2928 | - |3832 | 882 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1175.79/1175.90 c 1153s| 4190k| 4163k| 0 | 0.0 |1196M|2928 | - |3832 | 885 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1178.59/1178.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.59/1178.76 c 1155s| 4200k| 4173k| 0 | 0.0 |1198M|2928 | - |3832 | 882 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1181.49/1181.69 c 1158s| 4210k| 4183k| 0 | 0.0 |1201M|2928 | - |3832 | 932 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1184.39/1184.56 c 1161s| 4220k| 4193k| 0 | 0.0 |1204M|2928 | - |3832 | 902 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1187.29/1187.44 c 1164s| 4230k| 4202k| 0 | 0.0 |1207M|2928 | - |3832 | 917 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1190.19/1190.35 c 1166s| 4240k| 4212k| 0 | 0.0 |1209M|2928 | - |3832 | 943 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1193.09/1193.24 c 1169s| 4250k| 4222k| 0 | 0.0 |1212M|2928 | - |3832 | 935 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1195.99/1196.14 c 1172s| 4260k| 4232k| 0 | 0.0 |1215M|2928 | - |3832 | 962 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1198.89/1199.03 c 1174s| 4270k| 4242k| 0 | 0.0 |1218M|2928 | - |3832 | 959 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1201.69/1201.89 c 1177s| 4280k| 4252k| 0 | 0.0 |1220M|2928 | - |3832 | 954 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1204.68/1204.82 c 1180s| 4290k| 4262k| 0 | 0.0 |1223M|2928 | - |3832 | 976 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1207.59/1207.71 c 1183s| 4300k| 4272k| 0 | 0.0 |1226M|2928 | - |3832 | 991 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1210.49/1210.60 c 1185s| 4310k| 4282k| 0 | 0.0 |1229M|2928 | - |3832 | 986 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1213.39/1213.53 c 1188s| 4320k| 4292k| 0 | 0.0 |1231M|2928 | - |3832 |1016 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1216.29/1216.42 c 1191s| 4330k| 4302k| 0 | 0.0 |1234M|2928 | - |3832 | 968 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1219.09/1219.29 c 1194s| 4340k| 4312k| 0 | 0.0 |1237M|2928 | - |3832 |1008 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1222.09/1222.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.09/1222.22 c 1197s| 4350k| 4322k| 0 | 0.0 |1240M|2928 | - |3832 |1026 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1224.99/1225.12 c 1199s| 4360k| 4332k| 0 | 0.0 |1242M|2928 | - |3832 | 979 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1227.89/1228.00 c 1202s| 4370k| 4342k| 0 | 0.0 |1245M|2928 | - |3832 |1026 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1230.70/1230.89 c 1205s| 4380k| 4352k| 0 | 0.0 |1248M|2928 | - |3832 | 969 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1233.59/1233.77 c 1208s| 4390k| 4362k| 0 | 0.0 |1251M|2928 | - |3832 | 967 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1236.49/1236.66 c 1210s| 4400k| 4372k| 0 | 0.0 |1253M|2928 | - |3832 | 945 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1239.39/1239.52 c 1213s| 4410k| 4382k| 0 | 0.0 |1256M|2928 | - |3832 | 957 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1242.19/1242.39 c 1216s| 4420k| 4392k| 0 | 0.0 |1259M|2928 | - |3832 | 961 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1245.19/1245.33 c 1219s| 4430k| 4401k| 0 | 0.0 |1262M|2928 | - |3832 | 996 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1248.08/1248.20 c 1221s| 4440k| 4411k| 0 | 0.0 |1264M|2928 | - |3832 | 966 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1250.99/1251.11 c 1224s| 4450k| 4421k| 0 | 0.0 |1267M|2928 | - |3832 | 957 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1253.79/1253.98 c 1227s| 4460k| 4431k| 0 | 0.0 |1270M|2928 | - |3832 | 915 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1256.69/1256.86 c 1229s| 4470k| 4441k| 0 | 0.0 |1273M|2928 | - |3832 | 948 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1259.58/1259.77 c 1232s| 4480k| 4451k| 0 | 0.0 |1275M|2928 | - |3832 | 949 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1262.49/1262.65 c 1235s| 4490k| 4461k| 0 | 0.0 |1278M|2928 | - |3832 | 933 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1265.39/1265.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.39/1265.52 c 1238s| 4500k| 4471k| 0 | 0.0 |1281M|2928 | - |3832 | 918 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1268.19/1268.39 c 1240s| 4510k| 4481k| 0 | 0.0 |1284M|2928 | - |3832 | 904 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1271.09/1271.27 c 1243s| 4520k| 4491k| 0 | 0.0 |1286M|2928 | - |3832 | 889 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1273.99/1274.13 c 1246s| 4530k| 4501k| 0 | 0.0 |1289M|2928 | - |3832 | 927 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1276.89/1277.02 c 1249s| 4540k| 4511k| 0 | 0.0 |1292M|2928 | - |3832 | 939 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1279.69/1279.89 c 1251s| 4550k| 4521k| 0 | 0.0 |1295M|2928 | - |3832 | 942 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1282.59/1282.78 c 1254s| 4560k| 4531k| 0 | 0.0 |1297M|2928 | - |3832 | 917 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1285.49/1285.64 c 1257s| 4570k| 4541k| 0 | 0.0 |1300M|2928 | - |3832 | 911 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1288.39/1288.54 c 1260s| 4580k| 4551k| 0 | 0.0 |1303M|2928 | - |3832 | 887 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1291.30/1291.41 c 1262s| 4590k| 4561k| 0 | 0.0 |1306M|2928 | - |3832 | 889 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1294.08/1294.29 c 1265s| 4600k| 4571k| 0 | 0.0 |1308M|2928 | - |3832 | 859 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1297.09/1297.22 c 1268s| 4610k| 4581k| 0 | 0.0 |1311M|2928 | - |3832 | 877 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1300.00/1300.12 c 1271s| 4620k| 4591k| 0 | 0.0 |1314M|2928 | - |3832 | 897 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1302.79/1302.98 c 1273s| 4630k| 4601k| 0 | 0.0 |1317M|2928 | - |3832 | 881 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1305.69/1305.89 c 1276s| 4640k| 4610k| 0 | 0.0 |1319M|2928 | - |3832 | 881 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1308.59/1308.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.59/1308.74 c 1279s| 4650k| 4620k| 0 | 0.0 |1322M|2928 | - |3832 | 875 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1311.48/1311.64 c 1282s| 4660k| 4630k| 0 | 0.0 |1325M|2928 | - |3832 | 920 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1314.39/1314.51 c 1284s| 4670k| 4640k| 0 | 0.0 |1328M|2928 | - |3832 | 912 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1317.29/1317.41 c 1287s| 4680k| 4650k| 0 | 0.0 |1330M|2928 | - |3832 | 923 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1320.19/1320.30 c 1290s| 4690k| 4660k| 0 | 0.0 |1333M|2928 | - |3832 | 889 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1322.99/1323.17 c 1293s| 4700k| 4670k| 0 | 0.0 |1336M|2928 | - |3832 | 901 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1325.89/1326.06 c 1295s| 4710k| 4680k| 0 | 0.0 |1339M|2928 | - |3832 | 887 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1328.79/1328.94 c 1298s| 4720k| 4690k| 0 | 0.0 |1341M|2928 | - |3832 | 883 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1331.69/1331.81 c 1301s| 4730k| 4700k| 0 | 0.0 |1344M|2928 | - |3832 | 864 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1334.59/1334.70 c 1304s| 4740k| 4710k| 0 | 0.0 |1347M|2928 | - |3832 | 849 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1337.40/1337.59 c 1306s| 4750k| 4720k| 0 | 0.0 |1350M|2928 | - |3832 | 875 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1340.29/1340.48 c 1309s| 4760k| 4730k| 0 | 0.0 |1352M|2928 | - |3832 | 895 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1343.19/1343.34 c 1312s| 4770k| 4740k| 0 | 0.0 |1355M|2928 | - |3832 | 846 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1346.09/1346.23 c 1315s| 4780k| 4750k| 0 | 0.0 |1358M|2928 | - |3832 | 856 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1348.99/1349.10 c 1317s| 4790k| 4760k| 0 | 0.0 |1361M|2928 | - |3832 | 838 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1351.80/1351.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.80/1351.97 c 1320s| 4800k| 4770k| 0 | 0.0 |1364M|2928 | - |3832 | 844 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1354.69/1354.82 c 1323s| 4810k| 4780k| 0 | 0.0 |1366M|2928 | - |3832 | 828 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1357.49/1357.68 c 1326s| 4820k| 4790k| 0 | 0.0 |1369M|2928 | - |3832 | 830 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1360.39/1360.55 c 1328s| 4830k| 4800k| 0 | 0.0 |1372M|2928 | - |3832 | 826 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1363.29/1363.45 c 1331s| 4840k| 4810k| 0 | 0.0 |1375M|2928 | - |3832 | 868 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1366.19/1366.34 c 1334s| 4850k| 4819k| 0 | 0.0 |1377M|2928 | - |3832 | 880 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1369.09/1369.20 c 1336s| 4860k| 4829k| 0 | 0.0 |1380M|2928 | - |3832 | 859 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1371.99/1372.10 c 1339s| 4870k| 4839k| 0 | 0.0 |1383M|2928 | - |3832 | 869 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1374.80/1374.96 c 1342s| 4880k| 4849k| 0 | 0.0 |1386M|2928 | - |3832 | 814 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1377.69/1377.83 c 1345s| 4890k| 4859k| 0 | 0.0 |1388M|2928 | - |3832 | 856 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1380.59/1380.71 c 1347s| 4900k| 4869k| 0 | 0.0 |1391M|2928 | - |3832 | 872 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1383.49/1383.60 c 1350s| 4910k| 4879k| 0 | 0.0 |1394M|2928 | - |3832 | 908 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1386.39/1386.50 c 1353s| 4920k| 4889k| 0 | 0.0 |1397M|2928 | - |3832 | 914 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1389.19/1389.37 c 1356s| 4930k| 4899k| 0 | 0.0 |1399M|2928 | - |3832 | 879 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1392.19/1392.31 c 1358s| 4940k| 4909k| 0 | 0.0 |1402M|2928 | - |3832 | 867 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1395.09/1395.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.09/1395.20 c 1361s| 4950k| 4919k| 0 | 0.0 |1405M|2928 | - |3832 | 890 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1397.89/1398.07 c 1364s| 4960k| 4929k| 0 | 0.0 |1408M|2928 | - |3832 | 911 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1400.79/1400.97 c 1367s| 4970k| 4939k| 0 | 0.0 |1410M|2928 | - |3832 | 893 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1403.69/1403.83 c 1369s| 4980k| 4949k| 0 | 0.0 |1413M|2928 | - |3832 | 897 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1406.59/1406.74 c 1372s| 4990k| 4959k| 0 | 0.0 |1416M|2928 | - |3832 | 945 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1409.39/1409.59 c 1375s| 5000k| 4969k| 0 | 0.0 |1419M|2928 | - |3832 | 923 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1412.29/1412.46 c 1378s| 5010k| 4979k| 0 | 0.0 |1421M|2928 | - |3832 | 957 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1415.19/1415.33 c 1380s| 5020k| 4989k| 0 | 0.0 |1424M|2928 | - |3832 | 932 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1417.99/1418.20 c 1383s| 5030k| 4999k| 0 | 0.0 |1427M|2928 | - |3832 | 928 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1420.89/1421.05 c 1386s| 5040k| 5009k| 0 | 0.0 |1430M|2928 | - |3832 | 948 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1423.79/1423.91 c 1388s| 5050k| 5019k| 0 | 0.0 |1432M|2928 | - |3832 | 935 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1426.59/1426.78 c 1391s| 5060k| 5028k| 0 | 0.0 |1435M|2928 | - |3832 | 923 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1429.50/1429.65 c 1394s| 5070k| 5038k| 0 | 0.0 |1438M|2928 | - |3832 | 956 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1432.39/1432.55 c 1397s| 5080k| 5048k| 0 | 0.0 |1441M|2928 | - |3832 | 942 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1435.19/1435.39 c 1399s| 5090k| 5058k| 0 | 0.0 |1443M|2928 | - |3832 | 919 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1438.09/1438.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.09/1438.29 c 1402s| 5100k| 5068k| 0 | 0.0 |1446M|2928 | - |3832 | 952 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1441.00/1441.19 c 1405s| 5110k| 5078k| 0 | 0.0 |1449M|2928 | - |3832 | 950 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1443.99/1444.10 c 1408s| 5120k| 5088k| 0 | 0.0 |1452M|2928 | - |3832 | 953 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1446.79/1446.98 c 1410s| 5130k| 5098k| 0 | 0.0 |1454M|2928 | - |3832 | 953 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1449.70/1449.85 c 1413s| 5140k| 5108k| 0 | 0.0 |1457M|2928 | - |3832 | 949 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1452.59/1452.71 c 1416s| 5150k| 5118k| 0 | 0.0 |1460M|2928 | - |3832 | 932 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1455.49/1455.62 c 1419s| 5160k| 5128k| 0 | 0.0 |1463M|2928 | - |3832 | 922 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1458.40/1458.51 c 1421s| 5170k| 5138k| 0 | 0.0 |1465M|2928 | - |3832 | 944 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1461.29/1461.43 c 1424s| 5180k| 5148k| 0 | 0.0 |1468M|2928 | - |3832 | 938 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1464.19/1464.30 c 1427s| 5190k| 5158k| 0 | 0.0 |1471M|2928 | - |3832 | 927 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1466.99/1467.16 c 1430s| 5200k| 5168k| 0 | 0.0 |1473M|2928 | - |3832 | 951 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1469.90/1470.03 c 1432s| 5210k| 5178k| 0 | 0.0 |1476M|2928 | - |3832 | 958 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1472.70/1472.90 c 1435s| 5220k| 5188k| 0 | 0.0 |1479M|2928 | - |3832 | 968 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1475.69/1475.81 c 1438s| 5230k| 5198k| 0 | 0.0 |1482M|2928 | - |3832 |1013 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1478.60/1478.71 c 1440s| 5240k| 5208k| 0 | 0.0 |1484M|2928 | - |3832 | 989 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1481.40/1481.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.40/1481.60 c 1443s| 5250k| 5218k| 0 | 0.0 |1487M|2928 | - |3832 | 977 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1484.30/1484.46 c 1446s| 5260k| 5227k| 0 | 0.0 |1490M|2928 | - |3832 | 983 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1487.19/1487.38 c 1449s| 5270k| 5237k| 0 | 0.0 |1493M|2928 | - |3832 | 967 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1490.09/1490.27 c 1451s| 5280k| 5247k| 0 | 0.0 |1495M|2928 | - |3832 |1046 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1493.00/1493.14 c 1454s| 5290k| 5257k| 0 | 0.0 |1498M|2928 | - |3832 | 998 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1495.80/1495.99 c 1457s| 5300k| 5267k| 0 | 0.0 |1501M|2928 | - |3832 |1029 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1498.69/1498.86 c 1460s| 5310k| 5277k| 0 | 0.0 |1504M|2928 | - |3832 |1009 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1501.60/1501.73 c 1462s| 5320k| 5287k| 0 | 0.0 |1506M|2928 | - |3832 |1011 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1504.49/1504.63 c 1465s| 5330k| 5297k| 0 | 0.0 |1509M|2928 | - |3832 |1018 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1507.29/1507.49 c 1468s| 5340k| 5307k| 0 | 0.0 |1512M|2928 | - |3832 |1026 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1510.20/1510.34 c 1471s| 5350k| 5317k| 0 | 0.0 |1515M|2928 | - |3832 | 984 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1513.10/1513.24 c 1473s| 5360k| 5327k| 0 | 0.0 |1517M|2928 | - |3832 | 977 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1516.00/1516.11 c 1476s| 5370k| 5337k| 0 | 0.0 |1520M|2928 | - |3832 | 988 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1518.90/1519.00 c 1479s| 5380k| 5347k| 0 | 0.0 |1523M|2928 | - |3832 | 971 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1521.69/1521.88 c 1482s| 5390k| 5357k| 0 | 0.0 |1526M|2928 | - |3832 | 974 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1524.59/1524.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.59/1524.75 c 1484s| 5400k| 5367k| 0 | 0.0 |1528M|2928 | - |3832 | 946 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1527.49/1527.64 c 1487s| 5410k| 5377k| 0 | 0.0 |1531M|2928 | - |3832 | 951 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1530.40/1530.52 c 1490s| 5420k| 5387k| 0 | 0.0 |1534M|2928 | - |3832 | 945 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1533.30/1533.44 c 1492s| 5430k| 5397k| 0 | 0.0 |1537M|2928 | - |3832 | 957 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1536.09/1536.29 c 1495s| 5440k| 5407k| 0 | 0.0 |1540M|2928 | - |3832 | 967 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1538.99/1539.19 c 1498s| 5450k| 5417k| 0 | 0.0 |1542M|2928 | - |3832 | 984 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1541.89/1542.04 c 1501s| 5460k| 5427k| 0 | 0.0 |1545M|2928 | - |3832 | 948 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1544.80/1544.93 c 1503s| 5470k| 5436k| 0 | 0.0 |1548M|2928 | - |3832 | 990 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1547.69/1547.81 c 1506s| 5480k| 5446k| 0 | 0.0 |1551M|2928 | - |3832 | 960 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1550.60/1550.71 c 1509s| 5490k| 5456k| 0 | 0.0 |1553M|2928 | - |3832 | 997 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1553.40/1553.56 c 1512s| 5500k| 5466k| 0 | 0.0 |1556M|2928 | - |3832 | 996 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1556.29/1556.44 c 1514s| 5510k| 5476k| 0 | 0.0 |1559M|2928 | - |3832 | 996 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1559.19/1559.34 c 1517s| 5520k| 5486k| 0 | 0.0 |1562M|2928 | - |3832 |1031 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1562.09/1562.21 c 1520s| 5530k| 5496k| 0 | 0.0 |1564M|2928 | - |3832 | 991 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1564.89/1565.08 c 1523s| 5540k| 5506k| 0 | 0.0 |1567M|2928 | - |3832 | 985 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1567.79/1567.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.79/1567.97 c 1525s| 5550k| 5516k| 0 | 0.0 |1570M|2928 | - |3832 |1043 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1570.70/1570.86 c 1528s| 5560k| 5526k| 0 | 0.0 |1573M|2928 | - |3832 |1024 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1573.59/1573.72 c 1531s| 5570k| 5536k| 0 | 0.0 |1575M|2928 | - |3832 |1025 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1576.49/1576.62 c 1533s| 5580k| 5546k| 0 | 0.0 |1578M|2928 | - |3832 | 995 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1579.29/1579.45 c 1536s| 5590k| 5556k| 0 | 0.0 |1581M|2928 | - |3832 | 973 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1582.19/1582.34 c 1539s| 5600k| 5566k| 0 | 0.0 |1584M|2928 | - |3832 | 967 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1585.10/1585.23 c 1542s| 5610k| 5576k| 0 | 0.0 |1586M|2928 | - |3832 | 968 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1587.99/1588.17 c 1544s| 5620k| 5586k| 0 | 0.0 |1589M|2928 | - |3832 | 980 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1590.89/1591.09 c 1547s| 5630k| 5596k| 0 | 0.0 |1592M|2928 | - |3832 |1019 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1593.80/1593.97 c 1550s| 5640k| 5606k| 0 | 0.0 |1595M|2928 | - |3832 | 982 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1596.69/1596.84 c 1553s| 5650k| 5616k| 0 | 0.0 |1597M|2928 | - |3832 |1012 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1599.59/1599.71 c 1555s| 5660k| 5626k| 0 | 0.0 |1600M|2928 | - |3832 |1037 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1602.39/1602.60 c 1558s| 5670k| 5636k| 0 | 0.0 |1603M|2928 | - |3832 |1052 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1605.29/1605.47 c 1561s| 5680k| 5645k| 0 | 0.0 |1606M|2928 | - |3832 |1030 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1608.19/1608.37 c 1564s| 5690k| 5655k| 0 | 0.0 |1608M|2928 | - |3832 | 999 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1611.09/1611.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.09/1611.24 c 1566s| 5700k| 5665k| 0 | 0.0 |1611M|2928 | - |3832 |1030 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1613.89/1614.08 c 1569s| 5710k| 5675k| 0 | 0.0 |1614M|2928 | - |3832 |1063 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1616.79/1616.98 c 1572s| 5720k| 5685k| 0 | 0.0 |1617M|2928 | - |3832 |1064 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1619.69/1619.88 c 1575s| 5730k| 5695k| 0 | 0.0 |1619M|2928 | - |3832 |1067 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1622.59/1622.74 c 1577s| 5740k| 5705k| 0 | 0.0 |1622M|2928 | - |3832 |1062 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1625.49/1625.64 c 1580s| 5750k| 5715k| 0 | 0.0 |1625M|2928 | - |3832 |1109 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1628.39/1628.50 c 1583s| 5760k| 5725k| 0 | 0.0 |1628M|2928 | - |3832 |1069 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1631.20/1631.35 c 1586s| 5770k| 5735k| 0 | 0.0 |1630M|2928 | - |3832 |1065 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1634.09/1634.22 c 1588s| 5780k| 5745k| 0 | 0.0 |1633M|2928 | - |3832 |1087 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1636.99/1637.10 c 1591s| 5790k| 5755k| 0 | 0.0 |1636M|2928 | - |3832 |1086 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1639.79/1639.95 c 1594s| 5800k| 5765k| 0 | 0.0 |1639M|2928 | - |3832 |1083 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1642.69/1642.84 c 1596s| 5810k| 5775k| 0 | 0.0 |1641M|2928 | - |3832 |1048 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1645.59/1645.75 c 1599s| 5820k| 5785k| 0 | 0.0 |1644M|2928 | - |3832 |1026 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1648.49/1648.63 c 1602s| 5830k| 5795k| 0 | 0.0 |1647M|2928 | - |3832 |1050 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1651.29/1651.49 c 1605s| 5840k| 5805k| 0 | 0.0 |1650M|2928 | - |3832 |1048 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1654.30/1654.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.30/1654.41 c 1608s| 5850k| 5815k| 0 | 0.0 |1652M|2928 | - |3832 |1035 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1657.10/1657.28 c 1610s| 5860k| 5825k| 0 | 0.0 |1655M|2928 | - |3832 |1018 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1659.99/1660.14 c 1613s| 5870k| 5835k| 0 | 0.0 |1658M|2928 | - |3832 |1025 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1662.89/1663.01 c 1616s| 5880k| 5845k| 0 | 0.0 |1661M|2928 | - |3832 |1026 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1665.70/1665.85 c 1618s| 5890k| 5854k| 0 | 0.0 |1663M|2928 | - |3832 |1022 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1668.60/1668.71 c 1621s| 5900k| 5864k| 0 | 0.0 |1666M|2928 | - |3832 | 986 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1671.39/1671.58 c 1624s| 5910k| 5874k| 0 | 0.0 |1669M|2928 | - |3832 | 985 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1674.29/1674.45 c 1627s| 5920k| 5884k| 0 | 0.0 |1672M|2928 | - |3832 | 987 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1677.20/1677.35 c 1629s| 5930k| 5894k| 0 | 0.0 |1674M|2928 | - |3832 |1005 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1680.10/1680.21 c 1632s| 5940k| 5904k| 0 | 0.0 |1677M|2928 | - |3832 |1000 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1682.89/1683.09 c 1635s| 5950k| 5914k| 0 | 0.0 |1680M|2928 | - |3832 | 963 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1685.79/1685.97 c 1637s| 5960k| 5924k| 0 | 0.0 |1683M|2928 | - |3832 |1001 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1688.70/1688.85 c 1640s| 5970k| 5934k| 0 | 0.0 |1685M|2928 | - |3832 | 970 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1691.50/1691.70 c 1643s| 5980k| 5944k| 0 | 0.0 |1688M|2928 | - |3832 |1011 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1694.39/1694.58 c 1646s| 5990k| 5954k| 0 | 0.0 |1691M|2928 | - |3832 | 953 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1697.29/1697.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.29/1697.40 c 1648s| 6000k| 5964k| 0 | 0.0 |1694M|2928 | - |3832 | 948 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1700.19/1700.30 c 1651s| 6010k| 5974k| 0 | 0.0 |1696M|2928 | - |3832 | 967 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1703.00/1703.16 c 1654s| 6020k| 5984k| 0 | 0.0 |1699M|2928 | - |3832 | 953 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1705.79/1706.00 c 1657s| 6030k| 5994k| 0 | 0.0 |1702M|2928 | - |3832 | 996 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1708.69/1708.85 c 1659s| 6040k| 6004k| 0 | 0.0 |1705M|2928 | - |3832 | 974 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1711.60/1711.75 c 1662s| 6050k| 6014k| 0 | 0.0 |1707M|2928 | - |3832 | 948 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1714.50/1714.60 c 1665s| 6060k| 6024k| 0 | 0.0 |1710M|2928 | - |3832 | 941 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1717.29/1717.46 c 1667s| 6070k| 6034k| 0 | 0.0 |1713M|2928 | - |3832 |1008 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1720.20/1720.36 c 1670s| 6080k| 6044k| 0 | 0.0 |1716M|2928 | - |3832 |1022 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1723.00/1723.17 c 1673s| 6090k| 6054k| 0 | 0.0 |1718M|2928 | - |3832 |1019 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1725.90/1726.03 c 1676s| 6100k| 6063k| 0 | 0.0 |1721M|2928 | - |3832 |1021 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1728.79/1728.90 c 1678s| 6110k| 6073k| 0 | 0.0 |1724M|2928 | - |3832 |1024 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1731.59/1731.76 c 1681s| 6120k| 6083k| 0 | 0.0 |1727M|2928 | - |3832 |1031 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1734.50/1734.62 c 1684s| 6130k| 6093k| 0 | 0.0 |1729M|2928 | - |3832 |1025 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1737.40/1737.52 c 1686s| 6140k| 6103k| 0 | 0.0 |1732M|2928 | - |3832 |1066 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1740.29/1740.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.29/1740.41 c 1689s| 6150k| 6113k| 0 | 0.0 |1735M|2928 | - |3832 |1056 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1743.09/1743.28 c 1692s| 6160k| 6123k| 0 | 0.0 |1738M|2928 | - |3832 |1045 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1746.00/1746.16 c 1695s| 6170k| 6133k| 0 | 0.0 |1740M|2928 | - |3832 |1072 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1748.90/1749.04 c 1697s| 6180k| 6143k| 0 | 0.0 |1743M|2928 | - |3832 |1022 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1751.80/1751.90 c 1700s| 6190k| 6153k| 0 | 0.0 |1746M|2928 | - |3832 |1029 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1754.60/1754.77 c 1703s| 6200k| 6163k| 0 | 0.0 |1749M|2928 | - |3832 |1048 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1757.49/1757.63 c 1706s| 6210k| 6173k| 0 | 0.0 |1751M|2928 | - |3832 |1000 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1760.39/1760.51 c 1708s| 6220k| 6183k| 0 | 0.0 |1754M|2928 | - |3832 |1040 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1763.20/1763.35 c 1711s| 6230k| 6193k| 0 | 0.0 |1757M|2928 | - |3832 |1023 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1766.09/1766.20 c 1714s| 6240k| 6203k| 0 | 0.0 |1760M|2928 | - |3832 | 991 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1768.99/1769.10 c 1716s| 6250k| 6213k| 0 | 0.0 |1763M|2928 | - |3832 | 975 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1771.79/1771.96 c 1719s| 6260k| 6223k| 0 | 0.0 |1765M|2928 | - |3832 | 962 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1774.70/1774.83 c 1722s| 6270k| 6233k| 0 | 0.0 |1768M|2928 | - |3832 | 959 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1777.59/1777.72 c 1725s| 6280k| 6243k| 0 | 0.0 |1771M|2928 | - |3832 | 942 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1780.39/1780.59 c 1727s| 6290k| 6253k| 0 | 0.0 |1774M|2928 | - |3832 | 919 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1783.29/1783.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.29/1783.46 c 1730s| 6300k| 6263k| 0 | 0.0 |1776M|2928 | - |3832 | 923 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1786.20/1786.33 c 1733s| 6310k| 6272k| 0 | 0.0 |1779M|2928 | - |3832 | 947 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1789.00/1789.17 c 1736s| 6320k| 6282k| 0 | 0.0 |1782M|2928 | - |3832 | 950 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1791.89/1792.02 c 1738s| 6330k| 6292k| 0 | 0.0 |1785M|2928 | - |3832 | 956 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1794.69/1794.88 c 1741s| 6340k| 6302k| 0 | 0.0 |1787M|2928 | - |3832 | 953 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1797.59/1797.77 c 1744s| 6350k| 6312k| 0 | 0.0 |1790M|2928 | - |3832 | 949 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1800.00/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.10 c
1800.00/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.10 c Solving Time (sec) : 1745.94
1800.00/1800.10 c Solving Nodes : 6358090
1800.00/1800.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.10 c Dual Bound : +0.00000000000000e+00
1800.00/1800.10 c Gap : infinite
1800.00/1800.10 s UNKNOWN
1800.00/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.10 c Solving Time : 1745.94
1800.00/1800.10 c Original Problem :
1800.00/1800.10 c Problem name : HOME/instance-2693705-1277889966.wbo
1800.00/1800.10 c Variables : 3832 (3716 binary, 0 integer, 0 implicit integer, 116 continuous)
1800.00/1800.10 c Constraints : 287 initial, 287 maximal
1800.00/1800.10 c Presolved Problem :
1800.00/1800.10 c Problem name : t_HOME/instance-2693705-1277889966.wbo
1800.00/1800.10 c Variables : 3832 (3716 binary, 0 integer, 0 implicit integer, 116 continuous)
1800.00/1800.10 c Constraints : 286 initial, 1537 maximal
1800.00/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c probing : 0.02 0 0 0 0 0 0 0 0
1800.00/1800.10 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c linear : 0.01 0 0 0 116 0 1 0 0
1800.00/1800.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.10 c root node : - 0 - - 0 - - - -
1800.00/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.10 c indicator : 116 0 1777 0 1521 0 198 0 0 0
1800.00/1800.10 c setppc : 25 0 6712298 0 6340692 7199 1743312 0 0 0
1800.00/1800.10 c linear : 116 0 6705099 0 6340692 10876 2189408 0 0 0
1800.00/1800.10 c logicor : 29+ 0 972601 0 6340692 1656 151234 0 0 0
1800.00/1800.10 c countsols : 0 0 0 0 6340692 0 0 0 0 0
1800.00/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.10 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.10 c setppc : 111.46 0.00 12.73 0.00 98.73
1800.00/1800.10 c linear : 58.02 0.00 55.32 0.00 2.70
1800.00/1800.10 c logicor : 84.99 0.00 5.46 0.00 79.53
1800.00/1800.10 c countsols : 0.68 0.00 0.00 0.00 0.68
1800.00/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.10 c vbounds : 1.13 2 0 0
1800.00/1800.10 c rootredcost : 1.02 0 0 0
1800.00/1800.10 c pseudoobj : 21.85 6712098 0 0
1800.00/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.10 c propagation : 40.58 19731 19731 337676 355.2 244107 36.2 -
1800.00/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.10 c applied globally : - - - 191676 49.4 - - -
1800.00/1800.10 c applied locally : - - - 52 483.9 - - -
1800.00/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.10 c redcost : 0.00 0 0 0 0 0
1800.00/1800.10 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.10 c intobj : 0.00 0 0 0 0 0
1800.00/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.10 c gomory : 0.00 0 0 0 0 0
1800.00/1800.10 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.10 c cmir : 0.00 0 0 0 0 0
1800.00/1800.10 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.10 c clique : 0.00 0 0 0 0 0
1800.00/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.10 c mcf : 0.00 0 0 0 0 0
1800.00/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.10 c Pricers : Time Calls Vars
1800.00/1800.10 c problem variables: 0.00 0 0
1800.00/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.10 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.10 c inference : 1377.56 6340692 0 0 0 0 12681384
1800.00/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.10 c random : 0.00 0 0 0 0 0 0
1800.00/1800.10 c Primal Heuristics : Time Calls Found
1800.00/1800.10 c LP solutions : 0.00 - 0
1800.00/1800.10 c pseudo solutions : 0.00 - 0
1800.00/1800.10 c oneopt : 0.94 0 0
1800.00/1800.10 c trivial : 0.00 2 0
1800.00/1800.10 c simplerounding : 0.00 0 0
1800.00/1800.10 c zirounding : 0.00 0 0
1800.00/1800.10 c rounding : 0.00 0 0
1800.00/1800.10 c shifting : 0.00 0 0
1800.00/1800.10 c intshifting : 0.00 0 0
1800.00/1800.10 c twoopt : 0.00 0 0
1800.00/1800.10 c fixandinfer : 0.00 0 0
1800.00/1800.10 c feaspump : 0.00 0 0
1800.00/1800.10 c coefdiving : 0.00 0 0
1800.00/1800.10 c pscostdiving : 0.00 0 0
1800.00/1800.10 c fracdiving : 0.00 0 0
1800.00/1800.10 c veclendiving : 0.00 0 0
1800.00/1800.10 c intdiving : 0.00 0 0
1800.00/1800.10 c actconsdiving : 0.00 0 0
1800.00/1800.10 c objpscostdiving : 0.00 0 0
1800.00/1800.10 c rootsoldiving : 0.00 0 0
1800.00/1800.10 c linesearchdiving : 0.00 0 0
1800.00/1800.10 c guideddiving : 0.00 0 0
1800.00/1800.10 c octane : 0.00 0 0
1800.00/1800.10 c rens : 0.00 0 0
1800.00/1800.10 c rins : 0.00 0 0
1800.00/1800.10 c localbranching : 0.00 0 0
1800.00/1800.10 c mutation : 0.00 0 0
1800.00/1800.10 c crossover : 0.00 0 0
1800.00/1800.10 c dins : 0.00 0 0
1800.00/1800.10 c undercover : 0.00 0 0
1800.00/1800.10 c nlp : 1.37 0 0
1800.00/1800.10 c trysol : 0.80 1 0
1800.00/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.10 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.10 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.10 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.10 c (at root node) : - 0 0 0.00 -
1800.00/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.10 c B&B Tree :
1800.00/1800.10 c number of runs : 1
1800.00/1800.10 c nodes : 6358090
1800.00/1800.10 c nodes (total) : 6358090
1800.00/1800.10 c nodes left : 6320819
1800.00/1800.10 c max depth : 2928
1800.00/1800.10 c max depth (total): 2928
1800.00/1800.10 c backtracks : 8013 (0.1%)
1800.00/1800.10 c delayed cutoffs : 2476
1800.00/1800.10 c repropagations : 9354 (151038 domain reductions, 2333 cutoffs)
1800.00/1800.10 c avg switch length: 2.28
1800.00/1800.10 c switching time : 27.03
1800.00/1800.10 c Solution :
1800.00/1800.10 c Solutions found : 0 (0 improvements)
1800.00/1800.10 c Primal Bound : -
1800.00/1800.10 c Dual Bound : +0.00000000000000e+00
1800.00/1800.10 c Gap : infinite
1800.00/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.10 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-2693705-1277889966/watcher-2693705-1277889966 -o /tmp/evaluation-result-2693705-1277889966/solver-2693705-1277889966 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693705-1277889966.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.79 4.03 5.29 4/177 10827
/proc/meminfo: memFree=31469144/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=8544 CPUtime=0
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 1615 0 0 0 0 0 0 0 22 0 1 0 130292884 8749056 1537 4089446400 4194304 7136930 140735713608560 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10827/statm: 2136 1537 275 719 0 1415 0
[startup+0.054513 s]
/proc/loadavg: 2.79 4.03 5.29 4/177 10827
/proc/meminfo: memFree=31469144/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=20424 CPUtime=0.05
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 6100 0 0 0 5 0 0 0 22 0 1 0 130292884 20914176 4383 4089446400 4194304 7136930 140735713608560 18446744073709551615 5496930 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10827/statm: 5106 4383 370 719 0 4385 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20424
[startup+0.100516 s]
/proc/loadavg: 2.79 4.03 5.29 4/177 10827
/proc/meminfo: memFree=31469144/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=21972 CPUtime=0.09
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 6473 0 0 0 9 0 0 0 22 0 1 0 130292884 22499328 4756 4089446400 4194304 7136930 140735713608560 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10827/statm: 5493 4756 390 719 0 4772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21972
[startup+0.300471 s]
/proc/loadavg: 2.79 4.03 5.29 4/177 10827
/proc/meminfo: memFree=31469144/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=22116 CPUtime=0.29
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 6505 0 0 0 29 0 0 0 22 0 1 0 130292884 22646784 4788 4089446400 4194304 7136930 140735713608560 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10827/statm: 5529 4788 390 719 0 4808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22116
[startup+0.700401 s]
/proc/loadavg: 2.79 4.03 5.29 4/177 10827
/proc/meminfo: memFree=31469144/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=23356 CPUtime=0.69
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 6815 0 0 0 68 1 0 0 24 0 1 0 130292884 23916544 5098 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10827/statm: 5839 5098 390 719 0 5118 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23356
[startup+1.50026 s]
/proc/loadavg: 2.73 4.00 5.27 4/178 10828
/proc/meminfo: memFree=31449668/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=24552 CPUtime=1.49
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 7141 0 0 0 147 2 0 0 25 0 1 0 130292884 25141248 5424 4089446400 4194304 7136930 140735713608560 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10827/statm: 6138 5424 394 719 0 5417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24552
[startup+3.10099 s]
/proc/loadavg: 2.73 4.00 5.27 4/178 10828
/proc/meminfo: memFree=31448180/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=28216 CPUtime=3.06
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 8070 0 0 0 300 6 0 0 25 0 1 0 130292884 28893184 6353 4089446400 4194304 7136930 140735713608560 18446744073709551615 4697680 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10827/statm: 7054 6353 394 719 0 6333 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28216
[startup+6.30045 s]
/proc/loadavg: 2.73 4.00 5.27 4/178 10828
/proc/meminfo: memFree=31443784/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=32008 CPUtime=6.27
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 9056 0 0 0 615 12 0 0 25 0 1 0 130292884 32776192 7339 4089446400 4194304 7136930 140735713608560 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 8002 7339 394 719 0 7281 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32008
[startup+12.7003 s]
/proc/loadavg: 2.61 3.93 5.24 4/178 10828
/proc/meminfo: memFree=31434832/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=39844 CPUtime=12.67
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 11092 0 0 0 1243 24 0 0 25 0 1 0 130292884 40800256 9375 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 9961 9375 394 719 0 9240 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 39844
[startup+25.5011 s]
/proc/loadavg: 2.52 3.87 5.20 4/178 10828
/proc/meminfo: memFree=31420492/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=55776 CPUtime=25.47
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 14746 0 0 0 2497 50 0 0 25 0 1 0 130292884 57114624 13029 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 13944 13029 394 719 0 13223 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 55776
[startup+51.1007 s]
/proc/loadavg: 2.31 3.69 5.10 4/178 10828
/proc/meminfo: memFree=31393292/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=82728 CPUtime=51.06
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 21825 0 0 0 5006 100 0 0 25 0 1 0 130292884 84713472 20108 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 20682 20108 394 719 0 19961 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 82728
[startup+102.306 s]
/proc/loadavg: 2.13 3.43 4.93 4/178 10830
/proc/meminfo: memFree=31334472/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=141700 CPUtime=102.27
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 36276 0 0 0 10024 203 0 0 25 0 1 0 130292884 145100800 34559 4089446400 4194304 7136930 140735713608560 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 35425 34559 394 719 0 34704 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 141700
[startup+162.3 s]
/proc/loadavg: 2.05 3.16 4.75 4/178 10832
/proc/meminfo: memFree=31261016/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=220100 CPUtime=162.26
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 54715 0 0 0 15893 333 0 0 25 0 1 0 130292884 225382400 52998 4089446400 4194304 7136930 140735713608560 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 55025 52998 394 719 0 54304 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 220100
[startup+222.301 s]
/proc/loadavg: 2.02 2.95 4.57 4/178 10834
/proc/meminfo: memFree=31168960/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=307884 CPUtime=222.25
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 77492 0 0 0 21755 470 0 0 25 0 1 0 130292884 315273216 75775 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 76971 75775 394 719 0 76250 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 307884
[startup+282.301 s]
/proc/loadavg: 2.08 2.79 4.41 5/178 10834
/proc/meminfo: memFree=31084204/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=406540 CPUtime=282.24
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 98905 0 0 0 27621 603 0 0 25 0 1 0 130292884 416296960 97188 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 101635 97188 394 719 0 100914 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 406540
[startup+342.3 s]
/proc/loadavg: 2.10 2.66 4.26 4/178 10836
/proc/meminfo: memFree=31018556/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=468076 CPUtime=342.24
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 115060 0 0 0 33511 713 0 0 25 0 1 0 130292884 479309824 113343 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 117019 113343 394 719 0 116298 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 468076
[startup+402.301 s]
/proc/loadavg: 2.04 2.54 4.12 3/178 10838
/proc/meminfo: memFree=30958980/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=524948 CPUtime=402.24
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 130097 0 0 0 39393 831 0 0 25 0 1 0 130292884 537546752 128380 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 131237 128380 394 719 0 130516 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 524948
[startup+462.3 s]
/proc/loadavg: 2.04 2.45 3.99 4/178 10843
/proc/meminfo: memFree=30898196/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=581940 CPUtime=462.23
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 145164 0 0 0 45276 947 0 0 25 0 1 0 130292884 595906560 143447 4089446400 4194304 7136930 140735713608560 18446744073709551615 4436341 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 145485 143447 394 719 0 144764 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 581940
[startup+522.301 s]
/proc/loadavg: 2.09 2.38 3.87 4/178 10845
/proc/meminfo: memFree=30835636/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=642328 CPUtime=522.23
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 161052 0 0 0 51158 1065 0 0 25 0 1 0 130292884 657743872 159335 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 160582 159335 394 719 0 159861 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 642328
[startup+582.301 s]
/proc/loadavg: 2.03 2.31 3.75 4/178 10845
/proc/meminfo: memFree=30775820/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=730984 CPUtime=582.22
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 175836 0 0 0 57040 1182 0 0 25 0 1 0 130292884 748527616 174119 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 182746 174119 394 719 0 182025 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 730984
[startup+642.3 s]
/proc/loadavg: 2.01 2.25 3.64 4/178 10847
/proc/meminfo: memFree=30713756/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=788952 CPUtime=642.23
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 191158 0 0 0 62924 1299 0 0 25 0 1 0 130292884 807886848 189441 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 197238 189441 394 719 0 196517 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 788952
[startup+702.301 s]
################
# More data... #
################
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 297050 0 0 0 104131 2089 0 0 25 0 1 0 130292884 1218523136 295333 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 297491 295333 394 719 0 296770 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 1189964
[startup+1122.3 s]
/proc/loadavg: 2.00 2.05 2.96 4/178 10861
/proc/meminfo: memFree=30230724/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1244624 CPUtime=1122.2
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 311510 0 0 0 110015 2205 0 0 25 0 1 0 130292884 1274494976 309793 4089446400 4194304 7136930 140735713608560 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10827/statm: 311156 309793 394 719 0 310435 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 1244624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.90 3/177 11014
/proc/meminfo: memFree=30258888/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1366728 CPUtime=1182.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 326466 0 0 0 115860 2359 0 0 25 0 1 0 130292884 1399529472 324749 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10827/statm: 341682 324749 394 719 0 340961 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 1366728
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.84 3/177 11016
/proc/meminfo: memFree=30195740/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1426656 CPUtime=1242.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 342236 0 0 0 121566 2653 0 0 25 0 1 0 130292884 1460895744 340519 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10827/statm: 356664 340519 394 719 0 355943 0
Current children cumulated CPU time (s) 1242.19
Current children cumulated vsize (KiB) 1426656
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.78 3/177 11018
/proc/meminfo: memFree=30132820/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1485508 CPUtime=1302.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 357742 0 0 0 127278 2941 0 0 25 0 1 0 130292884 1521160192 356025 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10827/statm: 371377 356025 394 719 0 370656 0
Current children cumulated CPU time (s) 1302.19
Current children cumulated vsize (KiB) 1485508
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.73 3/177 11020
/proc/meminfo: memFree=30076232/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1539520 CPUtime=1362.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 372063 0 0 0 132993 3226 0 0 25 0 1 0 130292884 1576468480 370346 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10827/statm: 384880 370346 394 719 0 384159 0
Current children cumulated CPU time (s) 1362.19
Current children cumulated vsize (KiB) 1539520
[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 2.69 3/177 11022
/proc/meminfo: memFree=30016156/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1595200 CPUtime=1422.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 386815 0 0 0 138689 3530 0 0 25 0 1 0 130292884 1633484800 385098 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10827/statm: 398800 385098 394 719 0 398079 0
Current children cumulated CPU time (s) 1422.19
Current children cumulated vsize (KiB) 1595200
[startup+1482.3 s]
/proc/loadavg: 2.15 2.05 2.65 3/177 11022
/proc/meminfo: memFree=29960188/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1648820 CPUtime=1482.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 401016 0 0 0 144390 3829 0 0 25 0 1 0 130292884 1688391680 399299 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10827/statm: 412205 399299 394 719 0 411484 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 1648820
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.61 3/177 11024
/proc/meminfo: memFree=29895648/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1709016 CPUtime=1542.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 416883 0 0 0 150090 4129 0 0 25 0 1 0 130292884 1750032384 415166 4089446400 4194304 7136930 140735713608560 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10827/statm: 427254 415166 394 719 0 426533 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 1709016
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.57 3/177 11026
/proc/meminfo: memFree=29836324/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1766332 CPUtime=1602.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 432003 0 0 0 155792 4427 0 0 25 0 1 0 130292884 1808723968 430286 4089446400 4194304 7136930 140735713608560 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10827/statm: 441583 430286 394 719 0 440862 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 1766332
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.53 3/177 11028
/proc/meminfo: memFree=29776992/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1821824 CPUtime=1662.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 446699 0 0 0 161501 4718 0 0 25 0 1 0 130292884 1865547776 444982 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10827/statm: 455456 444982 394 719 0 454735 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 1821824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.50 3/177 11030
/proc/meminfo: memFree=29717308/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1878972 CPUtime=1722.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 461806 0 0 0 167203 5016 0 0 25 0 1 0 130292884 1924067328 460089 4089446400 4194304 7136930 140735713608560 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10827/statm: 469743 460089 394 719 0 469022 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 1878972
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.46 3/177 11030
/proc/meminfo: memFree=29654628/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1937528 CPUtime=1782.19
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 477231 0 0 0 172902 5317 0 0 25 0 1 0 130292884 1984028672 475514 4089446400 4194304 7136930 140735713608560 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10827/statm: 484382 475514 394 719 0 483661 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 1937528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.45 3/177 11032
/proc/meminfo: memFree=29637260/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1953436 CPUtime=1800
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 481465 0 0 0 174595 5405 0 0 25 0 1 0 130292884 2000318464 479748 4089446400 4194304 7136930 140735713608560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10827/statm: 488359 479748 394 719 0 487638 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1953436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10827
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.45 3/178 11033
/proc/meminfo: memFree=29637248/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1953436 CPUtime=1801.3
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 481484 0 0 0 174725 5405 0 0 19 0 1 0 130292884 2000318464 479767 4089446400 4194304 7136930 140735713608560 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10827/statm: 488359 479767 399 719 0 487638 0
Current children cumulated CPU time (s) 1801.3
Current children cumulated vsize (KiB) 1953436
[startup+1801.81 s]
/proc/loadavg: 2.00 2.01 2.45 3/178 11033
/proc/meminfo: memFree=29637248/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1953436 CPUtime=1801.7
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 481484 0 0 0 174765 5405 0 0 20 0 1 0 130292884 2000318464 479767 4089446400 4194304 7136930 140735713608560 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10827/statm: 488359 479767 399 719 0 487638 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1953436
[startup+1802 s]
/proc/loadavg: 2.00 2.01 2.45 3/178 11033
/proc/meminfo: memFree=29637248/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1953436 CPUtime=1801.9
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 481484 0 0 0 174785 5405 0 0 20 0 1 0 130292884 2000318464 479767 4089446400 4194304 7136930 140735713608560 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10827/statm: 488359 479767 399 719 0 487638 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 1953436
[startup+1802.1 s]
/proc/loadavg: 2.00 2.01 2.45 3/178 11033
/proc/meminfo: memFree=29637248/32951132 swapFree=67111528/67111528
[pid=10827] ppid=10825 vsize=1953436 CPUtime=1802
/proc/10827/stat : 10827 (pbscip.linux.x8) R 10825 10827 9624 0 -1 4202496 481484 0 0 0 174795 5405 0 0 21 0 1 0 130292884 2000318464 479767 4089446400 4194304 7136930 140735713608560 18446744073709551615 6165733 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10827/statm: 488359 479767 399 719 0 487638 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 1953436
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.17
CPU time (s): 1802.08
CPU user time (s): 1747.96
CPU system time (s): 54.1178
CPU usage (%): 99.9947
Max. virtual memory (cumulated for all children) (KiB): 1953436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.96
system time used= 54.1178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2766
runsolver used 2.42063 second user time and 5.82211 second system time
The end
Begin job on node128 at 2010-06-30 11:26:06
IDJOB=2693705
IDBENCH=78675
IDSOLVER=1206
FILE ID=node128/2693705-1277889966
PBS_JOBID= 11197098
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_45_pb.cnf.cr--soft-33-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-2693705-1277889966/watcher-2693705-1277889966 -o /tmp/evaluation-result-2693705-1277889966/solver-2693705-1277889966 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693705-1277889966.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8648a4908eeb88d76ecf84cd5dcb68ad
RANDOM SEED=1280813841
node128.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.853
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.70
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.853
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
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.83
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.853
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.74
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.853
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.82
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.853
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
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.853
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 31469548 kB
Buffers: 174088 kB
Cached: 1020704 kB
SwapCached: 0 kB
Active: 552756 kB
Inactive: 785676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 31469548 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3364 kB
Writeback: 0 kB
AnonPages: 143620 kB
Mapped: 18052 kB
Slab: 78460 kB
PageTables: 4928 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 320620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 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 node128 at 2010-06-30 11:56:08