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-2693739-1277891283.wbo>
0.00/0.01 c original problem has 2622 variables (2571 bin, 0 int, 0 impl, 51 cont) and 194 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.01/0.01 c presolving:
0.01/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51 impls, 43 clqs
0.01/0.02 c (round 2) 0 del vars, 1 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51 impls, 43 clqs
0.01/0.02 c (round 3) 0 del vars, 1 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 48 upgd conss, 51 impls, 43 clqs
0.01/0.02 c (round 4) 0 del vars, 1 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 91 upgd conss, 51 impls, 43 clqs
0.01/0.04 c (0.0s) probing: 101/2571 (3.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (5 rounds):
0.01/0.04 c 0 deleted vars, 1 deleted constraints, 51 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 51 implications, 43 cliques
0.01/0.04 c presolved problem has 2622 variables (2571 bin, 0 int, 0 impl, 51 cont) and 193 constraints
0.01/0.04 c 51 constraints of type <indicator>
0.01/0.04 c 43 constraints of type <setppc>
0.01/0.04 c 51 constraints of type <linear>
0.01/0.04 c 48 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.02
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 1.2.1.2
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1800
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 3420
0.01/0.04 c
0.01/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c lp/solvefreq = -1
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c 0.0s| 1 | 2 | 0 | - |5134k| 0 | - |2622 | 193 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.05 c 1.9s| 10000 | 9910 | 0 | 0.0 |8612k|1781 | - |2622 | 338 | 0 | 0 | 0 | 260 | 0 | 0.000000e+00 | -- | Inf
4.19/4.29 c 3.9s| 20000 | 19858 | 0 | 0.0 | 11M|1781 | - |2622 | 362 | 0 | 0 | 0 | 517 | 0 | 0.000000e+00 | -- | Inf
6.49/6.52 c 6.0s| 30000 | 29802 | 0 | 0.0 | 14M|1781 | - |2622 | 431 | 0 | 0 | 0 | 783 | 0 | 0.000000e+00 | -- | Inf
8.70/8.79 c 8.1s| 40000 | 39765 | 0 | 0.0 | 17M|1781 | - |2622 | 414 | 0 | 0 | 0 | 983 | 0 | 0.000000e+00 | -- | Inf
11.00/11.05 c 10.2s| 50000 | 49704 | 0 | 0.0 | 20M|1781 | - |2622 | 483 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | -- | Inf
13.29/13.30 c 12.2s| 60000 | 59655 | 0 | 0.0 | 23M|1781 | - |2622 | 470 | 0 | 0 | 0 |1608 | 0 | 0.000000e+00 | -- | Inf
15.49/15.56 c 14.3s| 70000 | 69600 | 0 | 0.0 | 25M|1781 | - |2622 | 508 | 0 | 0 | 0 |1915 | 0 | 0.000000e+00 | -- | Inf
17.79/17.83 c 16.4s| 80000 | 79545 | 0 | 0.0 | 28M|1781 | - |2622 | 509 | 0 | 0 | 0 |2226 | 0 | 0.000000e+00 | -- | Inf
20.09/20.10 c 18.4s| 90000 | 89494 | 0 | 0.0 | 31M|1781 | - |2622 | 551 | 0 | 0 | 0 |2544 | 0 | 0.000000e+00 | -- | Inf
22.29/22.35 c 20.5s|100000 | 99438 | 0 | 0.0 | 34M|1781 | - |2622 | 550 | 0 | 0 | 0 |2856 | 0 | 0.000000e+00 | -- | Inf
24.49/24.59 c 22.6s|110000 |109384 | 0 | 0.0 | 37M|1781 | - |2622 | 577 | 0 | 0 | 0 |3179 | 0 | 0.000000e+00 | -- | Inf
26.69/26.77 c 24.6s|120000 |119333 | 0 | 0.0 | 40M|1781 | - |2622 | 577 | 0 | 0 | 0 |3476 | 0 | 0.000000e+00 | -- | Inf
28.89/28.95 c 26.6s|130000 |129275 | 0 | 0.0 | 42M|1781 | - |2622 | 582 | 0 | 0 | 0 |3813 | 0 | 0.000000e+00 | -- | Inf
31.09/31.13 c 28.5s|140000 |139211 | 0 | 0.0 | 45M|1781 | - |2622 | 562 | 0 | 0 | 0 |4180 | 0 | 0.000000e+00 | -- | Inf
33.19/33.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.19/33.27 c 30.5s|150000 |149152 | 0 | 0.0 | 48M|1781 | - |2622 | 571 | 0 | 0 | 0 |4520 | 0 | 0.000000e+00 | -- | Inf
35.39/35.40 c 32.4s|160000 |159084 | 0 | 0.0 | 51M|1781 | - |2622 | 610 | 0 | 0 | 0 |4905 | 0 | 0.000000e+00 | -- | Inf
37.49/37.55 c 34.4s|170000 |169019 | 0 | 0.0 | 54M|1781 | - |2622 | 572 | 0 | 0 | 0 |5269 | 0 | 0.000000e+00 | -- | Inf
39.60/39.63 c 36.3s|180000 |178952 | 0 | 0.0 | 57M|1781 | - |2622 | 616 | 0 | 0 | 0 |5630 | 0 | 0.000000e+00 | -- | Inf
41.70/41.71 c 38.1s|190000 |188897 | 0 | 0.0 | 60M|1781 | - |2622 | 573 | 0 | 0 | 0 |5969 | 0 | 0.000000e+00 | -- | Inf
43.69/43.78 c 40.0s|200000 |198816 | 0 | 0.0 | 63M|1781 | - |2622 | 605 | 0 | 0 | 0 |6409 | 0 | 0.000000e+00 | -- | Inf
45.79/45.84 c 41.9s|210000 |208754 | 0 | 0.0 | 65M|1781 | - |2622 | 622 | 0 | 0 | 0 |6757 | 0 | 0.000000e+00 | -- | Inf
47.89/47.95 c 43.9s|220000 |218662 | 0 | 0.0 | 68M|1781 | - |2622 | 693 | 0 | 0 | 0 |7270 | 0 | 0.000000e+00 | -- | Inf
49.99/50.02 c 45.8s|230000 |228596 | 0 | 0.0 | 71M|1781 | - |2622 | 678 | 0 | 0 | 0 |7633 | 0 | 0.000000e+00 | -- | Inf
51.99/52.07 c 47.6s|240000 |238533 | 0 | 0.0 | 74M|1781 | - |2622 | 654 | 0 | 0 | 0 |7996 | 0 | 0.000000e+00 | -- | Inf
54.09/54.10 c 49.4s|250000 |248464 | 0 | 0.0 | 77M|1781 | - |2622 | 721 | 0 | 0 | 0 |8397 | 0 | 0.000000e+00 | -- | Inf
56.10/56.12 c 51.2s|260000 |258401 | 0 | 0.0 | 80M|1781 | - |2622 | 741 | 0 | 0 | 0 |8775 | 0 | 0.000000e+00 | -- | Inf
58.09/58.14 c 53.1s|270000 |268327 | 0 | 0.0 | 83M|1781 | - |2622 | 773 | 0 | 0 | 0 |9202 | 0 | 0.000000e+00 | -- | Inf
60.09/60.15 c 54.9s|280000 |278256 | 0 | 0.0 | 86M|1781 | - |2622 | 805 | 0 | 0 | 0 |9632 | 0 | 0.000000e+00 | -- | Inf
62.09/62.17 c 56.7s|290000 |288160 | 0 | 0.0 | 89M|1781 | - |2622 | 845 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
64.10/64.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.10/64.20 c 58.5s|300000 |298071 | 0 | 0.0 | 92M|1781 | - |2622 | 883 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
66.09/66.19 c 60.4s|310000 |307990 | 0 | 0.0 | 95M|1781 | - |2622 | 893 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
68.10/68.17 c 62.1s|320000 |317908 | 0 | 0.0 | 98M|1781 | - |2622 | 876 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
70.09/70.18 c 64.0s|330000 |327829 | 0 | 0.0 | 101M|1781 | - |2622 | 927 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
72.10/72.15 c 65.8s|340000 |337758 | 0 | 0.0 | 104M|1781 | - |2622 | 882 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
74.09/74.11 c 67.5s|350000 |347684 | 0 | 0.0 | 107M|1781 | - |2622 | 867 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
76.09/76.11 c 69.3s|360000 |357587 | 0 | 0.0 | 110M|1781 | - |2622 | 911 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
77.99/78.10 c 71.1s|370000 |367497 | 0 | 0.0 | 113M|1781 | - |2622 | 953 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
79.99/80.08 c 72.9s|380000 |377408 | 0 | 0.0 | 115M|1781 | - |2622 | 947 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
81.99/82.04 c 74.7s|390000 |387329 | 0 | 0.0 | 118M|1781 | - |2622 | 932 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
83.90/84.00 c 76.5s|400000 |397241 | 0 | 0.0 | 121M|1781 | - |2622 | 970 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
85.89/85.95 c 78.2s|410000 |407162 | 0 | 0.0 | 124M|1781 | - |2622 | 936 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
87.90/87.91 c 80.0s|420000 |417068 | 0 | 0.0 | 127M|1781 | - |2622 | 928 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
89.79/89.84 c 81.8s|430000 |426987 | 0 | 0.0 | 130M|1781 | - |2622 | 958 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
91.69/91.78 c 83.5s|440000 |436893 | 0 | 0.0 | 133M|1781 | - |2622 | 999 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
93.69/93.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.69/93.71 c 85.3s|450000 |446812 | 0 | 0.0 | 136M|1781 | - |2622 |1000 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
95.59/95.67 c 87.0s|460000 |456699 | 0 | 0.0 | 139M|1781 | - |2622 |1057 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
97.59/97.65 c 88.8s|470000 |466593 | 0 | 0.0 | 142M|1781 | - |2622 | 974 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
99.60/99.66 c 90.7s|480000 |476491 | 0 | 0.0 | 145M|1781 | - |2622 |1002 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
101.59/101.64 c 92.4s|490000 |486406 | 0 | 0.0 | 148M|1781 | - |2622 | 970 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
103.59/103.62 c 94.2s|500000 |496312 | 0 | 0.0 | 151M|1781 | - |2622 |1009 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
105.50/105.58 c 96.0s|510000 |506216 | 0 | 0.0 | 154M|1781 | - |2622 |1006 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
107.50/107.51 c 97.8s|520000 |516122 | 0 | 0.0 | 157M|1781 | - |2622 | 971 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
109.40/109.42 c 99.5s|530000 |526027 | 0 | 0.0 | 161M|1781 | - |2622 | 977 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
111.30/111.33 c 101s|540000 |535914 | 0 | 0.0 | 164M|1781 | - |2622 | 976 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
113.20/113.20 c 103s|550000 |545814 | 0 | 0.0 | 167M|1781 | - |2622 | 995 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
114.99/115.07 c 105s|560000 |555689 | 0 | 0.0 | 170M|1781 | - |2622 | 982 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
116.89/116.90 c 106s|570000 |565588 | 0 | 0.0 | 173M|1781 | - |2622 | 990 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
118.69/118.71 c 108s|580000 |575486 | 0 | 0.0 | 176M|1781 | - |2622 | 966 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
120.40/120.46 c 109s|590000 |585382 | 0 | 0.0 | 179M|1781 | - |2622 | 991 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
122.20/122.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.20/122.20 c 111s|600000 |595261 | 0 | 0.0 | 182M|1781 | - |2622 |1024 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
123.90/123.95 c 113s|610000 |605137 | 0 | 0.0 | 185M|1781 | - |2622 |1081 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
125.59/125.65 c 114s|620000 |615014 | 0 | 0.0 | 188M|1781 | - |2622 |1051 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
127.30/127.32 c 115s|630000 |624905 | 0 | 0.0 | 191M|1781 | - |2622 |1054 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
128.89/128.98 c 117s|640000 |634777 | 0 | 0.0 | 195M|1781 | - |2622 |1058 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
130.59/130.62 c 118s|650000 |644639 | 0 | 0.0 | 198M|1781 | - |2622 |1088 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
132.19/132.25 c 120s|660000 |654469 | 0 | 0.0 | 201M|1781 | - |2622 |1175 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
133.80/133.81 c 121s|670000 |664299 | 0 | 0.0 | 205M|1781 | - |2622 |1157 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
135.70/135.74 c 123s|680000 |674168 | 0 | 0.0 | 207M|1781 | - |2622 | 962 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
138.00/138.02 c 125s|690000 |684104 | 0 | 0.0 | 210M|1781 | - |2622 | 862 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
140.19/140.23 c 127s|700000 |694046 | 0 | 0.0 | 213M|1781 | - |2622 | 803 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
142.39/142.45 c 129s|710000 |703979 | 0 | 0.0 | 216M|1781 | - |2622 | 812 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
144.59/144.69 c 131s|720000 |713925 | 0 | 0.0 | 219M|1781 | - |2622 | 788 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
146.89/146.91 c 133s|730000 |723865 | 0 | 0.0 | 221M|1781 | - |2622 | 718 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
149.10/149.15 c 135s|740000 |733808 | 0 | 0.0 | 224M|1781 | - |2622 | 724 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
151.30/151.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.30/151.38 c 137s|750000 |743746 | 0 | 0.0 | 227M|1781 | - |2622 | 680 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
153.59/153.61 c 139s|760000 |753691 | 0 | 0.0 | 230M|1781 | - |2622 | 643 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
155.79/155.82 c 141s|770000 |763647 | 0 | 0.0 | 232M|1781 | - |2622 | 602 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
157.99/158.06 c 143s|780000 |773592 | 0 | 0.0 | 235M|1781 | - |2622 | 576 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
160.19/160.29 c 145s|790000 |783535 | 0 | 0.0 | 238M|1781 | - |2622 | 602 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
162.50/162.53 c 148s|800000 |793482 | 0 | 0.0 | 241M|1781 | - |2622 | 546 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
164.69/164.77 c 150s|810000 |803439 | 0 | 0.0 | 244M|1781 | - |2622 | 555 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
166.99/167.01 c 152s|820000 |813397 | 0 | 0.0 | 246M|1781 | - |2622 | 526 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
169.19/169.26 c 154s|830000 |823346 | 0 | 0.0 | 249M|1781 | - |2622 | 538 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
171.50/171.50 c 156s|840000 |833293 | 0 | 0.0 | 252M|1781 | - |2622 | 553 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
173.70/173.75 c 158s|850000 |843252 | 0 | 0.0 | 255M|1781 | - |2622 | 493 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
175.90/175.98 c 160s|860000 |853200 | 0 | 0.0 | 257M|1781 | - |2622 | 502 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
178.20/178.24 c 162s|870000 |863143 | 0 | 0.0 | 260M|1781 | - |2622 | 523 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
180.40/180.48 c 164s|880000 |873091 | 0 | 0.0 | 263M|1781 | - |2622 | 485 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
182.70/182.72 c 166s|890000 |883039 | 0 | 0.0 | 266M|1781 | - |2622 | 512 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
184.89/184.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.89/184.96 c 168s|900000 |892993 | 0 | 0.0 | 269M|1781 | - |2622 | 470 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
187.20/187.20 c 170s|910000 |902949 | 0 | 0.0 | 271M|1781 | - |2622 | 452 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
189.39/189.45 c 172s|920000 |912889 | 0 | 0.0 | 274M|1781 | - |2622 | 493 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
191.60/191.68 c 174s|930000 |922843 | 0 | 0.0 | 277M|1781 | - |2622 | 480 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
193.89/193.91 c 176s|940000 |932794 | 0 | 0.0 | 280M|1781 | - |2622 | 482 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
196.10/196.16 c 178s|950000 |942738 | 0 | 0.0 | 282M|1781 | - |2622 | 520 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
198.39/198.40 c 180s|960000 |952689 | 0 | 0.0 | 285M|1781 | - |2622 | 521 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
200.60/200.62 c 182s|970000 |962647 | 0 | 0.0 | 288M|1781 | - |2622 | 479 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
202.79/202.87 c 185s|980000 |972601 | 0 | 0.0 | 291M|1781 | - |2622 | 489 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
205.10/205.10 c 187s|990000 |982551 | 0 | 0.0 | 294M|1781 | - |2622 | 495 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
207.30/207.36 c 189s| 1000k|992496 | 0 | 0.0 | 296M|1781 | - |2622 | 496 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
209.60/209.60 c 191s| 1010k| 1002k| 0 | 0.0 | 299M|1781 | - |2622 | 490 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
211.79/211.83 c 193s| 1020k| 1012k| 0 | 0.0 | 302M|1781 | - |2622 | 485 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
213.99/214.06 c 195s| 1030k| 1022k| 0 | 0.0 | 305M|1781 | - |2622 | 503 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
216.19/216.29 c 197s| 1040k| 1032k| 0 | 0.0 | 307M|1781 | - |2622 | 483 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
218.49/218.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.49/218.52 c 199s| 1050k| 1042k| 0 | 0.0 | 310M|1781 | - |2622 | 488 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
220.69/220.75 c 201s| 1060k| 1052k| 0 | 0.0 | 313M|1781 | - |2622 | 495 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
222.90/222.99 c 203s| 1070k| 1062k| 0 | 0.0 | 316M|1781 | - |2622 | 518 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
225.19/225.24 c 205s| 1080k| 1072k| 0 | 0.0 | 318M|1781 | - |2622 | 528 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
227.40/227.47 c 207s| 1090k| 1082k| 0 | 0.0 | 321M|1781 | - |2622 | 507 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
229.70/229.72 c 209s| 1100k| 1091k| 0 | 0.0 | 324M|1781 | - |2622 | 505 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
231.89/231.98 c 211s| 1110k| 1101k| 0 | 0.0 | 327M|1781 | - |2622 | 546 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
234.20/234.22 c 213s| 1120k| 1111k| 0 | 0.0 | 329M|1781 | - |2622 | 499 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
236.40/236.49 c 215s| 1130k| 1121k| 0 | 0.0 | 332M|1781 | - |2622 | 529 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
238.70/238.73 c 217s| 1140k| 1131k| 0 | 0.0 | 335M|1781 | - |2622 | 553 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
240.90/240.99 c 220s| 1150k| 1141k| 0 | 0.0 | 338M|1781 | - |2622 | 553 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
243.19/243.24 c 222s| 1160k| 1151k| 0 | 0.0 | 340M|1781 | - |2622 | 529 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
245.50/245.51 c 224s| 1170k| 1161k| 0 | 0.0 | 343M|1781 | - |2622 | 547 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
247.69/247.77 c 226s| 1180k| 1171k| 0 | 0.0 | 346M|1781 | - |2622 | 523 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
249.99/250.00 c 228s| 1190k| 1181k| 0 | 0.0 | 349M|1781 | - |2622 | 526 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
252.20/252.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.20/252.22 c 230s| 1200k| 1191k| 0 | 0.0 | 351M|1781 | - |2622 | 455 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
254.40/254.48 c 232s| 1210k| 1201k| 0 | 0.0 | 354M|1781 | - |2622 | 526 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
256.70/256.72 c 234s| 1220k| 1211k| 0 | 0.0 | 357M|1781 | - |2622 | 528 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
258.90/258.96 c 236s| 1230k| 1221k| 0 | 0.0 | 360M|1781 | - |2622 | 510 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
261.20/261.22 c 238s| 1240k| 1231k| 0 | 0.0 | 363M|1781 | - |2622 | 537 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
263.40/263.46 c 240s| 1250k| 1241k| 0 | 0.0 | 365M|1781 | - |2622 | 509 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
265.69/265.71 c 242s| 1260k| 1251k| 0 | 0.0 | 368M|1781 | - |2622 | 486 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
267.90/267.96 c 244s| 1270k| 1261k| 0 | 0.0 | 371M|1781 | - |2622 | 505 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
270.20/270.21 c 246s| 1280k| 1271k| 0 | 0.0 | 374M|1781 | - |2622 | 506 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
272.40/272.46 c 248s| 1290k| 1280k| 0 | 0.0 | 376M|1781 | - |2622 | 492 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
274.69/274.71 c 250s| 1300k| 1290k| 0 | 0.0 | 379M|1781 | - |2622 | 511 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
276.90/276.99 c 252s| 1310k| 1300k| 0 | 0.0 | 382M|1781 | - |2622 | 520 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
279.20/279.25 c 255s| 1320k| 1310k| 0 | 0.0 | 385M|1781 | - |2622 | 491 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
281.51/281.51 c 257s| 1330k| 1320k| 0 | 0.0 | 387M|1781 | - |2622 | 492 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
283.71/283.76 c 259s| 1340k| 1330k| 0 | 0.0 | 390M|1781 | - |2622 | 494 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
286.00/286.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.00/286.01 c 261s| 1350k| 1340k| 0 | 0.0 | 393M|1781 | - |2622 | 503 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
288.21/288.29 c 263s| 1360k| 1350k| 0 | 0.0 | 396M|1781 | - |2622 | 550 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
290.50/290.55 c 265s| 1370k| 1360k| 0 | 0.0 | 399M|1781 | - |2622 | 483 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
292.80/292.82 c 267s| 1380k| 1370k| 0 | 0.0 | 401M|1781 | - |2622 | 524 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
295.00/295.08 c 269s| 1390k| 1380k| 0 | 0.0 | 404M|1781 | - |2622 | 524 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
297.30/297.35 c 271s| 1400k| 1390k| 0 | 0.0 | 407M|1781 | - |2622 | 496 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
299.60/299.64 c 273s| 1410k| 1400k| 0 | 0.0 | 410M|1781 | - |2622 | 540 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
301.80/301.89 c 275s| 1420k| 1410k| 0 | 0.0 | 412M|1781 | - |2622 | 539 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
304.20/304.20 c 278s| 1430k| 1420k| 0 | 0.0 | 415M|1781 | - |2622 | 553 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
306.40/306.44 c 280s| 1440k| 1430k| 0 | 0.0 | 418M|1781 | - |2622 | 563 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
308.60/308.68 c 282s| 1450k| 1440k| 0 | 0.0 | 420M|1781 | - |2622 | 557 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
310.89/310.94 c 284s| 1460k| 1450k| 0 | 0.0 | 423M|1781 | - |2622 | 561 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
313.19/313.21 c 286s| 1470k| 1460k| 0 | 0.0 | 426M|1781 | - |2622 | 607 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
315.40/315.46 c 288s| 1480k| 1469k| 0 | 0.0 | 429M|1781 | - |2622 | 582 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
317.69/317.74 c 290s| 1490k| 1479k| 0 | 0.0 | 431M|1781 | - |2622 | 614 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
319.90/319.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.90/319.99 c 292s| 1500k| 1489k| 0 | 0.0 | 434M|1781 | - |2622 | 603 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
322.20/322.27 c 294s| 1510k| 1499k| 0 | 0.0 | 437M|1781 | - |2622 | 610 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
324.50/324.54 c 296s| 1520k| 1509k| 0 | 0.0 | 440M|1781 | - |2622 | 612 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
326.80/326.80 c 298s| 1530k| 1519k| 0 | 0.0 | 442M|1781 | - |2622 | 608 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
329.00/329.05 c 300s| 1540k| 1529k| 0 | 0.0 | 445M|1781 | - |2622 | 592 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
331.30/331.31 c 303s| 1550k| 1539k| 0 | 0.0 | 448M|1781 | - |2622 | 665 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
333.50/333.58 c 305s| 1560k| 1549k| 0 | 0.0 | 451M|1781 | - |2622 | 624 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
335.80/335.81 c 307s| 1570k| 1559k| 0 | 0.0 | 454M|1781 | - |2622 | 628 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
338.00/338.08 c 309s| 1580k| 1569k| 0 | 0.0 | 456M|1781 | - |2622 | 614 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
340.30/340.31 c 311s| 1590k| 1579k| 0 | 0.0 | 459M|1781 | - |2622 | 615 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
342.50/342.56 c 313s| 1600k| 1589k| 0 | 0.0 | 462M|1781 | - |2622 | 619 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
344.80/344.81 c 315s| 1610k| 1599k| 0 | 0.0 | 465M|1781 | - |2622 | 613 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
347.00/347.05 c 317s| 1620k| 1609k| 0 | 0.0 | 467M|1781 | - |2622 | 650 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
349.30/349.30 c 319s| 1630k| 1619k| 0 | 0.0 | 470M|1781 | - |2622 | 596 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
351.50/351.55 c 321s| 1640k| 1629k| 0 | 0.0 | 473M|1781 | - |2622 | 595 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
353.70/353.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.70/353.78 c 323s| 1650k| 1639k| 0 | 0.0 | 476M|1781 | - |2622 | 569 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
356.00/356.03 c 325s| 1660k| 1648k| 0 | 0.0 | 479M|1781 | - |2622 | 610 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
358.20/358.29 c 327s| 1670k| 1658k| 0 | 0.0 | 481M|1781 | - |2622 | 593 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
360.50/360.55 c 329s| 1680k| 1668k| 0 | 0.0 | 484M|1781 | - |2622 | 575 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
362.80/362.81 c 331s| 1690k| 1678k| 0 | 0.0 | 487M|1781 | - |2622 | 600 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
365.00/365.08 c 334s| 1700k| 1688k| 0 | 0.0 | 490M|1781 | - |2622 | 566 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
367.31/367.35 c 336s| 1710k| 1698k| 0 | 0.0 | 492M|1781 | - |2622 | 567 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
369.61/369.62 c 338s| 1720k| 1708k| 0 | 0.0 | 495M|1781 | - |2622 | 571 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
371.80/371.88 c 340s| 1730k| 1718k| 0 | 0.0 | 498M|1781 | - |2622 | 573 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
374.10/374.13 c 342s| 1740k| 1728k| 0 | 0.0 | 501M|1781 | - |2622 | 552 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
376.30/376.38 c 344s| 1750k| 1738k| 0 | 0.0 | 503M|1781 | - |2622 | 572 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
378.60/378.64 c 346s| 1760k| 1748k| 0 | 0.0 | 506M|1781 | - |2622 | 578 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
380.90/380.93 c 348s| 1770k| 1758k| 0 | 0.0 | 509M|1781 | - |2622 | 595 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
383.10/383.19 c 350s| 1780k| 1768k| 0 | 0.0 | 512M|1781 | - |2622 | 590 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
385.40/385.43 c 352s| 1790k| 1778k| 0 | 0.0 | 514M|1781 | - |2622 | 551 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
387.60/387.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.60/387.69 c 354s| 1800k| 1788k| 0 | 0.0 | 517M|1781 | - |2622 | 599 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
389.90/389.97 c 356s| 1810k| 1798k| 0 | 0.0 | 520M|1781 | - |2622 | 603 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
392.21/392.20 c 358s| 1820k| 1808k| 0 | 0.0 | 523M|1781 | - |2622 | 555 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
394.50/394.51 c 360s| 1830k| 1818k| 0 | 0.0 | 526M|1781 | - |2622 | 661 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
396.70/396.76 c 362s| 1840k| 1827k| 0 | 0.0 | 528M|1781 | - |2622 | 595 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
399.00/399.02 c 365s| 1850k| 1837k| 0 | 0.0 | 531M|1781 | - |2622 | 582 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
401.21/401.27 c 367s| 1860k| 1847k| 0 | 0.0 | 534M|1781 | - |2622 | 604 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
403.50/403.53 c 369s| 1870k| 1857k| 0 | 0.0 | 537M|1781 | - |2622 | 558 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
405.70/405.79 c 371s| 1880k| 1867k| 0 | 0.0 | 539M|1781 | - |2622 | 579 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
408.01/408.04 c 373s| 1890k| 1877k| 0 | 0.0 | 542M|1781 | - |2622 | 584 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
410.21/410.30 c 375s| 1900k| 1887k| 0 | 0.0 | 545M|1781 | - |2622 | 567 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
412.51/412.56 c 377s| 1910k| 1897k| 0 | 0.0 | 548M|1781 | - |2622 | 606 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
414.80/414.80 c 379s| 1920k| 1907k| 0 | 0.0 | 550M|1781 | - |2622 | 608 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
417.00/417.04 c 381s| 1930k| 1917k| 0 | 0.0 | 553M|1781 | - |2622 | 564 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
419.31/419.30 c 383s| 1940k| 1927k| 0 | 0.0 | 556M|1781 | - |2622 | 588 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
421.50/421.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.50/421.56 c 385s| 1950k| 1937k| 0 | 0.0 | 559M|1781 | - |2622 | 596 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
423.80/423.82 c 387s| 1960k| 1947k| 0 | 0.0 | 562M|1781 | - |2622 | 571 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
426.00/426.07 c 389s| 1970k| 1957k| 0 | 0.0 | 564M|1781 | - |2622 | 551 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
428.30/428.33 c 392s| 1980k| 1967k| 0 | 0.0 | 567M|1781 | - |2622 | 585 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
430.50/430.59 c 394s| 1990k| 1977k| 0 | 0.0 | 570M|1781 | - |2622 | 595 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
432.81/432.86 c 396s| 2000k| 1987k| 0 | 0.0 | 573M|1781 | - |2622 | 561 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
435.00/435.09 c 398s| 2010k| 1997k| 0 | 0.0 | 575M|1781 | - |2622 | 548 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
437.30/437.34 c 400s| 2020k| 2006k| 0 | 0.0 | 578M|1781 | - |2622 | 566 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
439.61/439.61 c 402s| 2030k| 2016k| 0 | 0.0 | 581M|1781 | - |2622 | 548 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
441.81/441.86 c 404s| 2040k| 2026k| 0 | 0.0 | 584M|1781 | - |2622 | 547 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
444.10/444.11 c 406s| 2050k| 2036k| 0 | 0.0 | 587M|1781 | - |2622 | 547 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
446.31/446.35 c 408s| 2060k| 2046k| 0 | 0.0 | 589M|1781 | - |2622 | 554 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
448.61/448.60 c 410s| 2070k| 2056k| 0 | 0.0 | 592M|1781 | - |2622 | 537 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
450.81/450.85 c 412s| 2080k| 2066k| 0 | 0.0 | 595M|1781 | - |2622 | 554 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
453.11/453.13 c 414s| 2090k| 2076k| 0 | 0.0 | 598M|1781 | - |2622 | 526 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
455.31/455.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.31/455.38 c 416s| 2100k| 2086k| 0 | 0.0 | 601M|1781 | - |2622 | 519 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
457.61/457.66 c 419s| 2110k| 2096k| 0 | 0.0 | 603M|1781 | - |2622 | 555 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
459.90/459.93 c 421s| 2120k| 2106k| 0 | 0.0 | 606M|1781 | - |2622 | 576 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
462.10/462.18 c 423s| 2130k| 2116k| 0 | 0.0 | 609M|1781 | - |2622 | 571 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
464.40/464.44 c 425s| 2140k| 2126k| 0 | 0.0 | 612M|1781 | - |2622 | 575 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
466.70/466.70 c 427s| 2150k| 2136k| 0 | 0.0 | 614M|1781 | - |2622 | 584 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
468.90/468.95 c 429s| 2160k| 2146k| 0 | 0.0 | 617M|1781 | - |2622 | 613 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
471.20/471.23 c 431s| 2170k| 2156k| 0 | 0.0 | 620M|1781 | - |2622 | 604 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
473.50/473.50 c 433s| 2180k| 2166k| 0 | 0.0 | 623M|1781 | - |2622 | 576 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
475.70/475.76 c 435s| 2190k| 2176k| 0 | 0.0 | 625M|1781 | - |2622 | 562 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
478.01/478.02 c 437s| 2200k| 2186k| 0 | 0.0 | 628M|1781 | - |2622 | 602 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
480.31/480.30 c 439s| 2210k| 2195k| 0 | 0.0 | 631M|1781 | - |2622 | 576 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
482.51/482.56 c 441s| 2220k| 2205k| 0 | 0.0 | 634M|1781 | - |2622 | 546 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
484.80/484.82 c 444s| 2230k| 2215k| 0 | 0.0 | 636M|1781 | - |2622 | 551 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
487.10/487.10 c 446s| 2240k| 2225k| 0 | 0.0 | 639M|1781 | - |2622 | 552 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
489.31/489.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.31/489.38 c 448s| 2250k| 2235k| 0 | 0.0 | 642M|1781 | - |2622 | 576 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
491.61/491.67 c 450s| 2260k| 2245k| 0 | 0.0 | 645M|1781 | - |2622 | 604 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
493.91/493.95 c 452s| 2270k| 2255k| 0 | 0.0 | 647M|1781 | - |2622 | 538 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
496.11/496.19 c 454s| 2280k| 2265k| 0 | 0.0 | 650M|1781 | - |2622 | 538 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
498.41/498.44 c 456s| 2290k| 2275k| 0 | 0.0 | 653M|1781 | - |2622 | 547 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
500.70/500.70 c 458s| 2300k| 2285k| 0 | 0.0 | 656M|1781 | - |2622 | 575 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
502.90/502.96 c 460s| 2310k| 2295k| 0 | 0.0 | 659M|1781 | - |2622 | 550 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
505.20/505.23 c 462s| 2320k| 2305k| 0 | 0.0 | 661M|1781 | - |2622 | 547 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
507.51/507.50 c 464s| 2330k| 2315k| 0 | 0.0 | 664M|1781 | - |2622 | 597 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
509.71/509.75 c 466s| 2340k| 2325k| 0 | 0.0 | 667M|1781 | - |2622 | 539 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
512.01/512.03 c 469s| 2350k| 2335k| 0 | 0.0 | 670M|1781 | - |2622 | 554 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
514.21/514.29 c 471s| 2360k| 2345k| 0 | 0.0 | 672M|1781 | - |2622 | 567 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
516.51/516.55 c 473s| 2370k| 2355k| 0 | 0.0 | 675M|1781 | - |2622 | 587 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
518.81/518.83 c 475s| 2380k| 2365k| 0 | 0.0 | 678M|1781 | - |2622 | 556 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
521.00/521.06 c 477s| 2390k| 2374k| 0 | 0.0 | 681M|1781 | - |2622 | 551 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
523.31/523.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.31/523.32 c 479s| 2400k| 2384k| 0 | 0.0 | 683M|1781 | - |2622 | 564 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
525.50/525.59 c 481s| 2410k| 2394k| 0 | 0.0 | 686M|1781 | - |2622 | 580 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
527.81/527.82 c 483s| 2420k| 2404k| 0 | 0.0 | 689M|1781 | - |2622 | 612 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
530.00/530.08 c 485s| 2430k| 2414k| 0 | 0.0 | 692M|1781 | - |2622 | 615 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
532.31/532.34 c 487s| 2440k| 2424k| 0 | 0.0 | 694M|1781 | - |2622 | 637 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
534.51/534.60 c 489s| 2450k| 2434k| 0 | 0.0 | 697M|1781 | - |2622 | 637 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
536.82/536.86 c 491s| 2460k| 2444k| 0 | 0.0 | 700M|1781 | - |2622 | 642 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
539.10/539.13 c 493s| 2470k| 2454k| 0 | 0.0 | 703M|1781 | - |2622 | 654 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
541.41/541.43 c 496s| 2480k| 2464k| 0 | 0.0 | 706M|1781 | - |2622 | 662 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
543.71/543.70 c 498s| 2490k| 2474k| 0 | 0.0 | 708M|1781 | - |2622 | 601 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
545.90/545.95 c 500s| 2500k| 2484k| 0 | 0.0 | 711M|1781 | - |2622 | 632 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
548.20/548.21 c 502s| 2510k| 2494k| 0 | 0.0 | 714M|1781 | - |2622 | 626 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
550.40/550.48 c 504s| 2520k| 2504k| 0 | 0.0 | 717M|1781 | - |2622 | 629 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
552.71/552.73 c 506s| 2530k| 2514k| 0 | 0.0 | 719M|1781 | - |2622 | 634 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
555.00/555.02 c 508s| 2540k| 2524k| 0 | 0.0 | 722M|1781 | - |2622 | 702 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
557.20/557.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.20/557.30 c 510s| 2550k| 2534k| 0 | 0.0 | 725M|1781 | - |2622 | 649 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
559.50/559.57 c 512s| 2560k| 2543k| 0 | 0.0 | 728M|1781 | - |2622 | 591 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
561.80/561.83 c 514s| 2570k| 2553k| 0 | 0.0 | 730M|1781 | - |2622 | 643 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
564.01/564.08 c 516s| 2580k| 2563k| 0 | 0.0 | 733M|1781 | - |2622 | 708 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
566.30/566.37 c 518s| 2590k| 2573k| 0 | 0.0 | 736M|1781 | - |2622 | 654 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
568.61/568.65 c 521s| 2600k| 2583k| 0 | 0.0 | 739M|1781 | - |2622 | 638 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
570.91/570.91 c 523s| 2610k| 2593k| 0 | 0.0 | 741M|1781 | - |2622 | 595 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
573.12/573.15 c 525s| 2620k| 2603k| 0 | 0.0 | 744M|1781 | - |2622 | 606 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
575.41/575.40 c 527s| 2630k| 2613k| 0 | 0.0 | 747M|1781 | - |2622 | 604 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
577.60/577.66 c 529s| 2640k| 2623k| 0 | 0.0 | 750M|1781 | - |2622 | 644 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
579.91/579.94 c 531s| 2650k| 2633k| 0 | 0.0 | 753M|1781 | - |2622 | 623 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
582.21/582.22 c 533s| 2660k| 2643k| 0 | 0.0 | 755M|1781 | - |2622 | 644 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
584.41/584.48 c 535s| 2670k| 2653k| 0 | 0.0 | 758M|1781 | - |2622 | 601 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
586.71/586.72 c 537s| 2680k| 2663k| 0 | 0.0 | 761M|1781 | - |2622 | 585 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
588.90/588.99 c 539s| 2690k| 2673k| 0 | 0.0 | 764M|1781 | - |2622 | 574 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
591.21/591.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.21/591.24 c 541s| 2700k| 2683k| 0 | 0.0 | 766M|1781 | - |2622 | 523 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
593.51/593.51 c 544s| 2710k| 2693k| 0 | 0.0 | 769M|1781 | - |2622 | 527 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
595.71/595.78 c 546s| 2720k| 2703k| 0 | 0.0 | 772M|1781 | - |2622 | 524 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
598.01/598.05 c 548s| 2730k| 2713k| 0 | 0.0 | 775M|1781 | - |2622 | 559 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
600.31/600.31 c 550s| 2740k| 2722k| 0 | 0.0 | 778M|1781 | - |2622 | 596 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
602.51/602.56 c 552s| 2750k| 2732k| 0 | 0.0 | 780M|1781 | - |2622 | 561 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
604.81/604.83 c 554s| 2760k| 2742k| 0 | 0.0 | 783M|1781 | - |2622 | 550 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
607.11/607.13 c 556s| 2770k| 2752k| 0 | 0.0 | 786M|1781 | - |2622 | 621 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
609.32/609.40 c 558s| 2780k| 2762k| 0 | 0.0 | 789M|1781 | - |2622 | 627 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
611.61/611.66 c 560s| 2790k| 2772k| 0 | 0.0 | 792M|1781 | - |2622 | 617 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
613.91/613.92 c 562s| 2800k| 2782k| 0 | 0.0 | 794M|1781 | - |2622 | 625 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
616.11/616.18 c 564s| 2810k| 2792k| 0 | 0.0 | 797M|1781 | - |2622 | 609 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
618.41/618.44 c 567s| 2820k| 2802k| 0 | 0.0 | 800M|1781 | - |2622 | 561 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
620.71/620.70 c 569s| 2830k| 2812k| 0 | 0.0 | 803M|1781 | - |2622 | 602 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
622.91/622.95 c 571s| 2840k| 2822k| 0 | 0.0 | 805M|1781 | - |2622 | 591 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
625.20/625.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.20/625.21 c 573s| 2850k| 2832k| 0 | 0.0 | 808M|1781 | - |2622 | 570 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
627.51/627.50 c 575s| 2860k| 2842k| 0 | 0.0 | 811M|1781 | - |2622 | 595 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
629.71/629.79 c 577s| 2870k| 2852k| 0 | 0.0 | 814M|1781 | - |2622 | 596 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
632.01/632.05 c 579s| 2880k| 2862k| 0 | 0.0 | 816M|1781 | - |2622 | 555 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
634.31/634.32 c 581s| 2890k| 2872k| 0 | 0.0 | 819M|1781 | - |2622 | 620 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
636.51/636.57 c 583s| 2900k| 2882k| 0 | 0.0 | 822M|1781 | - |2622 | 592 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
638.81/638.82 c 585s| 2910k| 2892k| 0 | 0.0 | 825M|1781 | - |2622 | 587 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
641.11/641.11 c 587s| 2920k| 2901k| 0 | 0.0 | 827M|1781 | - |2622 | 608 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
643.31/643.36 c 589s| 2930k| 2911k| 0 | 0.0 | 830M|1781 | - |2622 | 607 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
645.61/645.64 c 591s| 2940k| 2921k| 0 | 0.0 | 833M|1781 | - |2622 | 578 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
647.92/647.90 c 594s| 2950k| 2931k| 0 | 0.0 | 836M|1781 | - |2622 | 654 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
650.12/650.15 c 596s| 2960k| 2941k| 0 | 0.0 | 839M|1781 | - |2622 | 624 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
652.41/652.41 c 598s| 2970k| 2951k| 0 | 0.0 | 841M|1781 | - |2622 | 602 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
654.61/654.68 c 600s| 2980k| 2961k| 0 | 0.0 | 844M|1781 | - |2622 | 623 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
656.90/656.94 c 602s| 2990k| 2971k| 0 | 0.0 | 847M|1781 | - |2622 | 593 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
659.11/659.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.11/659.19 c 604s| 3000k| 2981k| 0 | 0.0 | 850M|1781 | - |2622 | 565 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
661.40/661.44 c 606s| 3010k| 2991k| 0 | 0.0 | 852M|1781 | - |2622 | 614 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
663.61/663.69 c 608s| 3020k| 3001k| 0 | 0.0 | 855M|1781 | - |2622 | 558 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
665.91/665.95 c 610s| 3030k| 3011k| 0 | 0.0 | 858M|1781 | - |2622 | 546 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
668.21/668.21 c 612s| 3040k| 3021k| 0 | 0.0 | 861M|1781 | - |2622 | 566 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
670.41/670.47 c 614s| 3050k| 3031k| 0 | 0.0 | 863M|1781 | - |2622 | 567 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
672.71/672.72 c 616s| 3060k| 3041k| 0 | 0.0 | 866M|1781 | - |2622 | 543 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
674.91/674.99 c 618s| 3070k| 3051k| 0 | 0.0 | 869M|1781 | - |2622 | 576 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
677.21/677.25 c 621s| 3080k| 3061k| 0 | 0.0 | 872M|1781 | - |2622 | 539 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
679.51/679.50 c 623s| 3090k| 3071k| 0 | 0.0 | 874M|1781 | - |2622 | 583 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
681.71/681.76 c 625s| 3100k| 3080k| 0 | 0.0 | 877M|1781 | - |2622 | 570 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
684.01/684.00 c 627s| 3110k| 3090k| 0 | 0.0 | 880M|1781 | - |2622 | 537 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
686.21/686.25 c 629s| 3120k| 3100k| 0 | 0.0 | 883M|1781 | - |2622 | 578 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
688.52/688.50 c 631s| 3130k| 3110k| 0 | 0.0 | 886M|1781 | - |2622 | 585 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
690.72/690.76 c 633s| 3140k| 3120k| 0 | 0.0 | 888M|1781 | - |2622 | 611 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
693.01/693.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.01/693.05 c 635s| 3150k| 3130k| 0 | 0.0 | 891M|1781 | - |2622 | 614 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
695.31/695.30 c 637s| 3160k| 3140k| 0 | 0.0 | 894M|1781 | - |2622 | 573 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
697.51/697.53 c 639s| 3170k| 3150k| 0 | 0.0 | 897M|1781 | - |2622 | 588 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
699.81/699.82 c 641s| 3180k| 3160k| 0 | 0.0 | 899M|1781 | - |2622 | 604 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
702.01/702.07 c 643s| 3190k| 3170k| 0 | 0.0 | 902M|1781 | - |2622 | 592 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
704.31/704.33 c 645s| 3200k| 3180k| 0 | 0.0 | 905M|1781 | - |2622 | 591 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
706.51/706.58 c 648s| 3210k| 3190k| 0 | 0.0 | 908M|1781 | - |2622 | 578 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
708.81/708.82 c 650s| 3220k| 3200k| 0 | 0.0 | 910M|1781 | - |2622 | 616 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
711.01/711.08 c 652s| 3230k| 3210k| 0 | 0.0 | 913M|1781 | - |2622 | 588 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
713.32/713.39 c 654s| 3240k| 3220k| 0 | 0.0 | 916M|1781 | - |2622 | 645 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
715.61/715.65 c 656s| 3250k| 3230k| 0 | 0.0 | 919M|1781 | - |2622 | 620 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
717.81/717.89 c 658s| 3260k| 3240k| 0 | 0.0 | 921M|1781 | - |2622 | 613 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
720.11/720.15 c 660s| 3270k| 3249k| 0 | 0.0 | 924M|1781 | - |2622 | 625 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
722.42/722.44 c 662s| 3280k| 3259k| 0 | 0.0 | 927M|1781 | - |2622 | 667 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
724.72/724.71 c 664s| 3290k| 3269k| 0 | 0.0 | 930M|1781 | - |2622 | 676 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
726.91/726.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.91/726.98 c 666s| 3300k| 3279k| 0 | 0.0 | 933M|1781 | - |2622 | 626 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
729.22/729.24 c 668s| 3310k| 3289k| 0 | 0.0 | 935M|1781 | - |2622 | 695 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
731.51/731.51 c 670s| 3320k| 3299k| 0 | 0.0 | 938M|1781 | - |2622 | 665 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
733.72/733.77 c 673s| 3330k| 3309k| 0 | 0.0 | 941M|1781 | - |2622 | 656 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
736.01/736.03 c 675s| 3340k| 3319k| 0 | 0.0 | 944M|1781 | - |2622 | 641 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
738.21/738.28 c 677s| 3350k| 3329k| 0 | 0.0 | 946M|1781 | - |2622 | 666 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
740.52/740.53 c 679s| 3360k| 3339k| 0 | 0.0 | 949M|1781 | - |2622 | 669 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
742.71/742.78 c 681s| 3370k| 3349k| 0 | 0.0 | 952M|1781 | - |2622 | 650 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
745.02/745.04 c 683s| 3380k| 3359k| 0 | 0.0 | 955M|1781 | - |2622 | 650 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
747.31/747.30 c 685s| 3390k| 3369k| 0 | 0.0 | 957M|1781 | - |2622 | 651 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
749.52/749.58 c 687s| 3400k| 3379k| 0 | 0.0 | 960M|1781 | - |2622 | 659 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
751.81/751.85 c 689s| 3410k| 3389k| 0 | 0.0 | 963M|1781 | - |2622 | 665 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
754.11/754.10 c 691s| 3420k| 3399k| 0 | 0.0 | 966M|1781 | - |2622 | 668 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
756.41/756.40 c 693s| 3430k| 3409k| 0 | 0.0 | 969M|1781 | - |2622 | 662 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
758.61/758.67 c 696s| 3440k| 3419k| 0 | 0.0 | 971M|1781 | - |2622 | 650 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
760.91/760.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.91/760.92 c 698s| 3450k| 3428k| 0 | 0.0 | 974M|1781 | - |2622 | 640 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
763.11/763.17 c 700s| 3460k| 3438k| 0 | 0.0 | 977M|1781 | - |2622 | 619 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
765.42/765.44 c 702s| 3470k| 3448k| 0 | 0.0 | 980M|1781 | - |2622 | 654 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
767.61/767.70 c 704s| 3480k| 3458k| 0 | 0.0 | 982M|1781 | - |2622 | 636 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
769.92/769.99 c 706s| 3490k| 3468k| 0 | 0.0 | 985M|1781 | - |2622 | 651 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
772.22/772.27 c 708s| 3500k| 3478k| 0 | 0.0 | 988M|1781 | - |2622 | 621 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
774.51/774.53 c 710s| 3510k| 3488k| 0 | 0.0 | 991M|1781 | - |2622 | 596 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
776.71/776.78 c 712s| 3520k| 3498k| 0 | 0.0 | 993M|1781 | - |2622 | 590 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
779.02/779.03 c 714s| 3530k| 3508k| 0 | 0.0 | 996M|1781 | - |2622 | 597 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
781.21/781.28 c 716s| 3540k| 3518k| 0 | 0.0 | 999M|1781 | - |2622 | 634 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
783.52/783.55 c 718s| 3550k| 3528k| 0 | 0.0 |1002M|1781 | - |2622 | 655 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
785.81/785.80 c 721s| 3560k| 3538k| 0 | 0.0 |1005M|1781 | - |2622 | 605 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
788.02/788.05 c 723s| 3570k| 3548k| 0 | 0.0 |1007M|1781 | - |2622 | 633 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
790.32/790.30 c 725s| 3580k| 3558k| 0 | 0.0 |1010M|1781 | - |2622 | 681 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
792.51/792.54 c 727s| 3590k| 3568k| 0 | 0.0 |1013M|1781 | - |2622 | 633 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
794.81/794.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.81/794.80 c 729s| 3600k| 3578k| 0 | 0.0 |1016M|1781 | - |2622 | 659 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
797.01/797.06 c 731s| 3610k| 3588k| 0 | 0.0 |1018M|1781 | - |2622 | 644 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
799.31/799.31 c 733s| 3620k| 3597k| 0 | 0.0 |1021M|1781 | - |2622 | 639 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
801.51/801.57 c 735s| 3630k| 3607k| 0 | 0.0 |1024M|1781 | - |2622 | 672 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
803.81/803.80 c 737s| 3640k| 3617k| 0 | 0.0 |1027M|1781 | - |2622 | 638 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
806.01/806.07 c 739s| 3650k| 3627k| 0 | 0.0 |1030M|1781 | - |2622 | 666 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
808.32/808.32 c 741s| 3660k| 3637k| 0 | 0.0 |1032M|1781 | - |2622 | 644 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
810.51/810.57 c 743s| 3670k| 3647k| 0 | 0.0 |1035M|1781 | - |2622 | 661 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
812.82/812.83 c 746s| 3680k| 3657k| 0 | 0.0 |1038M|1781 | - |2622 | 661 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
815.01/815.09 c 748s| 3690k| 3667k| 0 | 0.0 |1041M|1781 | - |2622 | 652 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
817.32/817.38 c 750s| 3700k| 3677k| 0 | 0.0 |1043M|1781 | - |2622 | 659 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
819.61/819.65 c 752s| 3710k| 3687k| 0 | 0.0 |1046M|1781 | - |2622 | 653 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
821.81/821.89 c 754s| 3720k| 3697k| 0 | 0.0 |1049M|1781 | - |2622 | 656 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
824.11/824.13 c 756s| 3730k| 3707k| 0 | 0.0 |1052M|1781 | - |2622 | 695 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
826.31/826.38 c 758s| 3740k| 3717k| 0 | 0.0 |1054M|1781 | - |2622 | 689 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
828.62/828.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.62/828.65 c 760s| 3750k| 3727k| 0 | 0.0 |1057M|1781 | - |2622 | 664 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
830.92/830.90 c 762s| 3760k| 3737k| 0 | 0.0 |1060M|1781 | - |2622 | 661 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
833.11/833.16 c 764s| 3770k| 3747k| 0 | 0.0 |1063M|1781 | - |2622 | 665 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
835.42/835.44 c 766s| 3780k| 3757k| 0 | 0.0 |1066M|1781 | - |2622 | 733 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
837.61/837.69 c 768s| 3790k| 3767k| 0 | 0.0 |1068M|1781 | - |2622 | 717 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
839.91/839.95 c 770s| 3800k| 3776k| 0 | 0.0 |1071M|1781 | - |2622 | 767 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
842.21/842.22 c 773s| 3810k| 3786k| 0 | 0.0 |1074M|1781 | - |2622 | 739 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
844.41/844.47 c 775s| 3820k| 3796k| 0 | 0.0 |1077M|1781 | - |2622 | 726 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
846.71/846.72 c 777s| 3830k| 3806k| 0 | 0.0 |1079M|1781 | - |2622 | 708 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
848.91/848.98 c 779s| 3840k| 3816k| 0 | 0.0 |1082M|1781 | - |2622 | 764 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
851.22/851.25 c 781s| 3850k| 3826k| 0 | 0.0 |1085M|1781 | - |2622 | 727 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
853.52/853.50 c 783s| 3860k| 3836k| 0 | 0.0 |1088M|1781 | - |2622 | 729 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
855.72/855.75 c 785s| 3870k| 3846k| 0 | 0.0 |1090M|1781 | - |2622 | 689 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
857.92/857.99 c 787s| 3880k| 3856k| 0 | 0.0 |1093M|1781 | - |2622 | 726 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
860.22/860.28 c 789s| 3890k| 3866k| 0 | 0.0 |1096M|1781 | - |2622 | 745 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
862.52/862.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.52/862.52 c 791s| 3900k| 3876k| 0 | 0.0 |1099M|1781 | - |2622 | 672 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
864.72/864.76 c 793s| 3910k| 3886k| 0 | 0.0 |1102M|1781 | - |2622 | 671 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
867.02/867.00 c 795s| 3920k| 3896k| 0 | 0.0 |1104M|1781 | - |2622 | 659 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
869.21/869.22 c 797s| 3930k| 3906k| 0 | 0.0 |1107M|1781 | - |2622 | 676 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
871.42/871.46 c 799s| 3940k| 3916k| 0 | 0.0 |1110M|1781 | - |2622 | 697 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
873.71/873.71 c 801s| 3950k| 3926k| 0 | 0.0 |1113M|1781 | - |2622 | 727 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
875.91/875.95 c 804s| 3960k| 3936k| 0 | 0.0 |1116M|1781 | - |2622 | 663 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
878.22/878.21 c 806s| 3970k| 3945k| 0 | 0.0 |1118M|1781 | - |2622 | 697 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
880.41/880.45 c 808s| 3980k| 3955k| 0 | 0.0 |1121M|1781 | - |2622 | 666 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
882.71/882.71 c 810s| 3990k| 3965k| 0 | 0.0 |1124M|1781 | - |2622 | 714 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
884.92/884.93 c 812s| 4000k| 3975k| 0 | 0.0 |1127M|1781 | - |2622 | 707 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
887.11/887.18 c 814s| 4010k| 3985k| 0 | 0.0 |1130M|1781 | - |2622 | 672 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
889.41/889.42 c 816s| 4020k| 3995k| 0 | 0.0 |1132M|1781 | - |2622 | 661 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
891.61/891.66 c 818s| 4030k| 4005k| 0 | 0.0 |1135M|1781 | - |2622 | 665 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
893.92/893.90 c 820s| 4040k| 4015k| 0 | 0.0 |1138M|1781 | - |2622 | 638 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
896.12/896.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.12/896.17 c 822s| 4050k| 4025k| 0 | 0.0 |1141M|1781 | - |2622 | 642 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
898.41/898.41 c 824s| 4060k| 4035k| 0 | 0.0 |1144M|1781 | - |2622 | 607 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
900.61/900.66 c 826s| 4070k| 4045k| 0 | 0.0 |1146M|1781 | - |2622 | 594 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
902.81/902.89 c 828s| 4080k| 4055k| 0 | 0.0 |1149M|1781 | - |2622 | 631 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
905.11/905.18 c 830s| 4090k| 4065k| 0 | 0.0 |1152M|1781 | - |2622 | 655 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
907.42/907.43 c 832s| 4100k| 4075k| 0 | 0.0 |1155M|1781 | - |2622 | 601 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
909.62/909.68 c 835s| 4110k| 4085k| 0 | 0.0 |1157M|1781 | - |2622 | 588 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
911.92/911.93 c 837s| 4120k| 4095k| 0 | 0.0 |1160M|1781 | - |2622 | 594 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
914.12/914.19 c 839s| 4130k| 4105k| 0 | 0.0 |1163M|1781 | - |2622 | 613 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
916.41/916.45 c 841s| 4140k| 4114k| 0 | 0.0 |1166M|1781 | - |2622 | 624 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
918.72/918.70 c 843s| 4150k| 4124k| 0 | 0.0 |1169M|1781 | - |2622 | 634 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
920.92/920.95 c 845s| 4160k| 4134k| 0 | 0.0 |1171M|1781 | - |2622 | 674 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
923.22/923.20 c 847s| 4170k| 4144k| 0 | 0.0 |1174M|1781 | - |2622 | 588 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
925.41/925.47 c 849s| 4180k| 4154k| 0 | 0.0 |1177M|1781 | - |2622 | 645 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
927.72/927.73 c 851s| 4190k| 4164k| 0 | 0.0 |1180M|1781 | - |2622 | 625 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
929.92/929.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.92/929.98 c 853s| 4200k| 4174k| 0 | 0.0 |1182M|1781 | - |2622 | 648 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
932.22/932.25 c 855s| 4210k| 4184k| 0 | 0.0 |1185M|1781 | - |2622 | 631 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
934.52/934.50 c 857s| 4220k| 4194k| 0 | 0.0 |1188M|1781 | - |2622 | 612 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
936.71/936.76 c 859s| 4230k| 4204k| 0 | 0.0 |1191M|1781 | - |2622 | 654 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
939.01/939.03 c 862s| 4240k| 4214k| 0 | 0.0 |1193M|1781 | - |2622 | 593 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
941.31/941.31 c 864s| 4250k| 4224k| 0 | 0.0 |1196M|1781 | - |2622 | 690 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
943.51/943.54 c 866s| 4260k| 4234k| 0 | 0.0 |1199M|1781 | - |2622 | 632 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
945.72/945.79 c 868s| 4270k| 4244k| 0 | 0.0 |1202M|1781 | - |2622 | 633 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
948.02/948.04 c 870s| 4280k| 4254k| 0 | 0.0 |1205M|1781 | - |2622 | 678 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
950.21/950.27 c 872s| 4290k| 4264k| 0 | 0.0 |1207M|1781 | - |2622 | 656 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
952.52/952.51 c 874s| 4300k| 4274k| 0 | 0.0 |1210M|1781 | - |2622 | 685 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
954.72/954.77 c 876s| 4310k| 4283k| 0 | 0.0 |1213M|1781 | - |2622 | 702 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
957.03/957.01 c 878s| 4320k| 4293k| 0 | 0.0 |1216M|1781 | - |2622 | 711 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
959.23/959.29 c 880s| 4330k| 4303k| 0 | 0.0 |1218M|1781 | - |2622 | 714 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
961.51/961.56 c 882s| 4340k| 4313k| 0 | 0.0 |1221M|1781 | - |2622 | 671 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
963.82/963.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.82/963.82 c 884s| 4350k| 4323k| 0 | 0.0 |1224M|1781 | - |2622 | 696 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
966.01/966.06 c 886s| 4360k| 4333k| 0 | 0.0 |1227M|1781 | - |2622 | 668 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
968.32/968.32 c 888s| 4370k| 4343k| 0 | 0.0 |1230M|1781 | - |2622 | 687 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
970.51/970.55 c 890s| 4380k| 4353k| 0 | 0.0 |1232M|1781 | - |2622 | 679 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
972.71/972.78 c 893s| 4390k| 4363k| 0 | 0.0 |1235M|1781 | - |2622 | 707 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
975.02/975.05 c 895s| 4400k| 4373k| 0 | 0.0 |1238M|1781 | - |2622 | 708 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
977.22/977.28 c 897s| 4410k| 4383k| 0 | 0.0 |1241M|1781 | - |2622 | 684 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
979.52/979.54 c 899s| 4420k| 4393k| 0 | 0.0 |1243M|1781 | - |2622 | 737 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
981.82/981.82 c 901s| 4430k| 4403k| 0 | 0.0 |1246M|1781 | - |2622 | 784 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
984.02/984.07 c 903s| 4440k| 4413k| 0 | 0.0 |1249M|1781 | - |2622 | 750 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
986.32/986.30 c 905s| 4450k| 4423k| 0 | 0.0 |1252M|1781 | - |2622 | 722 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
988.52/988.53 c 907s| 4460k| 4433k| 0 | 0.0 |1255M|1781 | - |2622 | 770 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
990.72/990.75 c 909s| 4470k| 4443k| 0 | 0.0 |1257M|1781 | - |2622 | 751 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
993.02/993.01 c 911s| 4480k| 4453k| 0 | 0.0 |1260M|1781 | - |2622 | 770 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
995.22/995.28 c 913s| 4490k| 4462k| 0 | 0.0 |1263M|1781 | - |2622 | 718 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
997.52/997.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.52/997.52 c 915s| 4500k| 4472k| 0 | 0.0 |1266M|1781 | - |2622 | 782 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
999.72/999.74 c 917s| 4510k| 4482k| 0 | 0.0 |1268M|1781 | - |2622 | 731 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1001.92/1001.99 c 919s| 4520k| 4492k| 0 | 0.0 |1271M|1781 | - |2622 | 723 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1004.22/1004.21 c 921s| 4530k| 4502k| 0 | 0.0 |1274M|1781 | - |2622 | 735 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1006.42/1006.47 c 923s| 4540k| 4512k| 0 | 0.0 |1277M|1781 | - |2622 | 703 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1008.72/1008.71 c 925s| 4550k| 4522k| 0 | 0.0 |1279M|1781 | - |2622 | 663 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1010.93/1010.96 c 928s| 4560k| 4532k| 0 | 0.0 |1282M|1781 | - |2622 | 629 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1013.13/1013.17 c 930s| 4570k| 4542k| 0 | 0.0 |1285M|1781 | - |2622 | 664 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1015.42/1015.41 c 932s| 4580k| 4552k| 0 | 0.0 |1288M|1781 | - |2622 | 647 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1017.62/1017.66 c 934s| 4590k| 4562k| 0 | 0.0 |1291M|1781 | - |2622 | 639 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1019.92/1019.94 c 936s| 4600k| 4572k| 0 | 0.0 |1293M|1781 | - |2622 | 635 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1022.11/1022.17 c 938s| 4610k| 4582k| 0 | 0.0 |1296M|1781 | - |2622 | 626 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1024.42/1024.43 c 940s| 4620k| 4592k| 0 | 0.0 |1299M|1781 | - |2622 | 679 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1026.62/1026.68 c 942s| 4630k| 4602k| 0 | 0.0 |1302M|1781 | - |2622 | 655 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1028.92/1028.92 c 944s| 4640k| 4612k| 0 | 0.0 |1305M|1781 | - |2622 | 641 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1031.12/1031.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.12/1031.17 c 946s| 4650k| 4622k| 0 | 0.0 |1307M|1781 | - |2622 | 638 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1033.42/1033.40 c 948s| 4660k| 4632k| 0 | 0.0 |1310M|1781 | - |2622 | 612 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1035.62/1035.63 c 950s| 4670k| 4641k| 0 | 0.0 |1313M|1781 | - |2622 | 642 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1037.82/1037.85 c 952s| 4680k| 4651k| 0 | 0.0 |1316M|1781 | - |2622 | 613 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1040.01/1040.09 c 954s| 4690k| 4661k| 0 | 0.0 |1319M|1781 | - |2622 | 636 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1042.31/1042.35 c 956s| 4700k| 4671k| 0 | 0.0 |1321M|1781 | - |2622 | 636 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1044.52/1044.58 c 958s| 4710k| 4681k| 0 | 0.0 |1324M|1781 | - |2622 | 678 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1046.82/1046.81 c 960s| 4720k| 4691k| 0 | 0.0 |1327M|1781 | - |2622 | 621 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1049.02/1049.05 c 963s| 4730k| 4701k| 0 | 0.0 |1330M|1781 | - |2622 | 631 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1051.32/1051.31 c 965s| 4740k| 4711k| 0 | 0.0 |1333M|1781 | - |2622 | 643 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1053.52/1053.57 c 967s| 4750k| 4721k| 0 | 0.0 |1335M|1781 | - |2622 | 640 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1055.82/1055.80 c 969s| 4760k| 4731k| 0 | 0.0 |1338M|1781 | - |2622 | 661 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1058.02/1058.04 c 971s| 4770k| 4741k| 0 | 0.0 |1341M|1781 | - |2622 | 655 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1060.32/1060.31 c 973s| 4780k| 4751k| 0 | 0.0 |1344M|1781 | - |2622 | 651 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1062.52/1062.59 c 975s| 4790k| 4761k| 0 | 0.0 |1347M|1781 | - |2622 | 604 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1064.82/1064.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.82/1064.85 c 977s| 4800k| 4771k| 0 | 0.0 |1349M|1781 | - |2622 | 607 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1067.12/1067.11 c 979s| 4810k| 4781k| 0 | 0.0 |1352M|1781 | - |2622 | 563 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1069.32/1069.37 c 981s| 4820k| 4791k| 0 | 0.0 |1355M|1781 | - |2622 | 604 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1071.62/1071.67 c 983s| 4830k| 4801k| 0 | 0.0 |1358M|1781 | - |2622 | 613 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1073.92/1073.94 c 986s| 4840k| 4810k| 0 | 0.0 |1360M|1781 | - |2622 | 594 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1076.12/1076.20 c 988s| 4850k| 4820k| 0 | 0.0 |1363M|1781 | - |2622 | 638 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1078.42/1078.45 c 990s| 4860k| 4830k| 0 | 0.0 |1366M|1781 | - |2622 | 644 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1080.62/1080.68 c 992s| 4870k| 4840k| 0 | 0.0 |1369M|1781 | - |2622 | 598 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1082.92/1082.95 c 994s| 4880k| 4850k| 0 | 0.0 |1371M|1781 | - |2622 | 643 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1085.12/1085.20 c 996s| 4890k| 4860k| 0 | 0.0 |1374M|1781 | - |2622 | 614 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1087.42/1087.41 c 998s| 4900k| 4870k| 0 | 0.0 |1377M|1781 | - |2622 | 670 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1089.62/1089.66 c 1000s| 4910k| 4880k| 0 | 0.0 |1380M|1781 | - |2622 | 690 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1091.92/1091.90 c 1002s| 4920k| 4890k| 0 | 0.0 |1383M|1781 | - |2622 | 665 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1094.12/1094.15 c 1004s| 4930k| 4900k| 0 | 0.0 |1385M|1781 | - |2622 | 651 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1096.43/1096.40 c 1006s| 4940k| 4910k| 0 | 0.0 |1388M|1781 | - |2622 | 668 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1098.62/1098.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.62/1098.66 c 1008s| 4950k| 4920k| 0 | 0.0 |1391M|1781 | - |2622 | 639 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1100.82/1100.89 c 1010s| 4960k| 4930k| 0 | 0.0 |1394M|1781 | - |2622 | 639 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1103.12/1103.14 c 1012s| 4970k| 4940k| 0 | 0.0 |1396M|1781 | - |2622 | 616 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1105.32/1105.38 c 1014s| 4980k| 4950k| 0 | 0.0 |1399M|1781 | - |2622 | 638 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1107.62/1107.62 c 1017s| 4990k| 4960k| 0 | 0.0 |1402M|1781 | - |2622 | 631 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1109.83/1109.85 c 1019s| 5000k| 4970k| 0 | 0.0 |1405M|1781 | - |2622 | 667 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1112.03/1112.10 c 1021s| 5010k| 4980k| 0 | 0.0 |1408M|1781 | - |2622 | 651 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1114.33/1114.33 c 1023s| 5020k| 4989k| 0 | 0.0 |1410M|1781 | - |2622 | 665 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1116.52/1116.57 c 1025s| 5030k| 4999k| 0 | 0.0 |1413M|1781 | - |2622 | 689 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1118.82/1118.81 c 1027s| 5040k| 5009k| 0 | 0.0 |1416M|1781 | - |2622 | 703 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1121.02/1121.03 c 1029s| 5050k| 5019k| 0 | 0.0 |1419M|1781 | - |2622 | 701 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1123.22/1123.28 c 1031s| 5060k| 5029k| 0 | 0.0 |1422M|1781 | - |2622 | 673 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1125.52/1125.52 c 1033s| 5070k| 5039k| 0 | 0.0 |1424M|1781 | - |2622 | 702 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1127.73/1127.77 c 1035s| 5080k| 5049k| 0 | 0.0 |1427M|1781 | - |2622 | 671 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1130.02/1130.02 c 1037s| 5090k| 5059k| 0 | 0.0 |1430M|1781 | - |2622 | 696 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1132.22/1132.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.22/1132.24 c 1039s| 5100k| 5069k| 0 | 0.0 |1433M|1781 | - |2622 | 733 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1134.42/1134.47 c 1041s| 5110k| 5079k| 0 | 0.0 |1436M|1781 | - |2622 | 724 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1136.73/1136.71 c 1043s| 5120k| 5089k| 0 | 0.0 |1438M|1781 | - |2622 | 701 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1138.92/1138.96 c 1045s| 5130k| 5099k| 0 | 0.0 |1441M|1781 | - |2622 | 727 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1141.13/1141.19 c 1047s| 5140k| 5109k| 0 | 0.0 |1444M|1781 | - |2622 | 664 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1143.43/1143.43 c 1049s| 5150k| 5119k| 0 | 0.0 |1447M|1781 | - |2622 | 711 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1145.62/1145.68 c 1052s| 5160k| 5129k| 0 | 0.0 |1449M|1781 | - |2622 | 651 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1147.92/1147.93 c 1054s| 5170k| 5139k| 0 | 0.0 |1452M|1781 | - |2622 | 666 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1150.12/1150.18 c 1056s| 5180k| 5149k| 0 | 0.0 |1455M|1781 | - |2622 | 658 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1152.42/1152.41 c 1058s| 5190k| 5159k| 0 | 0.0 |1458M|1781 | - |2622 | 652 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1154.62/1154.66 c 1060s| 5200k| 5168k| 0 | 0.0 |1461M|1781 | - |2622 | 679 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1156.82/1156.88 c 1062s| 5210k| 5178k| 0 | 0.0 |1463M|1781 | - |2622 | 645 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1159.12/1159.16 c 1064s| 5220k| 5188k| 0 | 0.0 |1466M|1781 | - |2622 | 693 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1161.32/1161.39 c 1066s| 5230k| 5198k| 0 | 0.0 |1469M|1781 | - |2622 | 660 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1163.62/1163.64 c 1068s| 5240k| 5208k| 0 | 0.0 |1472M|1781 | - |2622 | 659 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1165.82/1165.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.82/1165.88 c 1070s| 5250k| 5218k| 0 | 0.0 |1475M|1781 | - |2622 | 628 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1168.13/1168.12 c 1072s| 5260k| 5228k| 0 | 0.0 |1477M|1781 | - |2622 | 678 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1170.33/1170.37 c 1074s| 5270k| 5238k| 0 | 0.0 |1480M|1781 | - |2622 | 642 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1172.62/1172.61 c 1076s| 5280k| 5248k| 0 | 0.0 |1483M|1781 | - |2622 | 622 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1174.83/1174.83 c 1078s| 5290k| 5258k| 0 | 0.0 |1486M|1781 | - |2622 | 640 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1177.12/1177.15 c 1080s| 5300k| 5268k| 0 | 0.0 |1489M|1781 | - |2622 | 693 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1179.32/1179.39 c 1083s| 5310k| 5278k| 0 | 0.0 |1491M|1781 | - |2622 | 657 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1181.63/1181.63 c 1085s| 5320k| 5288k| 0 | 0.0 |1494M|1781 | - |2622 | 644 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1183.82/1183.86 c 1087s| 5330k| 5298k| 0 | 0.0 |1497M|1781 | - |2622 | 626 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1186.02/1186.09 c 1089s| 5340k| 5308k| 0 | 0.0 |1500M|1781 | - |2622 | 659 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1188.33/1188.34 c 1091s| 5350k| 5318k| 0 | 0.0 |1503M|1781 | - |2622 | 686 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1190.62/1190.60 c 1093s| 5360k| 5328k| 0 | 0.0 |1505M|1781 | - |2622 | 710 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1192.83/1192.83 c 1095s| 5370k| 5338k| 0 | 0.0 |1508M|1781 | - |2622 | 676 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1195.03/1195.09 c 1097s| 5380k| 5347k| 0 | 0.0 |1511M|1781 | - |2622 | 642 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1197.32/1197.36 c 1099s| 5390k| 5357k| 0 | 0.0 |1514M|1781 | - |2622 | 635 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1199.63/1199.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.63/1199.60 c 1101s| 5400k| 5367k| 0 | 0.0 |1516M|1781 | - |2622 | 682 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1201.93/1201.90 c 1103s| 5410k| 5377k| 0 | 0.0 |1519M|1781 | - |2622 | 664 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1204.13/1204.16 c 1105s| 5420k| 5387k| 0 | 0.0 |1522M|1781 | - |2622 | 648 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1206.42/1206.43 c 1107s| 5430k| 5397k| 0 | 0.0 |1525M|1781 | - |2622 | 700 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1208.63/1208.66 c 1109s| 5440k| 5407k| 0 | 0.0 |1528M|1781 | - |2622 | 692 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1210.93/1210.90 c 1111s| 5450k| 5417k| 0 | 0.0 |1530M|1781 | - |2622 | 699 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1213.12/1213.15 c 1114s| 5460k| 5427k| 0 | 0.0 |1533M|1781 | - |2622 | 725 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1215.32/1215.40 c 1116s| 5470k| 5437k| 0 | 0.0 |1536M|1781 | - |2622 | 725 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1217.63/1217.66 c 1118s| 5480k| 5447k| 0 | 0.0 |1539M|1781 | - |2622 | 710 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1219.93/1219.92 c 1120s| 5490k| 5457k| 0 | 0.0 |1541M|1781 | - |2622 | 687 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1222.13/1222.17 c 1122s| 5500k| 5467k| 0 | 0.0 |1544M|1781 | - |2622 | 663 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1224.43/1224.41 c 1124s| 5510k| 5477k| 0 | 0.0 |1547M|1781 | - |2622 | 670 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1226.62/1226.67 c 1126s| 5520k| 5487k| 0 | 0.0 |1550M|1781 | - |2622 | 698 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1228.93/1228.91 c 1128s| 5530k| 5497k| 0 | 0.0 |1552M|1781 | - |2622 | 681 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1231.12/1231.16 c 1130s| 5540k| 5507k| 0 | 0.0 |1555M|1781 | - |2622 | 631 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1233.43/1233.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.43/1233.41 c 1132s| 5550k| 5516k| 0 | 0.0 |1558M|1781 | - |2622 | 669 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1235.63/1235.66 c 1134s| 5560k| 5526k| 0 | 0.0 |1561M|1781 | - |2622 | 671 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1237.93/1237.92 c 1136s| 5570k| 5536k| 0 | 0.0 |1564M|1781 | - |2622 | 658 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1240.13/1240.15 c 1138s| 5580k| 5546k| 0 | 0.0 |1566M|1781 | - |2622 | 667 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1242.42/1242.43 c 1140s| 5590k| 5556k| 0 | 0.0 |1569M|1781 | - |2622 | 659 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1244.63/1244.68 c 1142s| 5600k| 5566k| 0 | 0.0 |1572M|1781 | - |2622 | 655 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1246.92/1246.91 c 1145s| 5610k| 5576k| 0 | 0.0 |1575M|1781 | - |2622 | 678 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1249.13/1249.19 c 1147s| 5620k| 5586k| 0 | 0.0 |1577M|1781 | - |2622 | 671 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1251.43/1251.43 c 1149s| 5630k| 5596k| 0 | 0.0 |1580M|1781 | - |2622 | 673 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1253.62/1253.68 c 1151s| 5640k| 5606k| 0 | 0.0 |1583M|1781 | - |2622 | 722 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1255.93/1255.91 c 1153s| 5650k| 5616k| 0 | 0.0 |1586M|1781 | - |2622 | 669 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1258.13/1258.15 c 1155s| 5660k| 5626k| 0 | 0.0 |1589M|1781 | - |2622 | 640 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1260.32/1260.37 c 1157s| 5670k| 5636k| 0 | 0.0 |1591M|1781 | - |2622 | 646 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1262.62/1262.65 c 1159s| 5680k| 5646k| 0 | 0.0 |1594M|1781 | - |2622 | 691 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1264.93/1264.92 c 1161s| 5690k| 5656k| 0 | 0.0 |1597M|1781 | - |2622 | 707 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1267.23/1267.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.23/1267.21 c 1163s| 5700k| 5666k| 0 | 0.0 |1600M|1781 | - |2622 | 709 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1269.52/1269.54 c 1165s| 5710k| 5676k| 0 | 0.0 |1602M|1781 | - |2622 | 703 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1271.72/1271.75 c 1167s| 5720k| 5685k| 0 | 0.0 |1605M|1781 | - |2622 | 707 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1274.03/1274.03 c 1170s| 5730k| 5695k| 0 | 0.0 |1608M|1781 | - |2622 | 624 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1276.23/1276.27 c 1172s| 5740k| 5705k| 0 | 0.0 |1611M|1781 | - |2622 | 680 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1278.43/1278.48 c 1174s| 5750k| 5715k| 0 | 0.0 |1613M|1781 | - |2622 | 657 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1280.73/1280.70 c 1176s| 5760k| 5725k| 0 | 0.0 |1616M|1781 | - |2622 | 713 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1282.93/1282.92 c 1178s| 5770k| 5735k| 0 | 0.0 |1619M|1781 | - |2622 | 736 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1285.13/1285.15 c 1180s| 5780k| 5745k| 0 | 0.0 |1622M|1781 | - |2622 | 729 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1287.42/1287.44 c 1182s| 5790k| 5755k| 0 | 0.0 |1625M|1781 | - |2622 | 755 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1289.73/1289.73 c 1184s| 5800k| 5765k| 0 | 0.0 |1627M|1781 | - |2622 | 776 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1291.93/1291.95 c 1186s| 5810k| 5775k| 0 | 0.0 |1630M|1781 | - |2622 | 741 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1294.22/1294.21 c 1188s| 5820k| 5785k| 0 | 0.0 |1633M|1781 | - |2622 | 725 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1296.43/1296.46 c 1190s| 5830k| 5795k| 0 | 0.0 |1636M|1781 | - |2622 | 739 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1298.72/1298.71 c 1192s| 5840k| 5805k| 0 | 0.0 |1638M|1781 | - |2622 | 730 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1300.92/1300.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.92/1300.96 c 1194s| 5850k| 5815k| 0 | 0.0 |1641M|1781 | - |2622 | 743 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1303.22/1303.22 c 1196s| 5860k| 5825k| 0 | 0.0 |1644M|1781 | - |2622 | 768 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1305.43/1305.46 c 1198s| 5870k| 5835k| 0 | 0.0 |1647M|1781 | - |2622 | 787 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1307.73/1307.72 c 1201s| 5880k| 5845k| 0 | 0.0 |1650M|1781 | - |2622 | 748 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1309.93/1309.95 c 1203s| 5890k| 5854k| 0 | 0.0 |1652M|1781 | - |2622 | 715 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1312.24/1312.21 c 1205s| 5900k| 5864k| 0 | 0.0 |1655M|1781 | - |2622 | 743 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1314.43/1314.43 c 1207s| 5910k| 5874k| 0 | 0.0 |1658M|1781 | - |2622 | 687 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1316.64/1316.68 c 1209s| 5920k| 5884k| 0 | 0.0 |1661M|1781 | - |2622 | 675 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1318.93/1318.92 c 1211s| 5930k| 5894k| 0 | 0.0 |1663M|1781 | - |2622 | 666 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1321.14/1321.15 c 1213s| 5940k| 5904k| 0 | 0.0 |1666M|1781 | - |2622 | 686 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1323.43/1323.40 c 1215s| 5950k| 5914k| 0 | 0.0 |1669M|1781 | - |2622 | 688 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1325.63/1325.64 c 1217s| 5960k| 5924k| 0 | 0.0 |1672M|1781 | - |2622 | 657 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1327.83/1327.88 c 1219s| 5970k| 5934k| 0 | 0.0 |1675M|1781 | - |2622 | 697 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1330.13/1330.12 c 1221s| 5980k| 5944k| 0 | 0.0 |1677M|1781 | - |2622 | 668 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1332.33/1332.37 c 1223s| 5990k| 5954k| 0 | 0.0 |1680M|1781 | - |2622 | 659 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1334.63/1334.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.63/1334.61 c 1225s| 6000k| 5964k| 0 | 0.0 |1683M|1781 | - |2622 | 639 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1336.82/1336.84 c 1227s| 6010k| 5974k| 0 | 0.0 |1686M|1781 | - |2622 | 637 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1339.13/1339.10 c 1229s| 6020k| 5984k| 0 | 0.0 |1688M|1781 | - |2622 | 684 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1341.33/1341.35 c 1231s| 6030k| 5994k| 0 | 0.0 |1691M|1781 | - |2622 | 707 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1343.53/1343.58 c 1234s| 6040k| 6004k| 0 | 0.0 |1694M|1781 | - |2622 | 674 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1345.83/1345.83 c 1236s| 6050k| 6014k| 0 | 0.0 |1697M|1781 | - |2622 | 671 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1348.13/1348.11 c 1238s| 6060k| 6024k| 0 | 0.0 |1700M|1781 | - |2622 | 722 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1350.43/1350.40 c 1240s| 6070k| 6033k| 0 | 0.0 |1702M|1781 | - |2622 | 724 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1352.63/1352.66 c 1242s| 6080k| 6043k| 0 | 0.0 |1705M|1781 | - |2622 | 655 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1354.92/1354.90 c 1244s| 6090k| 6053k| 0 | 0.0 |1708M|1781 | - |2622 | 650 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1357.23/1357.20 c 1246s| 6100k| 6063k| 0 | 0.0 |1711M|1781 | - |2622 | 717 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1359.53/1359.52 c 1248s| 6110k| 6073k| 0 | 0.0 |1713M|1781 | - |2622 | 662 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1361.73/1361.79 c 1250s| 6120k| 6083k| 0 | 0.0 |1716M|1781 | - |2622 | 644 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1364.03/1364.02 c 1252s| 6130k| 6093k| 0 | 0.0 |1719M|1781 | - |2622 | 663 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1366.23/1366.25 c 1254s| 6140k| 6103k| 0 | 0.0 |1721M|1781 | - |2622 | 649 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1368.53/1368.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.53/1368.51 c 1256s| 6150k| 6113k| 0 | 0.0 |1724M|1781 | - |2622 | 708 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1370.72/1370.76 c 1259s| 6160k| 6123k| 0 | 0.0 |1727M|1781 | - |2622 | 697 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1373.03/1373.00 c 1261s| 6170k| 6133k| 0 | 0.0 |1730M|1781 | - |2622 | 679 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1375.23/1375.23 c 1263s| 6180k| 6143k| 0 | 0.0 |1733M|1781 | - |2622 | 690 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1377.43/1377.48 c 1265s| 6190k| 6153k| 0 | 0.0 |1735M|1781 | - |2622 | 708 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1379.73/1379.73 c 1267s| 6200k| 6163k| 0 | 0.0 |1738M|1781 | - |2622 | 700 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1382.03/1382.00 c 1269s| 6210k| 6173k| 0 | 0.0 |1741M|1781 | - |2622 | 733 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1384.23/1384.23 c 1271s| 6220k| 6183k| 0 | 0.0 |1744M|1781 | - |2622 | 677 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1386.43/1386.44 c 1273s| 6230k| 6193k| 0 | 0.0 |1746M|1781 | - |2622 | 676 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1388.73/1388.72 c 1275s| 6240k| 6203k| 0 | 0.0 |1749M|1781 | - |2622 | 750 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1390.93/1390.98 c 1277s| 6250k| 6212k| 0 | 0.0 |1752M|1781 | - |2622 | 705 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1393.23/1393.21 c 1279s| 6260k| 6222k| 0 | 0.0 |1755M|1781 | - |2622 | 687 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1395.43/1395.46 c 1281s| 6270k| 6232k| 0 | 0.0 |1757M|1781 | - |2622 | 682 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1397.73/1397.70 c 1283s| 6280k| 6242k| 0 | 0.0 |1760M|1781 | - |2622 | 678 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1399.93/1399.94 c 1285s| 6290k| 6252k| 0 | 0.0 |1763M|1781 | - |2622 | 700 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1402.23/1402.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.23/1402.22 c 1288s| 6300k| 6262k| 0 | 0.0 |1766M|1781 | - |2622 | 739 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1404.43/1404.46 c 1290s| 6310k| 6272k| 0 | 0.0 |1769M|1781 | - |2622 | 713 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1406.63/1406.68 c 1292s| 6320k| 6282k| 0 | 0.0 |1771M|1781 | - |2622 | 659 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1408.93/1408.93 c 1294s| 6330k| 6292k| 0 | 0.0 |1774M|1781 | - |2622 | 749 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1411.24/1411.20 c 1296s| 6340k| 6302k| 0 | 0.0 |1777M|1781 | - |2622 | 698 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1413.43/1413.44 c 1298s| 6350k| 6312k| 0 | 0.0 |1780M|1781 | - |2622 | 692 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1415.64/1415.67 c 1300s| 6360k| 6322k| 0 | 0.0 |1782M|1781 | - |2622 | 681 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1417.94/1417.93 c 1302s| 6370k| 6332k| 0 | 0.0 |1785M|1781 | - |2622 | 715 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1420.14/1420.17 c 1304s| 6380k| 6342k| 0 | 0.0 |1788M|1781 | - |2622 | 765 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1422.33/1422.38 c 1306s| 6390k| 6352k| 0 | 0.0 |1791M|1781 | - |2622 | 748 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1424.63/1424.63 c 1308s| 6400k| 6362k| 0 | 0.0 |1794M|1781 | - |2622 | 810 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1426.83/1426.85 c 1310s| 6410k| 6372k| 0 | 0.0 |1796M|1781 | - |2622 | 755 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1429.03/1429.09 c 1312s| 6420k| 6381k| 0 | 0.0 |1799M|1781 | - |2622 | 807 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1431.33/1431.31 c 1314s| 6430k| 6391k| 0 | 0.0 |1802M|1781 | - |2622 | 799 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1433.53/1433.55 c 1316s| 6440k| 6401k| 0 | 0.0 |1805M|1781 | - |2622 | 755 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1435.73/1435.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.73/1435.77 c 1318s| 6450k| 6411k| 0 | 0.0 |1808M|1781 | - |2622 | 738 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1437.94/1437.98 c 1320s| 6460k| 6421k| 0 | 0.0 |1810M|1781 | - |2622 | 755 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1440.24/1440.22 c 1322s| 6470k| 6431k| 0 | 0.0 |1813M|1781 | - |2622 | 737 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1442.43/1442.49 c 1325s| 6480k| 6441k| 0 | 0.0 |1816M|1781 | - |2622 | 691 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1444.73/1444.73 c 1327s| 6490k| 6451k| 0 | 0.0 |1819M|1781 | - |2622 | 687 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1447.03/1447.00 c 1329s| 6500k| 6461k| 0 | 0.0 |1822M|1781 | - |2622 | 714 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1449.23/1449.26 c 1331s| 6510k| 6471k| 0 | 0.0 |1824M|1781 | - |2622 | 710 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1451.53/1451.52 c 1333s| 6520k| 6481k| 0 | 0.0 |1827M|1781 | - |2622 | 707 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1453.73/1453.78 c 1335s| 6530k| 6491k| 0 | 0.0 |1830M|1781 | - |2622 | 742 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1456.03/1456.08 c 1337s| 6540k| 6501k| 0 | 0.0 |1833M|1781 | - |2622 | 686 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1458.33/1458.36 c 1339s| 6550k| 6511k| 0 | 0.0 |1835M|1781 | - |2622 | 683 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1460.64/1460.64 c 1341s| 6560k| 6521k| 0 | 0.0 |1838M|1781 | - |2622 | 715 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1462.83/1462.87 c 1343s| 6570k| 6531k| 0 | 0.0 |1841M|1781 | - |2622 | 694 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1465.14/1465.16 c 1345s| 6580k| 6541k| 0 | 0.0 |1844M|1781 | - |2622 | 652 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1467.44/1467.42 c 1348s| 6590k| 6551k| 0 | 0.0 |1846M|1781 | - |2622 | 688 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1469.63/1469.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.63/1469.66 c 1350s| 6600k| 6560k| 0 | 0.0 |1849M|1781 | - |2622 | 701 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1471.93/1471.90 c 1352s| 6610k| 6570k| 0 | 0.0 |1852M|1781 | - |2622 | 657 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1474.13/1474.16 c 1354s| 6620k| 6580k| 0 | 0.0 |1855M|1781 | - |2622 | 701 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1476.43/1476.43 c 1356s| 6630k| 6590k| 0 | 0.0 |1858M|1781 | - |2622 | 704 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1478.64/1478.66 c 1358s| 6640k| 6600k| 0 | 0.0 |1860M|1781 | - |2622 | 716 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1481.04/1481.01 c 1360s| 6650k| 6610k| 0 | 0.0 |1863M|1781 | - |2622 | 749 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1483.24/1483.23 c 1362s| 6660k| 6620k| 0 | 0.0 |1866M|1781 | - |2622 | 690 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1485.53/1485.50 c 1364s| 6670k| 6630k| 0 | 0.0 |1869M|1781 | - |2622 | 683 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1487.73/1487.76 c 1366s| 6680k| 6640k| 0 | 0.0 |1871M|1781 | - |2622 | 724 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1489.93/1489.99 c 1368s| 6690k| 6650k| 0 | 0.0 |1874M|1781 | - |2622 | 665 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1492.23/1492.23 c 1370s| 6700k| 6660k| 0 | 0.0 |1877M|1781 | - |2622 | 718 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1494.43/1494.47 c 1372s| 6710k| 6670k| 0 | 0.0 |1880M|1781 | - |2622 | 740 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1496.73/1496.78 c 1375s| 6720k| 6680k| 0 | 0.0 |1882M|1781 | - |2622 | 791 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1499.03/1499.01 c 1377s| 6730k| 6690k| 0 | 0.0 |1885M|1781 | - |2622 | 754 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1501.23/1501.24 c 1379s| 6740k| 6700k| 0 | 0.0 |1888M|1781 | - |2622 | 756 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1503.44/1503.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.44/1503.48 c 1381s| 6750k| 6710k| 0 | 0.0 |1891M|1781 | - |2622 | 739 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1505.73/1505.76 c 1383s| 6760k| 6720k| 0 | 0.0 |1893M|1781 | - |2622 | 723 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1507.93/1507.96 c 1385s| 6770k| 6729k| 0 | 0.0 |1896M|1781 | - |2622 | 748 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1510.13/1510.19 c 1387s| 6780k| 6739k| 0 | 0.0 |1899M|1781 | - |2622 | 761 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1512.44/1512.49 c 1389s| 6790k| 6749k| 0 | 0.0 |1902M|1781 | - |2622 | 766 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1514.74/1514.71 c 1391s| 6800k| 6759k| 0 | 0.0 |1905M|1781 | - |2622 | 768 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1516.94/1516.97 c 1393s| 6810k| 6769k| 0 | 0.0 |1907M|1781 | - |2622 | 790 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1519.23/1519.22 c 1395s| 6820k| 6779k| 0 | 0.0 |1910M|1781 | - |2622 | 751 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1521.44/1521.47 c 1397s| 6830k| 6789k| 0 | 0.0 |1913M|1781 | - |2622 | 735 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1523.64/1523.69 c 1399s| 6840k| 6799k| 0 | 0.0 |1916M|1781 | - |2622 | 709 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1525.94/1525.93 c 1401s| 6850k| 6809k| 0 | 0.0 |1918M|1781 | - |2622 | 717 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1528.23/1528.21 c 1404s| 6860k| 6819k| 0 | 0.0 |1921M|1781 | - |2622 | 751 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1530.44/1530.44 c 1406s| 6870k| 6829k| 0 | 0.0 |1924M|1781 | - |2622 | 733 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1532.74/1532.72 c 1408s| 6880k| 6839k| 0 | 0.0 |1927M|1781 | - |2622 | 697 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1534.93/1534.99 c 1410s| 6890k| 6849k| 0 | 0.0 |1930M|1781 | - |2622 | 711 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1537.24/1537.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.24/1537.23 c 1412s| 6900k| 6859k| 0 | 0.0 |1932M|1781 | - |2622 | 695 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1539.43/1539.46 c 1414s| 6910k| 6869k| 0 | 0.0 |1935M|1781 | - |2622 | 646 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1541.63/1541.69 c 1416s| 6920k| 6879k| 0 | 0.0 |1938M|1781 | - |2622 | 657 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1543.93/1543.90 c 1418s| 6930k| 6889k| 0 | 0.0 |1941M|1781 | - |2622 | 645 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1546.13/1546.12 c 1420s| 6940k| 6899k| 0 | 0.0 |1943M|1781 | - |2622 | 706 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1548.33/1548.35 c 1422s| 6950k| 6908k| 0 | 0.0 |1946M|1781 | - |2622 | 664 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1550.53/1550.56 c 1424s| 6960k| 6918k| 0 | 0.0 |1949M|1781 | - |2622 | 661 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1552.74/1552.79 c 1426s| 6970k| 6928k| 0 | 0.0 |1952M|1781 | - |2622 | 660 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1555.04/1555.00 c 1428s| 6980k| 6938k| 0 | 0.0 |1955M|1781 | - |2622 | 669 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1557.23/1557.27 c 1430s| 6990k| 6948k| 0 | 0.0 |1957M|1781 | - |2622 | 670 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1559.64/1559.60 c 1433s| 7000k| 6958k| 0 | 0.0 |1960M|1781 | - |2622 | 680 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1561.84/1561.81 c 1435s| 7010k| 6968k| 0 | 0.0 |1963M|1781 | - |2622 | 687 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1564.03/1564.09 c 1437s| 7020k| 6978k| 0 | 0.0 |1966M|1781 | - |2622 | 759 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1566.34/1566.31 c 1439s| 7030k| 6988k| 0 | 0.0 |1969M|1781 | - |2622 | 680 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1568.54/1568.58 c 1441s| 7040k| 6998k| 0 | 0.0 |1971M|1781 | - |2622 | 680 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1570.84/1570.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.84/1570.81 c 1443s| 7050k| 7008k| 0 | 0.0 |1974M|1781 | - |2622 | 672 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1573.04/1573.02 c 1445s| 7060k| 7018k| 0 | 0.0 |1977M|1781 | - |2622 | 676 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1575.24/1575.26 c 1447s| 7070k| 7028k| 0 | 0.0 |1980M|1781 | - |2622 | 699 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1577.54/1577.50 c 1449s| 7080k| 7038k| 0 | 0.0 |1983M|1781 | - |2622 | 702 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1579.74/1579.78 c 1451s| 7090k| 7048k| 0 | 0.0 |1985M|1781 | - |2622 | 731 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1582.03/1582.07 c 1453s| 7100k| 7058k| 0 | 0.0 |1988M|1781 | - |2622 | 712 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1584.34/1584.32 c 1455s| 7110k| 7067k| 0 | 0.0 |1991M|1781 | - |2622 | 698 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1586.53/1586.59 c 1457s| 7120k| 7077k| 0 | 0.0 |1994M|1781 | - |2622 | 662 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1588.83/1588.83 c 1459s| 7130k| 7087k| 0 | 0.0 |1997M|1781 | - |2622 | 703 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1591.03/1591.06 c 1462s| 7140k| 7097k| 0 | 0.0 |1999M|1781 | - |2622 | 689 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1593.23/1593.27 c 1464s| 7150k| 7107k| 0 | 0.0 |2002M|1781 | - |2622 | 653 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1595.44/1595.49 c 1466s| 7160k| 7117k| 0 | 0.0 |2005M|1781 | - |2622 | 663 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1597.74/1597.72 c 1468s| 7170k| 7127k| 0 | 0.0 |2008M|1781 | - |2622 | 655 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1599.93/1599.95 c 1470s| 7180k| 7137k| 0 | 0.0 |2011M|1781 | - |2622 | 664 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1602.14/1602.18 c 1472s| 7190k| 7147k| 0 | 0.0 |2013M|1781 | - |2622 | 696 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1604.44/1604.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.44/1604.42 c 1474s| 7200k| 7157k| 0 | 0.0 |2016M|1781 | - |2622 | 661 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1606.74/1606.73 c 1476s| 7210k| 7167k| 0 | 0.0 |2019M|1781 | - |2622 | 701 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1608.94/1608.93 c 1478s| 7220k| 7177k| 0 | 0.0 |2022M|1781 | - |2622 | 633 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1611.14/1611.16 c 1480s| 7230k| 7187k| 0 | 0.0 |2025M|1781 | - |2622 | 674 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1613.34/1613.38 c 1482s| 7240k| 7197k| 0 | 0.0 |2027M|1781 | - |2622 | 705 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1615.63/1615.61 c 1484s| 7250k| 7207k| 0 | 0.0 |2030M|1781 | - |2622 | 688 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1617.83/1617.83 c 1486s| 7260k| 7217k| 0 | 0.0 |2033M|1781 | - |2622 | 733 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1620.13/1620.11 c 1488s| 7270k| 7227k| 0 | 0.0 |2036M|1781 | - |2622 | 700 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1622.34/1622.33 c 1490s| 7280k| 7236k| 0 | 0.0 |2038M|1781 | - |2622 | 725 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1624.53/1624.60 c 1492s| 7290k| 7246k| 0 | 0.0 |2041M|1781 | - |2622 | 731 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1626.84/1626.86 c 1494s| 7300k| 7256k| 0 | 0.0 |2044M|1781 | - |2622 | 717 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1629.14/1629.12 c 1497s| 7310k| 7266k| 0 | 0.0 |2047M|1781 | - |2622 | 713 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1631.34/1631.34 c 1499s| 7320k| 7276k| 0 | 0.0 |2050M|1781 | - |2622 | 736 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1633.55/1633.58 c 1501s| 7330k| 7286k| 0 | 0.0 |2052M|1781 | - |2622 | 702 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1635.83/1635.86 c 1503s| 7340k| 7296k| 0 | 0.0 |2055M|1781 | - |2622 | 697 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1638.04/1638.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.04/1638.07 c 1505s| 7350k| 7306k| 0 | 0.0 |2058M|1781 | - |2622 | 724 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1640.34/1640.35 c 1507s| 7360k| 7316k| 0 | 0.0 |2061M|1781 | - |2622 | 816 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1642.54/1642.57 c 1509s| 7370k| 7326k| 0 | 0.0 |2063M|1781 | - |2622 | 714 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1644.73/1644.78 c 1511s| 7380k| 7336k| 0 | 0.0 |2066M|1781 | - |2622 | 680 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1647.04/1647.01 c 1513s| 7390k| 7346k| 0 | 0.0 |2069M|1781 | - |2622 | 714 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1649.24/1649.28 c 1515s| 7400k| 7356k| 0 | 0.0 |2072M|1781 | - |2622 | 685 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1651.54/1651.50 c 1517s| 7410k| 7366k| 0 | 0.0 |2075M|1781 | - |2622 | 749 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1653.74/1653.72 c 1519s| 7420k| 7376k| 0 | 0.0 |2077M|1781 | - |2622 | 742 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1655.93/1655.96 c 1521s| 7430k| 7386k| 0 | 0.0 |2080M|1781 | - |2622 | 711 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1658.24/1658.21 c 1523s| 7440k| 7396k| 0 | 0.0 |2083M|1781 | - |2622 | 686 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1660.43/1660.45 c 1525s| 7450k| 7405k| 0 | 0.0 |2086M|1781 | - |2622 | 708 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1662.74/1662.70 c 1528s| 7460k| 7415k| 0 | 0.0 |2088M|1781 | - |2622 | 656 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1664.94/1664.95 c 1530s| 7470k| 7425k| 0 | 0.0 |2091M|1781 | - |2622 | 670 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1667.24/1667.24 c 1532s| 7480k| 7435k| 0 | 0.0 |2094M|1781 | - |2622 | 706 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1669.54/1669.51 c 1534s| 7490k| 7445k| 0 | 0.0 |2097M|1781 | - |2622 | 729 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1671.74/1671.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.74/1671.75 c 1536s| 7500k| 7455k| 0 | 0.0 |2100M|1781 | - |2622 | 690 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1673.94/1673.96 c 1538s| 7510k| 7465k| 0 | 0.0 |2102M|1781 | - |2622 | 697 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1676.24/1676.24 c 1540s| 7520k| 7475k| 0 | 0.0 |2105M|1781 | - |2622 | 734 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1678.44/1678.46 c 1542s| 7530k| 7485k| 0 | 0.0 |2108M|1781 | - |2622 | 730 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1680.74/1680.76 c 1544s| 7540k| 7495k| 0 | 0.0 |2111M|1781 | - |2622 | 751 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1683.14/1683.11 c 1546s| 7550k| 7505k| 0 | 0.0 |2113M|1781 | - |2622 | 762 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1685.44/1685.40 c 1548s| 7560k| 7515k| 0 | 0.0 |2116M|1781 | - |2622 | 704 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1687.74/1687.70 c 1551s| 7570k| 7525k| 0 | 0.0 |2119M|1781 | - |2622 | 729 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1689.94/1689.93 c 1553s| 7580k| 7535k| 0 | 0.0 |2122M|1781 | - |2622 | 749 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1692.24/1692.22 c 1555s| 7590k| 7545k| 0 | 0.0 |2124M|1781 | - |2622 | 809 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1694.54/1694.52 c 1557s| 7600k| 7554k| 0 | 0.0 |2127M|1781 | - |2622 | 821 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1696.74/1696.74 c 1559s| 7610k| 7564k| 0 | 0.0 |2130M|1781 | - |2622 | 761 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1698.94/1698.99 c 1561s| 7620k| 7574k| 0 | 0.0 |2133M|1781 | - |2622 | 804 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1701.24/1701.24 c 1563s| 7630k| 7584k| 0 | 0.0 |2135M|1781 | - |2622 | 741 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1703.44/1703.47 c 1565s| 7640k| 7594k| 0 | 0.0 |2138M|1781 | - |2622 | 766 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1705.74/1705.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.74/1705.71 c 1567s| 7650k| 7604k| 0 | 0.0 |2141M|1781 | - |2622 | 781 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1707.94/1707.93 c 1569s| 7660k| 7614k| 0 | 0.0 |2144M|1781 | - |2622 | 736 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1710.14/1710.18 c 1571s| 7670k| 7624k| 0 | 0.0 |2147M|1781 | - |2622 | 790 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1712.44/1712.47 c 1573s| 7680k| 7634k| 0 | 0.0 |2149M|1781 | - |2622 | 745 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1714.64/1714.69 c 1575s| 7690k| 7644k| 0 | 0.0 |2152M|1781 | - |2622 | 759 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1716.94/1716.94 c 1577s| 7700k| 7654k| 0 | 0.0 |2155M|1781 | - |2622 | 803 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1719.14/1719.18 c 1580s| 7710k| 7664k| 0 | 0.0 |2158M|1781 | - |2622 | 769 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1721.44/1721.44 c 1582s| 7720k| 7674k| 0 | 0.0 |2160M|1781 | - |2622 | 747 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1723.65/1723.68 c 1584s| 7730k| 7684k| 0 | 0.0 |2163M|1781 | - |2622 | 732 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1725.95/1725.93 c 1586s| 7740k| 7694k| 0 | 0.0 |2166M|1781 | - |2622 | 744 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1728.24/1728.22 c 1588s| 7750k| 7704k| 0 | 0.0 |2169M|1781 | - |2622 | 771 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1730.44/1730.46 c 1590s| 7760k| 7714k| 0 | 0.0 |2172M|1781 | - |2622 | 768 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1732.64/1732.69 c 1592s| 7770k| 7723k| 0 | 0.0 |2174M|1781 | - |2622 | 740 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1734.94/1734.94 c 1594s| 7780k| 7733k| 0 | 0.0 |2177M|1781 | - |2622 | 712 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1737.14/1737.19 c 1596s| 7790k| 7743k| 0 | 0.0 |2180M|1781 | - |2622 | 698 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1739.44/1739.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.44/1739.40 c 1598s| 7800k| 7753k| 0 | 0.0 |2183M|1781 | - |2622 | 684 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1741.64/1741.63 c 1600s| 7810k| 7763k| 0 | 0.0 |2185M|1781 | - |2622 | 681 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1743.84/1743.86 c 1602s| 7820k| 7773k| 0 | 0.0 |2188M|1781 | - |2622 | 697 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1746.04/1746.09 c 1604s| 7830k| 7783k| 0 | 0.0 |2191M|1781 | - |2622 | 670 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1748.34/1748.38 c 1606s| 7840k| 7793k| 0 | 0.0 |2194M|1781 | - |2622 | 692 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1750.64/1750.61 c 1608s| 7850k| 7803k| 0 | 0.0 |2197M|1781 | - |2622 | 660 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1752.84/1752.82 c 1610s| 7860k| 7813k| 0 | 0.0 |2199M|1781 | - |2622 | 663 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1755.14/1755.13 c 1613s| 7870k| 7823k| 0 | 0.0 |2202M|1781 | - |2622 | 704 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1757.34/1757.35 c 1615s| 7880k| 7833k| 0 | 0.0 |2205M|1781 | - |2622 | 668 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1759.64/1759.60 c 1617s| 7890k| 7843k| 0 | 0.0 |2208M|1781 | - |2622 | 694 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1761.84/1761.84 c 1619s| 7900k| 7853k| 0 | 0.0 |2211M|1781 | - |2622 | 666 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1764.15/1764.12 c 1621s| 7910k| 7863k| 0 | 0.0 |2213M|1781 | - |2622 | 659 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1766.35/1766.37 c 1623s| 7920k| 7873k| 0 | 0.0 |2216M|1781 | - |2622 | 684 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1768.65/1768.62 c 1625s| 7930k| 7883k| 0 | 0.0 |2219M|1781 | - |2622 | 711 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1770.84/1770.85 c 1627s| 7940k| 7893k| 0 | 0.0 |2222M|1781 | - |2622 | 694 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1773.04/1773.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.04/1773.10 c 1629s| 7950k| 7902k| 0 | 0.0 |2224M|1781 | - |2622 | 727 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1775.35/1775.33 c 1631s| 7960k| 7912k| 0 | 0.0 |2227M|1781 | - |2622 | 724 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1777.65/1777.60 c 1633s| 7970k| 7922k| 0 | 0.0 |2230M|1781 | - |2622 | 739 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1779.85/1779.84 c 1635s| 7980k| 7932k| 0 | 0.0 |2233M|1781 | - |2622 | 689 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1782.05/1782.08 c 1637s| 7990k| 7942k| 0 | 0.0 |2236M|1781 | - |2622 | 704 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1784.35/1784.35 c 1640s| 8000k| 7952k| 0 | 0.0 |2238M|1781 | - |2622 | 689 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1786.64/1786.63 c 1642s| 8010k| 7962k| 0 | 0.0 |2241M|1781 | - |2622 | 718 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1788.94/1788.90 c 1644s| 8020k| 7972k| 0 | 0.0 |2244M|1781 | - |2622 | 691 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1791.14/1791.11 c 1646s| 8030k| 7982k| 0 | 0.0 |2247M|1781 | - |2622 | 711 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1793.34/1793.38 c 1648s| 8040k| 7992k| 0 | 0.0 |2249M|1781 | - |2622 | 687 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1795.64/1795.63 c 1650s| 8050k| 8002k| 0 | 0.0 |2252M|1781 | - |2622 | 676 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1797.84/1797.87 c 1652s| 8060k| 8012k| 0 | 0.0 |2255M|1781 | - |2622 | 686 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1653.98
1800.04/1800.00 c Solving Nodes : 8069703
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1653.98
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693739-1277891283.wbo
1800.04/1800.00 c Variables : 2622 (2571 binary, 0 integer, 0 implicit integer, 51 continuous)
1800.04/1800.00 c Constraints : 194 initial, 194 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693739-1277891283.wbo
1800.04/1800.00 c Variables : 2622 (2571 binary, 0 integer, 0 implicit integer, 51 continuous)
1800.04/1800.00 c Constraints : 193 initial, 1219 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 51 0 1 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 51 0 2206 0 1956 0 111 0 0 0
1800.04/1800.00 c setppc : 43 0 8686744 0 8051358 16651 2704795 0 0 0
1800.04/1800.00 c linear : 51 0 8670093 0 8051358 7868 1052942 0 0 0
1800.04/1800.00 c logicor : 48+ 0 1678846 0 8051358 4543 335499 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 8051358 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c setppc : 182.22 0.00 26.24 0.00 155.98
1800.04/1800.00 c linear : 21.81 0.00 21.63 0.00 0.18
1800.04/1800.00 c logicor : 152.53 0.00 9.68 0.00 142.85
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.01 2 0 0
1800.04/1800.00 c rootredcost : 0.01 0 0 0
1800.04/1800.00 c pseudoobj : 9.00 8686544 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 40.12 29062 29062 594512 258.0 201271 33.7 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 267794 65.7 - - -
1800.04/1800.00 c applied locally : - - - 1460 300.3 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 1224.03 8051358 0 0 0 0 16102716
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.00 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.02 0 0
1800.04/1800.00 c trysol : 0.01 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 8069703
1800.04/1800.00 c nodes (total) : 8069703
1800.04/1800.00 c nodes left : 8021952
1800.04/1800.00 c max depth : 1781
1800.04/1800.00 c max depth (total): 1781
1800.04/1800.00 c backtracks : 11675 (0.1%)
1800.04/1800.00 c delayed cutoffs : 11062
1800.04/1800.00 c repropagations : 32430 (238210 domain reductions, 10717 cutoffs)
1800.04/1800.00 c avg switch length: 2.35
1800.04/1800.00 c switching time : 30.69
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693739-1277891283/watcher-2693739-1277891283 -o /tmp/evaluation-result-2693739-1277891283/solver-2693739-1277891283 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693739-1277891283.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.04 2.72 3/182 11568
/proc/meminfo: memFree=29922352/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=9184 CPUtime=0
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 1768 0 0 0 0 0 0 0 21 0 1 0 130424505 9404416 1691 4089446400 4194304 7136930 140733411237072 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11568/statm: 2296 1708 275 719 0 1575 0
[startup+0.0148409 s]
/proc/loadavg: 2.07 2.04 2.72 3/182 11568
/proc/meminfo: memFree=29922352/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=14404 CPUtime=0.01
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 3449 0 0 0 1 0 0 0 21 0 1 0 130424505 14749696 3018 4089446400 4194304 7136930 140733411237072 18446744073709551615 4825314 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 3601 3023 289 719 0 2880 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14404
[startup+0.10081 s]
/proc/loadavg: 2.07 2.04 2.72 3/182 11568
/proc/meminfo: memFree=29922352/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=18876 CPUtime=0.09
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 5697 0 0 0 8 1 0 0 21 0 1 0 130424505 19329024 3981 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 4719 3981 390 719 0 3998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18876
[startup+0.300787 s]
/proc/loadavg: 2.07 2.04 2.72 3/182 11568
/proc/meminfo: memFree=29922352/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=19812 CPUtime=0.29
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 5925 0 0 0 26 3 0 0 21 0 1 0 130424505 20287488 4209 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 4953 4209 390 719 0 4232 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19812
[startup+0.700714 s]
/proc/loadavg: 2.07 2.04 2.72 3/182 11568
/proc/meminfo: memFree=29922352/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=21016 CPUtime=0.69
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 6253 0 0 0 62 7 0 0 22 0 1 0 130424505 21520384 4537 4089446400 4194304 7136930 140733411237072 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 5254 4537 394 719 0 4533 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21016
[startup+1.50057 s]
/proc/loadavg: 2.07 2.04 2.72 3/183 11569
/proc/meminfo: memFree=29901108/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=22584 CPUtime=1.49
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 6662 0 0 0 134 15 0 0 25 0 1 0 130424505 23126016 4946 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 5646 4946 394 719 0 4925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22584
[startup+3.10027 s]
/proc/loadavg: 2.07 2.04 2.72 3/183 11569
/proc/meminfo: memFree=29896148/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=24444 CPUtime=3.09
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 7162 0 0 0 282 27 0 0 25 0 1 0 130424505 25030656 5446 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 6111 5446 394 719 0 5390 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24444
[startup+6.30069 s]
/proc/loadavg: 2.07 2.04 2.72 3/183 11569
/proc/meminfo: memFree=29876752/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=29008 CPUtime=6.29
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 8358 0 0 0 579 50 0 0 25 0 1 0 130424505 29704192 6642 4089446400 4194304 7136930 140733411237072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 7252 6642 394 719 0 6531 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29008
[startup+12.7005 s]
/proc/loadavg: 2.06 2.04 2.72 3/183 11569
/proc/meminfo: memFree=29847116/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=37932 CPUtime=12.69
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 10673 0 0 0 1167 102 0 0 25 0 1 0 130424505 38842368 8957 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11568/statm: 9483 8957 394 719 0 8762 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37932
[startup+25.5002 s]
/proc/loadavg: 2.05 2.04 2.70 3/183 11570
/proc/meminfo: memFree=29781968/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=58160 CPUtime=25.49
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 15438 0 0 0 2340 209 0 0 25 0 1 0 130424505 59555840 13722 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 14540 13722 394 719 0 13819 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58160
[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 2.68 3/183 11571
/proc/meminfo: memFree=29650116/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=99044 CPUtime=51.09
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 25120 0 0 0 4674 435 0 0 25 0 1 0 130424505 101421056 23404 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 24761 23404 394 719 0 24040 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99044
[startup+102.306 s]
/proc/loadavg: 2.05 2.04 2.65 3/183 11572
/proc/meminfo: memFree=29405288/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=188244 CPUtime=102.3
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 46327 0 0 0 9305 925 0 0 25 0 1 0 130424505 192761856 44611 4089446400 4194304 7136930 140733411237072 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 47061 44611 394 719 0 46340 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 188244
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.61 3/183 11573
/proc/meminfo: memFree=29092876/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=284672 CPUtime=162.3
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 71624 0 0 0 14731 1499 0 0 25 0 1 0 130424505 291504128 69908 4089446400 4194304 7136930 140733411237072 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 71168 69908 394 719 0 70447 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 284672
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.57 3/183 11575
/proc/meminfo: memFree=28817536/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=375668 CPUtime=222.29
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 91299 0 0 0 20239 1990 0 0 25 0 1 0 130424505 384684032 89583 4089446400 4194304 7136930 140733411237072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 93917 89583 394 719 0 93196 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 375668
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.53 3/183 11577
/proc/meminfo: memFree=28536116/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=447212 CPUtime=282.29
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 110238 0 0 0 25739 2490 0 0 25 0 1 0 130424505 457945088 108522 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 111803 108522 394 719 0 111082 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 447212
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.49 3/183 11579
/proc/meminfo: memFree=28233864/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=522636 CPUtime=342.3
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 130099 0 0 0 31261 2969 0 0 25 0 1 0 130424505 535179264 128383 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 130659 128383 394 719 0 129938 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 522636
[startup+402.301 s]
/proc/loadavg: 2.04 2.02 2.46 3/183 11580
/proc/meminfo: memFree=27948972/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=600724 CPUtime=402.3
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 150672 0 0 0 36757 3473 0 0 25 0 1 0 130424505 615141376 148956 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 150181 148956 394 719 0 149460 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 600724
[startup+462.301 s]
/proc/loadavg: 2.08 2.03 2.44 3/183 11581
/proc/meminfo: memFree=27782144/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=705120 CPUtime=462.3
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 169604 0 0 0 42279 3951 0 0 25 0 1 0 130424505 722042880 167888 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 176280 167888 394 719 0 175559 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 705120
[startup+522.301 s]
/proc/loadavg: 2.03 2.02 2.41 3/183 11583
/proc/meminfo: memFree=27708688/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=774364 CPUtime=522.31
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 187931 0 0 0 47793 4438 0 0 25 0 1 0 130424505 792948736 186215 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 193591 186215 394 719 0 192870 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 774364
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.38 3/183 11585
/proc/meminfo: memFree=27629032/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=849668 CPUtime=582.31
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 207782 0 0 0 53319 4912 0 0 25 0 1 0 130424505 870060032 206066 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 212417 206066 394 719 0 211696 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 849668
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.35 3/183 11587
/proc/meminfo: memFree=27551224/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=921876 CPUtime=642.32
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 226877 0 0 0 58842 5390 0 0 25 0 1 0 130424505 944001024 225161 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 230469 225161 394 719 0 229748 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 921876
[startup+702.301 s]
################
# More data... #
################
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 343772 0 0 0 91955 8277 0 0 25 0 1 0 130424505 1464565760 342056 4089446400 4194304 7136930 140733411237072 18446744073709551615 5117838 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 357560 342056 394 719 0 356839 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1430240
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.23 3/183 11606
/proc/meminfo: memFree=27003820/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=1504452 CPUtime=1062.32
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 363368 0 0 0 97477 8755 0 0 25 0 1 0 130424505 1540558848 361652 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 376113 361652 394 719 0 375392 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1504452
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.21 3/183 11608
/proc/meminfo: memFree=26926024/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=1577016 CPUtime=1122.32
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 382561 0 0 0 103001 9231 0 0 25 0 1 0 130424505 1614864384 380845 4089446400 4194304 7136930 140733411237072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 394254 380845 394 719 0 393533 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1577016
[startup+1182.3 s]
/proc/loadavg: 2.14 2.05 2.20 3/183 11610
/proc/meminfo: memFree=26850824/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=1648708 CPUtime=1182.32
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 401524 0 0 0 108524 9708 0 0 25 0 1 0 130424505 1688276992 399808 4089446400 4194304 7136930 140733411237072 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 412177 399808 394 719 0 411456 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1648708
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.19 3/183 11612
/proc/meminfo: memFree=26771276/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=1722796 CPUtime=1242.32
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 421068 0 0 0 114033 10199 0 0 25 0 1 0 130424505 1764143104 419352 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 430699 419352 394 719 0 429978 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1722796
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.17 3/183 11613
/proc/meminfo: memFree=26692604/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=1796524 CPUtime=1302.34
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 440554 0 0 0 119554 10680 0 0 25 0 1 0 130424505 1839640576 438838 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 449131 438838 394 719 0 448410 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1796524
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.16 3/183 11614
/proc/meminfo: memFree=26618288/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=1867068 CPUtime=1362.33
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 459213 0 0 0 125074 11159 0 0 25 0 1 0 130424505 1911877632 457497 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 466767 457497 394 719 0 466046 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1867068
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.15 3/201 11662
/proc/meminfo: memFree=29443148/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=1941308 CPUtime=1422.33
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 478823 0 0 0 130601 11632 0 0 25 0 1 0 130424505 1987899392 477107 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 485327 477107 394 719 0 484606 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1941308
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/201 11664
/proc/meminfo: memFree=29306780/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2015892 CPUtime=1482.34
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 498507 0 0 0 136125 12109 0 0 25 0 1 0 130424505 2064273408 496791 4089446400 4194304 7136930 140733411237072 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 503973 496791 394 719 0 503252 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2015892
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/201 11666
/proc/meminfo: memFree=29161004/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2088460 CPUtime=1542.34
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 517686 0 0 0 141658 12576 0 0 25 0 1 0 130424505 2138583040 515970 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 522115 515970 394 719 0 521394 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2088460
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.12 3/201 11667
/proc/meminfo: memFree=29082068/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2163256 CPUtime=1602.34
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 537421 0 0 0 147185 13049 0 0 25 0 1 0 130424505 2215174144 535705 4089446400 4194304 7136930 140733411237072 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 540814 535705 394 719 0 540093 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2163256
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.11 3/201 11668
/proc/meminfo: memFree=29003400/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2236168 CPUtime=1662.34
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 556666 0 0 0 152713 13521 0 0 25 0 1 0 130424505 2289836032 554950 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 559042 554950 394 719 0 558321 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2236168
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.11 3/201 11670
/proc/meminfo: memFree=28911096/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2308036 CPUtime=1722.34
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 575686 0 0 0 158241 13993 0 0 25 0 1 0 130424505 2363428864 573970 4089446400 4194304 7136930 140733411237072 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 577009 573970 394 719 0 576288 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2308036
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.10 3/201 11672
/proc/meminfo: memFree=28794108/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2384656 CPUtime=1782.34
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 595859 0 0 0 163762 14472 0 0 25 0 1 0 130424505 2441887744 594143 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 596164 594143 394 719 0 595443 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2384656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.09 3/201 11672
/proc/meminfo: memFree=28770780/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2406784 CPUtime=1800.04
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 601704 0 0 0 165398 14606 0 0 25 0 1 0 130424505 2464546816 599988 4089446400 4194304 7136930 140733411237072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11568/statm: 601696 599988 394 719 0 600975 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2406784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11568
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 2.09 3/202 11673
/proc/meminfo: memFree=28770648/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2406784 CPUtime=1801.44
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 601717 0 0 0 165538 14606 0 0 19 0 1 0 130424505 2464546816 600001 4089446400 4194304 7136930 140733411237072 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11568/statm: 601696 600001 399 719 0 600975 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2406784
[startup+1801.81 s]
/proc/loadavg: 2.01 2.02 2.09 3/202 11673
/proc/meminfo: memFree=28770524/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2406784 CPUtime=1801.84
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 601717 0 0 0 165578 14606 0 0 20 0 1 0 130424505 2464546816 600001 4089446400 4194304 7136930 140733411237072 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11568/statm: 601696 600001 399 719 0 600975 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2406784
[startup+1802 s]
/proc/loadavg: 2.01 2.02 2.09 3/202 11673
/proc/meminfo: memFree=28770524/32951124 swapFree=67111528/67111528
[pid=11568] ppid=11566 vsize=2406784 CPUtime=1802.04
/proc/11568/stat : 11568 (pbscip.linux.x8) R 11566 11568 10584 0 -1 4202496 601717 0 0 0 165598 14606 0 0 21 0 1 0 130424505 2464546816 600001 4089446400 4194304 7136930 140733411237072 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11568/statm: 601696 600001 399 719 0 600975 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2406784
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1655.99
CPU system time (s): 146.145
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2406784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1655.99
system time used= 146.145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601717
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= 1286
runsolver used 2.75158 second user time and 6.11007 second system time
The end
Begin job on node134 at 2010-06-30 11:48:03
IDJOB=2693739
IDBENCH=78696
IDSOLVER=1206
FILE ID=node134/2693739-1277891283
PBS_JOBID= 11197086
Free space on /tmp= 74208 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_36_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693739-1277891283/watcher-2693739-1277891283 -o /tmp/evaluation-result-2693739-1277891283/solver-2693739-1277891283 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693739-1277891283.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1ee612fae97412540ece88664cb7382e
RANDOM SEED=1147301860
node134.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.818
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.63
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.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
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 : 7397.66
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.818
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.67
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.818
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.84
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.818
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29922880 kB
Buffers: 175692 kB
Cached: 1081240 kB
SwapCached: 0 kB
Active: 2204412 kB
Inactive: 677336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29922880 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3152 kB
Writeback: 0 kB
AnonPages: 1625028 kB
Mapped: 15908 kB
Slab: 78568 kB
PageTables: 7624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1771644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node134 at 2010-06-30 12:18:06