Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 25 | 1800.11 | 1800.74 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb |
| MD5SUM | 931342e76f648ae82c047d164917a326 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.384941 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 466 |
| Total number of constraints | 694 |
| Number of constraints which are clauses | 694 |
| 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 | 78 |
| Number of terms in the objective function | 466 |
| 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 | 466 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 466 |
| Number of bits of the biggest sum of numbers | 9 |
| 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: Clp 1.11.1] [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-2666058-1276412701.opb>
0.00/0.04 c original problem has 466 variables (466 bin, 0 int, 0 impl, 0 cont) and 694 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.06 o 466
0.00/0.06 c feasible solution found by trivial heuristic, objective value 4.660000e+02
0.00/0.06 c presolving:
0.09/0.11 c (round 1) 0 del vars, 34 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 634 upgd conss, 32 impls, 0 clqs
0.09/0.11 c (round 2) 15 del vars, 49 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 634 upgd conss, 32 impls, 0 clqs
0.09/0.11 c (round 3) 16 del vars, 51 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 634 upgd conss, 32 impls, 0 clqs
0.09/0.13 c (round 4) 17 del vars, 65 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 648 upgd conss, 32 impls, 0 clqs
0.09/0.14 c (0.1s) probing: 101/449 (22.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 17 deleted vars, 65 deleted constraints, 0 tightened bounds, 0 added holes, 15 changed sides, 0 changed coefficients
0.09/0.14 c 32 implications, 0 cliques
0.09/0.14 c presolved problem has 449 variables (449 bin, 0 int, 0 impl, 0 cont) and 629 constraints
0.09/0.14 c 629 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.08
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c conflict/interconss = 0
0.09/0.14 c
0.09/0.14 c # should binary conflicts be preferred?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c conflict/preferbinary = TRUE
0.09/0.14 c
0.09/0.14 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c constraints/agelimit = 1
0.09/0.14 c
0.09/0.14 c # should enforcement of pseudo solution be disabled?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/disableenfops = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.96
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = 0
0.09/0.14 c
0.09/0.14 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.14 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.14 c lp/pricing = a
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # priority of node selection rule <dfs> in standard mode
0.09/0.14 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.14 c nodeselection/dfs/stdpriority = 1000000
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 o 450
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c t 0.1s| 1 | 0 | 0 | - |2361k| 0 | - | 449 | 629 | 0 | 0 | 0 | 0 | 0 | -- | 4.500000e+02 | Inf
0.09/0.14 o 378
0.09/0.14 c t 0.1s| 1 | 0 | 0 | - |2368k| 0 | - | 449 | 629 | 0 | 0 | 0 | 0 | 0 | -- | 3.780000e+02 | Inf
0.09/0.15 o 32
0.09/0.15 c b 0.1s| 1 | 0 | 0 | - |3471k| 0 | - | 449 | 629 | 449 | 629 | 0 | 0 | 0 | -- | 3.200000e+01 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 36 | - |3464k| 0 | 31 | 449 | 629 | 449 | 629 | 0 | 0 | 0 | 2.350000e+01 | 3.200000e+01 | 36.17%
0.19/0.24 c 0.2s| 1 | 0 | 58 | - |3514k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 3.200000e+01 | 36.17%
0.19/0.24 o 31
0.19/0.24 c R 0.2s| 1 | 0 | 58 | - |3520k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 3.100000e+01 | 31.91%
0.19/0.24 o 30
0.19/0.24 c s 0.2s| 1 | 0 | 58 | - |3526k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 3.000000e+01 | 27.66%
0.19/0.24 o 27
0.19/0.24 c b 0.2s| 1 | 0 | 58 | - |3537k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 2.700000e+01 | 14.89%
0.29/0.31 c 0.2s| 1 | 0 | 75 | - |3599k| 0 | 32 | 449 | 629 | 449 | 643 | 14 | 0 | 0 | 2.350000e+01 | 2.700000e+01 | 14.89%
0.49/0.53 c 0.4s| 1 | 0 | 90 | - |3924k| 0 | 32 | 449 | 629 | 449 | 645 | 16 | 0 | 0 | 2.350000e+01 | 2.700000e+01 | 14.89%
0.49/0.53 o 26
0.49/0.53 c R 0.4s| 1 | 0 | 90 | - |3930k| 0 | 32 | 449 | 629 | 449 | 645 | 16 | 0 | 0 | 2.350000e+01 | 2.600000e+01 | 10.64%
0.49/0.53 o 25
0.49/0.53 c b 0.5s| 1 | 0 | 90 | - |3942k| 0 | 32 | 449 | 629 | 449 | 645 | 16 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
0.89/0.99 c 0.9s| 1 | 0 | 109 | - |4244k| 0 | 32 | 449 | 629 | 449 | 647 | 19 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
1.19/1.21 c 1.1s| 1 | 0 | 128 | - |4661k| 0 | 24 | 449 | 629 | 449 | 650 | 22 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
1.29/1.39 c 1.3s| 1 | 0 | 143 | - |4891k| 0 | 25 | 449 | 629 | 449 | 654 | 26 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
1.49/1.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.60 c 1.5s| 1 | 2 | 143 | - |4897k| 0 | 25 | 449 | 629 | 449 | 654 | 26 | 0 | 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
5.50/5.60 c 5.3s| 10000 | 237 | 143 | 0.0 |5152k| 349 | - | 449 | 632 | 0 | 0 | 26 |5343 | 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
9.78/9.86 c 9.3s| 20000 | 219 | 143 | 0.0 |5140k| 349 | - | 449 | 629 | 0 | 0 | 26 | 10k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
14.18/14.29 c 13.5s| 30000 | 217 | 143 | 0.0 |5145k| 349 | - | 449 | 632 | 0 | 0 | 26 | 16k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
18.98/19.05 c 17.9s| 40000 | 204 | 143 | 0.0 |5152k| 349 | - | 449 | 637 | 0 | 0 | 26 | 22k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
23.58/23.61 c 22.2s| 50000 | 207 | 143 | 0.0 |5152k| 349 | - | 449 | 633 | 0 | 0 | 26 | 28k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
28.18/28.21 c 26.6s| 60000 | 192 | 143 | 0.0 |5154k| 349 | - | 449 | 632 | 0 | 0 | 26 | 34k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
32.68/32.78 c 30.8s| 70000 | 206 | 143 | 0.0 |5155k| 349 | - | 449 | 635 | 0 | 0 | 26 | 40k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
37.48/37.59 c 35.4s| 80000 | 213 | 143 | 0.0 |5155k| 349 | - | 449 | 630 | 0 | 0 | 26 | 45k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
42.18/42.29 c 39.8s| 90000 | 208 | 143 | 0.0 |5162k| 349 | - | 449 | 640 | 0 | 0 | 26 | 51k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
46.48/46.54 c 43.8s|100000 | 190 | 143 | 0.0 |5152k| 349 | - | 449 | 629 | 0 | 0 | 26 | 57k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
51.47/51.51 c 48.5s|110000 | 197 | 143 | 0.0 |5160k| 349 | - | 449 | 636 | 0 | 0 | 26 | 63k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
56.57/56.69 c 53.4s|120000 | 192 | 143 | 0.0 |5157k| 349 | - | 449 | 631 | 0 | 0 | 26 | 69k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
61.87/61.93 c 58.3s|130000 | 180 | 143 | 0.0 |5154k| 349 | - | 449 | 629 | 0 | 0 | 26 | 75k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
66.67/66.73 c 62.8s|140000 | 185 | 143 | 0.0 |5156k| 349 | - | 449 | 630 | 0 | 0 | 26 | 81k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
71.07/71.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.07/71.12 c 66.9s|150000 | 195 | 143 | 0.0 |5164k| 349 | - | 449 | 633 | 0 | 0 | 26 | 87k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
76.37/76.48 c 72.0s|160000 | 178 | 143 | 0.0 |5160k| 349 | - | 449 | 637 | 0 | 0 | 26 | 93k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
81.27/81.32 c 76.5s|170000 | 189 | 143 | 0.0 |5164k| 349 | - | 449 | 631 | 0 | 0 | 26 | 99k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
86.37/86.44 c 81.3s|180000 | 183 | 143 | 0.0 |5173k| 349 | - | 449 | 632 | 0 | 0 | 26 | 105k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
91.16/91.20 c 85.8s|190000 | 182 | 143 | 0.0 |5166k| 349 | - | 449 | 631 | 0 | 0 | 26 | 111k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
96.06/96.16 c 90.5s|200000 | 180 | 143 | 0.0 |5171k| 349 | - | 449 | 642 | 0 | 0 | 26 | 117k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
100.86/100.90 c 94.9s|210000 | 186 | 143 | 0.0 |5167k| 349 | - | 449 | 630 | 0 | 0 | 26 | 122k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
105.66/105.71 c 99.4s|220000 | 195 | 143 | 0.0 |5175k| 349 | - | 449 | 640 | 0 | 0 | 26 | 128k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
111.75/111.83 c 105s|230000 | 190 | 143 | 0.0 |5178k| 349 | - | 449 | 639 | 0 | 0 | 26 | 135k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
116.85/116.96 c 110s|240000 | 192 | 143 | 0.0 |5174k| 349 | - | 449 | 631 | 0 | 0 | 26 | 141k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
122.74/122.83 c 115s|250000 | 184 | 143 | 0.0 |5169k| 349 | - | 449 | 631 | 0 | 0 | 26 | 147k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
127.34/127.41 c 120s|260000 | 183 | 143 | 0.0 |5179k| 349 | - | 449 | 632 | 0 | 0 | 26 | 153k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
133.05/133.18 c 125s|270000 | 196 | 143 | 0.0 |5176k| 349 | - | 449 | 629 | 0 | 0 | 26 | 159k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
137.75/137.81 c 130s|280000 | 183 | 143 | 0.0 |5171k| 349 | - | 449 | 630 | 0 | 0 | 26 | 165k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
143.34/143.48 c 135s|290000 | 178 | 143 | 0.0 |5169k| 349 | - | 449 | 630 | 0 | 0 | 26 | 171k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
148.74/148.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.74/148.89 c 140s|300000 | 187 | 143 | 0.0 |5182k| 349 | - | 449 | 637 | 0 | 0 | 26 | 178k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
154.34/154.45 c 145s|310000 | 172 | 143 | 0.0 |5177k| 349 | - | 449 | 635 | 0 | 0 | 26 | 184k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
159.44/159.55 c 150s|320000 | 168 | 143 | 0.0 |5177k| 349 | - | 449 | 631 | 0 | 0 | 26 | 190k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
164.54/164.63 c 155s|330000 | 186 | 143 | 0.0 |5178k| 349 | - | 449 | 632 | 0 | 0 | 26 | 196k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
170.33/170.46 c 160s|340000 | 163 | 143 | 0.0 |5170k| 349 | - | 449 | 634 | 0 | 0 | 26 | 202k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
175.23/175.30 c 165s|350000 | 208 | 143 | 0.0 |5188k| 349 | - | 449 | 635 | 0 | 0 | 26 | 208k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
180.72/180.85 c 170s|360000 | 177 | 143 | 0.0 |5181k| 349 | - | 449 | 636 | 0 | 0 | 26 | 215k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
186.53/186.63 c 175s|370000 | 174 | 143 | 0.0 |5179k| 349 | - | 449 | 633 | 0 | 0 | 26 | 221k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
192.23/192.39 c 181s|380000 | 188 | 143 | 0.0 |5182k| 349 | - | 449 | 632 | 0 | 0 | 26 | 227k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
197.02/197.15 c 185s|390000 | 190 | 143 | 0.0 |5180k| 349 | - | 449 | 632 | 0 | 0 | 26 | 233k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
202.82/202.92 c 191s|400000 | 172 | 143 | 0.0 |5189k| 349 | - | 449 | 640 | 0 | 0 | 26 | 239k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
208.02/208.18 c 196s|410000 | 179 | 143 | 0.0 |5185k| 349 | - | 449 | 634 | 0 | 0 | 26 | 245k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
213.72/213.80 c 201s|420000 | 160 | 143 | 0.0 |5181k| 349 | - | 449 | 642 | 0 | 0 | 26 | 252k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
218.61/218.76 c 205s|430000 | 177 | 143 | 0.0 |5182k| 349 | - | 449 | 637 | 0 | 0 | 26 | 258k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
223.11/223.24 c 210s|440000 | 209 | 143 | 0.0 |5187k| 349 | - | 449 | 632 | 0 | 0 | 26 | 263k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
227.91/228.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.91/228.05 c 214s|450000 | 189 | 143 | 0.0 |5185k| 349 | - | 449 | 629 | 0 | 0 | 26 | 269k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
233.91/234.02 c 220s|460000 | 181 | 143 | 0.0 |5187k| 349 | - | 449 | 645 | 0 | 0 | 26 | 275k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
239.40/239.54 c 225s|470000 | 169 | 143 | 0.0 |5178k| 349 | - | 449 | 630 | 0 | 0 | 26 | 282k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
245.40/245.53 c 231s|480000 | 166 | 143 | 0.0 |5194k| 349 | - | 449 | 643 | 0 | 0 | 26 | 288k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
251.50/251.64 c 236s|490000 | 171 | 143 | 0.0 |5180k| 349 | - | 449 | 629 | 0 | 0 | 26 | 295k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
256.80/256.91 c 241s|500000 | 170 | 143 | 0.0 |5182k| 349 | - | 449 | 639 | 0 | 0 | 26 | 301k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
262.30/262.42 c 247s|510000 | 176 | 143 | 0.0 |5185k| 349 | - | 449 | 635 | 0 | 0 | 26 | 307k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
267.59/267.72 c 252s|520000 | 161 | 143 | 0.0 |5178k| 349 | - | 449 | 635 | 0 | 0 | 26 | 313k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
273.20/273.37 c 257s|530000 | 156 | 143 | 0.0 |5187k| 349 | - | 449 | 646 | 0 | 0 | 26 | 319k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
278.69/278.82 c 262s|540000 | 165 | 143 | 0.0 |5179k| 349 | - | 449 | 632 | 0 | 0 | 26 | 325k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
284.19/284.33 c 267s|550000 | 186 | 143 | 0.0 |5194k| 349 | - | 449 | 646 | 0 | 0 | 26 | 332k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
288.99/289.15 c 272s|560000 | 197 | 143 | 0.0 |5191k| 349 | - | 449 | 629 | 0 | 0 | 26 | 337k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
294.39/294.50 c 277s|570000 | 198 | 143 | 0.0 |5195k| 349 | - | 449 | 635 | 0 | 0 | 26 | 343k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
299.99/300.10 c 282s|580000 | 206 | 143 | 0.0 |5194k| 349 | - | 449 | 630 | 0 | 0 | 26 | 349k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
305.98/306.10 c 288s|590000 | 177 | 143 | 0.0 |5187k| 349 | - | 449 | 631 | 0 | 0 | 26 | 355k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
311.78/311.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.78/311.98 c 293s|600000 | 162 | 143 | 0.0 |5186k| 349 | - | 449 | 631 | 0 | 0 | 26 | 361k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
317.38/317.52 c 298s|610000 | 240 | 143 | 0.0 |5207k| 349 | - | 449 | 637 | 0 | 0 | 26 | 367k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
324.08/324.27 c 305s|620000 | 178 | 143 | 0.0 |5192k| 349 | - | 449 | 637 | 0 | 0 | 26 | 374k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
329.98/330.14 c 310s|630000 | 162 | 143 | 0.0 |5198k| 349 | - | 449 | 645 | 0 | 0 | 26 | 380k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
335.68/335.84 c 315s|640000 | 163 | 143 | 0.0 |5220k| 349 | - | 449 | 693 | 0 | 0 | 26 | 386k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
341.87/342.00 c 321s|650000 | 203 | 143 | 0.0 |5198k| 349 | - | 449 | 631 | 0 | 0 | 26 | 393k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
346.77/346.95 c 326s|660000 | 198 | 143 | 0.0 |5197k| 349 | - | 449 | 630 | 0 | 0 | 26 | 399k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
353.57/353.72 c 332s|670000 | 169 | 143 | 0.0 |5191k| 349 | - | 449 | 629 | 0 | 0 | 26 | 405k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
360.16/360.38 c 338s|680000 | 189 | 143 | 0.0 |5202k| 349 | - | 449 | 633 | 0 | 0 | 26 | 412k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
366.56/366.75 c 344s|690000 | 194 | 143 | 0.0 |5198k| 349 | - | 449 | 630 | 0 | 0 | 26 | 419k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
372.26/372.40 c 350s|700000 | 165 | 143 | 0.0 |5195k| 349 | - | 449 | 631 | 0 | 0 | 26 | 425k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
377.56/377.76 c 355s|710000 | 174 | 143 | 0.0 |5203k| 349 | - | 449 | 636 | 0 | 0 | 26 | 431k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
384.26/384.45 c 361s|720000 | 188 | 143 | 0.0 |5201k| 349 | - | 449 | 629 | 0 | 0 | 26 | 437k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
391.25/391.41 c 367s|730000 | 180 | 143 | 0.0 |5199k| 349 | - | 449 | 633 | 0 | 0 | 26 | 444k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
397.25/397.40 c 373s|740000 | 166 | 143 | 0.0 |5219k| 349 | - | 449 | 691 | 0 | 0 | 26 | 450k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
402.95/403.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.95/403.13 c 378s|750000 | 173 | 143 | 0.0 |5196k| 349 | - | 449 | 633 | 0 | 0 | 26 | 457k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
408.95/409.13 c 384s|760000 | 170 | 143 | 0.0 |5209k| 349 | - | 449 | 644 | 0 | 0 | 26 | 463k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
414.45/414.63 c 389s|770000 | 172 | 143 | 0.0 |5201k| 349 | - | 449 | 644 | 0 | 0 | 26 | 469k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
421.15/421.39 c 395s|780000 | 172 | 143 | 0.0 |5199k| 349 | - | 449 | 639 | 0 | 0 | 26 | 476k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
426.95/427.10 c 401s|790000 | 166 | 143 | 0.0 |5198k| 349 | - | 449 | 629 | 0 | 0 | 26 | 482k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
432.54/432.79 c 406s|800000 | 193 | 143 | 0.0 |5213k| 349 | - | 449 | 638 | 0 | 0 | 26 | 488k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
437.84/438.01 c 411s|810000 | 175 | 143 | 0.0 |5206k| 349 | - | 449 | 632 | 0 | 0 | 26 | 494k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
444.44/444.62 c 417s|820000 | 171 | 143 | 0.0 |5196k| 349 | - | 449 | 630 | 0 | 0 | 26 | 501k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
449.64/449.85 c 422s|830000 | 177 | 143 | 0.0 |5199k| 349 | - | 449 | 629 | 0 | 0 | 26 | 506k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
455.93/456.16 c 428s|840000 | 196 | 143 | 0.0 |5205k| 349 | - | 449 | 630 | 0 | 0 | 26 | 513k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
462.63/462.82 c 434s|850000 | 182 | 143 | 0.0 |5215k| 349 | - | 449 | 645 | 0 | 0 | 26 | 520k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
468.83/469.05 c 440s|860000 | 178 | 143 | 0.0 |5208k| 349 | - | 449 | 634 | 0 | 0 | 26 | 526k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
475.32/475.59 c 446s|870000 | 168 | 143 | 0.0 |5203k| 349 | - | 449 | 630 | 0 | 0 | 26 | 533k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
481.22/481.48 c 452s|880000 | 178 | 143 | 0.0 |5208k| 349 | - | 449 | 629 | 0 | 0 | 26 | 540k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
486.93/487.18 c 457s|890000 | 169 | 143 | 0.0 |5220k| 349 | - | 449 | 637 | 0 | 0 | 26 | 546k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
493.22/493.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.22/493.43 c 463s|900000 | 168 | 143 | 0.0 |5209k| 349 | - | 449 | 633 | 0 | 0 | 26 | 552k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
500.62/500.87 c 470s|910000 | 177 | 143 | 0.0 |5227k| 349 | - | 449 | 674 | 0 | 0 | 26 | 559k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
506.11/506.32 c 475s|920000 | 181 | 143 | 0.0 |5211k| 349 | - | 449 | 629 | 0 | 0 | 26 | 565k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
511.11/511.31 c 479s|930000 | 168 | 143 | 0.0 |5208k| 349 | - | 449 | 629 | 0 | 0 | 26 | 572k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
517.31/517.54 c 485s|940000 | 180 | 143 | 0.0 |5220k| 349 | - | 449 | 634 | 0 | 0 | 26 | 578k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
522.91/523.17 c 490s|950000 | 183 | 143 | 0.0 |5215k| 349 | - | 449 | 629 | 0 | 0 | 26 | 584k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
529.41/529.60 c 496s|960000 | 169 | 143 | 0.0 |5210k| 349 | - | 449 | 629 | 0 | 0 | 26 | 591k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
535.01/535.24 c 502s|970000 | 187 | 143 | 0.0 |5229k| 349 | - | 449 | 651 | 0 | 0 | 26 | 597k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
541.60/541.84 c 508s|980000 | 179 | 143 | 0.0 |5235k| 349 | - | 449 | 647 | 0 | 0 | 26 | 604k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
547.40/547.66 c 513s|990000 | 176 | 143 | 0.0 |5221k| 349 | - | 449 | 647 | 0 | 0 | 26 | 610k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
553.30/553.55 c 519s| 1000k| 159 | 143 | 0.0 |5207k| 349 | - | 449 | 629 | 0 | 0 | 26 | 617k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
560.50/560.70 c 525s| 1010k| 167 | 143 | 0.0 |5211k| 349 | - | 449 | 631 | 0 | 0 | 26 | 624k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
566.40/566.61 c 531s| 1020k| 172 | 143 | 0.0 |5221k| 349 | - | 449 | 634 | 0 | 0 | 26 | 630k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
572.29/572.52 c 536s| 1030k| 197 | 143 | 0.0 |5222k| 349 | - | 449 | 636 | 0 | 0 | 26 | 637k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
579.19/579.43 c 543s| 1040k| 190 | 143 | 0.0 |5217k| 349 | - | 449 | 632 | 0 | 0 | 26 | 644k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
586.48/586.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.48/586.79 c 550s| 1050k| 171 | 143 | 0.0 |5213k| 349 | - | 449 | 633 | 0 | 0 | 26 | 651k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
592.99/593.20 c 556s| 1060k| 171 | 143 | 0.0 |5212k| 349 | - | 449 | 631 | 0 | 0 | 26 | 657k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
598.88/599.13 c 561s| 1070k| 196 | 143 | 0.0 |5218k| 349 | - | 449 | 631 | 0 | 0 | 26 | 664k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
605.18/605.46 c 567s| 1080k| 171 | 143 | 0.0 |5219k| 349 | - | 449 | 634 | 0 | 0 | 26 | 670k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
610.68/610.96 c 572s| 1090k| 192 | 143 | 0.0 |5231k| 349 | - | 449 | 639 | 0 | 0 | 26 | 676k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
617.99/618.25 c 579s| 1100k| 177 | 143 | 0.0 |5215k| 349 | - | 449 | 632 | 0 | 0 | 26 | 683k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
623.18/623.48 c 584s| 1110k| 184 | 143 | 0.0 |5218k| 349 | - | 449 | 630 | 0 | 0 | 26 | 689k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
628.87/629.18 c 589s| 1120k| 181 | 143 | 0.0 |5224k| 349 | - | 449 | 637 | 0 | 0 | 26 | 696k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
635.07/635.35 c 595s| 1130k| 164 | 143 | 0.0 |5212k| 349 | - | 449 | 629 | 0 | 0 | 26 | 703k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
641.08/641.40 c 601s| 1140k| 164 | 143 | 0.0 |5218k| 349 | - | 449 | 638 | 0 | 0 | 26 | 710k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
647.27/647.50 c 606s| 1150k| 166 | 143 | 0.0 |5211k| 349 | - | 449 | 629 | 0 | 0 | 26 | 716k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
653.17/653.43 c 612s| 1160k| 153 | 143 | 0.0 |5219k| 349 | - | 449 | 649 | 0 | 0 | 26 | 722k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
658.96/659.25 c 618s| 1170k| 181 | 143 | 0.0 |5216k| 349 | - | 449 | 632 | 0 | 0 | 26 | 728k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
664.76/665.06 c 623s| 1180k| 161 | 143 | 0.0 |5253k| 349 | - | 449 | 782 | 0 | 0 | 26 | 734k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
670.87/671.18 c 629s| 1190k| 162 | 143 | 0.0 |5229k| 349 | - | 449 | 634 | 0 | 0 | 26 | 740k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
677.06/677.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.06/677.30 c 635s| 1200k| 176 | 143 | 0.0 |5231k| 349 | - | 449 | 639 | 0 | 0 | 26 | 747k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
682.36/682.69 c 640s| 1210k| 160 | 143 | 0.0 |5216k| 349 | - | 449 | 631 | 0 | 0 | 26 | 753k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
688.46/688.78 c 645s| 1220k| 164 | 143 | 0.0 |5215k| 349 | - | 449 | 629 | 0 | 0 | 26 | 760k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
694.35/694.62 c 651s| 1230k| 156 | 143 | 0.0 |5227k| 349 | - | 449 | 637 | 0 | 0 | 26 | 766k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
700.95/701.25 c 657s| 1240k| 165 | 143 | 0.0 |5217k| 349 | - | 449 | 632 | 0 | 0 | 26 | 773k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
706.95/707.30 c 663s| 1250k| 186 | 143 | 0.0 |5226k| 349 | - | 449 | 635 | 0 | 0 | 26 | 779k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
712.55/712.88 c 668s| 1260k| 161 | 143 | 0.0 |5215k| 349 | - | 449 | 630 | 0 | 0 | 26 | 786k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
718.54/718.87 c 673s| 1270k| 156 | 143 | 0.0 |5220k| 349 | - | 449 | 650 | 0 | 0 | 26 | 792k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
724.54/724.82 c 679s| 1280k| 177 | 143 | 0.0 |5219k| 349 | - | 449 | 629 | 0 | 0 | 26 | 798k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
731.35/731.67 c 685s| 1290k| 177 | 143 | 0.0 |5222k| 349 | - | 449 | 635 | 0 | 0 | 26 | 805k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
737.84/738.18 c 692s| 1300k| 160 | 143 | 0.0 |5218k| 349 | - | 449 | 637 | 0 | 0 | 26 | 812k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
743.63/743.92 c 697s| 1310k| 166 | 143 | 0.0 |5217k| 349 | - | 449 | 631 | 0 | 0 | 26 | 818k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
749.73/750.06 c 703s| 1320k| 178 | 143 | 0.0 |5231k| 349 | - | 449 | 633 | 0 | 0 | 26 | 824k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
755.02/755.30 c 708s| 1330k| 153 | 143 | 0.0 |5231k| 349 | - | 449 | 646 | 0 | 0 | 26 | 830k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
760.23/760.50 c 712s| 1340k| 151 | 143 | 0.0 |5216k| 349 | - | 449 | 632 | 0 | 0 | 26 | 836k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
766.23/766.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.23/766.55 c 718s| 1350k| 158 | 143 | 0.0 |5217k| 349 | - | 449 | 633 | 0 | 0 | 26 | 842k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
772.73/773.03 c 724s| 1360k| 161 | 143 | 0.0 |5233k| 349 | - | 449 | 651 | 0 | 0 | 26 | 849k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
778.82/779.12 c 730s| 1370k| 183 | 143 | 0.0 |5225k| 349 | - | 449 | 630 | 0 | 0 | 26 | 855k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
784.62/784.93 c 735s| 1380k| 164 | 143 | 0.0 |5235k| 349 | - | 449 | 646 | 0 | 0 | 26 | 862k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
790.41/790.76 c 741s| 1390k| 178 | 143 | 0.0 |5228k| 349 | - | 449 | 635 | 0 | 0 | 26 | 868k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
796.41/796.71 c 746s| 1400k| 168 | 143 | 0.0 |5221k| 349 | - | 449 | 629 | 0 | 0 | 26 | 874k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
802.22/802.54 c 752s| 1410k| 149 | 143 | 0.0 |5218k| 349 | - | 449 | 631 | 0 | 0 | 26 | 880k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
807.81/808.10 c 757s| 1420k| 193 | 143 | 0.0 |5228k| 349 | - | 449 | 631 | 0 | 0 | 26 | 886k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
813.91/814.21 c 763s| 1430k| 158 | 143 | 0.0 |5220k| 349 | - | 449 | 631 | 0 | 0 | 26 | 893k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
821.11/821.41 c 769s| 1440k| 141 | 143 | 0.0 |5215k| 349 | - | 449 | 630 | 0 | 0 | 26 | 900k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
828.50/828.83 c 776s| 1450k| 167 | 143 | 0.0 |5225k| 349 | - | 449 | 636 | 0 | 0 | 26 | 906k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
836.50/836.81 c 784s| 1460k| 176 | 143 | 0.0 |5225k| 349 | - | 449 | 629 | 0 | 0 | 26 | 914k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
844.00/844.39 c 791s| 1470k| 167 | 143 | 0.0 |5223k| 349 | - | 449 | 629 | 0 | 0 | 26 | 920k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
850.11/850.41 c 796s| 1480k| 148 | 143 | 0.0 |5221k| 349 | - | 449 | 632 | 0 | 0 | 26 | 927k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
855.90/856.26 c 802s| 1490k| 150 | 143 | 0.0 |5220k| 349 | - | 449 | 632 | 0 | 0 | 26 | 933k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
862.49/862.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.49/862.89 c 808s| 1500k| 165 | 143 | 0.0 |5224k| 349 | - | 449 | 632 | 0 | 0 | 26 | 940k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
869.69/870.08 c 815s| 1510k| 151 | 143 | 0.0 |5228k| 349 | - | 449 | 653 | 0 | 0 | 26 | 946k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
875.39/875.79 c 820s| 1520k| 176 | 143 | 0.0 |5228k| 349 | - | 449 | 629 | 0 | 0 | 26 | 952k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
881.48/881.81 c 826s| 1530k| 155 | 143 | 0.0 |5223k| 349 | - | 449 | 629 | 0 | 0 | 26 | 960k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
887.08/887.48 c 831s| 1540k| 151 | 143 | 0.0 |5232k| 349 | - | 449 | 637 | 0 | 0 | 26 | 966k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
892.78/893.11 c 836s| 1550k| 144 | 143 | 0.0 |5225k| 349 | - | 449 | 644 | 0 | 0 | 26 | 973k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
899.18/899.59 c 842s| 1560k| 141 | 143 | 0.0 |5218k| 349 | - | 449 | 630 | 0 | 0 | 26 | 980k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
904.57/904.96 c 847s| 1570k| 159 | 143 | 0.0 |5224k| 349 | - | 449 | 629 | 0 | 0 | 26 | 986k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
910.07/910.41 c 853s| 1580k| 148 | 143 | 0.0 |5227k| 349 | - | 449 | 632 | 0 | 0 | 26 | 992k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
916.38/916.76 c 859s| 1590k| 147 | 143 | 0.0 |5223k| 349 | - | 449 | 633 | 0 | 0 | 26 | 998k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
923.57/923.98 c 865s| 1600k| 167 | 143 | 0.0 |5226k| 349 | - | 449 | 629 | 0 | 0 | 26 |1005k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
929.67/930.02 c 871s| 1610k| 138 | 143 | 0.0 |5220k| 349 | - | 449 | 636 | 0 | 0 | 26 |1011k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
935.37/935.70 c 876s| 1620k| 152 | 143 | 0.0 |5231k| 349 | - | 449 | 637 | 0 | 0 | 26 |1017k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
941.17/941.55 c 882s| 1630k| 154 | 143 | 0.0 |5229k| 349 | - | 449 | 640 | 0 | 0 | 26 |1023k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
947.86/948.27 c 888s| 1640k| 168 | 143 | 0.0 |5226k| 349 | - | 449 | 630 | 0 | 0 | 26 |1030k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
954.36/954.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.36/954.78 c 894s| 1650k| 160 | 143 | 0.0 |5224k| 349 | - | 449 | 630 | 0 | 0 | 26 |1036k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
959.86/960.28 c 899s| 1660k| 142 | 143 | 0.0 |5228k| 349 | - | 449 | 643 | 0 | 0 | 26 |1042k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
965.46/965.90 c 905s| 1670k| 169 | 143 | 0.0 |5235k| 349 | - | 449 | 632 | 0 | 0 | 26 |1048k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
972.16/972.51 c 911s| 1680k| 145 | 143 | 0.0 |5220k| 349 | - | 449 | 629 | 0 | 0 | 26 |1054k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
979.25/979.67 c 918s| 1690k| 143 | 143 | 0.0 |5228k| 349 | - | 449 | 650 | 0 | 0 | 26 |1061k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
985.36/985.72 c 923s| 1700k| 145 | 143 | 0.0 |5232k| 349 | - | 449 | 637 | 0 | 0 | 26 |1067k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
991.64/992.01 c 929s| 1710k| 135 | 143 | 0.0 |5220k| 349 | - | 449 | 629 | 0 | 0 | 26 |1074k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
997.74/998.11 c 935s| 1720k| 160 | 143 | 0.0 |5225k| 349 | - | 449 | 631 | 0 | 0 | 26 |1080k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1004.34/1004.75 c 941s| 1730k| 142 | 143 | 0.0 |5271k| 349 | - | 449 | 786 | 0 | 0 | 26 |1087k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1011.65/1012.04 c 948s| 1740k| 161 | 143 | 0.0 |5238k| 349 | - | 449 | 659 | 0 | 0 | 26 |1094k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1019.13/1019.56 c 955s| 1750k| 159 | 143 | 0.0 |5229k| 349 | - | 449 | 638 | 0 | 0 | 26 |1101k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1027.93/1028.33 c 963s| 1760k| 158 | 143 | 0.0 |5235k| 349 | - | 449 | 656 | 0 | 0 | 26 |1108k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1034.74/1035.13 c 969s| 1770k| 174 | 143 | 0.0 |5233k| 349 | - | 449 | 630 | 0 | 0 | 26 |1115k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1040.83/1041.30 c 975s| 1780k| 152 | 143 | 0.0 |5239k| 349 | - | 449 | 649 | 0 | 0 | 26 |1121k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1047.02/1047.44 c 981s| 1790k| 152 | 143 | 0.0 |5226k| 349 | - | 449 | 629 | 0 | 0 | 26 |1127k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1053.13/1053.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.13/1053.59 c 987s| 1800k| 186 | 143 | 0.0 |5236k| 349 | - | 449 | 635 | 0 | 0 | 26 |1134k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1059.32/1059.74 c 992s| 1810k| 171 | 143 | 0.0 |5234k| 349 | - | 449 | 631 | 0 | 0 | 26 |1140k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1065.72/1066.11 c 998s| 1820k| 136 | 143 | 0.0 |5225k| 349 | - | 449 | 632 | 0 | 0 | 26 |1147k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1072.41/1072.88 c 1005s| 1830k| 139 | 143 | 0.0 |5239k| 349 | - | 449 | 641 | 0 | 0 | 26 |1153k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1078.72/1079.18 c 1011s| 1840k| 151 | 143 | 0.0 |5228k| 349 | - | 449 | 629 | 0 | 0 | 26 |1160k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1085.21/1085.67 c 1017s| 1850k| 146 | 143 | 0.0 |5241k| 349 | - | 449 | 646 | 0 | 0 | 26 |1166k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1092.32/1092.71 c 1023s| 1860k| 133 | 143 | 0.0 |5223k| 349 | - | 449 | 633 | 0 | 0 | 26 |1173k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1099.21/1099.65 c 1030s| 1870k| 163 | 143 | 0.0 |5229k| 349 | - | 449 | 629 | 0 | 0 | 26 |1179k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1106.11/1106.55 c 1036s| 1880k| 167 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1186k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1113.60/1114.00 c 1043s| 1890k| 162 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1193k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1121.71/1122.16 c 1051s| 1900k| 152 | 143 | 0.0 |5228k| 349 | - | 449 | 629 | 0 | 0 | 26 |1200k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1128.60/1129.01 c 1057s| 1910k| 154 | 143 | 0.0 |5231k| 349 | - | 449 | 631 | 0 | 0 | 26 |1207k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1135.49/1135.93 c 1064s| 1920k| 179 | 143 | 0.0 |5239k| 349 | - | 449 | 635 | 0 | 0 | 26 |1213k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1141.10/1141.57 c 1069s| 1930k| 145 | 143 | 0.0 |5230k| 349 | - | 449 | 632 | 0 | 0 | 26 |1220k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1147.09/1147.52 c 1074s| 1940k| 141 | 143 | 0.0 |5238k| 349 | - | 449 | 640 | 0 | 0 | 26 |1227k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1153.69/1154.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.69/1154.14 c 1081s| 1950k| 136 | 143 | 0.0 |5240k| 349 | - | 449 | 649 | 0 | 0 | 26 |1233k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1160.99/1161.44 c 1088s| 1960k| 145 | 143 | 0.0 |5240k| 349 | - | 449 | 650 | 0 | 0 | 26 |1240k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1168.18/1168.60 c 1094s| 1970k| 135 | 143 | 0.0 |5235k| 349 | - | 449 | 652 | 0 | 0 | 26 |1247k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1174.18/1174.68 c 1100s| 1980k| 151 | 143 | 0.0 |5229k| 349 | - | 449 | 630 | 0 | 0 | 26 |1253k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1181.38/1181.85 c 1107s| 1990k| 147 | 143 | 0.0 |5233k| 349 | - | 449 | 645 | 0 | 0 | 26 |1260k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1189.28/1189.72 c 1114s| 2000k| 155 | 143 | 0.0 |5231k| 349 | - | 449 | 631 | 0 | 0 | 26 |1267k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1196.98/1197.44 c 1121s| 2010k| 159 | 143 | 0.0 |5231k| 349 | - | 449 | 630 | 0 | 0 | 26 |1274k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1204.27/1204.79 c 1128s| 2020k| 160 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1281k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1212.07/1212.52 c 1135s| 2030k| 137 | 143 | 0.0 |5233k| 349 | - | 449 | 652 | 0 | 0 | 26 |1288k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1219.27/1219.75 c 1142s| 2040k| 156 | 143 | 0.0 |5231k| 349 | - | 449 | 630 | 0 | 0 | 26 |1294k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1226.57/1227.06 c 1149s| 2050k| 134 | 143 | 0.0 |5236k| 349 | - | 449 | 649 | 0 | 0 | 26 |1301k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1234.56/1235.08 c 1156s| 2060k| 158 | 143 | 0.0 |5231k| 349 | - | 449 | 630 | 0 | 0 | 26 |1308k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1242.86/1243.31 c 1164s| 2070k| 152 | 143 | 0.0 |5237k| 349 | - | 449 | 641 | 0 | 0 | 26 |1316k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1250.05/1250.50 c 1171s| 2080k| 156 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1322k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1257.65/1258.19 c 1178s| 2090k| 157 | 143 | 0.0 |5234k| 349 | - | 449 | 636 | 0 | 0 | 26 |1329k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1263.86/1264.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.86/1264.38 c 1184s| 2100k| 142 | 143 | 0.0 |5247k| 349 | - | 449 | 663 | 0 | 0 | 26 |1336k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1271.45/1271.93 c 1191s| 2110k| 134 | 143 | 0.0 |5236k| 349 | - | 449 | 638 | 0 | 0 | 26 |1343k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1278.05/1278.51 c 1197s| 2120k| 156 | 143 | 0.0 |5244k| 349 | - | 449 | 649 | 0 | 0 | 26 |1349k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1284.35/1284.82 c 1203s| 2130k| 146 | 143 | 0.0 |5231k| 349 | - | 449 | 633 | 0 | 0 | 26 |1355k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1289.74/1290.24 c 1208s| 2140k| 144 | 143 | 0.0 |5236k| 349 | - | 449 | 637 | 0 | 0 | 26 |1361k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1295.74/1296.21 c 1214s| 2150k| 167 | 143 | 0.0 |5238k| 349 | - | 449 | 629 | 0 | 0 | 26 |1367k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1301.24/1301.79 c 1219s| 2160k| 136 | 143 | 0.0 |5229k| 349 | - | 449 | 637 | 0 | 0 | 26 |1373k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1307.24/1307.79 c 1225s| 2170k| 141 | 143 | 0.0 |5233k| 349 | - | 449 | 634 | 0 | 0 | 26 |1380k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1313.73/1314.30 c 1231s| 2180k| 138 | 143 | 0.0 |5244k| 349 | - | 449 | 636 | 0 | 0 | 26 |1386k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1319.33/1319.86 c 1236s| 2190k| 154 | 143 | 0.0 |5233k| 349 | - | 449 | 633 | 0 | 0 | 26 |1392k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1325.54/1326.00 c 1242s| 2200k| 142 | 143 | 0.0 |5232k| 349 | - | 449 | 637 | 0 | 0 | 26 |1399k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1331.23/1331.76 c 1247s| 2210k| 163 | 143 | 0.0 |5236k| 349 | - | 449 | 634 | 0 | 0 | 26 |1405k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1337.13/1337.63 c 1253s| 2220k| 150 | 143 | 0.0 |5242k| 349 | - | 449 | 652 | 0 | 0 | 26 |1411k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1343.83/1344.39 c 1259s| 2230k| 155 | 143 | 0.0 |5252k| 349 | - | 449 | 669 | 0 | 0 | 26 |1418k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1351.22/1351.78 c 1266s| 2240k| 152 | 143 | 0.0 |5234k| 349 | - | 449 | 634 | 0 | 0 | 26 |1425k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1358.22/1358.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1358.22/1358.74 c 1272s| 2250k| 154 | 143 | 0.0 |5235k| 349 | - | 449 | 632 | 0 | 0 | 26 |1432k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1365.32/1365.80 c 1279s| 2260k| 162 | 143 | 0.0 |5242k| 349 | - | 449 | 645 | 0 | 0 | 26 |1438k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1372.52/1373.05 c 1286s| 2270k| 158 | 143 | 0.0 |5268k| 349 | - | 449 | 714 | 0 | 0 | 26 |1445k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1379.41/1379.90 c 1292s| 2280k| 181 | 143 | 0.0 |5241k| 349 | - | 449 | 632 | 0 | 0 | 26 |1452k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1386.31/1386.86 c 1299s| 2290k| 178 | 143 | 0.0 |5247k| 349 | - | 449 | 646 | 0 | 0 | 26 |1458k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1392.81/1393.36 c 1305s| 2300k| 154 | 143 | 0.0 |5234k| 349 | - | 449 | 631 | 0 | 0 | 26 |1465k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1399.60/1400.13 c 1311s| 2310k| 158 | 143 | 0.0 |5235k| 349 | - | 449 | 631 | 0 | 0 | 26 |1472k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1406.70/1407.25 c 1318s| 2320k| 154 | 143 | 0.0 |5238k| 349 | - | 449 | 641 | 0 | 0 | 26 |1479k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1412.40/1412.99 c 1323s| 2330k| 151 | 143 | 0.0 |5242k| 349 | - | 449 | 641 | 0 | 0 | 26 |1485k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1418.00/1418.55 c 1328s| 2340k| 179 | 143 | 0.0 |5242k| 349 | - | 449 | 629 | 0 | 0 | 26 |1491k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1425.10/1425.65 c 1335s| 2350k| 167 | 143 | 0.0 |5247k| 349 | - | 449 | 649 | 0 | 0 | 26 |1498k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1433.19/1433.74 c 1342s| 2360k| 151 | 143 | 0.0 |5236k| 349 | - | 449 | 630 | 0 | 0 | 26 |1505k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1439.50/1440.04 c 1348s| 2370k| 158 | 143 | 0.0 |5242k| 349 | - | 449 | 636 | 0 | 0 | 26 |1512k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1445.59/1446.14 c 1354s| 2380k| 149 | 143 | 0.0 |5236k| 349 | - | 449 | 635 | 0 | 0 | 26 |1518k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1451.89/1452.44 c 1360s| 2390k| 142 | 143 | 0.0 |5236k| 349 | - | 449 | 635 | 0 | 0 | 26 |1524k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1458.28/1458.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.28/1458.81 c 1366s| 2400k| 160 | 143 | 0.0 |5248k| 349 | - | 449 | 637 | 0 | 0 | 26 |1531k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1464.48/1465.09 c 1372s| 2410k| 153 | 143 | 0.0 |5242k| 349 | - | 449 | 643 | 0 | 0 | 26 |1537k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1470.48/1471.00 c 1377s| 2420k| 132 | 143 | 0.0 |5232k| 349 | - | 449 | 634 | 0 | 0 | 26 |1543k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1476.38/1476.97 c 1383s| 2430k| 143 | 143 | 0.0 |5249k| 349 | - | 449 | 636 | 0 | 0 | 26 |1550k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1482.28/1482.89 c 1389s| 2440k| 136 | 143 | 0.0 |5233k| 349 | - | 449 | 629 | 0 | 0 | 26 |1556k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1488.57/1489.13 c 1394s| 2450k| 140 | 143 | 0.0 |5233k| 349 | - | 449 | 629 | 0 | 0 | 26 |1562k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1495.87/1496.47 c 1401s| 2460k| 163 | 143 | 0.0 |5246k| 349 | - | 449 | 635 | 0 | 0 | 26 |1568k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1501.97/1502.57 c 1407s| 2470k| 131 | 143 | 0.0 |5235k| 349 | - | 449 | 637 | 0 | 0 | 26 |1574k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1508.26/1508.89 c 1413s| 2480k| 133 | 143 | 0.0 |5236k| 349 | - | 449 | 638 | 0 | 0 | 26 |1581k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1514.67/1515.28 c 1419s| 2490k| 170 | 143 | 0.0 |5247k| 349 | - | 449 | 648 | 0 | 0 | 26 |1587k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1521.26/1521.82 c 1425s| 2500k| 133 | 143 | 0.0 |5245k| 349 | - | 449 | 636 | 0 | 0 | 26 |1594k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1528.26/1528.86 c 1432s| 2510k| 146 | 143 | 0.0 |5241k| 349 | - | 449 | 635 | 0 | 0 | 26 |1600k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1533.66/1534.23 c 1437s| 2520k| 158 | 143 | 0.0 |5240k| 349 | - | 449 | 631 | 0 | 0 | 26 |1606k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1539.06/1539.62 c 1442s| 2530k| 152 | 143 | 0.0 |5240k| 349 | - | 449 | 634 | 0 | 0 | 26 |1612k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1544.75/1545.30 c 1447s| 2540k| 148 | 143 | 0.0 |5235k| 349 | - | 449 | 630 | 0 | 0 | 26 |1618k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1550.65/1551.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.65/1551.22 c 1453s| 2550k| 137 | 143 | 0.0 |5236k| 349 | - | 449 | 632 | 0 | 0 | 26 |1624k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1556.65/1557.24 c 1458s| 2560k| 125 | 143 | 0.0 |5236k| 349 | - | 449 | 636 | 0 | 0 | 26 |1630k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1562.95/1563.53 c 1464s| 2570k| 161 | 143 | 0.0 |5242k| 349 | - | 449 | 633 | 0 | 0 | 26 |1637k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1568.44/1569.06 c 1469s| 2580k| 167 | 143 | 0.0 |5242k| 349 | - | 449 | 629 | 0 | 0 | 26 |1643k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1574.14/1574.71 c 1475s| 2590k| 138 | 143 | 0.0 |5233k| 349 | - | 449 | 630 | 0 | 0 | 26 |1650k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1580.25/1580.81 c 1480s| 2600k| 155 | 143 | 0.0 |5237k| 349 | - | 449 | 629 | 0 | 0 | 26 |1656k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1586.04/1586.68 c 1486s| 2610k| 143 | 143 | 0.0 |5235k| 349 | - | 449 | 630 | 0 | 0 | 26 |1662k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1593.24/1593.88 c 1493s| 2620k| 149 | 143 | 0.0 |5244k| 349 | - | 449 | 639 | 0 | 0 | 26 |1669k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1599.34/1599.97 c 1498s| 2630k| 161 | 143 | 0.0 |5252k| 349 | - | 449 | 637 | 0 | 0 | 26 |1675k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1605.93/1606.53 c 1505s| 2640k| 144 | 143 | 0.0 |5235k| 349 | - | 449 | 630 | 0 | 0 | 26 |1682k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1612.14/1612.73 c 1510s| 2650k| 139 | 143 | 0.0 |5240k| 349 | - | 449 | 638 | 0 | 0 | 26 |1689k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1617.43/1618.06 c 1515s| 2660k| 141 | 143 | 0.0 |5249k| 349 | - | 449 | 631 | 0 | 0 | 26 |1695k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1624.23/1624.83 c 1522s| 2670k| 132 | 143 | 0.0 |5244k| 349 | - | 449 | 634 | 0 | 0 | 26 |1701k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1631.12/1631.76 c 1528s| 2680k| 159 | 143 | 0.0 |5239k| 349 | - | 449 | 629 | 0 | 0 | 26 |1708k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1638.42/1639.10 c 1535s| 2690k| 166 | 143 | 0.0 |5250k| 349 | - | 449 | 633 | 0 | 0 | 26 |1714k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1644.62/1645.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.62/1645.26 c 1541s| 2700k| 145 | 143 | 0.0 |5245k| 349 | - | 449 | 646 | 0 | 0 | 26 |1721k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1651.12/1651.72 c 1547s| 2710k| 142 | 143 | 0.0 |5235k| 349 | - | 449 | 631 | 0 | 0 | 26 |1727k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1656.51/1657.19 c 1552s| 2720k| 152 | 143 | 0.0 |5239k| 349 | - | 449 | 635 | 0 | 0 | 26 |1733k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1662.81/1663.48 c 1558s| 2730k| 157 | 143 | 0.0 |5252k| 349 | - | 449 | 637 | 0 | 0 | 26 |1740k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1669.11/1669.76 c 1564s| 2740k| 150 | 143 | 0.0 |5239k| 349 | - | 449 | 629 | 0 | 0 | 26 |1747k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1675.41/1676.00 c 1570s| 2750k| 162 | 143 | 0.0 |5240k| 349 | - | 449 | 630 | 0 | 0 | 26 |1753k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1681.51/1682.19 c 1575s| 2760k| 160 | 143 | 0.0 |5241k| 349 | - | 449 | 629 | 0 | 0 | 26 |1760k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1687.10/1687.70 c 1581s| 2770k| 163 | 143 | 0.0 |5243k| 349 | - | 449 | 630 | 0 | 0 | 26 |1766k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1693.91/1694.58 c 1587s| 2780k| 152 | 143 | 0.0 |5237k| 349 | - | 449 | 630 | 0 | 0 | 26 |1772k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1701.30/1701.91 c 1594s| 2790k| 135 | 143 | 0.0 |5235k| 349 | - | 449 | 635 | 0 | 0 | 26 |1779k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1707.90/1708.57 c 1600s| 2800k| 150 | 143 | 0.0 |5250k| 349 | - | 449 | 638 | 0 | 0 | 26 |1786k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1713.79/1714.48 c 1606s| 2810k| 153 | 143 | 0.0 |5248k| 349 | - | 449 | 640 | 0 | 0 | 26 |1792k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1719.80/1720.42 c 1611s| 2820k| 156 | 143 | 0.0 |5242k| 349 | - | 449 | 629 | 0 | 0 | 26 |1799k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1725.69/1726.33 c 1617s| 2830k| 143 | 143 | 0.0 |5242k| 349 | - | 449 | 644 | 0 | 0 | 26 |1805k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1732.19/1732.85 c 1623s| 2840k| 157 | 143 | 0.0 |5242k| 349 | - | 449 | 632 | 0 | 0 | 26 |1811k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1737.89/1738.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.89/1738.53 c 1628s| 2850k| 137 | 143 | 0.0 |5239k| 349 | - | 449 | 637 | 0 | 0 | 26 |1817k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1744.18/1744.86 c 1634s| 2860k| 141 | 143 | 0.0 |5247k| 349 | - | 449 | 642 | 0 | 0 | 26 |1824k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1751.49/1752.14 c 1641s| 2870k| 157 | 143 | 0.0 |5245k| 349 | - | 449 | 633 | 0 | 0 | 26 |1831k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1757.08/1757.71 c 1646s| 2880k| 180 | 143 | 0.0 |5245k| 349 | - | 449 | 630 | 0 | 0 | 26 |1837k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1761.69/1762.34 c 1651s| 2890k| 160 | 143 | 0.0 |5250k| 349 | - | 449 | 666 | 0 | 0 | 26 |1843k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1766.98/1767.67 c 1656s| 2900k| 149 | 143 | 0.0 |5250k| 349 | - | 449 | 638 | 0 | 0 | 26 |1849k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1772.77/1773.41 c 1661s| 2910k| 172 | 143 | 0.0 |5248k| 349 | - | 449 | 639 | 0 | 0 | 26 |1855k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1779.37/1780.02 c 1667s| 2920k| 146 | 143 | 0.0 |5240k| 349 | - | 449 | 631 | 0 | 0 | 26 |1862k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1785.88/1786.50 c 1673s| 2930k| 140 | 143 | 0.0 |5235k| 349 | - | 449 | 631 | 0 | 0 | 26 |1869k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1791.28/1791.98 c 1678s| 2940k| 167 | 143 | 0.0 |5242k| 349 | - | 449 | 630 | 0 | 0 | 26 |1875k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1797.36/1798.00 c 1684s| 2950k| 148 | 143 | 0.0 |5240k| 349 | - | 449 | 630 | 0 | 0 | 26 |1881k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71 c
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time (sec) : 1686.49
1800.08/1800.71 c Solving Nodes : 2953880
1800.08/1800.71 c Primal Bound : +2.50000000000000e+01 (11 solutions)
1800.08/1800.71 c Dual Bound : +2.35000000000000e+01
1800.08/1800.71 c Gap : 6.38 %
1800.08/1800.71 s SATISFIABLE
1800.08/1800.71 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445
1800.08/1800.71 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
1800.08/1800.71 v -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
1800.08/1800.71 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382
1800.08/1800.71 v -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361
1800.08/1800.71 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340
1800.08/1800.71 v -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319
1800.08/1800.71 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
1800.08/1800.71 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277
1800.08/1800.71 v x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256
1800.08/1800.71 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
1800.08/1800.71 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
1800.08/1800.71 v -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1800.08/1800.71 v -x192 -x191 x190 -x189 -x188 x187 x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172
1800.08/1800.71 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151
1800.08/1800.71 v -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
1800.08/1800.71 v -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109
1800.08/1800.71 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85
1800.08/1800.71 v -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60
1800.08/1800.71 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.08/1800.71 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.08/1800.71 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time : 1686.49
1800.08/1800.71 c Original Problem :
1800.08/1800.71 c Problem name : HOME/instance-2666058-1276412701.opb
1800.08/1800.71 c Variables : 466 (466 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 694 initial, 694 maximal
1800.08/1800.71 c Presolved Problem :
1800.08/1800.71 c Problem name : t_HOME/instance-2666058-1276412701.opb
1800.08/1800.71 c Variables : 449 (449 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 629 initial, 935 maximal
1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c linear : 0.02 0 15 0 0 0 46 15 0
1800.08/1800.71 c logicor : 0.04 0 0 0 0 0 19 0 0
1800.08/1800.71 c root node : - 1 - - 1 - - - -
1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.71 c logicor : 629+ 6 8808365 0 0 1458542 18081018 0 0 0
1800.08/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.71 c integral : 0.13 0.00 0.00 0.13 0.00
1800.08/1800.71 c logicor : 450.73 0.00 450.73 0.00 0.00
1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.71 c vbounds : 9.00 2 0 0
1800.08/1800.71 c rootredcost : 8.75 0 0 0
1800.08/1800.71 c pseudoobj : 661.04 19700960 401606 202485408
1800.08/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.71 c propagation : 339.81 1860148 1860148 1860148 28.9 72197 54.0 -
1800.08/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.71 c applied globally : - - - 1570402 22.2 - - -
1800.08/1800.71 c applied locally : - - - 313550 63.2 - - -
1800.08/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.71 c cut pool : 0.01 5 - - 25 - (maximal pool size: 189)
1800.08/1800.71 c redcost : 0.00 6 0 1 0 0
1800.08/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.71 c intobj : 0.00 0 0 0 0 0
1800.08/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.71 c gomory : 0.59 6 0 0 2430 0
1800.08/1800.71 c strongcg : 0.39 6 0 0 2386 0
1800.08/1800.71 c cmir : 0.06 6 0 0 1 0
1800.08/1800.71 c flowcover : 0.06 6 0 0 3 0
1800.08/1800.71 c clique : 0.00 1 0 0 0 0
1800.08/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.71 c mcf : 0.00 1 0 0 0 0
1800.08/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.71 c Pricers : Time Calls Vars
1800.08/1800.71 c problem variables: 0.00 0 0
1800.08/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c relpscost : 0.13 1 0 0 0 0 2
1800.08/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.71 c inference : 107.18 2187839 0 0 0 0 4375678
1800.08/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c random : 0.00 0 0 0 0 0 0
1800.08/1800.71 c Primal Heuristics : Time Calls Found
1800.08/1800.71 c LP solutions : 0.00 - 0
1800.08/1800.71 c pseudo solutions : 0.00 - 0
1800.08/1800.71 c crossover : 0.00 0 0
1800.08/1800.71 c oneopt : 1.50 6 3
1800.08/1800.71 c trivial : 0.01 2 4
1800.08/1800.71 c simplerounding : 0.00 1 0
1800.08/1800.71 c zirounding : 0.00 1 0
1800.08/1800.71 c rounding : 0.00 7 2
1800.08/1800.71 c shifting : 0.00 7 1
1800.08/1800.71 c intshifting : 0.00 0 0
1800.08/1800.71 c twoopt : 0.00 0 0
1800.08/1800.71 c fixandinfer : 0.00 0 0
1800.08/1800.71 c feaspump : 0.00 0 0
1800.08/1800.71 c coefdiving : 0.00 0 0
1800.08/1800.71 c pscostdiving : 0.00 0 0
1800.08/1800.71 c fracdiving : 0.00 0 0
1800.08/1800.71 c veclendiving : 0.00 0 0
1800.08/1800.71 c intdiving : 0.00 0 0
1800.08/1800.71 c actconsdiving : 0.00 0 0
1800.08/1800.71 c objpscostdiving : 0.00 0 0
1800.08/1800.71 c rootsoldiving : 0.00 0 0
1800.08/1800.71 c linesearchdiving : 0.00 0 0
1800.08/1800.71 c guideddiving : 0.00 0 0
1800.08/1800.71 c octane : 0.00 0 0
1800.08/1800.72 c rens : 0.04 1 1
1800.08/1800.72 c rins : 0.00 0 0
1800.08/1800.72 c localbranching : 0.00 0 0
1800.08/1800.72 c mutation : 0.00 0 0
1800.08/1800.72 c dins : 0.00 0 0
1800.08/1800.72 c undercover : 0.00 0 0
1800.08/1800.72 c nlp : 1.66 0 0
1800.08/1800.72 c trysol : 1.19 0 0
1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.72 c primal LP : 0.01 0 0 0.00 0.00
1800.08/1800.72 c dual LP : 0.03 7 143 20.43 4766.67
1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.72 c strong branching : 0.13 22 683 31.05 5253.85
1800.08/1800.72 c (at root node) : - 22 683 31.05 -
1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.72 c B&B Tree :
1800.08/1800.72 c number of runs : 1
1800.08/1800.72 c nodes : 2953880
1800.08/1800.72 c nodes (total) : 2953880
1800.08/1800.72 c nodes left : 149
1800.08/1800.72 c max depth : 349
1800.08/1800.72 c max depth (total): 349
1800.08/1800.72 c backtracks : 1645543 (55.7%)
1800.08/1800.72 c delayed cutoffs : 1421652
1800.08/1800.72 c repropagations : 11695712 (128891687 domain reductions, 1094108 cutoffs)
1800.08/1800.72 c avg switch length: 8.79
1800.08/1800.72 c switching time : 240.81
1800.08/1800.72 c Solution :
1800.08/1800.72 c Solutions found : 11 (9 improvements)
1800.08/1800.72 c First Solution : +4.66000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.08/1800.72 c Primal Bound : +2.50000000000000e+01 (in run 1, after 1 nodes, 0.44 seconds, depth 0, found by <oneopt>)
1800.08/1800.72 c Dual Bound : +2.35000000000000e+01
1800.08/1800.72 c Gap : 6.38 %
1800.08/1800.72 c Root Dual Bound : +2.35000000000000e+01
1800.08/1800.72 c Root Iterations : 143
1800.08/1800.73 c Time complete: 1800.1.
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666058-1276412701/watcher-2666058-1276412701 -o /tmp/evaluation-result-2666058-1276412701/solver-2666058-1276412701 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666058-1276412701.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.92 0.98 0.99 3/106 24952 /proc/meminfo: memFree=1842280/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=9288 CPUtime=0 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 1094 0 0 0 0 0 0 0 18 0 1 0 16871720 9510912 1015 1992294400 4194304 9819077 140737064587424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24952/statm: 2322 1025 371 1374 0 943 0 [startup+0.104059 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24952 /proc/meminfo: memFree=1842280/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=17268 CPUtime=0.09 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 3972 0 0 0 8 1 0 0 20 0 1 0 16871720 17682432 3025 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 4317 3025 495 1374 0 2938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17268 [startup+0.201078 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24952 /proc/meminfo: memFree=1842280/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=23468 CPUtime=0.19 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 6626 0 0 0 17 2 0 0 20 0 1 0 16871720 24031232 4358 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 5867 4358 651 1374 0 4488 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23468 [startup+0.301098 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24952 /proc/meminfo: memFree=1842280/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=27216 CPUtime=0.29 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 7634 0 0 0 26 3 0 0 20 0 1 0 16871720 27869184 5333 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 6804 5333 670 1374 0 5425 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27216 [startup+0.701176 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24952 /proc/meminfo: memFree=1842280/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=35256 CPUtime=0.69 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 9856 0 0 0 65 4 0 0 21 0 1 0 16871720 36102144 7350 1992294400 4194304 9819077 140737064587424 18446744073709551615 4326557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 8814 7350 670 1374 0 7435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35256 [startup+1.50133 s] /proc/loadavg: 0.92 0.98 0.99 2/107 24953 /proc/meminfo: memFree=1808296/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=49172 CPUtime=1.49 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 20223 0 0 0 141 8 0 0 23 0 1 0 16871720 50352128 10395 1992294400 4194304 9819077 140737064587424 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 12293 10395 710 1374 0 10914 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49172 [startup+3.10065 s] /proc/loadavg: 0.92 0.98 0.99 2/107 24953 /proc/meminfo: memFree=1802592/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=48508 CPUtime=3.09 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 22605 0 0 0 293 16 0 0 25 0 1 0 16871720 49672192 10640 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 12127 10640 711 1374 0 10748 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48508 [startup+6.30127 s] /proc/loadavg: 1.01 1.00 1.00 2/107 24953 /proc/meminfo: memFree=1801600/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=48904 CPUtime=6.29 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 22676 0 0 0 595 34 0 0 25 0 1 0 16871720 50077696 10711 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 12226 10711 711 1374 0 10847 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48904 [startup+12.7005 s] /proc/loadavg: 1.01 1.00 1.00 2/107 24953 /proc/meminfo: memFree=1801476/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=49168 CPUtime=12.68 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 22739 0 0 0 1199 69 0 0 25 0 1 0 16871720 50348032 10774 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 12292 10774 711 1374 0 10913 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49168 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24953 /proc/meminfo: memFree=1800856/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=49712 CPUtime=25.48 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 22891 0 0 0 2405 143 0 0 25 0 1 0 16871720 50905088 10926 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 12428 10926 711 1374 0 11049 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49712 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24955 /proc/meminfo: memFree=1800236/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=50532 CPUtime=51.07 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23049 0 0 0 4812 295 0 0 25 0 1 0 16871720 51744768 11084 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 12633 11084 711 1374 0 11254 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 50532 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24955 /proc/meminfo: memFree=1799120/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=51632 CPUtime=102.26 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23290 0 0 0 9626 600 0 0 25 0 1 0 16871720 52871168 11325 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 12908 11325 711 1374 0 11529 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51632 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24957 /proc/meminfo: memFree=1798500/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=52172 CPUtime=162.24 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23398 0 0 0 15259 965 0 0 25 0 1 0 16871720 53424128 11433 1992294400 4194304 9819077 140737064587424 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13043 11433 711 1374 0 11664 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 52172 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24959 /proc/meminfo: memFree=1798252/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=52464 CPUtime=222.22 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23458 0 0 0 20886 1336 0 0 25 0 1 0 16871720 53723136 11493 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13116 11493 711 1374 0 11737 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 52464 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24961 /proc/meminfo: memFree=1797880/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=52596 CPUtime=282.19 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23506 0 0 0 26533 1686 0 0 25 0 1 0 16871720 53858304 11541 1992294400 4194304 9819077 140737064587424 18446744073709551615 6180578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13149 11541 711 1374 0 11770 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 52596 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24963 /proc/meminfo: memFree=1797632/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=52864 CPUtime=342.17 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23545 0 0 0 32151 2066 0 0 25 0 1 0 16871720 54132736 11580 1992294400 4194304 9819077 140737064587424 18446744073709551615 5506837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13216 11580 711 1374 0 11837 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 52864 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24963 /proc/meminfo: memFree=1797508/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=52864 CPUtime=402.16 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23565 0 0 0 37769 2447 0 0 25 0 1 0 16871720 54132736 11600 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13216 11600 711 1374 0 11837 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 52864 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24965 /proc/meminfo: memFree=1797136/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=53148 CPUtime=462.13 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23621 0 0 0 43361 2852 0 0 25 0 1 0 16871720 54423552 11656 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13287 11656 711 1374 0 11908 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 53148 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24967 /proc/meminfo: memFree=1797012/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=53280 CPUtime=522.11 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23645 0 0 0 48968 3243 0 0 25 0 1 0 16871720 54558720 11680 1992294400 4194304 9819077 140737064587424 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13320 11680 711 1374 0 11941 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 53280 [startup+582.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 24972 /proc/meminfo: memFree=1796020/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=53580 CPUtime=582.09 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23707 0 0 0 54554 3655 0 0 25 0 1 0 16871720 54865920 11742 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13395 11742 711 1374 0 12016 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 53580 [startup+642.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 24974 /proc/meminfo: memFree=1796020/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=53580 CPUtime=642.07 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23717 0 0 0 60163 4044 0 0 25 0 1 0 16871720 54865920 11752 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13395 11752 711 1374 0 12016 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 53580 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24978 /proc/meminfo: memFree=1795648/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54132 CPUtime=822 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23824 0 0 0 77018 5182 0 0 25 0 1 0 16871720 55431168 11859 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13533 11859 711 1374 0 12154 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 54132 [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24980 /proc/meminfo: memFree=1795400/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54276 CPUtime=882 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23846 0 0 0 82634 5566 0 0 25 0 1 0 16871720 55578624 11881 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13569 11881 711 1374 0 12190 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 54276 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24982 /proc/meminfo: memFree=1795276/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54276 CPUtime=941.96 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23846 0 0 0 88248 5948 0 0 25 0 1 0 16871720 55578624 11881 1992294400 4194304 9819077 140737064587424 18446744073709551615 4407750 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13569 11881 711 1374 0 12190 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 54276 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24982 /proc/meminfo: memFree=1795028/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54276 CPUtime=1001.94 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23870 0 0 0 93889 6305 0 0 25 0 1 0 16871720 55578624 11905 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13569 11905 711 1374 0 12190 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 54276 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24984 /proc/meminfo: memFree=1794904/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54408 CPUtime=1061.92 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23891 0 0 0 99488 6704 0 0 25 0 1 0 16871720 55713792 11926 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13602 11926 711 1374 0 12223 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 54408 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24986 /proc/meminfo: memFree=1794780/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54408 CPUtime=1121.9 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23895 0 0 0 105100 7090 0 0 25 0 1 0 16871720 55713792 11930 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13602 11930 711 1374 0 12223 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 54408 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24988 /proc/meminfo: memFree=1794656/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54544 CPUtime=1181.88 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23911 0 0 0 110700 7488 0 0 25 0 1 0 16871720 55853056 11946 1992294400 4194304 9819077 140737064587424 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13636 11946 711 1374 0 12257 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 54544 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 24990 /proc/meminfo: memFree=1794408/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54544 CPUtime=1241.86 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23918 0 0 0 116317 7869 0 0 25 0 1 0 16871720 55853056 11953 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13636 11953 711 1374 0 12257 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 54544 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 24990 /proc/meminfo: memFree=1794160/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54684 CPUtime=1301.83 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23934 0 0 0 121946 8237 0 0 25 0 1 0 16871720 55996416 11969 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13671 11969 711 1374 0 12292 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 54684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 24992 /proc/meminfo: memFree=1794160/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54684 CPUtime=1361.81 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23953 0 0 0 127576 8605 0 0 25 0 1 0 16871720 55996416 11988 1992294400 4194304 9819077 140737064587424 18446744073709551615 5918822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13671 11988 711 1374 0 12292 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 54684 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24994 /proc/meminfo: memFree=1794036/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54828 CPUtime=1421.81 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23969 0 0 0 133183 8998 0 0 25 0 1 0 16871720 56143872 12004 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13707 12004 711 1374 0 12328 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 54828 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24996 /proc/meminfo: memFree=1793664/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54828 CPUtime=1481.77 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23991 0 0 0 138804 9373 0 0 25 0 1 0 16871720 56143872 12026 1992294400 4194304 9819077 140737064587424 18446744073709551615 5508287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13707 12026 711 1374 0 12328 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 54828 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24998 /proc/meminfo: memFree=1793540/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54972 CPUtime=1541.77 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 23999 0 0 0 144425 9752 0 0 25 0 1 0 16871720 56291328 12034 1992294400 4194304 9819077 140737064587424 18446744073709551615 5506163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13743 12034 711 1374 0 12364 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 54972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24998 /proc/meminfo: memFree=1793416/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54972 CPUtime=1601.73 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 24016 0 0 0 150059 10114 0 0 25 0 1 0 16871720 56291328 12051 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13743 12051 711 1374 0 12364 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 54972 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25000 /proc/meminfo: memFree=1793292/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=54972 CPUtime=1661.71 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 24016 0 0 0 155686 10485 0 0 25 0 1 0 16871720 56291328 12051 1992294400 4194304 9819077 140737064587424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13743 12051 711 1374 0 12364 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 54972 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25002 /proc/meminfo: memFree=1793044/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=55104 CPUtime=1721.7 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 24019 0 0 0 161304 10866 0 0 25 0 1 0 16871720 56426496 12054 1992294400 4194304 9819077 140737064587424 18446744073709551615 5901286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13776 12054 711 1374 0 12397 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 55104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25004 /proc/meminfo: memFree=1792796/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=55104 CPUtime=1781.67 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 24019 0 0 0 166926 11241 0 0 25 0 1 0 16871720 56426496 12054 1992294400 4194304 9819077 140737064587424 18446744073709551615 5506208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13776 12054 711 1374 0 12397 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 55104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25004 /proc/meminfo: memFree=1792796/2059040 swapFree=4136184/4192956 [pid=24952] ppid=24950 vsize=55104 CPUtime=1800.08 /proc/24952/stat : 24952 (pbscip.linux.x8) R 24950 24952 24038 0 -1 4202496 24023 0 0 0 168653 11355 0 0 25 0 1 0 16871720 56426496 12058 1992294400 4194304 9819077 140737064587424 18446744073709551615 4703926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24952/statm: 13776 12058 711 1374 0 12397 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 55104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.11 CPU user time (s): 1686.54 CPU system time (s): 113.568 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 55104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1686.54 system time used= 113.568 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24028 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4745 runsolver used 2.96655 second user time and 8.5327 second system time The end
Begin job on node011 at 2010-06-13 09:05:02 IDJOB=2666058 IDBENCH=2049 IDSOLVER=1168 FILE ID=node011/2666058-1276412701 PBS_JOBID= 11173273 Free space on /tmp= 62264 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666058-1276412701/watcher-2666058-1276412701 -o /tmp/evaluation-result-2666058-1276412701/solver-2666058-1276412701 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666058-1276412701.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 931342e76f648ae82c047d164917a326 RANDOM SEED=1363007545 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.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 : 3000.264 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: 1842808 kB Buffers: 15668 kB Cached: 124796 kB SwapCached: 9784 kB Active: 90244 kB Inactive: 62628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842808 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 6368 kB Writeback: 0 kB AnonPages: 10948 kB Mapped: 9120 kB Slab: 41620 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181316 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62256 MiB End job on node011 at 2010-06-13 09:35:04