Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 36 | 1802.19 | 1802.86 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
| MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 1791.86 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1531 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5104 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2664224-1276615390.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 486k| 0 | - | 172 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.67 c 1.5s| 10000 | 9980 | 0 | 0.0 |4310k| 67 | - | 172 | 7 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
3.30/3.33 c 3.0s| 20000 | 19960 | 0 | 0.0 |7873k| 67 | - | 172 | 7 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
4.89/4.97 c 4.6s| 30000 | 29958 | 0 | 0.0 | 11M| 80 | - | 172 | 7 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
6.49/6.60 c 6.0s| 40000 | 39942 | 0 | 0.0 | 15M| 80 | - | 172 | 7 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
8.19/8.22 c 7.5s| 50000 | 49942 | 0 | 0.0 | 18M| 80 | - | 172 | 7 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
9.80/9.85 c 9.0s| 60000 | 59942 | 0 | 0.0 | 22M| 80 | - | 172 | 7 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
11.38/11.49 c 10.5s| 70000 | 69938 | 0 | 0.0 | 26M| 80 | - | 172 | 7 | 0 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf
13.10/13.11 c 12.0s| 80000 | 79938 | 0 | 0.0 | 31M| 80 | - | 172 | 7 | 0 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf
14.69/14.75 c 13.5s| 90000 | 89928 | 0 | 0.0 | 35M| 80 | - | 172 | 7 | 0 | 0 | 0 | 36 | 0 | 0.000000e+00 | -- | Inf
16.29/16.38 c 14.9s|100000 | 99918 | 0 | 0.0 | 39M| 80 | - | 172 | 7 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
17.99/18.00 c 16.4s|110000 |109889 | 0 | 0.0 | 44M| 80 | - | 172 | 7 | 0 | 0 | 0 | 57 | 0 | 0.000000e+00 | -- | Inf
19.58/19.61 c 17.9s|120000 |119853 | 0 | 0.0 | 48M| 80 | - | 172 | 7 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
21.19/21.21 c 19.3s|130000 |129849 | 0 | 0.0 | 52M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
22.79/22.83 c 20.8s|140000 |139849 | 0 | 0.0 | 56M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
24.38/24.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.38/24.44 c 22.3s|150000 |149849 | 0 | 0.0 | 59M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
25.98/26.06 c 23.8s|160000 |159849 | 0 | 0.0 | 63M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
27.59/27.68 c 25.3s|170000 |169849 | 0 | 0.0 | 66M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
29.28/29.32 c 26.8s|180000 |179849 | 0 | 0.0 | 70M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
30.89/30.97 c 28.3s|190000 |189849 | 0 | 0.0 | 73M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
32.58/32.60 c 29.8s|200000 |199849 | 0 | 0.0 | 77M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
34.18/34.26 c 31.4s|210000 |209849 | 0 | 0.0 | 81M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
35.88/35.90 c 32.9s|220000 |219849 | 0 | 0.0 | 84M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
37.48/37.54 c 34.4s|230000 |229849 | 0 | 0.0 | 88M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
39.08/39.19 c 35.9s|240000 |239849 | 0 | 0.0 | 92M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
40.77/40.83 c 37.4s|250000 |249847 | 0 | 0.0 | 95M| 80 | - | 172 | 7 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
42.37/42.48 c 38.8s|260000 |259843 | 0 | 0.0 | 99M| 80 | - | 172 | 7 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
44.07/44.11 c 40.3s|270000 |269839 | 0 | 0.0 | 103M| 80 | - | 172 | 7 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
45.67/45.75 c 41.8s|280000 |279831 | 0 | 0.0 | 107M| 80 | - | 172 | 7 | 0 | 0 | 0 | 87 | 0 | 0.000000e+00 | -- | Inf
47.29/47.39 c 43.3s|290000 |289831 | 0 | 0.0 | 110M| 80 | - | 172 | 7 | 0 | 0 | 0 | 87 | 0 | 0.000000e+00 | -- | Inf
48.97/49.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.97/49.04 c 44.8s|300000 |299823 | 0 | 0.0 | 114M| 80 | - | 172 | 7 | 0 | 0 | 0 | 91 | 0 | 0.000000e+00 | -- | Inf
50.58/50.69 c 46.3s|310000 |309811 | 0 | 0.0 | 118M| 80 | - | 172 | 7 | 0 | 0 | 0 | 97 | 0 | 0.000000e+00 | -- | Inf
52.27/52.33 c 47.8s|320000 |319800 | 0 | 0.0 | 122M| 80 | - | 172 | 7 | 0 | 0 | 0 | 103 | 0 | 0.000000e+00 | -- | Inf
53.88/53.97 c 49.3s|330000 |329798 | 0 | 0.0 | 126M| 80 | - | 172 | 7 | 0 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf
55.58/55.60 c 50.8s|340000 |339798 | 0 | 0.0 | 130M| 80 | - | 172 | 7 | 0 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf
57.18/57.23 c 52.3s|350000 |349790 | 0 | 0.0 | 134M| 80 | - | 172 | 7 | 0 | 0 | 0 | 108 | 0 | 0.000000e+00 | -- | Inf
58.78/58.87 c 53.8s|360000 |359788 | 0 | 0.0 | 138M| 80 | - | 172 | 7 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
60.47/60.51 c 55.3s|370000 |369788 | 0 | 0.0 | 142M| 80 | - | 172 | 7 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
62.07/62.15 c 56.8s|380000 |379784 | 0 | 0.0 | 146M| 80 | - | 172 | 7 | 0 | 0 | 0 | 111 | 0 | 0.000000e+00 | -- | Inf
63.67/63.79 c 58.3s|390000 |389763 | 0 | 0.0 | 150M| 80 | - | 172 | 7 | 0 | 0 | 0 | 122 | 0 | 0.000000e+00 | -- | Inf
65.37/65.44 c 59.8s|400000 |399761 | 0 | 0.0 | 154M| 80 | - | 172 | 7 | 0 | 0 | 0 | 123 | 0 | 0.000000e+00 | -- | Inf
66.98/67.09 c 61.3s|410000 |409761 | 0 | 0.0 | 158M| 80 | - | 172 | 7 | 0 | 0 | 0 | 123 | 0 | 0.000000e+00 | -- | Inf
68.67/68.74 c 62.8s|420000 |419757 | 0 | 0.0 | 162M| 80 | - | 172 | 7 | 0 | 0 | 0 | 125 | 0 | 0.000000e+00 | -- | Inf
70.27/70.38 c 64.3s|430000 |429741 | 0 | 0.0 | 166M| 80 | - | 172 | 7 | 0 | 0 | 0 | 133 | 0 | 0.000000e+00 | -- | Inf
71.96/72.03 c 65.8s|440000 |439737 | 0 | 0.0 | 170M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
73.57/73.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.57/73.68 c 67.3s|450000 |449737 | 0 | 0.0 | 174M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
75.27/75.33 c 68.8s|460000 |459737 | 0 | 0.0 | 178M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
76.87/76.98 c 70.3s|470000 |469737 | 0 | 0.0 | 182M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
78.56/78.62 c 71.8s|480000 |479733 | 0 | 0.0 | 187M| 80 | - | 172 | 7 | 0 | 0 | 0 | 137 | 0 | 0.000000e+00 | -- | Inf
80.17/80.28 c 73.2s|490000 |489725 | 0 | 0.0 | 191M| 80 | - | 172 | 7 | 0 | 0 | 0 | 141 | 0 | 0.000000e+00 | -- | Inf
81.86/81.93 c 74.7s|500000 |499721 | 0 | 0.0 | 195M| 80 | - | 172 | 7 | 0 | 0 | 0 | 143 | 0 | 0.000000e+00 | -- | Inf
83.47/83.59 c 76.2s|510000 |509711 | 0 | 0.0 | 199M| 80 | - | 172 | 7 | 0 | 0 | 0 | 148 | 0 | 0.000000e+00 | -- | Inf
85.16/85.23 c 77.7s|520000 |519705 | 0 | 0.0 | 204M| 80 | - | 172 | 7 | 0 | 0 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf
86.77/86.87 c 79.2s|530000 |529701 | 0 | 0.0 | 208M| 80 | - | 172 | 7 | 0 | 0 | 0 | 153 | 0 | 0.000000e+00 | -- | Inf
88.46/88.50 c 80.7s|540000 |539691 | 0 | 0.0 | 212M| 80 | - | 172 | 7 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
90.06/90.15 c 82.2s|550000 |549691 | 0 | 0.0 | 217M| 80 | - | 172 | 7 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
91.76/91.80 c 83.7s|560000 |559691 | 0 | 0.0 | 221M| 80 | - | 172 | 7 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
93.37/93.45 c 85.2s|570000 |569683 | 0 | 0.0 | 225M| 80 | - | 172 | 7 | 0 | 0 | 0 | 162 | 0 | 0.000000e+00 | -- | Inf
95.06/95.11 c 86.7s|580000 |579677 | 0 | 0.0 | 230M| 80 | - | 172 | 7 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
96.66/96.77 c 88.1s|590000 |589663 | 0 | 0.0 | 234M| 80 | - | 172 | 7 | 0 | 0 | 0 | 172 | 0 | 0.000000e+00 | -- | Inf
98.36/98.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.36/98.43 c 89.7s|600000 |599655 | 0 | 0.0 | 239M| 80 | - | 172 | 7 | 0 | 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf
100.07/100.10 c 91.2s|610000 |609655 | 0 | 0.0 | 243M| 80 | - | 172 | 7 | 0 | 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf
101.66/101.76 c 92.7s|620000 |619645 | 0 | 0.0 | 248M| 80 | - | 172 | 7 | 0 | 0 | 0 | 181 | 0 | 0.000000e+00 | -- | Inf
103.36/103.40 c 94.1s|630000 |629635 | 0 | 0.0 | 252M| 80 | - | 172 | 7 | 0 | 0 | 0 | 186 | 0 | 0.000000e+00 | -- | Inf
104.95/105.04 c 95.6s|640000 |639616 | 0 | 0.0 | 257M| 80 | - | 172 | 7 | 0 | 0 | 0 | 196 | 0 | 0.000000e+00 | -- | Inf
106.56/106.66 c 97.1s|650000 |649594 | 0 | 0.0 | 261M| 80 | - | 172 | 7 | 0 | 0 | 0 | 206 | 0 | 0.000000e+00 | -- | Inf
108.25/108.31 c 98.6s|660000 |659594 | 0 | 0.0 | 266M| 83 | - | 172 | 7 | 0 | 0 | 0 | 206 | 0 | 0.000000e+00 | -- | Inf
109.86/109.97 c 100s|670000 |669590 | 0 | 0.0 | 270M| 83 | - | 172 | 7 | 0 | 0 | 0 | 208 | 0 | 0.000000e+00 | -- | Inf
111.56/111.62 c 102s|680000 |679588 | 0 | 0.0 | 275M| 83 | - | 172 | 7 | 0 | 0 | 0 | 209 | 0 | 0.000000e+00 | -- | Inf
113.16/113.28 c 103s|690000 |689562 | 0 | 0.0 | 280M| 83 | - | 172 | 7 | 0 | 0 | 0 | 222 | 0 | 0.000000e+00 | -- | Inf
114.85/114.92 c 105s|700000 |699551 | 0 | 0.0 | 284M| 83 | - | 172 | 7 | 0 | 0 | 0 | 228 | 0 | 0.000000e+00 | -- | Inf
116.46/116.57 c 106s|710000 |709534 | 0 | 0.0 | 289M| 83 | - | 172 | 7 | 0 | 0 | 0 | 237 | 0 | 0.000000e+00 | -- | Inf
118.15/118.22 c 108s|720000 |719521 | 0 | 0.0 | 293M| 83 | - | 172 | 7 | 0 | 0 | 0 | 244 | 0 | 0.000000e+00 | -- | Inf
119.76/119.88 c 109s|730000 |729515 | 0 | 0.0 | 298M| 83 | - | 172 | 7 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
121.45/121.51 c 111s|740000 |739505 | 0 | 0.0 | 303M| 83 | - | 172 | 7 | 0 | 0 | 0 | 252 | 0 | 0.000000e+00 | -- | Inf
123.06/123.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.06/123.15 c 112s|750000 |749495 | 0 | 0.0 | 307M| 83 | - | 172 | 7 | 0 | 0 | 0 | 257 | 0 | 0.000000e+00 | -- | Inf
124.75/124.80 c 113s|760000 |759479 | 0 | 0.0 | 312M| 83 | - | 172 | 7 | 0 | 0 | 0 | 265 | 0 | 0.000000e+00 | -- | Inf
126.35/126.44 c 115s|770000 |769471 | 0 | 0.0 | 317M| 83 | - | 172 | 7 | 0 | 0 | 0 | 269 | 0 | 0.000000e+00 | -- | Inf
127.95/128.08 c 116s|780000 |779471 | 0 | 0.0 | 321M| 83 | - | 172 | 7 | 0 | 0 | 0 | 269 | 0 | 0.000000e+00 | -- | Inf
129.65/129.72 c 118s|790000 |789469 | 0 | 0.0 | 326M| 83 | - | 172 | 7 | 0 | 0 | 0 | 270 | 0 | 0.000000e+00 | -- | Inf
131.25/131.38 c 119s|800000 |799461 | 0 | 0.0 | 331M| 83 | - | 172 | 7 | 0 | 0 | 0 | 274 | 0 | 0.000000e+00 | -- | Inf
132.95/133.02 c 121s|810000 |809461 | 0 | 0.0 | 336M| 83 | - | 172 | 7 | 0 | 0 | 0 | 274 | 0 | 0.000000e+00 | -- | Inf
134.55/134.66 c 122s|820000 |819440 | 0 | 0.0 | 340M| 83 | - | 172 | 7 | 0 | 0 | 0 | 284 | 0 | 0.000000e+00 | -- | Inf
136.15/136.29 c 124s|830000 |829436 | 0 | 0.0 | 345M| 83 | - | 172 | 7 | 0 | 0 | 0 | 286 | 0 | 0.000000e+00 | -- | Inf
137.84/137.96 c 125s|840000 |839417 | 0 | 0.0 | 350M| 83 | - | 172 | 7 | 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf
139.55/139.62 c 127s|850000 |849417 | 0 | 0.0 | 355M| 83 | - | 172 | 7 | 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf
141.14/141.26 c 128s|860000 |859417 | 0 | 0.0 | 360M| 83 | - | 172 | 7 | 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf
142.85/142.90 c 130s|870000 |869415 | 0 | 0.0 | 365M| 83 | - | 172 | 7 | 0 | 0 | 0 | 297 | 0 | 0.000000e+00 | -- | Inf
144.44/144.55 c 131s|880000 |879405 | 0 | 0.0 | 369M| 83 | - | 172 | 7 | 0 | 0 | 0 | 302 | 0 | 0.000000e+00 | -- | Inf
146.15/146.21 c 133s|890000 |889405 | 0 | 0.0 | 374M| 83 | - | 172 | 7 | 0 | 0 | 0 | 302 | 0 | 0.000000e+00 | -- | Inf
147.74/147.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.74/147.87 c 134s|900000 |899395 | 0 | 0.0 | 379M| 83 | - | 172 | 7 | 0 | 0 | 0 | 307 | 0 | 0.000000e+00 | -- | Inf
149.44/149.51 c 136s|910000 |909393 | 0 | 0.0 | 384M| 83 | - | 172 | 7 | 0 | 0 | 0 | 308 | 0 | 0.000000e+00 | -- | Inf
151.04/151.16 c 137s|920000 |919391 | 0 | 0.0 | 389M| 83 | - | 172 | 7 | 0 | 0 | 0 | 309 | 0 | 0.000000e+00 | -- | Inf
152.74/152.81 c 139s|930000 |929377 | 0 | 0.0 | 394M| 83 | - | 172 | 7 | 0 | 0 | 0 | 316 | 0 | 0.000000e+00 | -- | Inf
154.34/154.49 c 140s|940000 |939375 | 0 | 0.0 | 398M| 83 | - | 172 | 7 | 0 | 0 | 0 | 317 | 0 | 0.000000e+00 | -- | Inf
156.04/156.13 c 142s|950000 |949370 | 0 | 0.0 | 403M| 87 | - | 172 | 7 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
157.64/157.78 c 143s|960000 |959366 | 0 | 0.0 | 408M| 87 | - | 172 | 7 | 0 | 0 | 0 | 322 | 0 | 0.000000e+00 | -- | Inf
159.24/159.38 c 145s|970000 |969364 | 0 | 0.0 | 413M| 87 | - | 172 | 7 | 0 | 0 | 0 | 323 | 0 | 0.000000e+00 | -- | Inf
160.83/160.97 c 146s|980000 |979362 | 0 | 0.0 | 418M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
162.53/162.64 c 148s|990000 |989362 | 0 | 0.0 | 421M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
164.23/164.30 c 149s| 1000k|999362 | 0 | 0.0 | 425M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
165.83/165.96 c 151s| 1010k| 1009k| 0 | 0.0 | 429M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
167.54/167.64 c 152s| 1020k| 1019k| 0 | 0.0 | 433M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
169.24/169.33 c 154s| 1030k| 1029k| 0 | 0.0 | 437M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
170.94/171.01 c 155s| 1040k| 1039k| 0 | 0.0 | 441M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
172.54/172.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.54/172.69 c 157s| 1050k| 1049k| 0 | 0.0 | 446M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
174.23/174.38 c 158s| 1060k| 1059k| 0 | 0.0 | 450M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
175.94/176.07 c 160s| 1070k| 1069k| 0 | 0.0 | 455M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
177.63/177.78 c 161s| 1080k| 1079k| 0 | 0.0 | 460M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
179.33/179.48 c 163s| 1090k| 1089k| 0 | 0.0 | 465M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
181.02/181.11 c 164s| 1100k| 1099k| 0 | 0.0 | 469M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
182.63/182.74 c 166s| 1110k| 1109k| 0 | 0.0 | 472M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
184.23/184.37 c 167s| 1120k| 1119k| 0 | 0.0 | 476M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
185.93/186.00 c 169s| 1130k| 1129k| 0 | 0.0 | 479M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
187.53/187.64 c 170s| 1140k| 1139k| 0 | 0.0 | 483M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
189.13/189.27 c 172s| 1150k| 1149k| 0 | 0.0 | 486M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
190.83/190.92 c 173s| 1160k| 1159k| 0 | 0.0 | 490M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
192.43/192.55 c 175s| 1170k| 1169k| 0 | 0.0 | 493M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
194.12/194.20 c 176s| 1180k| 1179k| 0 | 0.0 | 497M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
195.73/195.83 c 178s| 1190k| 1189k| 0 | 0.0 | 501M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
197.32/197.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.32/197.46 c 179s| 1200k| 1199k| 0 | 0.0 | 504M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
199.03/199.11 c 181s| 1210k| 1209k| 0 | 0.0 | 508M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
200.62/200.73 c 182s| 1220k| 1219k| 0 | 0.0 | 511M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
202.23/202.36 c 184s| 1230k| 1229k| 0 | 0.0 | 515M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
203.82/203.99 c 185s| 1240k| 1239k| 0 | 0.0 | 519M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
205.52/205.63 c 187s| 1250k| 1249k| 0 | 0.0 | 522M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
207.12/207.26 c 188s| 1260k| 1259k| 0 | 0.0 | 526M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
208.72/208.88 c 190s| 1270k| 1269k| 0 | 0.0 | 529M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
210.42/210.51 c 191s| 1280k| 1279k| 0 | 0.0 | 533M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
212.02/212.14 c 193s| 1290k| 1289k| 0 | 0.0 | 537M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
213.62/213.77 c 194s| 1300k| 1299k| 0 | 0.0 | 540M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
215.22/215.40 c 196s| 1310k| 1309k| 0 | 0.0 | 544M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
216.92/217.02 c 197s| 1320k| 1319k| 0 | 0.0 | 548M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
218.51/218.64 c 199s| 1330k| 1329k| 0 | 0.0 | 551M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
220.11/220.28 c 200s| 1340k| 1339k| 0 | 0.0 | 555M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
221.82/221.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.82/221.93 c 202s| 1350k| 1349k| 0 | 0.0 | 559M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
223.41/223.56 c 203s| 1360k| 1359k| 0 | 0.0 | 562M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
225.01/225.18 c 205s| 1370k| 1369k| 0 | 0.0 | 566M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
226.72/226.81 c 206s| 1380k| 1379k| 0 | 0.0 | 570M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
228.31/228.43 c 208s| 1390k| 1389k| 0 | 0.0 | 573M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
229.91/230.05 c 209s| 1400k| 1399k| 0 | 0.0 | 577M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
231.51/231.69 c 211s| 1410k| 1409k| 0 | 0.0 | 581M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
233.21/233.33 c 212s| 1420k| 1419k| 0 | 0.0 | 585M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
234.81/234.98 c 214s| 1430k| 1429k| 0 | 0.0 | 588M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
236.51/236.61 c 215s| 1440k| 1439k| 0 | 0.0 | 592M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
238.11/238.25 c 217s| 1450k| 1449k| 0 | 0.0 | 596M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
239.72/239.88 c 218s| 1460k| 1459k| 0 | 0.0 | 599M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
241.40/241.50 c 220s| 1470k| 1469k| 0 | 0.0 | 603M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
243.01/243.12 c 221s| 1480k| 1479k| 0 | 0.0 | 607M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
244.60/244.76 c 223s| 1490k| 1489k| 0 | 0.0 | 611M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
246.21/246.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.21/246.39 c 224s| 1500k| 1499k| 0 | 0.0 | 614M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
247.91/248.04 c 226s| 1510k| 1509k| 0 | 0.0 | 618M| 87 | - | 172 | 7 | 0 | 0 | 0 | 336 | 0 | 0.000000e+00 | -- | Inf
249.51/249.69 c 227s| 1520k| 1519k| 0 | 0.0 | 622M| 87 | - | 172 | 7 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
251.20/251.33 c 229s| 1530k| 1529k| 0 | 0.0 | 626M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
252.81/252.95 c 230s| 1540k| 1539k| 0 | 0.0 | 629M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
254.50/254.60 c 232s| 1550k| 1549k| 0 | 0.0 | 633M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
256.11/256.24 c 233s| 1560k| 1559k| 0 | 0.0 | 637M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
257.70/257.87 c 235s| 1570k| 1569k| 0 | 0.0 | 641M| 87 | - | 172 | 7 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
259.41/259.50 c 236s| 1580k| 1579k| 0 | 0.0 | 644M| 87 | - | 172 | 7 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
261.00/261.14 c 238s| 1590k| 1589k| 0 | 0.0 | 648M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
262.59/262.79 c 239s| 1600k| 1599k| 0 | 0.0 | 652M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
264.29/264.43 c 241s| 1610k| 1609k| 0 | 0.0 | 656M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
265.89/266.08 c 242s| 1620k| 1619k| 0 | 0.0 | 660M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
267.59/267.73 c 244s| 1630k| 1629k| 0 | 0.0 | 663M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
269.20/269.36 c 245s| 1640k| 1639k| 0 | 0.0 | 667M| 87 | - | 172 | 7 | 0 | 0 | 0 | 346 | 0 | 0.000000e+00 | -- | Inf
270.80/270.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.80/270.98 c 247s| 1650k| 1649k| 0 | 0.0 | 671M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
272.49/272.61 c 248s| 1660k| 1659k| 0 | 0.0 | 675M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
274.09/274.24 c 250s| 1670k| 1669k| 0 | 0.0 | 678M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
275.69/275.87 c 251s| 1680k| 1679k| 0 | 0.0 | 682M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
277.29/277.49 c 252s| 1690k| 1689k| 0 | 0.0 | 686M| 87 | - | 172 | 7 | 0 | 0 | 0 | 349 | 0 | 0.000000e+00 | -- | Inf
278.99/279.11 c 254s| 1700k| 1699k| 0 | 0.0 | 690M| 87 | - | 172 | 7 | 0 | 0 | 0 | 349 | 0 | 0.000000e+00 | -- | Inf
280.59/280.74 c 255s| 1710k| 1709k| 0 | 0.0 | 693M| 87 | - | 172 | 7 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
282.19/282.37 c 257s| 1720k| 1719k| 0 | 0.0 | 697M| 87 | - | 172 | 7 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
283.79/283.99 c 258s| 1730k| 1729k| 0 | 0.0 | 701M| 87 | - | 172 | 7 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
285.49/285.62 c 260s| 1740k| 1739k| 0 | 0.0 | 705M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
287.09/287.27 c 261s| 1750k| 1749k| 0 | 0.0 | 709M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
288.79/288.91 c 263s| 1760k| 1759k| 0 | 0.0 | 713M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
290.38/290.55 c 264s| 1770k| 1769k| 0 | 0.0 | 716M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
291.99/292.18 c 266s| 1780k| 1779k| 0 | 0.0 | 720M| 87 | - | 172 | 7 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
293.69/293.84 c 267s| 1790k| 1789k| 0 | 0.0 | 724M| 87 | - | 172 | 7 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
295.29/295.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.29/295.48 c 269s| 1800k| 1799k| 0 | 0.0 | 728M| 87 | - | 172 | 7 | 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf
296.99/297.10 c 270s| 1810k| 1809k| 0 | 0.0 | 732M| 87 | - | 172 | 7 | 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf
298.59/298.73 c 272s| 1820k| 1819k| 0 | 0.0 | 735M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
300.19/300.37 c 273s| 1830k| 1829k| 0 | 0.0 | 739M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
301.88/302.01 c 275s| 1840k| 1839k| 0 | 0.0 | 743M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
303.49/303.65 c 276s| 1850k| 1849k| 0 | 0.0 | 747M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
305.09/305.28 c 278s| 1860k| 1859k| 0 | 0.0 | 751M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
306.79/306.91 c 279s| 1870k| 1869k| 0 | 0.0 | 755M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
308.38/308.54 c 281s| 1880k| 1879k| 0 | 0.0 | 759M| 87 | - | 172 | 7 | 0 | 0 | 0 | 357 | 0 | 0.000000e+00 | -- | Inf
309.99/310.18 c 282s| 1890k| 1889k| 0 | 0.0 | 763M| 87 | - | 172 | 7 | 0 | 0 | 0 | 358 | 0 | 0.000000e+00 | -- | Inf
311.68/311.80 c 284s| 1900k| 1899k| 0 | 0.0 | 766M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
313.29/313.44 c 285s| 1910k| 1909k| 0 | 0.0 | 770M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
314.88/315.09 c 287s| 1920k| 1919k| 0 | 0.0 | 774M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
316.58/316.73 c 288s| 1930k| 1929k| 0 | 0.0 | 778M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
318.18/318.35 c 290s| 1940k| 1939k| 0 | 0.0 | 782M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
319.78/319.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.78/319.98 c 291s| 1950k| 1949k| 0 | 0.0 | 786M| 87 | - | 172 | 7 | 0 | 0 | 0 | 360 | 0 | 0.000000e+00 | -- | Inf
321.48/321.62 c 293s| 1960k| 1959k| 0 | 0.0 | 790M| 87 | - | 172 | 7 | 0 | 0 | 0 | 360 | 0 | 0.000000e+00 | -- | Inf
323.07/323.24 c 294s| 1970k| 1969k| 0 | 0.0 | 793M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
324.67/324.87 c 296s| 1980k| 1979k| 0 | 0.0 | 797M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
326.37/326.50 c 297s| 1990k| 1989k| 0 | 0.0 | 801M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
327.97/328.13 c 299s| 2000k| 1999k| 0 | 0.0 | 805M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
329.58/329.78 c 300s| 2010k| 2009k| 0 | 0.0 | 809M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
331.28/331.41 c 302s| 2020k| 2019k| 0 | 0.0 | 813M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
332.87/333.04 c 303s| 2030k| 2029k| 0 | 0.0 | 817M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
334.47/334.67 c 304s| 2040k| 2039k| 0 | 0.0 | 821M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
336.17/336.30 c 306s| 2050k| 2049k| 0 | 0.0 | 825M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
337.77/337.93 c 307s| 2060k| 2059k| 0 | 0.0 | 829M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
339.37/339.56 c 309s| 2070k| 2069k| 0 | 0.0 | 833M| 87 | - | 172 | 7 | 0 | 0 | 0 | 363 | 0 | 0.000000e+00 | -- | Inf
340.97/341.18 c 310s| 2080k| 2079k| 0 | 0.0 | 837M| 87 | - | 172 | 7 | 0 | 0 | 0 | 365 | 0 | 0.000000e+00 | -- | Inf
342.67/342.80 c 312s| 2090k| 2089k| 0 | 0.0 | 840M| 87 | - | 172 | 7 | 0 | 0 | 0 | 366 | 0 | 0.000000e+00 | -- | Inf
344.27/344.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.27/344.44 c 313s| 2100k| 2099k| 0 | 0.0 | 844M| 87 | - | 172 | 7 | 0 | 0 | 0 | 366 | 0 | 0.000000e+00 | -- | Inf
345.97/346.11 c 315s| 2110k| 2109k| 0 | 0.0 | 848M| 87 | - | 172 | 7 | 0 | 0 | 0 | 368 | 0 | 0.000000e+00 | -- | Inf
347.67/347.82 c 316s| 2120k| 2119k| 0 | 0.0 | 852M| 87 | - | 172 | 7 | 0 | 0 | 0 | 368 | 0 | 0.000000e+00 | -- | Inf
349.37/349.54 c 318s| 2130k| 2129k| 0 | 0.0 | 856M| 87 | - | 172 | 7 | 0 | 0 | 0 | 369 | 0 | 0.000000e+00 | -- | Inf
351.06/351.24 c 320s| 2140k| 2139k| 0 | 0.0 | 860M| 87 | - | 172 | 7 | 0 | 0 | 0 | 370 | 0 | 0.000000e+00 | -- | Inf
352.77/352.93 c 321s| 2150k| 2149k| 0 | 0.0 | 864M| 87 | - | 172 | 7 | 0 | 0 | 0 | 373 | 0 | 0.000000e+00 | -- | Inf
354.47/354.60 c 323s| 2160k| 2159k| 0 | 0.0 | 868M| 87 | - | 172 | 7 | 0 | 0 | 0 | 375 | 0 | 0.000000e+00 | -- | Inf
356.06/356.28 c 324s| 2170k| 2169k| 0 | 0.0 | 872M| 87 | - | 172 | 7 | 0 | 0 | 0 | 380 | 0 | 0.000000e+00 | -- | Inf
357.87/358.01 c 326s| 2180k| 2179k| 0 | 0.0 | 876M| 87 | - | 172 | 7 | 0 | 0 | 0 | 382 | 0 | 0.000000e+00 | -- | Inf
359.57/359.74 c 327s| 2190k| 2189k| 0 | 0.0 | 880M| 87 | - | 172 | 7 | 0 | 0 | 0 | 383 | 0 | 0.000000e+00 | -- | Inf
361.26/361.44 c 329s| 2200k| 2199k| 0 | 0.0 | 884M| 88 | - | 172 | 7 | 0 | 0 | 0 | 387 | 0 | 0.000000e+00 | -- | Inf
362.96/363.15 c 330s| 2210k| 2209k| 0 | 0.0 | 888M| 88 | - | 172 | 7 | 0 | 0 | 0 | 392 | 0 | 0.000000e+00 | -- | Inf
364.66/364.89 c 332s| 2220k| 2219k| 0 | 0.0 | 892M| 88 | - | 172 | 7 | 0 | 0 | 0 | 392 | 0 | 0.000000e+00 | -- | Inf
366.46/366.61 c 334s| 2230k| 2229k| 0 | 0.0 | 896M| 88 | - | 172 | 7 | 0 | 0 | 0 | 394 | 0 | 0.000000e+00 | -- | Inf
368.16/368.32 c 335s| 2240k| 2239k| 0 | 0.0 | 900M| 88 | - | 172 | 7 | 0 | 0 | 0 | 396 | 0 | 0.000000e+00 | -- | Inf
369.86/370.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.86/370.03 c 337s| 2250k| 2249k| 0 | 0.0 | 904M| 88 | - | 172 | 7 | 0 | 0 | 0 | 400 | 0 | 0.000000e+00 | -- | Inf
371.57/371.72 c 338s| 2260k| 2259k| 0 | 0.0 | 908M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
373.26/373.42 c 340s| 2270k| 2269k| 0 | 0.0 | 912M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
374.96/375.10 c 341s| 2280k| 2279k| 0 | 0.0 | 916M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
376.66/376.83 c 343s| 2290k| 2289k| 0 | 0.0 | 920M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
378.35/378.50 c 344s| 2300k| 2299k| 0 | 0.0 | 924M| 88 | - | 172 | 7 | 0 | 0 | 0 | 405 | 0 | 0.000000e+00 | -- | Inf
380.06/380.21 c 346s| 2310k| 2309k| 0 | 0.0 | 928M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
381.76/381.94 c 348s| 2320k| 2319k| 0 | 0.0 | 932M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
383.46/383.66 c 349s| 2330k| 2329k| 0 | 0.0 | 936M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
385.16/385.38 c 351s| 2340k| 2339k| 0 | 0.0 | 940M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
386.85/387.09 c 352s| 2350k| 2349k| 0 | 0.0 | 944M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
388.55/388.79 c 354s| 2360k| 2359k| 0 | 0.0 | 948M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
390.36/390.51 c 355s| 2370k| 2369k| 0 | 0.0 | 953M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
392.05/392.25 c 357s| 2380k| 2379k| 0 | 0.0 | 957M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
393.76/393.98 c 359s| 2390k| 2389k| 0 | 0.0 | 961M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
395.45/395.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.45/395.68 c 360s| 2400k| 2399k| 0 | 0.0 | 965M| 88 | - | 172 | 7 | 0 | 0 | 0 | 410 | 0 | 0.000000e+00 | -- | Inf
397.15/397.37 c 362s| 2410k| 2409k| 0 | 0.0 | 969M| 88 | - | 172 | 7 | 0 | 0 | 0 | 411 | 0 | 0.000000e+00 | -- | Inf
398.85/399.05 c 363s| 2420k| 2419k| 0 | 0.0 | 973M| 88 | - | 172 | 7 | 0 | 0 | 0 | 411 | 0 | 0.000000e+00 | -- | Inf
400.54/400.74 c 365s| 2430k| 2429k| 0 | 0.0 | 977M| 88 | - | 172 | 7 | 0 | 0 | 0 | 412 | 0 | 0.000000e+00 | -- | Inf
402.25/402.45 c 366s| 2440k| 2439k| 0 | 0.0 | 981M| 88 | - | 172 | 7 | 0 | 0 | 0 | 412 | 0 | 0.000000e+00 | -- | Inf
403.95/404.15 c 368s| 2450k| 2449k| 0 | 0.0 | 985M| 88 | - | 172 | 7 | 0 | 0 | 0 | 416 | 0 | 0.000000e+00 | -- | Inf
405.65/405.85 c 369s| 2460k| 2459k| 0 | 0.0 | 990M| 88 | - | 172 | 7 | 0 | 0 | 0 | 416 | 0 | 0.000000e+00 | -- | Inf
407.34/407.56 c 371s| 2470k| 2469k| 0 | 0.0 | 994M| 88 | - | 172 | 7 | 0 | 0 | 0 | 417 | 0 | 0.000000e+00 | -- | Inf
409.05/409.26 c 373s| 2480k| 2479k| 0 | 0.0 | 998M| 88 | - | 172 | 7 | 0 | 0 | 0 | 420 | 0 | 0.000000e+00 | -- | Inf
410.75/410.98 c 374s| 2490k| 2489k| 0 | 0.0 |1002M| 88 | - | 172 | 7 | 0 | 0 | 0 | 422 | 0 | 0.000000e+00 | -- | Inf
412.44/412.64 c 376s| 2500k| 2499k| 0 | 0.0 |1006M| 88 | - | 172 | 7 | 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | -- | Inf
414.14/414.35 c 377s| 2510k| 2509k| 0 | 0.0 |1010M| 88 | - | 172 | 7 | 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | -- | Inf
415.85/416.07 c 379s| 2520k| 2519k| 0 | 0.0 |1014M| 88 | - | 172 | 7 | 0 | 0 | 0 | 432 | 0 | 0.000000e+00 | -- | Inf
417.55/417.79 c 380s| 2530k| 2529k| 0 | 0.0 |1018M| 88 | - | 172 | 7 | 0 | 0 | 0 | 432 | 0 | 0.000000e+00 | -- | Inf
419.24/419.49 c 382s| 2540k| 2539k| 0 | 0.0 |1022M| 88 | - | 172 | 7 | 0 | 0 | 0 | 433 | 0 | 0.000000e+00 | -- | Inf
420.94/421.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.94/421.20 c 383s| 2550k| 2549k| 0 | 0.0 |1026M| 88 | - | 172 | 7 | 0 | 0 | 0 | 434 | 0 | 0.000000e+00 | -- | Inf
422.74/422.90 c 385s| 2560k| 2559k| 0 | 0.0 |1030M| 88 | - | 172 | 7 | 0 | 0 | 0 | 435 | 0 | 0.000000e+00 | -- | Inf
424.44/424.63 c 387s| 2570k| 2569k| 0 | 0.0 |1034M| 88 | - | 172 | 7 | 0 | 0 | 0 | 436 | 0 | 0.000000e+00 | -- | Inf
426.14/426.33 c 388s| 2580k| 2579k| 0 | 0.0 |1038M| 88 | - | 172 | 7 | 0 | 0 | 0 | 437 | 0 | 0.000000e+00 | -- | Inf
427.83/428.05 c 390s| 2590k| 2589k| 0 | 0.0 |1042M| 88 | - | 172 | 7 | 0 | 0 | 0 | 437 | 0 | 0.000000e+00 | -- | Inf
429.54/429.78 c 391s| 2600k| 2599k| 0 | 0.0 |1047M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
431.34/431.51 c 393s| 2610k| 2609k| 0 | 0.0 |1051M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
433.04/433.22 c 394s| 2620k| 2619k| 0 | 0.0 |1055M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
434.74/434.96 c 396s| 2630k| 2629k| 0 | 0.0 |1059M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
436.45/436.66 c 398s| 2640k| 2639k| 0 | 0.0 |1064M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
438.14/438.35 c 399s| 2650k| 2649k| 0 | 0.0 |1068M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
439.85/440.06 c 401s| 2660k| 2659k| 0 | 0.0 |1072M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
441.54/441.80 c 402s| 2670k| 2669k| 0 | 0.0 |1076M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
443.34/443.51 c 404s| 2680k| 2679k| 0 | 0.0 |1080M| 88 | - | 172 | 7 | 0 | 0 | 0 | 442 | 0 | 0.000000e+00 | -- | Inf
445.03/445.23 c 405s| 2690k| 2689k| 0 | 0.0 |1085M| 88 | - | 172 | 7 | 0 | 0 | 0 | 442 | 0 | 0.000000e+00 | -- | Inf
446.73/446.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.73/446.94 c 407s| 2700k| 2699k| 0 | 0.0 |1089M| 88 | - | 172 | 7 | 0 | 0 | 0 | 449 | 0 | 0.000000e+00 | -- | Inf
453.83/454.09 o 221
453.83/454.09 c * 414s| 2708k| 1423k| 0 | 0.0 | 462M| 88 | - | 172 | 7 | 0 | 0 | 0 | 449 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
454.43/454.60 c 414s| 2710k| 1424k| 0 | 0.0 | 462M| 88 | - | 172 | 13 | 0 | 0 | 0 | 921 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
457.03/457.27 c 417s| 2720k| 1430k| 0 | 0.0 | 466M| 88 | - | 172 | 43 | 0 | 0 | 0 |3087 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
459.73/459.99 c 419s| 2730k| 1436k| 0 | 0.0 | 469M| 88 | - | 172 | 46 | 0 | 0 | 0 |5260 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
462.43/462.65 c 422s| 2740k| 1442k| 0 | 0.0 | 472M| 88 | - | 172 | 31 | 0 | 0 | 0 |7459 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
465.13/465.34 c 424s| 2750k| 1447k| 0 | 0.0 | 475M| 88 | - | 172 | 36 | 0 | 0 | 0 |9631 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
467.73/467.96 c 427s| 2760k| 1453k| 0 | 0.0 | 478M| 88 | - | 172 | 28 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
470.53/470.71 c 429s| 2770k| 1459k| 0 | 0.0 | 481M| 88 | - | 172 | 49 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
473.13/473.40 c 432s| 2780k| 1465k| 0 | 0.0 | 485M| 88 | - | 172 | 51 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
475.73/475.96 c 434s| 2790k| 1471k| 0 | 0.0 | 488M| 88 | - | 172 | 36 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
478.33/478.57 c 437s| 2800k| 1477k| 0 | 0.0 | 491M| 88 | - | 172 | 40 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
480.92/481.16 c 439s| 2810k| 1484k| 0 | 0.0 | 495M| 88 | - | 172 | 32 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
483.62/483.82 c 442s| 2820k| 1490k| 0 | 0.0 | 498M| 88 | - | 172 | 37 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
486.22/486.48 c 444s| 2830k| 1496k| 0 | 0.0 | 501M| 88 | - | 172 | 31 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
489.02/489.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.02/489.21 c 447s| 2840k| 1501k| 0 | 0.0 | 504M| 88 | - | 172 | 24 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
491.71/491.93 c 449s| 2850k| 1507k| 0 | 0.0 | 508M| 88 | - | 172 | 30 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
494.51/494.75 c 452s| 2860k| 1513k| 0 | 0.0 | 511M| 88 | - | 172 | 59 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
497.32/497.50 c 455s| 2870k| 1518k| 0 | 0.0 | 514M| 88 | - | 172 | 68 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
500.01/500.26 c 457s| 2880k| 1524k| 0 | 0.0 | 517M| 88 | - | 172 | 37 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
502.81/503.01 c 460s| 2890k| 1530k| 0 | 0.0 | 520M| 88 | - | 172 | 37 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
505.51/505.76 c 462s| 2900k| 1535k| 0 | 0.0 | 524M| 88 | - | 172 | 48 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
508.32/508.50 c 465s| 2910k| 1541k| 0 | 0.0 | 527M| 88 | - | 172 | 36 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
511.11/511.32 c 467s| 2920k| 1546k| 0 | 0.0 | 530M| 88 | - | 172 | 50 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
513.81/514.06 c 470s| 2930k| 1552k| 0 | 0.0 | 533M| 88 | - | 172 | 44 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
516.51/516.77 c 473s| 2940k| 1557k| 0 | 0.0 | 537M| 88 | - | 172 | 51 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
519.31/519.55 c 475s| 2950k| 1563k| 0 | 0.0 | 540M| 88 | - | 172 | 55 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
522.10/522.33 c 478s| 2960k| 1568k| 0 | 0.0 | 543M| 88 | - | 172 | 43 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
524.90/525.10 c 480s| 2970k| 1574k| 0 | 0.0 | 546M| 88 | - | 172 | 53 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
527.60/527.87 c 483s| 2980k| 1579k| 0 | 0.0 | 549M| 88 | - | 172 | 68 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
530.40/530.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.40/530.63 c 486s| 2990k| 1585k| 0 | 0.0 | 553M| 88 | - | 172 | 44 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
533.10/533.34 c 488s| 3000k| 1590k| 0 | 0.0 | 556M| 88 | - | 172 | 42 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
535.90/536.13 c 491s| 3010k| 1596k| 0 | 0.0 | 559M| 88 | - | 172 | 49 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
538.70/538.96 c 493s| 3020k| 1601k| 0 | 0.0 | 562M| 88 | - | 172 | 59 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
541.40/541.63 c 496s| 3030k| 1607k| 0 | 0.0 | 565M| 88 | - | 172 | 41 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
544.10/544.33 c 498s| 3040k| 1613k| 0 | 0.0 | 568M| 88 | - | 172 | 51 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
546.80/547.09 c 501s| 3050k| 1618k| 0 | 0.0 | 572M| 88 | - | 172 | 58 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
549.60/549.82 c 503s| 3060k| 1624k| 0 | 0.0 | 575M| 88 | - | 172 | 47 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
552.29/552.51 c 506s| 3070k| 1630k| 0 | 0.0 | 578M| 88 | - | 172 | 43 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
554.98/555.22 c 508s| 3080k| 1635k| 0 | 0.0 | 581M| 88 | - | 172 | 52 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
557.69/557.96 c 511s| 3090k| 1641k| 0 | 0.0 | 585M| 88 | - | 172 | 40 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
560.39/560.62 c 513s| 3100k| 1647k| 0 | 0.0 | 588M| 88 | - | 172 | 33 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
563.09/563.30 c 516s| 3110k| 1653k| 0 | 0.0 | 591M| 88 | - | 172 | 50 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
565.68/565.99 c 518s| 3120k| 1659k| 0 | 0.0 | 595M| 88 | - | 172 | 40 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
568.39/568.68 c 521s| 3130k| 1664k| 0 | 0.0 | 598M| 88 | - | 172 | 40 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
571.08/571.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.08/571.39 c 524s| 3140k| 1670k| 0 | 0.0 | 601M| 88 | - | 172 | 48 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
573.78/574.09 c 526s| 3150k| 1676k| 0 | 0.0 | 604M| 88 | - | 172 | 45 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
576.58/576.84 c 529s| 3160k| 1682k| 0 | 0.0 | 608M| 88 | - | 172 | 48 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
579.39/579.60 c 531s| 3170k| 1687k| 0 | 0.0 | 611M| 88 | - | 172 | 45 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
582.08/582.34 c 534s| 3180k| 1693k| 0 | 0.0 | 614M| 88 | - | 172 | 42 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
584.89/585.16 c 536s| 3190k| 1698k| 0 | 0.0 | 618M| 88 | - | 172 | 44 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
587.68/587.95 c 539s| 3200k| 1703k| 0 | 0.0 | 621M| 88 | - | 172 | 56 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
590.48/590.72 c 542s| 3210k| 1709k| 0 | 0.0 | 624M| 88 | - | 172 | 71 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
593.17/593.43 c 544s| 3220k| 1714k| 0 | 0.0 | 628M| 88 | - | 172 | 56 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
595.88/596.19 c 547s| 3230k| 1720k| 0 | 0.0 | 631M| 88 | - | 172 | 66 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
598.77/599.03 c 549s| 3240k| 1725k| 0 | 0.0 | 634M| 88 | - | 172 | 55 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
601.47/601.78 c 552s| 3250k| 1730k| 0 | 0.0 | 637M| 88 | - | 172 | 68 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
604.27/604.50 c 555s| 3260k| 1736k| 0 | 0.0 | 641M| 88 | - | 172 | 58 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
606.98/607.21 c 557s| 3270k| 1741k| 0 | 0.0 | 644M| 88 | - | 172 | 59 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
609.67/609.97 c 560s| 3280k| 1747k| 0 | 0.0 | 647M| 88 | - | 172 | 54 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
612.38/612.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.38/612.69 c 562s| 3290k| 1752k| 0 | 0.0 | 650M| 88 | - | 172 | 64 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
615.17/615.47 c 565s| 3300k| 1757k| 0 | 0.0 | 654M| 88 | - | 172 | 63 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
617.97/618.28 c 567s| 3310k| 1763k| 0 | 0.0 | 657M| 88 | - | 172 | 69 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
620.86/621.10 c 570s| 3320k| 1768k| 0 | 0.0 | 660M| 88 | - | 172 | 64 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
623.67/623.92 c 573s| 3330k| 1773k| 0 | 0.0 | 663M| 88 | - | 172 | 71 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
626.26/626.59 c 575s| 3340k| 1778k| 0 | 0.0 | 666M| 88 | - | 172 | 56 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
629.07/629.35 c 578s| 3350k| 1784k| 0 | 0.0 | 670M| 88 | - | 172 | 74 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
631.76/632.07 c 580s| 3360k| 1789k| 0 | 0.0 | 673M| 88 | - | 172 | 63 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
634.56/634.82 c 583s| 3370k| 1794k| 0 | 0.0 | 676M| 88 | - | 172 | 47 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
637.36/637.60 c 585s| 3380k| 1800k| 0 | 0.0 | 679M| 88 | - | 172 | 52 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
640.06/640.37 c 588s| 3390k| 1805k| 0 | 0.0 | 682M| 88 | - | 172 | 50 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
642.86/643.15 c 591s| 3400k| 1811k| 0 | 0.0 | 686M| 88 | - | 172 | 44 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
645.55/645.89 c 593s| 3410k| 1816k| 0 | 0.0 | 689M| 88 | - | 172 | 51 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
648.36/648.63 c 596s| 3420k| 1822k| 0 | 0.0 | 692M| 88 | - | 172 | 62 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
651.05/651.35 c 598s| 3430k| 1827k| 0 | 0.0 | 695M| 88 | - | 172 | 48 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
653.75/654.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.75/654.09 c 601s| 3440k| 1833k| 0 | 0.0 | 699M| 88 | - | 172 | 63 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
656.56/656.84 c 603s| 3450k| 1838k| 0 | 0.0 | 702M| 88 | - | 172 | 53 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
659.25/659.56 c 606s| 3460k| 1844k| 0 | 0.0 | 705M| 88 | - | 172 | 55 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
662.05/662.31 c 608s| 3470k| 1849k| 0 | 0.0 | 709M| 88 | - | 172 | 71 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
664.85/665.13 c 611s| 3480k| 1854k| 0 | 0.0 | 712M| 88 | - | 172 | 69 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
667.65/667.90 c 614s| 3490k| 1859k| 0 | 0.0 | 715M| 88 | - | 172 | 65 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
670.35/670.68 c 616s| 3500k| 1865k| 0 | 0.0 | 719M| 88 | - | 172 | 57 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
673.15/673.45 c 619s| 3510k| 1870k| 0 | 0.0 | 722M| 88 | - | 172 | 55 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
676.04/676.30 c 621s| 3520k| 1875k| 0 | 0.0 | 725M| 88 | - | 172 | 60 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
678.84/679.10 c 624s| 3530k| 1881k| 0 | 0.0 | 728M| 88 | - | 172 | 58 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
681.55/681.86 c 627s| 3540k| 1886k| 0 | 0.0 | 732M| 88 | - | 172 | 84 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
684.24/684.58 c 629s| 3550k| 1891k| 0 | 0.0 | 735M| 88 | - | 172 | 75 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
687.04/687.36 c 632s| 3560k| 1897k| 0 | 0.0 | 739M| 88 | - | 172 | 58 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
689.84/690.16 c 634s| 3570k| 1902k| 0 | 0.0 | 742M| 88 | - | 172 | 82 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
692.65/692.97 c 637s| 3580k| 1907k| 0 | 0.0 | 745M| 88 | - | 172 | 73 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
695.54/695.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.54/695.80 c 640s| 3590k| 1912k| 0 | 0.0 | 748M| 88 | - | 172 | 63 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
698.34/698.62 c 642s| 3600k| 1917k| 0 | 0.0 | 752M| 88 | - | 172 | 66 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
701.23/701.52 c 645s| 3610k| 1922k| 0 | 0.0 | 755M| 88 | - | 172 | 71 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
703.93/704.29 c 648s| 3620k| 1927k| 0 | 0.0 | 759M| 88 | - | 172 | 63 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
706.84/707.13 c 650s| 3630k| 1932k| 0 | 0.0 | 762M| 88 | - | 172 | 73 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
709.74/710.00 c 653s| 3640k| 1937k| 0 | 0.0 | 765M| 88 | - | 172 | 73 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
712.44/712.76 c 656s| 3650k| 1942k| 0 | 0.0 | 768M| 88 | - | 172 | 62 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
715.23/715.53 c 658s| 3660k| 1948k| 0 | 0.0 | 772M| 88 | - | 172 | 61 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
718.03/718.33 c 661s| 3670k| 1953k| 0 | 0.0 | 775M| 88 | - | 172 | 72 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
720.83/721.18 c 663s| 3680k| 1958k| 0 | 0.0 | 778M| 88 | - | 172 | 82 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
723.73/724.07 c 666s| 3690k| 1963k| 0 | 0.0 | 781M| 88 | - | 172 | 81 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
726.63/726.90 c 669s| 3700k| 1969k| 0 | 0.0 | 785M| 88 | - | 172 | 64 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
729.42/729.71 c 671s| 3710k| 1974k| 0 | 0.0 | 788M| 88 | - | 172 | 74 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
732.23/732.51 c 674s| 3720k| 1979k| 0 | 0.0 | 791M| 88 | - | 172 | 77 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
735.02/735.37 c 677s| 3730k| 1984k| 0 | 0.0 | 794M| 88 | - | 172 | 70 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
737.93/738.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.93/738.29 c 679s| 3740k| 1989k| 0 | 0.0 | 798M| 88 | - | 172 | 80 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
740.72/741.09 c 682s| 3750k| 1994k| 0 | 0.0 | 801M| 88 | - | 172 | 76 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
743.52/743.86 c 685s| 3760k| 1999k| 0 | 0.0 | 804M| 88 | - | 172 | 77 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
746.42/746.74 c 687s| 3770k| 2005k| 0 | 0.0 | 808M| 88 | - | 172 | 62 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
749.31/749.60 c 690s| 3780k| 2010k| 0 | 0.0 | 811M| 88 | - | 172 | 80 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
752.12/752.42 c 693s| 3790k| 2015k| 0 | 0.0 | 814M| 88 | - | 172 | 59 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
754.92/755.28 c 695s| 3800k| 2020k| 0 | 0.0 | 817M| 88 | - | 172 | 74 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
757.81/758.13 c 698s| 3810k| 2025k| 0 | 0.0 | 821M| 88 | - | 172 | 71 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
760.71/761.02 c 701s| 3820k| 2030k| 0 | 0.0 | 824M| 88 | - | 172 | 67 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
763.62/763.92 c 703s| 3830k| 2034k| 0 | 0.0 | 827M| 88 | - | 172 | 67 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
766.42/766.74 c 706s| 3840k| 2040k| 0 | 0.0 | 831M| 88 | - | 172 | 57 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
769.21/769.50 c 709s| 3850k| 2045k| 0 | 0.0 | 834M| 88 | - | 172 | 56 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
772.01/772.36 c 711s| 3860k| 2050k| 0 | 0.0 | 837M| 88 | - | 172 | 51 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
774.81/775.15 c 714s| 3870k| 2055k| 0 | 0.0 | 841M| 88 | - | 172 | 52 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
777.51/777.88 c 716s| 3880k| 2061k| 0 | 0.0 | 844M| 88 | - | 172 | 58 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
780.30/780.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.30/780.63 c 719s| 3890k| 2066k| 0 | 0.0 | 847M| 88 | - | 172 | 58 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
783.10/783.42 c 722s| 3900k| 2071k| 0 | 0.0 | 851M| 88 | - | 172 | 58 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
785.91/786.29 c 724s| 3910k| 2076k| 0 | 0.0 | 854M| 88 | - | 172 | 70 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
788.81/789.15 c 727s| 3920k| 2081k| 0 | 0.0 | 857M| 88 | - | 172 | 73 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
791.61/791.98 c 730s| 3930k| 2086k| 0 | 0.0 | 861M| 88 | - | 172 | 64 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
794.50/794.84 c 732s| 3940k| 2091k| 0 | 0.0 | 864M| 88 | - | 172 | 59 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
797.30/797.69 c 735s| 3950k| 2096k| 0 | 0.0 | 868M| 88 | - | 172 | 71 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
800.20/800.53 c 738s| 3960k| 2101k| 0 | 0.0 | 871M| 88 | - | 172 | 88 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
803.10/803.41 c 740s| 3970k| 2106k| 0 | 0.0 | 874M| 88 | - | 172 | 74 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
806.00/806.37 c 743s| 3980k| 2111k| 0 | 0.0 | 878M| 88 | - | 172 | 78 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
809.00/809.33 c 746s| 3990k| 2116k| 0 | 0.0 | 881M| 88 | - | 172 | 76 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
811.80/812.18 c 749s| 4000k| 2121k| 0 | 0.0 | 885M| 88 | - | 172 | 93 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
814.81/815.17 c 751s| 4010k| 2125k| 0 | 0.0 | 888M| 88 | - | 172 | 95 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
817.80/818.17 c 754s| 4020k| 2130k| 0 | 0.0 | 891M| 88 | - | 172 | 92 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
820.80/821.13 c 757s| 4030k| 2135k| 0 | 0.0 | 895M| 88 | - | 172 | 74 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
823.69/824.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.69/824.05 c 760s| 4040k| 2140k| 0 | 0.0 | 898M| 88 | - | 172 | 72 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
826.69/827.06 c 763s| 4050k| 2145k| 0 | 0.0 | 901M| 88 | - | 172 | 58 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
829.79/830.11 c 765s| 4060k| 2149k| 0 | 0.0 | 905M| 88 | - | 172 | 60 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
832.79/833.14 c 768s| 4070k| 2154k| 0 | 0.0 | 908M| 88 | - | 172 | 65 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
835.79/836.17 c 771s| 4080k| 2159k| 0 | 0.0 | 911M| 88 | - | 172 | 57 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
838.89/839.30 c 774s| 4090k| 2163k| 0 | 0.0 | 914M| 88 | - | 172 | 54 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
841.89/842.28 c 777s| 4100k| 2168k| 0 | 0.0 | 918M| 88 | - | 172 | 57 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
844.99/845.35 c 780s| 4110k| 2172k| 0 | 0.0 | 921M| 88 | - | 172 | 95 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
848.08/848.46 c 783s| 4120k| 2177k| 0 | 0.0 | 924M| 88 | - | 172 | 73 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
851.09/851.48 c 785s| 4130k| 2182k| 0 | 0.0 | 927M| 88 | - | 172 | 87 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
854.08/854.41 c 788s| 4140k| 2186k| 0 | 0.0 | 931M| 88 | - | 172 | 93 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
857.08/857.42 c 791s| 4150k| 2191k| 0 | 0.0 | 934M| 88 | - | 172 | 95 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
860.18/860.51 c 794s| 4160k| 2196k| 0 | 0.0 | 937M| 88 | - | 172 | 81 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
863.18/863.54 c 797s| 4170k| 2200k| 0 | 0.0 | 940M| 88 | - | 172 | 88 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
866.17/866.58 c 800s| 4180k| 2204k| 0 | 0.0 | 943M| 88 | - | 172 | 80 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
869.17/869.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.17/869.54 c 802s| 4190k| 2209k| 0 | 0.0 | 947M| 88 | - | 172 | 74 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
872.28/872.64 c 805s| 4200k| 2213k| 0 | 0.0 | 950M| 88 | - | 172 | 78 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
875.27/875.63 c 808s| 4210k| 2218k| 0 | 0.0 | 953M| 88 | - | 172 | 80 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
878.27/878.60 c 811s| 4220k| 2222k| 0 | 0.0 | 957M| 88 | - | 172 | 72 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
881.27/881.65 c 814s| 4230k| 2227k| 0 | 0.0 | 960M| 88 | - | 172 | 74 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
884.26/884.64 c 816s| 4240k| 2231k| 0 | 0.0 | 963M| 88 | - | 172 | 69 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
887.17/887.57 c 819s| 4250k| 2236k| 0 | 0.0 | 967M| 88 | - | 172 | 90 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
890.17/890.53 c 822s| 4260k| 2241k| 0 | 0.0 | 970M| 88 | - | 172 | 86 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
893.06/893.47 c 825s| 4270k| 2246k| 0 | 0.0 | 974M| 88 | - | 172 | 73 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
896.07/896.47 c 828s| 4280k| 2250k| 0 | 0.0 | 977M| 88 | - | 172 | 65 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
899.06/899.43 c 830s| 4290k| 2255k| 0 | 0.0 | 981M| 88 | - | 172 | 66 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
901.96/902.37 c 833s| 4300k| 2260k| 0 | 0.0 | 984M| 88 | - | 172 | 63 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
905.06/905.43 c 836s| 4310k| 2264k| 0 | 0.0 | 987M| 88 | - | 172 | 71 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
907.95/908.39 c 839s| 4320k| 2269k| 0 | 0.0 | 991M| 88 | - | 172 | 82 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
910.96/911.38 c 842s| 4330k| 2274k| 0 | 0.0 | 994M| 88 | - | 172 | 92 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
913.95/914.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.95/914.38 c 844s| 4340k| 2278k| 0 | 0.0 | 998M| 88 | - | 172 | 89 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
917.06/917.48 c 847s| 4350k| 2283k| 0 | 0.0 |1001M| 88 | - | 172 | 89 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
920.05/920.49 c 850s| 4360k| 2287k| 0 | 0.0 |1004M| 88 | - | 172 | 79 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
923.06/923.45 c 853s| 4370k| 2292k| 0 | 0.0 |1008M| 88 | - | 172 | 85 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
926.05/926.49 c 856s| 4380k| 2296k| 0 | 0.0 |1011M| 88 | - | 172 | 77 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
929.06/929.48 c 858s| 4390k| 2301k| 0 | 0.0 |1014M| 88 | - | 172 | 76 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
932.15/932.54 c 861s| 4400k| 2305k| 0 | 0.0 |1018M| 88 | - | 172 | 75 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
935.15/935.50 c 864s| 4410k| 2310k| 0 | 0.0 |1021M| 88 | - | 172 | 77 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
938.15/938.53 c 867s| 4420k| 2315k| 0 | 0.0 |1025M| 88 | - | 172 | 81 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
941.25/941.61 c 870s| 4430k| 2319k| 0 | 0.0 |1028M| 88 | - | 172 | 95 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
944.34/944.77 c 873s| 4440k| 2323k| 0 | 0.0 |1031M| 88 | - | 172 | 103 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
947.44/947.89 c 876s| 4450k| 2328k| 0 | 0.0 |1035M| 88 | - | 172 | 102 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
950.54/950.99 c 879s| 4460k| 2332k| 0 | 0.0 |1038M| 88 | - | 172 | 109 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
953.64/954.09 c 882s| 4470k| 2336k| 0 | 0.0 |1042M| 88 | - | 172 | 91 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
956.74/957.16 c 884s| 4480k| 2340k| 0 | 0.0 |1045M| 88 | - | 172 | 94 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
959.85/960.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.85/960.24 c 887s| 4490k| 2345k| 0 | 0.0 |1048M| 88 | - | 172 | 83 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
962.94/963.32 c 890s| 4500k| 2349k| 0 | 0.0 |1052M| 88 | - | 172 | 94 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
965.93/966.37 c 893s| 4510k| 2354k| 0 | 0.0 |1055M| 88 | - | 172 | 79 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
969.04/969.47 c 896s| 4520k| 2358k| 0 | 0.0 |1058M| 88 | - | 172 | 75 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
972.23/972.60 c 899s| 4530k| 2363k| 0 | 0.0 |1062M| 88 | - | 172 | 93 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
975.24/975.64 c 902s| 4540k| 2367k| 0 | 0.0 |1065M| 88 | - | 172 | 83 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
978.23/978.63 c 904s| 4550k| 2372k| 0 | 0.0 |1068M| 88 | - | 172 | 84 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
981.34/981.71 c 907s| 4560k| 2376k| 0 | 0.0 |1071M| 88 | - | 172 | 90 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
984.33/984.78 c 910s| 4570k| 2380k| 0 | 0.0 |1075M| 88 | - | 172 | 86 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
987.43/987.89 c 913s| 4580k| 2384k| 0 | 0.0 |1078M| 88 | - | 172 | 81 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
990.63/991.04 c 916s| 4590k| 2388k| 0 | 0.0 |1081M| 88 | - | 172 | 94 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
993.83/994.25 c 919s| 4600k| 2392k| 0 | 0.0 |1084M| 88 | - | 172 | 82 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
997.03/997.45 c 922s| 4610k| 2396k| 0 | 0.0 |1088M| 88 | - | 172 | 75 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1000.22/1000.61 c 925s| 4620k| 2400k| 0 | 0.0 |1091M| 88 | - | 172 | 88 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1003.22/1003.68 c 928s| 4630k| 2404k| 0 | 0.0 |1095M| 88 | - | 172 | 92 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1006.32/1006.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.32/1006.71 c 931s| 4640k| 2409k| 0 | 0.0 |1098M| 88 | - | 172 | 95 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1009.43/1009.82 c 934s| 4650k| 2413k| 0 | 0.0 |1101M| 88 | - | 172 | 98 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1012.52/1012.91 c 937s| 4660k| 2417k| 0 | 0.0 |1105M| 88 | - | 172 | 87 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1015.62/1016.03 c 940s| 4670k| 2422k| 0 | 0.0 |1108M| 88 | - | 172 | 92 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1018.62/1019.08 c 942s| 4680k| 2426k| 0 | 0.0 |1112M| 88 | - | 172 | 95 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1021.72/1022.19 c 945s| 4690k| 2430k| 0 | 0.0 |1115M| 88 | - | 172 | 93 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1024.83/1025.29 c 948s| 4700k| 2434k| 0 | 0.0 |1119M| 88 | - | 172 | 106 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1028.02/1028.49 c 951s| 4710k| 2439k| 0 | 0.0 |1122M| 88 | - | 172 | 97 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1031.11/1031.59 c 954s| 4720k| 2443k| 0 | 0.0 |1126M| 88 | - | 172 | 99 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1034.41/1034.80 c 957s| 4730k| 2447k| 0 | 0.0 |1129M| 88 | - | 172 | 94 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1037.51/1037.91 c 960s| 4740k| 2452k| 0 | 0.0 |1133M| 88 | - | 172 | 89 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1040.61/1041.01 c 963s| 4750k| 2456k| 0 | 0.0 |1136M| 88 | - | 172 | 81 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1043.71/1044.13 c 966s| 4760k| 2460k| 0 | 0.0 |1140M| 88 | - | 172 | 78 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1046.71/1047.14 c 969s| 4770k| 2465k| 0 | 0.0 |1143M| 88 | - | 172 | 82 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1049.81/1050.22 c 971s| 4780k| 2469k| 0 | 0.0 |1146M| 88 | - | 172 | 86 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1052.80/1053.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.80/1053.26 c 974s| 4790k| 2474k| 0 | 0.0 |1150M| 88 | - | 172 | 88 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1055.90/1056.33 c 977s| 4800k| 2478k| 0 | 0.0 |1153M| 88 | - | 172 | 81 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1059.10/1059.54 c 980s| 4810k| 2482k| 0 | 0.0 |1157M| 88 | - | 172 | 87 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1062.21/1062.66 c 983s| 4820k| 2487k| 0 | 0.0 |1160M| 88 | - | 172 | 79 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1065.41/1065.80 c 986s| 4830k| 2491k| 0 | 0.0 |1163M| 88 | - | 172 | 104 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1068.50/1068.99 c 989s| 4840k| 2495k| 0 | 0.0 |1167M| 88 | - | 172 | 87 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1071.60/1072.06 c 992s| 4850k| 2499k| 0 | 0.0 |1170M| 88 | - | 172 | 102 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1074.69/1075.16 c 995s| 4860k| 2504k| 0 | 0.0 |1174M| 88 | - | 172 | 89 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1077.80/1078.29 c 998s| 4870k| 2508k| 0 | 0.0 |1177M| 88 | - | 172 | 104 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1081.00/1081.40 c 1001s| 4880k| 2512k| 0 | 0.0 |1181M| 88 | - | 172 | 94 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1084.11/1084.58 c 1004s| 4890k| 2516k| 0 | 0.0 |1184M| 88 | - | 172 | 81 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1087.29/1087.71 c 1007s| 4900k| 2520k| 0 | 0.0 |1187M| 88 | - | 172 | 90 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1090.49/1090.91 c 1010s| 4910k| 2524k| 0 | 0.0 |1191M| 88 | - | 172 | 86 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1093.69/1094.12 c 1013s| 4920k| 2528k| 0 | 0.0 |1194M| 88 | - | 172 | 90 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1096.89/1097.37 c 1016s| 4930k| 2532k| 0 | 0.0 |1197M| 88 | - | 172 | 90 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1100.09/1100.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.09/1100.54 c 1019s| 4940k| 2536k| 0 | 0.0 |1201M| 88 | - | 172 | 96 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1103.29/1103.77 c 1022s| 4950k| 2540k| 0 | 0.0 |1204M| 88 | - | 172 | 96 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1106.49/1106.99 c 1025s| 4960k| 2544k| 0 | 0.0 |1207M| 88 | - | 172 | 83 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1109.79/1110.27 c 1028s| 4970k| 2548k| 0 | 0.0 |1211M| 88 | - | 172 | 94 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1113.09/1113.50 c 1031s| 4980k| 2552k| 0 | 0.0 |1214M| 88 | - | 172 | 87 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1116.38/1116.84 c 1034s| 4990k| 2556k| 0 | 0.0 |1218M| 88 | - | 172 | 88 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1119.59/1120.07 c 1037s| 5000k| 2560k| 0 | 0.0 |1221M| 88 | - | 172 | 98 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1122.88/1123.31 c 1040s| 5010k| 2564k| 0 | 0.0 |1225M| 88 | - | 172 | 99 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1125.88/1126.37 c 1043s| 5020k| 2568k| 0 | 0.0 |1228M| 88 | - | 172 | 108 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1129.18/1129.62 c 1046s| 5030k| 2572k| 0 | 0.0 |1232M| 88 | - | 172 | 101 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1132.37/1132.85 c 1049s| 5040k| 2576k| 0 | 0.0 |1235M| 88 | - | 172 | 93 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1135.48/1136.00 c 1052s| 5050k| 2580k| 0 | 0.0 |1239M| 88 | - | 172 | 80 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1138.67/1139.12 c 1055s| 5060k| 2584k| 0 | 0.0 |1242M| 88 | - | 172 | 87 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1141.78/1142.28 c 1058s| 5070k| 2588k| 0 | 0.0 |1246M| 88 | - | 172 | 89 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1145.08/1145.51 c 1061s| 5080k| 2592k| 0 | 0.0 |1249M| 88 | - | 172 | 101 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1148.18/1148.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.18/1148.69 c 1064s| 5090k| 2597k| 0 | 0.0 |1253M| 88 | - | 172 | 91 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1151.37/1151.88 c 1067s| 5100k| 2601k| 0 | 0.0 |1256M| 88 | - | 172 | 96 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1154.67/1155.12 c 1070s| 5110k| 2605k| 0 | 0.0 |1260M| 88 | - | 172 | 93 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1157.78/1158.24 c 1073s| 5120k| 2609k| 0 | 0.0 |1263M| 88 | - | 172 | 95 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1160.76/1161.26 c 1075s| 5130k| 2613k| 0 | 0.0 |1267M| 88 | - | 172 | 88 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1163.87/1164.33 c 1078s| 5140k| 2618k| 0 | 0.0 |1270M| 88 | - | 172 | 96 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1167.07/1167.57 c 1081s| 5150k| 2622k| 0 | 0.0 |1274M| 88 | - | 172 | 98 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1170.27/1170.77 c 1084s| 5160k| 2626k| 0 | 0.0 |1277M| 88 | - | 172 | 92 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1173.47/1173.99 c 1087s| 5170k| 2630k| 0 | 0.0 |1281M| 88 | - | 172 | 88 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1176.57/1177.07 c 1090s| 5180k| 2634k| 0 | 0.0 |1284M| 88 | - | 172 | 91 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1179.77/1180.22 c 1093s| 5190k| 2638k| 0 | 0.0 |1288M| 88 | - | 172 | 101 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1182.86/1183.39 c 1096s| 5200k| 2643k| 0 | 0.0 |1291M| 88 | - | 172 | 102 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1186.16/1186.61 c 1099s| 5210k| 2647k| 0 | 0.0 |1295M| 88 | - | 172 | 99 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1189.36/1189.85 c 1102s| 5220k| 2651k| 0 | 0.0 |1298M| 88 | - | 172 | 84 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1192.65/1193.11 c 1105s| 5230k| 2655k| 0 | 0.0 |1302M| 88 | - | 172 | 91 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1195.86/1196.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.86/1196.32 c 1108s| 5240k| 2659k| 0 | 0.0 |1305M| 88 | - | 172 | 77 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1199.05/1199.53 c 1111s| 5250k| 2663k| 0 | 0.0 |1308M| 88 | - | 172 | 87 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1202.25/1202.77 c 1114s| 5260k| 2667k| 0 | 0.0 |1312M| 88 | - | 172 | 85 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1205.55/1206.08 c 1117s| 5270k| 2671k| 0 | 0.0 |1315M| 88 | - | 172 | 111 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1208.75/1209.26 c 1120s| 5280k| 2675k| 0 | 0.0 |1319M| 88 | - | 172 | 89 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1212.04/1212.57 c 1123s| 5290k| 2679k| 0 | 0.0 |1322M| 88 | - | 172 | 89 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1215.34/1215.85 c 1126s| 5300k| 2683k| 0 | 0.0 |1325M| 88 | - | 172 | 102 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1218.55/1219.05 c 1129s| 5310k| 2687k| 0 | 0.0 |1329M| 88 | - | 172 | 98 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1221.74/1222.25 c 1132s| 5320k| 2691k| 0 | 0.0 |1332M| 88 | - | 172 | 95 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1225.15/1225.62 c 1136s| 5330k| 2695k| 0 | 0.0 |1336M| 88 | - | 172 | 99 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1228.54/1229.09 c 1139s| 5340k| 2699k| 0 | 0.0 |1339M| 88 | - | 172 | 114 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1231.84/1232.39 c 1142s| 5350k| 2702k| 0 | 0.0 |1342M| 88 | - | 172 | 92 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1235.14/1235.65 c 1145s| 5360k| 2706k| 0 | 0.0 |1346M| 88 | - | 172 | 116 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1238.44/1238.90 c 1148s| 5370k| 2710k| 0 | 0.0 |1350M| 88 | - | 172 | 104 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1241.64/1242.11 c 1151s| 5380k| 2714k| 0 | 0.0 |1353M| 88 | - | 172 | 85 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1244.74/1245.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.74/1245.29 c 1154s| 5390k| 2719k| 0 | 0.0 |1357M| 88 | - | 172 | 80 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1246.23/1246.75 c (node 5394574) switching to memory saving mode (mem: 1296.0M/1620.0M)
1248.04/1248.53 o 186
1248.04/1248.53 c *1157s| 5394k| 2599k| 0 | 0.0 |1281M| 89 | - | 172 | 97 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
1248.43/1248.91 o 185
1248.43/1248.91 c *1158s| 5394k| 2599k| 0 | 0.0 |1281M| 104 | - | 172 | 97 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
1250.03/1250.58 o 135
1250.03/1250.58 c *1159s| 5395k| 2445k| 0 | 0.0 |1164M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
1250.24/1250.71 o 131
1250.24/1250.71 c *1159s| 5395k| 2444k| 0 | 0.0 |1163M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
1252.44/1252.97 o 127
1252.44/1252.97 c *1162s| 5395k| 2196k| 0 | 0.0 |1008M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1252.63/1253.10 o 123
1252.63/1253.10 c *1162s| 5395k| 2194k| 0 | 0.0 |1006M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
1253.03/1253.55 o 120
1253.03/1253.55 c *1162s| 5395k| 2191k| 0 | 0.0 |1003M| 104 | - | 172 | 103 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
1253.83/1254.30 o 107
1253.83/1254.30 c *1163s| 5395k| 2164k| 0 | 0.0 | 979M| 104 | - | 172 | 104 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
1256.53/1257.02 o 106
1256.53/1257.02 c *1165s| 5397k| 2160k| 0 | 0.0 | 978M| 104 | - | 172 | 217 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
1256.63/1257.13 o 102
1256.63/1257.13 c *1166s| 5397k| 2159k| 0 | 0.0 | 977M| 104 | - | 172 | 217 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
1261.33/1261.83 c 1170s| 5400k| 2152k| 0 | 0.0 | 975M| 104 | - | 172 | 478 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
1275.62/1276.17 c 1184s| 5410k| 2138k| 0 | 0.0 | 967M| 104 | - | 172 |1034 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
1279.12/1279.67 o 79
1279.12/1279.67 c *1187s| 5415k| 2077k| 0 | 0.0 | 863M| 104 | - | 172 |1036 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
1285.12/1285.63 c 1193s| 5420k| 2072k| 0 | 0.0 | 858M| 104 | - | 172 |1498 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
1289.73/1290.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.73/1290.23 c 1197s| 5430k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1509 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
1293.12/1293.70 o 77
1293.12/1293.70 c *1201s| 5437k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1508 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
1294.22/1294.72 c 1202s| 5440k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1507 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
1296.43/1296.93 o 75
1296.43/1296.93 c *1204s| 5444k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1508 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
1296.52/1297.03 o 71
1296.52/1297.03 c *1204s| 5444k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1508 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1298.82/1299.31 c 1206s| 5450k| 2072k| 0 | 0.0 | 856M| 104 | - | 172 |1513 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1303.82/1304.31 c 1211s| 5460k| 2071k| 0 | 0.0 | 856M| 104 | - | 172 |1531 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1315.31/1315.89 c 1222s| 5470k| 2065k| 0 | 0.0 | 848M| 104 | - | 172 |1895 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1320.31/1320.88 c 1227s| 5480k| 2064k| 0 | 0.0 | 848M| 104 | - | 172 |1869 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1325.10/1325.65 c 1231s| 5490k| 2064k| 0 | 0.0 | 848M| 104 | - | 172 |1840 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1326.21/1326.72 o 66
1326.21/1326.72 c *1232s| 5492k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1844 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1329.70/1330.25 c 1235s| 5500k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1844 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1334.20/1334.72 c 1240s| 5510k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1844 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1338.60/1339.11 c 1244s| 5520k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1845 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1342.70/1343.29 c 1248s| 5530k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1838 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1348.20/1348.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.20/1348.71 c 1253s| 5540k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1814 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1353.50/1354.05 c 1258s| 5550k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1692 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1357.80/1358.40 c 1262s| 5560k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1670 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1362.19/1362.72 c 1266s| 5570k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1670 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1366.29/1366.88 o 63
1366.29/1366.88 c *1270s| 5575k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 |1669 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1367.99/1368.57 c 1271s| 5580k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 |1504 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1372.09/1372.61 c 1275s| 5590k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 |1297 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1376.38/1376.97 c 1279s| 5600k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 | 185 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1386.39/1386.97 c 1289s| 5610k| 1883k| 0 | 0.0 | 719M| 104 | - | 172 | 61 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1390.89/1391.44 c 1293s| 5620k| 1882k| 0 | 0.0 | 719M| 104 | - | 172 | 60 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1395.08/1395.64 c 1297s| 5630k| 1882k| 0 | 0.0 | 719M| 104 | - | 172 | 83 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1399.48/1400.01 c 1301s| 5640k| 1882k| 0 | 0.0 | 719M| 104 | - | 172 | 106 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1403.68/1404.28 c 1305s| 5650k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 84 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1407.98/1408.58 c 1309s| 5660k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 104 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1412.08/1412.63 c 1313s| 5670k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 164 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1416.28/1416.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.28/1416.82 c 1316s| 5680k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 157 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1420.47/1421.03 c 1320s| 5690k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 193 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1424.48/1425.09 c 1324s| 5700k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 262 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1427.47/1428.04 o 62
1427.47/1428.04 c *1327s| 5707k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 359 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1428.57/1429.16 c 1328s| 5710k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 388 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1432.67/1433.21 c 1332s| 5720k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 360 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1436.77/1437.34 c 1335s| 5730k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 390 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1440.86/1441.50 c 1339s| 5740k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 427 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1445.06/1445.61 c 1343s| 5750k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 226 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1449.17/1449.74 c 1347s| 5760k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 165 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1453.56/1454.17 c 1351s| 5770k| 1881k| 0 | 0.0 | 717M| 104 | - | 172 | 91 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1457.97/1458.56 c 1355s| 5780k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 122 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1461.76/1462.37 c 1359s| 5790k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 111 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1466.16/1466.76 c 1363s| 5800k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 84 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1470.25/1470.85 c 1367s| 5810k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 92 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1475.05/1475.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.05/1475.67 c 1371s| 5820k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 37 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1480.06/1480.68 c 1376s| 5830k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 43 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1484.36/1485.00 c 1380s| 5840k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 72 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1488.55/1489.10 c 1384s| 5850k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 69 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1492.65/1493.27 c 1387s| 5860k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 59 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1496.85/1497.44 c 1391s| 5870k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 54 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1500.95/1501.58 c 1395s| 5880k| 1879k| 0 | 0.0 | 715M| 104 | - | 172 | 69 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1505.65/1506.26 c 1400s| 5890k| 1878k| 0 | 0.0 | 715M| 104 | - | 172 | 90 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1508.24/1508.84 o 61
1508.24/1508.84 c *1402s| 5895k| 1878k| 0 | 0.0 | 715M| 104 | - | 172 | 29 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1510.44/1511.05 c 1404s| 5900k| 1878k| 0 | 0.0 | 715M| 104 | - | 172 | 37 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1515.63/1516.28 c 1409s| 5910k| 1877k| 0 | 0.0 | 714M| 104 | - | 172 | 23 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1519.93/1520.56 c 1413s| 5920k| 1877k| 0 | 0.0 | 714M| 104 | - | 172 | 22 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1531.23/1531.89 c 1424s| 5930k| 1873k| 0 | 0.0 | 708M| 104 | - | 172 | 26 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1535.63/1536.20 c 1428s| 5940k| 1872k| 0 | 0.0 | 708M| 104 | - | 172 | 29 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1539.83/1540.46 c 1431s| 5950k| 1872k| 0 | 0.0 | 708M| 104 | - | 172 | 29 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1544.02/1544.66 o 53
1544.02/1544.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.02/1544.66 c *1435s| 5959k| 1872k| 0 | 0.0 | 707M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
1544.12/1544.75 o 51
1544.12/1544.75 c *1435s| 5959k| 1872k| 0 | 0.0 | 707M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
1544.32/1544.92 o 45
1544.32/1544.92 c *1436s| 5959k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
1544.42/1545.01 o 41
1544.42/1545.01 c *1436s| 5959k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1544.42/1545.07 c 1436s| 5960k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1548.62/1549.23 c 1440s| 5970k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 113 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1552.82/1553.40 c 1444s| 5980k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 136 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1556.93/1557.50 c 1447s| 5990k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 204 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1561.02/1561.64 c 1451s| 6000k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 284 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1562.32/1562.92 o 38
1562.32/1562.92 c *1452s| 6002k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 303 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1562.42/1563.01 o 36
1562.42/1563.01 c *1452s| 6002k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 303 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1565.31/1565.92 c 1455s| 6010k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 263 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1569.51/1570.15 c 1459s| 6020k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 381 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1573.82/1574.42 c 1463s| 6030k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 413 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1578.01/1578.66 c 1467s| 6040k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 499 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1582.31/1582.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.31/1582.95 c 1471s| 6050k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 597 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1586.61/1587.20 c 1475s| 6060k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 93 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1590.71/1591.31 c 1479s| 6070k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 135 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1594.80/1595.49 c 1483s| 6080k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 132 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1599.21/1599.84 c 1487s| 6090k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 73 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1603.50/1604.19 c 1491s| 6100k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 171 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1607.80/1608.43 c 1495s| 6110k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 150 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1612.01/1612.64 c 1499s| 6120k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 92 | 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1616.20/1616.88 c 1503s| 6130k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 71 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1620.60/1621.20 c 1507s| 6140k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 74 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1624.80/1625.49 c 1511s| 6150k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 52 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1629.39/1630.00 c 1515s| 6160k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 52 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1633.89/1634.55 c 1519s| 6170k| 1865k| 0 | 0.0 | 699M| 104 | - | 172 | 63 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1638.49/1639.11 c 1523s| 6180k| 1865k| 0 | 0.0 | 699M| 104 | - | 172 | 65 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1642.99/1643.63 c 1527s| 6190k| 1865k| 0 | 0.0 | 699M| 104 | - | 172 | 98 | 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1647.78/1648.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.78/1648.40 c 1532s| 6200k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 54 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1651.78/1652.44 c 1536s| 6210k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 62 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1655.90/1656.58 c 1540s| 6220k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 142 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1659.98/1660.62 c 1543s| 6230k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 207 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1664.18/1664.84 c 1547s| 6240k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 135 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1668.38/1669.01 c 1551s| 6250k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 222 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1672.49/1673.13 c 1555s| 6260k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 253 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1676.67/1677.31 c 1559s| 6270k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 129 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1680.98/1681.62 c 1563s| 6280k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 128 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1685.37/1686.01 c 1567s| 6290k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 104 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1689.77/1690.42 c 1571s| 6300k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 102 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1694.07/1694.79 c 1575s| 6310k| 1863k| 0 | 0.0 | 698M| 104 | - | 172 | 89 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1698.57/1699.29 c 1579s| 6320k| 1863k| 0 | 0.0 | 698M| 104 | - | 172 | 95 | 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1702.97/1703.61 c 1583s| 6330k| 1863k| 0 | 0.0 | 697M| 104 | - | 172 | 84 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1707.16/1707.84 c 1587s| 6340k| 1863k| 0 | 0.0 | 697M| 104 | - | 172 | 121 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1711.26/1711.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.26/1711.90 c 1591s| 6350k| 1863k| 0 | 0.0 | 697M| 104 | - | 172 | 121 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1715.77/1716.48 c 1595s| 6360k| 1862k| 0 | 0.0 | 697M| 104 | - | 172 | 101 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1720.56/1721.28 c 1600s| 6370k| 1862k| 0 | 0.0 | 697M| 104 | - | 172 | 74 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1725.27/1725.96 c 1604s| 6380k| 1862k| 0 | 0.0 | 697M| 104 | - | 172 | 70 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1730.25/1730.99 c 1609s| 6390k| 1861k| 0 | 0.0 | 697M| 104 | - | 172 | 75 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1735.16/1735.89 c 1613s| 6400k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 68 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1740.06/1740.77 c 1618s| 6410k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 47 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1744.56/1745.20 c 1622s| 6420k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 74 | 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1748.65/1749.36 c 1626s| 6430k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 64 | 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1752.76/1753.47 c 1630s| 6440k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 80 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1757.25/1757.94 c 1634s| 6450k| 1859k| 0 | 0.0 | 696M| 104 | - | 172 | 61 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1761.75/1762.48 c 1638s| 6460k| 1859k| 0 | 0.0 | 695M| 104 | - | 172 | 55 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1766.15/1766.80 c 1642s| 6470k| 1859k| 0 | 0.0 | 695M| 104 | - | 172 | 79 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1770.54/1771.20 c 1646s| 6480k| 1859k| 0 | 0.0 | 695M| 104 | - | 172 | 126 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1774.84/1775.54 c 1650s| 6490k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 81 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1779.05/1779.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.05/1779.77 c 1654s| 6500k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 75 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1783.34/1784.01 c 1658s| 6510k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 60 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1787.44/1788.18 c 1662s| 6520k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 98 | 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1791.64/1792.34 c 1666s| 6530k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 141 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1796.14/1796.82 c 1670s| 6540k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 87 | 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1800.04/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71 c
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1673.68
1800.04/1800.71 c Solving Nodes : 6549124
1800.04/1800.71 c Primal Bound : +3.60000000000000e+01 (25 solutions)
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 s SATISFIABLE
1800.04/1800.71 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 x163 -x162 -x161 x160 x159 -x158 x157 x156 -x155 -x154 -x153 x152 -x151 x150
1800.04/1800.71 v x149 -x148 -x147 x146 -x145 x144 x143 -x142 -x141 x140 -x139 -x138 x137 x136 x135 x134 -x133 -x132 x131 -x130 x129 x128 -x127
1800.04/1800.71 v -x126 x125 x124 x123 x122 x121 x120 -x119 -x118 x117 x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 x106 x105 -x104
1800.04/1800.71 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.71 v -x79 -x78 -x77 x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55
1800.04/1800.71 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.04/1800.71 v -x29 x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.04/1800.71 v -x2 -x1
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1673.68
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-2664224-1276615390.opb
1800.04/1800.71 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 14 initial, 14 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-2664224-1276615390.opb
1800.04/1800.71 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 7 initial, 2091 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 0.00 0 0 0 0 0 7 0 0
1800.04/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 18 - - 18 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 7 0 14196487 0 5428199 804261 33581613 0 0 0
1800.04/1800.71 c logicor : 0+ 0 1832403 0 0 13335 1284392 0 0 0
1800.04/1800.71 c countsols : 0 0 0 0 5428208 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c linear : 872.94 0.00 869.18 0.00 3.76
1800.04/1800.71 c logicor : 24.37 0.00 24.37 0.00 0.00
1800.04/1800.71 c countsols : 2.18 0.00 0.00 0.00 2.18
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c vbounds : 7.16 2 0 0
1800.04/1800.71 c rootredcost : 7.11 0 0 0
1800.04/1800.71 c pseudoobj : 225.10 14799746 603449 12288352
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 234.85 1421041 1401998 4460946 48.5 2753 60.7 -
1800.04/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.00 27 27 71 39.6 4 63.2 -
1800.04/1800.71 c applied globally : - - - 26948 29.6 - - -
1800.04/1800.71 c applied locally : - - - 1375092 41.0 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.71 c redcost : 0.00 0 0 0 0 0
1800.04/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 0.00 0 0 0 0 0
1800.04/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.71 c cmir : 0.00 0 0 0 0 0
1800.04/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.71 c clique : 0.00 0 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 0 0 0 0 0
1800.04/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 129.99 5428183 0 0 0 0 10856366
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.00 - 0
1800.04/1800.71 c pseudo solutions : 15.66 - 25
1800.04/1800.71 c oneopt : 3.87 0 0
1800.04/1800.71 c trivial : 0.00 2 0
1800.04/1800.71 c simplerounding : 0.00 0 0
1800.04/1800.71 c zirounding : 0.00 0 0
1800.04/1800.71 c rounding : 0.00 0 0
1800.04/1800.72 c shifting : 0.00 0 0
1800.04/1800.72 c intshifting : 0.00 0 0
1800.04/1800.72 c twoopt : 0.00 0 0
1800.04/1800.72 c fixandinfer : 0.00 0 0
1800.04/1800.72 c feaspump : 0.00 0 0
1800.04/1800.72 c coefdiving : 0.00 0 0
1800.04/1800.72 c pscostdiving : 0.00 0 0
1800.04/1800.72 c fracdiving : 0.00 0 0
1800.04/1800.72 c veclendiving : 0.00 0 0
1800.04/1800.72 c intdiving : 0.00 0 0
1800.04/1800.72 c actconsdiving : 0.00 0 0
1800.04/1800.72 c objpscostdiving : 0.00 0 0
1800.04/1800.72 c rootsoldiving : 0.00 0 0
1800.04/1800.72 c linesearchdiving : 0.00 0 0
1800.04/1800.72 c guideddiving : 0.00 0 0
1800.04/1800.72 c octane : 0.00 0 0
1800.04/1800.72 c rens : 0.00 0 0
1800.04/1800.72 c rins : 0.00 0 0
1800.04/1800.72 c localbranching : 0.00 0 0
1800.04/1800.72 c mutation : 0.00 0 0
1800.04/1800.72 c crossover : 0.00 0 0
1800.04/1800.72 c dins : 0.00 0 0
1800.04/1800.72 c undercover : 0.00 0 0
1800.04/1800.72 c nlp : 2.81 0 0
1800.04/1800.72 c trysol : 2.66 0 0
1800.04/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.72 c (at root node) : - 0 0 0.00 -
1800.04/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.72 c B&B Tree :
1800.04/1800.72 c number of runs : 1
1800.04/1800.72 c nodes : 6549124
1800.04/1800.72 c nodes (total) : 6549124
1800.04/1800.72 c nodes left : 1858205
1800.04/1800.72 c max depth : 104
1800.04/1800.72 c max depth (total): 104
1800.04/1800.72 c backtracks : 514477 (7.9%)
1800.04/1800.72 c delayed cutoffs : 323472
1800.04/1800.72 c repropagations : 3788734 (8085711 domain reductions, 300156 cutoffs)
1800.04/1800.72 c avg switch length: 6.17
1800.04/1800.72 c switching time : 181.50
1800.04/1800.72 c Solution :
1800.04/1800.72 c Solutions found : 25 (25 improvements)
1800.04/1800.72 c First Solution : +2.21000000000000e+02 (in run 1, after 2708050 nodes, 408.11 seconds, depth 79, found by <relaxation>)
1800.04/1800.72 c Primal Bound : +3.60000000000000e+01 (in run 1, after 6002966 nodes, 1452.38 seconds, depth 93, found by <relaxation>)
1800.04/1800.72 c Dual Bound : +0.00000000000000e+00
1800.04/1800.72 c Gap : infinite
1800.04/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.72 c Root Iterations : 0
OK 36
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664224-1276615390/watcher-2664224-1276615390 -o /tmp/evaluation-result-2664224-1276615390/solver-2664224-1276615390 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664224-1276615390.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10072 /proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=6584 CPUtime=0 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 2829943 6742016 890 1992294400 4194304 7136930 140737382702720 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10072/statm: 1646 900 254 719 0 925 0 [startup+0.0426581 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10072 /proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=11160 CPUtime=0.03 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 2756 0 0 0 2 1 0 0 20 0 1 0 2829943 11427840 2068 1992294400 4194304 7136930 140737382702720 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 2790 2074 381 719 0 2069 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11160 [startup+0.100666 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10072 /proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=11440 CPUtime=0.09 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 2833 0 0 0 8 1 0 0 20 0 1 0 2829943 11714560 2145 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 2860 2145 383 719 0 2139 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11440 [startup+0.3007 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10072 /proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=12064 CPUtime=0.29 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 2984 0 0 0 26 3 0 0 20 0 1 0 2829943 12353536 2296 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 3016 2296 383 719 0 2295 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12064 [startup+0.700767 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10072 /proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=13500 CPUtime=0.69 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 3351 0 0 0 63 6 0 0 21 0 1 0 2829943 13824000 2663 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 3375 2663 383 719 0 2654 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13500 [startup+1.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1495160/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=15588 CPUtime=1.49 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 3900 0 0 0 137 12 0 0 23 0 1 0 2829943 15962112 3212 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 3897 3212 383 719 0 3176 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15588 [startup+3.10117 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1491564/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=19456 CPUtime=3.09 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 4910 0 0 0 283 26 0 0 25 0 1 0 2829943 19922944 4222 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 4864 4222 383 719 0 4143 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19456 [startup+6.30071 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1483752/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=27168 CPUtime=6.29 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 6884 0 0 0 577 52 0 0 25 0 1 0 2829943 27820032 6196 1992294400 4194304 7136930 140737382702720 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 6792 6196 383 719 0 6071 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27168 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1465648/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=46824 CPUtime=12.69 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 11425 0 0 0 1160 109 0 0 25 0 1 0 2829943 47947776 10737 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 11706 10737 383 719 0 10985 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46824 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1423240/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=86076 CPUtime=25.49 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 21560 0 0 0 2329 220 0 0 25 0 1 0 2829943 88141824 20872 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 21519 20872 383 719 0 20798 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86076 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1359752/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=152536 CPUtime=51.08 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 37767 0 0 0 4670 438 0 0 25 0 1 0 2829943 156196864 37079 1992294400 4194304 7136930 140737382702720 18446744073709551615 4979073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 38134 37079 383 719 0 37413 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 152536 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10075 /proc/meminfo: memFree=1227816/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=286680 CPUtime=102.26 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 70484 0 0 0 9315 911 0 0 25 0 1 0 2829943 293560320 69796 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 71670 69796 383 719 0 70949 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 286680 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10077 /proc/meminfo: memFree=1047892/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=476344 CPUtime=162.23 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 115229 0 0 0 14740 1483 0 0 25 0 1 0 2829943 487776256 114541 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 119086 114541 383 719 0 118365 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 476344 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10079 /proc/meminfo: memFree=904548/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=613240 CPUtime=222.21 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 150873 0 0 0 20205 2016 0 0 25 0 1 0 2829943 627957760 150185 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 153310 150185 383 719 0 152589 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 613240 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10079 /proc/meminfo: memFree=766908/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=747288 CPUtime=282.19 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 185822 0 0 0 25683 2536 0 0 25 0 1 0 2829943 765222912 185134 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 186822 185134 383 719 0 186101 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 747288 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10081 /proc/meminfo: memFree=619596/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=919000 CPUtime=342.17 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 221993 0 0 0 31143 3074 0 0 25 0 1 0 2829943 941056000 221305 1992294400 4194304 7136930 140737382702720 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 229750 221305 383 719 0 229029 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 919000 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10083 /proc/meminfo: memFree=471416/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1061496 CPUtime=402.14 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 258994 0 0 0 36611 3603 0 0 25 0 1 0 2829943 1086971904 258306 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 265374 258306 383 719 0 264653 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 1061496 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10085 /proc/meminfo: memFree=354484/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1173032 CPUtime=462.12 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 287891 0 0 0 42159 4053 0 0 25 0 1 0 2829943 1201184768 287203 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 293258 287203 383 719 0 292537 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 1173032 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10087 /proc/meminfo: memFree=336256/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1190908 CPUtime=522.1 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 292354 0 0 0 47771 4439 0 0 25 0 1 0 2829943 1219489792 291666 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 297727 291666 383 719 0 297006 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 1190908 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10090 /proc/meminfo: memFree=317656/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1208760 CPUtime=582.08 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 296808 0 0 0 53371 4837 0 0 25 0 1 0 2829943 1237770240 296120 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 302190 296120 383 719 0 301469 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 1208760 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10092 /proc/meminfo: memFree=301908/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1224560 CPUtime=642.07 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 300718 0 0 0 58976 5231 0 0 25 0 1 0 2829943 1253949440 300030 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 306140 300030 383 719 0 305419 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 1224560 [startup+702.301 s] ################ # More data... # ################ /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 349315 0 0 0 98278 7912 0 0 25 0 1 0 2829943 1452838912 348627 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 354697 348627 384 719 0 353976 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1418788 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10106 /proc/meminfo: memFree=62092/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1464332 CPUtime=1121.88 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 360588 0 0 0 103896 8292 0 0 25 0 1 0 2829943 1499475968 359900 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 366083 359900 384 719 0 365362 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1464332 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10106 /proc/meminfo: memFree=16584/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1509416 CPUtime=1181.86 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 371941 0 0 0 109507 8679 0 0 25 0 1 0 2829943 1545641984 371253 1992294400 4194304 7136930 140737382702720 18446744073709551615 4978949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 377354 371253 384 719 0 376633 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1509416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10108 /proc/meminfo: memFree=9560/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1559016 CPUtime=1241.84 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 384297 0 0 0 115127 9057 0 0 25 0 1 0 2829943 1596432384 383609 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 389754 383609 384 719 0 389033 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1559016 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10110 /proc/meminfo: memFree=45904/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1570776 CPUtime=1301.82 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 397819 0 0 0 120875 9307 0 0 25 0 1 0 2829943 1608474624 386500 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 392694 386500 384 719 0 391973 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1570776 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10112 /proc/meminfo: memFree=43796/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572896 CPUtime=1361.8 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398340 0 0 0 126533 9647 0 0 25 0 1 0 2829943 1610645504 387021 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393224 387021 384 719 0 392503 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1572896 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10114 /proc/meminfo: memFree=43796/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572896 CPUtime=1421.78 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 132150 10028 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393224 387023 386 719 0 392503 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1572896 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10114 /proc/meminfo: memFree=43672/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572896 CPUtime=1481.75 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 137726 10449 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393224 387023 386 719 0 392503 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1572896 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10116 /proc/meminfo: memFree=43672/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572896 CPUtime=1541.73 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 143317 10856 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393224 387023 386 719 0 392503 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1572896 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10118 /proc/meminfo: memFree=43672/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572896 CPUtime=1601.7 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 148903 11267 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 4924424 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393224 387023 386 719 0 392503 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1572896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10120 /proc/meminfo: memFree=43548/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572896 CPUtime=1661.69 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 154489 11680 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 4648367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393224 387023 386 719 0 392503 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 1572896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10122 /proc/meminfo: memFree=43424/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572896 CPUtime=1721.66 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 160066 12100 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393224 387023 386 719 0 392503 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1572896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10122 /proc/meminfo: memFree=42680/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1573316 CPUtime=1781.64 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398445 0 0 0 165652 12512 0 0 25 0 1 0 2829943 1611075584 387126 1992294400 4194304 7136930 140737382702720 18446744073709551615 4981233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393329 387126 386 719 0 392608 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 1573316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10124 /proc/meminfo: memFree=42432/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1573536 CPUtime=1800.04 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398499 0 0 0 167368 12636 0 0 25 0 1 0 2829943 1611300864 387180 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10072/statm: 393384 387180 386 719 0 392663 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1573536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10072 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10124 /proc/meminfo: memFree=42432/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1573536 CPUtime=1800.72 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398505 0 0 0 167436 12636 0 0 25 0 1 0 2829943 1611300864 387186 1992294400 4194304 7136930 140737382702720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10072/statm: 393384 387186 392 719 0 392663 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 1573536 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10125 /proc/meminfo: memFree=42424/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1573536 CPUtime=1801.52 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398505 0 0 0 167516 12636 0 0 25 0 1 0 2829943 1611300864 387186 1992294400 4194304 7136930 140737382702720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10072/statm: 393384 387186 392 719 0 392663 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 1573536 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10125 /proc/meminfo: memFree=42424/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=1572512 CPUtime=1801.92 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398505 0 0 0 167556 12636 0 0 25 0 1 0 2829943 1610252288 386930 1992294400 4194304 7136930 140737382702720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10072/statm: 393128 386930 392 719 0 392407 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 1572512 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10125 /proc/meminfo: memFree=977268/2059040 swapFree=4192956/4192956 [pid=10072] ppid=10070 vsize=0 CPUtime=1802.13 /proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4203524 398505 0 0 0 167568 12645 0 0 25 0 1 0 2829943 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/10072/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.86 CPU time (s): 1802.19 CPU user time (s): 1675.69 CPU system time (s): 126.509 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 1627648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1675.69 system time used= 126.509 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 398505 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= 1 involuntary context switches= 19606 runsolver used 3.04454 second user time and 8.47571 second system time The end
Begin job on node055 at 2010-06-15 17:23:10 IDJOB=2664224 IDBENCH=2921 IDSOLVER=1167 FILE ID=node055/2664224-1276615390 PBS_JOBID= 11172274 Free space on /tmp= 62480 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb 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-2664224-1276615390/watcher-2664224-1276615390 -o /tmp/evaluation-result-2664224-1276615390/solver-2664224-1276615390 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664224-1276615390.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1594001305 node055.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1505740 kB Buffers: 74692 kB Cached: 351736 kB SwapCached: 0 kB Active: 196892 kB Inactive: 288888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1505740 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3208 kB Writeback: 0 kB AnonPages: 59304 kB Mapped: 15376 kB Slab: 45736 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181480 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62476 MiB End job on node055 at 2010-06-15 17:53:13