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) | 503 | 1800.07 | 1800.54 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
| MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 425 |
| Best CPU time to get the best result obtained on this benchmark | 1789.68 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 425 |
| Optimality of the best value was proved | NO |
| Number of variables | 1372 |
| Total number of constraints | 4944 |
| Number of constraints which are clauses | 4944 |
| 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 | 19 |
| Number of terms in the objective function | 1372 |
| 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 | 1372 |
| 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 | 1372 |
| 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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664245-1276359180.opb>
0.10/0.13 c original problem has 1372 variables (1372 bin, 0 int, 0 impl, 0 cont) and 4944 constraints
0.10/0.13 c problem read
0.10/0.13 c presolving settings loaded
0.10/0.13 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.10/0.16 o 1372
0.10/0.16 c feasible solution found by trivial heuristic, objective value 1.372000e+03
0.10/0.16 c presolving:
0.10/0.19 c (round 1) 156 del vars, 156 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.20 c (round 2) 190 del vars, 270 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.21 c (round 3) 193 del vars, 273 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.21 c (round 4) 194 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.28 c (round 5) 196 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 4667 upgd conss, 570 impls, 0 clqs
0.29/0.32 c (0.1s) probing: 101/1176 (8.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.32 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.29/0.32 c presolving (6 rounds):
0.29/0.32 c 196 deleted vars, 277 deleted constraints, 117 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.32 c 570 implications, 0 cliques
0.29/0.32 c presolved problem has 1176 variables (1176 bin, 0 int, 0 impl, 0 cont) and 4667 constraints
0.29/0.32 c 4667 constraints of type <logicor>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.14
0.29/0.32 c - non default parameters ----------------------------------------------------------------------
0.29/0.32 c # SCIP version 1.2.1.2
0.29/0.32 c
0.29/0.32 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c conflict/interconss = 0
0.29/0.32 c
0.29/0.32 c # should binary conflicts be preferred?
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c conflict/preferbinary = TRUE
0.29/0.32 c
0.29/0.32 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c constraints/agelimit = 1
0.29/0.32 c
0.29/0.32 c # should enforcement of pseudo solution be disabled?
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/disableenfops = TRUE
0.29/0.32 c
0.29/0.32 c # frequency for displaying node information lines
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.32 c display/freq = 10000
0.29/0.32 c
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/time = 1799.88
0.29/0.32 c
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/memory = 1620
0.29/0.32 c
0.29/0.32 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c lp/solvefreq = -1
0.29/0.32 c
0.29/0.32 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.29/0.32 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.32 c lp/pricing = a
0.29/0.32 c
0.29/0.32 c # should presolving try to simplify inequalities
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/linear/simplifyinequalities = TRUE
0.29/0.32 c
0.29/0.32 c # should presolving try to simplify knapsacks
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.32 c
0.29/0.32 c # priority of node selection rule <dfs> in standard mode
0.29/0.32 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.32 c nodeselection/dfs/stdpriority = 1000000
0.29/0.32 c
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving
0.29/0.32 c
0.29/0.32 o 1331
0.29/0.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.32 c t 0.2s| 1 | 0 | 0 | - |6298k| 0 | - |1176 |4667 | 0 | 0 | 0 | 0 | 0 | -- | 1.331000e+03 | Inf
0.29/0.32 c 0.2s| 1 | 2 | 0 | - |6264k| 0 | - |1176 |4667 | 0 | 0 | 0 | 0 | 0 | 1.550000e+02 | 1.331000e+03 | 758.71%
0.39/0.49 o 505
0.39/0.49 c * 0.3s| 827 | 816 | 0 | 0.0 |6781k| 826 | - |1176 |4667 | 0 | 0 | 0 | 0 | 0 | 1.560000e+02 | 5.050000e+02 | 223.72%
0.49/0.50 o 504
0.49/0.50 c * 0.3s| 864 | 813 | 0 | 0.0 |6898k| 826 | - |1176 |4667 | 0 | 0 | 0 | 1 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
2.49/2.56 c 2.2s| 10000 | 800 | 0 | 0.0 |6918k| 826 | - |1176 |4667 | 0 | 0 | 0 | 258 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
4.59/4.68 c 4.2s| 20000 | 797 | 0 | 0.0 |6920k| 826 | - |1176 |4667 | 0 | 0 | 0 | 389 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
6.79/6.86 c 6.2s| 30000 | 789 | 0 | 0.0 |6923k| 826 | - |1176 |4667 | 0 | 0 | 0 | 542 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
9.09/9.10 c 8.4s| 40000 | 787 | 0 | 0.0 |6925k| 826 | - |1176 |4667 | 0 | 0 | 0 | 722 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
11.19/11.21 c 10.4s| 50000 | 791 | 0 | 0.0 |6926k| 826 | - |1176 |4667 | 0 | 0 | 0 | 792 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
13.30/13.33 c 12.3s| 60000 | 786 | 0 | 0.0 |6926k| 826 | - |1176 |4667 | 0 | 0 | 0 | 943 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
15.40/15.43 c 14.3s| 70000 | 787 | 0 | 0.0 |6927k| 826 | - |1176 |4667 | 0 | 0 | 0 |1094 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
17.48/17.59 c 16.3s| 80000 | 786 | 0 | 0.0 |6929k| 826 | - |1176 |4667 | 0 | 0 | 0 |1280 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
19.79/19.86 c 18.4s| 90000 | 785 | 0 | 0.0 |6930k| 826 | - |1176 |4667 | 0 | 0 | 0 |1537 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
22.00/22.01 c 20.5s|100000 | 786 | 0 | 0.0 |6931k| 826 | - |1176 |4667 | 0 | 0 | 0 |1717 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
24.08/24.19 c 22.5s|110000 | 785 | 0 | 0.0 |6932k| 826 | - |1176 |4667 | 0 | 0 | 0 |1899 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
26.39/26.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.39/26.41 c 24.6s|120000 | 780 | 0 | 0.0 |6932k| 826 | - |1176 |4667 | 0 | 0 | 0 |2111 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
28.48/28.58 c 26.6s|130000 | 781 | 0 | 0.0 |6932k| 826 | - |1176 |4667 | 0 | 0 | 0 |2298 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
30.79/30.88 c 28.8s|140000 | 780 | 0 | 0.0 |6933k| 826 | - |1176 |4667 | 0 | 0 | 0 |2588 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
32.99/33.02 c 30.8s|150000 | 780 | 0 | 0.0 |6935k| 826 | - |1176 |4667 | 0 | 0 | 0 |2721 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
35.18/35.27 c 32.9s|160000 | 775 | 0 | 0.0 |6933k| 826 | - |1176 |4667 | 0 | 0 | 0 |2848 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
37.58/37.63 c 35.1s|170000 | 780 | 0 | 0.0 |6935k| 826 | - |1176 |4667 | 0 | 0 | 0 |3091 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
39.98/40.06 c 37.4s|180000 | 782 | 0 | 0.0 |6940k| 826 | - |1176 |4667 | 0 | 0 | 0 |3506 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
42.68/42.79 c 40.0s|190000 | 778 | 0 | 0.0 |6935k| 826 | - |1176 |4667 | 0 | 0 | 0 |4298 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
45.47/45.50 c 42.6s|200000 | 774 | 0 | 0.0 |6940k| 826 | - |1176 |4667 | 0 | 0 | 0 |5027 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
48.27/48.38 c 45.3s|210000 | 773 | 0 | 0.0 |6936k| 826 | - |1176 |4667 | 0 | 0 | 0 |5930 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
51.18/51.25 c 48.0s|220000 | 776 | 0 | 0.0 |6938k| 826 | - |1176 |4667 | 0 | 0 | 0 |6801 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
53.88/53.90 c 50.5s|230000 | 772 | 0 | 0.0 |6941k| 826 | - |1176 |4667 | 0 | 0 | 0 |7404 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
56.67/56.74 c 53.2s|240000 | 774 | 0 | 0.0 |6939k| 826 | - |1176 |4667 | 0 | 0 | 0 |8258 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
59.38/59.45 c 55.8s|250000 | 771 | 0 | 0.0 |6939k| 826 | - |1176 |4667 | 0 | 0 | 0 |9020 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
62.18/62.25 c 58.4s|260000 | 772 | 0 | 0.0 |6940k| 826 | - |1176 |4667 | 0 | 0 | 0 |9780 | 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
64.77/64.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.77/64.89 c 60.9s|270000 | 771 | 0 | 0.0 |6943k| 826 | - |1176 |4667 | 0 | 0 | 0 | 10k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
67.28/67.36 c 63.2s|280000 | 775 | 0 | 0.0 |6944k| 826 | - |1176 |4667 | 0 | 0 | 0 | 10k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
69.58/69.67 c 65.4s|290000 | 776 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 11k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
72.17/72.23 c 67.8s|300000 | 770 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 11k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
74.97/75.07 c 70.5s|310000 | 774 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 12k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
77.67/77.79 c 73.1s|320000 | 775 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 12k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
80.07/80.11 c 75.3s|330000 | 773 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 12k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
82.37/82.41 c 77.4s|340000 | 772 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 12k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
84.87/84.91 c 79.8s|350000 | 776 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 13k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
87.17/87.28 c 82.0s|360000 | 777 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 13k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
89.66/89.71 c 84.3s|370000 | 775 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 13k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
91.86/91.99 c 86.5s|380000 | 774 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 13k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
94.07/94.19 c 88.5s|390000 | 775 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 13k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
96.57/96.69 c 90.8s|400000 | 774 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 14k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
99.17/99.22 c 93.2s|410000 | 771 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 14k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
101.77/101.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.77/101.86 c 95.7s|420000 | 772 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 14k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
104.36/104.41 c 98.1s|430000 | 775 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 15k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
106.86/106.91 c 100s|440000 | 772 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 15k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
108.97/109.10 c 103s|450000 | 773 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 15k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
111.26/111.32 c 105s|460000 | 770 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 15k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
113.46/113.52 c 107s|470000 | 769 | 0 | 0.0 |6945k| 826 | - |1176 |4667 | 0 | 0 | 0 | 16k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
115.96/116.05 c 109s|480000 | 775 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 16k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
118.66/118.79 c 112s|490000 | 769 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 17k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
121.26/121.32 c 114s|500000 | 769 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 17k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
123.86/123.90 c 116s|510000 | 772 | 0 | 0.0 |6946k| 826 | - |1176 |4667 | 0 | 0 | 0 | 18k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
126.46/126.56 c 119s|520000 | 773 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 18k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
129.05/129.14 c 121s|530000 | 769 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 19k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
131.56/131.68 c 124s|540000 | 770 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 20k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
133.85/133.94 c 126s|550000 | 773 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 20k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
136.36/136.50 c 128s|560000 | 772 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 20k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
139.06/139.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.06/139.12 c 131s|570000 | 774 | 0 | 0.0 |6950k| 826 | - |1176 |4667 | 0 | 0 | 0 | 21k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
141.56/141.63 c 133s|580000 | 768 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 21k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
144.25/144.35 c 136s|590000 | 766 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 22k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
146.85/146.99 c 138s|600000 | 770 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 23k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
149.66/149.75 c 141s|610000 | 769 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 23k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
152.25/152.37 c 143s|620000 | 770 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 24k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
154.85/154.91 c 146s|630000 | 768 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 24k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
157.75/157.81 c 149s|640000 | 762 | 0 | 0.0 |6947k| 826 | - |1176 |4667 | 0 | 0 | 0 | 25k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
160.45/160.56 c 151s|650000 | 769 | 0 | 0.0 |6949k| 826 | - |1176 |4667 | 0 | 0 | 0 | 26k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
163.14/163.25 c 154s|660000 | 765 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 27k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
165.84/165.90 c 156s|670000 | 765 | 0 | 0.0 |6949k| 826 | - |1176 |4667 | 0 | 0 | 0 | 27k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
168.45/168.51 c 159s|680000 | 771 | 0 | 0.0 |6949k| 826 | - |1176 |4667 | 0 | 0 | 0 | 28k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
171.25/171.37 c 161s|690000 | 770 | 0 | 0.0 |6949k| 826 | - |1176 |4667 | 0 | 0 | 0 | 29k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
173.95/174.09 c 164s|700000 | 766 | 0 | 0.0 |6948k| 826 | - |1176 |4667 | 0 | 0 | 0 | 29k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
176.64/176.79 c 167s|710000 | 770 | 0 | 0.0 |6950k| 826 | - |1176 |4667 | 0 | 0 | 0 | 30k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
179.35/179.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.35/179.45 c 169s|720000 | 766 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 31k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
182.04/182.14 c 172s|730000 | 767 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 31k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
184.54/184.60 c 174s|740000 | 766 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
186.94/187.00 c 176s|750000 | 771 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
189.64/189.74 c 179s|760000 | 766 | 0 | 0.0 |6949k| 826 | - |1176 |4667 | 0 | 0 | 0 | 33k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
192.34/192.48 c 181s|770000 | 766 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 34k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
194.94/195.04 c 184s|780000 | 771 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 34k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
197.24/197.30 c 186s|790000 | 770 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 34k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
199.34/199.46 c 188s|800000 | 767 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 34k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
201.73/201.87 c 190s|810000 | 770 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 35k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
203.94/204.03 c 192s|820000 | 765 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 35k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
206.04/206.18 c 194s|830000 | 766 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 35k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
208.44/208.56 c 196s|840000 | 765 | 0 | 0.0 |6950k| 826 | - |1176 |4667 | 0 | 0 | 0 | 35k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
211.14/211.26 c 199s|850000 | 766 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 36k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
213.53/213.66 c 201s|860000 | 767 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 37k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
215.64/215.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.64/215.74 c 203s|870000 | 770 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 37k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
217.84/217.99 c 205s|880000 | 769 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 37k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
220.04/220.16 c 207s|890000 | 763 | 0 | 0.0 |6949k| 826 | - |1176 |4667 | 0 | 0 | 0 | 37k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
222.33/222.46 c 209s|900000 | 764 | 0 | 0.0 |6950k| 826 | - |1176 |4667 | 0 | 0 | 0 | 37k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
224.63/224.76 c 212s|910000 | 771 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 38k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
226.83/226.90 c 214s|920000 | 766 | 0 | 0.0 |6950k| 826 | - |1176 |4667 | 0 | 0 | 0 | 38k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
229.03/229.16 c 216s|930000 | 764 | 0 | 0.0 |6950k| 826 | - |1176 |4667 | 0 | 0 | 0 | 38k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
231.23/231.38 c 218s|940000 | 771 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 38k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
233.43/233.58 c 220s|950000 | 767 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 38k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
235.63/235.78 c 222s|960000 | 766 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 39k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
238.23/238.39 c 224s|970000 | 766 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 39k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
240.73/240.85 c 227s|980000 | 761 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 40k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
243.33/243.45 c 229s|990000 | 764 | 0 | 0.0 |6950k| 826 | - |1176 |4667 | 0 | 0 | 0 | 40k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
245.83/245.97 c 231s| 1000k| 766 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 41k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
248.53/248.68 c 234s| 1010k| 765 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 42k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
251.32/251.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.32/251.40 c 237s| 1020k| 765 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 42k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
253.93/254.08 c 239s| 1030k| 766 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 43k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
256.62/256.76 c 242s| 1040k| 765 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 44k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
259.32/259.42 c 244s| 1050k| 764 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 44k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
261.83/261.96 c 247s| 1060k| 765 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 45k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
264.43/264.59 c 249s| 1070k| 760 | 0 | 0.0 |6951k| 826 | - |1176 |4667 | 0 | 0 | 0 | 45k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
267.02/267.18 c 251s| 1080k| 763 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 46k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
269.72/269.82 c 254s| 1090k| 766 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 47k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
272.12/272.26 c 256s| 1100k| 767 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 47k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
274.72/274.88 c 259s| 1110k| 767 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 48k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
277.52/277.69 c 261s| 1120k| 762 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 48k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
280.21/280.33 c 264s| 1130k| 768 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 49k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
282.82/282.99 c 266s| 1140k| 769 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 50k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
285.42/285.57 c 269s| 1150k| 768 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 50k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
288.01/288.14 c 271s| 1160k| 762 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 51k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
290.71/290.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.71/290.90 c 274s| 1170k| 765 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 52k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
293.41/293.50 c 276s| 1180k| 767 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 52k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
296.02/296.16 c 279s| 1190k| 765 | 0 | 0.0 |6952k| 826 | - |1176 |4667 | 0 | 0 | 0 | 53k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
298.62/298.78 c 281s| 1200k| 767 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 53k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
301.31/301.40 c 284s| 1210k| 768 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 54k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
303.81/303.99 c 286s| 1220k| 767 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 55k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
306.32/306.45 c 289s| 1230k| 764 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 55k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
308.81/308.96 c 291s| 1240k| 767 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 56k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
311.61/311.72 c 293s| 1250k| 763 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 56k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
314.21/314.39 c 296s| 1260k| 766 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 57k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
317.01/317.14 c 299s| 1270k| 770 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 58k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
319.81/319.98 c 301s| 1280k| 765 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 59k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
322.61/322.72 c 304s| 1290k| 764 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 59k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
325.51/325.64 c 307s| 1300k| 763 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 60k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
328.30/328.47 c 309s| 1310k| 762 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 61k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
330.61/330.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.61/330.73 c 312s| 1320k| 763 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 61k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
332.80/332.90 c 314s| 1330k| 767 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 61k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
335.11/335.25 c 316s| 1340k| 764 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 62k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
337.60/337.76 c 318s| 1350k| 768 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 62k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
340.10/340.26 c 320s| 1360k| 764 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 63k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
342.80/342.93 c 323s| 1370k| 768 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 63k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
345.60/345.73 c 326s| 1380k| 764 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 64k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
348.20/348.31 c 328s| 1390k| 764 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 65k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
350.70/350.80 c 330s| 1400k| 762 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 65k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
353.30/353.49 c 333s| 1410k| 764 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 66k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
355.80/355.94 c 335s| 1420k| 764 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 66k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
358.20/358.35 c 338s| 1430k| 763 | 0 | 0.0 |6953k| 826 | - |1176 |4667 | 0 | 0 | 0 | 67k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
360.60/360.75 c 340s| 1440k| 765 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 67k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
363.19/363.31 c 342s| 1450k| 764 | 0 | 0.0 |6960k| 826 | - |1176 |4667 | 0 | 0 | 0 | 68k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
365.89/366.10 c 345s| 1460k| 764 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 69k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
368.40/368.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.40/368.57 c 347s| 1470k| 762 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 69k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
370.79/370.94 c 349s| 1480k| 763 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 70k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
373.70/373.81 c 352s| 1490k| 766 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 70k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
376.39/376.56 c 355s| 1500k| 763 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 71k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
378.90/379.00 c 357s| 1510k| 768 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 71k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
381.60/381.76 c 360s| 1520k| 765 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 72k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
384.19/384.39 c 362s| 1530k| 761 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 73k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
387.10/387.29 c 365s| 1540k| 761 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 74k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
389.78/389.98 c 367s| 1550k| 765 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 74k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
392.39/392.56 c 370s| 1560k| 762 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 75k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
394.99/395.19 c 372s| 1570k| 759 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 75k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
397.38/397.54 c 375s| 1580k| 769 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 76k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
399.49/399.69 c 377s| 1590k| 761 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 76k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
401.69/401.89 c 379s| 1600k| 762 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 76k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
403.88/404.04 c 381s| 1610k| 763 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 76k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
406.39/406.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.39/406.58 c 383s| 1620k| 762 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 76k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
408.68/408.86 c 385s| 1630k| 761 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 77k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
410.99/411.12 c 387s| 1640k| 761 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 77k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
413.18/413.30 c 389s| 1650k| 769 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 77k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
415.58/415.71 c 392s| 1660k| 767 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 77k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
417.89/418.06 c 394s| 1670k| 763 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 77k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
420.28/420.48 c 396s| 1680k| 766 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 78k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
422.48/422.69 c 398s| 1690k| 764 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 78k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
424.59/424.79 c 400s| 1700k| 765 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 78k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
426.79/426.92 c 402s| 1710k| 763 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 78k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
429.08/429.26 c 404s| 1720k| 767 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 78k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
431.48/431.61 c 406s| 1730k| 762 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 78k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
433.88/434.00 c 409s| 1740k| 765 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 79k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
436.37/436.51 c 411s| 1750k| 760 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 79k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
438.89/439.09 c 414s| 1760k| 767 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 80k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
441.48/441.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.48/441.62 c 416s| 1770k| 763 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 80k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
444.18/444.30 c 418s| 1780k| 765 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 81k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
446.48/446.66 c 421s| 1790k| 761 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 81k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
448.68/448.89 c 423s| 1800k| 762 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 81k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
450.98/451.15 c 425s| 1810k| 758 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 81k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
453.37/453.51 c 427s| 1820k| 766 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 82k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
455.67/455.81 c 429s| 1830k| 762 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 82k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
457.87/458.09 c 431s| 1840k| 758 | 0 | 0.0 |6954k| 826 | - |1176 |4667 | 0 | 0 | 0 | 82k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
460.57/460.77 c 434s| 1850k| 763 | 0 | 0.0 |6960k| 826 | - |1176 |4667 | 0 | 0 | 0 | 82k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
463.37/463.55 c 437s| 1860k| 760 | 0 | 0.0 |6955k| 826 | - |1176 |4667 | 0 | 0 | 0 | 83k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
466.28/466.46 c 439s| 1870k| 760 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 83k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
468.87/469.07 c 442s| 1880k| 762 | 0 | 0.0 |6959k| 826 | - |1176 |4667 | 0 | 0 | 0 | 84k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
471.17/471.37 c 444s| 1890k| 764 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 84k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
473.47/473.67 c 446s| 1900k| 765 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 84k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
475.77/475.93 c 448s| 1910k| 767 | 0 | 0.0 |6959k| 826 | - |1176 |4667 | 0 | 0 | 0 | 84k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
478.06/478.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.06/478.21 c 450s| 1920k| 765 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 84k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
480.46/480.66 c 453s| 1930k| 765 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 84k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
483.06/483.20 c 455s| 1940k| 764 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 85k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
485.36/485.50 c 457s| 1950k| 763 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 85k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
487.66/487.86 c 459s| 1960k| 760 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 85k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
490.26/490.43 c 462s| 1970k| 766 | 0 | 0.0 |6959k| 826 | - |1176 |4667 | 0 | 0 | 0 | 85k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
492.56/492.75 c 464s| 1980k| 765 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 85k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
494.97/495.19 c 466s| 1990k| 762 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 85k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
497.36/497.52 c 468s| 2000k| 764 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 86k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
499.75/499.92 c 471s| 2010k| 763 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 86k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
502.35/502.58 c 473s| 2020k| 767 | 0 | 0.0 |6960k| 826 | - |1176 |4667 | 0 | 0 | 0 | 86k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
504.76/504.98 c 475s| 2030k| 765 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 86k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
507.26/507.41 c 478s| 2040k| 766 | 0 | 0.0 |6959k| 826 | - |1176 |4667 | 0 | 0 | 0 | 87k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
509.76/509.94 c 480s| 2050k| 768 | 0 | 0.0 |6960k| 826 | - |1176 |4667 | 0 | 0 | 0 | 87k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
512.26/512.41 c 482s| 2060k| 763 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 87k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
514.76/514.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.76/514.96 c 485s| 2070k| 763 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 87k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
517.55/517.75 c 488s| 2080k| 764 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 88k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
520.05/520.20 c 490s| 2090k| 763 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 88k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
522.46/522.68 c 492s| 2100k| 763 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 88k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
524.85/525.03 c 494s| 2110k| 762 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 88k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
527.35/527.53 c 497s| 2120k| 763 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 89k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
529.85/530.05 c 499s| 2130k| 760 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 89k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
532.36/532.57 c 501s| 2140k| 761 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 89k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
534.85/535.04 c 504s| 2150k| 763 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 89k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
537.45/537.69 c 506s| 2160k| 760 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 90k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
540.15/540.39 c 509s| 2170k| 765 | 0 | 0.0 |6961k| 826 | - |1176 |4667 | 0 | 0 | 0 | 90k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
542.85/543.02 c 511s| 2180k| 767 | 0 | 0.0 |6960k| 826 | - |1176 |4667 | 0 | 0 | 0 | 90k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
545.25/545.45 c 514s| 2190k| 759 | 0 | 0.0 |6959k| 826 | - |1176 |4667 | 0 | 0 | 0 | 90k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
547.85/548.01 c 516s| 2200k| 760 | 0 | 0.0 |6960k| 826 | - |1176 |4667 | 0 | 0 | 0 | 90k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
551.06/551.23 c 519s| 2210k| 763 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 91k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
553.35/553.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.35/553.55 c 521s| 2220k| 761 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 92k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
555.74/555.96 c 523s| 2230k| 759 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 92k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
558.15/558.30 c 526s| 2240k| 765 | 0 | 0.0 |6958k| 826 | - |1176 |4667 | 0 | 0 | 0 | 92k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
560.34/560.58 c 528s| 2250k| 761 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 92k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
562.75/562.97 c 530s| 2260k| 758 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 92k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
565.14/565.34 c 532s| 2270k| 757 | 0 | 0.0 |6956k| 826 | - |1176 |4667 | 0 | 0 | 0 | 92k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
567.55/567.78 c 535s| 2280k| 760 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 93k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
570.05/570.29 c 537s| 2290k| 761 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 93k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
572.74/572.90 c 539s| 2300k| 761 | 0 | 0.0 |6957k| 826 | - |1176 |4667 | 0 | 0 | 0 | 93k| 0 | 1.560000e+02 | 5.040000e+02 | 223.08%
573.74/573.96 o 503
573.74/573.96 c * 540s| 2303k| 768 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 93k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
575.25/575.43 c 542s| 2310k| 765 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 93k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
577.45/577.61 c 544s| 2320k| 764 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 94k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
579.65/579.84 c 546s| 2330k| 763 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 94k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
582.24/582.41 c 548s| 2340k| 760 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 94k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
584.43/584.64 c 550s| 2350k| 761 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 94k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
586.63/586.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.63/586.85 c 552s| 2360k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 94k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
588.94/589.18 c 555s| 2370k| 767 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 94k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
591.24/591.47 c 557s| 2380k| 764 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 95k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
593.53/593.77 c 559s| 2390k| 761 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 95k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
595.83/596.09 c 561s| 2400k| 763 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 95k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
598.34/598.53 c 563s| 2410k| 766 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 95k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
600.64/600.88 c 566s| 2420k| 761 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 95k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
603.03/603.29 c 568s| 2430k| 759 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 96k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
605.33/605.59 c 570s| 2440k| 768 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 96k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
607.54/607.79 c 572s| 2450k| 765 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 96k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
610.23/610.43 c 575s| 2460k| 765 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 96k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
612.83/613.01 c 577s| 2470k| 763 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 97k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
615.13/615.30 c 579s| 2480k| 766 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 97k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
617.53/617.72 c 581s| 2490k| 765 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 97k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
619.83/620.03 c 584s| 2500k| 767 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 97k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
622.54/622.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.54/622.76 c 586s| 2510k| 762 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 98k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
625.33/625.54 c 589s| 2520k| 767 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 98k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
628.04/628.24 c 591s| 2530k| 762 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 99k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
630.63/630.81 c 594s| 2540k| 764 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 99k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
633.22/633.48 c 596s| 2550k| 761 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 99k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
636.03/636.28 c 599s| 2560k| 765 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 100k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
638.22/638.48 c 601s| 2570k| 765 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 100k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
640.73/640.90 c 603s| 2580k| 762 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 100k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
643.02/643.28 c 606s| 2590k| 760 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 100k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
645.42/645.60 c 608s| 2600k| 758 | 0 | 0.0 |6973k| 826 | - |1176 |4667 | 0 | 0 | 0 | 100k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
647.92/648.17 c 610s| 2610k| 772 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 101k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
650.42/650.60 c 612s| 2620k| 762 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 101k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
652.92/653.13 c 615s| 2630k| 763 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 101k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
655.53/655.78 c 617s| 2640k| 760 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 102k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
658.22/658.42 c 620s| 2650k| 764 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 102k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
660.82/661.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.82/661.10 c 622s| 2660k| 764 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 103k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
663.32/663.51 c 625s| 2670k| 764 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 103k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
665.92/666.10 c 627s| 2680k| 759 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 103k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
668.42/668.67 c 629s| 2690k| 761 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 104k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
670.82/671.05 c 632s| 2700k| 759 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 104k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
673.32/673.54 c 634s| 2710k| 764 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 104k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
675.91/676.10 c 636s| 2720k| 759 | 0 | 0.0 |6973k| 826 | - |1176 |4667 | 0 | 0 | 0 | 105k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
679.01/679.21 c 639s| 2730k| 761 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 105k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
681.41/681.60 c 642s| 2740k| 760 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 106k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
683.81/684.09 c 644s| 2750k| 762 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 106k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
686.11/686.38 c 646s| 2760k| 761 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 106k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
688.91/689.15 c 649s| 2770k| 767 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 107k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
691.51/691.79 c 651s| 2780k| 764 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 107k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
694.30/694.50 c 654s| 2790k| 763 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 108k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
696.71/696.98 c 656s| 2800k| 761 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 108k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
699.21/699.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.21/699.47 c 658s| 2810k| 764 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 108k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
702.01/702.29 c 661s| 2820k| 762 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 109k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
704.70/704.94 c 664s| 2830k| 763 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 109k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
707.40/707.66 c 666s| 2840k| 758 | 0 | 0.0 |6974k| 826 | - |1176 |4667 | 0 | 0 | 0 | 110k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
710.20/710.42 c 669s| 2850k| 765 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 110k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
712.61/712.80 c 671s| 2860k| 766 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 111k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
714.91/715.16 c 673s| 2870k| 760 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 111k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
717.71/717.92 c 676s| 2880k| 761 | 0 | 0.0 |6975k| 826 | - |1176 |4667 | 0 | 0 | 0 | 112k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
720.20/720.42 c 678s| 2890k| 761 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 112k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
723.00/723.21 c 681s| 2900k| 762 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 113k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
725.81/726.06 c 683s| 2910k| 762 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 113k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
728.30/728.58 c 686s| 2920k| 762 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 114k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
730.80/731.03 c 688s| 2930k| 759 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 114k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
732.99/733.28 c 690s| 2940k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 114k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
736.20/736.46 c 693s| 2950k| 762 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 116k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
739.00/739.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.00/739.21 c 696s| 2960k| 758 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 116k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
742.19/742.44 c 699s| 2970k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 117k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
745.60/745.85 c 702s| 2980k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 118k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
748.09/748.33 c 705s| 2990k| 757 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 119k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
750.79/751.06 c 707s| 3000k| 759 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 120k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
753.69/753.90 c 710s| 3010k| 761 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 120k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
756.39/756.63 c 712s| 3020k| 762 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 121k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
759.09/759.33 c 715s| 3030k| 758 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 121k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
761.99/762.27 c 718s| 3040k| 765 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 122k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
764.30/764.55 c 720s| 3050k| 764 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 122k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
766.89/767.14 c 722s| 3060k| 760 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 123k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
769.39/769.68 c 725s| 3070k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 123k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
771.79/772.00 c 727s| 3080k| 758 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 124k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
774.20/774.45 c 729s| 3090k| 763 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 124k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
777.09/777.33 c 732s| 3100k| 762 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 125k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
779.49/779.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.49/779.74 c 734s| 3110k| 762 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 125k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
781.89/782.11 c 736s| 3120k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 125k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
784.09/784.34 c 739s| 3130k| 762 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 125k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
787.08/787.32 c 741s| 3140k| 762 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 126k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
789.38/789.64 c 744s| 3150k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 127k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
792.18/792.40 c 746s| 3160k| 756 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 127k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
794.59/794.88 c 748s| 3170k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 128k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
797.08/797.39 c 751s| 3180k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 128k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
799.59/799.88 c 753s| 3190k| 760 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 128k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
801.98/802.24 c 755s| 3200k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 129k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
804.28/804.59 c 758s| 3210k| 763 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 129k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
806.98/807.25 c 760s| 3220k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 129k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
809.78/810.05 c 763s| 3230k| 759 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 130k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
812.38/812.66 c 765s| 3240k| 763 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 130k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
815.07/815.37 c 768s| 3250k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 131k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
817.77/818.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.77/818.06 c 770s| 3260k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 132k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
820.68/820.93 c 773s| 3270k| 759 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 132k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
823.08/823.37 c 775s| 3280k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 133k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
825.68/825.97 c 778s| 3290k| 759 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 133k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
828.08/828.32 c 780s| 3300k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 133k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
830.48/830.70 c 782s| 3310k| 762 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 133k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
833.17/833.42 c 785s| 3320k| 763 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 134k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
835.97/836.26 c 788s| 3330k| 763 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 135k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
838.47/838.76 c 790s| 3340k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 135k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
841.07/841.31 c 792s| 3350k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 135k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
843.77/844.00 c 795s| 3360k| 762 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 136k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
846.87/847.17 c 798s| 3370k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 137k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
849.46/849.77 c 800s| 3380k| 758 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 137k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
852.38/852.63 c 803s| 3390k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 138k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
854.57/854.87 c 805s| 3400k| 761 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 138k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
857.67/857.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.67/857.90 c 808s| 3410k| 760 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 139k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
860.27/860.50 c 811s| 3420k| 765 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 140k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
862.47/862.76 c 813s| 3430k| 758 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 140k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
865.47/865.74 c 815s| 3440k| 761 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 141k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
867.77/868.05 c 818s| 3450k| 758 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 141k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
870.27/870.52 c 820s| 3460k| 760 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 141k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
872.56/872.89 c 822s| 3470k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 142k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
875.06/875.34 c 825s| 3480k| 760 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 142k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
877.46/877.71 c 827s| 3490k| 755 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 142k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
879.96/880.25 c 829s| 3500k| 754 | 0 | 0.0 |6976k| 826 | - |1176 |4667 | 0 | 0 | 0 | 143k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
882.46/882.72 c 831s| 3510k| 762 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 143k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
884.76/885.07 c 834s| 3520k| 762 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 143k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
887.16/887.44 c 836s| 3530k| 760 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 143k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
889.46/889.77 c 838s| 3540k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 143k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
891.87/892.14 c 840s| 3550k| 760 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 144k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
894.26/894.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.26/894.51 c 843s| 3560k| 755 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 144k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
896.86/897.15 c 845s| 3570k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 144k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
899.45/899.74 c 847s| 3580k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 145k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
901.96/902.26 c 850s| 3590k| 757 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 145k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
904.45/904.77 c 852s| 3600k| 756 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 146k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
906.86/907.19 c 855s| 3610k| 762 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 146k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
909.35/909.60 c 857s| 3620k| 759 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 146k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
911.76/912.04 c 859s| 3630k| 760 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 147k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
914.05/914.34 c 861s| 3640k| 761 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 147k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
916.35/916.69 c 863s| 3650k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 147k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
918.75/919.04 c 866s| 3660k| 758 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 147k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
921.15/921.45 c 868s| 3670k| 757 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 148k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
923.55/923.82 c 870s| 3680k| 758 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 148k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
925.75/926.09 c 872s| 3690k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 148k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
928.35/928.63 c 875s| 3700k| 758 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 148k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
930.85/931.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.85/931.14 c 877s| 3710k| 756 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 149k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
933.35/933.62 c 879s| 3720k| 757 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 149k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
935.96/936.22 c 882s| 3730k| 761 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 150k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
938.75/939.02 c 884s| 3740k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 150k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
941.24/941.50 c 887s| 3750k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 150k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
943.84/944.15 c 889s| 3760k| 758 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 151k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
946.44/946.77 c 892s| 3770k| 752 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 151k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
949.15/949.43 c 894s| 3780k| 755 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 152k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
951.74/952.08 c 897s| 3790k| 755 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 152k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
954.24/954.53 c 899s| 3800k| 759 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 153k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
956.74/957.00 c 901s| 3810k| 758 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 153k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
959.14/959.40 c 904s| 3820k| 757 | 0 | 0.0 |6977k| 826 | - |1176 |4667 | 0 | 0 | 0 | 153k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
962.35/962.66 c 907s| 3830k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 154k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
965.04/965.34 c 909s| 3840k| 758 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 155k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
968.43/968.73 c 913s| 3850k| 763 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 156k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
970.74/971.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.74/971.05 c 915s| 3860k| 760 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 156k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
973.14/973.45 c 917s| 3870k| 760 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 156k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
975.73/976.08 c 919s| 3880k| 761 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 157k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
978.53/978.81 c 922s| 3890k| 757 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 157k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
980.94/981.29 c 924s| 3900k| 759 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 158k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
983.73/984.06 c 927s| 3910k| 764 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 158k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
986.33/986.68 c 929s| 3920k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 159k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
989.43/989.73 c 932s| 3930k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 159k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
992.63/992.92 c 935s| 3940k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 160k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
995.24/995.55 c 938s| 3950k| 760 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 161k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
997.83/998.16 c 940s| 3960k| 757 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 161k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1000.43/1000.78 c 943s| 3970k| 759 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 162k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1003.13/1003.46 c 945s| 3980k| 760 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 162k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1005.93/1006.24 c 948s| 3990k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 163k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1008.63/1008.98 c 951s| 4000k| 762 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 163k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1011.93/1012.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.93/1012.29 c 954s| 4010k| 757 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 164k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1015.03/1015.33 c 957s| 4020k| 761 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 165k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1018.23/1018.56 c 960s| 4030k| 760 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 166k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1020.92/1021.29 c 962s| 4040k| 759 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 166k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1023.42/1023.71 c 964s| 4050k| 757 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 167k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1026.03/1026.30 c 967s| 4060k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 167k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1028.52/1028.83 c 969s| 4070k| 757 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 167k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1030.82/1031.16 c 972s| 4080k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 168k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1034.02/1034.40 c 975s| 4090k| 758 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 169k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1037.52/1037.81 c 978s| 4100k| 760 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 170k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1040.62/1040.91 c 981s| 4110k| 757 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 171k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1043.22/1043.55 c 983s| 4120k| 753 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 171k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1045.82/1046.16 c 986s| 4130k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 172k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1048.41/1048.78 c 988s| 4140k| 758 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 172k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1051.12/1051.42 c 991s| 4150k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 172k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1053.91/1054.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.91/1054.23 c 993s| 4160k| 759 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 173k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1058.21/1058.50 c 997s| 4170k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 175k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1062.21/1062.56 c 1001s| 4180k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 177k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1065.31/1065.61 c 1004s| 4190k| 757 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 178k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1067.92/1068.24 c 1007s| 4200k| 771 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 178k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1070.71/1071.04 c 1009s| 4210k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 178k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1073.32/1073.63 c 1012s| 4220k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 179k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1076.11/1076.46 c 1015s| 4230k| 759 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 179k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1079.00/1079.37 c 1017s| 4240k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 180k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1082.21/1082.57 c 1020s| 4250k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 181k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1085.81/1086.14 c 1024s| 4260k| 758 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 182k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1089.71/1090.01 c 1027s| 4270k| 759 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 184k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1093.60/1093.99 c 1031s| 4280k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 186k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1097.71/1098.01 c 1035s| 4290k| 757 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 187k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1100.50/1100.85 c 1038s| 4300k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 188k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1103.60/1103.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.60/1103.93 c 1041s| 4310k| 754 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 189k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1106.31/1106.67 c 1043s| 4320k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 189k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1109.49/1109.82 c 1046s| 4330k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 190k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1112.70/1113.00 c 1049s| 4340k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 191k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1115.80/1116.10 c 1052s| 4350k| 754 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 191k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1118.30/1118.67 c 1055s| 4360k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 192k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1120.61/1120.92 c 1057s| 4370k| 762 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 192k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1122.90/1123.28 c 1059s| 4380k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 193k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1125.60/1125.93 c 1061s| 4390k| 759 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 193k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1127.89/1128.29 c 1064s| 4400k| 757 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 193k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1130.19/1130.59 c 1066s| 4410k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 194k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1132.59/1132.90 c 1068s| 4420k| 755 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 194k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1136.19/1136.52 c 1071s| 4430k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 196k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1138.89/1139.25 c 1074s| 4440k| 759 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 196k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1141.50/1141.83 c 1076s| 4450k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 197k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1143.80/1144.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.80/1144.12 c 1079s| 4460k| 757 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 197k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1146.39/1146.70 c 1081s| 4470k| 757 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 197k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1148.89/1149.20 c 1083s| 4480k| 756 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 198k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1151.39/1151.71 c 1086s| 4490k| 761 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 198k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1153.69/1154.01 c 1088s| 4500k| 760 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 199k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1156.09/1156.45 c 1090s| 4510k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 199k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1158.39/1158.79 c 1092s| 4520k| 756 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 199k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1160.79/1161.13 c 1095s| 4530k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 199k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1164.19/1164.55 c 1098s| 4540k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 201k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1167.39/1167.71 c 1101s| 4550k| 758 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 202k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1169.88/1170.27 c 1103s| 4560k| 757 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 202k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1172.29/1172.60 c 1105s| 4570k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 202k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1175.18/1175.58 c 1108s| 4580k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 203k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1177.99/1178.31 c 1111s| 4590k| 754 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 204k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1180.38/1180.77 c 1113s| 4600k| 758 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 204k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1182.98/1183.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.98/1183.31 c 1116s| 4610k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 205k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1185.28/1185.68 c 1118s| 4620k| 753 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 205k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1188.18/1188.51 c 1120s| 4630k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 206k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1190.58/1190.91 c 1123s| 4640k| 757 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 206k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1193.19/1193.53 c 1125s| 4650k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 206k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1195.67/1196.06 c 1128s| 4660k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 207k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1198.08/1198.43 c 1130s| 4670k| 759 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 207k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1200.38/1200.70 c 1132s| 4680k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 207k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1202.77/1203.18 c 1134s| 4690k| 759 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 208k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1205.28/1205.62 c 1137s| 4700k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 208k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1208.68/1209.05 c 1140s| 4710k| 752 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 209k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1210.97/1211.33 c 1142s| 4720k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 209k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1213.37/1213.76 c 1144s| 4730k| 756 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 209k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1215.98/1216.34 c 1147s| 4740k| 757 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 210k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1219.17/1219.54 c 1150s| 4750k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 211k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1221.97/1222.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.97/1222.37 c 1153s| 4760k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 212k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1224.47/1224.82 c 1155s| 4770k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 212k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1226.87/1227.22 c 1157s| 4780k| 756 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 212k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1229.58/1229.98 c 1160s| 4790k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 213k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1231.97/1232.35 c 1162s| 4800k| 760 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 213k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1234.46/1234.81 c 1164s| 4810k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 214k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1236.76/1237.13 c 1166s| 4820k| 753 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 214k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1240.37/1240.77 c 1170s| 4830k| 754 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 215k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1242.86/1243.28 c 1172s| 4840k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 216k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1245.06/1245.48 c 1174s| 4850k| 764 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 216k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1247.57/1247.95 c 1177s| 4860k| 757 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 216k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1249.97/1250.38 c 1179s| 4870k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 216k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1252.46/1252.88 c 1181s| 4880k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 217k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1255.46/1255.86 c 1184s| 4890k| 759 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 218k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1257.96/1258.37 c 1186s| 4900k| 755 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 218k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1260.26/1260.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.26/1260.67 c 1189s| 4910k| 754 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 218k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1262.57/1262.97 c 1191s| 4920k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 218k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1265.06/1265.44 c 1193s| 4930k| 758 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 219k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1268.07/1268.48 c 1196s| 4940k| 753 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 220k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1270.76/1271.17 c 1199s| 4950k| 753 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 220k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1273.47/1273.84 c 1201s| 4960k| 753 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 221k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1276.05/1276.46 c 1204s| 4970k| 757 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 221k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1278.45/1278.87 c 1206s| 4980k| 754 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 221k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1280.76/1281.20 c 1208s| 4990k| 757 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 221k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1283.15/1283.55 c 1210s| 5000k| 756 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 222k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1285.46/1285.85 c 1212s| 5010k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 222k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1287.76/1288.19 c 1215s| 5020k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 222k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1290.06/1290.46 c 1217s| 5030k| 756 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 222k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1292.55/1292.90 c 1219s| 5040k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 222k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1294.85/1295.29 c 1221s| 5050k| 753 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 223k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1297.25/1297.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.25/1297.64 c 1223s| 5060k| 755 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 223k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1299.55/1299.96 c 1226s| 5070k| 759 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 223k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1302.06/1302.50 c 1228s| 5080k| 759 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 224k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1304.65/1305.03 c 1230s| 5090k| 761 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 224k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1306.85/1307.29 c 1233s| 5100k| 756 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 224k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1309.54/1309.93 c 1235s| 5110k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 224k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1312.15/1312.52 c 1238s| 5120k| 756 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 225k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1314.44/1314.87 c 1240s| 5130k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 225k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1317.35/1317.73 c 1242s| 5140k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 226k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1319.95/1320.32 c 1245s| 5150k| 758 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 226k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1322.45/1322.84 c 1247s| 5160k| 756 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 227k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1324.94/1325.30 c 1250s| 5170k| 755 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 227k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1327.24/1327.64 c 1252s| 5180k| 759 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 227k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1329.74/1330.13 c 1254s| 5190k| 759 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 227k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1332.34/1332.71 c 1257s| 5200k| 756 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 228k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1335.15/1335.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.15/1335.59 c 1259s| 5210k| 754 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 229k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1337.74/1338.11 c 1262s| 5220k| 755 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 229k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1340.54/1340.97 c 1264s| 5230k| 757 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 230k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1343.64/1344.01 c 1267s| 5240k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 230k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1346.44/1346.80 c 1270s| 5250k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 231k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1348.93/1349.36 c 1272s| 5260k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 231k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1351.24/1351.68 c 1275s| 5270k| 760 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 231k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1353.74/1354.17 c 1277s| 5280k| 752 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 232k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1356.44/1356.84 c 1280s| 5290k| 759 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 232k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1358.93/1359.33 c 1282s| 5300k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 233k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1361.44/1361.87 c 1284s| 5310k| 749 | 0 | 0.0 |6978k| 826 | - |1176 |4667 | 0 | 0 | 0 | 233k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1364.34/1364.74 c 1287s| 5320k| 750 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 234k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1367.43/1367.81 c 1290s| 5330k| 760 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 235k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1369.74/1370.11 c 1292s| 5340k| 758 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 235k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1372.23/1372.63 c 1294s| 5350k| 753 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 235k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1374.53/1374.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.53/1374.98 c 1297s| 5360k| 755 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 236k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1377.13/1377.59 c 1299s| 5370k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 236k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1379.63/1380.05 c 1301s| 5380k| 756 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 236k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1382.44/1382.85 c 1304s| 5390k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 237k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1385.13/1385.50 c 1307s| 5400k| 756 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 237k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1387.43/1387.81 c 1309s| 5410k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 238k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1389.63/1390.06 c 1311s| 5420k| 752 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 238k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1392.03/1392.43 c 1313s| 5430k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 238k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1394.23/1394.64 c 1315s| 5440k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 238k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1396.42/1396.86 c 1317s| 5450k| 756 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 238k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1398.72/1399.18 c 1319s| 5460k| 752 | 0 | 0.0 |6979k| 826 | - |1176 |4667 | 0 | 0 | 0 | 238k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1401.22/1401.60 c 1322s| 5470k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 239k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1404.13/1404.55 c 1324s| 5480k| 753 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 240k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1406.52/1406.99 c 1327s| 5490k| 753 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 240k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1408.92/1409.34 c 1329s| 5500k| 752 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 240k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1411.82/1412.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.82/1412.27 c 1332s| 5510k| 753 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 241k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1414.23/1414.64 c 1334s| 5520k| 748 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 241k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1416.92/1417.30 c 1337s| 5530k| 758 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 242k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1419.12/1419.53 c 1339s| 5540k| 756 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 242k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1421.42/1421.89 c 1341s| 5550k| 756 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 242k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1423.72/1424.14 c 1343s| 5560k| 757 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 242k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1425.92/1426.34 c 1345s| 5570k| 757 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 242k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1428.32/1428.75 c 1347s| 5580k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 243k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1430.52/1430.95 c 1349s| 5590k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 243k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1432.82/1433.25 c 1352s| 5600k| 753 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 243k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1435.12/1435.57 c 1354s| 5610k| 753 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 243k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1437.51/1437.98 c 1356s| 5620k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 244k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1440.81/1441.22 c 1359s| 5630k| 753 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 245k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1443.11/1443.56 c 1361s| 5640k| 762 | 0 | 0.0 |6987k| 826 | - |1176 |4667 | 0 | 0 | 0 | 245k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1445.51/1445.94 c 1364s| 5650k| 752 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 245k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1448.01/1448.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.01/1448.40 c 1366s| 5660k| 757 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 245k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1450.41/1450.80 c 1368s| 5670k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 246k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1452.82/1453.27 c 1370s| 5680k| 753 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 246k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1455.41/1455.82 c 1373s| 5690k| 753 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 247k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1457.91/1458.34 c 1375s| 5700k| 750 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 247k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1461.41/1461.84 c 1379s| 5710k| 752 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 248k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1463.82/1464.26 c 1381s| 5720k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 249k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1466.71/1467.12 c 1384s| 5730k| 757 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 250k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1470.01/1470.49 c 1387s| 5740k| 752 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 251k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1473.20/1473.65 c 1390s| 5750k| 756 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 252k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1475.50/1475.96 c 1392s| 5760k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 252k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1477.91/1478.30 c 1394s| 5770k| 752 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 252k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1480.21/1480.66 c 1396s| 5780k| 757 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 252k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1482.90/1483.38 c 1399s| 5790k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 253k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1485.90/1486.37 c 1402s| 5800k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 254k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1488.70/1489.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.70/1489.19 c 1404s| 5810k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 254k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1491.31/1491.76 c 1407s| 5820k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 255k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1493.80/1494.29 c 1409s| 5830k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 255k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1496.30/1496.76 c 1412s| 5840k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 256k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1498.91/1499.36 c 1414s| 5850k| 753 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 256k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1501.60/1502.08 c 1417s| 5860k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 257k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1504.20/1504.62 c 1419s| 5870k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 257k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1507.20/1507.63 c 1422s| 5880k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 258k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1510.29/1510.74 c 1425s| 5890k| 758 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 259k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1512.89/1513.39 c 1427s| 5900k| 754 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 259k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1515.69/1516.19 c 1430s| 5910k| 753 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 260k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1518.29/1518.76 c 1432s| 5920k| 751 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 260k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1520.90/1521.39 c 1435s| 5930k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 261k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1524.49/1524.95 c 1438s| 5940k| 749 | 0 | 0.0 |6988k| 826 | - |1176 |4667 | 0 | 0 | 0 | 262k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1527.09/1527.55 c 1441s| 5950k| 755 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 263k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1529.59/1530.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.59/1530.03 c 1443s| 5960k| 753 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 263k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1532.59/1533.00 c 1446s| 5970k| 756 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 263k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1535.09/1535.56 c 1448s| 5980k| 749 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 264k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1537.49/1537.97 c 1451s| 5990k| 758 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 264k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1539.79/1540.25 c 1453s| 6000k| 757 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 264k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1542.08/1542.53 c 1455s| 6010k| 754 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 265k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1544.38/1544.89 c 1457s| 6020k| 753 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 265k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1547.39/1547.83 c 1460s| 6030k| 752 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 266k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1549.88/1550.33 c 1462s| 6040k| 752 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 266k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1553.18/1553.67 c 1465s| 6050k| 758 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 267k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1555.68/1556.15 c 1468s| 6060k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 268k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1558.78/1559.24 c 1471s| 6070k| 753 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 269k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1561.28/1561.70 c 1473s| 6080k| 754 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 269k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1564.18/1564.66 c 1476s| 6090k| 752 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 270k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1567.58/1568.02 c 1479s| 6100k| 756 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 271k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1570.08/1570.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.08/1570.50 c 1481s| 6110k| 753 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 271k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1572.38/1572.83 c 1484s| 6120k| 750 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 272k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1574.89/1575.31 c 1486s| 6130k| 757 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 272k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1577.17/1577.62 c 1488s| 6140k| 756 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 272k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1579.38/1579.85 c 1490s| 6150k| 755 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 272k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1581.78/1582.21 c 1492s| 6160k| 756 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 273k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1584.17/1584.61 c 1495s| 6170k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 273k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1586.47/1586.92 c 1497s| 6180k| 758 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 273k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1588.88/1589.38 c 1499s| 6190k| 756 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 273k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1591.38/1591.83 c 1502s| 6200k| 751 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 274k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1593.78/1594.21 c 1504s| 6210k| 754 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 274k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1595.97/1596.49 c 1506s| 6220k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 274k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1598.27/1598.77 c 1508s| 6230k| 752 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 274k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1600.77/1601.23 c 1510s| 6240k| 756 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 274k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1603.37/1603.82 c 1513s| 6250k| 753 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 275k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1605.87/1606.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.87/1606.32 c 1515s| 6260k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 275k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1608.37/1608.86 c 1518s| 6270k| 757 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 276k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1611.67/1612.12 c 1521s| 6280k| 754 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 277k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1614.17/1614.64 c 1523s| 6290k| 753 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 277k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1616.58/1617.02 c 1525s| 6300k| 753 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 277k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1619.46/1619.92 c 1528s| 6310k| 752 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 278k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1621.86/1622.36 c 1530s| 6320k| 755 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 278k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1624.28/1624.76 c 1533s| 6330k| 754 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 278k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1626.57/1627.02 c 1535s| 6340k| 750 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 279k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1629.87/1630.37 c 1538s| 6350k| 754 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 280k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1632.27/1632.74 c 1540s| 6360k| 755 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 280k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1634.57/1635.07 c 1542s| 6370k| 756 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 280k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1637.26/1637.79 c 1545s| 6380k| 757 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 281k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1640.26/1640.74 c 1548s| 6390k| 751 | 0 | 0.0 |6989k| 826 | - |1176 |4667 | 0 | 0 | 0 | 282k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1643.56/1644.09 c 1551s| 6400k| 754 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 283k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1646.15/1646.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.15/1646.61 c 1553s| 6410k| 755 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 283k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1648.76/1649.22 c 1556s| 6420k| 754 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 284k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1651.36/1651.80 c 1558s| 6430k| 757 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 284k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1653.85/1654.35 c 1561s| 6440k| 751 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 285k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1656.45/1656.93 c 1563s| 6450k| 755 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 285k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1658.75/1659.27 c 1565s| 6460k| 755 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 285k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1661.56/1662.00 c 1568s| 6470k| 752 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 286k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1664.35/1664.89 c 1571s| 6480k| 753 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 286k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1667.16/1667.66 c 1573s| 6490k| 750 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 287k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1670.35/1670.83 c 1576s| 6500k| 749 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 288k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1673.25/1673.79 c 1579s| 6510k| 749 | 0 | 0.0 |6981k| 826 | - |1176 |4667 | 0 | 0 | 0 | 289k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1675.85/1676.35 c 1581s| 6520k| 746 | 0 | 0.0 |6980k| 826 | - |1176 |4667 | 0 | 0 | 0 | 289k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1678.35/1678.84 c 1584s| 6530k| 757 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 290k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1680.74/1681.24 c 1586s| 6540k| 758 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 290k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1683.55/1684.03 c 1589s| 6550k| 751 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 291k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1686.35/1686.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.35/1686.89 c 1591s| 6560k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 292k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1689.45/1689.98 c 1594s| 6570k| 752 | 0 | 0.0 |6987k| 826 | - |1176 |4667 | 0 | 0 | 0 | 293k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1692.05/1692.57 c 1597s| 6580k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 293k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1694.85/1695.31 c 1599s| 6590k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 294k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1697.15/1697.60 c 1602s| 6600k| 755 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 294k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1699.34/1699.88 c 1604s| 6610k| 753 | 0 | 0.0 |6990k| 826 | - |1176 |4667 | 0 | 0 | 0 | 295k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1702.55/1703.00 c 1607s| 6620k| 756 | 0 | 0.0 |6987k| 826 | - |1176 |4667 | 0 | 0 | 0 | 295k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1705.65/1706.13 c 1610s| 6630k| 755 | 0 | 0.0 |6986k| 826 | - |1176 |4667 | 0 | 0 | 0 | 296k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1709.34/1709.84 c 1613s| 6640k| 752 | 0 | 0.0 |6987k| 826 | - |1176 |4667 | 0 | 0 | 0 | 298k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1712.05/1712.50 c 1616s| 6650k| 750 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 299k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1714.55/1715.04 c 1618s| 6660k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 299k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1717.24/1717.75 c 1621s| 6670k| 757 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 300k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1719.94/1720.49 c 1623s| 6680k| 755 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 300k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1722.53/1723.07 c 1626s| 6690k| 751 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 301k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1725.13/1725.64 c 1628s| 6700k| 752 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 301k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1727.44/1727.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.44/1727.92 c 1630s| 6710k| 752 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 301k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1730.24/1730.74 c 1633s| 6720k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 302k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1732.73/1733.27 c 1635s| 6730k| 753 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 303k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1735.35/1735.83 c 1638s| 6740k| 752 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 303k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1738.23/1738.75 c 1641s| 6750k| 758 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 304k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1740.73/1741.24 c 1643s| 6760k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 304k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1743.73/1744.28 c 1646s| 6770k| 755 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 305k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1746.34/1746.90 c 1648s| 6780k| 752 | 0 | 0.0 |6987k| 826 | - |1176 |4667 | 0 | 0 | 0 | 306k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1749.73/1750.23 c 1651s| 6790k| 751 | 0 | 0.0 |6982k| 826 | - |1176 |4667 | 0 | 0 | 0 | 307k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1752.63/1753.11 c 1654s| 6800k| 753 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 308k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1755.73/1756.28 c 1657s| 6810k| 756 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 309k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1759.43/1759.93 c 1661s| 6820k| 756 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 310k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1762.52/1763.07 c 1664s| 6830k| 751 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 312k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1765.33/1765.84 c 1666s| 6840k| 754 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 312k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1768.43/1768.98 c 1669s| 6850k| 756 | 0 | 0.0 |6988k| 826 | - |1176 |4667 | 0 | 0 | 0 | 313k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1771.22/1771.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.22/1771.74 c 1672s| 6860k| 751 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 314k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1773.84/1774.37 c 1674s| 6870k| 757 | 0 | 0.0 |6988k| 826 | - |1176 |4667 | 0 | 0 | 0 | 315k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1776.52/1777.00 c 1677s| 6880k| 756 | 0 | 0.0 |6986k| 826 | - |1176 |4667 | 0 | 0 | 0 | 315k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1779.13/1779.64 c 1679s| 6890k| 755 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 316k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1781.63/1782.13 c 1682s| 6900k| 752 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 316k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1784.32/1784.81 c 1684s| 6910k| 755 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 317k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1786.92/1787.43 c 1687s| 6920k| 759 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 317k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1789.52/1790.05 c 1689s| 6930k| 752 | 0 | 0.0 |6983k| 826 | - |1176 |4667 | 0 | 0 | 0 | 318k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1792.12/1792.62 c 1692s| 6940k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 318k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1794.52/1795.04 c 1694s| 6950k| 754 | 0 | 0.0 |6984k| 826 | - |1176 |4667 | 0 | 0 | 0 | 319k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1797.22/1797.72 c 1696s| 6960k| 758 | 0 | 0.0 |6985k| 826 | - |1176 |4667 | 0 | 0 | 0 | 319k| 0 | 1.560000e+02 | 5.030000e+02 | 222.44%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1699.03
1800.03/1800.50 c Solving Nodes : 6968533
1800.03/1800.50 c Primal Bound : +5.03000000000000e+02 (6 solutions)
1800.03/1800.50 c Dual Bound : +1.56000000000000e+02
1800.03/1800.50 c Gap : 222.44 %
1800.03/1800.51 s SATISFIABLE
1800.03/1800.51 v x416 -x415 -x414 x412 -x411 x410 x409 x408 x407 x406 -x405 x404 -x403 -x401 -x400 -x399 -x398 -x397 -x396 x395 x394 -x393 x392
1800.03/1800.51 v x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x368 x367
1800.03/1800.51 v x366 -x365 x364 x363 -x362 -x361 x360 -x359 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x346 -x345 -x344
1800.03/1800.51 v x343 -x342 x341 -x340 -x339 x338 x337 x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x323 x322 x321 -x320 -x319 -x318
1800.03/1800.51 v -x317 -x316 -x315 -x314 x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 x304 -x303 -x301 -x300 -x299 -x298 -x297 x296 -x295
1800.03/1800.51 v -x294 x293 -x292 x290 -x289 x288 -x287 -x286 -x285 -x284 x283 -x282 x281 -x279 -x278 -x277 -x276 -x275 x274 -x273 x272 -x271
1800.03/1800.51 v -x270 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 x260 x259 -x257 x256 x255 -x254 -x253 x252 -x251 -x250 x249 x248 x246
1800.03/1800.51 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x235 x234 -x233 -x232 -x231 -x230 -x229 x228 x227 -x226 -x223 -x222 x221
1800.03/1800.51 v -x220 -x219 -x218 -x217 x216 -x215 x214 -x212 x211 -x210 x209 -x208 x207 -x206 -x205 -x204 -x203 x201 -x200 -x199 -x198 -x197
1800.03/1800.51 v -x196 x195 -x194 x193 -x192 -x190 -x189 x188 -x187 x186 -x185 x184 -x183 -x182 -x181 -x179 -x178 -x177 -x176 -x175 -x174
1800.03/1800.51 v -x173 -x172 -x171 x170 -x168 x167 -x166 x165 -x164 x163 x162 -x161 -x160 -x159 -x157 x156 -x155 x154 -x153 x152 x151 -x150 x149
1800.03/1800.51 v -x148 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.51 v -x124 x123 -x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x112 -x111 -x110 -x109 x108 -x107 -x106 x105 -x104 -x103 -x101 -x100
1800.03/1800.51 v -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x79 -x78 -x77 -x76 -x75 -x74 -x73
1800.03/1800.51 v -x72 -x71 -x70 -x68 x67 x66 x65 -x64 -x63 -x62 x61 -x60 -x59 x57 -x56 -x55 x54 -x53 x52 -x51 -x50 -x49 x48 -x46 -x45 -x44 x43
1800.03/1800.51 v -x42 -x41 -x40 x39 x38 -x37 x35 x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 x16 -x15
1800.03/1800.51 v -x13 -x12 x11 -x10 -x9 -x8 -x7 x6 -x5 x4 x1372 -x1371 x1370 x1369 -x1368 -x1367 -x1366 x1365 x1364 -x1363 -x1361 -x1360 -x1359
1800.03/1800.51 v x1358 x1357 -x1356 -x1355 -x1354 -x1353 -x1352 x1350 -x1349 x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 -x1341 -x1339 -x1338
1800.03/1800.51 v -x1337 -x1336 x1335 -x1334 -x1333 x1332 -x1331 -x1330 x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
1800.03/1800.51 v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 x1311 -x1310 x1309 -x1308 -x1306 -x1305 x1304 -x1303 -x1302 -x1301 x1300 -x1299
1800.03/1800.51 v -x1298 -x1297 x1295 -x1294 -x1293 -x1292 x1291 x1290 x1289 -x1288 -x1287 -x1286 -x1284 -x1283 -x1282 -x1281 -x1280 x1279 x1278
1800.03/1800.51 v -x1277 -x1276 x1275 -x1273 -x1272 x1271 -x1270 -x1269 x1268 -x1267 x1266 x1265 -x1264 -x1261 x1260 -x1259 -x1258 -x1257 -x1256
1800.03/1800.51 v -x1255 -x1254 x1253 -x1252 -x1250 -x1249 x1248 x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 x1239 -x1238 -x1237 x1236 -x1235
1800.03/1800.51 v -x1234 -x1233 -x1232 -x1231 -x1230 -x1228 -x1227 -x1226 -x1225 -x1224 x1223 x1222 -x1221 -x1220 -x1219 -x1217 -x1216 -x1215
1800.03/1800.51 v -x1214 -x1213 -x1212 x1211 x1210 -x1209 -x1208 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1195
1800.03/1800.51 v x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1184 -x1183 -x1182 x1181 x1180 -x1179 -x1178 -x1177 -x1176
1800.03/1800.51 v -x1175 -x1173 -x1172 x1171 -x1170 -x1169 x1168 x1167 -x1166 -x1165 x1164 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156 -x1155
1800.03/1800.51 v -x1154 -x1153 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1800.03/1800.51 v -x1133 -x1132 x1131 x1130 x1128 -x1127 x1126 x1125 -x1124 -x1123 x1122 x1121 -x1120 -x1119 -x1117 -x1116 -x1115 -x1114 -x1113
1800.03/1800.51 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1106 x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 x1095 x1094 x1093
1800.03/1800.51 v x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1084 -x1083 x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1073 -x1072
1800.03/1800.51 v x1071 x1070 x1069 x1068 x1067 x1066 -x1065 x1064 x1062 -x1061 x1060 -x1059 x1058 -x1057 x1056 x1055 x1054 x1053 x1051 -x1050
1800.03/1800.51 v -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030
1800.03/1800.51 v -x1028 x1027 x1026 x1025 x1024 x1023 -x1022 x1021 x1020 -x1019 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009
1800.03/1800.51 v -x1008 -x1006 x1005 -x1004 x1003 -x1002 -x1001 -x1000 x999 -x998 -x997 x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 x986
1800.03/1800.51 v -x984 x983 -x982 x981 -x980 -x979 x978 -x977 -x976 -x975 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 -x962
1800.03/1800.51 v -x961 -x960 x959 -x958 x957 x956 -x955 -x954 x953 -x951 -x950 -x949 -x948 -x947 x946 -x945 x944 x943 -x942 -x940 -x939 -x938
1800.03/1800.51 v -x937 -x936 x935 x934 x933 -x932 x931 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 x919 -x917 x916 -x915 -x914 x913 -x912
1800.03/1800.51 v -x911 -x910 -x909 x908 x906 x905 -x904 -x903 -x902 x901 -x900 -x899 x898 x897 x895 -x894 -x893 x892 -x891 x890 x889 -x888
1800.03/1800.51 v -x887 x886 -x884 -x883 x882 -x881 -x880 x879 -x878 -x877 -x876 x875 x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864
1800.03/1800.51 v x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x851 x850 -x849 -x848 -x847 x846 -x845 -x844 x843 -x842 -x840 x839
1800.03/1800.51 v -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x829 -x828 -x827 -x826 x825 x824 -x823 x822 -x821 x820 x817 x816 -x815 -x814
1800.03/1800.51 v -x813 x812 -x811 x810 -x809 x808 -x806 -x805 x804 x803 -x802 x801 x800 -x799 x798 -x797 x795 x794 x793 -x792 -x791 x790 -x789
1800.03/1800.51 v x788 x787 -x786 -x784 -x783 x782 x781 x780 x779 x778 x777 x776 -x775 x773 x772 -x771 -x770 x769 x768 x767 x766 x765 -x764
1800.03/1800.51 v -x762 -x761 x760 -x759 x758 -x757 -x756 x755 x754 -x753 x751 x750 x749 -x748 -x747 x746 -x745 x744 -x743 -x742 -x740 x739 x738
1800.03/1800.51 v -x737 -x736 x735 x734 -x733 -x732 -x731 x729 -x728 x727 -x726 -x725 -x724 x723 -x722 -x721 -x720 x718 -x717 x716 -x715 x714
1800.03/1800.51 v -x713 -x712 -x711 -x710 x709 -x706 -x705 x704 -x703 x702 -x701 -x700 x699 x698 -x697 -x695 x694 x693 x692 -x691 x690 x689
1800.03/1800.51 v -x688 -x687 -x686 x684 -x683 x682 x681 x680 x679 x678 x677 x676 x675 -x673 x672 x671 x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.03/1800.51 v x662 x661 x660 -x659 x658 -x657 -x656 -x655 -x654 -x653 -x651 -x650 x649 -x648 -x647 -x646 -x645 x644 -x643 x642 x640 x639 -x638
1800.03/1800.51 v x637 x636 x635 x634 -x633 x632 x631 x629 x628 -x627 -x626 x625 -x624 -x623 x622 -x621 x620 -x618 x617 -x616 x615 x614 x613
1800.03/1800.51 v x612 x611 x610 x609 -x607 x606 -x605 x604 -x603 -x602 -x601 -x600 x599 -x598 -x595 x594 -x593 -x592 -x591 -x590 x589 x588
1800.03/1800.51 v -x587 x586 x584 -x583 -x582 x581 -x580 -x579 -x578 x577 -x576 -x575 x573 -x572 x571 x570 -x569 -x568 x567 x566 x565 -x564 x562
1800.03/1800.51 v -x561 x560 -x559 -x558 x557 -x556 -x555 x554 x553 -x551 x550 -x549 -x548 x547 -x546 x545 x544 -x543 x542 x540 -x539 x538 -x537
1800.03/1800.51 v x536 -x535 x534 -x533 -x532 -x531 x529 -x528 -x527 x526 -x525 x524 -x523 x522 -x521 -x520 x518 -x517 x516 -x515 -x514 -x513
1800.03/1800.51 v -x512 -x511 x510 -x509 x507 -x506 -x505 -x504 x503 -x502 x501 -x500 -x499 -x498 -x496 -x495 -x494 -x493 -x492 x491 x490 x489
1800.03/1800.51 v x488 -x487 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 x476 x475 -x473 -x472 x471 x470 x469 x468 x467 x466 -x465 x464 x462
1800.03/1800.51 v x461 -x460 -x459 -x458 x457 -x456 -x455 x454 x453 -x451 x450 -x449 x448 x447 x446 x445 -x444 x443 -x442 x440 x439 x438 x437
1800.03/1800.51 v -x436 -x435 x434 x433 -x432 x431 x429 -x428 -x427 -x426 x425 x424 x423 x422 x421 -x420 -x418 x417 -x413 x402 -x391 -x380 -x369
1800.03/1800.51 v x358 x347 x336 x324 x313 -x302 x291 -x280 x269 -x258 -x247 x236 x225 x213 x202 -x191 -x180 -x169 -x158 x147 x136 x125 x114
1800.03/1800.51 v -x102 x91 -x80 -x69 -x58 x47 x36 x25 x14 x3 x1362 x1351 -x1340 x1329 -x1318 x1307 -x1296 x1285 -x1274 x1263 x1251 x1240 x1229
1800.03/1800.51 v x1218 x1207 -x1196 x1185 -x1174 -x1163 x1152 -x1140 -x1129 -x1118 x1107 -x1096 -x1085 -x1074 x1063 x1052 -x1041 x1029 x1018
1800.03/1800.51 v -x1007 x996 -x985 x974 -x963 x952 -x941 -x930 x918 x907 -x896 x885 x874 -x863 x852 x841 x830 -x819 x807 -x796 -x785 -x774
1800.03/1800.51 v x763 -x752 x741 -x730 x719 x708 -x696 x685 x674 x663 -x652 x641 x630 x619 x608 -x597 -x585 x574 x563 -x552 -x541 x530 x519 x508
1800.03/1800.51 v -x497 x486 -x474 -x463 x452 -x441 -x430 -x419 x335 -x224 x113 -x2 x1262 x1151 x1040 x929 -x818 x707 x596 x485 -x1
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1699.03
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2664245-1276359180.opb
1800.03/1800.51 c Variables : 1372 (1372 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 4944 initial, 4944 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2664245-1276359180.opb
1800.03/1800.51 c Variables : 1176 (1176 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 4667 initial, 4667 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 37 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.06 117 42 0 117 0 277 0 0
1800.03/1800.51 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c logicor : 4667+ 0 7963551 0 3 321189 6146972 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c logicor : 327.31 0.00 327.31 0.00 0.00
1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 6.68 2 0 0
1800.03/1800.51 c rootredcost : 6.47 0 0 0
1800.03/1800.51 c pseudoobj : 829.04 14199856 2661761 38820034
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 281.85 320543 320543 320543 327.5 39 333.9 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 192.34 541853 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 0 0.0 - - -
1800.03/1800.51 c applied locally : - - - 320543 327.5 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 0.00 0 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 0 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.51 c cmir : 0.00 0 0 0 0 0
1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.51 c clique : 0.00 0 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 0 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 62.38 3548597 0 0 0 0 7097194
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 3
1800.03/1800.51 c oneopt : 4.54 0 0
1800.03/1800.51 c trivial : 0.01 2 3
1800.03/1800.51 c simplerounding : 0.00 0 0
1800.03/1800.51 c zirounding : 0.00 0 0
1800.03/1800.51 c rounding : 0.00 0 0
1800.03/1800.51 c shifting : 0.00 0 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 3.01 0 0
1800.03/1800.51 c trysol : 3.18 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 6968533
1800.03/1800.51 c nodes (total) : 6968533
1800.03/1800.51 c nodes left : 749
1800.03/1800.51 c max depth : 826
1800.03/1800.51 c max depth (total): 826
1800.03/1800.51 c backtracks : 2051709 (29.4%)
1800.03/1800.51 c delayed cutoffs : 117716
1800.03/1800.51 c repropagations : 243089 (1883632 domain reductions, 104870 cutoffs)
1800.03/1800.51 c avg switch length: 2.01
1800.03/1800.51 c switching time : 82.43
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 6 (5 improvements)
1800.03/1800.51 c First Solution : +1.37200000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.51 c Primal Bound : +5.03000000000000e+02 (in run 1, after 2303522 nodes, 540.41 seconds, depth 777, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +1.56000000000000e+02
1800.03/1800.51 c Gap : 222.44 %
1800.03/1800.51 c Root Dual Bound : +1.55000000000000e+02
1800.03/1800.51 c Root Iterations : 0
1800.03/1800.53 c Time complete: 1800.06.
OK 503
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664245-1276359180/watcher-2664245-1276359180 -o /tmp/evaluation-result-2664245-1276359180/solver-2664245-1276359180 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664245-1276359180.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 0.98 0.99 3/106 11010 /proc/meminfo: memFree=1478888/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=5552 CPUtime=0 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 816 0 0 0 0 0 0 0 19 0 1 0 11519792 5685248 738 1992294400 4194304 7136930 140734494545024 18446744073709551615 6346856 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11010/statm: 1388 746 243 719 0 667 0 [startup+0.109296 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11010 /proc/meminfo: memFree=1478888/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=11308 CPUtime=0.1 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 2311 0 0 0 10 0 0 0 20 0 1 0 11519792 11579392 2233 1992294400 4194304 7136930 140734494545024 18446744073709551615 6334794 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11010/statm: 2827 2233 271 719 0 2106 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11308 [startup+0.201307 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11010 /proc/meminfo: memFree=1478888/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=20684 CPUtime=0.19 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 5098 0 0 0 17 2 0 0 20 0 1 0 11519792 21180416 4409 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 5171 4409 353 719 0 4450 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 20684 [startup+0.301317 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11010 /proc/meminfo: memFree=1478888/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=22848 CPUtime=0.29 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7425 0 0 0 25 4 0 0 20 0 1 0 11519792 23396352 4937 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 5712 4937 360 719 0 4991 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22848 [startup+0.701361 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11010 /proc/meminfo: memFree=1478888/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24664 CPUtime=0.69 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7921 0 0 0 62 7 0 0 21 0 1 0 11519792 25255936 5430 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6166 5430 390 719 0 5445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24664 [startup+1.50045 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11011 /proc/meminfo: memFree=1458544/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24664 CPUtime=1.49 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7926 0 0 0 137 12 0 0 22 0 1 0 11519792 25255936 5435 1992294400 4194304 7136930 140734494545024 18446744073709551615 6122448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6166 5435 390 719 0 5445 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24664 [startup+3.10063 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11011 /proc/meminfo: memFree=1458296/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24664 CPUtime=3.09 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7928 0 0 0 286 23 0 0 25 0 1 0 11519792 25255936 5437 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6166 5437 390 719 0 5445 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24664 [startup+6.30098 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11011 /proc/meminfo: memFree=1458172/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24664 CPUtime=6.29 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7933 0 0 0 585 44 0 0 25 0 1 0 11519792 25255936 5442 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6166 5442 390 719 0 5445 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24664 [startup+12.7007 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11011 /proc/meminfo: memFree=1458048/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24664 CPUtime=12.69 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7940 0 0 0 1186 83 0 0 25 0 1 0 11519792 25255936 5449 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6166 5449 390 719 0 5445 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24664 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11011 /proc/meminfo: memFree=1458048/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24664 CPUtime=25.48 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7946 0 0 0 2383 165 0 0 25 0 1 0 11519792 25255936 5455 1992294400 4194304 7136930 140734494545024 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6166 5455 390 719 0 5445 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24664 [startup+51.1019 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11011 /proc/meminfo: memFree=1457924/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24796 CPUtime=51.08 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7955 0 0 0 4800 308 0 0 25 0 1 0 11519792 25391104 5464 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6199 5464 390 719 0 5478 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24796 [startup+102.302 s] /proc/loadavg: 1.04 1.00 1.00 2/107 11016 /proc/meminfo: memFree=1457304/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24936 CPUtime=102.27 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 7986 0 0 0 9627 600 0 0 25 0 1 0 11519792 25534464 5495 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6234 5495 390 719 0 5513 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24936 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11018 /proc/meminfo: memFree=1457304/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24936 CPUtime=162.25 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8001 0 0 0 15290 935 0 0 25 0 1 0 11519792 25534464 5510 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6234 5510 390 719 0 5513 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24936 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11020 /proc/meminfo: memFree=1457304/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24936 CPUtime=222.24 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8008 0 0 0 20936 1288 0 0 25 0 1 0 11519792 25534464 5517 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6234 5517 390 719 0 5513 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 24936 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11020 /proc/meminfo: memFree=1457180/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24936 CPUtime=282.22 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8010 0 0 0 26583 1639 0 0 25 0 1 0 11519792 25534464 5519 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6234 5519 390 719 0 5513 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 24936 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11022 /proc/meminfo: memFree=1456932/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=24936 CPUtime=342.2 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8014 0 0 0 32250 1970 0 0 25 0 1 0 11519792 25534464 5523 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6234 5523 390 719 0 5513 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 24936 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11024 /proc/meminfo: memFree=1456808/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25068 CPUtime=402.19 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8016 0 0 0 37914 2305 0 0 25 0 1 0 11519792 25669632 5525 1992294400 4194304 7136930 140734494545024 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6267 5525 390 719 0 5546 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 25068 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11026 /proc/meminfo: memFree=1456808/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25068 CPUtime=462.17 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8019 0 0 0 43543 2674 0 0 25 0 1 0 11519792 25669632 5528 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6267 5528 390 719 0 5546 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 25068 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11028 /proc/meminfo: memFree=1456684/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25068 CPUtime=522.15 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8040 0 0 0 49189 3026 0 0 25 0 1 0 11519792 25669632 5549 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6267 5549 390 719 0 5546 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 25068 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11028 /proc/meminfo: memFree=1456560/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25200 CPUtime=582.14 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8051 0 0 0 54837 3377 0 0 25 0 1 0 11519792 25804800 5560 1992294400 4194304 7136930 140734494545024 18446744073709551615 5907491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6300 5560 390 719 0 5579 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 25200 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11030 /proc/meminfo: memFree=1456436/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25200 CPUtime=642.13 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8054 0 0 0 60472 3741 0 0 25 0 1 0 11519792 25804800 5563 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6300 5563 390 719 0 5579 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 25200 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11036 /proc/meminfo: memFree=1455940/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25200 CPUtime=822.08 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8071 0 0 0 77452 4756 0 0 25 0 1 0 11519792 25804800 5580 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6300 5580 390 719 0 5579 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 25200 [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11036 /proc/meminfo: memFree=1455816/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25200 CPUtime=882.06 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8071 0 0 0 83115 5091 0 0 25 0 1 0 11519792 25804800 5580 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6300 5580 390 719 0 5579 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 25200 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11038 /proc/meminfo: memFree=1455692/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25200 CPUtime=942.05 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8071 0 0 0 88771 5434 0 0 25 0 1 0 11519792 25804800 5580 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6300 5580 390 719 0 5579 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 25200 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11040 /proc/meminfo: memFree=1455444/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1002.02 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8085 0 0 0 94433 5769 0 0 25 0 1 0 11519792 25944064 5594 1992294400 4194304 7136930 140734494545024 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5594 390 719 0 5613 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 25336 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11042 /proc/meminfo: memFree=1455444/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1062.01 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8100 0 0 0 100119 6082 0 0 25 0 1 0 11519792 25944064 5609 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5609 390 719 0 5613 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 25336 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11044 /proc/meminfo: memFree=1455320/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1121.99 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8103 0 0 0 105810 6389 0 0 25 0 1 0 11519792 25944064 5612 1992294400 4194304 7136930 140734494545024 18446744073709551615 5506197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5612 390 719 0 5613 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 25336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11044 /proc/meminfo: memFree=1455072/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1181.98 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8103 0 0 0 111476 6722 0 0 25 0 1 0 11519792 25944064 5612 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5612 390 719 0 5613 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 25336 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11046 /proc/meminfo: memFree=1454824/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1241.97 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8107 0 0 0 117145 7052 0 0 25 0 1 0 11519792 25944064 5616 1992294400 4194304 7136930 140734494545024 18446744073709551615 5913469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5616 390 719 0 5613 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 25336 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11048 /proc/meminfo: memFree=1454576/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1301.95 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8110 0 0 0 122800 7395 0 0 25 0 1 0 11519792 25944064 5619 1992294400 4194304 7136930 140734494545024 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5619 390 719 0 5613 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 25336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11050 /proc/meminfo: memFree=1454576/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1361.93 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8110 0 0 0 128476 7717 0 0 25 0 1 0 11519792 25944064 5619 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5619 390 719 0 5613 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 25336 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11052 /proc/meminfo: memFree=1454452/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1421.92 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8110 0 0 0 134139 8053 0 0 25 0 1 0 11519792 25944064 5619 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5619 390 719 0 5613 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 25336 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11052 /proc/meminfo: memFree=1454328/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1481.91 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8112 0 0 0 139801 8390 0 0 25 0 1 0 11519792 25944064 5621 1992294400 4194304 7136930 140734494545024 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5621 390 719 0 5613 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 25336 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11054 /proc/meminfo: memFree=1454204/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1541.89 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8114 0 0 0 145484 8705 0 0 25 0 1 0 11519792 25944064 5623 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5623 390 719 0 5613 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 25336 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11056 /proc/meminfo: memFree=1454080/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1601.87 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8114 0 0 0 151152 9035 0 0 25 0 1 0 11519792 25944064 5623 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5623 390 719 0 5613 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 25336 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11058 /proc/meminfo: memFree=1453956/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25336 CPUtime=1661.85 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8115 0 0 0 156829 9356 0 0 25 0 1 0 11519792 25944064 5624 1992294400 4194304 7136930 140734494545024 18446744073709551615 4998670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6334 5624 390 719 0 5613 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 25336 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11060 /proc/meminfo: memFree=1453832/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25468 CPUtime=1721.84 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8118 0 0 0 162511 9673 0 0 25 0 1 0 11519792 26079232 5627 1992294400 4194304 7136930 140734494545024 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6367 5627 390 719 0 5646 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 25468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11060 /proc/meminfo: memFree=1453584/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25468 CPUtime=1781.82 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8131 0 0 0 168192 9990 0 0 25 0 1 0 11519792 26079232 5640 1992294400 4194304 7136930 140734494545024 18446744073709551615 5507391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6367 5640 390 719 0 5646 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 25468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11062 /proc/meminfo: memFree=1453584/2059040 swapFree=4192956/4192956 [pid=11010] ppid=11008 vsize=25468 CPUtime=1800.03 /proc/11010/stat : 11010 (pbscip.linux.x8) R 11008 11010 10652 0 -1 4202496 8134 0 0 0 169915 10088 0 0 25 0 1 0 11519792 26079232 5643 1992294400 4194304 7136930 140734494545024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11010/statm: 6367 5643 390 719 0 5646 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 25468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.07 CPU user time (s): 1699.18 CPU system time (s): 100.884 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 25468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1699.18 system time used= 100.884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8149 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3510 runsolver used 3.01054 second user time and 8.51571 second system time The end
Begin job on node009 at 2010-06-12 18:13:00 IDJOB=2664245 IDBENCH=1873 IDSOLVER=1167 FILE ID=node009/2664245-1276359180 PBS_JOBID= 11173210 Free space on /tmp= 62444 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.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-2664245-1276359180/watcher-2664245-1276359180 -o /tmp/evaluation-result-2664245-1276359180/solver-2664245-1276359180 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664245-1276359180.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED=612306520 node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.199 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1479416 kB Buffers: 118784 kB Cached: 331464 kB SwapCached: 0 kB Active: 181628 kB Inactive: 327864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1479416 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3508 kB Writeback: 4 kB AnonPages: 59240 kB Mapped: 15408 kB Slab: 48432 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179572 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62440 MiB End job on node009 at 2010-06-12 18:43:03