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-2693719-1277890765.wbo>
0.00/0.01 c original problem has 3012 variables (2906 bin, 0 int, 0 impl, 106 cont) and 257 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 106 impls, 18 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 106 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 106 impls, 18 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 106 chg bounds, 0 chg sides, 0 chg coeffs, 26 upgd conss, 106 impls, 18 clqs
0.00/0.02 c (round 4) 0 del vars, 1 del conss, 106 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 106 impls, 18 clqs
0.00/0.04 c (0.0s) probing: 101/2906 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 0 deleted vars, 1 deleted constraints, 106 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 106 implications, 18 cliques
0.00/0.04 c presolved problem has 3012 variables (2906 bin, 0 int, 0 impl, 106 cont) and 256 constraints
0.00/0.04 c 106 constraints of type <indicator>
0.00/0.04 c 18 constraints of type <setppc>
0.00/0.04 c 106 constraints of type <linear>
0.00/0.04 c 26 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 2 | 0 | - |5692k| 0 | - |3012 | 256 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.02 c 1.9s| 10000 | 9954 | 0 | 0.0 |9335k|2301 | - |3012 | 319 | 0 | 0 | 0 | 224 | 0 | 0.000000e+00 | -- | Inf
4.19/4.24 c 3.9s| 20000 | 19881 | 0 | 0.0 | 12M|2301 | - |3012 | 438 | 0 | 0 | 0 | 584 | 0 | 0.000000e+00 | -- | Inf
6.39/6.46 c 6.0s| 30000 | 29815 | 0 | 0.0 | 15M|2301 | - |3012 | 487 | 0 | 0 | 0 | 923 | 0 | 0.000000e+00 | -- | Inf
8.69/8.71 c 8.1s| 40000 | 39747 | 0 | 0.0 | 18M|2301 | - |3012 | 556 | 0 | 0 | 0 |1257 | 0 | 0.000000e+00 | -- | Inf
10.89/10.95 c 10.2s| 50000 | 49684 | 0 | 0.0 | 21M|2301 | - |3012 | 593 | 0 | 0 | 0 |1567 | 0 | 0.000000e+00 | -- | Inf
13.10/13.19 c 12.3s| 60000 | 59623 | 0 | 0.0 | 23M|2301 | - |3012 | 644 | 0 | 0 | 0 |1877 | 0 | 0.000000e+00 | -- | Inf
15.39/15.42 c 14.4s| 70000 | 69565 | 0 | 0.0 | 26M|2301 | - |3012 | 648 | 0 | 0 | 0 |2167 | 0 | 0.000000e+00 | -- | Inf
17.59/17.64 c 16.5s| 80000 | 79497 | 0 | 0.0 | 29M|2301 | - |3012 | 677 | 0 | 0 | 0 |2507 | 0 | 0.000000e+00 | -- | Inf
19.80/19.86 c 18.6s| 90000 | 89423 | 0 | 0.0 | 32M|2301 | - |3012 | 696 | 0 | 0 | 0 |2877 | 0 | 0.000000e+00 | -- | Inf
21.99/22.03 c 20.6s|100000 | 99351 | 0 | 0.0 | 35M|2301 | - |3012 | 743 | 0 | 0 | 0 |3237 | 0 | 0.000000e+00 | -- | Inf
24.10/24.17 c 22.5s|110000 |109278 | 0 | 0.0 | 38M|2301 | - |3012 | 790 | 0 | 0 | 0 |3607 | 0 | 0.000000e+00 | -- | Inf
26.29/26.30 c 24.5s|120000 |119198 | 0 | 0.0 | 41M|2301 | - |3012 | 861 | 0 | 0 | 0 |4007 | 0 | 0.000000e+00 | -- | Inf
28.40/28.42 c 26.5s|130000 |129113 | 0 | 0.0 | 44M|2301 | - |3012 | 845 | 0 | 0 | 0 |4437 | 0 | 0.000000e+00 | -- | Inf
30.50/30.52 c 28.4s|140000 |139032 | 0 | 0.0 | 47M|2301 | - |3012 | 834 | 0 | 0 | 0 |4854 | 0 | 0.000000e+00 | -- | Inf
32.59/32.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.59/32.61 c 30.4s|150000 |148957 | 0 | 0.0 | 50M|2301 | - |3012 | 791 | 0 | 0 | 0 |5233 | 0 | 0.000000e+00 | -- | Inf
34.69/34.71 c 32.3s|160000 |158868 | 0 | 0.0 | 53M|2301 | - |3012 | 854 | 0 | 0 | 0 |5700 | 0 | 0.000000e+00 | -- | Inf
36.80/36.81 c 34.3s|170000 |168773 | 0 | 0.0 | 56M|2301 | - |3012 | 867 | 0 | 0 | 0 |6190 | 0 | 0.000000e+00 | -- | Inf
38.89/38.90 c 36.2s|180000 |178694 | 0 | 0.0 | 59M|2301 | - |3012 | 865 | 0 | 0 | 0 |6601 | 0 | 0.000000e+00 | -- | Inf
40.89/40.97 c 38.2s|190000 |188603 | 0 | 0.0 | 62M|2301 | - |3012 | 860 | 0 | 0 | 0 |7061 | 0 | 0.000000e+00 | -- | Inf
42.99/43.01 c 40.0s|200000 |198513 | 0 | 0.0 | 65M|2301 | - |3012 | 862 | 0 | 0 | 0 |7511 | 0 | 0.000000e+00 | -- | Inf
45.50/45.53 c 42.4s|210000 |207555 | 0 | 0.0 | 69M|2301 | - |3012 | 832 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
48.00/48.09 c 44.8s|220000 |216127 | 0 | 0.0 | 75M|2301 | - |3012 | 836 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
50.29/50.39 c 46.9s|230000 |224668 | 0 | 0.0 | 80M|2301 | - |3012 | 818 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
52.39/52.40 c 48.7s|240000 |233223 | 0 | 0.0 | 86M|2301 | - |3012 | 807 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
54.10/54.11 c 50.2s|250000 |241798 | 0 | 0.0 | 91M|2301 | - |3012 | 830 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
56.19/56.26 c 52.3s|260000 |251345 | 0 | 0.0 | 95M|2301 | - |3012 | 835 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
58.39/58.47 c 54.3s|270000 |261275 | 0 | 0.0 | 97M|2301 | - |3012 | 813 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
60.60/60.66 c 56.4s|280000 |271215 | 0 | 0.0 | 100M|2301 | - |3012 | 839 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
62.79/62.86 c 58.4s|290000 |281154 | 0 | 0.0 | 103M|2301 | - |3012 | 837 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
64.99/65.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.99/65.08 c 60.5s|300000 |291085 | 0 | 0.0 | 106M|2301 | - |3012 | 894 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
67.30/67.30 c 62.6s|310000 |301024 | 0 | 0.0 | 109M|2301 | - |3012 | 845 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
69.49/69.51 c 64.6s|320000 |310970 | 0 | 0.0 | 111M|2301 | - |3012 | 840 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
71.69/71.74 c 66.7s|330000 |320904 | 0 | 0.0 | 114M|2301 | - |3012 | 858 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
73.90/73.97 c 68.8s|340000 |330840 | 0 | 0.0 | 117M|2301 | - |3012 | 831 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
76.19/76.20 c 70.9s|350000 |340776 | 0 | 0.0 | 120M|2301 | - |3012 | 806 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
78.39/78.45 c 73.0s|360000 |350715 | 0 | 0.0 | 123M|2301 | - |3012 | 838 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
80.60/80.69 c 75.1s|370000 |360645 | 0 | 0.0 | 125M|2301 | - |3012 | 836 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
82.90/82.92 c 77.2s|380000 |370588 | 0 | 0.0 | 128M|2301 | - |3012 | 832 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
85.09/85.16 c 79.3s|390000 |380516 | 0 | 0.0 | 131M|2301 | - |3012 | 805 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
87.40/87.40 c 81.4s|400000 |390458 | 0 | 0.0 | 134M|2301 | - |3012 | 760 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
89.60/89.63 c 83.5s|410000 |400392 | 0 | 0.0 | 137M|2301 | - |3012 | 801 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
91.79/91.85 c 85.6s|420000 |410324 | 0 | 0.0 | 139M|2301 | - |3012 | 815 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
94.10/94.10 c 87.7s|430000 |420239 | 0 | 0.0 | 142M|2301 | - |3012 | 834 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
96.29/96.34 c 89.8s|440000 |430178 | 0 | 0.0 | 145M|2301 | - |3012 | 787 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
98.50/98.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.50/98.57 c 91.8s|450000 |440119 | 0 | 0.0 | 148M|2301 | - |3012 | 812 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
100.80/100.81 c 93.9s|460000 |450058 | 0 | 0.0 | 151M|2301 | - |3012 | 809 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
103.00/103.05 c 96.0s|470000 |459998 | 0 | 0.0 | 153M|2301 | - |3012 | 804 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
105.20/105.27 c 98.1s|480000 |469938 | 0 | 0.0 | 156M|2301 | - |3012 | 796 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
107.49/107.53 c 100s|490000 |479861 | 0 | 0.0 | 159M|2301 | - |3012 | 853 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
109.70/109.79 c 102s|500000 |489798 | 0 | 0.0 | 162M|2301 | - |3012 | 837 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
111.99/112.02 c 104s|510000 |499740 | 0 | 0.0 | 165M|2301 | - |3012 | 839 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
114.20/114.27 c 107s|520000 |509674 | 0 | 0.0 | 167M|2301 | - |3012 | 865 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
116.50/116.52 c 109s|530000 |519603 | 0 | 0.0 | 170M|2301 | - |3012 | 855 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
118.70/118.77 c 111s|540000 |529534 | 0 | 0.0 | 173M|2301 | - |3012 | 862 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
120.90/120.99 c 113s|550000 |539482 | 0 | 0.0 | 176M|2301 | - |3012 | 828 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
123.20/123.21 c 115s|560000 |549428 | 0 | 0.0 | 179M|2301 | - |3012 | 806 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
125.41/125.45 c 117s|570000 |559359 | 0 | 0.0 | 181M|2301 | - |3012 | 879 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
127.70/127.71 c 119s|580000 |569291 | 0 | 0.0 | 184M|2301 | - |3012 | 875 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
129.90/129.95 c 121s|590000 |579240 | 0 | 0.0 | 187M|2301 | - |3012 | 846 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
132.10/132.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.10/132.19 c 123s|600000 |589177 | 0 | 0.0 | 190M|2301 | - |3012 | 854 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
134.40/134.43 c 125s|610000 |599116 | 0 | 0.0 | 193M|2301 | - |3012 | 829 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
136.60/136.65 c 127s|620000 |609060 | 0 | 0.0 | 195M|2301 | - |3012 | 869 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
138.90/138.91 c 130s|630000 |618980 | 0 | 0.0 | 198M|2301 | - |3012 | 928 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
141.10/141.14 c 132s|640000 |628921 | 0 | 0.0 | 201M|2301 | - |3012 | 902 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
143.30/143.38 c 134s|650000 |638857 | 0 | 0.0 | 204M|2301 | - |3012 | 950 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
145.59/145.63 c 136s|660000 |648803 | 0 | 0.0 | 207M|2301 | - |3012 | 919 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
147.80/147.87 c 138s|670000 |658742 | 0 | 0.0 | 209M|2301 | - |3012 | 965 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
150.10/150.12 c 140s|680000 |668682 | 0 | 0.0 | 212M|2301 | - |3012 | 983 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
152.30/152.37 c 142s|690000 |678617 | 0 | 0.0 | 215M|2301 | - |3012 | 987 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
154.60/154.62 c 144s|700000 |688559 | 0 | 0.0 | 218M|2301 | - |3012 | 969 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
156.79/156.85 c 146s|710000 |698503 | 0 | 0.0 | 220M|2301 | - |3012 |1000 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
159.00/159.09 c 148s|720000 |708447 | 0 | 0.0 | 223M|2301 | - |3012 | 972 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
161.30/161.33 c 151s|730000 |718397 | 0 | 0.0 | 226M|2301 | - |3012 | 943 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
163.50/163.56 c 153s|740000 |728341 | 0 | 0.0 | 229M|2301 | - |3012 | 949 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
165.80/165.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.80/165.80 c 155s|750000 |738282 | 0 | 0.0 | 231M|2301 | - |3012 | 903 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
168.00/168.06 c 157s|760000 |748214 | 0 | 0.0 | 234M|2301 | - |3012 | 925 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
170.19/170.29 c 159s|770000 |758159 | 0 | 0.0 | 237M|2301 | - |3012 | 895 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
172.50/172.54 c 161s|780000 |768099 | 0 | 0.0 | 240M|2301 | - |3012 | 920 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
174.70/174.80 c 163s|790000 |778026 | 0 | 0.0 | 243M|2301 | - |3012 | 925 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
177.00/177.03 c 165s|800000 |787962 | 0 | 0.0 | 245M|2301 | - |3012 | 878 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
179.20/179.29 c 167s|810000 |797907 | 0 | 0.0 | 248M|2301 | - |3012 | 881 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
181.51/181.53 c 169s|820000 |807838 | 0 | 0.0 | 251M|2301 | - |3012 | 930 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
183.71/183.77 c 172s|830000 |817778 | 0 | 0.0 | 254M|2301 | - |3012 | 914 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
186.00/186.02 c 174s|840000 |827716 | 0 | 0.0 | 256M|2301 | - |3012 | 915 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
188.20/188.27 c 176s|850000 |837655 | 0 | 0.0 | 259M|2301 | - |3012 | 957 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
190.50/190.52 c 178s|860000 |847581 | 0 | 0.0 | 262M|2301 | - |3012 | 998 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
192.70/192.78 c 180s|870000 |857513 | 0 | 0.0 | 265M|2301 | - |3012 | 994 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
195.00/195.03 c 182s|880000 |867440 | 0 | 0.0 | 268M|2301 | - |3012 |1000 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
197.20/197.29 c 184s|890000 |877368 | 0 | 0.0 | 270M|2301 | - |3012 |1014 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
199.50/199.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.50/199.52 c 186s|900000 |887316 | 0 | 0.0 | 273M|2301 | - |3012 | 968 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
201.70/201.76 c 188s|910000 |897261 | 0 | 0.0 | 276M|2301 | - |3012 | 974 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
203.90/203.99 c 190s|920000 |907197 | 0 | 0.0 | 279M|2301 | - |3012 | 988 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
206.20/206.22 c 192s|930000 |917142 | 0 | 0.0 | 281M|2301 | - |3012 | 927 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
208.40/208.47 c 195s|940000 |927075 | 0 | 0.0 | 284M|2301 | - |3012 | 960 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
210.70/210.71 c 197s|950000 |937020 | 0 | 0.0 | 287M|2301 | - |3012 | 910 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
212.90/212.94 c 199s|960000 |946952 | 0 | 0.0 | 290M|2301 | - |3012 | 910 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
215.20/215.20 c 201s|970000 |956889 | 0 | 0.0 | 292M|2301 | - |3012 | 903 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
217.40/217.45 c 203s|980000 |966827 | 0 | 0.0 | 295M|2301 | - |3012 | 930 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
219.70/219.74 c 205s|990000 |976765 | 0 | 0.0 | 298M|2301 | - |3012 | 896 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
222.00/222.00 c 207s| 1000k|986695 | 0 | 0.0 | 301M|2301 | - |3012 | 970 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
224.20/224.26 c 209s| 1010k|996636 | 0 | 0.0 | 304M|2301 | - |3012 | 910 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
226.40/226.49 c 211s| 1020k| 1006k| 0 | 0.0 | 306M|2301 | - |3012 | 900 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
228.71/228.73 c 214s| 1030k| 1016k| 0 | 0.0 | 309M|2301 | - |3012 | 961 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
230.91/230.96 c 216s| 1040k| 1026k| 0 | 0.0 | 312M|2301 | - |3012 | 924 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
233.11/233.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.11/233.20 c 218s| 1050k| 1036k| 0 | 0.0 | 315M|2301 | - |3012 | 892 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
235.40/235.45 c 220s| 1060k| 1046k| 0 | 0.0 | 317M|2301 | - |3012 | 920 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
237.61/237.69 c 222s| 1070k| 1056k| 0 | 0.0 | 320M|2301 | - |3012 | 927 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
239.90/239.90 c 224s| 1080k| 1066k| 0 | 0.0 | 323M|2301 | - |3012 | 858 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
242.10/242.12 c 226s| 1090k| 1076k| 0 | 0.0 | 326M|2301 | - |3012 | 857 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
244.30/244.37 c 228s| 1100k| 1086k| 0 | 0.0 | 329M|2301 | - |3012 | 897 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
246.60/246.62 c 230s| 1110k| 1096k| 0 | 0.0 | 331M|2301 | - |3012 | 879 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
248.80/248.85 c 232s| 1120k| 1105k| 0 | 0.0 | 334M|2301 | - |3012 | 859 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
251.11/251.11 c 234s| 1130k| 1115k| 0 | 0.0 | 337M|2301 | - |3012 | 903 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
253.31/253.35 c 236s| 1140k| 1125k| 0 | 0.0 | 340M|2301 | - |3012 | 890 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
255.51/255.59 c 239s| 1150k| 1135k| 0 | 0.0 | 343M|2301 | - |3012 | 868 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
257.81/257.84 c 241s| 1160k| 1145k| 0 | 0.0 | 345M|2301 | - |3012 | 871 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
260.10/260.12 c 243s| 1170k| 1155k| 0 | 0.0 | 348M|2301 | - |3012 | 924 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
262.30/262.38 c 245s| 1180k| 1165k| 0 | 0.0 | 351M|2301 | - |3012 | 920 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
264.61/264.63 c 247s| 1190k| 1175k| 0 | 0.0 | 354M|2301 | - |3012 | 882 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
266.80/266.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.80/266.87 c 249s| 1200k| 1185k| 0 | 0.0 | 356M|2301 | - |3012 | 893 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
269.10/269.12 c 251s| 1210k| 1195k| 0 | 0.0 | 359M|2301 | - |3012 | 903 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
271.30/271.35 c 253s| 1220k| 1205k| 0 | 0.0 | 362M|2301 | - |3012 | 906 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
273.61/273.60 c 255s| 1230k| 1215k| 0 | 0.0 | 365M|2301 | - |3012 | 894 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
275.80/275.85 c 258s| 1240k| 1225k| 0 | 0.0 | 368M|2301 | - |3012 | 947 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
278.10/278.10 c 260s| 1250k| 1235k| 0 | 0.0 | 370M|2301 | - |3012 | 910 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
280.30/280.36 c 262s| 1260k| 1245k| 0 | 0.0 | 373M|2301 | - |3012 | 902 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
282.61/282.61 c 264s| 1270k| 1255k| 0 | 0.0 | 376M|2301 | - |3012 | 897 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
284.81/284.88 c 266s| 1280k| 1264k| 0 | 0.0 | 379M|2301 | - |3012 | 915 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
287.11/287.14 c 268s| 1290k| 1274k| 0 | 0.0 | 382M|2301 | - |3012 | 914 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
289.40/289.41 c 270s| 1300k| 1284k| 0 | 0.0 | 384M|2301 | - |3012 | 952 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
291.61/291.69 c 272s| 1310k| 1294k| 0 | 0.0 | 387M|2301 | - |3012 | 953 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
293.90/293.95 c 274s| 1320k| 1304k| 0 | 0.0 | 390M|2301 | - |3012 | 917 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
296.20/296.21 c 277s| 1330k| 1314k| 0 | 0.0 | 393M|2301 | - |3012 | 974 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
298.41/298.49 c 279s| 1340k| 1324k| 0 | 0.0 | 396M|2301 | - |3012 | 983 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
300.70/300.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.70/300.73 c 281s| 1350k| 1334k| 0 | 0.0 | 398M|2301 | - |3012 | 967 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
303.01/303.02 c 283s| 1360k| 1344k| 0 | 0.0 | 401M|2301 | - |3012 | 962 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
305.31/305.30 c 285s| 1370k| 1354k| 0 | 0.0 | 404M|2301 | - |3012 | 970 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
307.50/307.56 c 287s| 1380k| 1364k| 0 | 0.0 | 407M|2301 | - |3012 | 990 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
309.81/309.83 c 289s| 1390k| 1374k| 0 | 0.0 | 410M|2301 | - |3012 | 999 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
312.00/312.09 c 291s| 1400k| 1384k| 0 | 0.0 | 412M|2301 | - |3012 |1017 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
314.31/314.34 c 294s| 1410k| 1394k| 0 | 0.0 | 415M|2301 | - |3012 |1008 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
316.61/316.60 c 296s| 1420k| 1404k| 0 | 0.0 | 418M|2301 | - |3012 | 990 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
318.80/318.89 c 298s| 1430k| 1413k| 0 | 0.0 | 421M|2301 | - |3012 |1022 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
321.11/321.18 c 300s| 1440k| 1423k| 0 | 0.0 | 423M|2301 | - |3012 |1006 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
323.42/323.44 c 302s| 1450k| 1433k| 0 | 0.0 | 426M|2301 | - |3012 |1016 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
325.71/325.72 c 304s| 1460k| 1443k| 0 | 0.0 | 429M|2301 | - |3012 |1048 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
327.91/327.98 c 306s| 1470k| 1453k| 0 | 0.0 | 432M|2301 | - |3012 |1034 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
330.21/330.27 c 308s| 1480k| 1463k| 0 | 0.0 | 434M|2301 | - |3012 |1069 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
332.50/332.52 c 311s| 1490k| 1473k| 0 | 0.0 | 437M|2301 | - |3012 |1038 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
334.71/334.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.71/334.77 c 313s| 1500k| 1483k| 0 | 0.0 | 440M|2301 | - |3012 |1050 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
337.01/337.02 c 315s| 1510k| 1493k| 0 | 0.0 | 443M|2301 | - |3012 |1047 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
339.21/339.28 c 317s| 1520k| 1503k| 0 | 0.0 | 445M|2301 | - |3012 |1028 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
341.51/341.53 c 319s| 1530k| 1513k| 0 | 0.0 | 448M|2301 | - |3012 |1051 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
343.81/343.80 c 321s| 1540k| 1523k| 0 | 0.0 | 451M|2301 | - |3012 |1042 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
346.01/346.08 c 323s| 1550k| 1533k| 0 | 0.0 | 454M|2301 | - |3012 |1062 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
348.31/348.33 c 325s| 1560k| 1543k| 0 | 0.0 | 456M|2301 | - |3012 |1022 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
350.51/350.59 c 327s| 1570k| 1553k| 0 | 0.0 | 459M|2301 | - |3012 |1002 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
352.81/352.86 c 330s| 1580k| 1563k| 0 | 0.0 | 462M|2301 | - |3012 | 988 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
355.11/355.14 c 332s| 1590k| 1572k| 0 | 0.0 | 465M|2301 | - |3012 |1024 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
357.41/357.41 c 334s| 1600k| 1582k| 0 | 0.0 | 468M|2301 | - |3012 |1000 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
359.61/359.67 c 336s| 1610k| 1592k| 0 | 0.0 | 470M|2301 | - |3012 |1051 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
361.91/361.94 c 338s| 1620k| 1602k| 0 | 0.0 | 473M|2301 | - |3012 |1046 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
364.21/364.24 c 340s| 1630k| 1612k| 0 | 0.0 | 476M|2301 | - |3012 |1042 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
366.50/366.53 c 342s| 1640k| 1622k| 0 | 0.0 | 479M|2301 | - |3012 |1084 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
368.81/368.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.81/368.81 c 344s| 1650k| 1632k| 0 | 0.0 | 481M|2301 | - |3012 |1077 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
371.01/371.08 c 347s| 1660k| 1642k| 0 | 0.0 | 484M|2301 | - |3012 |1079 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
373.31/373.35 c 349s| 1670k| 1652k| 0 | 0.0 | 487M|2301 | - |3012 |1075 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
375.61/375.64 c 351s| 1680k| 1662k| 0 | 0.0 | 490M|2301 | - |3012 |1095 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
377.80/377.89 c 353s| 1690k| 1672k| 0 | 0.0 | 493M|2301 | - |3012 |1090 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
380.11/380.18 c 355s| 1700k| 1682k| 0 | 0.0 | 495M|2301 | - |3012 |1139 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
382.41/382.44 c 357s| 1710k| 1692k| 0 | 0.0 | 498M|2301 | - |3012 |1119 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
384.71/384.71 c 359s| 1720k| 1702k| 0 | 0.0 | 501M|2301 | - |3012 |1160 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
386.91/386.99 c 361s| 1730k| 1712k| 0 | 0.0 | 504M|2301 | - |3012 |1091 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
389.21/389.26 c 364s| 1740k| 1721k| 0 | 0.0 | 506M|2301 | - |3012 |1097 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
391.51/391.55 c 366s| 1750k| 1731k| 0 | 0.0 | 509M|2301 | - |3012 |1113 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
393.72/393.79 c 368s| 1760k| 1741k| 0 | 0.0 | 512M|2301 | - |3012 |1072 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
396.02/396.07 c 370s| 1770k| 1751k| 0 | 0.0 | 515M|2301 | - |3012 |1130 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
398.31/398.33 c 372s| 1780k| 1761k| 0 | 0.0 | 518M|2301 | - |3012 |1087 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
400.51/400.59 c 374s| 1790k| 1771k| 0 | 0.0 | 520M|2301 | - |3012 |1069 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
402.81/402.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.81/402.87 c 376s| 1800k| 1781k| 0 | 0.0 | 523M|2301 | - |3012 |1031 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
405.11/405.15 c 378s| 1810k| 1791k| 0 | 0.0 | 526M|2301 | - |3012 |1050 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
407.41/407.40 c 381s| 1820k| 1801k| 0 | 0.0 | 529M|2301 | - |3012 |1053 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
409.61/409.66 c 383s| 1830k| 1811k| 0 | 0.0 | 531M|2301 | - |3012 |1029 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
411.91/411.94 c 385s| 1840k| 1821k| 0 | 0.0 | 534M|2301 | - |3012 |1043 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
414.21/414.22 c 387s| 1850k| 1831k| 0 | 0.0 | 537M|2301 | - |3012 |1045 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
416.41/416.49 c 389s| 1860k| 1841k| 0 | 0.0 | 540M|2301 | - |3012 |1048 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
418.71/418.75 c 391s| 1870k| 1851k| 0 | 0.0 | 543M|2301 | - |3012 |1020 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
421.01/421.02 c 393s| 1880k| 1861k| 0 | 0.0 | 545M|2301 | - |3012 |1054 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
423.22/423.28 c 395s| 1890k| 1871k| 0 | 0.0 | 548M|2301 | - |3012 |1016 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
425.52/425.54 c 398s| 1900k| 1880k| 0 | 0.0 | 551M|2301 | - |3012 |1004 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
427.82/427.82 c 400s| 1910k| 1890k| 0 | 0.0 | 554M|2301 | - |3012 | 997 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
430.01/430.07 c 402s| 1920k| 1900k| 0 | 0.0 | 556M|2301 | - |3012 | 979 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
432.31/432.32 c 404s| 1930k| 1910k| 0 | 0.0 | 559M|2301 | - |3012 | 965 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
434.52/434.58 c 406s| 1940k| 1920k| 0 | 0.0 | 562M|2301 | - |3012 | 993 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
436.82/436.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.82/436.87 c 408s| 1950k| 1930k| 0 | 0.0 | 565M|2301 | - |3012 | 979 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
439.11/439.14 c 410s| 1960k| 1940k| 0 | 0.0 | 568M|2301 | - |3012 | 984 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
441.41/441.41 c 412s| 1970k| 1950k| 0 | 0.0 | 570M|2301 | - |3012 | 967 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
443.61/443.68 c 414s| 1980k| 1960k| 0 | 0.0 | 573M|2301 | - |3012 | 968 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
445.91/445.97 c 416s| 1990k| 1970k| 0 | 0.0 | 576M|2301 | - |3012 | 978 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
448.21/448.24 c 418s| 2000k| 1980k| 0 | 0.0 | 579M|2301 | - |3012 | 934 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
450.52/450.50 c 420s| 2010k| 1990k| 0 | 0.0 | 581M|2301 | - |3012 | 933 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
452.71/452.76 c 422s| 2020k| 2000k| 0 | 0.0 | 584M|2301 | - |3012 | 958 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
455.01/455.04 c 425s| 2030k| 2010k| 0 | 0.0 | 587M|2301 | - |3012 | 940 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
457.32/457.32 c 427s| 2040k| 2020k| 0 | 0.0 | 590M|2301 | - |3012 | 988 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
459.61/459.60 c 429s| 2050k| 2029k| 0 | 0.0 | 593M|2301 | - |3012 |1000 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
461.82/461.89 c 431s| 2060k| 2039k| 0 | 0.0 | 595M|2301 | - |3012 | 981 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
464.12/464.15 c 433s| 2070k| 2049k| 0 | 0.0 | 598M|2301 | - |3012 | 999 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
466.42/466.42 c 435s| 2080k| 2059k| 0 | 0.0 | 601M|2301 | - |3012 | 957 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
468.62/468.68 c 437s| 2090k| 2069k| 0 | 0.0 | 604M|2301 | - |3012 |1016 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
470.92/470.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.92/470.95 c 439s| 2100k| 2079k| 0 | 0.0 | 607M|2301 | - |3012 |1035 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
473.22/473.22 c 441s| 2110k| 2089k| 0 | 0.0 | 609M|2301 | - |3012 |1071 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
475.42/475.48 c 443s| 2120k| 2099k| 0 | 0.0 | 612M|2301 | - |3012 |1058 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
477.72/477.74 c 445s| 2130k| 2109k| 0 | 0.0 | 615M|2301 | - |3012 |1089 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
479.92/479.97 c 447s| 2140k| 2119k| 0 | 0.0 | 618M|2301 | - |3012 |1082 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
482.21/482.24 c 449s| 2150k| 2129k| 0 | 0.0 | 620M|2301 | - |3012 |1102 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
484.42/484.49 c 451s| 2160k| 2139k| 0 | 0.0 | 623M|2301 | - |3012 |1101 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
486.72/486.79 c 454s| 2170k| 2149k| 0 | 0.0 | 626M|2301 | - |3012 |1116 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
489.01/489.05 c 456s| 2180k| 2159k| 0 | 0.0 | 629M|2301 | - |3012 |1100 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
491.32/491.31 c 458s| 2190k| 2169k| 0 | 0.0 | 631M|2301 | - |3012 |1079 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
493.51/493.57 c 460s| 2200k| 2178k| 0 | 0.0 | 634M|2301 | - |3012 |1100 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
495.82/495.83 c 462s| 2210k| 2188k| 0 | 0.0 | 637M|2301 | - |3012 |1142 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
498.01/498.09 c 464s| 2220k| 2198k| 0 | 0.0 | 640M|2301 | - |3012 |1117 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
500.32/500.36 c 466s| 2230k| 2208k| 0 | 0.0 | 643M|2301 | - |3012 |1097 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
502.61/502.61 c 468s| 2240k| 2218k| 0 | 0.0 | 645M|2301 | - |3012 |1085 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
504.82/504.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.82/504.87 c 470s| 2250k| 2228k| 0 | 0.0 | 648M|2301 | - |3012 |1069 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
507.12/507.14 c 472s| 2260k| 2238k| 0 | 0.0 | 651M|2301 | - |3012 |1095 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
509.42/509.42 c 474s| 2270k| 2248k| 0 | 0.0 | 654M|2301 | - |3012 |1090 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
511.61/511.66 c 476s| 2280k| 2258k| 0 | 0.0 | 657M|2301 | - |3012 |1107 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
513.91/513.93 c 478s| 2290k| 2268k| 0 | 0.0 | 659M|2301 | - |3012 |1101 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
516.22/516.21 c 481s| 2300k| 2278k| 0 | 0.0 | 662M|2301 | - |3012 |1167 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
518.41/518.47 c 483s| 2310k| 2288k| 0 | 0.0 | 665M|2301 | - |3012 |1073 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
520.71/520.73 c 485s| 2320k| 2298k| 0 | 0.0 | 668M|2301 | - |3012 |1086 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
523.01/523.01 c 487s| 2330k| 2308k| 0 | 0.0 | 670M|2301 | - |3012 |1078 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
525.22/525.26 c 489s| 2340k| 2318k| 0 | 0.0 | 673M|2301 | - |3012 |1052 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
527.51/527.53 c 491s| 2350k| 2328k| 0 | 0.0 | 676M|2301 | - |3012 |1056 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
529.81/529.80 c 493s| 2360k| 2337k| 0 | 0.0 | 679M|2301 | - |3012 |1038 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
532.02/532.07 c 495s| 2370k| 2347k| 0 | 0.0 | 682M|2301 | - |3012 |1050 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
534.32/534.31 c 497s| 2380k| 2357k| 0 | 0.0 | 684M|2301 | - |3012 |1030 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
536.51/536.58 c 499s| 2390k| 2367k| 0 | 0.0 | 687M|2301 | - |3012 | 992 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
538.81/538.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.81/538.83 c 501s| 2400k| 2377k| 0 | 0.0 | 690M|2301 | - |3012 |1022 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
541.12/541.10 c 503s| 2410k| 2387k| 0 | 0.0 | 693M|2301 | - |3012 |1007 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
543.33/543.36 c 505s| 2420k| 2397k| 0 | 0.0 | 696M|2301 | - |3012 | 989 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
545.62/545.62 c 507s| 2430k| 2407k| 0 | 0.0 | 698M|2301 | - |3012 | 985 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
547.82/547.89 c 510s| 2440k| 2417k| 0 | 0.0 | 701M|2301 | - |3012 |1023 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
550.12/550.16 c 512s| 2450k| 2427k| 0 | 0.0 | 704M|2301 | - |3012 |1028 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
552.42/552.43 c 514s| 2460k| 2437k| 0 | 0.0 | 707M|2301 | - |3012 |1026 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
554.61/554.69 c 516s| 2470k| 2447k| 0 | 0.0 | 709M|2301 | - |3012 |1055 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
556.92/556.95 c 518s| 2480k| 2457k| 0 | 0.0 | 712M|2301 | - |3012 |1016 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
559.22/559.22 c 520s| 2490k| 2467k| 0 | 0.0 | 715M|2301 | - |3012 |1031 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
561.42/561.48 c 522s| 2500k| 2477k| 0 | 0.0 | 718M|2301 | - |3012 |1022 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
563.72/563.73 c 524s| 2510k| 2486k| 0 | 0.0 | 721M|2301 | - |3012 | 990 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
566.02/566.02 c 526s| 2520k| 2496k| 0 | 0.0 | 723M|2301 | - |3012 | 997 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
568.22/568.29 c 528s| 2530k| 2506k| 0 | 0.0 | 726M|2301 | - |3012 | 965 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
570.52/570.54 c 530s| 2540k| 2516k| 0 | 0.0 | 729M|2301 | - |3012 | 985 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
572.71/572.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.71/572.79 c 532s| 2550k| 2526k| 0 | 0.0 | 732M|2301 | - |3012 | 981 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
575.02/575.06 c 535s| 2560k| 2536k| 0 | 0.0 | 735M|2301 | - |3012 | 964 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
577.31/577.34 c 537s| 2570k| 2546k| 0 | 0.0 | 737M|2301 | - |3012 | 945 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
579.62/579.61 c 539s| 2580k| 2556k| 0 | 0.0 | 740M|2301 | - |3012 | 927 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
581.83/581.88 c 541s| 2590k| 2566k| 0 | 0.0 | 743M|2301 | - |3012 | 952 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
584.13/584.16 c 543s| 2600k| 2576k| 0 | 0.0 | 746M|2301 | - |3012 | 920 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
586.42/586.42 c 545s| 2610k| 2586k| 0 | 0.0 | 748M|2301 | - |3012 | 924 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
588.62/588.68 c 547s| 2620k| 2596k| 0 | 0.0 | 751M|2301 | - |3012 | 905 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
590.92/590.94 c 549s| 2630k| 2606k| 0 | 0.0 | 754M|2301 | - |3012 | 857 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
593.22/593.23 c 551s| 2640k| 2616k| 0 | 0.0 | 757M|2301 | - |3012 | 928 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
595.42/595.48 c 553s| 2650k| 2626k| 0 | 0.0 | 760M|2301 | - |3012 | 913 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
597.72/597.75 c 555s| 2660k| 2635k| 0 | 0.0 | 762M|2301 | - |3012 | 958 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
600.02/600.01 c 557s| 2670k| 2645k| 0 | 0.0 | 765M|2301 | - |3012 | 975 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
602.22/602.27 c 559s| 2680k| 2655k| 0 | 0.0 | 768M|2301 | - |3012 | 929 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
604.52/604.55 c 562s| 2690k| 2665k| 0 | 0.0 | 771M|2301 | - |3012 | 931 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
606.82/606.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.82/606.81 c 564s| 2700k| 2675k| 0 | 0.0 | 774M|2301 | - |3012 | 957 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
609.02/609.07 c 566s| 2710k| 2685k| 0 | 0.0 | 776M|2301 | - |3012 | 939 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
611.32/611.33 c 568s| 2720k| 2695k| 0 | 0.0 | 779M|2301 | - |3012 | 931 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
613.52/613.56 c 570s| 2730k| 2705k| 0 | 0.0 | 782M|2301 | - |3012 | 941 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
615.82/615.82 c 572s| 2740k| 2715k| 0 | 0.0 | 785M|2301 | - |3012 | 944 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
618.02/618.07 c 574s| 2750k| 2725k| 0 | 0.0 | 787M|2301 | - |3012 | 973 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
620.33/620.33 c 576s| 2760k| 2735k| 0 | 0.0 | 790M|2301 | - |3012 |1001 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
622.53/622.57 c 578s| 2770k| 2745k| 0 | 0.0 | 793M|2301 | - |3012 | 949 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
624.83/624.84 c 580s| 2780k| 2755k| 0 | 0.0 | 796M|2301 | - |3012 | 996 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
627.12/627.10 c 582s| 2790k| 2765k| 0 | 0.0 | 799M|2301 | - |3012 | 987 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
629.33/629.36 c 584s| 2800k| 2775k| 0 | 0.0 | 801M|2301 | - |3012 | 996 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
631.62/631.62 c 586s| 2810k| 2785k| 0 | 0.0 | 804M|2301 | - |3012 | 996 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
633.82/633.87 c 588s| 2820k| 2794k| 0 | 0.0 | 807M|2301 | - |3012 |1007 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
636.12/636.11 c 590s| 2830k| 2804k| 0 | 0.0 | 810M|2301 | - |3012 | 977 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
638.33/638.38 c 593s| 2840k| 2814k| 0 | 0.0 | 813M|2301 | - |3012 |1012 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
640.62/640.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.62/640.62 c 595s| 2850k| 2824k| 0 | 0.0 | 815M|2301 | - |3012 |1001 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
642.82/642.87 c 597s| 2860k| 2834k| 0 | 0.0 | 818M|2301 | - |3012 | 971 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
645.12/645.16 c 599s| 2870k| 2844k| 0 | 0.0 | 821M|2301 | - |3012 |1001 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
647.42/647.42 c 601s| 2880k| 2854k| 0 | 0.0 | 824M|2301 | - |3012 | 959 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
649.62/649.68 c 603s| 2890k| 2864k| 0 | 0.0 | 827M|2301 | - |3012 | 978 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
651.92/651.93 c 605s| 2900k| 2874k| 0 | 0.0 | 829M|2301 | - |3012 | 946 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
654.23/654.20 c 607s| 2910k| 2884k| 0 | 0.0 | 832M|2301 | - |3012 | 938 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
656.43/656.48 c 609s| 2920k| 2894k| 0 | 0.0 | 835M|2301 | - |3012 | 934 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
658.73/658.77 c 611s| 2930k| 2904k| 0 | 0.0 | 838M|2301 | - |3012 | 990 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
661.03/661.01 c 613s| 2940k| 2914k| 0 | 0.0 | 841M|2301 | - |3012 | 920 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
663.23/663.28 c 615s| 2950k| 2924k| 0 | 0.0 | 843M|2301 | - |3012 | 930 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
665.53/665.55 c 617s| 2960k| 2934k| 0 | 0.0 | 846M|2301 | - |3012 | 911 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
667.83/667.80 c 620s| 2970k| 2943k| 0 | 0.0 | 849M|2301 | - |3012 | 889 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
670.03/670.08 c 622s| 2980k| 2953k| 0 | 0.0 | 852M|2301 | - |3012 | 909 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
672.32/672.36 c 624s| 2990k| 2963k| 0 | 0.0 | 855M|2301 | - |3012 | 981 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
674.62/674.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.62/674.61 c 626s| 3000k| 2973k| 0 | 0.0 | 857M|2301 | - |3012 | 964 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
676.83/676.87 c 628s| 3010k| 2983k| 0 | 0.0 | 860M|2301 | - |3012 | 964 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
679.12/679.13 c 630s| 3020k| 2993k| 0 | 0.0 | 863M|2301 | - |3012 | 977 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
681.42/681.41 c 632s| 3030k| 3003k| 0 | 0.0 | 866M|2301 | - |3012 |1016 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
683.62/683.67 c 634s| 3040k| 3013k| 0 | 0.0 | 869M|2301 | - |3012 |1009 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
685.92/685.94 c 636s| 3050k| 3023k| 0 | 0.0 | 871M|2301 | - |3012 |1016 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
688.22/688.21 c 638s| 3060k| 3033k| 0 | 0.0 | 874M|2301 | - |3012 |1049 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
690.42/690.45 c 640s| 3070k| 3043k| 0 | 0.0 | 877M|2301 | - |3012 |1056 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
692.72/692.71 c 642s| 3080k| 3053k| 0 | 0.0 | 880M|2301 | - |3012 |1078 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
694.93/694.97 c 644s| 3090k| 3063k| 0 | 0.0 | 882M|2301 | - |3012 |1034 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
697.22/697.21 c 646s| 3100k| 3073k| 0 | 0.0 | 885M|2301 | - |3012 |1088 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
699.42/699.46 c 648s| 3110k| 3083k| 0 | 0.0 | 888M|2301 | - |3012 |1052 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
701.73/701.71 c 651s| 3120k| 3092k| 0 | 0.0 | 891M|2301 | - |3012 |1082 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
703.93/703.96 c 653s| 3130k| 3102k| 0 | 0.0 | 894M|2301 | - |3012 |1031 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
706.23/706.23 c 655s| 3140k| 3112k| 0 | 0.0 | 896M|2301 | - |3012 |1033 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
708.52/708.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.52/708.51 c 657s| 3150k| 3122k| 0 | 0.0 | 899M|2301 | - |3012 |1087 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
710.73/710.75 c 659s| 3160k| 3132k| 0 | 0.0 | 902M|2301 | - |3012 |1043 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
713.02/713.02 c 661s| 3170k| 3142k| 0 | 0.0 | 905M|2301 | - |3012 |1066 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
715.23/715.25 c 663s| 3180k| 3152k| 0 | 0.0 | 908M|2301 | - |3012 |1064 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
717.52/717.53 c 665s| 3190k| 3162k| 0 | 0.0 | 910M|2301 | - |3012 |1016 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
719.83/719.81 c 667s| 3200k| 3172k| 0 | 0.0 | 913M|2301 | - |3012 |1062 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
722.03/722.05 c 669s| 3210k| 3182k| 0 | 0.0 | 916M|2301 | - |3012 |1019 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
724.22/724.29 c 671s| 3220k| 3192k| 0 | 0.0 | 919M|2301 | - |3012 |1017 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
726.53/726.56 c 673s| 3230k| 3202k| 0 | 0.0 | 921M|2301 | - |3012 |1038 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
728.83/728.82 c 675s| 3240k| 3212k| 0 | 0.0 | 924M|2301 | - |3012 |1020 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
731.03/731.05 c 677s| 3250k| 3222k| 0 | 0.0 | 927M|2301 | - |3012 |1032 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
733.23/733.29 c 679s| 3260k| 3232k| 0 | 0.0 | 930M|2301 | - |3012 |1019 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
735.52/735.53 c 682s| 3270k| 3242k| 0 | 0.0 | 933M|2301 | - |3012 |1014 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
737.72/737.78 c 684s| 3280k| 3251k| 0 | 0.0 | 935M|2301 | - |3012 |1003 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
740.03/740.04 c 686s| 3290k| 3261k| 0 | 0.0 | 938M|2301 | - |3012 |1021 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
742.23/742.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.23/742.27 c 688s| 3300k| 3271k| 0 | 0.0 | 941M|2301 | - |3012 | 991 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
744.52/744.51 c 690s| 3310k| 3281k| 0 | 0.0 | 944M|2301 | - |3012 |1004 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
746.73/746.78 c 692s| 3320k| 3291k| 0 | 0.0 | 946M|2301 | - |3012 | 986 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
749.03/749.03 c 694s| 3330k| 3301k| 0 | 0.0 | 949M|2301 | - |3012 | 974 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
751.23/751.28 c 696s| 3340k| 3311k| 0 | 0.0 | 952M|2301 | - |3012 | 981 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
753.54/753.55 c 698s| 3350k| 3321k| 0 | 0.0 | 955M|2301 | - |3012 | 964 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
755.82/755.85 c 700s| 3360k| 3331k| 0 | 0.0 | 958M|2301 | - |3012 | 996 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
758.12/758.14 c 702s| 3370k| 3341k| 0 | 0.0 | 961M|2301 | - |3012 |1020 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
760.33/760.39 c 704s| 3380k| 3351k| 0 | 0.0 | 963M|2301 | - |3012 |1029 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
762.63/762.66 c 706s| 3390k| 3361k| 0 | 0.0 | 966M|2301 | - |3012 |1035 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
764.93/764.92 c 708s| 3400k| 3371k| 0 | 0.0 | 969M|2301 | - |3012 |1032 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
767.13/767.18 c 711s| 3410k| 3381k| 0 | 0.0 | 972M|2301 | - |3012 |1033 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
769.43/769.44 c 713s| 3420k| 3390k| 0 | 0.0 | 974M|2301 | - |3012 |1025 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
771.73/771.75 c 715s| 3430k| 3400k| 0 | 0.0 | 977M|2301 | - |3012 |1035 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
774.03/774.00 c 717s| 3440k| 3410k| 0 | 0.0 | 980M|2301 | - |3012 |1027 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
776.23/776.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.23/776.24 c 719s| 3450k| 3420k| 0 | 0.0 | 983M|2301 | - |3012 |1050 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
778.53/778.50 c 721s| 3460k| 3430k| 0 | 0.0 | 986M|2301 | - |3012 |1059 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
780.73/780.75 c 723s| 3470k| 3440k| 0 | 0.0 | 988M|2301 | - |3012 |1054 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
782.93/782.97 c 725s| 3480k| 3450k| 0 | 0.0 | 991M|2301 | - |3012 |1052 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
785.13/785.19 c 727s| 3490k| 3460k| 0 | 0.0 | 994M|2301 | - |3012 |1022 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
787.43/787.43 c 729s| 3500k| 3470k| 0 | 0.0 | 997M|2301 | - |3012 |1006 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
789.63/789.66 c 731s| 3510k| 3480k| 0 | 0.0 |1000M|2301 | - |3012 |1028 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
791.94/791.91 c 733s| 3520k| 3490k| 0 | 0.0 |1002M|2301 | - |3012 | 985 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
794.13/794.14 c 735s| 3530k| 3500k| 0 | 0.0 |1005M|2301 | - |3012 |1009 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
796.33/796.39 c 737s| 3540k| 3510k| 0 | 0.0 |1008M|2301 | - |3012 |1046 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
798.64/798.62 c 739s| 3550k| 3520k| 0 | 0.0 |1011M|2301 | - |3012 |1042 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
800.84/800.86 c 742s| 3560k| 3530k| 0 | 0.0 |1014M|2301 | - |3012 |1059 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
803.13/803.12 c 744s| 3570k| 3539k| 0 | 0.0 |1016M|2301 | - |3012 |1079 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
805.33/805.37 c 746s| 3580k| 3549k| 0 | 0.0 |1019M|2301 | - |3012 |1105 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
807.63/807.64 c 748s| 3590k| 3559k| 0 | 0.0 |1022M|2301 | - |3012 |1139 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
809.93/809.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.93/809.90 c 750s| 3600k| 3569k| 0 | 0.0 |1025M|2301 | - |3012 |1094 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
812.13/812.16 c 752s| 3610k| 3579k| 0 | 0.0 |1027M|2301 | - |3012 |1118 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
814.43/814.40 c 754s| 3620k| 3589k| 0 | 0.0 |1030M|2301 | - |3012 |1116 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
816.63/816.65 c 756s| 3630k| 3599k| 0 | 0.0 |1033M|2301 | - |3012 |1109 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
818.83/818.89 c 758s| 3640k| 3609k| 0 | 0.0 |1036M|2301 | - |3012 |1077 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
821.13/821.14 c 760s| 3650k| 3619k| 0 | 0.0 |1039M|2301 | - |3012 |1087 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
823.43/823.42 c 762s| 3660k| 3629k| 0 | 0.0 |1041M|2301 | - |3012 |1087 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
825.63/825.68 c 764s| 3670k| 3639k| 0 | 0.0 |1044M|2301 | - |3012 |1127 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
827.93/827.96 c 766s| 3680k| 3649k| 0 | 0.0 |1047M|2301 | - |3012 |1077 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
830.23/830.21 c 768s| 3690k| 3659k| 0 | 0.0 |1050M|2301 | - |3012 |1033 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
832.43/832.48 c 770s| 3700k| 3669k| 0 | 0.0 |1053M|2301 | - |3012 |1043 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
834.73/834.73 c 773s| 3710k| 3679k| 0 | 0.0 |1055M|2301 | - |3012 | 995 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
836.93/837.00 c 775s| 3720k| 3688k| 0 | 0.0 |1058M|2301 | - |3012 | 995 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
839.24/839.26 c 777s| 3730k| 3698k| 0 | 0.0 |1061M|2301 | - |3012 | 965 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
841.54/841.51 c 779s| 3740k| 3708k| 0 | 0.0 |1064M|2301 | - |3012 | 989 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
843.74/843.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.74/843.78 c 781s| 3750k| 3718k| 0 | 0.0 |1066M|2301 | - |3012 |1002 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
846.03/846.08 c 783s| 3760k| 3728k| 0 | 0.0 |1069M|2301 | - |3012 |1069 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
848.33/848.32 c 785s| 3770k| 3738k| 0 | 0.0 |1072M|2301 | - |3012 |1062 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
850.53/850.58 c 787s| 3780k| 3748k| 0 | 0.0 |1075M|2301 | - |3012 |1064 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
852.83/852.84 c 789s| 3790k| 3758k| 0 | 0.0 |1078M|2301 | - |3012 |1020 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
855.04/855.07 c 791s| 3800k| 3768k| 0 | 0.0 |1080M|2301 | - |3012 | 994 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
857.33/857.35 c 793s| 3810k| 3778k| 0 | 0.0 |1083M|2301 | - |3012 |1072 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
859.63/859.61 c 795s| 3820k| 3788k| 0 | 0.0 |1086M|2301 | - |3012 |1113 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
861.83/861.87 c 797s| 3830k| 3798k| 0 | 0.0 |1089M|2301 | - |3012 |1111 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
864.13/864.12 c 799s| 3840k| 3808k| 0 | 0.0 |1092M|2301 | - |3012 |1127 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
866.33/866.38 c 802s| 3850k| 3818k| 0 | 0.0 |1094M|2301 | - |3012 |1113 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
868.63/868.62 c 804s| 3860k| 3827k| 0 | 0.0 |1097M|2301 | - |3012 |1113 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
870.84/870.86 c 806s| 3870k| 3837k| 0 | 0.0 |1100M|2301 | - |3012 |1112 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
873.14/873.10 c 808s| 3880k| 3847k| 0 | 0.0 |1103M|2301 | - |3012 |1098 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
875.33/875.34 c 810s| 3890k| 3857k| 0 | 0.0 |1106M|2301 | - |3012 |1146 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
877.53/877.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.53/877.60 c 812s| 3900k| 3867k| 0 | 0.0 |1108M|2301 | - |3012 |1120 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
879.84/879.84 c 814s| 3910k| 3877k| 0 | 0.0 |1111M|2301 | - |3012 |1129 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
882.03/882.09 c 816s| 3920k| 3887k| 0 | 0.0 |1114M|2301 | - |3012 |1130 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
884.34/884.31 c 818s| 3930k| 3897k| 0 | 0.0 |1117M|2301 | - |3012 |1143 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
886.54/886.55 c 820s| 3940k| 3907k| 0 | 0.0 |1119M|2301 | - |3012 |1081 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
888.74/888.78 c 822s| 3950k| 3917k| 0 | 0.0 |1122M|2301 | - |3012 |1109 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
891.04/891.04 c 824s| 3960k| 3927k| 0 | 0.0 |1125M|2301 | - |3012 |1142 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
893.34/893.30 c 826s| 3970k| 3937k| 0 | 0.0 |1128M|2301 | - |3012 |1110 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
895.53/895.54 c 828s| 3980k| 3947k| 0 | 0.0 |1131M|2301 | - |3012 |1070 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
897.73/897.78 c 830s| 3990k| 3957k| 0 | 0.0 |1133M|2301 | - |3012 |1077 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
900.03/900.02 c 832s| 4000k| 3967k| 0 | 0.0 |1136M|2301 | - |3012 |1119 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
902.23/902.24 c 834s| 4010k| 3977k| 0 | 0.0 |1139M|2301 | - |3012 |1100 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
904.43/904.49 c 836s| 4020k| 3986k| 0 | 0.0 |1142M|2301 | - |3012 |1105 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
906.73/906.74 c 839s| 4030k| 3996k| 0 | 0.0 |1145M|2301 | - |3012 |1135 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
908.93/908.99 c 841s| 4040k| 4006k| 0 | 0.0 |1147M|2301 | - |3012 |1163 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
911.23/911.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.23/911.24 c 843s| 4050k| 4016k| 0 | 0.0 |1150M|2301 | - |3012 |1104 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
913.54/913.50 c 845s| 4060k| 4026k| 0 | 0.0 |1153M|2301 | - |3012 |1136 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
915.74/915.75 c 847s| 4070k| 4036k| 0 | 0.0 |1156M|2301 | - |3012 |1123 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
917.93/917.98 c 849s| 4080k| 4046k| 0 | 0.0 |1159M|2301 | - |3012 |1127 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
920.23/920.24 c 851s| 4090k| 4056k| 0 | 0.0 |1161M|2301 | - |3012 |1157 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
922.44/922.48 c 853s| 4100k| 4066k| 0 | 0.0 |1164M|2301 | - |3012 |1134 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
924.73/924.73 c 855s| 4110k| 4076k| 0 | 0.0 |1167M|2301 | - |3012 |1094 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
926.94/926.98 c 857s| 4120k| 4086k| 0 | 0.0 |1170M|2301 | - |3012 |1074 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
929.24/929.21 c 859s| 4130k| 4096k| 0 | 0.0 |1173M|2301 | - |3012 |1087 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
931.43/931.44 c 861s| 4140k| 4106k| 0 | 0.0 |1175M|2301 | - |3012 |1093 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
933.74/933.70 c 863s| 4150k| 4116k| 0 | 0.0 |1178M|2301 | - |3012 |1131 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
935.94/935.96 c 865s| 4160k| 4125k| 0 | 0.0 |1181M|2301 | - |3012 |1093 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
938.14/938.19 c 867s| 4170k| 4135k| 0 | 0.0 |1184M|2301 | - |3012 |1118 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
940.44/940.42 c 869s| 4180k| 4145k| 0 | 0.0 |1187M|2301 | - |3012 |1098 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
942.64/942.67 c 871s| 4190k| 4155k| 0 | 0.0 |1189M|2301 | - |3012 |1125 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
944.94/944.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.94/944.93 c 874s| 4200k| 4165k| 0 | 0.0 |1192M|2301 | - |3012 |1124 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
947.14/947.18 c 876s| 4210k| 4175k| 0 | 0.0 |1195M|2301 | - |3012 |1146 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
949.43/949.43 c 878s| 4220k| 4185k| 0 | 0.0 |1198M|2301 | - |3012 |1079 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
951.64/951.68 c 880s| 4230k| 4195k| 0 | 0.0 |1201M|2301 | - |3012 |1138 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
953.94/953.92 c 882s| 4240k| 4205k| 0 | 0.0 |1203M|2301 | - |3012 |1087 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
956.14/956.17 c 884s| 4250k| 4215k| 0 | 0.0 |1206M|2301 | - |3012 |1134 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
958.44/958.42 c 886s| 4260k| 4225k| 0 | 0.0 |1209M|2301 | - |3012 |1143 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
960.64/960.69 c 888s| 4270k| 4235k| 0 | 0.0 |1212M|2301 | - |3012 |1178 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
962.94/962.93 c 890s| 4280k| 4245k| 0 | 0.0 |1214M|2301 | - |3012 |1116 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
965.14/965.16 c 892s| 4290k| 4255k| 0 | 0.0 |1217M|2301 | - |3012 |1108 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
967.44/967.43 c 894s| 4300k| 4265k| 0 | 0.0 |1220M|2301 | - |3012 |1151 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
969.63/969.68 c 896s| 4310k| 4274k| 0 | 0.0 |1223M|2301 | - |3012 |1153 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
971.93/971.91 c 898s| 4320k| 4284k| 0 | 0.0 |1226M|2301 | - |3012 |1149 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
974.14/974.16 c 900s| 4330k| 4294k| 0 | 0.0 |1228M|2301 | - |3012 |1148 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
976.44/976.41 c 902s| 4340k| 4304k| 0 | 0.0 |1231M|2301 | - |3012 |1165 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
978.64/978.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.64/978.66 c 904s| 4350k| 4314k| 0 | 0.0 |1234M|2301 | - |3012 |1101 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
980.94/980.93 c 907s| 4360k| 4324k| 0 | 0.0 |1237M|2301 | - |3012 |1111 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
983.14/983.19 c 909s| 4370k| 4334k| 0 | 0.0 |1240M|2301 | - |3012 |1135 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
985.44/985.42 c 911s| 4380k| 4344k| 0 | 0.0 |1242M|2301 | - |3012 |1102 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
987.64/987.68 c 913s| 4390k| 4354k| 0 | 0.0 |1245M|2301 | - |3012 |1161 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
989.94/989.91 c 915s| 4400k| 4364k| 0 | 0.0 |1248M|2301 | - |3012 |1114 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
992.14/992.17 c 917s| 4410k| 4374k| 0 | 0.0 |1251M|2301 | - |3012 |1106 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
994.44/994.41 c 919s| 4420k| 4384k| 0 | 0.0 |1254M|2301 | - |3012 |1096 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
996.65/996.63 c 921s| 4430k| 4394k| 0 | 0.0 |1256M|2301 | - |3012 |1118 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
998.84/998.87 c 923s| 4440k| 4404k| 0 | 0.0 |1259M|2301 | - |3012 |1082 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1001.14/1001.12 c 925s| 4450k| 4414k| 0 | 0.0 |1262M|2301 | - |3012 |1089 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1003.34/1003.35 c 927s| 4460k| 4423k| 0 | 0.0 |1265M|2301 | - |3012 |1110 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1005.54/1005.59 c 929s| 4470k| 4433k| 0 | 0.0 |1268M|2301 | - |3012 |1125 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1007.84/1007.82 c 931s| 4480k| 4443k| 0 | 0.0 |1270M|2301 | - |3012 |1142 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1010.04/1010.09 c 933s| 4490k| 4453k| 0 | 0.0 |1273M|2301 | - |3012 |1098 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1012.34/1012.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.34/1012.33 c 935s| 4500k| 4463k| 0 | 0.0 |1276M|2301 | - |3012 |1121 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1014.54/1014.57 c 937s| 4510k| 4473k| 0 | 0.0 |1279M|2301 | - |3012 |1127 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1016.84/1016.84 c 939s| 4520k| 4483k| 0 | 0.0 |1282M|2301 | - |3012 |1115 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1019.04/1019.09 c 942s| 4530k| 4493k| 0 | 0.0 |1284M|2301 | - |3012 |1141 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1021.34/1021.34 c 944s| 4540k| 4503k| 0 | 0.0 |1287M|2301 | - |3012 |1054 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1023.54/1023.58 c 946s| 4550k| 4513k| 0 | 0.0 |1290M|2301 | - |3012 |1079 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1025.84/1025.85 c 948s| 4560k| 4523k| 0 | 0.0 |1293M|2301 | - |3012 |1087 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1028.04/1028.09 c 950s| 4570k| 4533k| 0 | 0.0 |1296M|2301 | - |3012 |1107 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1030.35/1030.35 c 952s| 4580k| 4543k| 0 | 0.0 |1298M|2301 | - |3012 |1097 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1032.64/1032.62 c 954s| 4590k| 4553k| 0 | 0.0 |1301M|2301 | - |3012 |1065 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1034.84/1034.85 c 956s| 4600k| 4563k| 0 | 0.0 |1304M|2301 | - |3012 |1016 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1037.14/1037.12 c 958s| 4610k| 4572k| 0 | 0.0 |1307M|2301 | - |3012 |1036 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1039.34/1039.37 c 960s| 4620k| 4582k| 0 | 0.0 |1310M|2301 | - |3012 |1048 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1041.65/1041.61 c 962s| 4630k| 4592k| 0 | 0.0 |1312M|2301 | - |3012 |1045 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1043.85/1043.84 c 964s| 4640k| 4602k| 0 | 0.0 |1315M|2301 | - |3012 |1074 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1046.04/1046.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.04/1046.08 c 966s| 4650k| 4612k| 0 | 0.0 |1318M|2301 | - |3012 |1146 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1048.35/1048.33 c 968s| 4660k| 4622k| 0 | 0.0 |1321M|2301 | - |3012 |1172 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1050.54/1050.59 c 970s| 4670k| 4632k| 0 | 0.0 |1324M|2301 | - |3012 |1203 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1052.84/1052.84 c 972s| 4680k| 4642k| 0 | 0.0 |1326M|2301 | - |3012 |1145 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1055.15/1055.10 c 975s| 4690k| 4652k| 0 | 0.0 |1329M|2301 | - |3012 |1153 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1057.34/1057.37 c 977s| 4700k| 4662k| 0 | 0.0 |1332M|2301 | - |3012 |1182 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1059.64/1059.62 c 979s| 4710k| 4672k| 0 | 0.0 |1335M|2301 | - |3012 |1197 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1061.84/1061.86 c 981s| 4720k| 4682k| 0 | 0.0 |1338M|2301 | - |3012 |1202 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1064.14/1064.11 c 983s| 4730k| 4692k| 0 | 0.0 |1340M|2301 | - |3012 |1189 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1066.34/1066.36 c 985s| 4740k| 4702k| 0 | 0.0 |1343M|2301 | - |3012 |1159 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1068.54/1068.57 c 987s| 4750k| 4711k| 0 | 0.0 |1346M|2301 | - |3012 |1166 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1070.84/1070.81 c 989s| 4760k| 4721k| 0 | 0.0 |1349M|2301 | - |3012 |1158 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1073.05/1073.04 c 991s| 4770k| 4731k| 0 | 0.0 |1352M|2301 | - |3012 |1178 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1075.25/1075.29 c 993s| 4780k| 4741k| 0 | 0.0 |1354M|2301 | - |3012 |1204 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1077.54/1077.50 c 995s| 4790k| 4751k| 0 | 0.0 |1357M|2301 | - |3012 |1169 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1079.74/1079.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.74/1079.75 c 997s| 4800k| 4761k| 0 | 0.0 |1360M|2301 | - |3012 |1176 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1081.95/1081.99 c 999s| 4810k| 4771k| 0 | 0.0 |1363M|2301 | - |3012 |1168 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1084.24/1084.25 c 1001s| 4820k| 4781k| 0 | 0.0 |1366M|2301 | - |3012 |1123 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1086.44/1086.48 c 1003s| 4830k| 4791k| 0 | 0.0 |1368M|2301 | - |3012 |1124 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1088.74/1088.74 c 1005s| 4840k| 4801k| 0 | 0.0 |1371M|2301 | - |3012 |1111 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1090.94/1090.98 c 1007s| 4850k| 4811k| 0 | 0.0 |1374M|2301 | - |3012 |1115 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1093.24/1093.24 c 1009s| 4860k| 4821k| 0 | 0.0 |1377M|2301 | - |3012 |1101 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1095.54/1095.51 c 1012s| 4870k| 4831k| 0 | 0.0 |1380M|2301 | - |3012 |1123 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1097.75/1097.76 c 1014s| 4880k| 4841k| 0 | 0.0 |1382M|2301 | - |3012 |1125 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1100.05/1100.01 c 1016s| 4890k| 4851k| 0 | 0.0 |1385M|2301 | - |3012 |1085 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1102.25/1102.25 c 1018s| 4900k| 4860k| 0 | 0.0 |1388M|2301 | - |3012 |1088 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1104.45/1104.46 c 1020s| 4910k| 4870k| 0 | 0.0 |1391M|2301 | - |3012 |1119 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1106.75/1106.71 c 1022s| 4920k| 4880k| 0 | 0.0 |1394M|2301 | - |3012 |1134 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1108.95/1108.92 c 1024s| 4930k| 4890k| 0 | 0.0 |1396M|2301 | - |3012 |1135 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1111.15/1111.16 c 1026s| 4940k| 4900k| 0 | 0.0 |1399M|2301 | - |3012 |1144 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1113.44/1113.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.44/1113.44 c 1028s| 4950k| 4910k| 0 | 0.0 |1402M|2301 | - |3012 |1173 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1115.64/1115.69 c 1030s| 4960k| 4920k| 0 | 0.0 |1405M|2301 | - |3012 |1180 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1117.94/1117.93 c 1032s| 4970k| 4930k| 0 | 0.0 |1408M|2301 | - |3012 |1145 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1120.15/1120.19 c 1034s| 4980k| 4940k| 0 | 0.0 |1410M|2301 | - |3012 |1192 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1122.45/1122.41 c 1036s| 4990k| 4950k| 0 | 0.0 |1413M|2301 | - |3012 |1149 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1124.65/1124.65 c 1038s| 5000k| 4960k| 0 | 0.0 |1416M|2301 | - |3012 |1170 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1126.95/1126.90 c 1040s| 5010k| 4970k| 0 | 0.0 |1419M|2301 | - |3012 |1193 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1129.15/1129.15 c 1042s| 5020k| 4980k| 0 | 0.0 |1421M|2301 | - |3012 |1148 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1131.35/1131.39 c 1044s| 5030k| 4990k| 0 | 0.0 |1424M|2301 | - |3012 |1121 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1133.64/1133.63 c 1046s| 5040k| 5000k| 0 | 0.0 |1427M|2301 | - |3012 |1122 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1135.84/1135.86 c 1049s| 5050k| 5009k| 0 | 0.0 |1430M|2301 | - |3012 |1099 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1138.04/1138.09 c 1051s| 5060k| 5019k| 0 | 0.0 |1433M|2301 | - |3012 |1115 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1140.35/1140.32 c 1053s| 5070k| 5029k| 0 | 0.0 |1435M|2301 | - |3012 |1114 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1142.55/1142.56 c 1055s| 5080k| 5039k| 0 | 0.0 |1438M|2301 | - |3012 |1130 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1144.84/1144.82 c 1057s| 5090k| 5049k| 0 | 0.0 |1441M|2301 | - |3012 |1134 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1147.05/1147.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.05/1147.05 c 1059s| 5100k| 5059k| 0 | 0.0 |1444M|2301 | - |3012 |1140 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1149.35/1149.31 c 1061s| 5110k| 5069k| 0 | 0.0 |1446M|2301 | - |3012 |1173 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1151.55/1151.54 c 1063s| 5120k| 5079k| 0 | 0.0 |1449M|2301 | - |3012 |1120 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1153.75/1153.77 c 1065s| 5130k| 5089k| 0 | 0.0 |1452M|2301 | - |3012 |1158 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1156.05/1156.02 c 1067s| 5140k| 5099k| 0 | 0.0 |1455M|2301 | - |3012 |1174 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1158.25/1158.24 c 1069s| 5150k| 5109k| 0 | 0.0 |1458M|2301 | - |3012 |1201 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1160.45/1160.48 c 1071s| 5160k| 5119k| 0 | 0.0 |1460M|2301 | - |3012 |1226 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1162.75/1162.72 c 1073s| 5170k| 5129k| 0 | 0.0 |1463M|2301 | - |3012 |1212 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1164.95/1164.99 c 1075s| 5180k| 5139k| 0 | 0.0 |1466M|2301 | - |3012 |1281 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1167.25/1167.23 c 1077s| 5190k| 5148k| 0 | 0.0 |1469M|2301 | - |3012 |1241 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1169.45/1169.44 c 1079s| 5200k| 5158k| 0 | 0.0 |1472M|2301 | - |3012 |1238 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1171.65/1171.68 c 1081s| 5210k| 5168k| 0 | 0.0 |1474M|2301 | - |3012 |1222 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1173.94/1173.90 c 1083s| 5220k| 5178k| 0 | 0.0 |1477M|2301 | - |3012 |1197 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1176.15/1176.15 c 1086s| 5230k| 5188k| 0 | 0.0 |1480M|2301 | - |3012 |1223 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1178.35/1178.36 c 1088s| 5240k| 5198k| 0 | 0.0 |1483M|2301 | - |3012 |1165 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1180.65/1180.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.65/1180.61 c 1090s| 5250k| 5208k| 0 | 0.0 |1486M|2301 | - |3012 |1158 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1182.85/1182.82 c 1092s| 5260k| 5218k| 0 | 0.0 |1488M|2301 | - |3012 |1157 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1185.05/1185.06 c 1094s| 5270k| 5228k| 0 | 0.0 |1491M|2301 | - |3012 |1136 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1187.35/1187.30 c 1096s| 5280k| 5238k| 0 | 0.0 |1494M|2301 | - |3012 |1119 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1189.55/1189.54 c 1098s| 5290k| 5248k| 0 | 0.0 |1497M|2301 | - |3012 |1110 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1191.75/1191.79 c 1100s| 5300k| 5258k| 0 | 0.0 |1500M|2301 | - |3012 |1090 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1194.05/1194.05 c 1102s| 5310k| 5268k| 0 | 0.0 |1502M|2301 | - |3012 |1110 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1196.35/1196.32 c 1104s| 5320k| 5278k| 0 | 0.0 |1505M|2301 | - |3012 |1163 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1198.55/1198.56 c 1106s| 5330k| 5287k| 0 | 0.0 |1508M|2301 | - |3012 |1166 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1200.75/1200.78 c 1108s| 5340k| 5297k| 0 | 0.0 |1511M|2301 | - |3012 |1163 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1202.95/1203.00 c 1110s| 5350k| 5307k| 0 | 0.0 |1514M|2301 | - |3012 |1191 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1205.25/1205.27 c 1112s| 5360k| 5317k| 0 | 0.0 |1516M|2301 | - |3012 |1179 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1207.55/1207.52 c 1114s| 5370k| 5327k| 0 | 0.0 |1519M|2301 | - |3012 |1224 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1209.75/1209.76 c 1116s| 5380k| 5337k| 0 | 0.0 |1522M|2301 | - |3012 |1187 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1211.95/1211.99 c 1118s| 5390k| 5347k| 0 | 0.0 |1525M|2301 | - |3012 |1192 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1214.25/1214.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.25/1214.24 c 1120s| 5400k| 5357k| 0 | 0.0 |1528M|2301 | - |3012 |1238 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1216.55/1216.50 c 1122s| 5410k| 5367k| 0 | 0.0 |1530M|2301 | - |3012 |1259 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1218.75/1218.74 c 1125s| 5420k| 5377k| 0 | 0.0 |1533M|2301 | - |3012 |1253 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1220.96/1220.97 c 1127s| 5430k| 5387k| 0 | 0.0 |1536M|2301 | - |3012 |1228 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1223.25/1223.26 c 1129s| 5440k| 5397k| 0 | 0.0 |1539M|2301 | - |3012 |1265 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1225.55/1225.51 c 1131s| 5450k| 5407k| 0 | 0.0 |1542M|2301 | - |3012 |1250 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1227.75/1227.75 c 1133s| 5460k| 5417k| 0 | 0.0 |1544M|2301 | - |3012 |1242 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1229.95/1229.96 c 1135s| 5470k| 5427k| 0 | 0.0 |1547M|2301 | - |3012 |1256 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1232.15/1232.20 c 1137s| 5480k| 5436k| 0 | 0.0 |1550M|2301 | - |3012 |1246 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1234.45/1234.44 c 1139s| 5490k| 5446k| 0 | 0.0 |1553M|2301 | - |3012 |1220 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1236.75/1236.71 c 1141s| 5500k| 5456k| 0 | 0.0 |1556M|2301 | - |3012 |1237 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1238.96/1238.94 c 1143s| 5510k| 5466k| 0 | 0.0 |1558M|2301 | - |3012 |1255 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1241.15/1241.17 c 1145s| 5520k| 5476k| 0 | 0.0 |1561M|2301 | - |3012 |1214 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1243.45/1243.43 c 1147s| 5530k| 5486k| 0 | 0.0 |1564M|2301 | - |3012 |1247 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1245.75/1245.71 c 1149s| 5540k| 5496k| 0 | 0.0 |1567M|2301 | - |3012 |1313 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1247.95/1247.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.95/1247.93 c 1151s| 5550k| 5506k| 0 | 0.0 |1570M|2301 | - |3012 |1317 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1250.16/1250.15 c 1153s| 5560k| 5516k| 0 | 0.0 |1572M|2301 | - |3012 |1310 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1252.35/1252.36 c 1155s| 5570k| 5526k| 0 | 0.0 |1575M|2301 | - |3012 |1340 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1254.65/1254.61 c 1157s| 5580k| 5536k| 0 | 0.0 |1578M|2301 | - |3012 |1299 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1256.85/1256.83 c 1159s| 5590k| 5546k| 0 | 0.0 |1581M|2301 | - |3012 |1323 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1259.05/1259.04 c 1161s| 5600k| 5556k| 0 | 0.0 |1584M|2301 | - |3012 |1301 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1261.26/1261.28 c 1164s| 5610k| 5566k| 0 | 0.0 |1586M|2301 | - |3012 |1279 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1263.56/1263.50 c 1166s| 5620k| 5575k| 0 | 0.0 |1589M|2301 | - |3012 |1314 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1265.75/1265.73 c 1168s| 5630k| 5585k| 0 | 0.0 |1592M|2301 | - |3012 |1321 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1267.96/1267.95 c 1170s| 5640k| 5595k| 0 | 0.0 |1595M|2301 | - |3012 |1309 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1270.15/1270.18 c 1172s| 5650k| 5605k| 0 | 0.0 |1598M|2301 | - |3012 |1302 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1272.45/1272.42 c 1174s| 5660k| 5615k| 0 | 0.0 |1600M|2301 | - |3012 |1257 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1274.65/1274.65 c 1176s| 5670k| 5625k| 0 | 0.0 |1603M|2301 | - |3012 |1236 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1276.96/1276.92 c 1178s| 5680k| 5635k| 0 | 0.0 |1606M|2301 | - |3012 |1242 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1279.16/1279.15 c 1180s| 5690k| 5645k| 0 | 0.0 |1609M|2301 | - |3012 |1282 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1281.36/1281.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.36/1281.39 c 1182s| 5700k| 5655k| 0 | 0.0 |1612M|2301 | - |3012 |1258 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1283.66/1283.62 c 1184s| 5710k| 5665k| 0 | 0.0 |1614M|2301 | - |3012 |1260 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1285.85/1285.86 c 1186s| 5720k| 5675k| 0 | 0.0 |1617M|2301 | - |3012 |1247 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1288.06/1288.08 c 1188s| 5730k| 5685k| 0 | 0.0 |1620M|2301 | - |3012 |1223 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1290.36/1290.32 c 1190s| 5740k| 5695k| 0 | 0.0 |1623M|2301 | - |3012 |1185 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1292.55/1292.56 c 1192s| 5750k| 5705k| 0 | 0.0 |1626M|2301 | - |3012 |1218 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1294.86/1294.80 c 1194s| 5760k| 5715k| 0 | 0.0 |1628M|2301 | - |3012 |1228 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1297.05/1297.06 c 1196s| 5770k| 5724k| 0 | 0.0 |1631M|2301 | - |3012 |1236 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1299.35/1299.32 c 1198s| 5780k| 5734k| 0 | 0.0 |1634M|2301 | - |3012 |1258 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1301.55/1301.58 c 1200s| 5790k| 5744k| 0 | 0.0 |1637M|2301 | - |3012 |1207 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1303.86/1303.83 c 1203s| 5800k| 5754k| 0 | 0.0 |1640M|2301 | - |3012 |1241 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1306.06/1306.03 c 1205s| 5810k| 5764k| 0 | 0.0 |1642M|2301 | - |3012 |1231 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1308.25/1308.27 c 1207s| 5820k| 5774k| 0 | 0.0 |1645M|2301 | - |3012 |1174 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1310.45/1310.47 c 1209s| 5830k| 5784k| 0 | 0.0 |1648M|2301 | - |3012 |1182 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1312.76/1312.72 c 1211s| 5840k| 5794k| 0 | 0.0 |1651M|2301 | - |3012 |1194 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1314.96/1314.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.96/1314.94 c 1213s| 5850k| 5804k| 0 | 0.0 |1654M|2301 | - |3012 |1175 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1317.15/1317.17 c 1215s| 5860k| 5814k| 0 | 0.0 |1656M|2301 | - |3012 |1233 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1319.45/1319.42 c 1217s| 5870k| 5824k| 0 | 0.0 |1659M|2301 | - |3012 |1216 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1321.66/1321.67 c 1219s| 5880k| 5834k| 0 | 0.0 |1662M|2301 | - |3012 |1205 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1323.95/1323.90 c 1221s| 5890k| 5844k| 0 | 0.0 |1665M|2301 | - |3012 |1199 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1326.16/1326.15 c 1223s| 5900k| 5854k| 0 | 0.0 |1668M|2301 | - |3012 |1260 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1328.35/1328.36 c 1225s| 5910k| 5863k| 0 | 0.0 |1670M|2301 | - |3012 |1210 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1330.55/1330.56 c 1227s| 5920k| 5873k| 0 | 0.0 |1673M|2301 | - |3012 |1252 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1332.86/1332.80 c 1229s| 5930k| 5883k| 0 | 0.0 |1676M|2301 | - |3012 |1270 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1335.06/1335.03 c 1231s| 5940k| 5893k| 0 | 0.0 |1679M|2301 | - |3012 |1211 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1337.25/1337.25 c 1233s| 5950k| 5903k| 0 | 0.0 |1682M|2301 | - |3012 |1222 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1339.56/1339.52 c 1235s| 5960k| 5913k| 0 | 0.0 |1685M|2301 | - |3012 |1272 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1341.75/1341.78 c 1237s| 5970k| 5923k| 0 | 0.0 |1687M|2301 | - |3012 |1284 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1344.05/1344.03 c 1239s| 5980k| 5933k| 0 | 0.0 |1690M|2301 | - |3012 |1300 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1346.26/1346.26 c 1241s| 5990k| 5943k| 0 | 0.0 |1693M|2301 | - |3012 |1268 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1348.46/1348.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.46/1348.49 c 1243s| 6000k| 5953k| 0 | 0.0 |1696M|2301 | - |3012 |1288 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1350.76/1350.72 c 1245s| 6010k| 5963k| 0 | 0.0 |1698M|2301 | - |3012 |1247 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1352.96/1352.95 c 1247s| 6020k| 5973k| 0 | 0.0 |1701M|2301 | - |3012 |1215 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1355.16/1355.18 c 1249s| 6030k| 5983k| 0 | 0.0 |1704M|2301 | - |3012 |1206 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1357.46/1357.43 c 1251s| 6040k| 5993k| 0 | 0.0 |1707M|2301 | - |3012 |1178 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1359.66/1359.67 c 1254s| 6050k| 6002k| 0 | 0.0 |1710M|2301 | - |3012 |1248 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1361.95/1361.93 c 1256s| 6060k| 6012k| 0 | 0.0 |1712M|2301 | - |3012 |1207 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1364.16/1364.19 c 1258s| 6070k| 6022k| 0 | 0.0 |1715M|2301 | - |3012 |1218 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1366.45/1366.40 c 1260s| 6080k| 6032k| 0 | 0.0 |1718M|2301 | - |3012 |1176 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1368.65/1368.64 c 1262s| 6090k| 6042k| 0 | 0.0 |1721M|2301 | - |3012 |1179 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1370.85/1370.87 c 1264s| 6100k| 6052k| 0 | 0.0 |1724M|2301 | - |3012 |1241 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1373.16/1373.10 c 1266s| 6110k| 6062k| 0 | 0.0 |1726M|2301 | - |3012 |1154 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1375.35/1375.33 c 1268s| 6120k| 6072k| 0 | 0.0 |1729M|2301 | - |3012 |1181 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1377.55/1377.58 c 1270s| 6130k| 6082k| 0 | 0.0 |1732M|2301 | - |3012 |1175 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1379.86/1379.80 c 1272s| 6140k| 6092k| 0 | 0.0 |1735M|2301 | - |3012 |1230 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1382.05/1382.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.05/1382.06 c 1274s| 6150k| 6102k| 0 | 0.0 |1737M|2301 | - |3012 |1232 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1384.35/1384.31 c 1276s| 6160k| 6112k| 0 | 0.0 |1740M|2301 | - |3012 |1234 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1386.56/1386.55 c 1278s| 6170k| 6122k| 0 | 0.0 |1743M|2301 | - |3012 |1261 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1388.76/1388.79 c 1280s| 6180k| 6132k| 0 | 0.0 |1746M|2301 | - |3012 |1291 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1391.06/1391.00 c 1282s| 6190k| 6141k| 0 | 0.0 |1749M|2301 | - |3012 |1236 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1393.25/1393.26 c 1284s| 6200k| 6151k| 0 | 0.0 |1751M|2301 | - |3012 |1300 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1395.56/1395.51 c 1286s| 6210k| 6161k| 0 | 0.0 |1754M|2301 | - |3012 |1255 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1397.75/1397.76 c 1289s| 6220k| 6171k| 0 | 0.0 |1757M|2301 | - |3012 |1266 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1400.06/1400.01 c 1291s| 6230k| 6181k| 0 | 0.0 |1760M|2301 | - |3012 |1229 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1402.26/1402.27 c 1293s| 6240k| 6191k| 0 | 0.0 |1762M|2301 | - |3012 |1254 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1404.56/1404.51 c 1295s| 6250k| 6201k| 0 | 0.0 |1765M|2301 | - |3012 |1160 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1406.75/1406.72 c 1297s| 6260k| 6211k| 0 | 0.0 |1768M|2301 | - |3012 |1156 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1408.96/1408.98 c 1299s| 6270k| 6221k| 0 | 0.0 |1771M|2301 | - |3012 |1205 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1411.16/1411.20 c 1301s| 6280k| 6231k| 0 | 0.0 |1773M|2301 | - |3012 |1193 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1413.47/1413.41 c 1303s| 6290k| 6241k| 0 | 0.0 |1776M|2301 | - |3012 |1171 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1415.67/1415.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.67/1415.61 c 1305s| 6300k| 6251k| 0 | 0.0 |1779M|2301 | - |3012 |1189 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1417.86/1417.82 c 1307s| 6310k| 6261k| 0 | 0.0 |1782M|2301 | - |3012 |1135 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1420.06/1420.05 c 1309s| 6320k| 6271k| 0 | 0.0 |1785M|2301 | - |3012 |1163 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1422.36/1422.32 c 1311s| 6330k| 6281k| 0 | 0.0 |1787M|2301 | - |3012 |1150 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1424.56/1424.54 c 1313s| 6340k| 6290k| 0 | 0.0 |1790M|2301 | - |3012 |1109 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1426.86/1426.80 c 1315s| 6350k| 6300k| 0 | 0.0 |1793M|2301 | - |3012 |1151 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1429.06/1429.03 c 1317s| 6360k| 6310k| 0 | 0.0 |1796M|2301 | - |3012 |1104 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1431.26/1431.24 c 1319s| 6370k| 6320k| 0 | 0.0 |1799M|2301 | - |3012 |1163 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1433.46/1433.48 c 1321s| 6380k| 6330k| 0 | 0.0 |1801M|2301 | - |3012 |1146 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1435.75/1435.71 c 1323s| 6390k| 6340k| 0 | 0.0 |1804M|2301 | - |3012 |1105 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1437.96/1437.94 c 1325s| 6400k| 6350k| 0 | 0.0 |1807M|2301 | - |3012 |1096 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1440.16/1440.15 c 1327s| 6410k| 6360k| 0 | 0.0 |1810M|2301 | - |3012 |1086 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1442.36/1442.39 c 1329s| 6420k| 6370k| 0 | 0.0 |1813M|2301 | - |3012 |1102 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1444.66/1444.65 c 1331s| 6430k| 6380k| 0 | 0.0 |1815M|2301 | - |3012 |1092 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1446.86/1446.89 c 1333s| 6440k| 6390k| 0 | 0.0 |1818M|2301 | - |3012 |1089 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1449.16/1449.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.16/1449.11 c 1336s| 6450k| 6400k| 0 | 0.0 |1821M|2301 | - |3012 |1070 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1451.36/1451.34 c 1338s| 6460k| 6410k| 0 | 0.0 |1824M|2301 | - |3012 |1068 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1453.66/1453.61 c 1340s| 6470k| 6419k| 0 | 0.0 |1827M|2301 | - |3012 |1109 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1455.86/1455.83 c 1342s| 6480k| 6429k| 0 | 0.0 |1829M|2301 | - |3012 |1059 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1458.06/1458.04 c 1344s| 6490k| 6439k| 0 | 0.0 |1832M|2301 | - |3012 |1097 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1460.26/1460.26 c 1346s| 6500k| 6449k| 0 | 0.0 |1835M|2301 | - |3012 |1104 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1462.56/1462.50 c 1348s| 6510k| 6459k| 0 | 0.0 |1838M|2301 | - |3012 |1104 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1464.76/1464.73 c 1350s| 6520k| 6469k| 0 | 0.0 |1841M|2301 | - |3012 |1087 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1466.96/1466.98 c 1352s| 6530k| 6479k| 0 | 0.0 |1843M|2301 | - |3012 |1091 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1469.26/1469.23 c 1354s| 6540k| 6489k| 0 | 0.0 |1846M|2301 | - |3012 |1104 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1471.47/1471.47 c 1356s| 6550k| 6499k| 0 | 0.0 |1849M|2301 | - |3012 |1087 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1473.76/1473.72 c 1358s| 6560k| 6509k| 0 | 0.0 |1852M|2301 | - |3012 |1081 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1475.96/1475.96 c 1360s| 6570k| 6519k| 0 | 0.0 |1855M|2301 | - |3012 |1074 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1478.16/1478.19 c 1362s| 6580k| 6529k| 0 | 0.0 |1857M|2301 | - |3012 |1028 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1480.46/1480.41 c 1364s| 6590k| 6539k| 0 | 0.0 |1860M|2301 | - |3012 |1046 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1482.66/1482.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.66/1482.64 c 1366s| 6600k| 6549k| 0 | 0.0 |1863M|2301 | - |3012 |1018 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1484.86/1484.87 c 1368s| 6610k| 6559k| 0 | 0.0 |1866M|2301 | - |3012 |1046 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1487.16/1487.13 c 1370s| 6620k| 6568k| 0 | 0.0 |1869M|2301 | - |3012 |1057 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1489.37/1489.37 c 1372s| 6630k| 6578k| 0 | 0.0 |1871M|2301 | - |3012 |1065 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1491.67/1491.61 c 1374s| 6640k| 6588k| 0 | 0.0 |1874M|2301 | - |3012 |1097 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1493.87/1493.83 c 1376s| 6650k| 6598k| 0 | 0.0 |1877M|2301 | - |3012 |1063 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1496.07/1496.07 c 1379s| 6660k| 6608k| 0 | 0.0 |1880M|2301 | - |3012 |1043 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1498.37/1498.31 c 1381s| 6670k| 6618k| 0 | 0.0 |1882M|2301 | - |3012 |1104 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1500.56/1500.53 c 1383s| 6680k| 6628k| 0 | 0.0 |1885M|2301 | - |3012 |1122 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1502.76/1502.75 c 1385s| 6690k| 6638k| 0 | 0.0 |1888M|2301 | - |3012 |1070 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1504.97/1504.98 c 1387s| 6700k| 6648k| 0 | 0.0 |1891M|2301 | - |3012 |1063 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1507.26/1507.22 c 1389s| 6710k| 6658k| 0 | 0.0 |1894M|2301 | - |3012 |1076 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1509.46/1509.45 c 1391s| 6720k| 6668k| 0 | 0.0 |1896M|2301 | - |3012 |1042 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1511.67/1511.68 c 1393s| 6730k| 6678k| 0 | 0.0 |1899M|2301 | - |3012 |1076 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1513.97/1513.93 c 1395s| 6740k| 6688k| 0 | 0.0 |1902M|2301 | - |3012 |1069 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1516.17/1516.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.17/1516.14 c 1397s| 6750k| 6698k| 0 | 0.0 |1905M|2301 | - |3012 |1074 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1518.36/1518.37 c 1399s| 6760k| 6707k| 0 | 0.0 |1908M|2301 | - |3012 |1068 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1520.57/1520.59 c 1401s| 6770k| 6717k| 0 | 0.0 |1910M|2301 | - |3012 |1091 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1522.86/1522.81 c 1403s| 6780k| 6727k| 0 | 0.0 |1913M|2301 | - |3012 |1150 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1525.06/1525.03 c 1405s| 6790k| 6737k| 0 | 0.0 |1916M|2301 | - |3012 |1118 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1527.27/1527.24 c 1407s| 6800k| 6747k| 0 | 0.0 |1919M|2301 | - |3012 |1120 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1529.46/1529.49 c 1409s| 6810k| 6757k| 0 | 0.0 |1922M|2301 | - |3012 |1164 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1531.77/1531.70 c 1411s| 6820k| 6767k| 0 | 0.0 |1924M|2301 | - |3012 |1109 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1533.96/1533.93 c 1413s| 6830k| 6777k| 0 | 0.0 |1927M|2301 | - |3012 |1155 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1536.16/1536.15 c 1415s| 6840k| 6787k| 0 | 0.0 |1930M|2301 | - |3012 |1167 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1538.37/1538.39 c 1417s| 6850k| 6797k| 0 | 0.0 |1933M|2301 | - |3012 |1156 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1540.67/1540.60 c 1419s| 6860k| 6807k| 0 | 0.0 |1936M|2301 | - |3012 |1163 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1542.86/1542.81 c 1421s| 6870k| 6817k| 0 | 0.0 |1938M|2301 | - |3012 |1177 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1545.07/1545.03 c 1423s| 6880k| 6827k| 0 | 0.0 |1941M|2301 | - |3012 |1170 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1547.27/1547.25 c 1425s| 6890k| 6837k| 0 | 0.0 |1944M|2301 | - |3012 |1173 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1549.47/1549.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.47/1549.48 c 1427s| 6900k| 6846k| 0 | 0.0 |1947M|2301 | - |3012 |1157 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1551.77/1551.72 c 1429s| 6910k| 6856k| 0 | 0.0 |1950M|2301 | - |3012 |1124 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1553.96/1553.96 c 1431s| 6920k| 6866k| 0 | 0.0 |1952M|2301 | - |3012 |1144 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1556.17/1556.18 c 1433s| 6930k| 6876k| 0 | 0.0 |1955M|2301 | - |3012 |1114 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1558.47/1558.43 c 1436s| 6940k| 6886k| 0 | 0.0 |1958M|2301 | - |3012 |1105 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1560.67/1560.67 c 1438s| 6950k| 6896k| 0 | 0.0 |1961M|2301 | - |3012 |1082 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1562.86/1562.88 c 1440s| 6960k| 6906k| 0 | 0.0 |1964M|2301 | - |3012 |1073 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1565.16/1565.11 c 1442s| 6970k| 6916k| 0 | 0.0 |1966M|2301 | - |3012 |1117 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1567.36/1567.33 c 1444s| 6980k| 6926k| 0 | 0.0 |1969M|2301 | - |3012 |1112 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1569.57/1569.53 c 1446s| 6990k| 6936k| 0 | 0.0 |1972M|2301 | - |3012 |1078 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1571.77/1571.73 c 1448s| 7000k| 6946k| 0 | 0.0 |1975M|2301 | - |3012 |1096 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1573.97/1573.96 c 1450s| 7010k| 6956k| 0 | 0.0 |1978M|2301 | - |3012 |1092 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1576.17/1576.20 c 1452s| 7020k| 6966k| 0 | 0.0 |1980M|2301 | - |3012 |1145 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1578.47/1578.44 c 1454s| 7030k| 6976k| 0 | 0.0 |1983M|2301 | - |3012 |1155 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1580.68/1580.68 c 1456s| 7040k| 6985k| 0 | 0.0 |1986M|2301 | - |3012 |1144 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1582.97/1582.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.97/1582.93 c 1458s| 7050k| 6995k| 0 | 0.0 |1989M|2301 | - |3012 |1137 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1585.17/1585.14 c 1460s| 7060k| 7005k| 0 | 0.0 |1992M|2301 | - |3012 |1134 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1587.37/1587.36 c 1462s| 7070k| 7015k| 0 | 0.0 |1994M|2301 | - |3012 |1133 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1589.58/1589.58 c 1464s| 7080k| 7025k| 0 | 0.0 |1997M|2301 | - |3012 |1149 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1591.77/1591.79 c 1466s| 7090k| 7035k| 0 | 0.0 |2000M|2301 | - |3012 |1183 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1594.07/1594.02 c 1468s| 7100k| 7045k| 0 | 0.0 |2003M|2301 | - |3012 |1167 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1596.27/1596.25 c 1470s| 7110k| 7055k| 0 | 0.0 |2006M|2301 | - |3012 |1127 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1598.47/1598.48 c 1472s| 7120k| 7065k| 0 | 0.0 |2008M|2301 | - |3012 |1132 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1600.76/1600.72 c 1474s| 7130k| 7075k| 0 | 0.0 |2011M|2301 | - |3012 |1157 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1602.97/1602.93 c 1476s| 7140k| 7085k| 0 | 0.0 |2014M|2301 | - |3012 |1154 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1605.17/1605.18 c 1478s| 7150k| 7095k| 0 | 0.0 |2017M|2301 | - |3012 |1184 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1607.47/1607.41 c 1480s| 7160k| 7105k| 0 | 0.0 |2020M|2301 | - |3012 |1186 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1609.66/1609.63 c 1482s| 7170k| 7115k| 0 | 0.0 |2022M|2301 | - |3012 |1239 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1611.86/1611.86 c 1484s| 7180k| 7124k| 0 | 0.0 |2025M|2301 | - |3012 |1149 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1614.07/1614.08 c 1486s| 7190k| 7134k| 0 | 0.0 |2028M|2301 | - |3012 |1215 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1616.27/1616.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.27/1616.29 c 1488s| 7200k| 7144k| 0 | 0.0 |2031M|2301 | - |3012 |1193 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1618.57/1618.50 c 1490s| 7210k| 7154k| 0 | 0.0 |2034M|2301 | - |3012 |1171 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1620.77/1620.77 c 1493s| 7220k| 7164k| 0 | 0.0 |2036M|2301 | - |3012 |1223 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1623.07/1623.00 c 1495s| 7230k| 7174k| 0 | 0.0 |2039M|2301 | - |3012 |1210 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1625.27/1625.23 c 1497s| 7240k| 7184k| 0 | 0.0 |2042M|2301 | - |3012 |1204 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1627.47/1627.48 c 1499s| 7250k| 7194k| 0 | 0.0 |2045M|2301 | - |3012 |1226 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1629.67/1629.69 c 1501s| 7260k| 7204k| 0 | 0.0 |2047M|2301 | - |3012 |1212 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1631.97/1631.91 c 1503s| 7270k| 7214k| 0 | 0.0 |2050M|2301 | - |3012 |1168 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1634.17/1634.13 c 1505s| 7280k| 7224k| 0 | 0.0 |2053M|2301 | - |3012 |1197 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1636.37/1636.35 c 1507s| 7290k| 7234k| 0 | 0.0 |2056M|2301 | - |3012 |1170 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1638.57/1638.58 c 1509s| 7300k| 7244k| 0 | 0.0 |2059M|2301 | - |3012 |1196 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1640.77/1640.79 c 1511s| 7310k| 7254k| 0 | 0.0 |2062M|2301 | - |3012 |1214 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1643.07/1643.02 c 1513s| 7320k| 7263k| 0 | 0.0 |2064M|2301 | - |3012 |1178 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1645.27/1645.28 c 1515s| 7330k| 7273k| 0 | 0.0 |2067M|2301 | - |3012 |1185 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1647.57/1647.51 c 1517s| 7340k| 7283k| 0 | 0.0 |2070M|2301 | - |3012 |1200 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1649.77/1649.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.77/1649.75 c 1519s| 7350k| 7293k| 0 | 0.0 |2073M|2301 | - |3012 |1205 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1651.97/1651.97 c 1521s| 7360k| 7303k| 0 | 0.0 |2075M|2301 | - |3012 |1199 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1654.27/1654.20 c 1523s| 7370k| 7313k| 0 | 0.0 |2078M|2301 | - |3012 |1221 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1656.47/1656.44 c 1525s| 7380k| 7323k| 0 | 0.0 |2081M|2301 | - |3012 |1243 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1658.67/1658.66 c 1527s| 7390k| 7333k| 0 | 0.0 |2084M|2301 | - |3012 |1257 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1660.87/1660.86 c 1529s| 7400k| 7343k| 0 | 0.0 |2087M|2301 | - |3012 |1231 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1663.07/1663.06 c 1531s| 7410k| 7353k| 0 | 0.0 |2089M|2301 | - |3012 |1246 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1665.27/1665.26 c 1533s| 7420k| 7363k| 0 | 0.0 |2092M|2301 | - |3012 |1275 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1667.57/1667.50 c 1535s| 7430k| 7373k| 0 | 0.0 |2095M|2301 | - |3012 |1248 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1669.77/1669.75 c 1537s| 7440k| 7383k| 0 | 0.0 |2098M|2301 | - |3012 |1278 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1671.98/1671.99 c 1539s| 7450k| 7393k| 0 | 0.0 |2101M|2301 | - |3012 |1280 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1674.28/1674.22 c 1542s| 7460k| 7402k| 0 | 0.0 |2104M|2301 | - |3012 |1300 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1676.48/1676.45 c 1544s| 7470k| 7412k| 0 | 0.0 |2106M|2301 | - |3012 |1230 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1678.68/1678.68 c 1546s| 7480k| 7422k| 0 | 0.0 |2109M|2301 | - |3012 |1250 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1680.87/1680.89 c 1548s| 7490k| 7432k| 0 | 0.0 |2112M|2301 | - |3012 |1208 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1683.17/1683.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.17/1683.12 c 1550s| 7500k| 7442k| 0 | 0.0 |2115M|2301 | - |3012 |1281 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1685.37/1685.33 c 1552s| 7510k| 7452k| 0 | 0.0 |2118M|2301 | - |3012 |1220 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1687.57/1687.56 c 1554s| 7520k| 7462k| 0 | 0.0 |2120M|2301 | - |3012 |1232 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1689.87/1689.80 c 1556s| 7530k| 7472k| 0 | 0.0 |2123M|2301 | - |3012 |1261 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1692.07/1692.03 c 1558s| 7540k| 7482k| 0 | 0.0 |2126M|2301 | - |3012 |1251 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1694.27/1694.26 c 1560s| 7550k| 7492k| 0 | 0.0 |2129M|2301 | - |3012 |1267 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1696.48/1696.48 c 1562s| 7560k| 7502k| 0 | 0.0 |2132M|2301 | - |3012 |1225 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1698.77/1698.71 c 1564s| 7570k| 7512k| 0 | 0.0 |2134M|2301 | - |3012 |1273 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1700.97/1700.92 c 1566s| 7580k| 7522k| 0 | 0.0 |2137M|2301 | - |3012 |1241 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1703.18/1703.13 c 1568s| 7590k| 7531k| 0 | 0.0 |2140M|2301 | - |3012 |1214 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1705.37/1705.36 c 1570s| 7600k| 7541k| 0 | 0.0 |2143M|2301 | - |3012 |1275 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1707.57/1707.57 c 1572s| 7610k| 7551k| 0 | 0.0 |2146M|2301 | - |3012 |1230 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1709.87/1709.80 c 1574s| 7620k| 7561k| 0 | 0.0 |2149M|2301 | - |3012 |1260 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1712.08/1712.03 c 1576s| 7630k| 7571k| 0 | 0.0 |2151M|2301 | - |3012 |1178 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1714.28/1714.24 c 1578s| 7640k| 7581k| 0 | 0.0 |2154M|2301 | - |3012 |1181 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1716.47/1716.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.47/1716.47 c 1580s| 7650k| 7591k| 0 | 0.0 |2157M|2301 | - |3012 |1201 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1718.78/1718.70 c 1582s| 7660k| 7601k| 0 | 0.0 |2160M|2301 | - |3012 |1175 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1720.98/1720.90 c 1584s| 7670k| 7611k| 0 | 0.0 |2162M|2301 | - |3012 |1175 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1723.17/1723.13 c 1586s| 7680k| 7621k| 0 | 0.0 |2165M|2301 | - |3012 |1171 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1725.38/1725.38 c 1588s| 7690k| 7631k| 0 | 0.0 |2168M|2301 | - |3012 |1198 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1727.57/1727.57 c 1590s| 7700k| 7641k| 0 | 0.0 |2171M|2301 | - |3012 |1213 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1729.78/1729.78 c 1592s| 7710k| 7651k| 0 | 0.0 |2174M|2301 | - |3012 |1179 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1732.08/1732.02 c 1594s| 7720k| 7661k| 0 | 0.0 |2176M|2301 | - |3012 |1192 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1734.28/1734.22 c 1596s| 7730k| 7671k| 0 | 0.0 |2179M|2301 | - |3012 |1222 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1736.47/1736.43 c 1598s| 7740k| 7680k| 0 | 0.0 |2182M|2301 | - |3012 |1200 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1738.67/1738.64 c 1601s| 7750k| 7690k| 0 | 0.0 |2185M|2301 | - |3012 |1169 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1740.87/1740.88 c 1603s| 7760k| 7700k| 0 | 0.0 |2188M|2301 | - |3012 |1205 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1743.07/1743.10 c 1605s| 7770k| 7710k| 0 | 0.0 |2190M|2301 | - |3012 |1197 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1745.37/1745.32 c 1607s| 7780k| 7720k| 0 | 0.0 |2193M|2301 | - |3012 |1203 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1747.57/1747.55 c 1609s| 7790k| 7730k| 0 | 0.0 |2196M|2301 | - |3012 |1166 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1749.78/1749.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.78/1749.76 c 1611s| 7800k| 7740k| 0 | 0.0 |2199M|2301 | - |3012 |1195 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1751.98/1751.98 c 1613s| 7810k| 7750k| 0 | 0.0 |2202M|2301 | - |3012 |1147 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1754.17/1754.18 c 1615s| 7820k| 7760k| 0 | 0.0 |2204M|2301 | - |3012 |1146 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1756.38/1756.39 c 1617s| 7830k| 7770k| 0 | 0.0 |2207M|2301 | - |3012 |1134 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1758.67/1758.61 c 1619s| 7840k| 7780k| 0 | 0.0 |2210M|2301 | - |3012 |1107 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1760.88/1760.83 c 1621s| 7850k| 7790k| 0 | 0.0 |2213M|2301 | - |3012 |1119 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1763.08/1763.05 c 1623s| 7860k| 7800k| 0 | 0.0 |2216M|2301 | - |3012 |1099 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1765.28/1765.27 c 1625s| 7870k| 7810k| 0 | 0.0 |2219M|2301 | - |3012 |1070 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1767.48/1767.49 c 1627s| 7880k| 7819k| 0 | 0.0 |2221M|2301 | - |3012 |1121 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1769.78/1769.71 c 1629s| 7890k| 7829k| 0 | 0.0 |2224M|2301 | - |3012 |1104 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1771.98/1771.90 c 1631s| 7900k| 7839k| 0 | 0.0 |2227M|2301 | - |3012 |1142 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1774.17/1774.11 c 1633s| 7910k| 7849k| 0 | 0.0 |2230M|2301 | - |3012 |1123 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1776.38/1776.31 c 1635s| 7920k| 7859k| 0 | 0.0 |2233M|2301 | - |3012 |1118 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1778.58/1778.52 c 1637s| 7930k| 7869k| 0 | 0.0 |2235M|2301 | - |3012 |1114 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1780.78/1780.77 c 1639s| 7940k| 7879k| 0 | 0.0 |2238M|2301 | - |3012 |1150 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1783.08/1783.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.08/1783.01 c 1641s| 7950k| 7889k| 0 | 0.0 |2241M|2301 | - |3012 |1137 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1785.29/1785.22 c 1643s| 7960k| 7899k| 0 | 0.0 |2244M|2301 | - |3012 |1171 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1787.48/1787.43 c 1645s| 7970k| 7909k| 0 | 0.0 |2247M|2301 | - |3012 |1160 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1789.68/1789.67 c 1647s| 7980k| 7919k| 0 | 0.0 |2249M|2301 | - |3012 |1147 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1791.88/1791.89 c 1649s| 7990k| 7929k| 0 | 0.0 |2252M|2301 | - |3012 |1186 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1794.08/1794.09 c 1651s| 8000k| 7939k| 0 | 0.0 |2255M|2301 | - |3012 |1185 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1796.28/1796.30 c 1653s| 8010k| 7949k| 0 | 0.0 |2258M|2301 | - |3012 |1181 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1798.59/1798.51 c 1655s| 8020k| 7958k| 0 | 0.0 |2261M|2301 | - |3012 |1197 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.00 c
1800.09/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.00 c Solving Time (sec) : 1656.61
1800.09/1800.00 c Solving Nodes : 8026710
1800.09/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.00 c Dual Bound : +0.00000000000000e+00
1800.09/1800.00 c Gap : infinite
1800.09/1800.00 s UNKNOWN
1800.09/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.00 c Solving Time : 1656.61
1800.09/1800.00 c Original Problem :
1800.09/1800.00 c Problem name : HOME/instance-2693719-1277890765.wbo
1800.09/1800.00 c Variables : 3012 (2906 binary, 0 integer, 0 implicit integer, 106 continuous)
1800.09/1800.00 c Constraints : 257 initial, 257 maximal
1800.09/1800.00 c Presolved Problem :
1800.09/1800.00 c Problem name : t_HOME/instance-2693719-1277890765.wbo
1800.09/1800.00 c Variables : 3012 (2906 binary, 0 integer, 0 implicit integer, 106 continuous)
1800.09/1800.00 c Constraints : 256 initial, 1391 maximal
1800.09/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0
1800.09/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c linear : 0.01 0 0 0 106 0 1 0 0
1800.09/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.00 c root node : - 0 - - 0 - - - -
1800.09/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.00 c indicator : 106 0 1398 0 1165 0 179 0 0 0
1800.09/1800.00 c setppc : 18 0 8532060 0 7997744 8127 1531082 0 0 0
1800.09/1800.00 c linear : 106 0 8523933 0 7997744 21359 3611857 0 0 0
1800.09/1800.00 c logicor : 26+ 0 1455417 0 7997744 2541 223601 0 0 0
1800.09/1800.00 c countsols : 0 0 0 0 7997744 0 0 0 0 0
1800.09/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.00 c setppc : 79.95 0.00 6.80 0.00 73.15
1800.09/1800.00 c linear : 65.42 0.00 65.14 0.00 0.28
1800.09/1800.00 c logicor : 84.47 0.00 6.74 0.00 77.73
1800.09/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.00 c vbounds : 0.00 2 0 0
1800.09/1800.00 c rootredcost : 0.00 0 0 0
1800.09/1800.00 c pseudoobj : 21.13 8531860 0 0
1800.09/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.00 c propagation : 45.04 32027 32027 511311 294.1 378343 31.7 -
1800.09/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.00 c applied globally : - - - 298372 37.3 - - -
1800.09/1800.00 c applied locally : - - - 495 378.3 - - -
1800.09/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.00 c redcost : 0.00 0 0 0 0 0
1800.09/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.00 c intobj : 0.00 0 0 0 0 0
1800.09/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.00 c gomory : 0.00 0 0 0 0 0
1800.09/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.00 c cmir : 0.00 0 0 0 0 0
1800.09/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.00 c clique : 0.00 0 0 0 0 0
1800.09/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.00 c mcf : 0.00 0 0 0 0 0
1800.09/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.00 c Pricers : Time Calls Vars
1800.09/1800.00 c problem variables: 0.00 0 0
1800.09/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.00 c inference : 1340.93 7997744 0 0 0 0 15995488
1800.09/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.00 c random : 0.00 0 0 0 0 0 0
1800.09/1800.00 c Primal Heuristics : Time Calls Found
1800.09/1800.00 c LP solutions : 0.00 - 0
1800.09/1800.00 c pseudo solutions : 0.00 - 0
1800.09/1800.00 c oneopt : 0.00 0 0
1800.09/1800.00 c trivial : 0.00 2 0
1800.09/1800.00 c simplerounding : 0.00 0 0
1800.09/1800.00 c zirounding : 0.00 0 0
1800.09/1800.00 c rounding : 0.00 0 0
1800.09/1800.00 c shifting : 0.00 0 0
1800.09/1800.00 c intshifting : 0.00 0 0
1800.09/1800.00 c twoopt : 0.00 0 0
1800.09/1800.00 c fixandinfer : 0.00 0 0
1800.09/1800.00 c feaspump : 0.00 0 0
1800.09/1800.00 c coefdiving : 0.00 0 0
1800.09/1800.00 c pscostdiving : 0.00 0 0
1800.09/1800.00 c fracdiving : 0.00 0 0
1800.09/1800.00 c veclendiving : 0.00 0 0
1800.09/1800.00 c intdiving : 0.00 0 0
1800.09/1800.00 c actconsdiving : 0.00 0 0
1800.09/1800.00 c objpscostdiving : 0.00 0 0
1800.09/1800.00 c rootsoldiving : 0.00 0 0
1800.09/1800.00 c linesearchdiving : 0.00 0 0
1800.09/1800.00 c guideddiving : 0.00 0 0
1800.09/1800.00 c octane : 0.00 0 0
1800.09/1800.00 c rens : 0.00 0 0
1800.09/1800.00 c rins : 0.00 0 0
1800.09/1800.00 c localbranching : 0.00 0 0
1800.09/1800.00 c mutation : 0.00 0 0
1800.09/1800.00 c crossover : 0.00 0 0
1800.09/1800.00 c dins : 0.00 0 0
1800.09/1800.00 c undercover : 0.00 0 0
1800.09/1800.00 c nlp : 0.02 0 0
1800.09/1800.00 c trysol : 0.00 1 0
1800.09/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.00 c (at root node) : - 0 0 0.00 -
1800.09/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.00 c B&B Tree :
1800.09/1800.00 c number of runs : 1
1800.09/1800.00 c nodes : 8026710
1800.09/1800.00 c nodes (total) : 8026710
1800.09/1800.00 c nodes left : 7965634
1800.09/1800.00 c max depth : 2301
1800.09/1800.00 c max depth (total): 2301
1800.09/1800.00 c backtracks : 12828 (0.2%)
1800.09/1800.00 c delayed cutoffs : 3145
1800.09/1800.00 c repropagations : 11915 (201844 domain reductions, 3061 cutoffs)
1800.09/1800.00 c avg switch length: 2.36
1800.09/1800.00 c switching time : 31.46
1800.09/1800.00 c Solution :
1800.09/1800.00 c Solutions found : 0 (0 improvements)
1800.09/1800.00 c Primal Bound : -
1800.09/1800.00 c Dual Bound : +0.00000000000000e+00
1800.09/1800.00 c Gap : infinite
1800.09/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.09/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-2693719-1277890765/watcher-2693719-1277890765 -o /tmp/evaluation-result-2693719-1277890765/solver-2693719-1277890765 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693719-1277890765.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: 1.86 2.01 2.55 3/179 12666
/proc/meminfo: memFree=31154164/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=8796 CPUtime=0
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 1686 0 0 0 0 0 0 0 21 0 1 0 130371394 9007104 1609 4089446400 4194304 7136930 140735964273392 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12666/statm: 2199 1609 275 719 0 1478 0
[startup+0.0956921 s]
/proc/loadavg: 1.86 2.01 2.55 3/179 12666
/proc/meminfo: memFree=31154164/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=19064 CPUtime=0.08
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 5741 0 0 0 8 0 0 0 21 0 1 0 130371394 19521536 4025 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 4766 4025 390 719 0 4045 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19064
[startup+0.100687 s]
/proc/loadavg: 1.86 2.01 2.55 3/179 12666
/proc/meminfo: memFree=31154164/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=19064 CPUtime=0.09
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 5745 0 0 0 9 0 0 0 21 0 1 0 130371394 19521536 4029 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 4766 4029 390 719 0 4045 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19064
[startup+0.300646 s]
/proc/loadavg: 1.86 2.01 2.55 3/179 12666
/proc/meminfo: memFree=31154164/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=20016 CPUtime=0.29
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 5970 0 0 0 28 1 0 0 21 0 1 0 130371394 20496384 4254 4089446400 4194304 7136930 140735964273392 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 5004 4254 390 719 0 4283 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20016
[startup+0.700564 s]
/proc/loadavg: 1.86 2.01 2.55 3/179 12666
/proc/meminfo: memFree=31154164/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=21200 CPUtime=0.69
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 6271 0 0 0 62 7 0 0 22 0 1 0 130371394 21708800 4555 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 5300 4555 394 719 0 4579 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21200
[startup+1.5004 s]
/proc/loadavg: 1.86 2.01 2.55 3/180 12667
/proc/meminfo: memFree=31136920/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=22812 CPUtime=1.49
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 6716 0 0 0 136 13 0 0 25 0 1 0 130371394 23359488 5000 4089446400 4194304 7136930 140735964273392 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 5703 5000 394 719 0 4982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22812
[startup+3.10109 s]
/proc/loadavg: 1.86 2.01 2.55 3/180 12667
/proc/meminfo: memFree=31134564/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=25612 CPUtime=3.09
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 7446 0 0 0 284 25 0 0 25 0 1 0 130371394 26226688 5730 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 6403 5730 394 719 0 5682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25612
[startup+6.30045 s]
/proc/loadavg: 1.87 2.01 2.55 3/180 12667
/proc/meminfo: memFree=31130280/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=30832 CPUtime=6.3
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 8807 0 0 0 581 49 0 0 25 0 1 0 130371394 31571968 7091 4089446400 4194304 7136930 140735964273392 18446744073709551615 4407770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 7708 7091 394 719 0 6987 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 30832
[startup+12.7002 s]
/proc/loadavg: 1.88 2.01 2.54 3/180 12667
/proc/meminfo: memFree=31120808/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=39800 CPUtime=12.69
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 11159 0 0 0 1181 88 0 0 25 0 1 0 130371394 40755200 9443 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 9950 9443 394 719 0 9229 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39800
[startup+25.5006 s]
/proc/loadavg: 1.91 2.01 2.53 3/180 12667
/proc/meminfo: memFree=31101784/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=61084 CPUtime=25.49
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 16194 0 0 0 2377 172 0 0 25 0 1 0 130371394 62550016 14478 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 15271 14478 394 719 0 14550 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61084
[startup+51.1005 s]
/proc/loadavg: 1.94 2.00 2.52 3/180 12668
/proc/meminfo: memFree=31053428/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=112484 CPUtime=51.09
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 28391 0 0 0 4753 356 0 0 25 0 1 0 130371394 115183616 26675 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 28121 26675 394 719 0 27400 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112484
[startup+102.306 s]
/proc/loadavg: 1.97 2.00 2.49 3/180 12669
/proc/meminfo: memFree=30973536/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=187884 CPUtime=102.3
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 48148 0 0 0 9530 700 0 0 25 0 1 0 130371394 192393216 46432 4089446400 4194304 7136930 140735964273392 18446744073709551615 4407748 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 46971 46432 394 719 0 46250 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 187884
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.45 3/180 12671
/proc/meminfo: memFree=30895240/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=270772 CPUtime=162.3
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 67826 0 0 0 15142 1088 0 0 25 0 1 0 130371394 277270528 66110 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 67693 66110 394 719 0 66972 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 270772
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.43 3/180 12673
/proc/meminfo: memFree=30813228/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=364404 CPUtime=222.31
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 88176 0 0 0 20750 1481 0 0 25 0 1 0 130371394 373149696 86460 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 91101 86460 394 719 0 90380 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 364404
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.40 3/180 12674
/proc/meminfo: memFree=30737172/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=436952 CPUtime=282.31
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 107324 0 0 0 26354 1877 0 0 25 0 1 0 130371394 447438848 105608 4089446400 4194304 7136930 140735964273392 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 109238 105608 394 719 0 108517 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 436952
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.37 3/180 12675
/proc/meminfo: memFree=30654800/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=514096 CPUtime=342.3
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 127668 0 0 0 31967 2263 0 0 25 0 1 0 130371394 526434304 125952 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 128524 125952 394 719 0 127803 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 514096
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.35 3/180 12677
/proc/meminfo: memFree=30578492/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=585864 CPUtime=402.31
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 146630 0 0 0 37583 2648 0 0 25 0 1 0 130371394 599924736 144914 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 146466 144914 394 719 0 145745 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 585864
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.33 3/179 12706
/proc/meminfo: memFree=30576656/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=694040 CPUtime=462.32
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 166482 0 0 0 43116 3116 0 0 25 0 1 0 130371394 710696960 164766 4089446400 4194304 7136930 140735964273392 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 173510 164766 394 719 0 172789 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 694040
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.30 3/179 12708
/proc/meminfo: memFree=30416652/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=766456 CPUtime=522.32
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 185628 0 0 0 48616 3616 0 0 25 0 1 0 130371394 784850944 183912 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 191614 183912 394 719 0 190893 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 766456
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.28 3/179 12709
/proc/meminfo: memFree=30250064/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=842676 CPUtime=582.32
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 205702 0 0 0 54118 4114 0 0 25 0 1 0 130371394 862900224 203986 4089446400 4194304 7136930 140735964273392 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 210669 203986 394 719 0 209948 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 842676
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/179 12711
/proc/meminfo: memFree=30093652/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=917336 CPUtime=642.33
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 225393 0 0 0 59613 4620 0 0 25 0 1 0 130371394 939352064 223677 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 229334 223677 394 719 0 228613 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 917336
[startup+702.3 s]
################
# More data... #
################
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 343071 0 0 0 92608 7626 0 0 25 0 1 0 130371394 1463218176 341355 4089446400 4194304 7136930 140735964273392 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 357231 341355 394 719 0 356510 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 1428924
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 12722
/proc/meminfo: memFree=28823040/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=1505496 CPUtime=1062.34
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 363264 0 0 0 98112 8122 0 0 25 0 1 0 130371394 1541627904 361548 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 376374 361548 394 719 0 375653 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 1505496
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 12724
/proc/meminfo: memFree=28639972/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=1577676 CPUtime=1122.34
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 382342 0 0 0 103605 8629 0 0 25 0 1 0 130371394 1615540224 380626 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 394419 380626 394 719 0 393698 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1577676
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 12725
/proc/meminfo: memFree=28470900/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=1649156 CPUtime=1182.34
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 401252 0 0 0 109116 9118 0 0 25 0 1 0 130371394 1688735744 399536 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 412289 399536 394 719 0 411568 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1649156
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 12726
/proc/meminfo: memFree=28304820/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=1723736 CPUtime=1242.35
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 420930 0 0 0 114611 9624 0 0 25 0 1 0 130371394 1765105664 419214 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 430934 419214 394 719 0 430213 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 1723736
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 12737
/proc/meminfo: memFree=28128448/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=1797444 CPUtime=1302.36
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 440406 0 0 0 120111 10125 0 0 25 0 1 0 130371394 1840582656 438690 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 449361 438690 394 719 0 448640 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 1797444
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 12739
/proc/meminfo: memFree=27967296/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=1867516 CPUtime=1362.36
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 458961 0 0 0 125597 10639 0 0 25 0 1 0 130371394 1912336384 457245 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 466879 457245 394 719 0 466158 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 1867516
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.09 3/179 12741
/proc/meminfo: memFree=27801468/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=1944440 CPUtime=1422.36
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 479207 0 0 0 131105 11131 0 0 25 0 1 0 130371394 1991106560 477491 4089446400 4194304 7136930 140735964273392 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 486110 477491 394 719 0 485389 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1944440
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.08 3/179 12742
/proc/meminfo: memFree=27633276/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2023824 CPUtime=1482.36
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 500104 0 0 0 136589 11647 0 0 25 0 1 0 130371394 2072395776 498388 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 505956 498388 394 719 0 505235 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 2023824
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 12743
/proc/meminfo: memFree=27475756/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2099480 CPUtime=1542.36
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 520073 0 0 0 142078 12158 0 0 25 0 1 0 130371394 2149867520 518357 4089446400 4194304 7136930 140735964273392 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 524870 518357 394 719 0 524149 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 2099480
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 12745
/proc/meminfo: memFree=27323064/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2170924 CPUtime=1602.37
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 538978 0 0 0 147566 12671 0 0 25 0 1 0 130371394 2223026176 537262 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 542731 537262 394 719 0 542010 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 2170924
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 12747
/proc/meminfo: memFree=27161820/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2244436 CPUtime=1662.37
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 558385 0 0 0 153056 13181 0 0 25 0 1 0 130371394 2298302464 556669 4089446400 4194304 7136930 140735964273392 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 561109 556669 394 719 0 560388 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 2244436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 12749
/proc/meminfo: memFree=27014688/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2319272 CPUtime=1722.37
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 578146 0 0 0 158553 13684 0 0 25 0 1 0 130371394 2374934528 576430 4089446400 4194304 7136930 140735964273392 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 579818 576430 394 719 0 579097 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 2319272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 12750
/proc/meminfo: memFree=26840056/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2394012 CPUtime=1782.37
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 597881 0 0 0 164040 14197 0 0 25 0 1 0 130371394 2451468288 596165 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 598503 596165 394 719 0 597782 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 2394012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 12751
/proc/meminfo: memFree=26791684/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2413712 CPUtime=1800.09
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 603115 0 0 0 165661 14348 0 0 25 0 1 0 130371394 2471641088 601399 4089446400 4194304 7136930 140735964273392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12666/statm: 603428 601399 394 719 0 602707 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2413712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12666
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 12752
/proc/meminfo: memFree=26790312/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2413712 CPUtime=1801.48
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 603134 0 0 0 165800 14348 0 0 20 0 1 0 130371394 2471641088 601418 4089446400 4194304 7136930 140735964273392 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12666/statm: 603428 601418 399 719 0 602707 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 2413712
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 12752
/proc/meminfo: memFree=26788576/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2413712 CPUtime=1801.89
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 603134 0 0 0 165841 14348 0 0 20 0 1 0 130371394 2471641088 601418 4089446400 4194304 7136930 140735964273392 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12666/statm: 603428 601418 399 719 0 602707 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 2413712
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 12752
/proc/meminfo: memFree=26788576/32950928 swapFree=67111528/67111528
[pid=12666] ppid=12664 vsize=2413712 CPUtime=1802.08
/proc/12666/stat : 12666 (pbscip.linux.x8) R 12664 12666 11713 0 -1 4202496 603134 0 0 0 165860 14348 0 0 21 0 1 0 130371394 2471641088 601418 4089446400 4194304 7136930 140735964273392 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12666/statm: 603428 601418 399 719 0 602707 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 2413712
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.17
CPU user time (s): 1658.61
CPU system time (s): 143.557
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2413712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1658.61
system time used= 143.557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 18961
runsolver used 2.6356 second user time and 5.8881 second system time
The end
Begin job on node149 at 2010-06-30 11:39:25
IDJOB=2693719
IDBENCH=78686
IDSOLVER=1206
FILE ID=node149/2693719-1277890765
PBS_JOBID= 11197055
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-chnl35_40_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-2693719-1277890765/watcher-2693719-1277890765 -o /tmp/evaluation-result-2693719-1277890765/solver-2693719-1277890765 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693719-1277890765.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80545edaffb0e9df5db6b9d8725aa6de
RANDOM SEED=208664919
node149.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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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.68
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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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: 32950928 kB
MemFree: 31154940 kB
Buffers: 178488 kB
Cached: 1286168 kB
SwapCached: 0 kB
Active: 629644 kB
Inactive: 1018204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31154940 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3284 kB
Writeback: 0 kB
AnonPages: 183740 kB
Mapped: 18172 kB
Slab: 83052 kB
PageTables: 4828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 373312 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 node149 at 2010-06-30 12:09:27