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) | 299 | 1800.12 | 1800.74 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb |
| MD5SUM | 93fc03471d2b2f18ece1d77179dbcb30 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 259 |
| Best CPU time to get the best result obtained on this benchmark | 3.59845 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 259 |
| Optimality of the best value was proved | YES |
| Number of variables | 1278 |
| Total number of constraints | 1087 |
| Number of constraints which are clauses | 1087 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 1278 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1278 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1278 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2664185-1276409418.opb>
0.02/0.04 c original problem has 1278 variables (1278 bin, 0 int, 0 impl, 0 cont) and 1087 constraints
0.02/0.04 c problem read
0.02/0.04 c presolving settings loaded
0.02/0.04 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.02/0.05 o 1278
0.02/0.05 c feasible solution found by trivial heuristic, objective value 1.278000e+03
0.02/0.05 c presolving:
0.02/0.06 c (round 1) 26 del vars, 28 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 202 impls, 0 clqs
0.02/0.06 c (round 2) 40 del vars, 47 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 202 impls, 0 clqs
0.02/0.07 c (round 3) 44 del vars, 53 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 202 impls, 0 clqs
0.02/0.07 c (round 4) 46 del vars, 57 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 202 impls, 0 clqs
0.09/0.10 c (round 5) 46 del vars, 87 del conss, 14 chg bounds, 25 chg sides, 0 chg coeffs, 0 upgd conss, 202 impls, 0 clqs
0.09/0.12 c (round 6) 46 del vars, 87 del conss, 14 chg bounds, 25 chg sides, 0 chg coeffs, 1000 upgd conss, 202 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/1232 (8.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (7 rounds):
0.09/0.15 c 46 deleted vars, 87 deleted constraints, 14 tightened bounds, 0 added holes, 25 changed sides, 0 changed coefficients
0.09/0.15 c 202 implications, 0 cliques
0.09/0.15 c presolved problem has 1232 variables (1232 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.09/0.15 c 1000 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c conflict/interconss = 0
0.09/0.15 c
0.09/0.15 c # should binary conflicts be preferred?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c conflict/preferbinary = TRUE
0.09/0.15 c
0.09/0.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c constraints/agelimit = 1
0.09/0.15 c
0.09/0.15 c # should enforcement of pseudo solution be disabled?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/disableenfops = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.97
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.15 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.15 c lp/pricing = a
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # priority of node selection rule <dfs> in standard mode
0.09/0.15 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.15 c nodeselection/dfs/stdpriority = 1000000
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 o 1262
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c t 0.1s| 1 | 0 | 0 | - |3026k| 0 | - |1232 |1000 | 0 | 0 | 0 | 0 | 0 | -- | 1.262000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2992k| 0 | - |1232 |1000 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 1.262000e+03 |4106.67%
0.29/0.37 o 302
0.29/0.37 c * 0.3s| 961 | 950 | 0 | 0.0 |3553k| 960 | - |1232 |1000 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 3.020000e+02 | 874.19%
0.29/0.38 o 301
0.29/0.38 c * 0.3s| 981 | 946 | 0 | 0.0 |3570k| 960 | - |1232 |1000 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 3.010000e+02 | 870.97%
3.20/3.22 c 3.0s| 10000 | 923 | 0 | 0.0 |3752k| 960 | - |1232 |1000 | 0 | 0 | 0 |1086 | 0 | 3.100000e+01 | 3.010000e+02 | 870.97%
5.58/5.63 c 5.3s| 20000 | 920 | 0 | 0.0 |3756k| 960 | - |1232 |1000 | 0 | 0 | 0 |1559 | 0 | 3.100000e+01 | 3.010000e+02 | 870.97%
8.58/8.60 c 8.1s| 30000 | 922 | 0 | 0.0 |3758k| 960 | - |1232 |1000 | 0 | 0 | 0 |2551 | 0 | 3.100000e+01 | 3.010000e+02 | 870.97%
9.48/9.50 o 300
9.48/9.50 c * 9.0s| 32973 | 919 | 0 | 0.0 |3776k| 960 | - |1232 |1000 | 0 | 0 | 0 |2858 | 0 | 3.100000e+01 | 3.000000e+02 | 867.74%
11.69/11.80 c 11.2s| 40000 | 914 | 0 | 0.0 |3774k| 960 | - |1232 |1000 | 0 | 0 | 0 |3756 | 0 | 3.100000e+01 | 3.000000e+02 | 867.74%
14.09/14.13 c 13.4s| 50000 | 916 | 0 | 0.0 |3776k| 960 | - |1232 |1000 | 0 | 0 | 0 |4143 | 0 | 3.100000e+01 | 3.000000e+02 | 867.74%
16.88/16.95 c 16.1s| 60000 | 915 | 0 | 0.0 |3776k| 960 | - |1232 |1000 | 0 | 0 | 0 |4969 | 0 | 3.100000e+01 | 3.000000e+02 | 867.74%
19.18/19.29 c 18.3s| 70000 | 917 | 0 | 0.0 |3778k| 960 | - |1232 |1000 | 0 | 0 | 0 |5317 | 0 | 3.100000e+01 | 3.000000e+02 | 867.74%
21.39/21.46 o 299
21.39/21.46 c *20.4s| 78597 | 918 | 0 | 0.0 |3797k| 960 | - |1232 |1000 | 0 | 0 | 0 |5757 | 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
21.89/21.97 c 20.9s| 80000 | 914 | 0 | 0.0 |3794k| 960 | - |1232 |1000 | 0 | 0 | 0 |5975 | 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
25.08/25.13 c 23.9s| 90000 | 913 | 0 | 0.0 |3799k| 960 | - |1232 |1000 | 0 | 0 | 0 |7163 | 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
27.78/27.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.78/27.86 c 26.5s|100000 | 909 | 0 | 0.0 |3796k| 960 | - |1232 |1000 | 0 | 0 | 0 |7990 | 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
30.48/30.55 c 29.0s|110000 | 908 | 0 | 0.0 |3797k| 960 | - |1232 |1000 | 0 | 0 | 0 |8780 | 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
32.99/33.03 c 31.4s|120000 | 908 | 0 | 0.0 |3797k| 960 | - |1232 |1000 | 0 | 0 | 0 |9361 | 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
35.58/35.68 c 33.9s|130000 | 908 | 0 | 0.0 |3799k| 960 | - |1232 |1000 | 0 | 0 | 0 | 10k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
38.18/38.20 c 36.3s|140000 | 912 | 0 | 0.0 |3801k| 960 | - |1232 |1000 | 0 | 0 | 0 | 10k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
40.68/40.72 c 38.6s|150000 | 911 | 0 | 0.0 |3800k| 960 | - |1232 |1000 | 0 | 0 | 0 | 11k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
42.97/43.06 c 40.9s|160000 | 910 | 0 | 0.0 |3801k| 960 | - |1232 |1000 | 0 | 0 | 0 | 11k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
45.38/45.41 c 43.1s|170000 | 909 | 0 | 0.0 |3800k| 960 | - |1232 |1000 | 0 | 0 | 0 | 12k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
47.57/47.63 c 45.2s|180000 | 908 | 0 | 0.0 |3800k| 960 | - |1232 |1000 | 0 | 0 | 0 | 12k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
50.07/50.14 c 47.6s|190000 | 911 | 0 | 0.0 |3804k| 960 | - |1232 |1000 | 0 | 0 | 0 | 13k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
52.47/52.58 c 49.9s|200000 | 912 | 0 | 0.0 |3802k| 960 | - |1232 |1000 | 0 | 0 | 0 | 13k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
54.88/54.93 c 52.1s|210000 | 910 | 0 | 0.0 |3801k| 960 | - |1232 |1000 | 0 | 0 | 0 | 14k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
57.57/57.60 c 54.7s|220000 | 910 | 0 | 0.0 |3801k| 960 | - |1232 |1000 | 0 | 0 | 0 | 14k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
60.07/60.14 c 57.1s|230000 | 904 | 0 | 0.0 |3799k| 960 | - |1232 |1000 | 0 | 0 | 0 | 15k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
62.47/62.55 c 59.3s|240000 | 904 | 0 | 0.0 |3801k| 960 | - |1232 |1000 | 0 | 0 | 0 | 15k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
65.16/65.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.16/65.23 c 61.9s|250000 | 909 | 0 | 0.0 |3802k| 960 | - |1232 |1000 | 0 | 0 | 0 | 16k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
67.67/67.77 c 64.3s|260000 | 907 | 0 | 0.0 |3802k| 960 | - |1232 |1000 | 0 | 0 | 0 | 17k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
70.06/70.14 c 66.5s|270000 | 906 | 0 | 0.0 |3802k| 960 | - |1232 |1000 | 0 | 0 | 0 | 17k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
72.66/72.73 c 69.0s|280000 | 907 | 0 | 0.0 |3802k| 960 | - |1232 |1000 | 0 | 0 | 0 | 18k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
75.36/75.44 c 71.5s|290000 | 904 | 0 | 0.0 |3801k| 960 | - |1232 |1000 | 0 | 0 | 0 | 19k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
77.97/78.00 c 74.0s|300000 | 905 | 0 | 0.0 |3802k| 960 | - |1232 |1000 | 0 | 0 | 0 | 20k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
80.56/80.62 c 76.5s|310000 | 905 | 0 | 0.0 |3802k| 960 | - |1232 |1000 | 0 | 0 | 0 | 20k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
82.96/83.04 c 78.8s|320000 | 909 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 21k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
85.36/85.44 c 81.0s|330000 | 911 | 0 | 0.0 |3805k| 960 | - |1232 |1000 | 0 | 0 | 0 | 21k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
87.56/87.64 c 83.1s|340000 | 906 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 21k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
89.86/89.91 c 85.2s|350000 | 905 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 22k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
92.56/92.63 c 87.8s|360000 | 906 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 22k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
95.36/95.43 c 90.5s|370000 | 906 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 23k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
97.76/97.85 c 92.8s|380000 | 902 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 24k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
100.15/100.24 c 95.0s|390000 | 906 | 0 | 0.0 |3804k| 960 | - |1232 |1000 | 0 | 0 | 0 | 24k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
103.26/103.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.26/103.33 c 98.0s|400000 | 903 | 0 | 0.0 |3804k| 960 | - |1232 |1000 | 0 | 0 | 0 | 25k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
105.85/105.97 c 100s|410000 | 905 | 0 | 0.0 |3805k| 960 | - |1232 |1000 | 0 | 0 | 0 | 26k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
108.36/108.46 c 103s|420000 | 908 | 0 | 0.0 |3805k| 960 | - |1232 |1000 | 0 | 0 | 0 | 27k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
110.86/110.94 c 105s|430000 | 901 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 27k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
113.46/113.55 c 108s|440000 | 903 | 0 | 0.0 |3804k| 960 | - |1232 |1000 | 0 | 0 | 0 | 28k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
116.05/116.11 c 110s|450000 | 898 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 29k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
118.85/118.92 c 113s|460000 | 899 | 0 | 0.0 |3803k| 960 | - |1232 |1000 | 0 | 0 | 0 | 30k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
121.35/121.42 c 115s|470000 | 902 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 30k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
124.05/124.10 c 118s|480000 | 908 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 31k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
126.55/126.67 c 120s|490000 | 906 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 32k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
128.95/129.00 c 122s|500000 | 903 | 0 | 0.0 |3805k| 960 | - |1232 |1000 | 0 | 0 | 0 | 32k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
131.45/131.59 c 125s|510000 | 903 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 33k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
134.15/134.26 c 127s|520000 | 903 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 33k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
137.04/137.18 c 130s|530000 | 905 | 0 | 0.0 |3807k| 960 | - |1232 |1000 | 0 | 0 | 0 | 34k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
139.55/139.64 c 132s|540000 | 903 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 35k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
141.94/142.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.94/142.07 c 135s|550000 | 901 | 0 | 0.0 |3805k| 960 | - |1232 |1000 | 0 | 0 | 0 | 35k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
145.04/145.15 c 138s|560000 | 903 | 0 | 0.0 |3807k| 960 | - |1232 |1000 | 0 | 0 | 0 | 37k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
147.94/148.01 c 140s|570000 | 900 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 38k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
150.74/150.84 c 143s|580000 | 902 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 38k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
153.34/153.41 c 146s|590000 | 903 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 39k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
155.84/155.90 c 148s|600000 | 899 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 40k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
158.44/158.54 c 150s|610000 | 898 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 40k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
161.34/161.42 c 153s|620000 | 906 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 41k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
163.93/164.08 c 156s|630000 | 897 | 0 | 0.0 |3806k| 960 | - |1232 |1000 | 0 | 0 | 0 | 42k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
166.53/166.64 c 158s|640000 | 904 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 43k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
169.54/169.69 c 161s|650000 | 895 | 0 | 0.0 |3807k| 960 | - |1232 |1000 | 0 | 0 | 0 | 44k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
172.73/172.85 c 164s|660000 | 905 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 45k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
175.53/175.60 c 167s|670000 | 907 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 46k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
178.23/178.32 c 169s|680000 | 903 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 47k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
180.53/180.68 c 171s|690000 | 904 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 47k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
183.33/183.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.33/183.41 c 174s|700000 | 903 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 48k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
185.83/185.95 c 176s|710000 | 901 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 48k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
188.22/188.35 c 179s|720000 | 901 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 49k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
190.63/190.73 c 181s|730000 | 906 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 49k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
193.03/193.14 c 183s|740000 | 903 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 50k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
195.53/195.66 c 186s|750000 | 906 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 50k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
198.12/198.20 c 188s|760000 | 901 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 51k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
200.73/200.83 c 190s|770000 | 901 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 52k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
203.02/203.16 c 193s|780000 | 920 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 52k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
205.12/205.27 c 195s|790000 | 900 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 52k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
207.73/207.85 c 197s|800000 | 904 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 52k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
210.02/210.17 c 199s|810000 | 903 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 53k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
212.12/212.30 c 201s|820000 | 907 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 53k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
214.42/214.56 c 203s|830000 | 902 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 53k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
216.62/216.75 c 205s|840000 | 901 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 53k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
218.91/219.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.91/219.07 c 208s|850000 | 898 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 54k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
221.11/221.23 c 210s|860000 | 905 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 54k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
223.42/223.53 c 212s|870000 | 898 | 0 | 0.0 |3808k| 960 | - |1232 |1000 | 0 | 0 | 0 | 54k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
225.61/225.74 c 214s|880000 | 895 | 0 | 0.0 |3807k| 960 | - |1232 |1000 | 0 | 0 | 0 | 54k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
228.31/228.44 c 217s|890000 | 902 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 55k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
231.02/231.13 c 219s|900000 | 903 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 56k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
233.61/233.71 c 222s|910000 | 900 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 57k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
236.51/236.65 c 224s|920000 | 904 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 58k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
239.41/239.55 c 227s|930000 | 902 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 59k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
242.31/242.46 c 230s|940000 | 900 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 60k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
245.01/245.12 c 232s|950000 | 904 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 60k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
247.81/247.93 c 235s|960000 | 901 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 61k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
250.61/250.77 c 238s|970000 | 900 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 62k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
253.91/254.03 c 241s|980000 | 899 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 63k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
256.50/256.68 c 243s|990000 | 904 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 64k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
259.10/259.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.10/259.29 c 246s| 1000k| 898 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 65k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
261.81/261.92 c 248s| 1010k| 901 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 66k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
264.80/264.90 c 251s| 1020k| 904 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 67k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
267.30/267.50 c 254s| 1030k| 899 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 67k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
269.69/269.88 c 256s| 1040k| 898 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 68k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
272.30/272.49 c 258s| 1050k| 899 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 68k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
274.80/274.97 c 261s| 1060k| 895 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 69k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
277.79/277.90 c 264s| 1070k| 900 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 70k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
280.49/280.62 c 266s| 1080k| 896 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 71k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
283.29/283.43 c 269s| 1090k| 899 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 71k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
285.91/286.09 c 271s| 1100k| 900 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 72k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
288.79/288.95 c 274s| 1110k| 901 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 73k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
291.40/291.53 c 277s| 1120k| 902 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 74k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
293.89/294.07 c 279s| 1130k| 903 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 74k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
296.29/296.48 c 281s| 1140k| 902 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 75k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
298.69/298.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.69/298.81 c 283s| 1150k| 898 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 75k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
300.99/301.14 c 286s| 1160k| 900 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 75k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
303.29/303.48 c 288s| 1170k| 901 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 76k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
305.89/306.02 c 290s| 1180k| 899 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 76k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
308.29/308.41 c 292s| 1190k| 902 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 77k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
310.99/311.11 c 295s| 1200k| 902 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 77k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
313.29/313.49 c 297s| 1210k| 895 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 78k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
316.28/316.46 c 300s| 1220k| 914 | 0 | 0.0 |3825k| 960 | - |1232 |1000 | 0 | 0 | 0 | 79k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
318.89/319.02 c 303s| 1230k| 898 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 79k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
321.19/321.34 c 305s| 1240k| 896 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 79k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
323.29/323.47 c 307s| 1250k| 899 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 79k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
325.78/325.95 c 309s| 1260k| 904 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 80k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
328.48/328.68 c 312s| 1270k| 899 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 81k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
331.18/331.36 c 314s| 1280k| 897 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 81k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
333.88/334.06 c 317s| 1290k| 901 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 82k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
336.57/336.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.57/336.70 c 319s| 1300k| 896 | 0 | 0.0 |3809k| 960 | - |1232 |1000 | 0 | 0 | 0 | 83k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
339.37/339.57 c 322s| 1310k| 900 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 84k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
342.08/342.24 c 325s| 1320k| 896 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 84k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
344.88/345.00 c 327s| 1330k| 901 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 85k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
347.48/347.67 c 330s| 1340k| 891 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 86k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
350.37/350.56 c 333s| 1350k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 87k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
353.47/353.67 c 335s| 1360k| 898 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 88k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
356.47/356.60 c 338s| 1370k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 89k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
359.27/359.47 c 341s| 1380k| 898 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 90k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
362.07/362.22 c 344s| 1390k| 894 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 91k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
364.66/364.85 c 346s| 1400k| 901 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 91k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
367.18/367.33 c 348s| 1410k| 897 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 92k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
369.77/369.93 c 351s| 1420k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 92k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
372.47/372.62 c 353s| 1430k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 93k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
374.87/375.03 c 356s| 1440k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 94k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
377.46/377.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.46/377.62 c 358s| 1450k| 898 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 94k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
379.86/380.07 c 360s| 1460k| 898 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 95k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
382.46/382.60 c 363s| 1470k| 898 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 95k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
385.06/385.29 c 365s| 1480k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 96k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
387.96/388.15 c 368s| 1490k| 901 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 97k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
390.46/390.65 c 371s| 1500k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 98k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
393.06/393.29 c 373s| 1510k| 895 | 0 | 0.0 |3810k| 960 | - |1232 |1000 | 0 | 0 | 0 | 98k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
395.65/395.88 c 376s| 1520k| 906 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 99k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
398.26/398.40 c 378s| 1530k| 908 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 99k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
400.96/401.15 c 381s| 1540k| 897 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 100k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
404.06/404.29 c 384s| 1550k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 101k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
407.45/407.60 c 387s| 1560k| 903 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 103k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
410.35/410.52 c 389s| 1570k| 904 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 104k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
412.85/413.08 c 392s| 1580k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 104k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
415.56/415.78 c 394s| 1590k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 105k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
418.05/418.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.05/418.28 c 397s| 1600k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 105k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
420.95/421.14 c 400s| 1610k| 905 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 106k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
423.65/423.86 c 402s| 1620k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 107k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
426.55/426.70 c 405s| 1630k| 904 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 107k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
429.54/429.80 c 408s| 1640k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 108k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
432.35/432.55 c 410s| 1650k| 905 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 109k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
434.95/435.14 c 413s| 1660k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 110k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
437.75/437.91 c 415s| 1670k| 902 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 110k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
440.24/440.48 c 418s| 1680k| 903 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 111k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
442.95/443.14 c 420s| 1690k| 902 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 112k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
445.94/446.16 c 423s| 1700k| 899 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 113k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
448.74/448.92 c 426s| 1710k| 896 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 113k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
451.54/451.71 c 429s| 1720k| 898 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 114k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
454.24/454.40 c 431s| 1730k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 115k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
456.64/456.87 c 434s| 1740k| 896 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 115k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
459.34/459.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.34/459.52 c 436s| 1750k| 899 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 116k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
461.93/462.18 c 439s| 1760k| 898 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 117k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
464.94/465.13 c 441s| 1770k| 901 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 117k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
467.73/467.94 c 444s| 1780k| 904 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 118k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
470.33/470.59 c 447s| 1790k| 898 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 119k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
473.03/473.26 c 449s| 1800k| 896 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 120k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
475.83/476.00 c 452s| 1810k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 120k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
478.53/478.78 c 454s| 1820k| 901 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 121k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
481.13/481.31 c 457s| 1830k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 122k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
483.84/484.03 c 459s| 1840k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 122k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
486.63/486.85 c 462s| 1850k| 900 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 123k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
489.12/489.32 c 464s| 1860k| 901 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 123k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
491.62/491.86 c 467s| 1870k| 897 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 124k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
494.32/494.53 c 469s| 1880k| 906 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 125k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
496.72/496.92 c 472s| 1890k| 897 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 125k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
499.13/499.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.13/499.31 c 474s| 1900k| 903 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 125k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
501.52/501.76 c 476s| 1910k| 898 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 126k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
503.82/504.00 c 478s| 1920k| 921 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 126k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
506.02/506.28 c 480s| 1930k| 897 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 126k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
508.52/508.74 c 483s| 1940k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 127k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
510.62/510.90 c 485s| 1950k| 899 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 127k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
512.92/513.10 c 487s| 1960k| 894 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 127k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
515.21/515.48 c 489s| 1970k| 898 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 127k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
517.83/518.05 c 492s| 1980k| 902 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 128k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
520.13/520.39 c 494s| 1990k| 898 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 128k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
522.62/522.88 c 496s| 2000k| 899 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 129k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
525.02/525.29 c 498s| 2010k| 894 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 129k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
527.41/527.60 c 501s| 2020k| 910 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 129k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
530.41/530.62 c 503s| 2030k| 901 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 131k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
533.11/533.34 c 506s| 2040k| 903 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 131k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
535.71/535.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.71/535.99 c 509s| 2050k| 899 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 132k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
538.31/538.54 c 511s| 2060k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 133k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
541.21/541.48 c 514s| 2070k| 898 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 134k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
543.91/544.16 c 516s| 2080k| 899 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 135k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
546.51/546.76 c 519s| 2090k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 135k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
549.10/549.39 c 521s| 2100k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 136k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
551.71/551.99 c 524s| 2110k| 902 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 137k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
554.51/554.70 c 526s| 2120k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 137k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
558.11/558.31 c 530s| 2130k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 139k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
560.90/561.13 c 532s| 2140k| 904 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 140k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
563.50/563.78 c 535s| 2150k| 898 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 141k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
565.90/566.13 c 537s| 2160k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 141k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
568.30/568.54 c 540s| 2170k| 893 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 142k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
570.70/570.97 c 542s| 2180k| 895 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 142k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
573.10/573.36 c 544s| 2190k| 899 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 143k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
575.60/575.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.60/575.88 c 546s| 2200k| 899 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 143k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
578.30/578.51 c 549s| 2210k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 144k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
580.79/581.01 c 551s| 2220k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 144k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
583.20/583.46 c 554s| 2230k| 893 | 0 | 0.0 |3811k| 960 | - |1232 |1000 | 0 | 0 | 0 | 145k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
585.79/586.07 c 556s| 2240k| 895 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 145k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
588.39/588.69 c 559s| 2250k| 898 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 146k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
591.20/591.45 c 561s| 2260k| 899 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 147k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
594.90/595.14 c 565s| 2270k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 149k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
597.99/598.24 c 568s| 2280k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 150k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
600.69/600.93 c 570s| 2290k| 895 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 151k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
603.39/603.63 c 573s| 2300k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 151k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
605.90/606.15 c 575s| 2310k| 901 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 152k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
608.28/608.59 c 578s| 2320k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 153k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
610.88/611.16 c 580s| 2330k| 895 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 153k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
613.38/613.65 c 582s| 2340k| 899 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 154k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
615.98/616.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.98/616.28 c 585s| 2350k| 897 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 154k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
618.58/618.88 c 587s| 2360k| 897 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 155k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
621.19/621.43 c 590s| 2370k| 899 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 156k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
623.58/623.87 c 592s| 2380k| 895 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 156k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
626.18/626.43 c 594s| 2390k| 897 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 157k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
628.58/628.82 c 597s| 2400k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 157k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
630.98/631.25 c 599s| 2410k| 898 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 158k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
633.48/633.70 c 601s| 2420k| 900 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 158k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
635.78/636.02 c 604s| 2430k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 159k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
638.18/638.49 c 606s| 2440k| 896 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 159k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
640.78/641.03 c 608s| 2450k| 894 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 160k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
643.47/643.71 c 611s| 2460k| 898 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 160k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
646.37/646.61 c 614s| 2470k| 892 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 161k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
649.37/649.69 c 617s| 2480k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 163k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
651.98/652.30 c 619s| 2490k| 899 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 163k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
654.47/654.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.47/654.73 c 621s| 2500k| 896 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 164k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
656.87/657.17 c 624s| 2510k| 896 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 164k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
659.27/659.50 c 626s| 2520k| 897 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 165k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
661.67/661.90 c 628s| 2530k| 893 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 165k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
664.18/664.42 c 630s| 2540k| 895 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 166k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
666.66/666.90 c 633s| 2550k| 898 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 166k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
669.07/669.37 c 635s| 2560k| 902 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 167k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
671.46/671.75 c 637s| 2570k| 903 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 167k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
674.16/674.45 c 640s| 2580k| 898 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 168k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
676.66/676.93 c 642s| 2590k| 897 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 168k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
679.47/679.70 c 645s| 2600k| 899 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 169k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
682.96/683.22 c 648s| 2610k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 171k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
686.46/686.77 c 652s| 2620k| 897 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 172k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
689.56/689.80 c 655s| 2630k| 892 | 0 | 0.0 |3812k| 960 | - |1232 |1000 | 0 | 0 | 0 | 173k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
692.06/692.36 c 657s| 2640k| 896 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 174k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
694.66/694.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.66/694.98 c 659s| 2650k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 174k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
697.16/697.45 c 662s| 2660k| 894 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 175k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
699.66/699.95 c 664s| 2670k| 904 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 175k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
702.45/702.74 c 667s| 2680k| 897 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 176k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
705.15/705.44 c 669s| 2690k| 898 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 177k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
708.06/708.37 c 672s| 2700k| 898 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 178k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
710.95/711.20 c 675s| 2710k| 892 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 179k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
713.35/713.67 c 677s| 2720k| 902 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 180k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
715.95/716.23 c 680s| 2730k| 896 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 180k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
718.45/718.74 c 682s| 2740k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 181k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
720.95/721.22 c 684s| 2750k| 898 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 181k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
723.25/723.59 c 687s| 2760k| 893 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 182k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
726.04/726.32 c 689s| 2770k| 900 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 182k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
728.75/729.01 c 692s| 2780k| 893 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 183k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
731.25/731.51 c 694s| 2790k| 892 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 184k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
733.95/734.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.95/734.24 c 697s| 2800k| 896 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 184k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
736.34/736.67 c 699s| 2810k| 898 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 185k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
738.74/739.07 c 701s| 2820k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 185k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
741.24/741.60 c 704s| 2830k| 894 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 186k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
743.84/744.10 c 706s| 2840k| 896 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 186k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
746.34/746.62 c 708s| 2850k| 895 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 187k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
748.75/749.03 c 711s| 2860k| 894 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 187k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
751.94/752.26 c 714s| 2870k| 896 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 189k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
755.14/755.40 c 717s| 2880k| 897 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 190k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
758.34/758.60 c 720s| 2890k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 191k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
761.14/761.47 c 723s| 2900k| 902 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 192k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
763.54/763.82 c 725s| 2910k| 898 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 192k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
765.93/766.22 c 727s| 2920k| 902 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 193k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
768.64/768.96 c 730s| 2930k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 193k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
771.23/771.56 c 732s| 2940k| 899 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 194k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
773.74/774.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.74/774.01 c 735s| 2950k| 898 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 195k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
776.33/776.60 c 737s| 2960k| 901 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 195k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
778.73/779.06 c 739s| 2970k| 899 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 196k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
781.33/781.69 c 742s| 2980k| 900 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 196k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
784.04/784.38 c 744s| 2990k| 898 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 197k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
786.33/786.68 c 746s| 3000k| 897 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 197k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
788.93/789.21 c 749s| 3010k| 895 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 198k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
791.42/791.71 c 751s| 3020k| 899 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 198k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
794.02/794.31 c 754s| 3030k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 199k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
796.82/797.18 c 756s| 3040k| 901 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 200k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
799.33/799.61 c 759s| 3050k| 896 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 200k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
801.72/802.04 c 761s| 3060k| 903 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 201k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
804.22/804.59 c 763s| 3070k| 898 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 201k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
806.72/807.07 c 766s| 3080k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 202k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
809.22/809.53 c 768s| 3090k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 202k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
811.61/811.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.61/811.96 c 770s| 3100k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 203k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
814.42/814.70 c 773s| 3110k| 897 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 203k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
816.81/817.13 c 775s| 3120k| 898 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 204k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
819.13/819.41 c 778s| 3130k| 917 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 204k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
821.32/821.64 c 780s| 3140k| 900 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 204k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
823.52/823.88 c 782s| 3150k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 204k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
826.12/826.40 c 784s| 3160k| 900 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 205k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
828.41/828.71 c 786s| 3170k| 901 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 205k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
830.71/831.02 c 788s| 3180k| 897 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 206k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
832.91/833.23 c 791s| 3190k| 896 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 206k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
835.41/835.75 c 793s| 3200k| 909 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 206k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
837.61/837.91 c 795s| 3210k| 900 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 207k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
839.80/840.10 c 797s| 3220k| 899 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 207k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
842.11/842.42 c 799s| 3230k| 900 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 207k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
844.31/844.67 c 801s| 3240k| 905 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 207k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
846.81/847.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.81/847.12 c 804s| 3250k| 896 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 208k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
849.11/849.46 c 806s| 3260k| 910 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 208k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
851.51/851.81 c 808s| 3270k| 900 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 208k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
854.20/854.58 c 811s| 3280k| 892 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 209k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
856.70/857.05 c 813s| 3290k| 898 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 210k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
859.70/860.00 c 816s| 3300k| 896 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 211k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
862.30/862.60 c 818s| 3310k| 891 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 211k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
864.50/864.84 c 821s| 3320k| 894 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 211k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
866.80/867.18 c 823s| 3330k| 897 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 212k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
869.40/869.78 c 825s| 3340k| 896 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 212k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
871.91/872.30 c 828s| 3350k| 896 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 213k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
874.30/874.62 c 830s| 3360k| 894 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 213k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
876.69/877.00 c 832s| 3370k| 910 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 214k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
878.90/879.24 c 834s| 3380k| 891 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 214k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
881.20/881.54 c 836s| 3390k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 214k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
883.80/884.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.80/884.15 c 839s| 3400k| 903 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 215k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
886.89/887.20 c 842s| 3410k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 216k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
889.50/889.81 c 844s| 3420k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 216k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
891.89/892.25 c 847s| 3430k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 217k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
894.39/894.73 c 849s| 3440k| 893 | 0 | 0.0 |3813k| 960 | - |1232 |1000 | 0 | 0 | 0 | 217k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
897.09/897.41 c 851s| 3450k| 899 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 218k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
899.50/899.85 c 854s| 3460k| 893 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 218k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
902.08/902.49 c 856s| 3470k| 894 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 219k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
904.79/905.10 c 859s| 3480k| 912 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 220k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
907.29/907.68 c 861s| 3490k| 896 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 220k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
909.88/910.26 c 864s| 3500k| 898 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 221k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
912.59/912.93 c 866s| 3510k| 896 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 221k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
915.08/915.50 c 869s| 3520k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 222k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
917.48/917.83 c 871s| 3530k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 222k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
919.98/920.30 c 873s| 3540k| 896 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 223k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
922.68/923.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.68/923.05 c 876s| 3550k| 895 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 223k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
925.38/925.71 c 878s| 3560k| 891 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 224k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
927.88/928.25 c 881s| 3570k| 894 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 224k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
930.28/930.63 c 883s| 3580k| 894 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 225k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
932.58/932.99 c 885s| 3590k| 909 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 225k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
935.08/935.45 c 887s| 3600k| 891 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 226k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
937.48/937.86 c 890s| 3610k| 907 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 226k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
939.77/940.12 c 892s| 3620k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 226k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
942.28/942.66 c 894s| 3630k| 894 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 227k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
944.87/945.24 c 897s| 3640k| 890 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 227k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
947.37/947.79 c 899s| 3650k| 892 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 228k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
949.98/950.40 c 902s| 3660k| 899 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 229k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
952.77/953.15 c 904s| 3670k| 902 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 230k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
955.58/955.93 c 907s| 3680k| 896 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 230k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
958.67/959.00 c 910s| 3690k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 232k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
961.37/961.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.37/961.75 c 912s| 3700k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 232k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
964.17/964.50 c 915s| 3710k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 233k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
966.77/967.20 c 918s| 3720k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 234k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
969.57/969.95 c 920s| 3730k| 895 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 235k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
972.16/972.57 c 923s| 3740k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 236k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
974.66/975.04 c 925s| 3750k| 899 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 236k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
977.16/977.51 c 927s| 3760k| 900 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 237k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
979.56/979.92 c 930s| 3770k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 237k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
982.06/982.40 c 932s| 3780k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 237k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
984.76/985.16 c 935s| 3790k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 238k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
987.37/987.77 c 937s| 3800k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 239k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
989.86/990.27 c 939s| 3810k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 239k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
992.25/992.70 c 942s| 3820k| 901 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 240k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
994.86/995.20 c 944s| 3830k| 897 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 240k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
997.15/997.59 c 946s| 3840k| 890 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 241k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1000.06/1000.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.06/1000.42 c 949s| 3850k| 895 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 242k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1002.87/1003.22 c 952s| 3860k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 243k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1005.45/1005.86 c 954s| 3870k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 243k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1008.16/1008.59 c 957s| 3880k| 891 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 244k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1011.06/1011.41 c 959s| 3890k| 903 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 245k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1013.46/1013.84 c 962s| 3900k| 900 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 245k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1015.95/1016.36 c 964s| 3910k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 246k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1018.35/1018.73 c 966s| 3920k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 246k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1021.05/1021.43 c 969s| 3930k| 892 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 247k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1023.45/1023.90 c 971s| 3940k| 891 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 247k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1026.44/1026.89 c 974s| 3950k| 898 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 248k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1029.35/1029.70 c 977s| 3960k| 901 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 249k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1032.05/1032.46 c 979s| 3970k| 899 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 250k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1034.44/1034.83 c 982s| 3980k| 903 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 250k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1037.24/1037.62 c 984s| 3990k| 902 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 251k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1039.65/1040.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.65/1040.02 c 987s| 4000k| 899 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 252k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1041.94/1042.37 c 989s| 4010k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 252k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1044.64/1045.04 c 991s| 4020k| 896 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 253k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1047.14/1047.57 c 994s| 4030k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 253k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1049.84/1050.26 c 996s| 4040k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 254k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1052.84/1053.20 c 999s| 4050k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 255k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1055.24/1055.67 c 1001s| 4060k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 256k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1057.74/1058.16 c 1004s| 4070k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 256k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1060.73/1061.16 c 1007s| 4080k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 257k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1063.63/1064.03 c 1009s| 4090k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 258k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1066.43/1066.87 c 1012s| 4100k| 895 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 259k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1069.24/1069.65 c 1015s| 4110k| 895 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 260k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1071.93/1072.36 c 1017s| 4120k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 260k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1074.43/1074.89 c 1020s| 4130k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 261k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1077.13/1077.51 c 1022s| 4140k| 900 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 261k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1079.33/1079.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.33/1079.78 c 1024s| 4150k| 899 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 262k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1081.73/1082.14 c 1027s| 4160k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 262k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1084.72/1085.11 c 1029s| 4170k| 901 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 263k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1087.62/1088.04 c 1032s| 4180k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 264k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1090.23/1090.65 c 1035s| 4190k| 898 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 265k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1092.52/1092.94 c 1037s| 4200k| 906 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 265k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1094.83/1095.23 c 1039s| 4210k| 898 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 265k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1097.22/1097.68 c 1041s| 4220k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 266k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1099.53/1099.96 c 1043s| 4230k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 266k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1102.02/1102.42 c 1046s| 4240k| 897 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 267k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1104.32/1104.78 c 1048s| 4250k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 267k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1106.72/1107.14 c 1050s| 4260k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 267k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1109.22/1109.67 c 1053s| 4270k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 268k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1111.51/1111.98 c 1055s| 4280k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 268k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1113.92/1114.31 c 1057s| 4290k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 269k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1116.32/1116.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.32/1116.75 c 1059s| 4300k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 269k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1119.52/1119.95 c 1062s| 4310k| 899 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 270k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1122.31/1122.72 c 1065s| 4320k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 271k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1124.93/1125.31 c 1067s| 4330k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 272k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1127.21/1127.60 c 1070s| 4340k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 272k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1129.91/1130.33 c 1072s| 4350k| 895 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 273k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1132.41/1132.83 c 1075s| 4360k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 273k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1134.82/1135.28 c 1077s| 4370k| 899 | 0 | 0.0 |3824k| 960 | - |1232 |1000 | 0 | 0 | 0 | 274k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1137.51/1137.95 c 1079s| 4380k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 275k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1140.22/1140.66 c 1082s| 4390k| 889 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 275k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1143.01/1143.47 c 1085s| 4400k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 276k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1145.72/1146.19 c 1087s| 4410k| 898 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 277k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1148.41/1148.81 c 1090s| 4420k| 890 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 278k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1150.70/1151.18 c 1092s| 4430k| 902 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 278k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1153.00/1153.44 c 1094s| 4440k| 902 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 278k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1155.31/1155.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.31/1155.78 c 1096s| 4450k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 279k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1157.81/1158.29 c 1099s| 4460k| 893 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 279k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1160.30/1160.76 c 1101s| 4470k| 900 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 280k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1162.80/1163.26 c 1103s| 4480k| 898 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 280k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1165.30/1165.73 c 1106s| 4490k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 281k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1167.90/1168.30 c 1108s| 4500k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 281k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1170.60/1171.03 c 1111s| 4510k| 892 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 282k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1173.09/1173.56 c 1113s| 4520k| 890 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 283k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1175.51/1175.94 c 1116s| 4530k| 891 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 283k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1177.90/1178.35 c 1118s| 4540k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 283k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1180.20/1180.66 c 1120s| 4550k| 898 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 283k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1182.99/1183.46 c 1123s| 4560k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 284k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1185.69/1186.19 c 1125s| 4570k| 897 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 285k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1188.70/1189.16 c 1128s| 4580k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 286k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1191.69/1192.11 c 1131s| 4590k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 287k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1194.39/1194.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.39/1194.83 c 1133s| 4600k| 895 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 287k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1197.49/1197.99 c 1136s| 4610k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 288k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1199.79/1200.21 c 1139s| 4620k| 896 | 0 | 0.0 |3824k| 960 | - |1232 |1000 | 0 | 0 | 0 | 289k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1202.19/1202.65 c 1141s| 4630k| 912 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 289k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1204.69/1205.16 c 1143s| 4640k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 290k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1206.88/1207.31 c 1145s| 4650k| 910 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 290k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1209.38/1209.87 c 1148s| 4660k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 290k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1212.09/1212.55 c 1150s| 4670k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 291k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1214.38/1214.80 c 1152s| 4680k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 291k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1216.98/1217.40 c 1155s| 4690k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 292k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1219.68/1220.11 c 1157s| 4700k| 910 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 293k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1221.88/1222.34 c 1160s| 4710k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 293k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1224.48/1224.91 c 1162s| 4720k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 293k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1227.09/1227.58 c 1164s| 4730k| 900 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 294k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1229.98/1230.48 c 1167s| 4740k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 295k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1232.37/1232.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.37/1232.82 c 1169s| 4750k| 916 | 0 | 0.0 |3822k| 960 | - |1232 |1000 | 0 | 0 | 0 | 295k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1234.57/1235.09 c 1172s| 4760k| 899 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 296k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1236.99/1237.41 c 1174s| 4770k| 898 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 296k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1239.19/1239.67 c 1176s| 4780k| 905 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 296k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1241.67/1242.18 c 1178s| 4790k| 903 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 297k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1244.07/1244.55 c 1181s| 4800k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 297k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1246.48/1246.95 c 1183s| 4810k| 903 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 297k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1249.08/1249.60 c 1185s| 4820k| 898 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 298k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1251.77/1252.30 c 1188s| 4830k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 299k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1254.07/1254.55 c 1190s| 4840k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 299k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1256.37/1256.85 c 1192s| 4850k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 299k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1258.76/1259.26 c 1194s| 4860k| 903 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 300k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1261.28/1261.79 c 1197s| 4870k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 300k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1263.48/1263.99 c 1199s| 4880k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 300k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1266.17/1266.61 c 1201s| 4890k| 897 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 301k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1268.47/1268.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.47/1268.99 c 1204s| 4900k| 891 | 0 | 0.0 |3814k| 960 | - |1232 |1000 | 0 | 0 | 0 | 301k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1270.97/1271.50 c 1206s| 4910k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 302k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1273.87/1274.34 c 1209s| 4920k| 894 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 303k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1276.06/1276.58 c 1211s| 4930k| 896 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 303k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1278.46/1278.96 c 1213s| 4940k| 895 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 303k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1280.87/1281.34 c 1215s| 4950k| 887 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 304k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1283.27/1283.77 c 1218s| 4960k| 893 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 304k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1285.66/1286.17 c 1220s| 4970k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 305k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1287.96/1288.42 c 1222s| 4980k| 891 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 305k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1290.15/1290.60 c 1224s| 4990k| 902 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 305k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1292.76/1293.27 c 1227s| 5000k| 895 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 306k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1295.26/1295.78 c 1229s| 5010k| 891 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 306k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1298.05/1298.59 c 1232s| 5020k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 307k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1300.66/1301.12 c 1234s| 5030k| 892 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 308k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1302.86/1303.33 c 1236s| 5040k| 890 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 308k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1305.75/1306.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.75/1306.20 c 1239s| 5050k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 309k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1308.65/1309.13 c 1242s| 5060k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 310k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1311.95/1312.41 c 1245s| 5070k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 311k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1314.64/1315.19 c 1247s| 5080k| 896 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 312k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1317.95/1318.42 c 1250s| 5090k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 313k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1320.74/1321.22 c 1253s| 5100k| 899 | 0 | 0.0 |3823k| 960 | - |1232 |1000 | 0 | 0 | 0 | 314k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1323.44/1323.93 c 1256s| 5110k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 315k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1325.84/1326.39 c 1258s| 5120k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 315k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1328.55/1329.00 c 1260s| 5130k| 900 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 316k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1331.04/1331.55 c 1263s| 5140k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 316k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1333.85/1334.38 c 1266s| 5150k| 895 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 317k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1336.54/1337.03 c 1268s| 5160k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 318k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1339.14/1339.70 c 1271s| 5170k| 903 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 318k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1341.84/1342.34 c 1273s| 5180k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 319k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1344.14/1344.62 c 1275s| 5190k| 899 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 319k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1346.64/1347.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.64/1347.11 c 1278s| 5200k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 320k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1349.25/1349.76 c 1280s| 5210k| 904 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 320k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1351.94/1352.41 c 1283s| 5220k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 321k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1354.64/1355.13 c 1285s| 5230k| 902 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 322k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1357.13/1357.67 c 1288s| 5240k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 322k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1359.64/1360.11 c 1290s| 5250k| 894 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 323k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1362.04/1362.56 c 1292s| 5260k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 323k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1364.64/1365.15 c 1295s| 5270k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 324k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1367.23/1367.73 c 1297s| 5280k| 896 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 324k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1369.93/1370.48 c 1300s| 5290k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 325k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1372.73/1373.25 c 1302s| 5300k| 894 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 326k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1375.73/1376.23 c 1305s| 5310k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 327k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1378.53/1379.06 c 1308s| 5320k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 328k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1381.42/1381.94 c 1311s| 5330k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 329k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1384.12/1384.65 c 1313s| 5340k| 896 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 330k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1387.13/1387.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.13/1387.61 c 1316s| 5350k| 893 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 331k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1390.12/1390.62 c 1319s| 5360k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 332k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1393.23/1393.70 c 1322s| 5370k| 897 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 333k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1396.32/1396.84 c 1325s| 5380k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 334k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1399.32/1399.84 c 1328s| 5390k| 894 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 335k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1402.22/1402.73 c 1331s| 5400k| 895 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 336k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1405.32/1405.88 c 1334s| 5410k| 891 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 337k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1408.22/1408.75 c 1336s| 5420k| 895 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 338k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1411.32/1411.84 c 1339s| 5430k| 901 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 339k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1414.41/1414.90 c 1342s| 5440k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 340k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1417.51/1418.07 c 1345s| 5450k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 341k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1420.62/1421.12 c 1348s| 5460k| 903 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 342k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1423.21/1423.75 c 1351s| 5470k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 343k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1426.12/1426.64 c 1353s| 5480k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 344k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1428.61/1429.10 c 1356s| 5490k| 896 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 345k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1431.20/1431.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.20/1431.70 c 1358s| 5500k| 898 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 345k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1433.81/1434.38 c 1361s| 5510k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 346k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1436.51/1437.07 c 1363s| 5520k| 902 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 347k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1438.80/1439.31 c 1365s| 5530k| 903 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 347k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1441.10/1441.62 c 1368s| 5540k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 347k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1443.40/1443.95 c 1370s| 5550k| 896 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 348k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1445.70/1446.24 c 1372s| 5560k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 348k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1448.00/1448.57 c 1374s| 5570k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 348k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1450.31/1450.82 c 1376s| 5580k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 348k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1452.70/1453.23 c 1378s| 5590k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 349k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1455.20/1455.70 c 1381s| 5600k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 349k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1457.79/1458.36 c 1383s| 5610k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 350k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1460.70/1461.21 c 1386s| 5620k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 351k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1463.20/1463.76 c 1388s| 5630k| 893 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 351k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1465.70/1466.22 c 1391s| 5640k| 904 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 352k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1468.01/1468.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.01/1468.57 c 1393s| 5650k| 891 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 352k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1470.69/1471.20 c 1395s| 5660k| 908 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 353k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1473.09/1473.67 c 1398s| 5670k| 901 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 353k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1475.50/1476.09 c 1400s| 5680k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 354k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1477.80/1478.36 c 1402s| 5690k| 906 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 354k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1480.19/1480.76 c 1405s| 5700k| 893 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 355k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1482.69/1483.22 c 1407s| 5710k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 355k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1484.99/1485.54 c 1409s| 5720k| 916 | 0 | 0.0 |3823k| 960 | - |1232 |1000 | 0 | 0 | 0 | 355k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1487.70/1488.24 c 1412s| 5730k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 356k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1490.19/1490.71 c 1414s| 5740k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 357k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1492.48/1493.03 c 1416s| 5750k| 908 | 0 | 0.0 |3822k| 960 | - |1232 |1000 | 0 | 0 | 0 | 357k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1494.79/1495.39 c 1418s| 5760k| 905 | 0 | 0.0 |3822k| 960 | - |1232 |1000 | 0 | 0 | 0 | 357k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1496.98/1497.58 c 1420s| 5770k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 357k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1499.39/1499.98 c 1423s| 5780k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 358k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1501.78/1502.38 c 1425s| 5790k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 358k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1504.48/1505.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.48/1505.03 c 1427s| 5800k| 895 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 359k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1506.88/1507.44 c 1430s| 5810k| 898 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 359k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1509.58/1510.12 c 1432s| 5820k| 895 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 360k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1511.99/1512.58 c 1435s| 5830k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 360k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1515.08/1515.67 c 1438s| 5840k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 361k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1519.08/1519.66 c 1441s| 5850k| 898 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 363k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1523.18/1523.79 c 1445s| 5860k| 898 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 365k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1525.98/1526.52 c 1448s| 5870k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 366k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1528.87/1529.41 c 1451s| 5880k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 367k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1531.68/1532.26 c 1453s| 5890k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 368k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1534.57/1535.12 c 1456s| 5900k| 892 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 369k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1537.47/1538.07 c 1459s| 5910k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 370k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1540.37/1540.95 c 1462s| 5920k| 902 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 371k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1542.87/1543.47 c 1464s| 5930k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 371k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1545.67/1546.21 c 1467s| 5940k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 372k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1548.27/1548.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.27/1548.82 c 1469s| 5950k| 893 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 373k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1550.76/1551.37 c 1472s| 5960k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 373k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1553.47/1554.01 c 1474s| 5970k| 891 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 374k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1556.07/1556.62 c 1477s| 5980k| 890 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 375k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1558.67/1559.27 c 1479s| 5990k| 897 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 375k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1561.37/1561.97 c 1482s| 6000k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 376k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1564.06/1564.65 c 1484s| 6010k| 891 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 377k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1566.76/1567.39 c 1487s| 6020k| 890 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 377k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1569.36/1569.97 c 1489s| 6030k| 890 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 378k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1572.06/1572.61 c 1492s| 6040k| 910 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 379k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1574.96/1575.54 c 1495s| 6050k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 380k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1578.05/1578.65 c 1498s| 6060k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 381k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1581.05/1581.67 c 1500s| 6070k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 382k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1584.05/1584.66 c 1503s| 6080k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 383k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1586.66/1587.21 c 1506s| 6090k| 898 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 383k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1589.25/1589.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.25/1589.88 c 1508s| 6100k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 384k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1591.96/1592.56 c 1511s| 6110k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 385k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1594.75/1595.30 c 1513s| 6120k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 385k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1597.45/1598.02 c 1516s| 6130k| 892 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 386k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1600.15/1600.72 c 1519s| 6140k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 387k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1603.05/1603.67 c 1521s| 6150k| 901 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 388k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1605.24/1605.89 c 1523s| 6160k| 907 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 388k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1608.05/1608.64 c 1526s| 6170k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 389k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1611.14/1611.70 c 1529s| 6180k| 900 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 390k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1613.74/1614.34 c 1531s| 6190k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 390k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1616.15/1616.70 c 1534s| 6200k| 919 | 0 | 0.0 |3823k| 960 | - |1232 |1000 | 0 | 0 | 0 | 390k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1618.34/1618.90 c 1536s| 6210k| 909 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 391k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1620.74/1621.32 c 1538s| 6220k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 391k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1623.54/1624.18 c 1541s| 6230k| 895 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 392k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1625.94/1626.51 c 1543s| 6240k| 915 | 0 | 0.0 |3822k| 960 | - |1232 |1000 | 0 | 0 | 0 | 392k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1628.34/1628.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.34/1628.90 c 1545s| 6250k| 892 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 392k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1631.04/1631.63 c 1548s| 6260k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 393k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1633.33/1633.91 c 1550s| 6270k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 393k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1635.54/1636.15 c 1552s| 6280k| 900 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 393k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1637.93/1638.59 c 1554s| 6290k| 900 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 394k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1640.65/1641.23 c 1557s| 6300k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 394k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1643.23/1643.89 c 1559s| 6310k| 902 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 395k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1645.73/1646.32 c 1562s| 6320k| 892 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 395k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1648.13/1648.70 c 1564s| 6330k| 910 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 396k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1650.82/1651.45 c 1567s| 6340k| 902 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 396k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1653.53/1654.13 c 1569s| 6350k| 901 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 397k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1656.04/1656.61 c 1571s| 6360k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 398k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1658.52/1659.14 c 1574s| 6370k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 398k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1661.02/1661.61 c 1576s| 6380k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 399k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1663.82/1664.48 c 1579s| 6390k| 890 | 0 | 0.0 |3815k| 960 | - |1232 |1000 | 0 | 0 | 0 | 399k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1666.42/1667.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.42/1667.05 c 1581s| 6400k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 400k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1669.03/1669.60 c 1584s| 6410k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 400k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1671.22/1671.88 c 1586s| 6420k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 401k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1674.02/1674.65 c 1588s| 6430k| 892 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 401k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1676.52/1677.17 c 1591s| 6440k| 895 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 402k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1679.32/1679.90 c 1593s| 6450k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 402k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1681.72/1682.37 c 1596s| 6460k| 902 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 403k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1684.22/1684.81 c 1598s| 6470k| 896 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 403k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1687.02/1687.62 c 1601s| 6480k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 404k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1689.62/1690.24 c 1603s| 6490k| 891 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 404k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1692.61/1693.29 c 1606s| 6500k| 898 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 406k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1695.62/1696.22 c 1609s| 6510k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 407k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1698.11/1698.76 c 1611s| 6520k| 895 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 407k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1700.91/1701.55 c 1614s| 6530k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 408k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1703.41/1704.02 c 1616s| 6540k| 908 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 408k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1705.80/1706.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.80/1706.42 c 1619s| 6550k| 891 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 409k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1708.61/1709.22 c 1621s| 6560k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 410k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1711.30/1712.00 c 1624s| 6570k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 410k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1713.90/1714.56 c 1626s| 6580k| 892 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 411k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1716.51/1717.18 c 1629s| 6590k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 412k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1719.11/1719.72 c 1631s| 6600k| 902 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 412k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1721.91/1722.56 c 1634s| 6610k| 892 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 413k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1724.80/1725.49 c 1637s| 6620k| 895 | 0 | 0.0 |3821k| 960 | - |1232 |1000 | 0 | 0 | 0 | 414k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1727.60/1728.22 c 1639s| 6630k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 415k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1730.20/1730.80 c 1642s| 6640k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 415k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1732.90/1733.51 c 1644s| 6650k| 899 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 416k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1735.60/1736.20 c 1647s| 6660k| 891 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 416k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1738.30/1738.99 c 1649s| 6670k| 893 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 417k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1740.90/1741.50 c 1652s| 6680k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 418k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1743.80/1744.45 c 1655s| 6690k| 899 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 418k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1747.00/1747.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.00/1747.70 c 1658s| 6700k| 891 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 420k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1749.59/1750.22 c 1660s| 6710k| 893 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 420k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1752.10/1752.76 c 1663s| 6720k| 900 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 421k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1754.79/1755.40 c 1665s| 6730k| 893 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 421k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1757.49/1758.11 c 1668s| 6740k| 897 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 422k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1759.79/1760.48 c 1670s| 6750k| 891 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 422k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1762.79/1763.48 c 1673s| 6760k| 892 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 423k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1765.59/1766.22 c 1675s| 6770k| 896 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 424k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1768.20/1768.81 c 1678s| 6780k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 425k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1770.89/1771.55 c 1680s| 6790k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 426k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1773.59/1774.27 c 1683s| 6800k| 901 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 426k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1776.18/1776.88 c 1685s| 6810k| 892 | 0 | 0.0 |3816k| 960 | - |1232 |1000 | 0 | 0 | 0 | 427k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1778.98/1779.70 c 1688s| 6820k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 428k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1781.68/1782.34 c 1691s| 6830k| 891 | 0 | 0.0 |3819k| 960 | - |1232 |1000 | 0 | 0 | 0 | 429k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1784.08/1784.74 c 1693s| 6840k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 429k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1786.58/1787.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.58/1787.22 c 1695s| 6850k| 898 | 0 | 0.0 |3818k| 960 | - |1232 |1000 | 0 | 0 | 0 | 430k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1788.98/1789.68 c 1698s| 6860k| 897 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 430k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1791.38/1792.05 c 1700s| 6870k| 899 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 430k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1793.87/1794.52 c 1702s| 6880k| 892 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 431k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1796.69/1797.36 c 1705s| 6890k| 896 | 0 | 0.0 |3820k| 960 | - |1232 |1000 | 0 | 0 | 0 | 432k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1799.47/1800.12 c 1707s| 6900k| 894 | 0 | 0.0 |3817k| 960 | - |1232 |1000 | 0 | 0 | 0 | 433k| 0 | 3.100000e+01 | 2.990000e+02 | 864.52%
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.71 c
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time (sec) : 1708.02
1800.09/1800.71 c Solving Nodes : 6902181
1800.09/1800.71 c Primal Bound : +2.99000000000000e+02 (7 solutions)
1800.09/1800.71 c Dual Bound : +3.10000000000000e+01
1800.09/1800.71 c Gap : 864.52 %
1800.09/1800.72 s SATISFIABLE
1800.09/1800.72 v x1278 -x1277 x1276 -x1275 x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 x1259
1800.09/1800.72 v x1258 x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 x1242 -x1241
1800.09/1800.72 v -x1240 -x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222
1800.09/1800.72 v -x1221 x1220 -x1219 x1218 -x1217 x1216 x1215 x1214 -x1213 -x1212 x1211 -x1210 -x1209 x1208 x1207 -x1206 -x1205 -x1204 -x1203
1800.09/1800.72 v x1202 -x1201 -x1200 x1199 x1198 -x1197 -x1196 x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 x1185
1800.09/1800.72 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166
1800.09/1800.72 v x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 x1158 x1157 x1156 -x1155 x1154 x1153 -x1152 x1151 -x1150 -x1149 -x1148 x1147
1800.09/1800.72 v -x1146 -x1145 -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129
1800.09/1800.72 v x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 x1115 -x1114 -x1113 -x1112 -x1111 -x1110
1800.09/1800.72 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092
1800.09/1800.72 v -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074
1800.09/1800.72 v -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 x1058 -x1057 -x1056
1800.09/1800.72 v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038
1800.09/1800.72 v -x1037 -x1036 x1035 -x1034 -x1033 x1032 x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019
1800.09/1800.72 v x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
1800.09/1800.72 v -x1000 -x999 -x998 -x997 x996 x995 -x994 -x993 -x992 x991 -x990 x989 -x988 x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979
1800.09/1800.72 v -x978 -x977 -x976 -x975 -x974 x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.09/1800.72 v -x957 -x956 -x955 x954 -x953 -x952 -x951 x950 -x949 -x948 x947 -x946 x945 -x944 -x943 -x942 x941 -x940 -x939 x938 x937 x936
1800.09/1800.72 v -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 x924 -x923 -x922 x921 -x920 -x919 x918 -x917 -x916 x915 -x914
1800.09/1800.72 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893
1800.09/1800.72 v -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 x874 -x873 -x872 -x871
1800.09/1800.72 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 x857 -x856 -x855 -x854 -x853 x852 -x851 x850
1800.09/1800.72 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829
1800.09/1800.72 v -x828 -x827 -x826 -x825 x824 x823 x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 x812 -x811 x810 -x809 x808 x807
1800.09/1800.72 v -x806 x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 -x785
1800.09/1800.72 v -x784 x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1800.09/1800.72 v -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 x744 -x743 x742
1800.09/1800.72 v -x741 -x740 x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 x731 x730 x729 -x728 -x727 -x726 x725 -x724 x723 -x722 -x721 -x720
1800.09/1800.72 v -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 x700 -x699
1800.09/1800.72 v -x698 x697 -x696 x695 x694 -x693 x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 x680 -x679 -x678 -x677
1800.09/1800.72 v x676 x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
1800.09/1800.72 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
1800.09/1800.72 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
1800.09/1800.72 v -x612 x611 -x610 -x609 x608 -x607 x606 x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 x597 -x596 -x595 x594 -x593 -x592 x591
1800.09/1800.72 v -x590 -x589 x588 -x587 -x586 -x585 x584 -x583 x582 x581 -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 x571 -x570 -x569
1800.09/1800.72 v x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547
1800.09/1800.72 v -x546 -x545 -x544 -x543 x542 -x541 -x540 x539 -x538 -x537 x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 x526
1800.09/1800.72 v -x525 -x524 x523 x522 -x521 -x520 x519 -x518 x517 -x516 -x515 x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504
1800.09/1800.72 v x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 x491 -x490 -x489 x488 x487 -x486 -x485 -x484 -x483 x482
1800.09/1800.72 v -x481 -x480 x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 x464 -x463 x462 x461 -x460
1800.09/1800.72 v x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 x449 x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
1800.09/1800.72 v -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417
1800.09/1800.72 v -x416 -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 x399 -x398 x397 -x396 -x395
1800.09/1800.72 v -x394 x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 x375 -x374
1800.09/1800.72 v -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 x354 -x353
1800.09/1800.72 v -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 x336 -x335 -x334 -x333 -x332 x331
1800.09/1800.72 v -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 x314 -x313 -x312 -x311 -x310
1800.09/1800.72 v x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 x288
1800.09/1800.72 v -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 x273 -x272 -x271 -x270 x269 -x268 -x267 x266
1800.09/1800.72 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 x249 x248 x247 -x246 x245 -x244
1800.09/1800.72 v -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
1800.09/1800.72 v -x222 -x221 x220 x219 x218 x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 x202 -x201
1800.09/1800.72 v -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 x179
1800.09/1800.72 v -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158
1800.09/1800.72 v -x157 -x156 -x155 x154 -x153 -x152 x151 -x150 x149 -x148 -x147 -x146 x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136
1800.09/1800.72 v -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 x122 -x121 -x120 x119 -x118 x117 -x116 x115 x114
1800.09/1800.72 v x113 -x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 -x94 -x93 x92 -x91 -x90
1800.09/1800.72 v -x89 -x88 x87 -x86 -x85 x84 -x83 x82 -x81 x80 -x79 -x78 -x77 x76 -x75 x74 -x73 x72 x71 x70 -x69 -x68 x67 -x66 -x65 -x64 x63
1800.09/1800.72 v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37
1800.09/1800.72 v x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 x23 -x22 x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10
1800.09/1800.72 v -x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.09/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.72 c Solving Time : 1708.02
1800.09/1800.72 c Original Problem :
1800.09/1800.72 c Problem name : HOME/instance-2664185-1276409418.opb
1800.09/1800.72 c Variables : 1278 (1278 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.72 c Constraints : 1087 initial, 1087 maximal
1800.09/1800.72 c Presolved Problem :
1800.09/1800.72 c Problem name : t_HOME/instance-2664185-1276409418.opb
1800.09/1800.72 c Variables : 1232 (1232 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.72 c Constraints : 1000 initial, 1000 maximal
1800.09/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c dualfix : 0.00 16 0 0 0 0 0 0 0
1800.09/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.72 c linear : 0.04 14 16 0 14 0 87 25 0
1800.09/1800.72 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.09/1800.72 c root node : - 0 - - 0 - - - -
1800.09/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.72 c logicor : 1000+ 0 7066089 0 4 435843 4203152 0 0 0
1800.09/1800.72 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.09/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.72 c logicor : 377.95 0.00 377.95 0.00 0.00
1800.09/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.72 c vbounds : 6.06 2 0 0
1800.09/1800.72 c rootredcost : 5.56 0 0 0
1800.09/1800.72 c pseudoobj : 794.05 12192005 2165930 34014537
1800.09/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.72 c propagation : 348.28 433236 433236 433236 291.4 24 299.6 -
1800.09/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c pseudo solution : 192.26 737944 0 0 0.0 0 0.0 -
1800.09/1800.72 c applied globally : - - - 0 0.0 - - -
1800.09/1800.72 c applied locally : - - - 433236 291.4 - - -
1800.09/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.72 c redcost : 0.00 0 0 0 0 0
1800.09/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.72 c intobj : 0.00 0 0 0 0 0
1800.09/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.72 c gomory : 0.00 0 0 0 0 0
1800.09/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.72 c cmir : 0.00 0 0 0 0 0
1800.09/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.72 c clique : 0.00 0 0 0 0 0
1800.09/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.72 c mcf : 0.00 0 0 0 0 0
1800.09/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.72 c Pricers : Time Calls Vars
1800.09/1800.72 c problem variables: 0.00 0 0
1800.09/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.72 c inference : 67.51 3766960 0 0 0 0 7533920
1800.09/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.72 c random : 0.00 0 0 0 0 0 0
1800.09/1800.72 c Primal Heuristics : Time Calls Found
1800.09/1800.72 c LP solutions : 0.00 - 0
1800.09/1800.72 c pseudo solutions : 0.00 - 4
1800.09/1800.72 c oneopt : 4.94 0 0
1800.09/1800.72 c trivial : 0.01 2 3
1800.09/1800.72 c simplerounding : 0.00 0 0
1800.09/1800.72 c zirounding : 0.00 0 0
1800.09/1800.72 c rounding : 0.00 0 0
1800.09/1800.72 c shifting : 0.00 0 0
1800.09/1800.72 c intshifting : 0.00 0 0
1800.09/1800.72 c twoopt : 0.00 0 0
1800.09/1800.72 c fixandinfer : 0.00 0 0
1800.09/1800.72 c feaspump : 0.00 0 0
1800.09/1800.72 c coefdiving : 0.00 0 0
1800.09/1800.72 c pscostdiving : 0.00 0 0
1800.09/1800.72 c fracdiving : 0.00 0 0
1800.09/1800.72 c veclendiving : 0.00 0 0
1800.09/1800.72 c intdiving : 0.00 0 0
1800.09/1800.72 c actconsdiving : 0.00 0 0
1800.09/1800.72 c objpscostdiving : 0.00 0 0
1800.09/1800.72 c rootsoldiving : 0.00 0 0
1800.09/1800.72 c linesearchdiving : 0.00 0 0
1800.09/1800.72 c guideddiving : 0.00 0 0
1800.09/1800.72 c octane : 0.00 0 0
1800.09/1800.72 c rens : 0.00 0 0
1800.09/1800.72 c rins : 0.00 0 0
1800.09/1800.72 c localbranching : 0.00 0 0
1800.09/1800.72 c mutation : 0.00 0 0
1800.09/1800.72 c crossover : 0.00 0 0
1800.09/1800.72 c dins : 0.00 0 0
1800.09/1800.72 c undercover : 0.00 0 0
1800.09/1800.72 c nlp : 2.84 0 0
1800.09/1800.72 c trysol : 3.28 0 0
1800.09/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.72 c (at root node) : - 0 0 0.00 -
1800.09/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.72 c B&B Tree :
1800.09/1800.72 c number of runs : 1
1800.09/1800.72 c nodes : 6902181
1800.09/1800.72 c nodes (total) : 6902181
1800.09/1800.72 c nodes left : 896
1800.09/1800.72 c max depth : 960
1800.09/1800.72 c max depth (total): 960
1800.09/1800.72 c backtracks : 1909936 (27.7%)
1800.09/1800.72 c delayed cutoffs : 221403
1800.09/1800.72 c repropagations : 441454 (2077344 domain reductions, 204500 cutoffs)
1800.09/1800.72 c avg switch length: 2.04
1800.09/1800.72 c switching time : 67.37
1800.09/1800.72 c Solution :
1800.09/1800.72 c Solutions found : 7 (6 improvements)
1800.09/1800.72 c First Solution : +1.27800000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.09/1800.72 c Primal Bound : +2.99000000000000e+02 (in run 1, after 78597 nodes, 20.35 seconds, depth 928, found by <relaxation>)
1800.09/1800.72 c Dual Bound : +3.10000000000000e+01
1800.09/1800.72 c Gap : 864.52 %
1800.09/1800.72 c Root Dual Bound : +3.00000000000000e+01
1800.09/1800.72 c Root Iterations : 0
1800.09/1800.73 c Time complete: 1800.11.
OK 299
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664185-1276409418/watcher-2664185-1276409418 -o /tmp/evaluation-result-2664185-1276409418/solver-2664185-1276409418 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664185-1276409418.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: 0.99 1.00 1.00 2/106 20593 /proc/meminfo: memFree=1832540/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=7612 CPUtime=0 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 1164 0 0 0 0 0 0 0 24 0 1 0 14593659 7794688 1087 1992294400 4194304 7136930 140735869109504 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20593/statm: 1903 1098 254 719 0 1182 0 [startup+0.0307249 s] /proc/loadavg: 0.99 1.00 1.00 2/106 20593 /proc/meminfo: memFree=1832540/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=9660 CPUtime=0.02 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 1896 0 0 0 2 0 0 0 24 0 1 0 14593659 9891840 1819 1992294400 4194304 7136930 140735869109504 18446744073709551615 6285797 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20593/statm: 2415 1819 271 719 0 1694 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9660 [startup+0.100738 s] /proc/loadavg: 0.99 1.00 1.00 2/106 20593 /proc/meminfo: memFree=1832540/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=14676 CPUtime=0.09 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 4636 0 0 0 7 2 0 0 18 0 1 0 14593659 15028224 2920 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 3669 2920 357 719 0 2948 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14676 [startup+0.300774 s] /proc/loadavg: 0.99 1.00 1.00 2/106 20593 /proc/meminfo: memFree=1832540/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=16488 CPUtime=0.29 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5630 0 0 0 27 2 0 0 18 0 1 0 14593659 16883712 3397 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4122 3397 384 719 0 3401 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16488 [startup+0.700846 s] /proc/loadavg: 0.99 1.00 1.00 2/106 20593 /proc/meminfo: memFree=1832540/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17356 CPUtime=0.69 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5852 0 0 0 65 4 0 0 18 0 1 0 14593659 17772544 3619 1992294400 4194304 7136930 140735869109504 18446744073709551615 4648313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4339 3619 390 719 0 3618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17356 [startup+1.50099 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20594 /proc/meminfo: memFree=1819512/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17488 CPUtime=1.49 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5867 0 0 0 141 8 0 0 20 0 1 0 14593659 17907712 3634 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4372 3634 390 719 0 3651 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17488 [startup+3.10128 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20594 /proc/meminfo: memFree=1819140/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17488 CPUtime=3.09 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5875 0 0 0 294 15 0 0 25 0 1 0 14593659 17907712 3642 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4372 3642 390 719 0 3651 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17488 [startup+6.30087 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20594 /proc/meminfo: memFree=1819016/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17488 CPUtime=6.29 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5886 0 0 0 599 30 0 0 25 0 1 0 14593659 17907712 3653 1992294400 4194304 7136930 140735869109504 18446744073709551615 5927542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4372 3653 390 719 0 3651 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17488 [startup+12.701 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20594 /proc/meminfo: memFree=1818768/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17620 CPUtime=12.69 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5915 0 0 0 1208 61 0 0 25 0 1 0 14593659 18042880 3682 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4405 3682 390 719 0 3684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17620 [startup+25.5014 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20596 /proc/meminfo: memFree=1818644/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17620 CPUtime=25.48 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5928 0 0 0 2425 123 0 0 25 0 1 0 14593659 18042880 3695 1992294400 4194304 7136930 140735869109504 18446744073709551615 4240361 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4405 3695 390 719 0 3684 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17620 [startup+51.101 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20596 /proc/meminfo: memFree=1818520/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17752 CPUtime=51.08 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5951 0 0 0 4853 255 0 0 25 0 1 0 14593659 18178048 3718 1992294400 4194304 7136930 140735869109504 18446744073709551615 4349947 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4438 3718 390 719 0 3717 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17752 [startup+102.309 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20598 /proc/meminfo: memFree=1818396/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17752 CPUtime=102.26 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5964 0 0 0 9704 522 0 0 25 0 1 0 14593659 18178048 3731 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4438 3731 390 719 0 3717 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17752 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20598 /proc/meminfo: memFree=1818148/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17884 CPUtime=162.23 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5981 0 0 0 15399 824 0 0 25 0 1 0 14593659 18313216 3748 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4471 3748 390 719 0 3750 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17884 [startup+222.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20600 /proc/meminfo: memFree=1818024/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17884 CPUtime=222.22 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5990 0 0 0 21074 1148 0 0 25 0 1 0 14593659 18313216 3757 1992294400 4194304 7136930 140735869109504 18446744073709551615 5507467 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4471 3757 390 719 0 3750 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17884 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20602 /proc/meminfo: memFree=1818024/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17884 CPUtime=282.2 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5991 0 0 0 26779 1441 0 0 25 0 1 0 14593659 18313216 3758 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4471 3758 390 719 0 3750 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17884 [startup+342.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 20604 /proc/meminfo: memFree=1817776/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17884 CPUtime=342.18 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 5993 0 0 0 32466 1752 0 0 25 0 1 0 14593659 18313216 3760 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4471 3760 390 719 0 3750 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 17884 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 20606 /proc/meminfo: memFree=1817652/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=17884 CPUtime=402.15 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6000 0 0 0 38163 2052 0 0 25 0 1 0 14593659 18313216 3767 1992294400 4194304 7136930 140735869109504 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4471 3767 390 719 0 3750 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 17884 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20606 /proc/meminfo: memFree=1817528/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=462.14 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6006 0 0 0 43874 2340 0 0 25 0 1 0 14593659 18456576 3773 1992294400 4194304 7136930 140735869109504 18446744073709551615 4240304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3773 390 719 0 3785 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 18024 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20608 /proc/meminfo: memFree=1817404/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=522.11 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6011 0 0 0 49557 2654 0 0 25 0 1 0 14593659 18456576 3778 1992294400 4194304 7136930 140735869109504 18446744073709551615 5918773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3778 390 719 0 3785 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 18024 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20610 /proc/meminfo: memFree=1817156/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=582.09 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6020 0 0 0 55254 2955 0 0 25 0 1 0 14593659 18456576 3787 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3787 390 719 0 3785 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 18024 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20612 /proc/meminfo: memFree=1817156/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=642.08 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6022 0 0 0 60948 3260 0 0 25 0 1 0 14593659 18456576 3789 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3789 390 719 0 3785 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 18024 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20618 /proc/meminfo: memFree=1816660/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=882 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6029 0 0 0 83713 4487 0 0 25 0 1 0 14593659 18456576 3796 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3796 390 719 0 3785 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 18024 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20620 /proc/meminfo: memFree=1816536/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=941.97 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6029 0 0 0 89395 4802 0 0 25 0 1 0 14593659 18456576 3796 1992294400 4194304 7136930 140735869109504 18446744073709551615 4349998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3796 390 719 0 3785 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 18024 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20622 /proc/meminfo: memFree=1816536/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1001.96 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6029 0 0 0 95080 5116 0 0 25 0 1 0 14593659 18456576 3796 1992294400 4194304 7136930 140735869109504 18446744073709551615 4652790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3796 390 719 0 3785 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 18024 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20622 /proc/meminfo: memFree=1816288/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1061.94 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6029 0 0 0 100774 5420 0 0 25 0 1 0 14593659 18456576 3796 1992294400 4194304 7136930 140735869109504 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3796 390 719 0 3785 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 18024 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20624 /proc/meminfo: memFree=1816164/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1121.92 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6029 0 0 0 106463 5729 0 0 25 0 1 0 14593659 18456576 3796 1992294400 4194304 7136930 140735869109504 18446744073709551615 5956153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3796 390 719 0 3785 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 18024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20626 /proc/meminfo: memFree=1816040/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1181.89 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6029 0 0 0 112156 6033 0 0 25 0 1 0 14593659 18456576 3796 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3796 390 719 0 3785 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 18024 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20628 /proc/meminfo: memFree=1815916/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1241.87 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6031 0 0 0 117843 6344 0 0 25 0 1 0 14593659 18456576 3798 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3798 390 719 0 3785 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 18024 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20630 /proc/meminfo: memFree=1815792/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1301.86 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6031 0 0 0 123523 6663 0 0 25 0 1 0 14593659 18456576 3798 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3798 390 719 0 3785 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 18024 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20630 /proc/meminfo: memFree=1815792/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1361.84 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6031 0 0 0 129214 6970 0 0 25 0 1 0 14593659 18456576 3798 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3798 390 719 0 3785 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 18024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20632 /proc/meminfo: memFree=1815668/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1421.82 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6031 0 0 0 134927 7255 0 0 25 0 1 0 14593659 18456576 3798 1992294400 4194304 7136930 140735869109504 18446744073709551615 5913485 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3798 390 719 0 3785 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 18024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20634 /proc/meminfo: memFree=1815544/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1481.79 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6031 0 0 0 140601 7578 0 0 25 0 1 0 14593659 18456576 3798 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3798 390 719 0 3785 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 18024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20636 /proc/meminfo: memFree=1815296/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18024 CPUtime=1541.77 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6037 0 0 0 146299 7878 0 0 25 0 1 0 14593659 18456576 3804 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4506 3804 390 719 0 3785 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 18024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20638 /proc/meminfo: memFree=1815296/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18156 CPUtime=1601.74 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6040 0 0 0 152006 8168 0 0 25 0 1 0 14593659 18591744 3807 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4539 3807 390 719 0 3818 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 18156 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20638 /proc/meminfo: memFree=1815296/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18156 CPUtime=1661.72 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6042 0 0 0 157677 8495 0 0 25 0 1 0 14593659 18591744 3809 1992294400 4194304 7136930 140735869109504 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4539 3809 390 719 0 3818 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 18156 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20643 /proc/meminfo: memFree=1814552/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18156 CPUtime=1721.7 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6042 0 0 0 163366 8804 0 0 25 0 1 0 14593659 18591744 3809 1992294400 4194304 7136930 140735869109504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4539 3809 390 719 0 3818 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 18156 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20645 /proc/meminfo: memFree=1814552/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18156 CPUtime=1781.68 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6043 0 0 0 169062 9106 0 0 25 0 1 0 14593659 18591744 3810 1992294400 4194304 7136930 140735869109504 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4539 3810 390 719 0 3818 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 18156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20645 /proc/meminfo: memFree=1814552/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18156 CPUtime=1800.09 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6043 0 0 0 170805 9204 0 0 25 0 1 0 14593659 18591744 3810 1992294400 4194304 7136930 140735869109504 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4539 3810 390 719 0 3818 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 18156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20645 /proc/meminfo: memFree=1814552/2059040 swapFree=4140364/4192956 [pid=20593] ppid=20591 vsize=18156 CPUtime=1800.09 /proc/20593/stat : 20593 (pbscip.linux.x8) R 20591 20593 12084 0 -1 4202496 6043 0 0 0 170805 9204 0 0 25 0 1 0 14593659 18591744 3810 1992294400 4194304 7136930 140735869109504 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20593/statm: 4539 3810 390 719 0 3818 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 18156 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.12 CPU user time (s): 1708.07 CPU system time (s): 92.05 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 18156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1708.07 system time used= 92.05 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6064 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 6160 runsolver used 4.26935 second user time and 8.88665 second system time The end
Begin job on node027 at 2010-06-13 08:10:18 IDJOB=2664185 IDBENCH=2043 IDSOLVER=1167 FILE ID=node027/2664185-1276409418 PBS_JOBID= 11173269 Free space on /tmp= 62448 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.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-2664185-1276409418/watcher-2664185-1276409418 -o /tmp/evaluation-result-2664185-1276409418/solver-2664185-1276409418 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664185-1276409418.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30 RANDOM SEED=1309372602 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1832944 kB Buffers: 22184 kB Cached: 124376 kB SwapCached: 6492 kB Active: 85368 kB Inactive: 74604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1832944 kB SwapTotal: 4192956 kB SwapFree: 4140364 kB Dirty: 3288 kB Writeback: 0 kB AnonPages: 11080 kB Mapped: 12876 kB Slab: 44236 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182528 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-13 08:40:21