Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 52 | 1800.1 | 1800.54 |
| 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: SoPlex 1.4.2] [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-2667049-1276414129.opb>
0.04/0.09 c original problem has 807 variables (807 bin, 0 int, 0 impl, 0 cont) and 1823 constraints
0.04/0.09 c problem read
0.04/0.09 c presolving settings loaded
0.10/0.12 o 807
0.10/0.12 c feasible solution found by trivial heuristic, objective value 8.070000e+02
0.10/0.12 c presolving:
0.10/0.14 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.10/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.2s) probing: 101/788 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.2s) 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.14
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.28 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.2s| 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.2s| 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.39/0.41 c 0.3s| 1 | 0 | 739 | - |5651k| 0 | 91 | 788 | 809 | 788 | 809 | 0 | 0 | 0 | 4.631290e+01 | 6.200000e+01 | 33.87%
0.89/0.98 c 0.8s| 1 | 0 | 795 | - |7340k| 0 | 89 | 788 | 809 | 788 | 810 | 1 | 0 | 0 | 4.639981e+01 | 6.200000e+01 | 33.62%
1.39/1.45 c 1.3s| 1 | 0 | 886 | - |7946k| 0 | 100 | 788 | 809 | 788 | 812 | 3 | 0 | 0 | 4.657360e+01 | 6.200000e+01 | 33.12%
1.59/1.64 c 1.5s| 1 | 0 | 992 | - |8368k| 0 | 93 | 788 | 809 | 788 | 816 | 7 | 0 | 0 | 4.670008e+01 | 6.200000e+01 | 32.76%
1.89/1.91 c 1.7s| 1 | 0 | 1110 | - |8794k| 0 | 97 | 788 | 809 | 788 | 820 | 11 | 0 | 0 | 4.699650e+01 | 6.200000e+01 | 31.92%
2.29/2.39 c 2.2s| 1 | 0 | 1222 | - |9578k| 0 | 110 | 788 | 809 | 788 | 823 | 14 | 0 | 0 | 4.707037e+01 | 6.200000e+01 | 31.72%
2.79/2.83 c 2.6s| 1 | 0 | 1244 | - | 10M| 0 | 107 | 788 | 809 | 788 | 824 | 15 | 0 | 0 | 4.707037e+01 | 6.200000e+01 | 31.72%
3.19/3.29 c 3.1s| 1 | 0 | 1337 | - | 10M| 0 | 96 | 788 | 809 | 788 | 826 | 17 | 0 | 0 | 4.716200e+01 | 6.200000e+01 | 31.46%
3.69/3.79 c 3.6s| 1 | 0 | 1453 | - | 11M| 0 | 100 | 788 | 809 | 788 | 828 | 19 | 0 | 0 | 4.721494e+01 | 6.200000e+01 | 31.31%
4.19/4.28 c 4.1s| 1 | 0 | 1491 | - | 11M| 0 | 107 | 788 | 809 | 788 | 830 | 21 | 0 | 0 | 4.750060e+01 | 6.200000e+01 | 30.52%
4.69/4.70 c 4.5s| 1 | 0 | 1643 | - | 12M| 0 | 111 | 788 | 809 | 788 | 835 | 26 | 0 | 0 | 4.763070e+01 | 6.200000e+01 | 30.17%
5.09/5.18 c 5.0s| 1 | 0 | 1782 | - | 12M| 0 | 94 | 788 | 809 | 788 | 836 | 27 | 0 | 0 | 4.771626e+01 | 6.200000e+01 | 29.93%
5.69/5.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.70 c 5.5s| 1 | 0 | 1880 | - | 13M| 0 | 90 | 788 | 809 | 788 | 837 | 28 | 0 | 0 | 4.773636e+01 | 6.200000e+01 | 29.88%
5.99/6.09 c 5.9s| 1 | 0 | 1889 | - | 13M| 0 | 91 | 788 | 809 | 788 | 838 | 29 | 0 | 0 | 4.773636e+01 | 6.200000e+01 | 29.88%
6.39/6.49 c 6.3s| 1 | 0 | 1919 | - | 13M| 0 | 100 | 788 | 809 | 788 | 839 | 30 | 0 | 0 | 4.774087e+01 | 6.200000e+01 | 29.87%
6.89/6.91 c 6.7s| 1 | 0 | 1976 | - | 13M| 0 | 101 | 788 | 809 | 788 | 841 | 32 | 0 | 0 | 4.778063e+01 | 6.200000e+01 | 29.76%
7.29/7.36 c 7.1s| 1 | 0 | 2060 | - | 13M| 0 | 101 | 788 | 809 | 788 | 842 | 33 | 0 | 0 | 4.778296e+01 | 6.200000e+01 | 29.75%
8.49/8.51 o 52
8.49/8.51 c E 8.2s| 1 | 0 | 2060 | - | 13M| 0 | 101 | 788 | 809 | 788 | 842 | 33 | 0 | 0 | 4.778296e+01 | 5.200000e+01 | 8.83%
8.49/8.52 c 8.2s| 1 | 0 | 2060 | - | 13M| 0 | 101 | 788 | 809 | 788 | 842 | 33 | 0 | 0 | 4.778296e+01 | 5.200000e+01 | 8.83%
9.79/9.82 c 9.5s| 1 | 2 | 2060 | - | 13M| 0 | 101 | 788 | 809 | 788 | 842 | 33 | 0 | 19 | 4.778296e+01 | 5.200000e+01 | 8.83%
14.08/14.17 c 13.6s| 10000 | 549 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |5567 | 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
19.59/19.60 c 18.8s| 20000 | 535 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 11k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
25.79/25.88 c 24.9s| 30000 | 534 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 17k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
32.07/32.16 c 30.9s| 40000 | 528 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 23k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
38.38/38.45 c 36.9s| 50000 | 522 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 30k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
44.68/44.76 c 43.0s| 60000 | 521 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 36k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
50.48/50.55 c 48.5s| 70000 | 517 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 42k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
56.27/56.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.27/56.31 c 53.9s| 80000 | 519 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 | 48k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
61.77/61.87 c 59.2s| 90000 | 515 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 54k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
67.47/67.57 c 64.6s|100000 | 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 61k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
73.17/73.26 c 70.0s|110000 | 517 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 67k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
80.86/80.92 c 77.3s|120000 | 517 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 | 74k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
87.16/87.21 c 83.3s|130000 | 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 80k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
93.26/93.32 c 89.1s|140000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 86k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
99.76/99.81 c 95.3s|150000 | 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 93k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
106.16/106.24 c 101s|160000 | 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 99k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
111.76/111.83 c 107s|170000 | 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 105k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
117.66/117.77 c 112s|180000 | 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 111k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
124.27/124.38 c 119s|190000 | 522 | 2060 | 0.0 | 14M| 648 | - | 788 | 822 | 0 | 0 | 33 | 118k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
130.65/130.73 c 125s|200000 | 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 124k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
136.85/136.94 c 131s|210000 | 522 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 130k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
143.35/143.40 c 137s|220000 | 523 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 137k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
149.95/150.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.95/150.06 c 143s|230000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 144k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
155.94/156.01 c 149s|240000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 150k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
161.94/162.01 c 155s|250000 | 515 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 156k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
167.84/167.99 c 160s|260000 | 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 162k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
174.75/174.87 c 167s|270000 | 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 169k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
180.74/180.83 c 172s|280000 | 551 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 175k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
186.74/186.88 c 178s|290000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 | 181k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
192.74/192.84 c 184s|300000 | 521 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 187k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
198.74/198.83 c 190s|310000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 194k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
204.54/204.63 c 195s|320000 | 520 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 200k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
210.43/210.57 c 201s|330000 | 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 206k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
216.33/216.42 c 206s|340000 | 522 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 212k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
222.14/222.29 c 212s|350000 | 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 218k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
227.83/227.93 c 217s|360000 | 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 814 | 0 | 0 | 33 | 225k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
233.14/233.21 c 222s|370000 | 515 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 231k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
239.23/239.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.23/239.30 c 228s|380000 | 515 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 | 237k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
245.14/245.28 c 234s|390000 | 518 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 243k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
251.23/251.39 c 240s|400000 | 519 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 250k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
257.23/257.36 c 245s|410000 | 521 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 256k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
263.22/263.36 c 251s|420000 | 517 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 | 262k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
269.12/269.28 c 257s|430000 | 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 | 269k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
275.22/275.34 c 262s|440000 | 521 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 275k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
283.11/283.20 c 270s|450000 | 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 821 | 0 | 0 | 33 | 283k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
291.32/291.47 c 278s|460000 | 517 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 290k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
299.02/299.17 c 285s|470000 | 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 831 | 0 | 0 | 33 | 297k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
306.91/307.05 c 292s|480000 | 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 305k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
314.52/314.61 c 300s|490000 | 519 | 2060 | 0.0 | 14M| 648 | - | 788 | 821 | 0 | 0 | 33 | 311k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
322.01/322.20 c 307s|500000 | 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 319k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
330.01/330.16 c 314s|510000 | 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 326k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
337.40/337.54 c 321s|520000 | 508 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 334k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
344.90/345.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.90/345.04 c 328s|530000 | 520 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 341k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
351.60/351.78 c 335s|540000 | 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 348k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
358.69/358.81 c 341s|550000 | 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 355k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
365.01/365.20 c 348s|560000 | 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 362k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
371.70/371.88 c 354s|570000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 369k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
378.09/378.23 c 360s|580000 | 520 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 376k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
384.19/384.36 c 366s|590000 | 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 | 383k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
390.30/390.43 c 371s|600000 | 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 389k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
397.19/397.35 c 378s|610000 | 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 396k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
404.09/404.23 c 385s|620000 | 518 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 | 402k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
410.09/410.24 c 390s|630000 | 515 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 | 409k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
417.89/418.04 c 398s|640000 | 519 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 416k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
425.88/426.03 c 405s|650000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 423k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
432.09/432.20 c 411s|660000 | 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 429k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
438.28/438.43 c 417s|670000 | 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 435k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
444.88/445.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.88/445.05 c 423s|680000 | 519 | 2060 | 0.0 | 14M| 648 | - | 788 | 833 | 0 | 0 | 33 | 441k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
451.08/451.22 c 429s|690000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 448k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
456.77/456.95 c 435s|700000 | 519 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 454k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
464.27/464.49 c 442s|710000 | 518 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 461k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
471.27/471.40 c 448s|720000 | 517 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 468k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
478.28/478.45 c 455s|730000 | 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 475k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
486.56/486.73 c 463s|740000 | 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 | 482k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
493.96/494.13 c 470s|750000 | 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 489k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
500.86/501.08 c 477s|760000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 | 496k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
506.87/507.03 c 482s|770000 | 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 | 502k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
513.47/513.65 c 489s|780000 | 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 509k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
519.56/519.73 c 494s|790000 | 520 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 515k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
525.16/525.37 c 500s|800000 | 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 521k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
531.55/531.78 c 506s|810000 | 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 528k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
537.66/537.83 c 512s|820000 | 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 825 | 0 | 0 | 33 | 534k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
543.16/543.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.16/543.39 c 517s|830000 | 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 540k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
549.15/549.35 c 522s|840000 | 518 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 546k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
555.75/555.99 c 529s|850000 | 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 553k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
562.14/562.35 c 535s|860000 | 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 823 | 0 | 0 | 33 | 560k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
568.55/568.73 c 541s|870000 | 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 566k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
575.75/575.90 c 548s|880000 | 519 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 574k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
582.85/583.09 c 555s|890000 | 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 580k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
590.74/590.92 c 562s|900000 | 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 587k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
598.25/598.44 c 569s|910000 | 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 594k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
603.84/604.07 c 575s|920000 | 515 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 600k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
610.13/610.31 c 580s|930000 | 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 606k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
616.43/616.69 c 587s|940000 | 518 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 613k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
623.44/623.60 c 593s|950000 | 508 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 619k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
629.53/629.70 c 599s|960000 | 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 625k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
635.73/635.94 c 605s|970000 | 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 | 632k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
642.13/642.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.13/642.40 c 611s|980000 | 515 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 | 638k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
648.13/648.35 c 617s|990000 | 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 645k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
654.92/655.14 c 623s| 1000k| 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 651k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
661.02/661.26 c 629s| 1010k| 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 657k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
667.12/667.31 c 635s| 1020k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 | 663k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
673.32/673.51 c 641s| 1030k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 | 669k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
679.12/679.39 c 646s| 1040k| 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 676k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
685.31/685.59 c 652s| 1050k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 | 682k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
691.51/691.79 c 658s| 1060k| 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 688k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
699.21/699.41 c 665s| 1070k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 695k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
705.01/705.20 c 671s| 1080k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 702k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
710.91/711.12 c 676s| 1090k| 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 708k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
717.51/717.72 c 683s| 1100k| 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 715k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
723.91/724.12 c 689s| 1110k| 508 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 721k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
729.70/729.99 c 694s| 1120k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 727k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
735.10/735.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.10/735.31 c 699s| 1130k| 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 733k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
740.81/741.06 c 705s| 1140k| 503 | 2060 | 0.0 | 14M| 648 | - | 788 | 824 | 0 | 0 | 33 | 739k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
746.81/747.00 c 711s| 1150k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 | 745k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
752.70/752.98 c 716s| 1160k| 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 752k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
758.59/758.85 c 722s| 1170k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 758k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
764.50/764.75 c 727s| 1180k| 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 764k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
770.40/770.62 c 733s| 1190k| 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 771k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
777.69/777.94 c 740s| 1200k| 518 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 777k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
783.39/783.63 c 745s| 1210k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 | 783k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
788.69/788.90 c 750s| 1220k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 789k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
794.29/794.59 c 756s| 1230k| 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 795k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
800.09/800.33 c 761s| 1240k| 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 802k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
806.00/806.20 c 767s| 1250k| 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 808k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
812.19/812.41 c 773s| 1260k| 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 814k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
818.99/819.21 c 779s| 1270k| 508 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 821k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
825.79/826.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.79/826.01 c 786s| 1280k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 828k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
832.78/833.05 c 792s| 1290k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 820 | 0 | 0 | 33 | 835k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
839.18/839.47 c 798s| 1300k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 841k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
845.69/845.95 c 805s| 1310k| 516 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 848k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
851.77/852.05 c 810s| 1320k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 854k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
857.78/858.06 c 816s| 1330k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 861k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
863.77/864.08 c 822s| 1340k| 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 | 867k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
871.27/871.50 c 829s| 1350k| 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 | 874k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
877.27/877.54 c 835s| 1360k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 880k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
882.86/883.13 c 840s| 1370k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 886k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
888.86/889.12 c 846s| 1380k| 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 893k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
895.87/896.17 c 852s| 1390k| 513 | 2060 | 0.0 | 14M| 648 | - | 788 | 824 | 0 | 0 | 33 | 900k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
903.36/903.61 c 859s| 1400k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 | 907k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
910.66/910.98 c 866s| 1410k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 914k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
917.17/917.42 c 872s| 1420k| 508 | 2060 | 0.0 | 14M| 648 | - | 788 | 824 | 0 | 0 | 33 | 920k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
923.56/923.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.56/923.81 c 878s| 1430k| 503 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 927k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
930.06/930.34 c 885s| 1440k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 | 933k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
936.55/936.84 c 891s| 1450k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 | 940k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
943.06/943.30 c 897s| 1460k| 514 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 946k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
949.56/949.87 c 903s| 1470k| 512 | 2060 | 0.0 | 14M| 648 | - | 788 | 829 | 0 | 0 | 33 | 953k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
956.56/956.89 c 910s| 1480k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 960k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
964.05/964.32 c 917s| 1490k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 | 967k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
970.55/970.82 c 923s| 1500k| 518 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 973k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
977.34/977.62 c 930s| 1510k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 | 980k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
984.04/984.34 c 936s| 1520k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 814 | 0 | 0 | 33 | 987k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
990.24/990.59 c 942s| 1530k| 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 | 993k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
996.54/996.86 c 948s| 1540k| 499 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 |1000k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1003.34/1003.69 c 954s| 1550k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1006k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1009.64/1009.96 c 960s| 1560k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1013k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1015.64/1015.99 c 966s| 1570k| 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 |1019k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1021.74/1022.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.74/1022.06 c 972s| 1580k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1025k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1027.44/1027.77 c 977s| 1590k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1032k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1033.64/1033.96 c 983s| 1600k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 |1038k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1040.43/1040.74 c 990s| 1610k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 |1045k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1047.13/1047.46 c 996s| 1620k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 |1052k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1054.13/1054.48 c 1003s| 1630k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1059k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1062.33/1062.68 c 1010s| 1640k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1066k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1070.92/1071.23 c 1019s| 1650k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 |1073k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1076.92/1077.25 c 1024s| 1660k| 503 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1080k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1083.52/1083.85 c 1031s| 1670k| 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1086k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1089.31/1089.69 c 1036s| 1680k| 511 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 |1093k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1095.32/1095.65 c 1042s| 1690k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1099k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1101.22/1101.53 c 1047s| 1700k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1105k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1107.21/1107.59 c 1053s| 1710k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1111k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1114.21/1114.52 c 1060s| 1720k| 503 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1119k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1120.82/1121.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.82/1121.19 c 1066s| 1730k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1125k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1127.01/1127.30 c 1072s| 1740k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 |1131k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1133.81/1134.11 c 1078s| 1750k| 498 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 |1138k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1140.01/1140.38 c 1084s| 1760k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1145k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1146.92/1147.26 c 1091s| 1770k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1152k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1154.40/1154.75 c 1098s| 1780k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1159k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1160.50/1160.90 c 1104s| 1790k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1166k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1167.10/1167.50 c 1110s| 1800k| 498 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 |1172k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1173.70/1174.01 c 1116s| 1810k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 |1179k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1179.39/1179.77 c 1122s| 1820k| 503 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1186k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1185.70/1186.07 c 1128s| 1830k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1192k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1192.10/1192.48 c 1134s| 1840k| 507 | 2060 | 0.0 | 14M| 648 | - | 788 | 820 | 0 | 0 | 33 |1199k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1198.79/1199.15 c 1140s| 1850k| 499 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1206k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1206.69/1207.07 c 1147s| 1860k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1214k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1213.59/1213.95 c 1154s| 1870k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1220k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1221.09/1221.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.09/1221.41 c 1161s| 1880k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1227k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1227.49/1227.83 c 1167s| 1890k| 499 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1233k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1234.18/1234.50 c 1174s| 1900k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1240k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1240.08/1240.49 c 1179s| 1910k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1247k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1247.88/1248.20 c 1187s| 1920k| 508 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1253k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1254.38/1254.71 c 1193s| 1930k| 495 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1260k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1259.37/1259.79 c 1198s| 1940k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1265k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1265.18/1265.59 c 1203s| 1950k| 495 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 |1272k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1272.17/1272.57 c 1210s| 1960k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1278k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1278.28/1278.61 c 1216s| 1970k| 499 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1284k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1284.97/1285.36 c 1222s| 1980k| 510 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 |1291k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1291.97/1292.39 c 1229s| 1990k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 820 | 0 | 0 | 33 |1298k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1298.17/1298.53 c 1235s| 2000k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1305k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1304.57/1304.92 c 1241s| 2010k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 814 | 0 | 0 | 33 |1311k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1310.77/1311.16 c 1246s| 2020k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1318k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1316.87/1317.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.87/1317.29 c 1252s| 2030k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1325k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1322.56/1322.98 c 1258s| 2040k| 503 | 2060 | 0.0 | 14M| 648 | - | 788 | 828 | 0 | 0 | 33 |1331k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1328.66/1329.01 c 1263s| 2050k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1337k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1335.56/1335.95 c 1270s| 2060k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1344k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1341.36/1341.71 c 1276s| 2070k| 499 | 2060 | 0.0 | 14M| 648 | - | 788 | 814 | 0 | 0 | 33 |1350k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1346.96/1347.33 c 1281s| 2080k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1357k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1352.56/1352.92 c 1286s| 2090k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 820 | 0 | 0 | 33 |1363k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1358.25/1358.63 c 1292s| 2100k| 496 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1369k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1365.66/1366.04 c 1299s| 2110k| 492 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1376k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1371.75/1372.10 c 1304s| 2120k| 495 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1382k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1377.74/1378.19 c 1310s| 2130k| 499 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1388k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1384.45/1384.83 c 1316s| 2140k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1395k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1391.05/1391.48 c 1323s| 2150k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 |1402k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1396.95/1397.32 c 1328s| 2160k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 |1408k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1403.74/1404.17 c 1335s| 2170k| 502 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1414k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1409.94/1410.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.94/1410.39 c 1341s| 2180k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1421k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1416.64/1417.04 c 1347s| 2190k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 |1427k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1424.44/1424.81 c 1355s| 2200k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 814 | 0 | 0 | 33 |1434k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1431.74/1432.20 c 1362s| 2210k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 |1441k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1438.84/1439.26 c 1368s| 2220k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1447k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1446.23/1446.66 c 1375s| 2230k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1454k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1453.84/1454.27 c 1383s| 2240k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 |1461k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1461.73/1462.19 c 1390s| 2250k| 498 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 |1468k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1469.43/1469.88 c 1397s| 2260k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 |1475k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1474.92/1475.33 c 1403s| 2270k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1481k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1480.72/1481.12 c 1408s| 2280k| 495 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 |1487k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1486.83/1487.25 c 1414s| 2290k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1493k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1493.33/1493.77 c 1420s| 2300k| 509 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 |1500k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1500.22/1500.67 c 1427s| 2310k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 |1507k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1506.42/1506.88 c 1432s| 2320k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1514k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1512.31/1512.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.31/1512.71 c 1438s| 2330k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1520k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1518.52/1518.99 c 1444s| 2340k| 496 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 |1526k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1524.81/1525.24 c 1450s| 2350k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1532k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1531.11/1531.54 c 1456s| 2360k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1538k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1537.52/1537.99 c 1462s| 2370k| 496 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1545k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1544.71/1545.11 c 1469s| 2380k| 492 | 2060 | 0.0 | 14M| 648 | - | 788 | 816 | 0 | 0 | 33 |1551k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1552.11/1552.59 c 1476s| 2390k| 498 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1558k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1558.41/1558.86 c 1482s| 2400k| 498 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1565k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1564.50/1564.91 c 1488s| 2410k| 493 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1571k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1570.50/1570.92 c 1494s| 2420k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1577k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1576.40/1576.89 c 1499s| 2430k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1583k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1583.10/1583.55 c 1506s| 2440k| 506 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 |1590k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1590.21/1590.67 c 1512s| 2450k| 496 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1597k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1597.19/1597.65 c 1519s| 2460k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 814 | 0 | 0 | 33 |1604k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1603.99/1604.48 c 1525s| 2470k| 497 | 2060 | 0.0 | 14M| 648 | - | 788 | 824 | 0 | 0 | 33 |1611k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1610.89/1611.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.89/1611.35 c 1532s| 2480k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 813 | 0 | 0 | 33 |1617k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1616.79/1617.29 c 1538s| 2490k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1624k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1623.89/1624.34 c 1544s| 2500k| 494 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1631k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1630.59/1631.01 c 1551s| 2510k| 495 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1638k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1636.59/1637.00 c 1556s| 2520k| 496 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1644k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1643.38/1643.84 c 1563s| 2530k| 494 | 2060 | 0.0 | 14M| 648 | - | 788 | 830 | 0 | 0 | 33 |1650k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1651.79/1652.21 c 1571s| 2540k| 505 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1657k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1660.28/1660.76 c 1579s| 2550k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 814 | 0 | 0 | 33 |1664k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1669.08/1669.55 c 1587s| 2560k| 501 | 2060 | 0.0 | 14M| 648 | - | 788 | 820 | 0 | 0 | 33 |1672k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1677.47/1677.96 c 1595s| 2570k| 494 | 2060 | 0.0 | 14M| 648 | - | 788 | 818 | 0 | 0 | 33 |1679k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1686.18/1686.60 c 1604s| 2580k| 495 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1686k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1693.97/1694.46 c 1611s| 2590k| 494 | 2060 | 0.0 | 14M| 648 | - | 788 | 829 | 0 | 0 | 33 |1693k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1701.87/1702.36 c 1619s| 2600k| 496 | 2060 | 0.0 | 14M| 648 | - | 788 | 821 | 0 | 0 | 33 |1700k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1709.77/1710.23 c 1626s| 2610k| 491 | 2060 | 0.0 | 14M| 648 | - | 788 | 829 | 0 | 0 | 33 |1707k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1716.07/1716.51 c 1632s| 2620k| 494 | 2060 | 0.0 | 14M| 648 | - | 788 | 810 | 0 | 0 | 33 |1713k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1722.66/1723.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.66/1723.13 c 1638s| 2630k| 492 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1720k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1728.97/1729.43 c 1644s| 2640k| 504 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 |1726k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1735.37/1735.83 c 1651s| 2650k| 503 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 |1732k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1740.77/1741.20 c 1656s| 2660k| 498 | 2060 | 0.0 | 14M| 648 | - | 788 | 817 | 0 | 0 | 33 |1738k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1746.76/1747.29 c 1661s| 2670k| 500 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1744k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1753.16/1753.67 c 1668s| 2680k| 491 | 2060 | 0.0 | 14M| 648 | - | 788 | 815 | 0 | 0 | 33 |1751k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1758.55/1759.07 c 1673s| 2690k| 496 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1757k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1765.86/1766.30 c 1680s| 2700k| 489 | 2060 | 0.0 | 14M| 648 | - | 788 | 812 | 0 | 0 | 33 |1763k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1774.05/1774.53 c 1687s| 2710k| 498 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1771k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1781.35/1781.86 c 1694s| 2720k| 495 | 2060 | 0.0 | 14M| 648 | - | 788 | 809 | 0 | 0 | 33 |1778k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1789.45/1789.92 c 1702s| 2730k| 491 | 2060 | 0.0 | 14M| 648 | - | 788 | 819 | 0 | 0 | 33 |1786k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1795.75/1796.27 c 1708s| 2740k| 493 | 2060 | 0.0 | 14M| 648 | - | 788 | 811 | 0 | 0 | 33 |1792k| 19 | 4.781799e+01 | 5.200000e+01 | 8.75%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1712.03
1800.05/1800.50 c Solving Nodes : 2747236
1800.05/1800.50 c Primal Bound : +5.20000000000000e+01 (5 solutions)
1800.05/1800.50 c Dual Bound : +4.78179882229256e+01
1800.05/1800.50 c Gap : 8.75 %
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
1800.05/1800.51 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
1800.05/1800.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 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.51 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
1800.05/1800.51 v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64
1800.05/1800.51 v -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.51 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.51 v x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1712.03
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2667049-1276414129.opb
1800.05/1800.51 c Variables : 807 (807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1823 initial, 1823 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2667049-1276414129.opb
1800.05/1800.51 c Variables : 788 (788 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 809 initial, 852 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.07 16 2 0 16 0 179 17 0
1800.05/1800.51 c logicor : 0.04 0 0 0 0 0 835 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.51 c logicor : 809+ 17 7291322 0 0 999000 8985533 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 0.85 0.00 0.00 0.85 0.00
1800.05/1800.51 c logicor : 440.67 0.00 440.67 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 6.93 2 0 0
1800.05/1800.51 c rootredcost : 6.30 0 0 0
1800.05/1800.51 c pseudoobj : 834.12 14649819 786466 136717237
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 550.64 1785429 1785429 1785429 70.1 13580 85.9 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.87 3570 3570 3570 66.5 493 66.0 -
1800.05/1800.51 c applied globally : - - - 1160719 46.5 - - -
1800.05/1800.51 c applied locally : - - - 635977 113.2 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.01 16 - - 82 - (maximal pool size: 597)
1800.05/1800.51 c redcost : 0.01 18 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.00 18 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 3.67 18 0 0 3403 0
1800.05/1800.51 c strongcg : 3.15 18 0 0 4435 0
1800.05/1800.51 c cmir : 0.13 10 0 0 1 0
1800.05/1800.51 c flowcover : 0.30 10 0 0 2 0
1800.05/1800.51 c clique : 0.00 1 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 0.85 1 0 0 0 0 2
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 98.77 1922324 0 0 0 0 3844648
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.00 - 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c oneopt : 1.49 3 1
1800.05/1800.51 c trivial : 0.00 2 3
1800.05/1800.51 c simplerounding : 0.00 17 0
1800.05/1800.51 c zirounding : 0.00 1 0
1800.05/1800.51 c rounding : 0.02 17 0
1800.05/1800.51 c shifting : 0.01 17 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.00 0 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.65 1 1
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 1.53 0 0
1800.05/1800.51 c trysol : 1.17 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.46 17 2060 121.18 4478.26
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.85 19 2605 137.11 3064.71
1800.05/1800.51 c (at root node) : - 19 2605 137.11 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 2747236
1800.05/1800.51 c nodes (total) : 2747236
1800.05/1800.51 c nodes left : 490
1800.05/1800.51 c max depth : 648
1800.05/1800.51 c max depth (total): 648
1800.05/1800.51 c backtracks : 1374525 (50.0%)
1800.05/1800.51 c delayed cutoffs : 1096925
1800.05/1800.51 c repropagations : 5851944 (81347366 domain reductions, 964125 cutoffs)
1800.05/1800.51 c avg switch length: 5.15
1800.05/1800.51 c switching time : 145.66
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 5 (5 improvements)
1800.05/1800.51 c First Solution : +8.07000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.51 c Primal Bound : +5.20000000000000e+01 (in run 1, after 1 nodes, 8.22 seconds, depth 0, found by <rens>)
1800.05/1800.51 c Dual Bound : +4.78179882229256e+01
1800.05/1800.51 c Gap : 8.75 %
1800.05/1800.51 c Root Dual Bound : +4.77829613028912e+01
1800.05/1800.51 c Root Iterations : 2060
1800.05/1800.54 c Time complete: 1800.08.
OK 52
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667049-1276414129/watcher-2667049-1276414129 -o /tmp/evaluation-result-2667049-1276414129/solver-2667049-1276414129 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667049-1276414129.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 1.00 3/107 21750 /proc/meminfo: memFree=1769952/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=7724 CPUtime=0 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 1015 0 0 0 0 0 0 0 18 0 1 0 15068602 7909376 935 1992294400 4194304 8223781 140735302787584 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21750/statm: 1931 944 348 984 0 944 0 [startup+0.0548571 s] /proc/loadavg: 0.99 1.00 1.00 3/107 21750 /proc/meminfo: memFree=1769952/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=10416 CPUtime=0.04 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 1900 0 0 0 4 0 0 0 20 0 1 0 15068602 10665984 1819 1992294400 4194304 8223781 140735302787584 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21750/statm: 2604 1819 365 984 0 1617 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10416 [startup+0.101861 s] /proc/loadavg: 0.99 1.00 1.00 3/107 21750 /proc/meminfo: memFree=1769952/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=12908 CPUtime=0.1 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 2824 0 0 0 9 1 0 0 20 0 1 0 15068602 13217792 2379 1992294400 4194304 8223781 140735302787584 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 3227 2383 381 984 0 2240 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12908 [startup+0.30188 s] /proc/loadavg: 0.99 1.00 1.00 3/107 21750 /proc/meminfo: memFree=1769952/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=23712 CPUtime=0.3 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 7620 0 0 0 27 3 0 0 20 0 1 0 15068602 24281088 4996 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 5928 4996 529 984 0 4941 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23712 [startup+0.701914 s] /proc/loadavg: 0.99 1.00 1.00 3/107 21750 /proc/meminfo: memFree=1769952/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=33204 CPUtime=0.69 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 9961 0 0 0 65 4 0 0 21 0 1 0 15068602 34000896 7337 1992294400 4194304 8223781 140735302787584 18446744073709551615 6037379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 8301 7337 545 984 0 7314 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33204 [startup+1.50099 s] /proc/loadavg: 0.99 1.00 1.00 2/108 21751 /proc/meminfo: memFree=1734604/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=47044 CPUtime=1.49 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 13377 0 0 0 143 6 0 0 23 0 1 0 15068602 48173056 10753 1992294400 4194304 8223781 140735302787584 18446744073709551615 4310845 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 11761 10753 566 984 0 10774 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47044 [startup+3.10113 s] /proc/loadavg: 0.99 1.00 1.00 2/108 21751 /proc/meminfo: memFree=1720096/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=59676 CPUtime=3.09 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 16364 0 0 0 300 9 0 0 25 0 1 0 15068602 61108224 13728 1992294400 4194304 8223781 140735302787584 18446744073709551615 6037345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 14919 13728 566 984 0 13932 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59676 [startup+6.30142 s] /proc/loadavg: 0.99 1.00 1.00 2/108 21751 /proc/meminfo: memFree=1706704/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=70416 CPUtime=6.29 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 20131 0 0 0 616 13 0 0 25 0 1 0 15068602 72105984 16414 1992294400 4194304 8223781 140735302787584 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 17604 16414 566 984 0 16617 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 70416 [startup+12.701 s] /proc/loadavg: 0.99 1.00 1.00 2/108 21751 /proc/meminfo: memFree=1704232/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=72884 CPUtime=12.69 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28141 0 0 0 1230 39 0 0 25 0 1 0 15068602 74633216 16898 1992294400 4194304 8223781 140735302787584 18446744073709551615 4520312 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 18221 16898 592 984 0 17234 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72884 [startup+25.5011 s] /proc/loadavg: 0.99 1.00 1.00 2/108 21751 /proc/meminfo: memFree=1703240/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=73680 CPUtime=25.49 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28359 0 0 0 2460 89 0 0 25 0 1 0 15068602 75448320 17116 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 18420 17116 592 984 0 17433 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73680 [startup+51.1014 s] /proc/loadavg: 0.99 1.00 1.00 2/108 21751 /proc/meminfo: memFree=1702868/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=74212 CPUtime=51.07 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28459 0 0 0 4906 201 0 0 25 0 1 0 15068602 75993088 17216 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 18553 17216 592 984 0 17566 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74212 [startup+102.309 s] /proc/loadavg: 1.04 1.01 1.00 2/108 21753 /proc/meminfo: memFree=1701504/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=75280 CPUtime=102.26 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28747 0 0 0 9773 453 0 0 25 0 1 0 15068602 77086720 17504 1992294400 4194304 8223781 140735302787584 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 18820 17504 592 984 0 17833 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 75280 [startup+162.301 s] /proc/loadavg: 1.05 1.02 1.00 2/108 21755 /proc/meminfo: memFree=1700884/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=75676 CPUtime=162.25 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28830 0 0 0 15487 738 0 0 25 0 1 0 15068602 77492224 17587 1992294400 4194304 8223781 140735302787584 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 18919 17587 592 984 0 17932 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 75676 [startup+222.302 s] /proc/loadavg: 1.06 1.03 1.00 2/108 21757 /proc/meminfo: memFree=1700884/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=75816 CPUtime=222.23 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28856 0 0 0 21203 1020 0 0 25 0 1 0 15068602 77635584 17613 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 18954 17613 592 984 0 17967 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 75816 [startup+282.301 s] /proc/loadavg: 1.05 1.04 1.00 2/108 21757 /proc/meminfo: memFree=1700884/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=75816 CPUtime=282.21 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28868 0 0 0 26899 1322 0 0 25 0 1 0 15068602 77635584 17625 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 18954 17625 592 984 0 17967 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 75816 [startup+342.302 s] /proc/loadavg: 1.09 1.05 1.01 2/108 21759 /proc/meminfo: memFree=1700512/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76088 CPUtime=342.2 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28918 0 0 0 32594 1626 0 0 25 0 1 0 15068602 77914112 17675 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19022 17675 592 984 0 18035 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 76088 [startup+402.302 s] /proc/loadavg: 1.03 1.04 1.00 2/108 21761 /proc/meminfo: memFree=1700388/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76088 CPUtime=402.19 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28924 0 0 0 38279 1940 0 0 25 0 1 0 15068602 77914112 17681 1992294400 4194304 8223781 140735302787584 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19022 17681 592 984 0 18035 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 76088 [startup+462.301 s] /proc/loadavg: 1.01 1.03 1.00 2/108 21763 /proc/meminfo: memFree=1700140/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76228 CPUtime=462.17 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 28958 0 0 0 43981 2236 0 0 25 0 1 0 15068602 78057472 17715 1992294400 4194304 8223781 140735302787584 18446744073709551615 4704596 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19057 17715 592 984 0 18070 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 76228 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/108 21765 /proc/meminfo: memFree=1699768/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76492 CPUtime=522.16 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29010 0 0 0 49687 2529 0 0 25 0 1 0 15068602 78327808 17767 1992294400 4194304 8223781 140735302787584 18446744073709551615 6023817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19123 17767 592 984 0 18136 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 76492 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/108 21768 /proc/meminfo: memFree=1699024/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76624 CPUtime=582.15 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29038 0 0 0 55389 2826 0 0 25 0 1 0 15068602 78462976 17795 1992294400 4194304 8223781 140735302787584 18446744073709551615 4704630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19156 17795 592 984 0 18169 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 76624 [startup+642.301 s] /proc/loadavg: 1.06 1.03 1.00 2/108 21770 /proc/meminfo: memFree=1698900/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76624 CPUtime=642.13 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29049 0 0 0 61104 3109 0 0 25 0 1 0 15068602 78462976 17806 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19156 17806 592 984 0 18169 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 76624 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.00 2/108 21776 /proc/meminfo: memFree=1698776/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76760 CPUtime=882.07 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29078 0 0 0 83920 4287 0 0 25 0 1 0 15068602 78602240 17835 1992294400 4194304 8223781 140735302787584 18446744073709551615 4659997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19190 17835 592 984 0 18203 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 76760 [startup+942.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 21778 /proc/meminfo: memFree=1698652/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76896 CPUtime=942.06 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29091 0 0 0 89617 4589 0 0 25 0 1 0 15068602 78741504 17848 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19224 17848 592 984 0 18237 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 76896 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 21780 /proc/meminfo: memFree=1698528/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=76896 CPUtime=1002.04 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29096 0 0 0 95320 4884 0 0 25 0 1 0 15068602 78741504 17853 1992294400 4194304 8223781 140735302787584 18446744073709551615 4703926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19224 17853 592 984 0 18237 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 76896 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21782 /proc/meminfo: memFree=1698528/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77036 CPUtime=1062.03 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29120 0 0 0 101021 5182 0 0 25 0 1 0 15068602 78884864 17877 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19259 17877 592 984 0 18272 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 77036 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21784 /proc/meminfo: memFree=1698404/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77036 CPUtime=1122.01 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29128 0 0 0 106725 5476 0 0 25 0 1 0 15068602 78884864 17885 1992294400 4194304 8223781 140735302787584 18446744073709551615 5506150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19259 17885 592 984 0 18272 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 77036 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21784 /proc/meminfo: memFree=1698156/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77036 CPUtime=1182 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29135 0 0 0 112408 5792 0 0 25 0 1 0 15068602 78884864 17892 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19259 17892 592 984 0 18272 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 77036 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21786 /proc/meminfo: memFree=1697784/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77036 CPUtime=1241.99 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29135 0 0 0 118112 6087 0 0 25 0 1 0 15068602 78884864 17892 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19259 17892 592 984 0 18272 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 77036 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21788 /proc/meminfo: memFree=1697660/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77168 CPUtime=1301.98 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29161 0 0 0 123817 6381 0 0 25 0 1 0 15068602 79020032 17918 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19292 17918 592 984 0 18305 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 77168 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21790 /proc/meminfo: memFree=1697536/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77168 CPUtime=1361.96 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29167 0 0 0 129511 6685 0 0 25 0 1 0 15068602 79020032 17924 1992294400 4194304 8223781 140735302787584 18446744073709551615 5909191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19292 17924 592 984 0 18305 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 77168 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21792 /proc/meminfo: memFree=1697412/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77168 CPUtime=1421.94 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29169 0 0 0 135223 6971 0 0 25 0 1 0 15068602 79020032 17926 1992294400 4194304 8223781 140735302787584 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19292 17926 592 984 0 18305 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 77168 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21792 /proc/meminfo: memFree=1697164/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77316 CPUtime=1481.92 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29204 0 0 0 140929 7263 0 0 25 0 1 0 15068602 79171584 17961 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19329 17961 592 984 0 18342 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 77316 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21794 /proc/meminfo: memFree=1697040/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77316 CPUtime=1541.91 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29207 0 0 0 146659 7532 0 0 25 0 1 0 15068602 79171584 17964 1992294400 4194304 8223781 140735302787584 18446744073709551615 5909703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19329 17964 592 984 0 18342 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 77316 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21796 /proc/meminfo: memFree=1697040/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77316 CPUtime=1601.89 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29207 0 0 0 152347 7842 0 0 25 0 1 0 15068602 79171584 17964 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19329 17964 592 984 0 18342 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 77316 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21798 /proc/meminfo: memFree=1696916/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77316 CPUtime=1661.88 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29212 0 0 0 158057 8131 0 0 25 0 1 0 15068602 79171584 17969 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19329 17969 592 984 0 18342 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 77316 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21800 /proc/meminfo: memFree=1696792/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77452 CPUtime=1721.87 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29229 0 0 0 163763 8424 0 0 25 0 1 0 15068602 79310848 17986 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19363 17986 592 984 0 18376 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 77452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21800 /proc/meminfo: memFree=1696420/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77452 CPUtime=1781.85 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29235 0 0 0 169479 8706 0 0 25 0 1 0 15068602 79310848 17992 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19363 17992 592 984 0 18376 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 77452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21802 /proc/meminfo: memFree=1696420/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77452 CPUtime=1800.05 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29238 0 0 0 171211 8794 0 0 25 0 1 0 15068602 79310848 17995 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19363 17995 592 984 0 18376 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 77452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21802 /proc/meminfo: memFree=1696420/2059040 swapFree=4140108/4192956 [pid=21750] ppid=21748 vsize=77452 CPUtime=1800.05 /proc/21750/stat : 21750 (pbscip.linux.x8) R 21748 21750 21330 0 -1 4202496 29238 0 0 0 171211 8794 0 0 25 0 1 0 15068602 79310848 17995 1992294400 4194304 8223781 140735302787584 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21750/statm: 19363 17995 592 984 0 18376 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 77452 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.1 CPU user time (s): 1712.14 CPU system time (s): 87.9596 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 85724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1712.14 system time used= 87.9596 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29245 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= 4652 runsolver used 2.86256 second user time and 8.64668 second system time The end
Begin job on node025 at 2010-06-13 09:28:49 IDJOB=2667049 IDBENCH=2052 IDSOLVER=1169 FILE ID=node025/2667049-1276414129 PBS_JOBID= 11173283 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667049-1276414129/watcher-2667049-1276414129 -o /tmp/evaluation-result-2667049-1276414129/solver-2667049-1276414129 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667049-1276414129.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=1005802319 node025.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.242 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.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1770480 kB Buffers: 55284 kB Cached: 142996 kB SwapCached: 6568 kB Active: 139008 kB Inactive: 72468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1770480 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4832 kB Writeback: 0 kB AnonPages: 11128 kB Mapped: 12872 kB Slab: 55252 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181656 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= 62536 MiB End job on node025 at 2010-06-13 09:58:51