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) | 50 | 1800.09 | 1800.75 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
| MD5SUM | 9c27419d6022516b3a8580fda3ca43ee |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 50 |
| Best CPU time to get the best result obtained on this benchmark | 9.23959 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 50 |
| Optimality of the best value was proved | NO |
| Number of variables | 807 |
| Total number of constraints | 1823 |
| Number of constraints which are clauses | 1823 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 807 |
| 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 | 807 |
| 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 | 807 |
| 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: 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-2665619-1276414105.opb>
0.05/0.09 c original problem has 807 variables (807 bin, 0 int, 0 impl, 0 cont) and 1823 constraints
0.05/0.09 c problem read
0.05/0.09 c presolving settings loaded
0.09/0.12 o 807
0.09/0.12 c feasible solution found by trivial heuristic, objective value 8.070000e+02
0.09/0.12 c presolving:
0.09/0.15 c (round 1) 16 del vars, 128 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10 impls, 0 clqs
0.09/0.15 c (round 2) 16 del vars, 129 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10 impls, 0 clqs
0.19/0.25 c (round 3) 16 del vars, 1007 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1630 upgd conss, 10 impls, 0 clqs
0.19/0.25 c (round 4) 18 del vars, 1009 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1630 upgd conss, 10 impls, 0 clqs
0.19/0.26 c (round 5) 19 del vars, 1013 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1640 upgd conss, 10 impls, 0 clqs
0.19/0.26 c (round 6) 19 del vars, 1014 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1644 upgd conss, 10 impls, 0 clqs
0.19/0.27 c (0.1s) probing: 101/788 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.27 c presolving (7 rounds):
0.19/0.27 c 19 deleted vars, 1014 deleted constraints, 16 tightened bounds, 0 added holes, 17 changed sides, 0 changed coefficients
0.19/0.27 c 10 implications, 0 cliques
0.19/0.27 c presolved problem has 788 variables (788 bin, 0 int, 0 impl, 0 cont) and 809 constraints
0.19/0.27 c 809 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.13
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 1.2.1.2
0.19/0.27 c
0.19/0.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27 c conflict/interconss = 0
0.19/0.27 c
0.19/0.27 c # should binary conflicts be preferred?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c conflict/preferbinary = TRUE
0.19/0.27 c
0.19/0.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.27 c constraints/agelimit = 1
0.19/0.27 c
0.19/0.27 c # should enforcement of pseudo solution be disabled?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/disableenfops = TRUE
0.19/0.27 c
0.19/0.27 c # frequency for displaying node information lines
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27 c display/freq = 10000
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/time = 1799.92
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/memory = 1620
0.19/0.27 c
0.19/0.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.27 c lp/solvefreq = 0
0.19/0.27 c
0.19/0.27 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.19/0.27 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.27 c lp/pricing = a
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify inequalities
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/linear/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify knapsacks
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # priority of node selection rule <dfs> in standard mode
0.19/0.27 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.27 c nodeselection/dfs/stdpriority = 1000000
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.27 c
0.19/0.28 o 805
0.19/0.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c t 0.1s| 1 | 0 | 0 | - |4300k| 0 | - | 788 | 809 | 0 | 0 | 0 | 0 | 0 | -- | 8.050000e+02 | Inf
0.19/0.28 o 728
0.19/0.28 c t 0.1s| 1 | 0 | 0 | - |4311k| 0 | - | 788 | 809 | 0 | 0 | 0 | 0 | 0 | -- | 7.280000e+02 | Inf
0.19/0.29 o 62
0.19/0.29 c b 0.2s| 1 | 0 | 0 | - |5663k| 0 | - | 788 | 809 | 788 | 809 | 0 | 0 | 0 | -- | 6.200000e+01 | Inf
0.29/0.32 c 0.2s| 1 | 0 | 258 | - |5651k| 0 | 94 | 788 | 809 | 788 | 809 | 0 | 0 | 0 | 4.631290e+01 | 6.200000e+01 | 33.87%
1.10/1.16 c 1.0s| 1 | 0 | 318 | - |7623k| 0 | 90 | 788 | 809 | 788 | 810 | 1 | 0 | 0 | 4.639362e+01 | 6.200000e+01 | 33.64%
1.59/1.65 c 1.5s| 1 | 0 | 473 | - |8155k| 0 | 109 | 788 | 809 | 788 | 813 | 4 | 0 | 0 | 4.683374e+01 | 6.200000e+01 | 32.38%
2.10/2.16 c 2.0s| 1 | 0 | 578 | - |8216k| 0 | 102 | 788 | 809 | 788 | 814 | 5 | 0 | 0 | 4.687077e+01 | 6.200000e+01 | 32.28%
2.59/2.63 c 2.5s| 1 | 0 | 587 | - |8224k| 0 | 105 | 788 | 809 | 788 | 815 | 6 | 0 | 0 | 4.687077e+01 | 6.200000e+01 | 32.28%
3.69/3.77 o 50
3.69/3.77 c E 3.5s| 1 | 0 | 587 | - |8233k| 0 | 105 | 788 | 809 | 788 | 815 | 6 | 0 | 0 | 4.687077e+01 | 5.000000e+01 | 6.68%
3.69/3.78 c 3.5s| 1 | 0 | 587 | - |8233k| 0 | 105 | 788 | 809 | 788 | 815 | 6 | 0 | 0 | 4.687077e+01 | 5.000000e+01 | 6.68%
4.59/4.64 c 4.3s| 1 | 2 | 587 | - |8234k| 0 | 105 | 788 | 809 | 788 | 815 | 6 | 0 | 20 | 4.687077e+01 | 5.000000e+01 | 6.68%
9.09/9.18 c 8.7s| 10000 | 542 | 587 | 0.0 |8622k| 647 | - | 788 | 810 | 0 | 0 | 6 |5812 | 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
14.68/14.75 c 14.0s| 20000 | 532 | 587 | 0.0 |8621k| 647 | - | 788 | 809 | 0 | 0 | 6 | 12k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
19.79/19.89 c 18.9s| 30000 | 523 | 587 | 0.0 |8620k| 647 | - | 788 | 809 | 0 | 0 | 6 | 18k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
25.08/25.14 c 23.9s| 40000 | 518 | 587 | 0.0 |8621k| 647 | - | 788 | 809 | 0 | 0 | 6 | 24k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
30.48/30.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.48/30.58 c 29.1s| 50000 | 513 | 587 | 0.0 |8628k| 647 | - | 788 | 814 | 0 | 0 | 6 | 30k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
36.28/36.36 c 34.7s| 60000 | 515 | 587 | 0.0 |8628k| 647 | - | 788 | 812 | 0 | 0 | 6 | 36k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
43.37/43.41 c 41.3s| 70000 | 524 | 587 | 0.0 |8631k| 647 | - | 788 | 809 | 0 | 0 | 6 | 44k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
50.37/50.49 c 48.0s| 80000 | 513 | 587 | 0.0 |8629k| 647 | - | 788 | 809 | 0 | 0 | 6 | 51k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
56.37/56.43 c 53.6s| 90000 | 513 | 587 | 0.0 |8636k| 647 | - | 788 | 814 | 0 | 0 | 6 | 57k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
61.87/61.97 c 59.0s|100000 | 515 | 587 | 0.0 |8635k| 647 | - | 788 | 809 | 0 | 0 | 6 | 64k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
67.57/67.63 c 64.3s|110000 | 519 | 587 | 0.0 |8639k| 647 | - | 788 | 822 | 0 | 0 | 6 | 70k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
73.67/73.77 c 70.2s|120000 | 513 | 587 | 0.0 |8645k| 647 | - | 788 | 815 | 0 | 0 | 6 | 76k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
80.06/80.10 c 76.2s|130000 | 513 | 587 | 0.0 |8632k| 647 | - | 788 | 809 | 0 | 0 | 6 | 83k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
86.36/86.42 c 82.2s|140000 | 521 | 587 | 0.0 |8639k| 647 | - | 788 | 817 | 0 | 0 | 6 | 90k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
92.65/92.73 c 88.2s|150000 | 520 | 587 | 0.0 |8645k| 647 | - | 788 | 809 | 0 | 0 | 6 | 97k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
98.76/98.89 c 94.0s|160000 | 515 | 587 | 0.0 |8633k| 647 | - | 788 | 809 | 0 | 0 | 6 | 103k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
105.26/105.33 c 100s|170000 | 511 | 587 | 0.0 |8638k| 647 | - | 788 | 812 | 0 | 0 | 6 | 109k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
110.85/110.93 c 106s|180000 | 513 | 587 | 0.0 |8638k| 647 | - | 788 | 810 | 0 | 0 | 6 | 116k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
117.45/117.59 c 112s|190000 | 519 | 587 | 0.0 |8639k| 647 | - | 788 | 810 | 0 | 0 | 6 | 122k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
123.85/123.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.85/123.92 c 118s|200000 | 522 | 587 | 0.0 |8642k| 647 | - | 788 | 813 | 0 | 0 | 6 | 129k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
129.75/129.84 c 123s|210000 | 510 | 587 | 0.0 |8632k| 647 | - | 788 | 809 | 0 | 0 | 6 | 135k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
136.04/136.12 c 129s|220000 | 518 | 587 | 0.0 |8635k| 647 | - | 788 | 810 | 0 | 0 | 6 | 142k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
142.54/142.66 c 136s|230000 | 512 | 587 | 0.0 |8643k| 647 | - | 788 | 813 | 0 | 0 | 6 | 148k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
149.44/149.56 c 142s|240000 | 512 | 587 | 0.0 |8634k| 647 | - | 788 | 809 | 0 | 0 | 6 | 155k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
155.63/155.79 c 148s|250000 | 520 | 587 | 0.0 |8651k| 647 | - | 788 | 820 | 0 | 0 | 6 | 162k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
161.54/161.64 c 154s|260000 | 515 | 587 | 0.0 |8634k| 647 | - | 788 | 809 | 0 | 0 | 6 | 168k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
167.53/167.69 c 159s|270000 | 513 | 587 | 0.0 |8643k| 647 | - | 788 | 819 | 0 | 0 | 6 | 175k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
173.53/173.68 c 165s|280000 | 517 | 587 | 0.0 |8641k| 647 | - | 788 | 818 | 0 | 0 | 6 | 181k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
180.12/180.21 c 171s|290000 | 510 | 587 | 0.0 |8637k| 647 | - | 788 | 816 | 0 | 0 | 6 | 188k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
186.53/186.61 c 177s|300000 | 511 | 587 | 0.0 |8640k| 647 | - | 788 | 819 | 0 | 0 | 6 | 195k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
192.82/192.96 c 183s|310000 | 507 | 587 | 0.0 |8640k| 647 | - | 788 | 809 | 0 | 0 | 6 | 202k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
198.82/198.97 c 189s|320000 | 511 | 587 | 0.0 |8636k| 647 | - | 788 | 809 | 0 | 0 | 6 | 208k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
204.31/204.44 c 194s|330000 | 506 | 587 | 0.0 |8634k| 647 | - | 788 | 809 | 0 | 0 | 6 | 214k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
211.03/211.18 c 200s|340000 | 515 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 222k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
218.21/218.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.21/218.36 c 207s|350000 | 520 | 587 | 0.0 |8636k| 647 | - | 788 | 809 | 0 | 0 | 6 | 229k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
225.91/226.07 c 215s|360000 | 508 | 587 | 0.0 |8633k| 647 | - | 788 | 809 | 0 | 0 | 6 | 237k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
232.70/232.90 c 221s|370000 | 510 | 587 | 0.0 |8638k| 647 | - | 788 | 817 | 0 | 0 | 6 | 244k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
239.61/239.74 c 227s|380000 | 510 | 587 | 0.0 |8639k| 647 | - | 788 | 819 | 0 | 0 | 6 | 250k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
245.91/246.01 c 233s|390000 | 509 | 587 | 0.0 |8634k| 647 | - | 788 | 809 | 0 | 0 | 6 | 257k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
252.20/252.32 c 239s|400000 | 511 | 587 | 0.0 |8650k| 647 | - | 788 | 811 | 0 | 0 | 6 | 263k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
258.90/259.05 c 246s|410000 | 517 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 270k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
264.40/264.58 c 251s|420000 | 511 | 587 | 0.0 |8644k| 647 | - | 788 | 810 | 0 | 0 | 6 | 276k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
270.50/270.61 c 257s|430000 | 517 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 282k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
276.39/276.58 c 262s|440000 | 507 | 587 | 0.0 |8637k| 647 | - | 788 | 813 | 0 | 0 | 6 | 289k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
283.69/283.81 c 269s|450000 | 512 | 587 | 0.0 |8642k| 647 | - | 788 | 819 | 0 | 0 | 6 | 295k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
292.08/292.27 c 277s|460000 | 505 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 303k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
298.99/299.11 c 284s|470000 | 507 | 587 | 0.0 |8641k| 647 | - | 788 | 818 | 0 | 0 | 6 | 309k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
304.38/304.50 c 289s|480000 | 505 | 587 | 0.0 |8641k| 647 | - | 788 | 812 | 0 | 0 | 6 | 315k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
309.98/310.12 c 294s|490000 | 509 | 587 | 0.0 |8641k| 647 | - | 788 | 812 | 0 | 0 | 6 | 322k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
315.49/315.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.49/315.64 c 300s|500000 | 518 | 587 | 0.0 |8638k| 647 | - | 788 | 809 | 0 | 0 | 6 | 328k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
322.97/323.12 c 307s|510000 | 518 | 587 | 0.0 |8641k| 647 | - | 788 | 810 | 0 | 0 | 6 | 336k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
330.47/330.64 c 314s|520000 | 513 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 343k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
338.68/338.81 c 322s|530000 | 512 | 587 | 0.0 |8643k| 647 | - | 788 | 812 | 0 | 0 | 6 | 351k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
344.97/345.12 c 328s|540000 | 507 | 587 | 0.0 |8638k| 647 | - | 788 | 810 | 0 | 0 | 6 | 357k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
350.86/351.09 c 333s|550000 | 506 | 587 | 0.0 |8639k| 647 | - | 788 | 812 | 0 | 0 | 6 | 364k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
357.27/357.41 c 339s|560000 | 512 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 370k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
363.36/363.51 c 345s|570000 | 512 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 377k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
369.85/370.02 c 351s|580000 | 507 | 587 | 0.0 |8640k| 647 | - | 788 | 809 | 0 | 0 | 6 | 384k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
375.05/375.29 c 356s|590000 | 507 | 587 | 0.0 |8636k| 647 | - | 788 | 809 | 0 | 0 | 6 | 390k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
380.46/380.64 c 361s|600000 | 504 | 587 | 0.0 |8639k| 647 | - | 788 | 810 | 0 | 0 | 6 | 396k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
386.65/386.83 c 367s|610000 | 501 | 587 | 0.0 |8641k| 647 | - | 788 | 813 | 0 | 0 | 6 | 402k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
392.56/392.73 c 373s|620000 | 502 | 587 | 0.0 |8634k| 647 | - | 788 | 809 | 0 | 0 | 6 | 409k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
398.45/398.67 c 379s|630000 | 507 | 587 | 0.0 |8639k| 647 | - | 788 | 810 | 0 | 0 | 6 | 415k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
404.65/404.86 c 384s|640000 | 507 | 587 | 0.0 |8642k| 647 | - | 788 | 815 | 0 | 0 | 6 | 421k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
411.94/412.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.94/412.10 c 391s|650000 | 508 | 587 | 0.0 |8641k| 647 | - | 788 | 812 | 0 | 0 | 6 | 429k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
417.85/418.09 c 397s|660000 | 510 | 587 | 0.0 |8637k| 647 | - | 788 | 809 | 0 | 0 | 6 | 435k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
424.74/424.97 c 403s|670000 | 504 | 587 | 0.0 |8642k| 647 | - | 788 | 810 | 0 | 0 | 6 | 441k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
430.44/430.66 c 409s|680000 | 504 | 587 | 0.0 |8638k| 647 | - | 788 | 809 | 0 | 0 | 6 | 448k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
436.63/436.83 c 415s|690000 | 502 | 587 | 0.0 |8635k| 647 | - | 788 | 810 | 0 | 0 | 6 | 455k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
443.04/443.20 c 421s|700000 | 508 | 587 | 0.0 |8647k| 647 | - | 788 | 810 | 0 | 0 | 6 | 461k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
448.93/449.19 c 426s|710000 | 513 | 587 | 0.0 |8643k| 647 | - | 788 | 814 | 0 | 0 | 6 | 468k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
456.53/456.77 c 434s|720000 | 503 | 587 | 0.0 |8647k| 647 | - | 788 | 810 | 0 | 0 | 6 | 475k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
462.83/463.02 c 440s|730000 | 507 | 587 | 0.0 |8640k| 647 | - | 788 | 812 | 0 | 0 | 6 | 481k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
468.82/469.04 c 445s|740000 | 514 | 587 | 0.0 |8639k| 647 | - | 788 | 809 | 0 | 0 | 6 | 488k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
476.42/476.63 c 452s|750000 | 507 | 587 | 0.0 |8644k| 647 | - | 788 | 819 | 0 | 0 | 6 | 495k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
482.62/482.89 c 458s|760000 | 501 | 587 | 0.0 |8645k| 647 | - | 788 | 819 | 0 | 0 | 6 | 502k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
488.42/488.63 c 464s|770000 | 507 | 587 | 0.0 |8644k| 647 | - | 788 | 814 | 0 | 0 | 6 | 508k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
494.72/494.98 c 470s|780000 | 509 | 587 | 0.0 |8641k| 647 | - | 788 | 809 | 0 | 0 | 6 | 515k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
500.61/500.86 c 475s|790000 | 502 | 587 | 0.0 |8642k| 647 | - | 788 | 810 | 0 | 0 | 6 | 521k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
507.20/507.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.20/507.46 c 482s|800000 | 509 | 587 | 0.0 |8647k| 647 | - | 788 | 812 | 0 | 0 | 6 | 528k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
513.71/513.91 c 488s|810000 | 507 | 587 | 0.0 |8640k| 647 | - | 788 | 810 | 0 | 0 | 6 | 534k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
521.21/521.49 c 495s|820000 | 510 | 587 | 0.0 |8645k| 647 | - | 788 | 820 | 0 | 0 | 6 | 541k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
527.50/527.78 c 501s|830000 | 503 | 587 | 0.0 |8638k| 647 | - | 788 | 809 | 0 | 0 | 6 | 548k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
533.30/533.54 c 506s|840000 | 507 | 587 | 0.0 |8638k| 647 | - | 788 | 809 | 0 | 0 | 6 | 554k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
539.50/539.71 c 512s|850000 | 508 | 587 | 0.0 |8644k| 647 | - | 788 | 819 | 0 | 0 | 6 | 561k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
545.20/545.42 c 518s|860000 | 501 | 587 | 0.0 |8643k| 647 | - | 788 | 814 | 0 | 0 | 6 | 567k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
552.39/552.66 c 525s|870000 | 502 | 587 | 0.0 |8643k| 647 | - | 788 | 817 | 0 | 0 | 6 | 574k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
559.08/559.32 c 531s|880000 | 503 | 587 | 0.0 |8641k| 647 | - | 788 | 814 | 0 | 0 | 6 | 580k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
564.48/564.79 c 536s|890000 | 500 | 587 | 0.0 |8639k| 647 | - | 788 | 812 | 0 | 0 | 6 | 587k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
570.29/570.57 c 542s|900000 | 503 | 587 | 0.0 |8638k| 647 | - | 788 | 809 | 0 | 0 | 6 | 593k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
576.09/576.35 c 547s|910000 | 501 | 587 | 0.0 |8638k| 647 | - | 788 | 810 | 0 | 0 | 6 | 599k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
582.28/582.59 c 553s|920000 | 503 | 587 | 0.0 |8645k| 647 | - | 788 | 814 | 0 | 0 | 6 | 606k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
588.98/589.29 c 560s|930000 | 507 | 587 | 0.0 |8645k| 647 | - | 788 | 818 | 0 | 0 | 6 | 613k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
596.57/596.88 c 567s|940000 | 509 | 587 | 0.0 |8647k| 647 | - | 788 | 811 | 0 | 0 | 6 | 620k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
602.87/603.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.87/603.14 c 573s|950000 | 501 | 587 | 0.0 |8644k| 647 | - | 788 | 814 | 0 | 0 | 6 | 626k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
608.47/608.72 c 578s|960000 | 508 | 587 | 0.0 |8641k| 647 | - | 788 | 810 | 0 | 0 | 6 | 632k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
614.17/614.47 c 583s|970000 | 495 | 587 | 0.0 |8639k| 647 | - | 788 | 811 | 0 | 0 | 6 | 639k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
620.37/620.63 c 589s|980000 | 501 | 587 | 0.0 |8648k| 647 | - | 788 | 816 | 0 | 0 | 6 | 645k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
625.67/625.96 c 594s|990000 | 499 | 587 | 0.0 |8649k| 647 | - | 788 | 809 | 0 | 0 | 6 | 652k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
631.26/631.59 c 600s| 1000k| 503 | 587 | 0.0 |8640k| 647 | - | 788 | 809 | 0 | 0 | 6 | 658k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
636.96/637.28 c 605s| 1010k| 498 | 587 | 0.0 |8639k| 647 | - | 788 | 809 | 0 | 0 | 6 | 664k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
642.66/642.90 c 610s| 1020k| 499 | 587 | 0.0 |8648k| 647 | - | 788 | 812 | 0 | 0 | 6 | 671k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
648.25/648.58 c 616s| 1030k| 498 | 587 | 0.0 |8639k| 647 | - | 788 | 809 | 0 | 0 | 6 | 677k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
654.46/654.74 c 622s| 1040k| 500 | 587 | 0.0 |8642k| 647 | - | 788 | 810 | 0 | 0 | 6 | 683k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
660.15/660.49 c 627s| 1050k| 497 | 587 | 0.0 |8644k| 647 | - | 788 | 809 | 0 | 0 | 6 | 689k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
666.05/666.36 c 633s| 1060k| 508 | 587 | 0.0 |8642k| 647 | - | 788 | 809 | 0 | 0 | 6 | 696k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
671.44/671.80 c 638s| 1070k| 499 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 | 702k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
676.65/676.98 c 643s| 1080k| 502 | 587 | 0.0 |8642k| 647 | - | 788 | 813 | 0 | 0 | 6 | 708k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
683.04/683.37 c 649s| 1090k| 502 | 587 | 0.0 |8644k| 647 | - | 788 | 815 | 0 | 0 | 6 | 715k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
689.54/689.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.54/689.88 c 655s| 1100k| 504 | 587 | 0.0 |8644k| 647 | - | 788 | 813 | 0 | 0 | 6 | 722k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
695.54/695.82 c 661s| 1110k| 498 | 587 | 0.0 |8640k| 647 | - | 788 | 809 | 0 | 0 | 6 | 728k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
701.24/701.56 c 666s| 1120k| 499 | 587 | 0.0 |8649k| 647 | - | 788 | 822 | 0 | 0 | 6 | 734k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
706.94/707.25 c 672s| 1130k| 502 | 587 | 0.0 |8643k| 647 | - | 788 | 811 | 0 | 0 | 6 | 740k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
713.73/714.09 c 678s| 1140k| 494 | 587 | 0.0 |8638k| 647 | - | 788 | 809 | 0 | 0 | 6 | 747k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
720.23/720.52 c 684s| 1150k| 498 | 587 | 0.0 |8642k| 647 | - | 788 | 812 | 0 | 0 | 6 | 753k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
726.62/726.97 c 690s| 1160k| 496 | 587 | 0.0 |8644k| 647 | - | 788 | 817 | 0 | 0 | 6 | 760k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
732.73/733.03 c 696s| 1170k| 500 | 587 | 0.0 |8648k| 647 | - | 788 | 821 | 0 | 0 | 6 | 767k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
738.93/739.28 c 702s| 1180k| 511 | 587 | 0.0 |8644k| 647 | - | 788 | 809 | 0 | 0 | 6 | 774k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
744.83/745.20 c 708s| 1190k| 497 | 587 | 0.0 |8641k| 647 | - | 788 | 810 | 0 | 0 | 6 | 780k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
752.22/752.57 c 715s| 1200k| 506 | 587 | 0.0 |8648k| 647 | - | 788 | 811 | 0 | 0 | 6 | 787k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
758.42/758.75 c 720s| 1210k| 506 | 587 | 0.0 |8644k| 647 | - | 788 | 809 | 0 | 0 | 6 | 794k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
764.51/764.82 c 726s| 1220k| 502 | 587 | 0.0 |8647k| 647 | - | 788 | 815 | 0 | 0 | 6 | 801k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
771.11/771.48 c 732s| 1230k| 502 | 587 | 0.0 |8649k| 647 | - | 788 | 815 | 0 | 0 | 6 | 807k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
779.31/779.63 c 740s| 1240k| 506 | 587 | 0.0 |8651k| 647 | - | 788 | 818 | 0 | 0 | 6 | 814k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
786.51/786.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.51/786.84 c 747s| 1250k| 501 | 587 | 0.0 |8647k| 647 | - | 788 | 809 | 0 | 0 | 6 | 821k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
792.40/792.77 c 753s| 1260k| 492 | 587 | 0.0 |8650k| 647 | - | 788 | 809 | 0 | 0 | 6 | 827k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
798.21/798.51 c 758s| 1270k| 500 | 587 | 0.0 |8649k| 647 | - | 788 | 819 | 0 | 0 | 6 | 833k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
804.69/805.07 c 765s| 1280k| 505 | 587 | 0.0 |8649k| 647 | - | 788 | 819 | 0 | 0 | 6 | 840k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
812.99/813.37 c 772s| 1290k| 498 | 587 | 0.0 |8651k| 647 | - | 788 | 813 | 0 | 0 | 6 | 847k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
819.20/819.56 c 778s| 1300k| 495 | 587 | 0.0 |8641k| 647 | - | 788 | 809 | 0 | 0 | 6 | 853k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
826.40/826.71 c 785s| 1310k| 497 | 587 | 0.0 |8654k| 647 | - | 788 | 810 | 0 | 0 | 6 | 859k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
832.99/833.35 c 791s| 1320k| 493 | 587 | 0.0 |8642k| 647 | - | 788 | 809 | 0 | 0 | 6 | 866k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
839.00/839.37 c 797s| 1330k| 491 | 587 | 0.0 |8641k| 647 | - | 788 | 810 | 0 | 0 | 6 | 872k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
845.38/845.72 c 803s| 1340k| 495 | 587 | 0.0 |8645k| 647 | - | 788 | 814 | 0 | 0 | 6 | 878k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
851.88/852.23 c 809s| 1350k| 493 | 587 | 0.0 |8642k| 647 | - | 788 | 811 | 0 | 0 | 6 | 885k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
857.78/858.16 c 815s| 1360k| 494 | 587 | 0.0 |8641k| 647 | - | 788 | 809 | 0 | 0 | 6 | 892k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
864.88/865.25 c 822s| 1370k| 495 | 587 | 0.0 |8650k| 647 | - | 788 | 809 | 0 | 0 | 6 | 898k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
872.07/872.42 c 829s| 1380k| 496 | 587 | 0.0 |8642k| 647 | - | 788 | 809 | 0 | 0 | 6 | 905k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
878.37/878.76 c 835s| 1390k| 495 | 587 | 0.0 |8643k| 647 | - | 788 | 811 | 0 | 0 | 6 | 911k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
884.08/884.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.08/884.48 c 840s| 1400k| 513 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 | 918k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
890.47/890.87 c 846s| 1410k| 504 | 587 | 0.0 |8646k| 647 | - | 788 | 810 | 0 | 0 | 6 | 924k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
896.66/897.08 c 852s| 1420k| 499 | 587 | 0.0 |8647k| 647 | - | 788 | 813 | 0 | 0 | 6 | 931k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
902.67/903.01 c 858s| 1430k| 493 | 587 | 0.0 |8641k| 647 | - | 788 | 809 | 0 | 0 | 6 | 937k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
908.86/909.29 c 864s| 1440k| 506 | 587 | 0.0 |8647k| 647 | - | 788 | 813 | 0 | 0 | 6 | 943k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
914.56/914.93 c 869s| 1450k| 499 | 587 | 0.0 |8644k| 647 | - | 788 | 809 | 0 | 0 | 6 | 949k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
920.45/920.81 c 875s| 1460k| 491 | 587 | 0.0 |8645k| 647 | - | 788 | 812 | 0 | 0 | 6 | 955k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
926.35/926.80 c 880s| 1470k| 493 | 587 | 0.0 |8648k| 647 | - | 788 | 817 | 0 | 0 | 6 | 962k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
932.36/932.75 c 886s| 1480k| 498 | 587 | 0.0 |8648k| 647 | - | 788 | 819 | 0 | 0 | 6 | 968k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
938.45/938.80 c 892s| 1490k| 497 | 587 | 0.0 |8643k| 647 | - | 788 | 810 | 0 | 0 | 6 | 974k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
944.45/944.84 c 898s| 1500k| 491 | 587 | 0.0 |8644k| 647 | - | 788 | 809 | 0 | 0 | 6 | 980k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
950.14/950.56 c 903s| 1510k| 492 | 587 | 0.0 |8650k| 647 | - | 788 | 812 | 0 | 0 | 6 | 986k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
956.75/957.16 c 909s| 1520k| 491 | 587 | 0.0 |8658k| 647 | - | 788 | 810 | 0 | 0 | 6 | 993k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
963.74/964.12 c 916s| 1530k| 488 | 587 | 0.0 |8647k| 647 | - | 788 | 811 | 0 | 0 | 6 |1000k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
969.75/970.17 c 922s| 1540k| 492 | 587 | 0.0 |8647k| 647 | - | 788 | 814 | 0 | 0 | 6 |1006k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
976.44/976.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.44/976.88 c 928s| 1550k| 492 | 587 | 0.0 |8645k| 647 | - | 788 | 814 | 0 | 0 | 6 |1013k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
983.14/983.58 c 934s| 1560k| 495 | 587 | 0.0 |8651k| 647 | - | 788 | 817 | 0 | 0 | 6 |1020k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
989.43/989.86 c 940s| 1570k| 490 | 587 | 0.0 |8660k| 647 | - | 788 | 820 | 0 | 0 | 6 |1027k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
996.43/996.86 c 947s| 1580k| 493 | 587 | 0.0 |8650k| 647 | - | 788 | 816 | 0 | 0 | 6 |1034k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1002.52/1002.93 c 953s| 1590k| 492 | 587 | 0.0 |8649k| 647 | - | 788 | 815 | 0 | 0 | 6 |1041k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1007.53/1007.95 c 957s| 1600k| 492 | 587 | 0.0 |8645k| 647 | - | 788 | 813 | 0 | 0 | 6 |1047k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1014.32/1014.72 c 964s| 1610k| 502 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1054k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1020.72/1021.19 c 970s| 1620k| 490 | 587 | 0.0 |8653k| 647 | - | 788 | 817 | 0 | 0 | 6 |1061k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1026.61/1027.05 c 975s| 1630k| 488 | 587 | 0.0 |8642k| 647 | - | 788 | 811 | 0 | 0 | 6 |1067k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1032.72/1033.11 c 981s| 1640k| 498 | 587 | 0.0 |8643k| 647 | - | 788 | 809 | 0 | 0 | 6 |1074k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1038.72/1039.17 c 987s| 1650k| 501 | 587 | 0.0 |8645k| 647 | - | 788 | 810 | 0 | 0 | 6 |1080k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1044.62/1045.05 c 993s| 1660k| 492 | 587 | 0.0 |8644k| 647 | - | 788 | 812 | 0 | 0 | 6 |1087k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1050.71/1051.15 c 998s| 1670k| 487 | 587 | 0.0 |8642k| 647 | - | 788 | 809 | 0 | 0 | 6 |1093k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1056.91/1057.32 c 1004s| 1680k| 495 | 587 | 0.0 |8644k| 647 | - | 788 | 810 | 0 | 0 | 6 |1099k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1063.40/1063.89 c 1010s| 1690k| 498 | 587 | 0.0 |8649k| 647 | - | 788 | 810 | 0 | 0 | 6 |1105k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1071.80/1072.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.80/1072.26 c 1018s| 1700k| 489 | 587 | 0.0 |8646k| 647 | - | 788 | 813 | 0 | 0 | 6 |1113k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1079.71/1080.16 c 1026s| 1710k| 489 | 587 | 0.0 |8649k| 647 | - | 788 | 818 | 0 | 0 | 6 |1119k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1086.10/1086.60 c 1032s| 1720k| 488 | 587 | 0.0 |8650k| 647 | - | 788 | 810 | 0 | 0 | 6 |1126k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1092.40/1092.86 c 1038s| 1730k| 494 | 587 | 0.0 |8654k| 647 | - | 788 | 809 | 0 | 0 | 6 |1132k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1098.29/1098.72 c 1044s| 1740k| 492 | 587 | 0.0 |8644k| 647 | - | 788 | 809 | 0 | 0 | 6 |1139k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1104.69/1105.19 c 1050s| 1750k| 500 | 587 | 0.0 |8651k| 647 | - | 788 | 819 | 0 | 0 | 6 |1145k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1112.18/1112.68 c 1057s| 1760k| 496 | 587 | 0.0 |8649k| 647 | - | 788 | 817 | 0 | 0 | 6 |1153k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1119.88/1120.36 c 1064s| 1770k| 493 | 587 | 0.0 |8644k| 647 | - | 788 | 809 | 0 | 0 | 6 |1160k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1126.49/1126.90 c 1070s| 1780k| 486 | 587 | 0.0 |8656k| 647 | - | 788 | 812 | 0 | 0 | 6 |1167k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1133.07/1133.51 c 1077s| 1790k| 485 | 587 | 0.0 |8642k| 647 | - | 788 | 809 | 0 | 0 | 6 |1173k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1139.97/1140.49 c 1083s| 1800k| 489 | 587 | 0.0 |8643k| 647 | - | 788 | 809 | 0 | 0 | 6 |1181k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1146.38/1146.88 c 1089s| 1810k| 488 | 587 | 0.0 |8650k| 647 | - | 788 | 813 | 0 | 0 | 6 |1187k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1152.57/1153.06 c 1095s| 1820k| 489 | 587 | 0.0 |8643k| 647 | - | 788 | 809 | 0 | 0 | 6 |1194k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1159.67/1160.15 c 1102s| 1830k| 494 | 587 | 0.0 |8645k| 647 | - | 788 | 809 | 0 | 0 | 6 |1201k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1166.37/1166.88 c 1108s| 1840k| 491 | 587 | 0.0 |8645k| 647 | - | 788 | 810 | 0 | 0 | 6 |1207k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1172.18/1172.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.18/1172.65 c 1114s| 1850k| 492 | 587 | 0.0 |8651k| 647 | - | 788 | 810 | 0 | 0 | 6 |1213k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1178.77/1179.24 c 1120s| 1860k| 487 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1220k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1184.46/1184.95 c 1125s| 1870k| 500 | 587 | 0.0 |8647k| 647 | - | 788 | 809 | 0 | 0 | 6 |1226k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1189.95/1190.41 c 1131s| 1880k| 501 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 |1232k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1195.26/1195.71 c 1136s| 1890k| 492 | 587 | 0.0 |8653k| 647 | - | 788 | 819 | 0 | 0 | 6 |1238k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1200.55/1201.09 c 1141s| 1900k| 488 | 587 | 0.0 |8662k| 647 | - | 788 | 817 | 0 | 0 | 6 |1244k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1206.45/1206.97 c 1146s| 1910k| 488 | 587 | 0.0 |8647k| 647 | - | 788 | 811 | 0 | 0 | 6 |1250k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1212.35/1212.80 c 1152s| 1920k| 486 | 587 | 0.0 |8656k| 647 | - | 788 | 817 | 0 | 0 | 6 |1257k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1218.35/1218.88 c 1158s| 1930k| 489 | 587 | 0.0 |8656k| 647 | - | 788 | 816 | 0 | 0 | 6 |1263k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1224.05/1224.59 c 1163s| 1940k| 488 | 587 | 0.0 |8646k| 647 | - | 788 | 811 | 0 | 0 | 6 |1269k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1230.05/1230.52 c 1169s| 1950k| 486 | 587 | 0.0 |8652k| 647 | - | 788 | 816 | 0 | 0 | 6 |1275k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1236.04/1236.54 c 1174s| 1960k| 494 | 587 | 0.0 |8652k| 647 | - | 788 | 819 | 0 | 0 | 6 |1281k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1242.04/1242.53 c 1180s| 1970k| 494 | 587 | 0.0 |8651k| 647 | - | 788 | 812 | 0 | 0 | 6 |1288k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1248.14/1248.64 c 1186s| 1980k| 483 | 587 | 0.0 |8647k| 647 | - | 788 | 814 | 0 | 0 | 6 |1294k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1253.83/1254.30 c 1191s| 1990k| 498 | 587 | 0.0 |8656k| 647 | - | 788 | 812 | 0 | 0 | 6 |1300k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1259.43/1259.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.43/1259.93 c 1197s| 2000k| 489 | 587 | 0.0 |8646k| 647 | - | 788 | 810 | 0 | 0 | 6 |1306k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1264.93/1265.47 c 1202s| 2010k| 494 | 587 | 0.0 |8651k| 647 | - | 788 | 815 | 0 | 0 | 6 |1313k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1270.63/1271.16 c 1207s| 2020k| 496 | 587 | 0.0 |8651k| 647 | - | 788 | 810 | 0 | 0 | 6 |1319k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1277.64/1278.20 c 1214s| 2030k| 490 | 587 | 0.0 |8652k| 647 | - | 788 | 820 | 0 | 0 | 6 |1325k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1285.22/1285.75 c 1221s| 2040k| 487 | 587 | 0.0 |8648k| 647 | - | 788 | 814 | 0 | 0 | 6 |1333k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1291.62/1292.10 c 1227s| 2050k| 495 | 587 | 0.0 |8654k| 647 | - | 788 | 817 | 0 | 0 | 6 |1339k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1297.82/1298.32 c 1233s| 2060k| 485 | 587 | 0.0 |8645k| 647 | - | 788 | 810 | 0 | 0 | 6 |1346k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1303.62/1304.13 c 1238s| 2070k| 489 | 587 | 0.0 |8656k| 647 | - | 788 | 810 | 0 | 0 | 6 |1352k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1310.21/1310.78 c 1245s| 2080k| 496 | 587 | 0.0 |8650k| 647 | - | 788 | 811 | 0 | 0 | 6 |1359k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1316.32/1316.85 c 1251s| 2090k| 488 | 587 | 0.0 |8652k| 647 | - | 788 | 813 | 0 | 0 | 6 |1365k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1322.01/1322.53 c 1256s| 2100k| 487 | 587 | 0.0 |8646k| 647 | - | 788 | 811 | 0 | 0 | 6 |1371k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1328.01/1328.50 c 1262s| 2110k| 494 | 587 | 0.0 |8652k| 647 | - | 788 | 810 | 0 | 0 | 6 |1378k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1334.92/1335.45 c 1268s| 2120k| 493 | 587 | 0.0 |8656k| 647 | - | 788 | 816 | 0 | 0 | 6 |1385k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1340.20/1340.79 c 1273s| 2130k| 487 | 587 | 0.0 |8652k| 647 | - | 788 | 819 | 0 | 0 | 6 |1391k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1346.00/1346.59 c 1279s| 2140k| 492 | 587 | 0.0 |8659k| 647 | - | 788 | 819 | 0 | 0 | 6 |1398k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1352.51/1353.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.51/1353.03 c 1285s| 2150k| 495 | 587 | 0.0 |8647k| 647 | - | 788 | 809 | 0 | 0 | 6 |1405k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1359.00/1359.52 c 1291s| 2160k| 489 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1411k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1365.79/1366.38 c 1298s| 2170k| 485 | 587 | 0.0 |8648k| 647 | - | 788 | 815 | 0 | 0 | 6 |1419k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1372.30/1372.86 c 1304s| 2180k| 490 | 587 | 0.0 |8648k| 647 | - | 788 | 812 | 0 | 0 | 6 |1426k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1378.39/1378.97 c 1309s| 2190k| 489 | 587 | 0.0 |8653k| 647 | - | 788 | 818 | 0 | 0 | 6 |1432k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1384.79/1385.36 c 1315s| 2200k| 498 | 587 | 0.0 |8652k| 647 | - | 788 | 809 | 0 | 0 | 6 |1439k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1391.28/1391.81 c 1322s| 2210k| 489 | 587 | 0.0 |8649k| 647 | - | 788 | 809 | 0 | 0 | 6 |1445k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1398.18/1398.79 c 1328s| 2220k| 488 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1452k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1404.48/1405.07 c 1334s| 2230k| 495 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 |1459k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1411.38/1411.96 c 1341s| 2240k| 490 | 587 | 0.0 |8651k| 647 | - | 788 | 810 | 0 | 0 | 6 |1466k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1417.17/1417.75 c 1346s| 2250k| 484 | 587 | 0.0 |8652k| 647 | - | 788 | 815 | 0 | 0 | 6 |1473k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1423.07/1423.66 c 1352s| 2260k| 492 | 587 | 0.0 |8656k| 647 | - | 788 | 810 | 0 | 0 | 6 |1479k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1429.17/1429.74 c 1358s| 2270k| 487 | 587 | 0.0 |8648k| 647 | - | 788 | 810 | 0 | 0 | 6 |1485k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1435.47/1436.02 c 1364s| 2280k| 493 | 587 | 0.0 |8650k| 647 | - | 788 | 810 | 0 | 0 | 6 |1492k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1442.36/1443.00 c 1370s| 2290k| 484 | 587 | 0.0 |8651k| 647 | - | 788 | 819 | 0 | 0 | 6 |1499k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1448.56/1449.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.56/1449.19 c 1376s| 2300k| 486 | 587 | 0.0 |8648k| 647 | - | 788 | 812 | 0 | 0 | 6 |1506k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1454.67/1455.23 c 1382s| 2310k| 483 | 587 | 0.0 |8649k| 647 | - | 788 | 810 | 0 | 0 | 6 |1513k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1460.66/1461.23 c 1387s| 2320k| 492 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 |1519k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1466.45/1467.06 c 1393s| 2330k| 485 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1526k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1472.26/1472.83 c 1398s| 2340k| 486 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1532k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1479.65/1480.21 c 1405s| 2350k| 488 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 |1538k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1485.75/1486.33 c 1411s| 2360k| 489 | 587 | 0.0 |8647k| 647 | - | 788 | 809 | 0 | 0 | 6 |1545k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1491.35/1491.98 c 1417s| 2370k| 493 | 587 | 0.0 |8649k| 647 | - | 788 | 810 | 0 | 0 | 6 |1551k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1498.04/1498.61 c 1423s| 2380k| 490 | 587 | 0.0 |8648k| 647 | - | 788 | 810 | 0 | 0 | 6 |1558k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1504.94/1505.56 c 1429s| 2390k| 484 | 587 | 0.0 |8646k| 647 | - | 788 | 810 | 0 | 0 | 6 |1565k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1511.04/1511.68 c 1435s| 2400k| 498 | 587 | 0.0 |8653k| 647 | - | 788 | 809 | 0 | 0 | 6 |1571k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1517.64/1518.23 c 1441s| 2410k| 489 | 587 | 0.0 |8649k| 647 | - | 788 | 809 | 0 | 0 | 6 |1578k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1524.04/1524.65 c 1448s| 2420k| 485 | 587 | 0.0 |8656k| 647 | - | 788 | 814 | 0 | 0 | 6 |1584k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1530.13/1530.75 c 1453s| 2430k| 489 | 587 | 0.0 |8647k| 647 | - | 788 | 809 | 0 | 0 | 6 |1591k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1536.53/1537.11 c 1459s| 2440k| 493 | 587 | 0.0 |8658k| 647 | - | 788 | 821 | 0 | 0 | 6 |1597k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1543.03/1543.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.03/1543.60 c 1466s| 2450k| 486 | 587 | 0.0 |8650k| 647 | - | 788 | 813 | 0 | 0 | 6 |1604k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1550.03/1550.65 c 1472s| 2460k| 493 | 587 | 0.0 |8656k| 647 | - | 788 | 819 | 0 | 0 | 6 |1611k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1557.12/1557.70 c 1479s| 2470k| 489 | 587 | 0.0 |8653k| 647 | - | 788 | 818 | 0 | 0 | 6 |1619k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1563.12/1563.78 c 1484s| 2480k| 492 | 587 | 0.0 |8664k| 647 | - | 788 | 824 | 0 | 0 | 6 |1625k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1569.03/1569.67 c 1490s| 2490k| 484 | 587 | 0.0 |8650k| 647 | - | 788 | 814 | 0 | 0 | 6 |1631k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1575.72/1576.38 c 1496s| 2500k| 482 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1638k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1581.72/1582.37 c 1502s| 2510k| 485 | 587 | 0.0 |8647k| 647 | - | 788 | 809 | 0 | 0 | 6 |1645k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1587.61/1588.22 c 1508s| 2520k| 489 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 |1651k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1593.91/1594.51 c 1514s| 2530k| 498 | 587 | 0.0 |8651k| 647 | - | 788 | 809 | 0 | 0 | 6 |1657k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1599.21/1599.83 c 1519s| 2540k| 488 | 587 | 0.0 |8653k| 647 | - | 788 | 814 | 0 | 0 | 6 |1664k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1605.21/1605.86 c 1524s| 2550k| 486 | 587 | 0.0 |8650k| 647 | - | 788 | 811 | 0 | 0 | 6 |1670k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1612.30/1612.98 c 1531s| 2560k| 481 | 587 | 0.0 |8650k| 647 | - | 788 | 810 | 0 | 0 | 6 |1677k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1618.51/1619.20 c 1537s| 2570k| 481 | 587 | 0.0 |8645k| 647 | - | 788 | 809 | 0 | 0 | 6 |1683k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1624.90/1625.58 c 1543s| 2580k| 485 | 587 | 0.0 |8649k| 647 | - | 788 | 809 | 0 | 0 | 6 |1689k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1630.61/1631.27 c 1549s| 2590k| 487 | 587 | 0.0 |8649k| 647 | - | 788 | 812 | 0 | 0 | 6 |1695k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1636.79/1637.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.79/1637.47 c 1554s| 2600k| 484 | 587 | 0.0 |8659k| 647 | - | 788 | 817 | 0 | 0 | 6 |1702k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1642.49/1643.19 c 1560s| 2610k| 481 | 587 | 0.0 |8652k| 647 | - | 788 | 814 | 0 | 0 | 6 |1708k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1648.80/1649.47 c 1566s| 2620k| 494 | 587 | 0.0 |8655k| 647 | - | 788 | 811 | 0 | 0 | 6 |1715k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1656.49/1657.15 c 1573s| 2630k| 493 | 587 | 0.0 |8655k| 647 | - | 788 | 818 | 0 | 0 | 6 |1722k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1662.60/1663.26 c 1579s| 2640k| 492 | 587 | 0.0 |8655k| 647 | - | 788 | 818 | 0 | 0 | 6 |1728k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1669.39/1670.08 c 1585s| 2650k| 491 | 587 | 0.0 |8651k| 647 | - | 788 | 810 | 0 | 0 | 6 |1735k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1675.58/1676.21 c 1591s| 2660k| 480 | 587 | 0.0 |8647k| 647 | - | 788 | 809 | 0 | 0 | 6 |1741k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1681.58/1682.29 c 1597s| 2670k| 481 | 587 | 0.0 |8655k| 647 | - | 788 | 811 | 0 | 0 | 6 |1747k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1687.58/1688.24 c 1603s| 2680k| 491 | 587 | 0.0 |8655k| 647 | - | 788 | 818 | 0 | 0 | 6 |1754k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1694.58/1695.24 c 1609s| 2690k| 486 | 587 | 0.0 |8655k| 647 | - | 788 | 816 | 0 | 0 | 6 |1761k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1700.87/1701.54 c 1615s| 2700k| 486 | 587 | 0.0 |8649k| 647 | - | 788 | 812 | 0 | 0 | 6 |1767k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1706.37/1707.03 c 1621s| 2710k| 484 | 587 | 0.0 |8647k| 647 | - | 788 | 810 | 0 | 0 | 6 |1773k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1712.47/1713.17 c 1627s| 2720k| 485 | 587 | 0.0 |8654k| 647 | - | 788 | 809 | 0 | 0 | 6 |1780k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1718.16/1718.89 c 1632s| 2730k| 482 | 587 | 0.0 |8658k| 647 | - | 788 | 822 | 0 | 0 | 6 |1786k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1725.66/1726.32 c 1639s| 2740k| 483 | 587 | 0.0 |8660k| 647 | - | 788 | 829 | 0 | 0 | 6 |1793k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1732.16/1732.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.16/1732.88 c 1645s| 2750k| 490 | 587 | 0.0 |8649k| 647 | - | 788 | 809 | 0 | 0 | 6 |1800k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1739.76/1740.50 c 1652s| 2760k| 492 | 587 | 0.0 |8654k| 647 | - | 788 | 819 | 0 | 0 | 6 |1807k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1745.86/1746.55 c 1658s| 2770k| 483 | 587 | 0.0 |8655k| 647 | - | 788 | 817 | 0 | 0 | 6 |1812k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1752.76/1753.41 c 1665s| 2780k| 477 | 587 | 0.0 |8646k| 647 | - | 788 | 809 | 0 | 0 | 6 |1819k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1759.45/1760.18 c 1671s| 2790k| 487 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 |1826k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1767.25/1767.97 c 1679s| 2800k| 483 | 587 | 0.0 |8656k| 647 | - | 788 | 819 | 0 | 0 | 6 |1833k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1774.44/1775.10 c 1685s| 2810k| 484 | 587 | 0.0 |8648k| 647 | - | 788 | 809 | 0 | 0 | 6 |1839k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1780.65/1781.34 c 1691s| 2820k| 482 | 587 | 0.0 |8652k| 647 | - | 788 | 811 | 0 | 0 | 6 |1845k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1787.54/1788.26 c 1698s| 2830k| 481 | 587 | 0.0 |8665k| 647 | - | 788 | 825 | 0 | 0 | 6 |1852k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1795.33/1796.09 c 1705s| 2840k| 487 | 587 | 0.0 |8649k| 647 | - | 788 | 809 | 0 | 0 | 6 |1859k| 20 | 4.696689e+01 | 5.000000e+01 | 6.46%
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1709.81
1800.05/1800.71 c Solving Nodes : 2846559
1800.05/1800.71 c Primal Bound : +5.00000000000000e+01 (5 solutions)
1800.05/1800.71 c Dual Bound : +4.69668898809524e+01
1800.05/1800.71 c Gap : 6.46 %
1800.05/1800.72 s SATISFIABLE
1800.05/1800.72 v -x807 -x806 x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 x797 x796 x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785
1800.05/1800.72 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 x767 x766 -x765 -x764
1800.05/1800.72 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743
1800.05/1800.72 v -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721
1800.05/1800.72 v -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700
1800.05/1800.72 v -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679
1800.05/1800.72 v -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658
1800.05/1800.72 v -x657 x656 -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 x638 x637 -x636
1800.05/1800.72 v -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1800.05/1800.72 v -x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594
1800.05/1800.72 v -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.05/1800.72 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1800.05/1800.72 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
1800.05/1800.72 v x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
1800.05/1800.72 v -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1800.05/1800.72 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
1800.05/1800.72 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
1800.05/1800.72 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426
1800.05/1800.72 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
1800.05/1800.72 v -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
1800.05/1800.72 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363
1800.05/1800.72 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
1800.05/1800.72 v -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
1800.05/1800.72 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
1800.05/1800.72 v -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
1800.05/1800.72 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259
1800.05/1800.72 v -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238
1800.05/1800.72 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
1800.05/1800.72 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
1800.05/1800.72 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
1800.05/1800.72 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
1800.05/1800.72 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133
1800.05/1800.72 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
1800.05/1800.72 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.05/1800.72 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
1800.05/1800.72 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39
1800.05/1800.72 v -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1800.05/1800.72 v x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.72 c Solving Time : 1709.81
1800.05/1800.72 c Original Problem :
1800.05/1800.72 c Problem name : HOME/instance-2665619-1276414105.opb
1800.05/1800.72 c Variables : 807 (807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.72 c Constraints : 1823 initial, 1823 maximal
1800.05/1800.72 c Presolved Problem :
1800.05/1800.72 c Problem name : t_HOME/instance-2665619-1276414105.opb
1800.05/1800.72 c Variables : 788 (788 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.72 c Constraints : 809 initial, 850 maximal
1800.05/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.72 c linear : 0.06 16 2 0 16 0 179 17 0
1800.05/1800.72 c logicor : 0.05 0 0 0 0 0 835 0 0
1800.05/1800.72 c root node : - 0 - - 0 - - - -
1800.05/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.72 c logicor : 809+ 5 7585109 0 0 980004 9075072 0 0 0
1800.05/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.72 c integral : 0.37 0.00 0.00 0.37 0.00
1800.05/1800.72 c logicor : 417.91 0.00 417.91 0.00 0.00
1800.05/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.72 c vbounds : 7.07 2 0 0
1800.05/1800.72 c rootredcost : 6.75 0 0 0
1800.05/1800.72 c pseudoobj : 849.46 14878622 872057 142349557
1800.05/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.72 c propagation : 539.75 1852024 1852024 1852024 71.7 13673 83.3 -
1800.05/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c pseudo solution : 0.75 3232 3232 3232 67.4 418 66.8 -
1800.05/1800.72 c applied globally : - - - 1161468 45.7 - - -
1800.05/1800.72 c applied locally : - - - 701821 114.6 - - -
1800.05/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.72 c cut pool : 0.00 4 - - 7 - (maximal pool size: 163)
1800.05/1800.72 c redcost : 0.00 6 0 0 0 0
1800.05/1800.72 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.72 c intobj : 0.00 0 0 0 0 0
1800.05/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.72 c gomory : 1.69 6 0 0 611 0
1800.05/1800.72 c strongcg : 1.20 6 0 0 829 0
1800.05/1800.72 c cmir : 0.09 6 0 0 0 0
1800.05/1800.72 c flowcover : 0.11 6 0 0 0 0
1800.05/1800.72 c clique : 0.00 1 0 0 0 0
1800.05/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.72 c mcf : 0.00 1 0 0 0 0
1800.05/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.72 c Pricers : Time Calls Vars
1800.05/1800.72 c problem variables: 0.00 0 0
1800.05/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c relpscost : 0.37 1 0 0 0 0 2
1800.05/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.72 c inference : 103.47 1979407 0 0 0 0 3958814
1800.05/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c random : 0.00 0 0 0 0 0 0
1800.05/1800.72 c Primal Heuristics : Time Calls Found
1800.05/1800.72 c LP solutions : 0.00 - 0
1800.05/1800.72 c pseudo solutions : 0.00 - 0
1800.05/1800.72 c crossover : 0.00 0 0
1800.05/1800.72 c oneopt : 1.54 3 1
1800.05/1800.72 c trivial : 0.00 2 3
1800.05/1800.72 c simplerounding : 0.00 5 0
1800.05/1800.72 c zirounding : 0.00 1 0
1800.05/1800.72 c rounding : 0.00 5 0
1800.05/1800.72 c shifting : 0.02 5 0
1800.05/1800.72 c intshifting : 0.00 0 0
1800.05/1800.72 c twoopt : 0.00 0 0
1800.05/1800.72 c fixandinfer : 0.00 0 0
1800.05/1800.72 c feaspump : 0.00 0 0
1800.05/1800.72 c coefdiving : 0.00 0 0
1800.05/1800.72 c pscostdiving : 0.00 0 0
1800.05/1800.72 c fracdiving : 0.00 0 0
1800.05/1800.72 c veclendiving : 0.00 0 0
1800.05/1800.72 c intdiving : 0.00 0 0
1800.05/1800.72 c actconsdiving : 0.00 0 0
1800.05/1800.72 c objpscostdiving : 0.00 0 0
1800.05/1800.72 c rootsoldiving : 0.00 0 0
1800.05/1800.72 c linesearchdiving : 0.00 0 0
1800.05/1800.72 c guideddiving : 0.00 0 0
1800.05/1800.72 c octane : 0.00 0 0
1800.05/1800.72 c rens : 0.58 1 1
1800.05/1800.72 c rins : 0.00 0 0
1800.05/1800.72 c localbranching : 0.00 0 0
1800.05/1800.72 c mutation : 0.00 0 0
1800.05/1800.72 c dins : 0.00 0 0
1800.05/1800.72 c undercover : 0.00 0 0
1800.05/1800.72 c nlp : 1.35 0 0
1800.05/1800.72 c trysol : 1.19 0 0
1800.05/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.72 c dual LP : 0.11 5 587 117.40 5336.36
1800.05/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.72 c strong branching : 0.37 20 1773 88.65 4791.89
1800.05/1800.72 c (at root node) : - 20 1773 88.65 -
1800.05/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.72 c B&B Tree :
1800.05/1800.72 c number of runs : 1
1800.05/1800.72 c nodes : 2846559
1800.05/1800.72 c nodes (total) : 2846559
1800.05/1800.72 c nodes left : 483
1800.05/1800.72 c max depth : 647
1800.05/1800.72 c max depth (total): 647
1800.05/1800.72 c backtracks : 1390921 (48.9%)
1800.05/1800.72 c delayed cutoffs : 1111775
1800.05/1800.72 c repropagations : 5698971 (83700755 domain reductions, 988142 cutoffs)
1800.05/1800.72 c avg switch length: 4.89
1800.05/1800.72 c switching time : 146.79
1800.05/1800.72 c Solution :
1800.05/1800.72 c Solutions found : 5 (5 improvements)
1800.05/1800.72 c First Solution : +8.07000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.72 c Primal Bound : +5.00000000000000e+01 (in run 1, after 1 nodes, 3.50 seconds, depth 0, found by <rens>)
1800.05/1800.72 c Dual Bound : +4.69668898809524e+01
1800.05/1800.72 c Gap : 6.46 %
1800.05/1800.72 c Root Dual Bound : +4.68707737705223e+01
1800.05/1800.72 c Root Iterations : 587
1800.05/1800.74 c Time complete: 1800.08.
OK 50
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665619-1276414105/watcher-2665619-1276414105 -o /tmp/evaluation-result-2665619-1276414105/solver-2665619-1276414105 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665619-1276414105.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: 3.41 2.86 2.17 3/106 20871 /proc/meminfo: memFree=1819980/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=9288 CPUtime=0 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 1142 0 0 0 0 0 0 0 21 0 1 0 15062362 9510912 1063 1992294400 4194304 9819077 140735836204048 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20871/statm: 2322 1072 371 1374 0 943 0 [startup+0.0659811 s] /proc/loadavg: 3.41 2.86 2.17 3/106 20871 /proc/meminfo: memFree=1819980/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=12156 CPUtime=0.05 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 1968 0 0 0 5 0 0 0 23 0 1 0 15062362 12447744 1889 1992294400 4194304 9819077 140735836204048 18446744073709551615 5652170 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20871/statm: 3039 1889 388 1374 0 1660 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12156 [startup+0.100986 s] /proc/loadavg: 3.41 2.86 2.17 3/106 20871 /proc/meminfo: memFree=1819980/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=13320 CPUtime=0.09 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 2519 0 0 0 8 1 0 0 23 0 1 0 15062362 13639680 2086 1992294400 4194304 9819077 140735836204048 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 3330 2097 423 1374 0 1951 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13320 [startup+0.301022 s] /proc/loadavg: 3.41 2.86 2.17 3/106 20871 /proc/meminfo: memFree=1819980/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=26236 CPUtime=0.29 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 7567 0 0 0 25 4 0 0 18 0 1 0 15062362 26865664 5059 1992294400 4194304 9819077 140735836204048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 6559 5059 633 1374 0 5180 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26236 [startup+0.701095 s] /proc/loadavg: 3.41 2.86 2.17 3/106 20871 /proc/meminfo: memFree=1819980/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=32888 CPUtime=0.69 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 9272 0 0 0 64 5 0 0 18 0 1 0 15062362 33677312 6651 1992294400 4194304 9819077 140735836204048 18446744073709551615 6046730 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 8222 6651 651 1374 0 6843 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32888 [startup+1.50124 s] /proc/loadavg: 3.41 2.86 2.17 2/107 20872 /proc/meminfo: memFree=1788228/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=44232 CPUtime=1.49 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 12229 0 0 0 143 6 0 0 19 0 1 0 15062362 45293568 9480 1992294400 4194304 9819077 140735836204048 18446744073709551615 6058301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 11058 9480 671 1374 0 9679 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44232 [startup+3.10153 s] /proc/loadavg: 3.41 2.86 2.17 2/107 20872 /proc/meminfo: memFree=1780540/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=52392 CPUtime=3.08 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 14456 0 0 0 301 7 0 0 23 0 1 0 15062362 53649408 11265 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 13098 11265 673 1374 0 11719 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 52392 [startup+6.30112 s] /proc/loadavg: 3.22 2.83 2.16 2/107 20872 /proc/meminfo: memFree=1776200/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=52920 CPUtime=6.29 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 31051 0 0 0 600 29 0 0 25 0 1 0 15062362 54190080 11478 1992294400 4194304 9819077 140735836204048 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 13230 11478 720 1374 0 11851 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52920 [startup+12.7013 s] /proc/loadavg: 3.12 2.82 2.16 2/107 20872 /proc/meminfo: memFree=1775208/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=54000 CPUtime=12.69 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 31318 0 0 0 1214 55 0 0 25 0 1 0 15062362 55296000 11745 1992294400 4194304 9819077 140735836204048 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 13500 11745 720 1374 0 12121 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54000 [startup+25.5006 s] /proc/loadavg: 2.65 2.73 2.14 2/107 20872 /proc/meminfo: memFree=1774836/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=54400 CPUtime=25.48 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 31407 0 0 0 2438 110 0 0 25 0 1 0 15062362 55705600 11834 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 13600 11834 720 1374 0 12221 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54400 [startup+51.1003 s] /proc/loadavg: 2.09 2.59 2.11 2/107 20872 /proc/meminfo: memFree=1773720/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=55500 CPUtime=51.07 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 31697 0 0 0 4863 244 0 0 25 0 1 0 15062362 56832000 12124 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 13875 12124 720 1374 0 12496 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55500 [startup+102.309 s] /proc/loadavg: 1.47 2.34 2.05 2/107 20874 /proc/meminfo: memFree=1773100/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=56044 CPUtime=102.26 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 31816 0 0 0 9736 490 0 0 25 0 1 0 15062362 57389056 12243 1992294400 4194304 9819077 140735836204048 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14011 12243 720 1374 0 12632 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56044 [startup+162.301 s] /proc/loadavg: 1.17 2.09 1.98 2/107 20876 /proc/meminfo: memFree=1772604/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=56452 CPUtime=162.23 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 31916 0 0 0 15429 794 0 0 25 0 1 0 15062362 57806848 12343 1992294400 4194304 9819077 140735836204048 18446744073709551615 5506163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14113 12343 720 1374 0 12734 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 56452 [startup+222.302 s] /proc/loadavg: 1.06 1.89 1.92 2/107 20878 /proc/meminfo: memFree=1772356/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=56600 CPUtime=222.21 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 31962 0 0 0 21104 1117 0 0 25 0 1 0 15062362 57958400 12389 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14150 12389 720 1374 0 12771 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 56600 [startup+282.301 s] /proc/loadavg: 1.02 1.73 1.86 2/107 20880 /proc/meminfo: memFree=1772108/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=56880 CPUtime=282.19 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32005 0 0 0 26804 1415 0 0 25 0 1 0 15062362 58245120 12432 1992294400 4194304 9819077 140735836204048 18446744073709551615 5506192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14220 12432 720 1374 0 12841 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 56880 [startup+342.301 s] /proc/loadavg: 1.01 1.59 1.80 2/107 20880 /proc/meminfo: memFree=1771860/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57012 CPUtime=342.17 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32048 0 0 0 32494 1723 0 0 25 0 1 0 15062362 58380288 12475 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14253 12475 720 1374 0 12874 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 57012 [startup+402.301 s] /proc/loadavg: 1.00 1.48 1.75 2/107 20882 /proc/meminfo: memFree=1771612/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57144 CPUtime=402.14 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32066 0 0 0 38210 2004 0 0 25 0 1 0 15062362 58515456 12493 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14286 12493 720 1374 0 12907 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 57144 [startup+462.3 s] /proc/loadavg: 1.00 1.39 1.70 2/107 20884 /proc/meminfo: memFree=1771488/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57144 CPUtime=462.12 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32085 0 0 0 43892 2320 0 0 25 0 1 0 15062362 58515456 12512 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14286 12512 720 1374 0 12907 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 57144 [startup+522.301 s] /proc/loadavg: 1.00 1.32 1.65 2/107 20886 /proc/meminfo: memFree=1771240/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57280 CPUtime=522.1 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32119 0 0 0 49585 2625 0 0 25 0 1 0 15062362 58654720 12546 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14320 12546 720 1374 0 12941 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 57280 [startup+582.301 s] /proc/loadavg: 1.00 1.26 1.61 2/107 20888 /proc/meminfo: memFree=1771116/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57424 CPUtime=582.08 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32128 0 0 0 55297 2911 0 0 25 0 1 0 15062362 58802176 12555 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14356 12555 720 1374 0 12977 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 57424 [startup+642.301 s] /proc/loadavg: 1.00 1.21 1.57 2/107 20891 /proc/meminfo: memFree=1770248/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57424 CPUtime=642.06 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32152 0 0 0 60994 3212 0 0 25 0 1 0 15062362 58802176 12579 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14356 12579 720 1374 0 12977 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 57424 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.08 1.43 2/107 20899 /proc/meminfo: memFree=1770000/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57692 CPUtime=881.97 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32200 0 0 0 83819 4378 0 0 25 0 1 0 15062362 59076608 12627 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14423 12627 720 1374 0 13044 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 57692 [startup+942.301 s] /proc/loadavg: 1.00 1.07 1.40 2/107 20899 /proc/meminfo: memFree=1769876/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57692 CPUtime=941.95 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32211 0 0 0 89528 4667 0 0 25 0 1 0 15062362 59076608 12638 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14423 12638 720 1374 0 13044 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 57692 [startup+1002.3 s] /proc/loadavg: 1.00 1.05 1.37 2/107 20901 /proc/meminfo: memFree=1769876/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57692 CPUtime=1001.93 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32216 0 0 0 95215 4978 0 0 25 0 1 0 15062362 59076608 12643 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14423 12643 720 1374 0 13044 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 57692 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.34 2/107 20903 /proc/meminfo: memFree=1769752/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57824 CPUtime=1061.91 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32228 0 0 0 100906 5285 0 0 25 0 1 0 15062362 59211776 12655 1992294400 4194304 9819077 140735836204048 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14456 12655 720 1374 0 13077 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 57824 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.32 2/107 20905 /proc/meminfo: memFree=1769752/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57824 CPUtime=1121.88 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32231 0 0 0 106604 5584 0 0 25 0 1 0 15062362 59211776 12658 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14456 12658 720 1374 0 13077 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 57824 [startup+1182.3 s] /proc/loadavg: 1.03 1.04 1.30 2/107 20907 /proc/meminfo: memFree=1769628/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57824 CPUtime=1181.86 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32235 0 0 0 112301 5885 0 0 25 0 1 0 15062362 59211776 12662 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14456 12662 720 1374 0 13077 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 57824 [startup+1242.3 s] /proc/loadavg: 1.01 1.03 1.28 2/107 20907 /proc/meminfo: memFree=1769504/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57824 CPUtime=1241.84 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32238 0 0 0 117990 6194 0 0 25 0 1 0 15062362 59211776 12665 1992294400 4194304 9819077 140735836204048 18446744073709551615 5506161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14456 12665 720 1374 0 13077 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 57824 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.26 2/107 20909 /proc/meminfo: memFree=1769256/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57824 CPUtime=1301.83 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32250 0 0 0 123680 6503 0 0 25 0 1 0 15062362 59211776 12677 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14456 12677 720 1374 0 13077 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 57824 [startup+1362.3 s] /proc/loadavg: 1.03 1.03 1.25 2/107 20911 /proc/meminfo: memFree=1769132/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57964 CPUtime=1361.79 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32253 0 0 0 129371 6808 0 0 25 0 1 0 15062362 59355136 12680 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14491 12680 720 1374 0 13112 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 57964 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.23 2/107 20913 /proc/meminfo: memFree=1769132/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57964 CPUtime=1421.78 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32253 0 0 0 135060 7118 0 0 25 0 1 0 15062362 59355136 12680 1992294400 4194304 9819077 140735836204048 18446744073709551615 5506150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14491 12680 720 1374 0 13112 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 57964 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.21 2/107 20915 /proc/meminfo: memFree=1769008/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57964 CPUtime=1481.75 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32258 0 0 0 140746 7429 0 0 25 0 1 0 15062362 59355136 12685 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14491 12685 720 1374 0 13112 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 57964 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.20 2/107 20915 /proc/meminfo: memFree=1768884/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57964 CPUtime=1541.73 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32258 0 0 0 146435 7738 0 0 25 0 1 0 15062362 59355136 12685 1992294400 4194304 9819077 140735836204048 18446744073709551615 4642126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14491 12685 720 1374 0 13112 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 57964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 20917 /proc/meminfo: memFree=1768760/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57964 CPUtime=1601.7 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32261 0 0 0 152104 8066 0 0 25 0 1 0 15062362 59355136 12688 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14491 12688 720 1374 0 13112 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 57964 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 20919 /proc/meminfo: memFree=1768760/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57964 CPUtime=1661.68 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32264 0 0 0 157815 8353 0 0 25 0 1 0 15062362 59355136 12691 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14491 12691 720 1374 0 13112 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 57964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 20921 /proc/meminfo: memFree=1768636/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=57964 CPUtime=1721.67 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32268 0 0 0 163529 8638 0 0 25 0 1 0 15062362 59355136 12695 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14491 12695 720 1374 0 13112 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 57964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 20923 /proc/meminfo: memFree=1767892/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=58480 CPUtime=1781.65 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32406 0 0 0 169238 8927 0 0 25 0 1 0 15062362 59883520 12833 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14620 12833 720 1374 0 13241 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 58480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.14 2/107 20923 /proc/meminfo: memFree=1767768/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=58612 CPUtime=1800.05 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32412 0 0 0 170989 9016 0 0 25 0 1 0 15062362 60018688 12839 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14653 12839 720 1374 0 13274 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 58612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.14 2/107 20923 /proc/meminfo: memFree=1767768/2059040 swapFree=4140364/4192956 [pid=20871] ppid=20869 vsize=58612 CPUtime=1800.05 /proc/20871/stat : 20871 (pbscip.linux.x8) R 20869 20871 20668 0 -1 4202496 32412 0 0 0 170989 9016 0 0 25 0 1 0 15062362 60018688 12839 1992294400 4194304 9819077 140735836204048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20871/statm: 14653 12839 720 1374 0 13274 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 58612 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.09 CPU user time (s): 1709.92 CPU system time (s): 90.1673 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 65856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.92 system time used= 90.1673 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32419 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= 5706 runsolver used 4.11237 second user time and 8.93064 second system time The end
Begin job on node027 at 2010-06-13 09:28:25 IDJOB=2665619 IDBENCH=2052 IDSOLVER=1168 FILE ID=node027/2665619-1276414105 PBS_JOBID= 11173290 Free space on /tmp= 62448 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-alu4.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-2665619-1276414105/watcher-2665619-1276414105 -o /tmp/evaluation-result-2665619-1276414105/solver-2665619-1276414105 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665619-1276414105.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=1277798039 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: 1820508 kB Buffers: 30852 kB Cached: 128288 kB SwapCached: 6492 kB Active: 95236 kB Inactive: 77268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820508 kB SwapTotal: 4192956 kB SwapFree: 4140364 kB Dirty: 6524 kB Writeback: 0 kB AnonPages: 10936 kB Mapped: 12860 kB Slab: 44288 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182432 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= 62440 MiB End job on node027 at 2010-06-13 09:58:28