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-2693709-1277890041.wbo>
0.00/0.02 c original problem has 6304 variables (6152 bin, 0 int, 0 impl, 152 cont) and 373 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 152 impls, 30 clqs
0.00/0.04 c (round 2) 0 del vars, 1 del conss, 152 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 152 impls, 30 clqs
0.00/0.04 c (round 3) 0 del vars, 1 del conss, 152 chg bounds, 0 chg sides, 0 chg coeffs, 38 upgd conss, 152 impls, 30 clqs
0.00/0.04 c (round 4) 0 del vars, 1 del conss, 152 chg bounds, 0 chg sides, 0 chg coeffs, 68 upgd conss, 152 impls, 30 clqs
0.05/0.08 c (0.1s) probing: 101/6152 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.08 c presolving (5 rounds):
0.05/0.08 c 0 deleted vars, 1 deleted constraints, 152 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.08 c 152 implications, 30 cliques
0.05/0.08 c presolved problem has 6304 variables (6152 bin, 0 int, 0 impl, 152 cont) and 372 constraints
0.05/0.08 c 152 constraints of type <indicator>
0.05/0.08 c 30 constraints of type <setppc>
0.05/0.08 c 152 constraints of type <linear>
0.05/0.08 c 38 constraints of type <logicor>
0.05/0.08 c transformed objective value is always integral (scale: 1)
0.05/0.08 c Presolving Time: 0.06
0.05/0.08 c - non default parameters ----------------------------------------------------------------------
0.05/0.08 c # SCIP version 1.2.1.2
0.05/0.08 c
0.05/0.08 c # frequency for displaying node information lines
0.05/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.08 c display/freq = 10000
0.05/0.08 c
0.05/0.08 c # maximal time in seconds to run
0.05/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.08 c limits/time = 1799.99
0.05/0.08 c
0.05/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.08 c limits/memory = 3420
0.05/0.08 c
0.05/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.08 c lp/solvefreq = -1
0.05/0.08 c
0.05/0.08 c # should presolving try to simplify inequalities
0.05/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.08 c constraints/linear/simplifyinequalities = TRUE
0.05/0.08 c
0.05/0.08 c # should presolving try to simplify knapsacks
0.05/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.08 c
0.05/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.08 c separating/rapidlearning/freq = 0
0.05/0.08 c
0.05/0.08 c -----------------------------------------------------------------------------------------------
0.05/0.08 c start solving
0.05/0.08 c
0.05/0.09 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.09 c 0.1s| 1 | 2 | 0 | - | 11M| 0 | - |6304 | 372 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.79/3.82 c 3.7s| 10000 | 9993 | 0 | 0.0 | 15M|4976 | - |6304 | 408 | 0 | 0 | 0 | 39 | 0 | 0.000000e+00 | -- | Inf
7.70/7.72 c 7.6s| 20000 | 19959 | 0 | 0.0 | 18M|4976 | - |6304 | 465 | 0 | 0 | 0 | 209 | 0 | 0.000000e+00 | -- | Inf
12.69/12.71 c 12.5s| 30000 | 29923 | 0 | 0.0 | 21M|4976 | - |6304 | 398 | 0 | 0 | 0 | 389 | 0 | 0.000000e+00 | -- | Inf
22.99/23.04 c 22.8s| 40000 | 39897 | 0 | 0.0 | 24M|4976 | - |6304 | 442 | 0 | 0 | 0 | 519 | 0 | 0.000000e+00 | -- | Inf
46.79/46.85 c 46.5s| 50000 | 49871 | 0 | 0.0 | 27M|4976 | - |6304 | 465 | 0 | 0 | 0 | 649 | 0 | 0.000000e+00 | -- | Inf
51.69/51.79 c 51.3s| 60000 | 59838 | 0 | 0.0 | 30M|4976 | - |6304 | 501 | 0 | 0 | 0 | 817 | 0 | 0.000000e+00 | -- | Inf
56.38/56.43 c 55.7s| 70000 | 69813 | 0 | 0.0 | 33M|4976 | - |6304 | 524 | 0 | 0 | 0 | 942 | 0 | 0.000000e+00 | -- | Inf
60.99/61.02 c 60.2s| 80000 | 79792 | 0 | 0.0 | 36M|4976 | - |6304 | 511 | 0 | 0 | 0 |1052 | 0 | 0.000000e+00 | -- | Inf
65.69/65.70 c 64.7s| 90000 | 89758 | 0 | 0.0 | 38M|4976 | - |6304 | 544 | 0 | 0 | 0 |1222 | 0 | 0.000000e+00 | -- | Inf
70.30/70.39 c 69.2s|100000 | 99728 | 0 | 0.0 | 41M|4976 | - |6304 | 564 | 0 | 0 | 0 |1372 | 0 | 0.000000e+00 | -- | Inf
74.99/75.00 c 73.6s|110000 |109698 | 0 | 0.0 | 44M|4976 | - |6304 | 613 | 0 | 0 | 0 |1532 | 0 | 0.000000e+00 | -- | Inf
79.59/79.68 c 78.1s|120000 |119661 | 0 | 0.0 | 47M|4976 | - |6304 | 641 | 0 | 0 | 0 |1712 | 0 | 0.000000e+00 | -- | Inf
84.39/84.40 c 82.6s|130000 |129637 | 0 | 0.0 | 50M|4976 | - |6304 | 610 | 0 | 0 | 0 |1832 | 0 | 0.000000e+00 | -- | Inf
89.10/89.12 c 87.1s|140000 |139605 | 0 | 0.0 | 52M|4976 | - |6304 | 612 | 0 | 0 | 0 |1992 | 0 | 0.000000e+00 | -- | Inf
93.79/93.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.79/93.84 c 91.7s|150000 |149579 | 0 | 0.0 | 55M|4976 | - |6304 | 626 | 0 | 0 | 0 |2122 | 0 | 0.000000e+00 | -- | Inf
98.49/98.55 c 96.2s|160000 |159557 | 0 | 0.0 | 58M|4976 | - |6304 | 626 | 0 | 0 | 0 |2232 | 0 | 0.000000e+00 | -- | Inf
103.30/103.31 c 101s|170000 |169527 | 0 | 0.0 | 61M|4976 | - |6304 | 645 | 0 | 0 | 0 |2382 | 0 | 0.000000e+00 | -- | Inf
107.99/108.05 c 105s|180000 |179497 | 0 | 0.0 | 64M|4976 | - |6304 | 665 | 0 | 0 | 0 |2532 | 0 | 0.000000e+00 | -- | Inf
112.79/112.84 c 110s|190000 |189465 | 0 | 0.0 | 66M|4976 | - |6304 | 694 | 0 | 0 | 0 |2692 | 0 | 0.000000e+00 | -- | Inf
117.59/117.61 c 115s|200000 |199433 | 0 | 0.0 | 69M|4976 | - |6304 | 698 | 0 | 0 | 0 |2852 | 0 | 0.000000e+00 | -- | Inf
122.29/122.37 c 119s|210000 |209407 | 0 | 0.0 | 72M|4976 | - |6304 | 690 | 0 | 0 | 0 |2982 | 0 | 0.000000e+00 | -- | Inf
127.09/127.18 c 124s|220000 |219365 | 0 | 0.0 | 75M|4976 | - |6304 | 744 | 0 | 0 | 0 |3192 | 0 | 0.000000e+00 | -- | Inf
131.90/131.91 c 128s|230000 |229337 | 0 | 0.0 | 78M|4976 | - |6304 | 745 | 0 | 0 | 0 |3332 | 0 | 0.000000e+00 | -- | Inf
136.59/136.66 c 133s|240000 |239311 | 0 | 0.0 | 80M|4976 | - |6304 | 748 | 0 | 0 | 0 |3459 | 0 | 0.000000e+00 | -- | Inf
141.29/141.36 c 137s|250000 |249285 | 0 | 0.0 | 83M|4976 | - |6304 | 750 | 0 | 0 | 0 |3585 | 0 | 0.000000e+00 | -- | Inf
146.09/146.10 c 142s|260000 |259251 | 0 | 0.0 | 86M|4976 | - |6304 | 797 | 0 | 0 | 0 |3749 | 0 | 0.000000e+00 | -- | Inf
150.79/150.83 c 147s|270000 |269225 | 0 | 0.0 | 89M|4976 | - |6304 | 782 | 0 | 0 | 0 |3879 | 0 | 0.000000e+00 | -- | Inf
155.60/155.60 c 151s|280000 |279197 | 0 | 0.0 | 92M|4976 | - |6304 | 803 | 0 | 0 | 0 |4019 | 0 | 0.000000e+00 | -- | Inf
160.29/160.35 c 156s|290000 |289159 | 0 | 0.0 | 94M|4976 | - |6304 | 852 | 0 | 0 | 0 |4209 | 0 | 0.000000e+00 | -- | Inf
165.00/165.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.00/165.05 c 160s|300000 |299121 | 0 | 0.0 | 97M|4976 | - |6304 | 862 | 0 | 0 | 0 |4393 | 0 | 0.000000e+00 | -- | Inf
169.69/169.75 c 165s|310000 |309083 | 0 | 0.0 | 100M|4976 | - |6304 | 870 | 0 | 0 | 0 |4583 | 0 | 0.000000e+00 | -- | Inf
174.39/174.46 c 169s|320000 |319059 | 0 | 0.0 | 103M|4976 | - |6304 | 816 | 0 | 0 | 0 |4703 | 0 | 0.000000e+00 | -- | Inf
179.20/179.21 c 174s|330000 |329029 | 0 | 0.0 | 105M|4976 | - |6304 | 864 | 0 | 0 | 0 |4853 | 0 | 0.000000e+00 | -- | Inf
183.79/183.82 c 178s|340000 |339007 | 0 | 0.0 | 108M|4976 | - |6304 | 831 | 0 | 0 | 0 |4963 | 0 | 0.000000e+00 | -- | Inf
188.49/188.52 c 183s|350000 |348979 | 0 | 0.0 | 111M|4976 | - |6304 | 818 | 0 | 0 | 0 |5103 | 0 | 0.000000e+00 | -- | Inf
193.09/193.15 c 187s|360000 |358949 | 0 | 0.0 | 114M|4976 | - |6304 | 806 | 0 | 0 | 0 |5253 | 0 | 0.000000e+00 | -- | Inf
197.79/197.83 c 192s|370000 |368919 | 0 | 0.0 | 117M|4976 | - |6304 | 792 | 0 | 0 | 0 |5403 | 0 | 0.000000e+00 | -- | Inf
202.39/202.48 c 196s|380000 |378885 | 0 | 0.0 | 119M|4976 | - |6304 | 821 | 0 | 0 | 0 |5573 | 0 | 0.000000e+00 | -- | Inf
207.09/207.12 c 201s|390000 |388859 | 0 | 0.0 | 122M|4976 | - |6304 | 817 | 0 | 0 | 0 |5703 | 0 | 0.000000e+00 | -- | Inf
211.69/211.74 c 205s|400000 |398835 | 0 | 0.0 | 125M|4976 | - |6304 | 797 | 0 | 0 | 0 |5823 | 0 | 0.000000e+00 | -- | Inf
216.39/216.41 c 210s|410000 |408799 | 0 | 0.0 | 128M|4976 | - |6304 | 807 | 0 | 0 | 0 |6003 | 0 | 0.000000e+00 | -- | Inf
221.00/221.06 c 214s|420000 |418773 | 0 | 0.0 | 131M|4976 | - |6304 | 820 | 0 | 0 | 0 |6133 | 0 | 0.000000e+00 | -- | Inf
225.59/225.65 c 218s|430000 |428744 | 0 | 0.0 | 133M|4976 | - |6304 | 829 | 0 | 0 | 0 |6283 | 0 | 0.000000e+00 | -- | Inf
230.19/230.24 c 223s|440000 |438714 | 0 | 0.0 | 136M|4976 | - |6304 | 855 | 0 | 0 | 0 |6433 | 0 | 0.000000e+00 | -- | Inf
234.69/234.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.69/234.80 c 227s|450000 |448681 | 0 | 0.0 | 139M|4976 | - |6304 | 880 | 0 | 0 | 0 |6603 | 0 | 0.000000e+00 | -- | Inf
239.39/239.41 c 232s|460000 |458641 | 0 | 0.0 | 142M|4976 | - |6304 | 886 | 0 | 0 | 0 |6803 | 0 | 0.000000e+00 | -- | Inf
243.99/244.04 c 236s|470000 |468617 | 0 | 0.0 | 144M|4976 | - |6304 | 873 | 0 | 0 | 0 |6923 | 0 | 0.000000e+00 | -- | Inf
248.60/248.68 c 241s|480000 |478593 | 0 | 0.0 | 147M|4976 | - |6304 | 834 | 0 | 0 | 0 |7043 | 0 | 0.000000e+00 | -- | Inf
253.29/253.31 c 245s|490000 |488561 | 0 | 0.0 | 150M|4976 | - |6304 | 847 | 0 | 0 | 0 |7203 | 0 | 0.000000e+00 | -- | Inf
257.89/257.90 c 249s|500000 |498533 | 0 | 0.0 | 153M|4976 | - |6304 | 832 | 0 | 0 | 0 |7343 | 0 | 0.000000e+00 | -- | Inf
262.40/262.49 c 254s|510000 |508505 | 0 | 0.0 | 156M|4976 | - |6304 | 851 | 0 | 0 | 0 |7483 | 0 | 0.000000e+00 | -- | Inf
267.10/267.17 c 258s|520000 |518473 | 0 | 0.0 | 158M|4976 | - |6304 | 858 | 0 | 0 | 0 |7643 | 0 | 0.000000e+00 | -- | Inf
271.70/271.73 c 263s|530000 |528447 | 0 | 0.0 | 161M|4976 | - |6304 | 841 | 0 | 0 | 0 |7773 | 0 | 0.000000e+00 | -- | Inf
276.30/276.30 c 267s|540000 |538423 | 0 | 0.0 | 164M|4976 | - |6304 | 812 | 0 | 0 | 0 |7893 | 0 | 0.000000e+00 | -- | Inf
280.80/280.85 c 271s|550000 |548393 | 0 | 0.0 | 167M|4976 | - |6304 | 849 | 0 | 0 | 0 |8043 | 0 | 0.000000e+00 | -- | Inf
285.39/285.41 c 276s|560000 |558363 | 0 | 0.0 | 170M|4976 | - |6304 | 834 | 0 | 0 | 0 |8193 | 0 | 0.000000e+00 | -- | Inf
289.99/290.03 c 280s|570000 |568331 | 0 | 0.0 | 172M|4976 | - |6304 | 853 | 0 | 0 | 0 |8353 | 0 | 0.000000e+00 | -- | Inf
294.50/294.57 c 285s|580000 |578303 | 0 | 0.0 | 175M|4976 | - |6304 | 861 | 0 | 0 | 0 |8493 | 0 | 0.000000e+00 | -- | Inf
298.99/299.10 c 289s|590000 |588279 | 0 | 0.0 | 178M|4976 | - |6304 | 872 | 0 | 0 | 0 |8613 | 0 | 0.000000e+00 | -- | Inf
303.60/303.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.60/303.68 c 293s|600000 |598255 | 0 | 0.0 | 181M|4976 | - |6304 | 870 | 0 | 0 | 0 |8733 | 0 | 0.000000e+00 | -- | Inf
308.19/308.25 c 298s|610000 |608222 | 0 | 0.0 | 184M|4976 | - |6304 | 898 | 0 | 0 | 0 |8903 | 0 | 0.000000e+00 | -- | Inf
312.70/312.76 c 302s|620000 |618196 | 0 | 0.0 | 186M|4976 | - |6304 | 886 | 0 | 0 | 0 |9033 | 0 | 0.000000e+00 | -- | Inf
317.20/317.29 c 306s|630000 |628168 | 0 | 0.0 | 189M|4976 | - |6304 | 905 | 0 | 0 | 0 |9173 | 0 | 0.000000e+00 | -- | Inf
321.79/321.84 c 311s|640000 |638126 | 0 | 0.0 | 192M|4976 | - |6304 | 914 | 0 | 0 | 0 |9383 | 0 | 0.000000e+00 | -- | Inf
326.30/326.35 c 315s|650000 |648094 | 0 | 0.0 | 195M|4976 | - |6304 | 916 | 0 | 0 | 0 |9543 | 0 | 0.000000e+00 | -- | Inf
330.80/330.85 c 320s|660000 |658060 | 0 | 0.0 | 197M|4976 | - |6304 | 910 | 0 | 0 | 0 |9713 | 0 | 0.000000e+00 | -- | Inf
335.30/335.38 c 324s|670000 |668026 | 0 | 0.0 | 200M|4976 | - |6304 | 914 | 0 | 0 | 0 |9883 | 0 | 0.000000e+00 | -- | Inf
339.80/339.87 c 328s|680000 |677994 | 0 | 0.0 | 203M|4976 | - |6304 | 915 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
344.30/344.39 c 332s|690000 |687964 | 0 | 0.0 | 206M|4976 | - |6304 | 883 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
348.90/348.92 c 337s|700000 |697934 | 0 | 0.0 | 209M|4976 | - |6304 | 895 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
353.40/353.41 c 341s|710000 |707908 | 0 | 0.0 | 211M|4976 | - |6304 | 869 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
357.80/357.87 c 345s|720000 |717880 | 0 | 0.0 | 214M|4976 | - |6304 | 876 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
362.30/362.34 c 350s|730000 |727851 | 0 | 0.0 | 217M|4976 | - |6304 | 882 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
366.80/366.86 c 354s|740000 |737811 | 0 | 0.0 | 220M|4976 | - |6304 | 909 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
371.39/371.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.39/371.40 c 358s|750000 |747781 | 0 | 0.0 | 222M|4976 | - |6304 | 903 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
375.90/375.90 c 363s|760000 |757749 | 0 | 0.0 | 225M|4976 | - |6304 | 903 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
380.30/380.30 c 367s|770000 |767721 | 0 | 0.0 | 228M|4976 | - |6304 | 883 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
384.70/384.75 c 371s|780000 |777693 | 0 | 0.0 | 231M|4976 | - |6304 | 865 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
389.20/389.25 c 376s|790000 |787663 | 0 | 0.0 | 234M|4976 | - |6304 | 846 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
393.70/393.70 c 380s|800000 |797635 | 0 | 0.0 | 236M|4976 | - |6304 | 866 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
398.10/398.17 c 384s|810000 |807607 | 0 | 0.0 | 239M|4976 | - |6304 | 844 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
402.51/402.57 c 388s|820000 |817569 | 0 | 0.0 | 242M|4976 | - |6304 | 871 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
407.00/407.03 c 393s|830000 |827547 | 0 | 0.0 | 245M|4976 | - |6304 | 806 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
411.40/411.47 c 397s|840000 |837523 | 0 | 0.0 | 248M|4976 | - |6304 | 791 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
415.90/415.93 c 401s|850000 |847483 | 0 | 0.0 | 251M|4976 | - |6304 | 821 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
420.30/420.33 c 405s|860000 |857451 | 0 | 0.0 | 253M|4976 | - |6304 | 818 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
424.70/424.70 c 409s|870000 |867427 | 0 | 0.0 | 256M|4976 | - |6304 | 791 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
429.10/429.13 c 414s|880000 |877397 | 0 | 0.0 | 259M|4976 | - |6304 | 813 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
433.40/433.49 c 418s|890000 |887373 | 0 | 0.0 | 262M|4976 | - |6304 | 780 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
437.90/437.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.90/437.92 c 422s|900000 |897339 | 0 | 0.0 | 265M|4976 | - |6304 | 781 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
442.20/442.27 c 426s|910000 |907313 | 0 | 0.0 | 267M|4976 | - |6304 | 774 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
446.60/446.68 c 431s|920000 |917275 | 0 | 0.0 | 270M|4976 | - |6304 | 782 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
451.00/451.04 c 435s|930000 |927245 | 0 | 0.0 | 273M|4976 | - |6304 | 769 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
455.41/455.48 c 439s|940000 |937205 | 0 | 0.0 | 276M|4976 | - |6304 | 799 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
459.90/459.92 c 443s|950000 |947175 | 0 | 0.0 | 279M|4976 | - |6304 | 750 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
464.21/464.28 c 447s|960000 |957143 | 0 | 0.0 | 282M|4976 | - |6304 | 760 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
468.61/468.61 c 452s|970000 |967111 | 0 | 0.0 | 284M|4976 | - |6304 | 762 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
472.90/472.96 c 456s|980000 |977085 | 0 | 0.0 | 287M|4976 | - |6304 | 746 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
477.20/477.20 c 460s|990000 |987059 | 0 | 0.0 | 290M|4976 | - |6304 | 742 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
481.60/481.62 c 464s| 1000k|997021 | 0 | 0.0 | 293M|4976 | - |6304 | 788 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
485.90/485.94 c 468s| 1010k| 1006k| 0 | 0.0 | 296M|4976 | - |6304 | 733 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
490.20/490.25 c 472s| 1020k| 1016k| 0 | 0.0 | 298M|4976 | - |6304 | 731 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
494.60/494.65 c 477s| 1030k| 1026k| 0 | 0.0 | 301M|4976 | - |6304 | 730 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
498.90/498.95 c 481s| 1040k| 1036k| 0 | 0.0 | 304M|4976 | - |6304 | 763 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
503.30/503.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.30/503.35 c 485s| 1050k| 1046k| 0 | 0.0 | 307M|4976 | - |6304 | 733 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
507.60/507.69 c 489s| 1060k| 1056k| 0 | 0.0 | 310M|4976 | - |6304 | 737 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
511.90/511.99 c 493s| 1070k| 1066k| 0 | 0.0 | 313M|4976 | - |6304 | 744 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
516.30/516.31 c 497s| 1080k| 1076k| 0 | 0.0 | 315M|4976 | - |6304 | 737 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
520.60/520.61 c 501s| 1090k| 1086k| 0 | 0.0 | 318M|4976 | - |6304 | 729 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
524.90/524.94 c 506s| 1100k| 1096k| 0 | 0.0 | 321M|4976 | - |6304 | 715 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
529.21/529.20 c 510s| 1110k| 1106k| 0 | 0.0 | 324M|4976 | - |6304 | 711 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
533.51/533.56 c 514s| 1120k| 1116k| 0 | 0.0 | 327M|4976 | - |6304 | 727 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
537.80/537.82 c 518s| 1130k| 1126k| 0 | 0.0 | 329M|4976 | - |6304 | 720 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
542.10/542.12 c 522s| 1140k| 1136k| 0 | 0.0 | 332M|4976 | - |6304 | 722 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
546.30/546.39 c 526s| 1150k| 1146k| 0 | 0.0 | 335M|4976 | - |6304 | 744 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
550.61/550.69 c 530s| 1160k| 1156k| 0 | 0.0 | 338M|4976 | - |6304 | 723 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
555.00/555.01 c 534s| 1170k| 1166k| 0 | 0.0 | 341M|4976 | - |6304 | 722 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
559.30/559.34 c 539s| 1180k| 1176k| 0 | 0.0 | 344M|4976 | - |6304 | 770 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
563.60/563.66 c 543s| 1190k| 1186k| 0 | 0.0 | 346M|4976 | - |6304 | 720 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
567.90/567.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.90/567.94 c 547s| 1200k| 1196k| 0 | 0.0 | 349M|4976 | - |6304 | 734 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
572.21/572.24 c 551s| 1210k| 1206k| 0 | 0.0 | 352M|4976 | - |6304 | 764 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
576.41/576.49 c 555s| 1220k| 1216k| 0 | 0.0 | 355M|4976 | - |6304 | 720 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
580.71/580.74 c 559s| 1230k| 1226k| 0 | 0.0 | 358M|4976 | - |6304 | 738 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
584.90/584.98 c 563s| 1240k| 1236k| 0 | 0.0 | 361M|4976 | - |6304 | 759 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
589.20/589.27 c 567s| 1250k| 1246k| 0 | 0.0 | 363M|4976 | - |6304 | 800 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
593.40/593.47 c 571s| 1260k| 1256k| 0 | 0.0 | 366M|4976 | - |6304 | 731 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
597.60/597.66 c 575s| 1270k| 1266k| 0 | 0.0 | 369M|4976 | - |6304 | 766 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
601.90/601.90 c 579s| 1280k| 1276k| 0 | 0.0 | 372M|4976 | - |6304 | 774 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
606.00/606.10 c 583s| 1290k| 1286k| 0 | 0.0 | 375M|4976 | - |6304 | 759 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
610.20/610.29 c 587s| 1300k| 1296k| 0 | 0.0 | 378M|4976 | - |6304 | 756 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
614.40/614.44 c 591s| 1310k| 1306k| 0 | 0.0 | 380M|4976 | - |6304 | 748 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
618.50/618.58 c 595s| 1320k| 1315k| 0 | 0.0 | 383M|4976 | - |6304 | 747 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
622.70/622.79 c 599s| 1330k| 1325k| 0 | 0.0 | 386M|4976 | - |6304 | 761 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
627.01/627.01 c 603s| 1340k| 1335k| 0 | 0.0 | 389M|4976 | - |6304 | 749 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
631.10/631.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.10/631.17 c 607s| 1350k| 1345k| 0 | 0.0 | 392M|4976 | - |6304 | 746 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
635.21/635.29 c 611s| 1360k| 1355k| 0 | 0.0 | 395M|4976 | - |6304 | 746 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
639.40/639.46 c 615s| 1370k| 1365k| 0 | 0.0 | 398M|4976 | - |6304 | 764 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
643.60/643.60 c 619s| 1380k| 1375k| 0 | 0.0 | 401M|4976 | - |6304 | 775 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
647.70/647.74 c 623s| 1390k| 1385k| 0 | 0.0 | 403M|4976 | - |6304 | 786 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
651.80/651.86 c 627s| 1400k| 1395k| 0 | 0.0 | 406M|4976 | - |6304 | 771 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
655.91/655.98 c 631s| 1410k| 1405k| 0 | 0.0 | 409M|4976 | - |6304 | 768 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
660.10/660.16 c 635s| 1420k| 1415k| 0 | 0.0 | 412M|4976 | - |6304 | 777 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
664.20/664.30 c 639s| 1430k| 1425k| 0 | 0.0 | 415M|4976 | - |6304 | 770 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
668.40/668.42 c 643s| 1440k| 1435k| 0 | 0.0 | 418M|4976 | - |6304 | 719 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
672.51/672.52 c 647s| 1450k| 1445k| 0 | 0.0 | 421M|4976 | - |6304 | 740 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
676.61/676.64 c 651s| 1460k| 1455k| 0 | 0.0 | 424M|4976 | - |6304 | 694 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
680.71/680.75 c 655s| 1470k| 1465k| 0 | 0.0 | 426M|4976 | - |6304 | 722 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
684.80/684.88 c 659s| 1480k| 1475k| 0 | 0.0 | 429M|4976 | - |6304 | 710 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
689.00/689.00 c 663s| 1490k| 1485k| 0 | 0.0 | 432M|4976 | - |6304 | 725 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
693.01/693.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.01/693.09 c 666s| 1500k| 1495k| 0 | 0.0 | 435M|4976 | - |6304 | 729 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
697.10/697.18 c 670s| 1510k| 1505k| 0 | 0.0 | 438M|4976 | - |6304 | 744 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
701.10/701.17 c 674s| 1520k| 1515k| 0 | 0.0 | 441M|4976 | - |6304 | 714 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
705.20/705.21 c 678s| 1530k| 1525k| 0 | 0.0 | 444M|4976 | - |6304 | 701 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
709.11/709.18 c 682s| 1540k| 1535k| 0 | 0.0 | 447M|4976 | - |6304 | 756 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
713.20/713.24 c 686s| 1550k| 1545k| 0 | 0.0 | 450M|4976 | - |6304 | 743 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
717.21/717.26 c 690s| 1560k| 1555k| 0 | 0.0 | 452M|4976 | - |6304 | 719 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
721.21/721.26 c 694s| 1570k| 1565k| 0 | 0.0 | 455M|4976 | - |6304 | 737 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
725.31/725.30 c 697s| 1580k| 1575k| 0 | 0.0 | 458M|4976 | - |6304 | 716 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
729.21/729.27 c 701s| 1590k| 1584k| 0 | 0.0 | 461M|4976 | - |6304 | 730 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
733.20/733.29 c 705s| 1600k| 1594k| 0 | 0.0 | 464M|4976 | - |6304 | 753 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
737.21/737.28 c 709s| 1610k| 1604k| 0 | 0.0 | 467M|4976 | - |6304 | 709 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
741.20/741.20 c 713s| 1620k| 1614k| 0 | 0.0 | 470M|4976 | - |6304 | 750 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
745.20/745.21 c 716s| 1630k| 1624k| 0 | 0.0 | 473M|4976 | - |6304 | 731 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
749.11/749.17 c 720s| 1640k| 1634k| 0 | 0.0 | 476M|4976 | - |6304 | 723 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
753.11/753.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.11/753.18 c 724s| 1650k| 1644k| 0 | 0.0 | 479M|4976 | - |6304 | 732 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
757.10/757.13 c 728s| 1660k| 1654k| 0 | 0.0 | 481M|4976 | - |6304 | 738 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
761.01/761.08 c 732s| 1670k| 1664k| 0 | 0.0 | 484M|4976 | - |6304 | 742 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
765.01/765.01 c 735s| 1680k| 1674k| 0 | 0.0 | 487M|4976 | - |6304 | 745 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
768.92/768.93 c 739s| 1690k| 1684k| 0 | 0.0 | 490M|4976 | - |6304 | 771 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
772.90/772.92 c 743s| 1700k| 1694k| 0 | 0.0 | 493M|4976 | - |6304 | 731 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
776.90/776.92 c 747s| 1710k| 1704k| 0 | 0.0 | 496M|4976 | - |6304 | 747 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
780.81/780.89 c 750s| 1720k| 1714k| 0 | 0.0 | 499M|4976 | - |6304 | 769 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
784.80/784.89 c 754s| 1730k| 1724k| 0 | 0.0 | 502M|4976 | - |6304 | 741 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
788.91/788.91 c 758s| 1740k| 1734k| 0 | 0.0 | 505M|4976 | - |6304 | 770 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
792.81/792.84 c 762s| 1750k| 1744k| 0 | 0.0 | 507M|4976 | - |6304 | 757 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
796.71/796.72 c 766s| 1760k| 1754k| 0 | 0.0 | 510M|4976 | - |6304 | 781 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
800.61/800.63 c 769s| 1770k| 1764k| 0 | 0.0 | 513M|4976 | - |6304 | 720 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
804.51/804.51 c 773s| 1780k| 1774k| 0 | 0.0 | 516M|4976 | - |6304 | 738 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
808.31/808.40 c 777s| 1790k| 1784k| 0 | 0.0 | 519M|4976 | - |6304 | 733 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
812.31/812.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.31/812.35 c 780s| 1800k| 1794k| 0 | 0.0 | 522M|4976 | - |6304 | 764 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
816.22/816.29 c 784s| 1810k| 1804k| 0 | 0.0 | 525M|4976 | - |6304 | 740 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
820.11/820.13 c 788s| 1820k| 1814k| 0 | 0.0 | 528M|4976 | - |6304 | 707 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
824.01/824.04 c 792s| 1830k| 1823k| 0 | 0.0 | 531M|4976 | - |6304 | 675 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
827.91/827.93 c 795s| 1840k| 1833k| 0 | 0.0 | 534M|4976 | - |6304 | 728 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
831.81/831.81 c 799s| 1850k| 1843k| 0 | 0.0 | 536M|4976 | - |6304 | 709 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
835.71/835.74 c 803s| 1860k| 1853k| 0 | 0.0 | 539M|4976 | - |6304 | 719 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
839.51/839.58 c 807s| 1870k| 1863k| 0 | 0.0 | 542M|4976 | - |6304 | 705 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
843.41/843.47 c 810s| 1880k| 1873k| 0 | 0.0 | 545M|4976 | - |6304 | 766 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
847.31/847.37 c 814s| 1890k| 1883k| 0 | 0.0 | 548M|4976 | - |6304 | 689 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
851.21/851.24 c 818s| 1900k| 1893k| 0 | 0.0 | 551M|4976 | - |6304 | 702 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
855.11/855.11 c 821s| 1910k| 1903k| 0 | 0.0 | 554M|4976 | - |6304 | 696 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
858.91/858.93 c 825s| 1920k| 1913k| 0 | 0.0 | 557M|4976 | - |6304 | 686 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
862.71/862.77 c 829s| 1930k| 1923k| 0 | 0.0 | 560M|4976 | - |6304 | 728 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
866.61/866.60 c 832s| 1940k| 1933k| 0 | 0.0 | 563M|4976 | - |6304 | 701 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
870.41/870.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.41/870.44 c 836s| 1950k| 1943k| 0 | 0.0 | 566M|4976 | - |6304 | 710 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
874.21/874.28 c 840s| 1960k| 1953k| 0 | 0.0 | 568M|4976 | - |6304 | 672 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
878.11/878.14 c 843s| 1970k| 1963k| 0 | 0.0 | 571M|4976 | - |6304 | 704 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
881.91/881.94 c 847s| 1980k| 1973k| 0 | 0.0 | 574M|4976 | - |6304 | 698 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
885.71/885.70 c 850s| 1990k| 1983k| 0 | 0.0 | 577M|4976 | - |6304 | 687 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
889.41/889.48 c 854s| 2000k| 1993k| 0 | 0.0 | 580M|4976 | - |6304 | 675 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
893.22/893.25 c 858s| 2010k| 2003k| 0 | 0.0 | 583M|4976 | - |6304 | 687 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
896.91/896.99 c 861s| 2020k| 2013k| 0 | 0.0 | 586M|4976 | - |6304 | 717 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
900.71/900.72 c 865s| 2030k| 2023k| 0 | 0.0 | 589M|4976 | - |6304 | 654 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
904.51/904.58 c 868s| 2040k| 2033k| 0 | 0.0 | 592M|4976 | - |6304 | 708 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
908.31/908.32 c 872s| 2050k| 2043k| 0 | 0.0 | 595M|4976 | - |6304 | 683 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
912.11/912.13 c 876s| 2060k| 2052k| 0 | 0.0 | 598M|4976 | - |6304 | 718 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
915.82/915.83 c 879s| 2070k| 2062k| 0 | 0.0 | 601M|4976 | - |6304 | 704 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
919.52/919.51 c 883s| 2080k| 2072k| 0 | 0.0 | 604M|4976 | - |6304 | 727 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
923.21/923.24 c 886s| 2090k| 2082k| 0 | 0.0 | 606M|4976 | - |6304 | 673 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
926.81/926.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.81/926.89 c 890s| 2100k| 2092k| 0 | 0.0 | 609M|4976 | - |6304 | 665 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
930.72/930.73 c 893s| 2110k| 2102k| 0 | 0.0 | 612M|4976 | - |6304 | 701 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
934.42/934.43 c 897s| 2120k| 2112k| 0 | 0.0 | 615M|4976 | - |6304 | 678 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
938.12/938.11 c 900s| 2130k| 2122k| 0 | 0.0 | 618M|4976 | - |6304 | 709 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
941.81/941.80 c 904s| 2140k| 2132k| 0 | 0.0 | 621M|4976 | - |6304 | 675 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
945.51/945.51 c 907s| 2150k| 2142k| 0 | 0.0 | 624M|4976 | - |6304 | 676 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
949.22/949.23 c 911s| 2160k| 2152k| 0 | 0.0 | 627M|4976 | - |6304 | 688 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
952.81/952.85 c 914s| 2170k| 2162k| 0 | 0.0 | 630M|4976 | - |6304 | 650 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
956.52/956.52 c 918s| 2180k| 2172k| 0 | 0.0 | 633M|4976 | - |6304 | 685 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
960.11/960.19 c 921s| 2190k| 2182k| 0 | 0.0 | 636M|4976 | - |6304 | 685 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
963.81/963.86 c 925s| 2200k| 2192k| 0 | 0.0 | 639M|4976 | - |6304 | 678 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
967.51/967.51 c 928s| 2210k| 2202k| 0 | 0.0 | 641M|4976 | - |6304 | 687 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
971.12/971.13 c 932s| 2220k| 2212k| 0 | 0.0 | 644M|4976 | - |6304 | 687 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
974.71/974.78 c 935s| 2230k| 2222k| 0 | 0.0 | 647M|4976 | - |6304 | 677 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
978.41/978.43 c 939s| 2240k| 2232k| 0 | 0.0 | 650M|4976 | - |6304 | 655 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
982.11/982.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.11/982.11 c 942s| 2250k| 2242k| 0 | 0.0 | 653M|4976 | - |6304 | 677 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
985.71/985.75 c 946s| 2260k| 2252k| 0 | 0.0 | 656M|4976 | - |6304 | 719 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
989.31/989.33 c 949s| 2270k| 2262k| 0 | 0.0 | 659M|4976 | - |6304 | 674 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
992.92/992.97 c 953s| 2280k| 2272k| 0 | 0.0 | 662M|4976 | - |6304 | 695 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
996.62/996.62 c 956s| 2290k| 2282k| 0 | 0.0 | 665M|4976 | - |6304 | 687 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1000.32/1000.30 c 960s| 2300k| 2291k| 0 | 0.0 | 668M|4976 | - |6304 | 666 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1003.91/1003.97 c 963s| 2310k| 2301k| 0 | 0.0 | 671M|4976 | - |6304 | 687 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1007.62/1007.64 c 966s| 2320k| 2311k| 0 | 0.0 | 674M|4976 | - |6304 | 712 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1011.21/1011.28 c 970s| 2330k| 2321k| 0 | 0.0 | 677M|4976 | - |6304 | 716 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1014.82/1014.85 c 973s| 2340k| 2331k| 0 | 0.0 | 680M|4976 | - |6304 | 655 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1018.41/1018.48 c 977s| 2350k| 2341k| 0 | 0.0 | 683M|4976 | - |6304 | 681 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1022.11/1022.11 c 980s| 2360k| 2351k| 0 | 0.0 | 686M|4976 | - |6304 | 693 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1025.72/1025.73 c 984s| 2370k| 2361k| 0 | 0.0 | 689M|4976 | - |6304 | 689 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1029.41/1029.41 c 987s| 2380k| 2371k| 0 | 0.0 | 692M|4976 | - |6304 | 686 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1033.01/1033.00 c 991s| 2390k| 2381k| 0 | 0.0 | 695M|4976 | - |6304 | 689 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1036.51/1036.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.51/1036.58 c 994s| 2400k| 2391k| 0 | 0.0 | 698M|4976 | - |6304 | 715 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1040.12/1040.10 c 997s| 2410k| 2401k| 0 | 0.0 | 701M|4976 | - |6304 | 669 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1043.61/1043.69 c 1001s| 2420k| 2411k| 0 | 0.0 | 704M|4976 | - |6304 | 688 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1047.22/1047.20 c 1004s| 2430k| 2421k| 0 | 0.0 | 707M|4976 | - |6304 | 702 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1050.71/1050.75 c 1007s| 2440k| 2431k| 0 | 0.0 | 710M|4976 | - |6304 | 711 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1054.22/1054.28 c 1011s| 2450k| 2441k| 0 | 0.0 | 713M|4976 | - |6304 | 710 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1057.81/1057.83 c 1014s| 2460k| 2451k| 0 | 0.0 | 716M|4976 | - |6304 | 669 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1061.21/1061.28 c 1017s| 2470k| 2461k| 0 | 0.0 | 719M|4976 | - |6304 | 699 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1064.72/1064.73 c 1021s| 2480k| 2471k| 0 | 0.0 | 722M|4976 | - |6304 | 690 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1068.22/1068.28 c 1024s| 2490k| 2481k| 0 | 0.0 | 725M|4976 | - |6304 | 748 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1071.82/1071.82 c 1027s| 2500k| 2490k| 0 | 0.0 | 728M|4976 | - |6304 | 712 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1075.31/1075.35 c 1031s| 2510k| 2500k| 0 | 0.0 | 731M|4976 | - |6304 | 682 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1078.82/1078.83 c 1034s| 2520k| 2510k| 0 | 0.0 | 734M|4976 | - |6304 | 708 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1082.32/1082.35 c 1037s| 2530k| 2520k| 0 | 0.0 | 737M|4976 | - |6304 | 678 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1085.82/1085.89 c 1041s| 2540k| 2530k| 0 | 0.0 | 740M|4976 | - |6304 | 694 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1089.42/1089.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.42/1089.41 c 1044s| 2550k| 2540k| 0 | 0.0 | 743M|4976 | - |6304 | 711 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1092.92/1092.94 c 1047s| 2560k| 2550k| 0 | 0.0 | 746M|4976 | - |6304 | 704 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1096.41/1096.43 c 1051s| 2570k| 2560k| 0 | 0.0 | 749M|4976 | - |6304 | 669 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1099.81/1099.89 c 1054s| 2580k| 2570k| 0 | 0.0 | 752M|4976 | - |6304 | 683 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1103.32/1103.32 c 1057s| 2590k| 2580k| 0 | 0.0 | 755M|4976 | - |6304 | 671 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1106.71/1106.77 c 1060s| 2600k| 2590k| 0 | 0.0 | 758M|4976 | - |6304 | 680 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1110.12/1110.17 c 1064s| 2610k| 2600k| 0 | 0.0 | 761M|4976 | - |6304 | 697 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1113.61/1113.61 c 1067s| 2620k| 2610k| 0 | 0.0 | 764M|4976 | - |6304 | 687 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1117.02/1117.09 c 1070s| 2630k| 2620k| 0 | 0.0 | 767M|4976 | - |6304 | 659 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1120.52/1120.53 c 1074s| 2640k| 2630k| 0 | 0.0 | 771M|4976 | - |6304 | 713 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1123.91/1123.99 c 1077s| 2650k| 2640k| 0 | 0.0 | 774M|4976 | - |6304 | 644 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1127.71/1127.75 c 1080s| 2660k| 2649k| 0 | 0.0 | 777M|4976 | - |6304 | 700 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1132.11/1132.13 c 1085s| 2670k| 2659k| 0 | 0.0 | 781M|4976 | - |6304 | 682 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1136.41/1136.46 c 1089s| 2680k| 2669k| 0 | 0.0 | 785M|4976 | - |6304 | 661 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1140.72/1140.79 c 1093s| 2690k| 2679k| 0 | 0.0 | 789M|4976 | - |6304 | 699 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1145.13/1145.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.13/1145.11 c 1097s| 2700k| 2689k| 0 | 0.0 | 793M|4976 | - |6304 | 668 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1149.32/1149.36 c 1101s| 2710k| 2699k| 0 | 0.0 | 797M|4976 | - |6304 | 667 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1153.62/1153.65 c 1105s| 2720k| 2708k| 0 | 0.0 | 801M|4976 | - |6304 | 670 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1157.82/1157.85 c 1109s| 2730k| 2718k| 0 | 0.0 | 806M|4976 | - |6304 | 668 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1162.02/1162.05 c 1113s| 2740k| 2728k| 0 | 0.0 | 810M|4976 | - |6304 | 702 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1166.22/1166.20 c 1117s| 2750k| 2738k| 0 | 0.0 | 814M|4976 | - |6304 | 672 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1170.32/1170.33 c 1121s| 2760k| 2748k| 0 | 0.0 | 818M|4976 | - |6304 | 694 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1174.31/1174.38 c 1125s| 2770k| 2757k| 0 | 0.0 | 822M|4976 | - |6304 | 681 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1178.32/1178.39 c 1129s| 2780k| 2767k| 0 | 0.0 | 826M|4976 | - |6304 | 655 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1182.32/1182.40 c 1133s| 2790k| 2777k| 0 | 0.0 | 830M|4976 | - |6304 | 672 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1186.32/1186.39 c 1136s| 2800k| 2787k| 0 | 0.0 | 834M|4976 | - |6304 | 669 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1190.22/1190.28 c 1140s| 2810k| 2797k| 0 | 0.0 | 839M|4976 | - |6304 | 685 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1194.11/1194.19 c 1144s| 2820k| 2807k| 0 | 0.0 | 843M|4976 | - |6304 | 682 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1198.02/1198.08 c 1148s| 2830k| 2816k| 0 | 0.0 | 847M|4976 | - |6304 | 684 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1201.82/1201.87 c 1151s| 2840k| 2826k| 0 | 0.0 | 851M|4976 | - |6304 | 659 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1205.62/1205.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.62/1205.66 c 1155s| 2850k| 2836k| 0 | 0.0 | 855M|4976 | - |6304 | 666 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1209.32/1209.40 c 1158s| 2860k| 2846k| 0 | 0.0 | 859M|4976 | - |6304 | 694 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1213.12/1213.15 c 1162s| 2870k| 2856k| 0 | 0.0 | 863M|4976 | - |6304 | 703 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1216.82/1216.88 c 1165s| 2880k| 2865k| 0 | 0.0 | 867M|4976 | - |6304 | 673 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1220.52/1220.55 c 1169s| 2890k| 2875k| 0 | 0.0 | 871M|4976 | - |6304 | 679 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1224.12/1224.17 c 1172s| 2900k| 2885k| 0 | 0.0 | 875M|4976 | - |6304 | 674 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1227.72/1227.76 c 1176s| 2910k| 2895k| 0 | 0.0 | 880M|4976 | - |6304 | 656 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1231.32/1231.32 c 1179s| 2920k| 2905k| 0 | 0.0 | 884M|4976 | - |6304 | 680 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1234.82/1234.86 c 1182s| 2930k| 2914k| 0 | 0.0 | 888M|4976 | - |6304 | 687 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1238.32/1238.38 c 1186s| 2940k| 2924k| 0 | 0.0 | 892M|4976 | - |6304 | 683 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1241.83/1241.87 c 1189s| 2950k| 2934k| 0 | 0.0 | 896M|4976 | - |6304 | 677 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1245.32/1245.30 c 1192s| 2960k| 2944k| 0 | 0.0 | 900M|4976 | - |6304 | 674 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1248.72/1248.73 c 1196s| 2970k| 2954k| 0 | 0.0 | 904M|4976 | - |6304 | 689 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1252.12/1252.11 c 1199s| 2980k| 2964k| 0 | 0.0 | 908M|4976 | - |6304 | 667 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1255.42/1255.44 c 1202s| 2990k| 2973k| 0 | 0.0 | 912M|4976 | - |6304 | 682 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1258.72/1258.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.72/1258.75 c 1205s| 3000k| 2983k| 0 | 0.0 | 916M|4976 | - |6304 | 682 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1262.02/1262.03 c 1208s| 3010k| 2993k| 0 | 0.0 | 920M|4976 | - |6304 | 704 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1265.22/1265.29 c 1211s| 3020k| 3003k| 0 | 0.0 | 924M|4976 | - |6304 | 684 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1268.52/1268.51 c 1214s| 3030k| 3013k| 0 | 0.0 | 928M|4976 | - |6304 | 671 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1271.72/1271.71 c 1217s| 3040k| 3022k| 0 | 0.0 | 932M|4976 | - |6304 | 679 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1274.83/1274.85 c 1220s| 3050k| 3032k| 0 | 0.0 | 936M|4976 | - |6304 | 689 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1278.02/1278.03 c 1223s| 3060k| 3042k| 0 | 0.0 | 940M|4976 | - |6304 | 675 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1281.13/1281.11 c 1226s| 3070k| 3052k| 0 | 0.0 | 944M|4976 | - |6304 | 673 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1284.12/1284.15 c 1229s| 3080k| 3062k| 0 | 0.0 | 948M|4976 | - |6304 | 668 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1287.12/1287.17 c 1232s| 3090k| 3071k| 0 | 0.0 | 952M|4976 | - |6304 | 649 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1290.12/1290.16 c 1234s| 3100k| 3081k| 0 | 0.0 | 957M|4976 | - |6304 | 652 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1293.12/1293.12 c 1237s| 3110k| 3091k| 0 | 0.0 | 961M|4976 | - |6304 | 672 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1296.02/1296.07 c 1240s| 3120k| 3101k| 0 | 0.0 | 965M|4976 | - |6304 | 661 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1298.92/1298.98 c 1243s| 3130k| 3111k| 0 | 0.0 | 969M|4976 | - |6304 | 670 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1301.82/1301.88 c 1245s| 3140k| 3120k| 0 | 0.0 | 973M|4976 | - |6304 | 666 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1304.72/1304.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.72/1304.73 c 1248s| 3150k| 3130k| 0 | 0.0 | 977M|4976 | - |6304 | 677 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1307.52/1307.53 c 1251s| 3160k| 3140k| 0 | 0.0 | 981M|4976 | - |6304 | 681 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1310.22/1310.29 c 1253s| 3170k| 3150k| 0 | 0.0 | 985M|4976 | - |6304 | 648 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1313.02/1313.03 c 1256s| 3180k| 3160k| 0 | 0.0 | 989M|4976 | - |6304 | 661 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1315.72/1315.73 c 1258s| 3190k| 3170k| 0 | 0.0 | 993M|4976 | - |6304 | 678 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1318.42/1318.42 c 1261s| 3200k| 3179k| 0 | 0.0 | 997M|4976 | - |6304 | 675 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1321.03/1321.08 c 1263s| 3210k| 3189k| 0 | 0.0 |1001M|4976 | - |6304 | 667 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1323.62/1323.68 c 1266s| 3220k| 3199k| 0 | 0.0 |1005M|4976 | - |6304 | 659 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1326.22/1326.28 c 1268s| 3230k| 3209k| 0 | 0.0 |1009M|4976 | - |6304 | 693 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1328.83/1328.87 c 1271s| 3240k| 3219k| 0 | 0.0 |1013M|4976 | - |6304 | 685 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1331.43/1331.42 c 1273s| 3250k| 3228k| 0 | 0.0 |1017M|4976 | - |6304 | 656 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1333.92/1333.90 c 1275s| 3260k| 3238k| 0 | 0.0 |1021M|4976 | - |6304 | 679 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1336.43/1336.41 c 1278s| 3270k| 3248k| 0 | 0.0 |1025M|4976 | - |6304 | 684 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1338.82/1338.83 c 1280s| 3280k| 3258k| 0 | 0.0 |1029M|4976 | - |6304 | 671 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1341.22/1341.21 c 1282s| 3290k| 3268k| 0 | 0.0 |1033M|4976 | - |6304 | 693 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1343.63/1343.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.63/1343.60 c 1284s| 3300k| 3278k| 0 | 0.0 |1037M|4976 | - |6304 | 692 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1345.82/1345.84 c 1286s| 3310k| 3287k| 0 | 0.0 |1042M|4976 | - |6304 | 805 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1348.12/1348.14 c 1288s| 3320k| 3297k| 0 | 0.0 |1047M|4976 | - |6304 |1074 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1350.73/1350.76 c 1291s| 3330k| 3306k| 0 | 0.0 |1055M|4976 | - |6304 |2740 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1355.23/1355.24 c 1295s| 3340k| 3316k| 0 | 0.0 |1058M|4976 | - |6304 |2141 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1359.63/1359.64 c 1299s| 3350k| 3326k| 0 | 0.0 |1060M|4976 | - |6304 | 730 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1364.03/1364.06 c 1303s| 3360k| 3336k| 0 | 0.0 |1062M|4976 | - |6304 | 686 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1368.53/1368.51 c 1308s| 3370k| 3346k| 0 | 0.0 |1065M|4976 | - |6304 | 677 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1372.92/1372.93 c 1312s| 3380k| 3356k| 0 | 0.0 |1068M|4976 | - |6304 | 695 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1377.32/1377.37 c 1316s| 3390k| 3366k| 0 | 0.0 |1070M|4976 | - |6304 | 708 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1381.72/1381.79 c 1320s| 3400k| 3376k| 0 | 0.0 |1073M|4976 | - |6304 | 717 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1386.22/1386.23 c 1325s| 3410k| 3386k| 0 | 0.0 |1076M|4976 | - |6304 | 729 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1390.62/1390.68 c 1329s| 3420k| 3396k| 0 | 0.0 |1079M|4976 | - |6304 | 750 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1395.22/1395.24 c 1333s| 3430k| 3406k| 0 | 0.0 |1081M|4976 | - |6304 | 756 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1399.82/1399.85 c 1338s| 3440k| 3416k| 0 | 0.0 |1084M|4976 | - |6304 | 788 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1404.42/1404.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.42/1404.41 c 1342s| 3450k| 3426k| 0 | 0.0 |1087M|4976 | - |6304 | 765 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1408.92/1408.94 c 1347s| 3460k| 3436k| 0 | 0.0 |1090M|4976 | - |6304 | 780 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1413.43/1413.49 c 1351s| 3470k| 3445k| 0 | 0.0 |1093M|4976 | - |6304 | 798 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1418.03/1418.06 c 1355s| 3480k| 3455k| 0 | 0.0 |1095M|4976 | - |6304 | 807 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1422.62/1422.64 c 1360s| 3490k| 3465k| 0 | 0.0 |1098M|4976 | - |6304 | 833 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1427.22/1427.28 c 1364s| 3500k| 3475k| 0 | 0.0 |1101M|4976 | - |6304 | 799 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1431.83/1431.86 c 1369s| 3510k| 3485k| 0 | 0.0 |1104M|4976 | - |6304 | 814 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1436.53/1436.56 c 1373s| 3520k| 3495k| 0 | 0.0 |1107M|4976 | - |6304 | 837 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1441.12/1441.17 c 1378s| 3530k| 3505k| 0 | 0.0 |1109M|4976 | - |6304 | 826 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1445.73/1445.74 c 1382s| 3540k| 3515k| 0 | 0.0 |1112M|4976 | - |6304 | 828 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1450.32/1450.36 c 1386s| 3550k| 3525k| 0 | 0.0 |1115M|4976 | - |6304 | 860 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1454.93/1454.96 c 1391s| 3560k| 3535k| 0 | 0.0 |1118M|4976 | - |6304 | 847 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1459.53/1459.57 c 1395s| 3570k| 3545k| 0 | 0.0 |1121M|4976 | - |6304 | 859 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1464.13/1464.12 c 1400s| 3580k| 3555k| 0 | 0.0 |1123M|4976 | - |6304 | 843 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1468.73/1468.71 c 1404s| 3590k| 3565k| 0 | 0.0 |1126M|4976 | - |6304 | 852 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1473.33/1473.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.33/1473.37 c 1408s| 3600k| 3575k| 0 | 0.0 |1129M|4976 | - |6304 | 868 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1477.93/1477.97 c 1413s| 3610k| 3585k| 0 | 0.0 |1132M|4976 | - |6304 | 876 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1482.52/1482.56 c 1417s| 3620k| 3595k| 0 | 0.0 |1135M|4976 | - |6304 | 844 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1487.14/1487.19 c 1422s| 3630k| 3605k| 0 | 0.0 |1137M|4976 | - |6304 | 860 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1491.83/1491.80 c 1426s| 3640k| 3615k| 0 | 0.0 |1140M|4976 | - |6304 | 845 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1496.33/1496.38 c 1431s| 3650k| 3625k| 0 | 0.0 |1143M|4976 | - |6304 | 803 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1500.93/1500.99 c 1435s| 3660k| 3635k| 0 | 0.0 |1146M|4976 | - |6304 | 809 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1505.63/1505.60 c 1439s| 3670k| 3645k| 0 | 0.0 |1149M|4976 | - |6304 | 821 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1510.23/1510.24 c 1444s| 3680k| 3655k| 0 | 0.0 |1151M|4976 | - |6304 | 809 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1514.82/1514.88 c 1448s| 3690k| 3665k| 0 | 0.0 |1154M|4976 | - |6304 | 810 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1519.43/1519.49 c 1453s| 3700k| 3675k| 0 | 0.0 |1157M|4976 | - |6304 | 850 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1524.12/1524.14 c 1457s| 3710k| 3685k| 0 | 0.0 |1160M|4976 | - |6304 | 823 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1528.63/1528.69 c 1462s| 3720k| 3695k| 0 | 0.0 |1162M|4976 | - |6304 | 811 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1533.23/1533.28 c 1466s| 3730k| 3705k| 0 | 0.0 |1165M|4976 | - |6304 | 799 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1537.84/1537.89 c 1471s| 3740k| 3715k| 0 | 0.0 |1168M|4976 | - |6304 | 844 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1542.43/1542.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.43/1542.47 c 1475s| 3750k| 3725k| 0 | 0.0 |1171M|4976 | - |6304 | 841 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1547.13/1547.11 c 1479s| 3760k| 3735k| 0 | 0.0 |1174M|4976 | - |6304 | 861 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1551.63/1551.67 c 1484s| 3770k| 3745k| 0 | 0.0 |1176M|4976 | - |6304 | 859 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1556.23/1556.27 c 1488s| 3780k| 3755k| 0 | 0.0 |1179M|4976 | - |6304 | 859 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1560.94/1560.93 c 1493s| 3790k| 3764k| 0 | 0.0 |1182M|4976 | - |6304 | 863 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1565.53/1565.55 c 1497s| 3800k| 3774k| 0 | 0.0 |1185M|4976 | - |6304 | 848 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1570.13/1570.19 c 1501s| 3810k| 3784k| 0 | 0.0 |1187M|4976 | - |6304 | 865 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1574.83/1574.80 c 1506s| 3820k| 3794k| 0 | 0.0 |1190M|4976 | - |6304 | 850 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1579.43/1579.42 c 1510s| 3830k| 3804k| 0 | 0.0 |1193M|4976 | - |6304 | 872 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1584.04/1584.01 c 1515s| 3840k| 3814k| 0 | 0.0 |1196M|4976 | - |6304 | 875 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1588.63/1588.63 c 1519s| 3850k| 3824k| 0 | 0.0 |1198M|4976 | - |6304 | 856 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1593.23/1593.20 c 1524s| 3860k| 3834k| 0 | 0.0 |1201M|4976 | - |6304 | 839 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1597.83/1597.81 c 1528s| 3870k| 3844k| 0 | 0.0 |1204M|4976 | - |6304 | 847 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1602.43/1602.44 c 1532s| 3880k| 3854k| 0 | 0.0 |1207M|4976 | - |6304 | 841 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1607.04/1607.03 c 1537s| 3890k| 3864k| 0 | 0.0 |1209M|4976 | - |6304 | 878 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1611.63/1611.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.63/1611.63 c 1541s| 3900k| 3874k| 0 | 0.0 |1212M|4976 | - |6304 | 867 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1616.23/1616.27 c 1546s| 3910k| 3884k| 0 | 0.0 |1215M|4976 | - |6304 | 863 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1620.93/1620.90 c 1550s| 3920k| 3894k| 0 | 0.0 |1218M|4976 | - |6304 | 858 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1625.53/1625.54 c 1555s| 3930k| 3904k| 0 | 0.0 |1220M|4976 | - |6304 | 858 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1630.13/1630.18 c 1559s| 3940k| 3914k| 0 | 0.0 |1223M|4976 | - |6304 | 854 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1634.83/1634.80 c 1564s| 3950k| 3924k| 0 | 0.0 |1226M|4976 | - |6304 | 905 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1639.33/1639.38 c 1568s| 3960k| 3934k| 0 | 0.0 |1229M|4976 | - |6304 | 864 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1644.03/1644.05 c 1572s| 3970k| 3944k| 0 | 0.0 |1231M|4976 | - |6304 | 852 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1648.63/1648.64 c 1577s| 3980k| 3954k| 0 | 0.0 |1234M|4976 | - |6304 | 886 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1653.14/1653.19 c 1581s| 3990k| 3964k| 0 | 0.0 |1237M|4976 | - |6304 | 878 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1657.83/1657.82 c 1586s| 4000k| 3974k| 0 | 0.0 |1240M|4976 | - |6304 | 905 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1662.43/1662.43 c 1590s| 4010k| 3984k| 0 | 0.0 |1242M|4976 | - |6304 | 874 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1667.03/1667.04 c 1595s| 4020k| 3994k| 0 | 0.0 |1245M|4976 | - |6304 | 868 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1671.63/1671.68 c 1599s| 4030k| 4004k| 0 | 0.0 |1248M|4976 | - |6304 | 874 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1676.23/1676.27 c 1603s| 4040k| 4014k| 0 | 0.0 |1251M|4976 | - |6304 | 862 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1680.84/1680.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.84/1680.89 c 1608s| 4050k| 4024k| 0 | 0.0 |1253M|4976 | - |6304 | 857 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1685.53/1685.50 c 1612s| 4060k| 4034k| 0 | 0.0 |1256M|4976 | - |6304 | 874 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1690.13/1690.16 c 1617s| 4070k| 4044k| 0 | 0.0 |1259M|4976 | - |6304 | 871 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1694.73/1694.77 c 1621s| 4080k| 4054k| 0 | 0.0 |1262M|4976 | - |6304 | 861 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1699.33/1699.36 c 1626s| 4090k| 4064k| 0 | 0.0 |1265M|4976 | - |6304 | 866 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1703.94/1703.94 c 1630s| 4100k| 4074k| 0 | 0.0 |1267M|4976 | - |6304 | 867 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1708.54/1708.55 c 1634s| 4110k| 4084k| 0 | 0.0 |1270M|4976 | - |6304 | 873 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1713.14/1713.13 c 1639s| 4120k| 4094k| 0 | 0.0 |1273M|4976 | - |6304 | 874 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1717.73/1717.77 c 1643s| 4130k| 4103k| 0 | 0.0 |1276M|4976 | - |6304 | 886 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1722.33/1722.38 c 1648s| 4140k| 4113k| 0 | 0.0 |1278M|4976 | - |6304 | 873 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1726.94/1726.99 c 1652s| 4150k| 4123k| 0 | 0.0 |1281M|4976 | - |6304 | 870 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1731.63/1731.63 c 1657s| 4160k| 4133k| 0 | 0.0 |1284M|4976 | - |6304 | 879 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1736.24/1736.23 c 1661s| 4170k| 4143k| 0 | 0.0 |1287M|4976 | - |6304 | 842 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1740.73/1740.79 c 1665s| 4180k| 4153k| 0 | 0.0 |1289M|4976 | - |6304 | 858 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1745.43/1745.45 c 1670s| 4190k| 4163k| 0 | 0.0 |1292M|4976 | - |6304 | 838 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1750.03/1750.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.03/1750.05 c 1674s| 4200k| 4173k| 0 | 0.0 |1295M|4976 | - |6304 | 883 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1754.64/1754.64 c 1679s| 4210k| 4183k| 0 | 0.0 |1298M|4976 | - |6304 | 848 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1759.23/1759.27 c 1683s| 4220k| 4193k| 0 | 0.0 |1301M|4976 | - |6304 | 868 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1763.93/1763.91 c 1688s| 4230k| 4203k| 0 | 0.0 |1303M|4976 | - |6304 | 850 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1768.53/1768.51 c 1692s| 4240k| 4213k| 0 | 0.0 |1306M|4976 | - |6304 | 843 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1773.14/1773.11 c 1697s| 4250k| 4223k| 0 | 0.0 |1309M|4976 | - |6304 | 857 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1777.73/1777.76 c 1701s| 4260k| 4233k| 0 | 0.0 |1312M|4976 | - |6304 | 835 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1782.43/1782.40 c 1706s| 4270k| 4243k| 0 | 0.0 |1314M|4976 | - |6304 | 847 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1787.03/1787.05 c 1710s| 4280k| 4253k| 0 | 0.0 |1317M|4976 | - |6304 | 851 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1791.63/1791.64 c 1714s| 4290k| 4263k| 0 | 0.0 |1320M|4976 | - |6304 | 819 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1796.24/1796.25 c 1719s| 4300k| 4273k| 0 | 0.0 |1323M|4976 | - |6304 | 828 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1722.37
1800.04/1800.00 c Solving Nodes : 4308119
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1722.37
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693709-1277890041.wbo
1800.04/1800.00 c Variables : 6304 (6152 binary, 0 integer, 0 implicit integer, 152 continuous)
1800.04/1800.00 c Constraints : 373 initial, 373 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693709-1277890041.wbo
1800.04/1800.00 c Variables : 6304 (6152 binary, 0 integer, 0 implicit integer, 152 continuous)
1800.04/1800.00 c Constraints : 372 initial, 2796 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 152 0 1 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 152 0 5313 0 5034 0 220 0 0 0
1800.04/1800.00 c setppc : 30 0 4565799 0 4295605 8512 3895085 0 0 0
1800.04/1800.00 c linear : 152 0 4557287 0 4295605 4597 1427673 0 0 0
1800.04/1800.00 c logicor : 38+ 0 581237 0 4295605 660 87709 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 4295605 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c setppc : 112.51 0.00 14.47 0.00 98.04
1800.04/1800.00 c linear : 51.84 0.00 51.58 0.00 0.26
1800.04/1800.00 c logicor : 92.08 0.00 3.79 0.00 88.29
1800.04/1800.00 c countsols : 0.02 0.00 0.00 0.00 0.02
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.03 2 0 0
1800.04/1800.00 c rootredcost : 0.03 0 0 0
1800.04/1800.00 c pseudoobj : 17.11 4565599 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 40.40 13769 13769 235186 416.1 213768 47.3 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 136241 56.2 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 1409.06 4295605 0 0 0 0 8591210
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.04 0 0
1800.04/1800.00 c trivial : 0.01 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.07 0 0
1800.04/1800.00 c trysol : 0.02 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 4308119
1800.04/1800.00 c nodes (total) : 4308119
1800.04/1800.00 c nodes left : 4281593
1800.04/1800.00 c max depth : 4976
1800.04/1800.00 c max depth (total): 4976
1800.04/1800.00 c backtracks : 5614 (0.1%)
1800.04/1800.00 c delayed cutoffs : 1499
1800.04/1800.00 c repropagations : 9288 (148729 domain reductions, 1255 cutoffs)
1800.04/1800.00 c avg switch length: 2.21
1800.04/1800.00 c switching time : 19.20
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693709-1277890041/watcher-2693709-1277890041 -o /tmp/evaluation-result-2693709-1277890041/solver-2693709-1277890041 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693709-1277890041.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.48 2.63 3.06 4/186 10532
/proc/meminfo: memFree=31161576/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=8796 CPUtime=0
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 1688 0 0 0 0 0 0 0 23 0 1 0 130300827 9007104 1610 4089446400 4194304 7136930 140736436350144 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10532/statm: 2294 1615 275 719 0 1573 0
[startup+0.060511 s]
/proc/loadavg: 2.48 2.63 3.06 4/186 10532
/proc/meminfo: memFree=31161576/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=24780 CPUtime=0.05
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 7181 0 0 0 5 0 0 0 23 0 1 0 130300827 25374720 5464 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10532/statm: 6195 5464 370 719 0 5474 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24780
[startup+0.100506 s]
/proc/loadavg: 2.48 2.63 3.06 4/186 10532
/proc/meminfo: memFree=31161576/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=26268 CPUtime=0.09
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 7485 0 0 0 9 0 0 0 18 0 1 0 130300827 26898432 5768 4089446400 4194304 7136930 140736436350144 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10532/statm: 6567 5768 390 719 0 5846 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26268
[startup+0.300406 s]
/proc/loadavg: 2.48 2.63 3.06 4/186 10532
/proc/meminfo: memFree=31161576/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=26784 CPUtime=0.29
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 7624 0 0 0 29 0 0 0 18 0 1 0 130300827 27426816 5907 4089446400 4194304 7136930 140736436350144 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10532/statm: 6696 5907 390 719 0 5975 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26784
[startup+0.700411 s]
/proc/loadavg: 2.48 2.63 3.06 4/186 10532
/proc/meminfo: memFree=31161576/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=27300 CPUtime=0.69
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 7778 0 0 0 68 1 0 0 18 0 1 0 130300827 27955200 6061 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10532/statm: 6825 6061 390 719 0 6104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27300
[startup+1.50028 s]
/proc/loadavg: 2.48 2.63 3.06 3/187 10533
/proc/meminfo: memFree=31139000/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=28972 CPUtime=1.49
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 8182 0 0 0 146 3 0 0 20 0 1 0 130300827 29667328 6465 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10532/statm: 7243 6465 390 719 0 6522 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28972
[startup+3.10099 s]
/proc/loadavg: 2.48 2.63 3.06 3/187 10533
/proc/meminfo: memFree=31136900/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=30340 CPUtime=3.09
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 8539 0 0 0 303 6 0 0 25 0 1 0 130300827 31068160 6822 4089446400 4194304 7136930 140736436350144 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10532/statm: 7585 6822 394 719 0 6864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30340
[startup+6.30029 s]
/proc/loadavg: 2.45 2.62 3.05 3/187 10533
/proc/meminfo: memFree=31134172/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=32948 CPUtime=6.29
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 9222 0 0 0 618 11 0 0 25 0 1 0 130300827 33738752 7505 4089446400 4194304 7136930 140736436350144 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10532/statm: 8237 7505 394 719 0 7516 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32948
[startup+12.7001 s]
/proc/loadavg: 2.41 2.61 3.04 3/187 10533
/proc/meminfo: memFree=31129200/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=38332 CPUtime=12.69
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 10630 0 0 0 1250 19 0 0 25 0 1 0 130300827 39251968 8913 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10532/statm: 9583 8913 394 719 0 8862 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38332
[startup+25.5009 s]
/proc/loadavg: 3.39 2.81 3.10 10/187 10534
/proc/meminfo: memFree=30892856/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=41800 CPUtime=25.49
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 11518 0 0 0 2520 29 0 0 25 0 1 0 130300827 42803200 9801 4089446400 4194304 7136930 140736436350144 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10532/statm: 10450 9801 394 719 0 9729 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41800
[startup+51.1004 s]
/proc/loadavg: 4.66 3.17 3.21 2/174 10598
/proc/meminfo: memFree=31445404/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=47840 CPUtime=51.09
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 13094 0 0 0 5062 47 0 0 25 0 1 0 130300827 48988160 11377 4089446400 4194304 7136930 140736436350144 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 11960 11377 394 719 0 11239 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 47840
[startup+102.306 s]
/proc/loadavg: 3.16 2.99 3.15 3/179 10664
/proc/meminfo: memFree=31313616/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=84952 CPUtime=102.29
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 22282 0 0 0 9984 245 0 0 25 0 1 0 130300827 86990848 20565 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 21238 20565 394 719 0 20517 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 84952
[startup+162.301 s]
/proc/loadavg: 2.42 2.81 3.07 3/179 10665
/proc/meminfo: memFree=31197880/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=127720 CPUtime=162.3
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 32402 0 0 0 15757 473 0 0 25 0 1 0 130300827 130785280 30685 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 31930 30685 394 719 0 31209 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 127720
[startup+222.301 s]
/proc/loadavg: 2.15 2.66 3.00 3/179 10667
/proc/meminfo: memFree=31071332/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=165112 CPUtime=222.29
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 42183 0 0 0 21522 707 0 0 25 0 1 0 130300827 169074688 40466 4089446400 4194304 7136930 140736436350144 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 41278 40466 394 719 0 40557 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 165112
[startup+282.3 s]
/proc/loadavg: 2.05 2.53 2.94 3/179 10671
/proc/meminfo: memFree=30959304/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=213056 CPUtime=282.3
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 52597 0 0 0 27289 941 0 0 25 0 1 0 130300827 218169344 50880 4089446400 4194304 7136930 140736436350144 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 53264 50880 394 719 0 52543 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 213056
[startup+342.3 s]
/proc/loadavg: 2.02 2.43 2.88 3/179 10673
/proc/meminfo: memFree=30849504/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=252764 CPUtime=342.3
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 63021 0 0 0 33050 1180 0 0 25 0 1 0 130300827 258830336 61304 4089446400 4194304 7136930 140736436350144 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 63191 61304 394 719 0 62470 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 252764
[startup+402.301 s]
/proc/loadavg: 2.00 2.35 2.82 3/179 10675
/proc/meminfo: memFree=30745512/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=290024 CPUtime=402.3
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 72835 0 0 0 38804 1426 0 0 25 0 1 0 130300827 296984576 71118 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 72506 71118 394 719 0 71785 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 290024
[startup+462.301 s]
/proc/loadavg: 2.00 2.29 2.77 3/179 10676
/proc/meminfo: memFree=30632480/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=330076 CPUtime=462.3
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 83326 0 0 0 44552 1678 0 0 25 0 1 0 130300827 337997824 81609 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 82519 81609 394 719 0 81798 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 330076
[startup+522.3 s]
/proc/loadavg: 2.00 2.23 2.71 3/179 10678
/proc/meminfo: memFree=30520048/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=387644 CPUtime=522.3
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 94158 0 0 0 50305 1925 0 0 25 0 1 0 130300827 396947456 92441 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 96911 92441 394 719 0 96190 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 387644
[startup+582.301 s]
/proc/loadavg: 2.00 2.19 2.67 3/179 10679
/proc/meminfo: memFree=30406876/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=429084 CPUtime=582.3
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 105056 0 0 0 56046 2184 0 0 25 0 1 0 130300827 439382016 103339 4089446400 4194304 7136930 140736436350144 18446744073709551615 4436471 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 107271 103339 394 719 0 106550 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 429084
[startup+642.301 s]
/proc/loadavg: 2.00 2.15 2.62 3/179 10681
/proc/meminfo: memFree=30294472/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=471248 CPUtime=642.31
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 116115 0 0 0 61798 2433 0 0 25 0 1 0 130300827 482557952 114398 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 117812 114398 394 719 0 117091 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 471248
[startup+702.3 s]
################
# More data... #
################
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 188579 0 0 0 96141 4091 0 0 25 0 1 0 130300827 799039488 186862 4089446400 4194304 7136930 140736436350144 18446744073709551615 4643136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 195078 186862 394 719 0 194357 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 780312
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.38 3/179 10692
/proc/meminfo: memFree=29484228/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=832500 CPUtime=1062.32
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 202157 0 0 0 101836 4396 0 0 25 0 1 0 130300827 852480000 200440 4089446400 4194304 7136930 140736436350144 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 208125 200440 394 719 0 207404 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 832500
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.35 3/179 10694
/proc/meminfo: memFree=29355552/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=888472 CPUtime=1122.32
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 216640 0 0 0 107523 4709 0 0 25 0 1 0 130300827 909795328 214923 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 222118 214923 394 719 0 221397 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 888472
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.33 3/179 10695
/proc/meminfo: memFree=29226500/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=948024 CPUtime=1182.32
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 231879 0 0 0 113252 4980 0 0 25 0 1 0 130300827 970776576 230162 4089446400 4194304 7136930 140736436350144 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 237006 230162 394 719 0 236285 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 948024
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/179 10697
/proc/meminfo: memFree=29088424/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1017160 CPUtime=1242.32
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 249397 0 0 0 118949 5283 0 0 25 0 1 0 130300827 1041571840 247680 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 254290 247680 394 719 0 253569 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1017160
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.28 3/179 10699
/proc/meminfo: memFree=28939908/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1094708 CPUtime=1302.33
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 269199 0 0 0 124583 5650 0 0 25 0 1 0 130300827 1120980992 267482 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 273677 267482 394 719 0 272956 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1094708
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/179 10700
/proc/meminfo: memFree=28777392/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1192936 CPUtime=1362.32
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 294111 0 0 0 130176 6056 0 0 25 0 1 0 130300827 1221566464 292394 4089446400 4194304 7136930 140736436350144 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 298234 292394 394 719 0 297513 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1192936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 10702
/proc/meminfo: memFree=28665704/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1230712 CPUtime=1422.33
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 304052 0 0 0 135937 6296 0 0 25 0 1 0 130300827 1260249088 302335 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 307678 302335 394 719 0 306957 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1230712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 10703
/proc/meminfo: memFree=28561968/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1267044 CPUtime=1482.33
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 313657 0 0 0 141704 6529 0 0 25 0 1 0 130300827 1297453056 311940 4089446400 4194304 7136930 140736436350144 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 316761 311940 394 719 0 316040 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1267044
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/179 10705
/proc/meminfo: memFree=28455384/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1303464 CPUtime=1542.33
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 323219 0 0 0 147477 6756 0 0 25 0 1 0 130300827 1334747136 321502 4089446400 4194304 7136930 140736436350144 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 325866 321502 394 719 0 325145 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1303464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/179 10707
/proc/meminfo: memFree=28354248/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1338576 CPUtime=1602.33
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 332470 0 0 0 153236 6997 0 0 25 0 1 0 130300827 1370701824 330753 4089446400 4194304 7136930 140736436350144 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 334644 330753 394 719 0 333923 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1338576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/179 10708
/proc/meminfo: memFree=28244296/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1374656 CPUtime=1662.34
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 342018 0 0 0 158999 7235 0 0 25 0 1 0 130300827 1407647744 340301 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 343664 340301 394 719 0 342943 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1374656
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 10710
/proc/meminfo: memFree=28144908/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1408512 CPUtime=1722.33
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 350949 0 0 0 164766 7467 0 0 25 0 1 0 130300827 1442316288 349232 4089446400 4194304 7136930 140736436350144 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 352128 349232 394 719 0 351407 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1408512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 10711
/proc/meminfo: memFree=28037704/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1509924 CPUtime=1782.34
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 360430 0 0 0 170541 7693 0 0 25 0 1 0 130300827 1546162176 358713 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 377481 358713 394 719 0 376760 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1509924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 10712
/proc/meminfo: memFree=28004456/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1520036 CPUtime=1800.04
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 363080 0 0 0 172238 7766 0 0 25 0 1 0 130300827 1556516864 361363 4089446400 4194304 7136930 140736436350144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10532/statm: 380009 361363 394 719 0 379288 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1520036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10532
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 10713
/proc/meminfo: memFree=28003828/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1519072 CPUtime=1801.44
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 363116 0 0 0 172378 7766 0 0 19 0 1 0 130300827 1555529728 361141 4089446400 4194304 7136930 140736436350144 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10532/statm: 379768 361141 399 719 0 379047 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1519072
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 10713
/proc/meminfo: memFree=28003452/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1518088 CPUtime=1801.84
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 363128 0 0 0 172418 7766 0 0 20 0 1 0 130300827 1554522112 360895 4089446400 4194304 7136930 140736436350144 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10532/statm: 379522 360895 399 719 0 378801 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1518088
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 10713
/proc/meminfo: memFree=28003452/32950904 swapFree=67111528/67111528
[pid=10532] ppid=10530 vsize=1517572 CPUtime=1802.04
/proc/10532/stat : 10532 (pbscip.linux.x8) R 10530 10532 9818 0 -1 4202496 363128 0 0 0 172438 7766 0 0 21 0 1 0 130300827 1553993728 360766 4089446400 4194304 7136930 140736436350144 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10532/statm: 379393 360766 399 719 0 378672 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1517572
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.1
CPU user time (s): 1724.39
CPU system time (s): 77.7082
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1520088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.39
system time used= 77.7082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1440
runsolver used 2.6206 second user time and 5.62914 second system time
The end
Begin job on node121 at 2010-06-30 11:27:21
IDJOB=2693709
IDBENCH=78677
IDSOLVER=1206
FILE ID=node121/2693709-1277890041
PBS_JOBID= 11197111
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-chnl50_60_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-2693709-1277890041/watcher-2693709-1277890041 -o /tmp/evaluation-result-2693709-1277890041/solver-2693709-1277890041 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693709-1277890041.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e79d43742b4ee40954b18e2a5bb4c066
RANDOM SEED=118585346
node121.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.876
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.75
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.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.23
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.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
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.83
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.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
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.75
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.876
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: 32950904 kB
MemFree: 31161980 kB
Buffers: 170556 kB
Cached: 1100332 kB
SwapCached: 0 kB
Active: 870384 kB
Inactive: 772652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 31161980 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3504 kB
Writeback: 0 kB
AnonPages: 372808 kB
Mapped: 18852 kB
Slab: 80368 kB
PageTables: 5912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 756436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node121 at 2010-06-30 11:57:23