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) | -35 | 1800.27 | 1800.89 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb |
| MD5SUM | aabc023158e10c9511062af8ac97c515 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -38 |
| Best CPU time to get the best result obtained on this benchmark | 1789.82 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58624 |
| Number of constraints which are clauses | 58624 |
| 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 | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| 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 | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-2664081-1276498707.opb>
0.89/0.92 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.89/0.92 c problem read
0.89/0.92 c presolving settings loaded
0.89/0.92 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.99/1.07 o 0
0.99/1.07 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.99/1.07 c presolving:
1.79/1.85 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58624 upgd conss, 117248 impls, 0 clqs
3.19/3.28 c (2.1s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.19/3.28 c (2.1s) probing aborted: 100/100 successive totally useless probings
3.19/3.28 c presolving (2 rounds):
3.19/3.28 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.19/3.28 c 117248 implications, 0 cliques
3.19/3.28 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
3.19/3.28 c 58624 constraints of type <logicor>
3.19/3.28 c transformed objective value is always integral (scale: 1)
3.19/3.28 c Presolving Time: 2.04
3.19/3.28 c - non default parameters ----------------------------------------------------------------------
3.19/3.28 c # SCIP version 1.2.1.2
3.19/3.28 c
3.19/3.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.19/3.28 c # [type: int, range: [-1,2147483647], default: -1]
3.19/3.28 c conflict/interconss = 0
3.19/3.28 c
3.19/3.28 c # should binary conflicts be preferred?
3.19/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.28 c conflict/preferbinary = TRUE
3.19/3.28 c
3.19/3.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.19/3.28 c # [type: int, range: [-1,2147483647], default: 0]
3.19/3.28 c constraints/agelimit = 1
3.19/3.28 c
3.19/3.28 c # should enforcement of pseudo solution be disabled?
3.19/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.28 c constraints/disableenfops = TRUE
3.19/3.28 c
3.19/3.28 c # frequency for displaying node information lines
3.19/3.28 c # [type: int, range: [-1,2147483647], default: 100]
3.19/3.28 c display/freq = 10000
3.19/3.28 c
3.19/3.28 c # maximal time in seconds to run
3.19/3.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.28 c limits/time = 1799.09
3.19/3.28 c
3.19/3.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.19/3.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.28 c limits/memory = 1620
3.19/3.28 c
3.19/3.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.19/3.28 c # [type: int, range: [-1,2147483647], default: 1]
3.19/3.28 c lp/solvefreq = -1
3.19/3.28 c
3.19/3.28 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)
3.19/3.28 c # [type: char, range: {lafpsqd}, default: l]
3.19/3.28 c lp/pricing = a
3.19/3.28 c
3.19/3.28 c # should presolving try to simplify inequalities
3.19/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.28 c constraints/linear/simplifyinequalities = TRUE
3.19/3.28 c
3.19/3.28 c # should presolving try to simplify knapsacks
3.19/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.28 c constraints/knapsack/simplifyinequalities = TRUE
3.19/3.28 c
3.19/3.28 c # priority of node selection rule <dfs> in standard mode
3.19/3.28 c # [type: int, range: [-536870912,536870911], default: 0]
3.19/3.28 c nodeselection/dfs/stdpriority = 1000000
3.19/3.28 c
3.19/3.28 c -----------------------------------------------------------------------------------------------
3.19/3.28 c start solving
3.19/3.28 c
3.30/3.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.30 c t 2.1s| 1 | 2 | 0 | - | 41M| 0 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.450000e+02 | 0.000000e+00 | 100.00%
3.30/3.33 o -33
3.30/3.33 c * 2.2s| 34 | 28 | 0 | 0.0 | 41M| 33 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
5.89/5.97 o -34
5.89/5.97 c * 4.7s| 5889 | 23 | 0 | 0.0 | 42M| 40 | - | 945 | 58k| 0 | 0 | 0 | 47 | 0 |-9.440000e+02 |-3.400000e+01 | 96.40%
6.49/6.54 o -35
6.49/6.54 c * 5.3s| 7124 | 25 | 0 | 0.0 | 42M| 41 | - | 945 | 58k| 0 | 0 | 0 | 49 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
7.80/7.86 c 6.6s| 10000 | 21 | 0 | 0.0 | 42M| 45 | - | 945 | 58k| 0 | 0 | 0 | 55 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
12.29/12.35 c 10.9s| 20000 | 23 | 0 | 0.0 | 42M| 47 | - | 945 | 58k| 0 | 0 | 0 | 104 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
16.60/16.68 c 15.1s| 30000 | 22 | 0 | 0.0 | 42M| 51 | - | 945 | 58k| 0 | 0 | 0 | 147 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
21.08/21.14 c 19.4s| 40000 | 20 | 0 | 0.0 | 42M| 51 | - | 945 | 58k| 0 | 0 | 0 | 187 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
25.48/25.59 c 23.7s| 50000 | 23 | 0 | 0.0 | 42M| 51 | - | 945 | 58k| 0 | 0 | 0 | 223 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
29.98/30.05 c 28.0s| 60000 | 20 | 0 | 0.0 | 42M| 51 | - | 945 | 58k| 0 | 0 | 0 | 250 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
34.48/34.55 c 32.4s| 70000 | 20 | 0 | 0.0 | 42M| 51 | - | 945 | 58k| 0 | 0 | 0 | 309 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
38.98/39.04 c 36.8s| 80000 | 21 | 0 | 0.0 | 42M| 52 | - | 945 | 58k| 0 | 0 | 0 | 348 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
43.27/43.35 c 40.9s| 90000 | 21 | 0 | 0.0 | 42M| 53 | - | 945 | 58k| 0 | 0 | 0 | 382 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
47.86/47.96 c 45.4s|100000 | 25 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 406 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
52.67/52.71 c 49.9s|110000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 462 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
57.37/57.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.37/57.44 c 54.5s|120000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 514 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
62.07/62.10 c 59.1s|130000 | 20 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 566 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
66.67/66.79 c 63.6s|140000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 602 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
71.26/71.39 c 68.1s|150000 | 22 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 634 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
75.66/75.79 c 72.4s|160000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 673 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
80.06/80.17 c 76.6s|170000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 695 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
84.66/84.73 c 81.0s|180000 | 23 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 718 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
89.16/89.28 c 85.4s|190000 | 22 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 752 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
93.65/93.73 c 89.8s|200000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 802 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
98.26/98.38 c 94.3s|210000 | 20 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 830 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
102.85/102.94 c 98.7s|220000 | 22 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 858 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
107.35/107.44 c 103s|230000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 897 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
112.05/112.10 c 108s|240000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 930 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
116.35/116.46 c 112s|250000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 953 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
120.84/120.97 c 116s|260000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 | 996 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
125.24/125.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.24/125.37 c 120s|270000 | 22 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1025 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
129.85/129.99 c 125s|280000 | 20 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1054 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
134.54/134.60 c 129s|290000 | 20 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1083 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
139.24/139.35 c 134s|300000 | 21 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1122 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
143.83/143.97 c 138s|310000 | 23 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1159 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
148.33/148.49 c 143s|320000 | 24 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1261 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
153.14/153.21 c 147s|330000 | 24 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1338 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
157.82/157.99 c 152s|340000 | 23 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1415 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
162.52/162.62 c 157s|350000 | 23 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1477 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
167.12/167.22 c 161s|360000 | 23 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1509 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
171.62/171.79 c 165s|370000 | 22 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1546 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
176.22/176.31 c 170s|380000 | 23 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1593 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
180.61/180.79 c 174s|390000 | 20 | 0 | 0.0 | 42M| 57 | - | 945 | 58k| 0 | 0 | 0 |1632 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
185.31/185.41 c 179s|400000 | 24 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1666 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
190.11/190.21 c 183s|410000 | 22 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1708 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
194.81/194.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.81/194.94 c 188s|420000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1745 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
199.40/199.57 c 192s|430000 | 22 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1791 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
204.00/204.11 c 197s|440000 | 23 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1824 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
208.50/208.68 c 201s|450000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1874 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
213.10/213.22 c 206s|460000 | 20 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1913 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
217.39/217.55 c 210s|470000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1952 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
222.11/222.24 c 214s|480000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |1979 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
226.80/226.91 c 219s|490000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |2010 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
231.60/231.71 c 224s|500000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |2041 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
236.09/236.28 c 228s|510000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |2083 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
240.69/240.85 c 232s|520000 | 20 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |2105 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
245.30/245.47 c 237s|530000 | 22 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |2147 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
249.88/250.05 c 241s|540000 | 21 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |2184 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
254.58/254.70 c 246s|550000 | 20 | 0 | 0.0 | 42M| 58 | - | 945 | 58k| 0 | 0 | 0 |2235 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
259.19/259.31 c 250s|560000 | 20 | 0 | 0.0 | 42M| 60 | - | 945 | 58k| 0 | 0 | 0 |2307 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
263.69/263.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.69/263.84 c 255s|570000 | 18 | 0 | 0.0 | 42M| 60 | - | 945 | 58k| 0 | 0 | 0 |2351 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
268.08/268.29 c 259s|580000 | 19 | 0 | 0.0 | 42M| 60 | - | 945 | 58k| 0 | 0 | 0 |2413 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
272.58/272.72 c 263s|590000 | 20 | 0 | 0.0 | 42M| 63 | - | 945 | 58k| 0 | 0 | 0 |2455 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
276.98/277.15 c 268s|600000 | 19 | 0 | 0.0 | 42M| 63 | - | 945 | 58k| 0 | 0 | 0 |2513 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
281.98/282.11 c 272s|610000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2568 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
286.98/287.16 c 277s|620000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2612 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
292.18/292.40 c 282s|630000 | 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2661 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
297.47/297.69 c 288s|640000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2727 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
302.57/302.74 c 293s|650000 | 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2779 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
307.47/307.62 c 297s|660000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2821 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
312.57/312.73 c 302s|670000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2879 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
317.57/317.70 c 307s|680000 | 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2935 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
322.07/322.29 c 312s|690000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |2985 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
326.76/326.95 c 316s|700000 | 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3024 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
331.36/331.52 c 321s|710000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3047 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
335.96/336.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.96/336.13 c 325s|720000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3067 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
340.46/340.69 c 329s|730000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3088 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
345.06/345.24 c 334s|740000 | 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3137 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
349.86/350.00 c 338s|750000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3184 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
354.35/354.56 c 343s|760000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3227 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
358.95/359.18 c 347s|770000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3265 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
363.55/363.75 c 352s|780000 | 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3302 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
368.05/368.27 c 356s|790000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3333 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
372.76/372.99 c 361s|800000 | 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3382 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
377.35/377.58 c 365s|810000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3436 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
381.95/382.13 c 370s|820000 | 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3496 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
386.64/386.86 c 374s|830000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3552 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
391.55/391.73 c 379s|840000 | 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3594 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
396.33/396.56 c 384s|850000 | 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3635 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
401.34/401.50 c 388s|860000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3691 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
405.94/406.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.94/406.15 c 393s|870000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3732 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
410.84/411.02 c 398s|880000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3768 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
415.43/415.64 c 402s|890000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3800 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
420.24/420.44 c 407s|900000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3837 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
425.13/425.35 c 412s|910000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3896 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
429.94/430.18 c 416s|920000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3942 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
434.62/434.81 c 421s|930000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |3988 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
439.33/439.51 c 425s|940000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4039 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
444.12/444.31 c 430s|950000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4061 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
448.82/449.06 c 435s|960000 | 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4117 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
453.42/453.67 c 439s|970000 | 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4152 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
458.22/458.50 c 444s|980000 | 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4206 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
463.12/463.34 c 449s|990000 | 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4240 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
468.01/468.23 c 453s| 1000k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4293 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
472.71/472.94 c 458s| 1010k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4401 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
477.61/477.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.61/477.89 c 463s| 1020k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4450 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
482.21/482.46 c 467s| 1030k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4475 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
487.01/487.22 c 472s| 1040k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4528 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
491.91/492.14 c 477s| 1050k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4585 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
496.90/497.12 c 481s| 1060k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4663 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
501.51/501.78 c 486s| 1070k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4707 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
506.11/506.33 c 490s| 1080k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4755 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
510.80/511.03 c 495s| 1090k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4782 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
515.60/515.83 c 500s| 1100k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4824 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
520.21/520.40 c 504s| 1110k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4881 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
524.90/525.18 c 509s| 1120k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4947 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
529.49/529.77 c 513s| 1130k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |4995 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
534.09/534.39 c 518s| 1140k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5046 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
538.69/538.97 c 522s| 1150k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5083 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
543.30/543.54 c 526s| 1160k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5135 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
547.79/548.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.79/548.09 c 531s| 1170k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5203 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
552.69/552.91 c 535s| 1180k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5265 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
557.49/557.76 c 540s| 1190k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5303 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
562.28/562.55 c 545s| 1200k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5339 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
566.89/567.11 c 549s| 1210k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5389 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
571.58/571.85 c 554s| 1220k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5450 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
576.48/576.70 c 559s| 1230k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5511 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
581.28/581.54 c 563s| 1240k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5609 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
586.08/586.31 c 568s| 1250k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5646 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
590.67/590.98 c 572s| 1260k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5695 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
595.38/595.62 c 577s| 1270k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5740 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
600.07/600.37 c 582s| 1280k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5779 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
604.67/604.96 c 586s| 1290k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5810 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
609.37/609.63 c 591s| 1300k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5849 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
614.07/614.39 c 595s| 1310k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5926 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
618.67/618.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.67/618.99 c 600s| 1320k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |5959 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
623.37/623.68 c 604s| 1330k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6020 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
628.06/628.36 c 609s| 1340k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6056 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
632.76/633.02 c 613s| 1350k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6086 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
637.46/637.71 c 618s| 1360k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6132 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
641.96/642.25 c 622s| 1370k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6187 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
646.46/646.78 c 627s| 1380k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6207 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
651.15/651.47 c 631s| 1390k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6248 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
655.66/655.93 c 636s| 1400k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6280 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
660.15/660.44 c 640s| 1410k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6300 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
664.85/665.16 c 644s| 1420k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6335 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
669.45/669.73 c 649s| 1430k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6382 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
674.05/674.30 c 653s| 1440k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6418 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
678.55/678.88 c 658s| 1450k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6470 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
683.24/683.56 c 662s| 1460k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6497 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
687.75/688.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.75/688.09 c 667s| 1470k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6532 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
692.24/692.53 c 671s| 1480k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6578 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
696.73/697.09 c 675s| 1490k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6596 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
701.55/701.81 c 680s| 1500k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6626 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
706.24/706.54 c 685s| 1510k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6684 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
710.84/711.14 c 689s| 1520k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6732 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
715.44/715.72 c 694s| 1530k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6765 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
720.03/720.32 c 698s| 1540k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6807 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
724.83/725.11 c 703s| 1550k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6836 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
729.53/729.84 c 707s| 1560k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6872 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
734.33/734.61 c 712s| 1570k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6920 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
739.03/739.36 c 716s| 1580k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |6961 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
743.62/743.96 c 721s| 1590k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7005 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
748.22/748.50 c 725s| 1600k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7042 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
752.81/753.14 c 730s| 1610k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7087 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
757.41/757.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.41/757.72 c 734s| 1620k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7118 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
762.03/762.36 c 739s| 1630k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7174 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
766.72/767.08 c 743s| 1640k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7204 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
771.51/771.87 c 748s| 1650k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7245 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
776.12/776.46 c 752s| 1660k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7278 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
780.61/780.94 c 757s| 1670k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7326 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
785.12/785.44 c 761s| 1680k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7377 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
789.81/790.15 c 766s| 1690k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7434 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
794.21/794.57 c 770s| 1700k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7489 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
798.81/799.10 c 774s| 1710k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7535 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
803.30/803.62 c 779s| 1720k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7574 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
807.80/808.19 c 783s| 1730k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7624 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
812.31/812.63 c 788s| 1740k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7668 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
816.80/817.15 c 792s| 1750k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7700 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
821.29/821.63 c 796s| 1760k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7743 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
825.90/826.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.90/826.21 c 801s| 1770k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7763 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
830.59/830.96 c 805s| 1780k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7818 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
835.39/835.74 c 810s| 1790k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7879 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
840.00/840.35 c 814s| 1800k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7937 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
844.60/844.96 c 819s| 1810k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |7993 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
849.38/849.73 c 824s| 1820k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8047 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
853.99/854.37 c 828s| 1830k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8071 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
858.79/859.12 c 833s| 1840k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8128 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
863.48/863.84 c 837s| 1850k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8166 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
868.29/868.63 c 842s| 1860k| 25 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8204 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
872.78/873.12 c 846s| 1870k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8259 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
877.49/877.81 c 851s| 1880k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8310 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
882.08/882.45 c 855s| 1890k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8344 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
886.68/887.09 c 860s| 1900k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8426 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
891.27/891.68 c 864s| 1910k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8527 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
895.87/896.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.87/896.29 c 869s| 1920k| 25 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8581 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
900.47/900.82 c 873s| 1930k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8624 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
904.97/905.32 c 878s| 1940k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8682 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
909.37/909.77 c 882s| 1950k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8716 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
914.07/914.49 c 886s| 1960k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8765 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
918.67/919.06 c 891s| 1970k| 25 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8808 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
923.16/923.53 c 895s| 1980k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8857 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
927.66/928.01 c 900s| 1990k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8885 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
932.36/932.71 c 904s| 2000k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8939 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
937.05/937.48 c 909s| 2010k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |8977 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
941.76/942.17 c 913s| 2020k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9009 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
946.46/946.81 c 918s| 2030k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9056 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
951.05/951.41 c 922s| 2040k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9112 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
955.56/955.96 c 927s| 2050k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9156 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
959.96/960.36 c 931s| 2060k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9210 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
964.55/964.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.55/964.90 c 935s| 2070k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9258 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
968.95/969.30 c 940s| 2080k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9351 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
973.04/973.50 c 944s| 2090k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9408 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
977.65/978.04 c 948s| 2100k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9474 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
982.35/982.72 c 953s| 2110k| 19 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9513 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
986.84/987.20 c 957s| 2120k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9555 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
991.24/991.68 c 961s| 2130k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9584 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
995.54/995.99 c 966s| 2140k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9620 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
999.94/1000.35 c 970s| 2150k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9657 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1004.43/1004.89 c 974s| 2160k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9702 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1009.04/1009.40 c 979s| 2170k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9745 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1013.63/1014.08 c 983s| 2180k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9807 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1018.34/1018.73 c 988s| 2190k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9842 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1022.93/1023.31 c 992s| 2200k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9886 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1027.52/1027.92 c 997s| 2210k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9924 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1032.03/1032.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.03/1032.41 c 1001s| 2220k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 |9977 | 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1036.43/1036.81 c 1005s| 2230k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1040.92/1041.34 c 1010s| 2240k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1045.63/1046.05 c 1014s| 2250k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1050.23/1050.64 c 1019s| 2260k| 24 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1054.72/1055.10 c 1023s| 2270k| 25 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1059.03/1059.44 c 1027s| 2280k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1063.22/1063.63 c 1031s| 2290k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1067.62/1068.06 c 1036s| 2300k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1071.91/1072.36 c 1040s| 2310k| 20 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1076.21/1076.62 c 1044s| 2320k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1080.51/1080.98 c 1048s| 2330k| 22 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1085.01/1085.48 c 1052s| 2340k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1089.31/1089.79 c 1057s| 2350k| 21 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1093.61/1094.04 c 1061s| 2360k| 23 | 0 | 0.0 | 42M| 66 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1098.01/1098.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.01/1098.41 c 1065s| 2370k| 20 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1102.70/1103.10 c 1069s| 2380k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1107.20/1107.67 c 1074s| 2390k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1111.71/1112.14 c 1078s| 2400k| 23 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1116.30/1116.79 c 1083s| 2410k| 23 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1121.09/1121.50 c 1087s| 2420k| 23 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1125.50/1125.94 c 1092s| 2430k| 21 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1129.89/1130.36 c 1096s| 2440k| 21 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1134.40/1134.80 c 1100s| 2450k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1138.69/1139.10 c 1104s| 2460k| 20 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1143.49/1143.90 c 1109s| 2470k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1148.19/1148.65 c 1114s| 2480k| 20 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1152.69/1153.14 c 1118s| 2490k| 23 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1157.28/1157.73 c 1122s| 2500k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1161.78/1162.29 c 1127s| 2510k| 21 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1166.38/1166.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.38/1166.85 c 1131s| 2520k| 23 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1170.78/1171.27 c 1136s| 2530k| 21 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1175.28/1175.70 c 1140s| 2540k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1179.78/1180.21 c 1144s| 2550k| 21 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1184.07/1184.58 c 1148s| 2560k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1188.47/1188.97 c 1153s| 2570k| 20 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1192.88/1193.31 c 1157s| 2580k| 23 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1197.07/1197.55 c 1161s| 2590k| 19 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1201.47/1201.90 c 1165s| 2600k| 23 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1205.97/1206.43 c 1170s| 2610k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1210.46/1211.00 c 1174s| 2620k| 19 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1214.97/1215.48 c 1178s| 2630k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1219.57/1220.01 c 1183s| 2640k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1223.87/1224.36 c 1187s| 2650k| 19 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1228.27/1228.74 c 1191s| 2660k| 21 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1232.77/1233.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.77/1233.28 c 1196s| 2670k| 22 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1237.26/1237.72 c 1200s| 2680k| 19 | 0 | 0.0 | 42M| 68 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1241.86/1242.34 c 1204s| 2690k| 24 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1246.46/1246.90 c 1209s| 2700k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1251.25/1251.74 c 1214s| 2710k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1255.86/1256.39 c 1218s| 2720k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1260.45/1260.92 c 1222s| 2730k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1264.95/1265.42 c 1227s| 2740k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1269.45/1269.91 c 1231s| 2750k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1274.56/1275.05 c 1236s| 2760k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1279.55/1280.04 c 1241s| 2770k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1284.45/1284.96 c 1246s| 2780k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1289.24/1289.70 c 1250s| 2790k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1293.84/1294.36 c 1255s| 2800k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1298.74/1299.24 c 1260s| 2810k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1303.54/1304.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.54/1304.08 c 1264s| 2820k| 24 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1308.23/1308.72 c 1269s| 2830k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1313.13/1313.62 c 1274s| 2840k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1317.63/1318.14 c 1278s| 2850k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1322.23/1322.76 c 1282s| 2860k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1326.83/1327.37 c 1287s| 2870k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1331.33/1331.86 c 1291s| 2880k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1335.83/1336.36 c 1296s| 2890k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1340.53/1341.01 c 1300s| 2900k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1345.12/1345.64 c 1305s| 2910k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1349.82/1350.33 c 1309s| 2920k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1354.41/1354.99 c 1314s| 2930k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1359.02/1359.55 c 1318s| 2940k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1363.62/1364.17 c 1323s| 2950k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1368.21/1368.71 c 1327s| 2960k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1372.91/1373.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.91/1373.40 c 1332s| 2970k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1377.31/1377.83 c 1336s| 2980k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1381.81/1382.30 c 1340s| 2990k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1386.41/1386.91 c 1345s| 3000k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1391.12/1391.61 c 1349s| 3010k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1395.70/1396.26 c 1354s| 3020k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1400.30/1400.85 c 1358s| 3030k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1404.91/1405.49 c 1363s| 3040k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1409.50/1410.06 c 1367s| 3050k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1414.30/1414.84 c 1372s| 3060k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1418.89/1419.43 c 1376s| 3070k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1423.69/1424.29 c 1381s| 3080k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1428.40/1428.91 c 1385s| 3090k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 13k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1433.09/1433.60 c 1390s| 3100k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1437.79/1438.31 c 1395s| 3110k| 24 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1442.59/1443.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.59/1443.16 c 1399s| 3120k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1447.39/1447.93 c 1404s| 3130k| 24 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1452.19/1452.70 c 1409s| 3140k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1456.68/1457.29 c 1413s| 3150k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1461.39/1461.91 c 1418s| 3160k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1465.99/1466.57 c 1422s| 3170k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1470.48/1471.08 c 1426s| 3180k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1475.18/1475.78 c 1431s| 3190k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1479.77/1480.30 c 1435s| 3200k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1484.17/1484.79 c 1440s| 3210k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1488.98/1489.53 c 1444s| 3220k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1493.88/1494.46 c 1449s| 3230k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1498.88/1499.44 c 1454s| 3240k| 25 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1503.77/1504.30 c 1459s| 3250k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1508.36/1508.92 c 1463s| 3260k| 24 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1513.07/1513.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.07/1513.70 c 1468s| 3270k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1517.76/1518.32 c 1472s| 3280k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1522.36/1522.97 c 1477s| 3290k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1526.96/1527.55 c 1481s| 3300k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1531.26/1531.85 c 1485s| 3310k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 14k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1535.76/1536.38 c 1490s| 3320k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1540.46/1541.04 c 1494s| 3330k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1544.96/1545.53 c 1499s| 3340k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1549.47/1550.04 c 1503s| 3350k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1554.05/1554.64 c 1508s| 3360k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1558.55/1559.16 c 1512s| 3370k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1563.05/1563.64 c 1516s| 3380k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1567.65/1568.23 c 1521s| 3390k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1572.14/1572.76 c 1525s| 3400k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1576.64/1577.22 c 1529s| 3410k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1581.25/1581.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.25/1581.89 c 1534s| 3420k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1585.84/1586.40 c 1538s| 3430k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1590.15/1590.78 c 1543s| 3440k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1594.74/1595.32 c 1547s| 3450k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1599.34/1599.98 c 1551s| 3460k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1603.74/1604.34 c 1556s| 3470k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1608.24/1608.85 c 1560s| 3480k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1612.73/1613.30 c 1564s| 3490k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1617.13/1617.79 c 1569s| 3500k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1621.73/1622.30 c 1573s| 3510k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1626.34/1626.99 c 1578s| 3520k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1631.33/1631.93 c 1582s| 3530k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1635.92/1636.55 c 1587s| 3540k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 15k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1640.63/1641.29 c 1592s| 3550k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1645.32/1645.97 c 1596s| 3560k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1650.12/1650.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.12/1650.73 c 1601s| 3570k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1654.71/1655.37 c 1605s| 3580k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1659.43/1660.01 c 1610s| 3590k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1663.92/1664.50 c 1614s| 3600k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1668.42/1669.05 c 1619s| 3610k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1673.01/1673.61 c 1623s| 3620k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1677.61/1678.26 c 1627s| 3630k| 25 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1682.31/1683.00 c 1632s| 3640k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1686.91/1687.58 c 1637s| 3650k| 24 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1691.31/1691.93 c 1641s| 3660k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1695.91/1696.53 c 1645s| 3670k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1700.51/1701.15 c 1650s| 3680k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1704.90/1705.54 c 1654s| 3690k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1709.40/1710.02 c 1658s| 3700k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1714.20/1714.88 c 1663s| 3710k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1718.90/1719.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1718.90/1719.52 c 1667s| 3720k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1723.39/1724.03 c 1672s| 3730k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1727.99/1728.64 c 1676s| 3740k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1732.39/1733.08 c 1681s| 3750k| 18 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1737.09/1737.76 c 1685s| 3760k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1741.90/1742.51 c 1690s| 3770k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 16k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1746.58/1747.23 c 1694s| 3780k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1751.19/1751.86 c 1699s| 3790k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1755.68/1756.37 c 1703s| 3800k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1760.28/1760.97 c 1708s| 3810k| 22 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1764.89/1765.54 c 1712s| 3820k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1769.38/1770.02 c 1716s| 3830k| 21 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1773.79/1774.48 c 1721s| 3840k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1778.48/1779.12 c 1725s| 3850k| 20 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1783.07/1783.70 c 1730s| 3860k| 23 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1787.48/1788.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.48/1788.18 c 1734s| 3870k| 19 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1791.87/1792.54 c 1738s| 3880k| 24 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1796.37/1797.03 c 1743s| 3890k| 25 | 0 | 0.0 | 42M| 71 | - | 945 | 58k| 0 | 0 | 0 | 17k| 0 |-9.440000e+02 |-3.500000e+01 | 96.29%
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.71 c
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time (sec) : 1746.21
1800.09/1800.71 c Solving Nodes : 3898513
1800.09/1800.71 c Primal Bound : -3.50000000000000e+01 (6 solutions)
1800.09/1800.71 c Dual Bound : -9.44000000000000e+02
1800.09/1800.71 c Gap : 96.29 %
1800.09/1800.75 s SATISFIABLE
1800.09/1800.75 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.75 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.09/1800.75 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.09/1800.75 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.09/1800.75 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.09/1800.75 v -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.09/1800.75 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166
1800.09/1800.75 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.09/1800.75 v -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.09/1800.75 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.09/1800.75 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250
1800.09/1800.75 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271
1800.09/1800.75 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.09/1800.75 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312
1800.09/1800.75 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.09/1800.75 v -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.09/1800.75 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.09/1800.75 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396
1800.09/1800.75 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.09/1800.75 v -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.09/1800.75 v -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.09/1800.75 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.09/1800.75 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.09/1800.75 v -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522
1800.09/1800.75 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.09/1800.75 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.09/1800.75 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585
1800.09/1800.75 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.09/1800.75 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.09/1800.75 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.09/1800.75 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.09/1800.75 v -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.09/1800.75 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711
1800.09/1800.75 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1800.09/1800.75 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.09/1800.75 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1800.09/1800.75 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1800.09/1800.75 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816
1800.09/1800.75 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.09/1800.75 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.09/1800.75 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.09/1800.75 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.09/1800.75 v -x900 x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.09/1800.75 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.09/1800.75 v -x942 -x943 -x944 -x945
1800.09/1800.75 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.75 c Solving Time : 1746.21
1800.09/1800.75 c Original Problem :
1800.09/1800.75 c Problem name : HOME/instance-2664081-1276498707.opb
1800.09/1800.75 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.75 c Constraints : 58624 initial, 58624 maximal
1800.09/1800.75 c Presolved Problem :
1800.09/1800.75 c Problem name : t_HOME/instance-2664081-1276498707.opb
1800.09/1800.75 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.75 c Constraints : 58624 initial, 58648 maximal
1800.09/1800.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.75 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.75 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.75 c probing : 1.31 0 0 0 0 0 0 0 0
1800.09/1800.75 c logicor : 0.18 0 0 0 0 0 0 0 0
1800.09/1800.75 c root node : - 0 - - 0 - - - -
1800.09/1800.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.75 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.75 c logicor : 58624+ 0 4016224 0 3 289187 6993425 0 0 0
1800.09/1800.75 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.09/1800.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.75 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.75 c logicor : 558.13 0.00 558.08 0.00 0.05
1800.09/1800.75 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.75 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.75 c vbounds : 3.08 2 0 0
1800.09/1800.75 c rootredcost : 2.93 0 0 0
1800.09/1800.75 c pseudoobj : 514.00 6253339 1459199 2143936
1800.09/1800.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.75 c propagation : 308.26 289187 17573 17573 41.9 0 0.0 -
1800.09/1800.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.75 c pseudo solution : 281.24 203398 0 0 0.0 0 0.0 -
1800.09/1800.75 c applied globally : - - - 17573 41.9 - - -
1800.09/1800.75 c applied locally : - - - 0 0.0 - - -
1800.09/1800.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.75 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.75 c redcost : 0.00 0 0 0 0 0
1800.09/1800.75 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.75 c intobj : 0.00 0 0 0 0 0
1800.09/1800.75 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.75 c gomory : 0.00 0 0 0 0 0
1800.09/1800.75 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.75 c cmir : 0.00 0 0 0 0 0
1800.09/1800.75 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.75 c clique : 0.00 0 0 0 0 0
1800.09/1800.75 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.75 c mcf : 0.00 0 0 0 0 0
1800.09/1800.75 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.75 c Pricers : Time Calls Vars
1800.09/1800.75 c problem variables: 0.00 0 0
1800.09/1800.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.75 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.75 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.75 c inference : 20.04 1957605 0 0 0 0 3915210
1800.09/1800.75 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.75 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.75 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.75 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.75 c random : 0.00 0 0 0 0 0 0
1800.09/1800.75 c Primal Heuristics : Time Calls Found
1800.09/1800.75 c LP solutions : 0.00 - 0
1800.09/1800.75 c pseudo solutions : 0.00 - 3
1800.09/1800.75 c oneopt : 2.43 0 0
1800.09/1800.75 c trivial : 0.03 2 3
1800.09/1800.75 c simplerounding : 0.00 0 0
1800.09/1800.75 c zirounding : 0.00 0 0
1800.09/1800.75 c rounding : 0.00 0 0
1800.09/1800.75 c shifting : 0.00 0 0
1800.09/1800.75 c intshifting : 0.00 0 0
1800.09/1800.75 c twoopt : 0.00 0 0
1800.09/1800.75 c fixandinfer : 0.00 0 0
1800.09/1800.75 c feaspump : 0.00 0 0
1800.09/1800.75 c coefdiving : 0.00 0 0
1800.09/1800.75 c pscostdiving : 0.00 0 0
1800.09/1800.75 c fracdiving : 0.00 0 0
1800.09/1800.75 c veclendiving : 0.00 0 0
1800.09/1800.75 c intdiving : 0.00 0 0
1800.09/1800.75 c actconsdiving : 0.00 0 0
1800.09/1800.75 c objpscostdiving : 0.00 0 0
1800.09/1800.75 c rootsoldiving : 0.00 0 0
1800.09/1800.75 c linesearchdiving : 0.00 0 0
1800.09/1800.75 c guideddiving : 0.00 0 0
1800.09/1800.75 c octane : 0.00 0 0
1800.09/1800.75 c rens : 0.00 0 0
1800.09/1800.75 c rins : 0.00 0 0
1800.09/1800.75 c localbranching : 0.00 0 0
1800.09/1800.75 c mutation : 0.00 0 0
1800.09/1800.75 c crossover : 0.00 0 0
1800.09/1800.75 c dins : 0.00 0 0
1800.09/1800.75 c undercover : 0.00 0 0
1800.09/1800.75 c nlp : 1.71 0 0
1800.09/1800.75 c trysol : 2.05 0 0
1800.09/1800.75 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.75 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.75 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.75 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.75 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.75 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.75 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.75 c (at root node) : - 0 0 0.00 -
1800.09/1800.75 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.75 c B&B Tree :
1800.09/1800.75 c number of runs : 1
1800.09/1800.75 c nodes : 3898513
1800.09/1800.75 c nodes (total) : 3898513
1800.09/1800.75 c nodes left : 20
1800.09/1800.75 c max depth : 71
1800.09/1800.75 c max depth (total): 71
1800.09/1800.75 c backtracks : 681277 (17.5%)
1800.09/1800.75 c delayed cutoffs : 12182
1800.09/1800.75 c repropagations : 14013 (47682 domain reductions, 10879 cutoffs)
1800.09/1800.75 c avg switch length: 2.00
1800.09/1800.75 c switching time : 180.95
1800.09/1800.75 c Solution :
1800.09/1800.75 c Solutions found : 6 (4 improvements)
1800.09/1800.75 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.09/1800.75 c Primal Bound : -3.50000000000000e+01 (in run 1, after 7124 nodes, 5.29 seconds, depth 35, found by <relaxation>)
1800.09/1800.75 c Dual Bound : -9.44000000000000e+02
1800.09/1800.75 c Gap : 96.29 %
1800.09/1800.75 c Root Dual Bound : -9.45000000000000e+02
1800.09/1800.75 c Root Iterations : 0
1800.18/1800.89 c Time complete: 1800.26.
OK -35
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664081-1276498707/watcher-2664081-1276498707 -o /tmp/evaluation-result-2664081-1276498707/solver-2664081-1276498707 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664081-1276498707.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.07 1.01 2/106 26306 /proc/meminfo: memFree=1738512/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=6584 CPUtime=0 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 1047 0 0 0 0 0 0 0 23 0 1 0 23522557 6742016 969 1992294400 4194304 7136930 140736210567440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26306/statm: 1646 979 254 719 0 925 0 [startup+0.109441 s] /proc/loadavg: 0.99 1.07 1.01 2/106 26306 /proc/meminfo: memFree=1738512/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=12080 CPUtime=0.1 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 2497 0 0 0 9 1 0 0 24 0 1 0 23522557 12369920 2419 1992294400 4194304 7136930 140736210567440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26306/statm: 3020 2419 271 719 0 2299 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12080 [startup+0.200457 s] /proc/loadavg: 0.99 1.07 1.01 2/106 26306 /proc/meminfo: memFree=1738512/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=14436 CPUtime=0.19 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 3087 0 0 0 18 1 0 0 25 0 1 0 23522557 14782464 3009 1992294400 4194304 7136930 140736210567440 18446744073709551615 6285680 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26306/statm: 3609 3009 271 719 0 2888 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14436 [startup+0.300475 s] /proc/loadavg: 0.99 1.07 1.01 2/106 26306 /proc/meminfo: memFree=1738512/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=16432 CPUtime=0.29 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 3598 0 0 0 28 1 0 0 25 0 1 0 23522557 16826368 3520 1992294400 4194304 7136930 140736210567440 18446744073709551615 6343289 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26306/statm: 4108 3520 271 719 0 3387 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16432 [startup+0.700548 s] /proc/loadavg: 0.99 1.07 1.01 2/106 26306 /proc/meminfo: memFree=1738512/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=25208 CPUtime=0.69 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 5806 0 0 0 67 2 0 0 25 0 1 0 23522557 25812992 5728 1992294400 4194304 7136930 140736210567440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26306/statm: 6302 5728 271 719 0 5581 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25208 [startup+1.50069 s] /proc/loadavg: 0.99 1.06 1.01 2/107 26307 /proc/meminfo: memFree=1677248/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=75304 CPUtime=1.49 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 19989 0 0 0 134 15 0 0 25 0 1 0 23522557 77111296 17919 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 18826 17919 349 719 0 18105 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75304 [startup+3.10098 s] /proc/loadavg: 0.99 1.06 1.01 2/107 26307 /proc/meminfo: memFree=1664724/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=78360 CPUtime=3.09 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 26734 0 0 0 282 27 0 0 25 0 1 0 23522557 80240640 18644 1992294400 4194304 7136930 140736210567440 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19590 18644 363 719 0 18869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 78360 [startup+6.30057 s] /proc/loadavg: 0.99 1.06 1.01 2/107 26307 /proc/meminfo: memFree=1663732/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=6.28 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 593 35 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 79128 [startup+12.7007 s] /proc/loadavg: 0.99 1.06 1.01 2/107 26307 /proc/meminfo: memFree=1663484/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=12.68 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 1211 57 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 79128 [startup+25.5011 s] /proc/loadavg: 0.99 1.06 1.01 2/107 26307 /proc/meminfo: memFree=1663484/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=25.48 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 2451 97 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79128 [startup+51.1007 s] /proc/loadavg: 0.99 1.05 1.01 2/107 26307 /proc/meminfo: memFree=1663484/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=51.07 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 4926 181 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79128 [startup+102.301 s] /proc/loadavg: 0.99 1.04 1.00 2/107 26309 /proc/meminfo: memFree=1663360/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=102.25 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 9894 331 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 79128 [startup+162.302 s] /proc/loadavg: 1.03 1.05 1.00 2/107 26320 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=162.22 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 15712 510 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 79128 [startup+222.309 s] /proc/loadavg: 1.01 1.04 1.00 2/107 26322 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=222.2 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 21529 691 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5905992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 79128 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 26322 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=282.18 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 27348 870 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 79128 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 26324 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=342.16 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 33183 1033 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4350022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 79128 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 26326 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=402.14 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 39010 1204 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4221310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 79128 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 26328 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=462.12 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 44839 1373 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4648604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 79128 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26330 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=522.09 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 50670 1539 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5907479 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 79128 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26330 /proc/meminfo: memFree=1662368/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=582.08 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 56490 1718 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4704790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 79128 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26332 /proc/meminfo: memFree=1662244/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=642.06 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 62317 1889 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 79128 [startup+702.3 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26338 /proc/meminfo: memFree=1661996/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=881.99 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 85602 2597 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4221071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 79128 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26340 /proc/meminfo: memFree=1661872/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=941.95 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 91430 2765 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5907500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 79128 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26342 /proc/meminfo: memFree=1661872/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1001.94 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 97252 2942 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 79128 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26344 /proc/meminfo: memFree=1661748/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1061.92 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 103079 3113 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 79128 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26346 /proc/meminfo: memFree=1661748/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1121.89 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 108899 3290 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 79128 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26346 /proc/meminfo: memFree=1661624/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1181.87 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 114714 3473 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4240440 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 79128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26348 /proc/meminfo: memFree=1661500/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1241.86 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 120525 3661 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 79128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 26350 /proc/meminfo: memFree=1661376/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1301.84 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 126349 3835 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4349998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 79128 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26352 /proc/meminfo: memFree=1661376/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1361.81 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 132172 4009 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 79128 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26354 /proc/meminfo: memFree=1661376/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1421.81 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 137994 4187 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 79128 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26354 /proc/meminfo: memFree=1661252/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1481.77 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 143813 4364 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 79128 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26356 /proc/meminfo: memFree=1661252/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1541.76 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 149640 4536 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 79128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26358 /proc/meminfo: memFree=1661252/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1601.74 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 155462 4712 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 79128 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26360 /proc/meminfo: memFree=1661252/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1661.72 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 161284 4888 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 79128 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26362 /proc/meminfo: memFree=1661128/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1721.69 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 167106 5063 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 79128 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26362 /proc/meminfo: memFree=1660880/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1781.67 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 172924 5243 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 5905987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 79128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26364 /proc/meminfo: memFree=1660880/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=79128 CPUtime=1800.09 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27015 0 0 0 174709 5300 0 0 25 0 1 0 23522557 81027072 18922 1992294400 4194304 7136930 140736210567440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26306/statm: 19782 18922 385 719 0 19061 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 79128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.82 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26364 /proc/meminfo: memFree=1660880/2059040 swapFree=4140360/4192956 [pid=26306] ppid=26304 vsize=77968 CPUtime=1800.18 /proc/26306/stat : 26306 (pbscip.linux.x8) R 26304 26306 26103 0 -1 4202496 27021 0 0 0 174718 5300 0 0 25 0 1 0 23522557 79839232 18638 1992294400 4194304 7136930 140736210567440 18446744073709551615 5950366 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26306/statm: 19492 18638 391 719 0 18771 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 77968 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.27 CPU user time (s): 1747.25 CPU system time (s): 53.0149 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 82124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1747.25 system time used= 53.0149 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27028 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= 3884 runsolver used 4.22036 second user time and 8.87665 second system time The end
Begin job on node027 at 2010-06-14 08:58:27 IDJOB=2664081 IDBENCH=2251 IDSOLVER=1167 FILE ID=node027/2664081-1276498707 PBS_JOBID= 11173409 Free space on /tmp= 62476 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.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-2664081-1276498707/watcher-2664081-1276498707 -o /tmp/evaluation-result-2664081-1276498707/solver-2664081-1276498707 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664081-1276498707.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aabc023158e10c9511062af8ac97c515 RANDOM SEED=1316437730 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1739040 kB Buffers: 119120 kB Cached: 118892 kB SwapCached: 6028 kB Active: 101668 kB Inactive: 149304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1739040 kB SwapTotal: 4192956 kB SwapFree: 4140360 kB Dirty: 4552 kB Writeback: 0 kB AnonPages: 11104 kB Mapped: 12932 kB Slab: 47248 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182560 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62476 MiB End job on node027 at 2010-06-14 09:28:30