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) | 16 | 1800.55 | 1801 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb |
| MD5SUM | 05a03b946ede4da21fcf30fd621632f5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.705892 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15 |
| Optimality of the best value was proved | YES |
| Number of variables | 1731 |
| Total number of constraints | 1254 |
| Number of constraints which are clauses | 1254 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 694 |
| Number of terms in the objective function | 1731 |
| 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 | 1731 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1731 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2667485-1276410523.opb>
0.06/0.07 c original problem has 1731 variables (1731 bin, 0 int, 0 impl, 0 cont) and 1254 constraints
0.06/0.07 c problem read
0.06/0.07 c presolving settings loaded
0.06/0.10 o 1731
0.06/0.10 o 1730
0.06/0.10 c feasible solution found by trivial heuristic, objective value 1.730000e+03
0.06/0.10 c presolving:
0.09/0.16 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 8 chg sides, 0 chg coeffs, 0 upgd conss, 396 impls, 0 clqs
0.19/0.20 c (round 2) 0 del vars, 8 del conss, 0 chg bounds, 8 chg sides, 0 chg coeffs, 1245 upgd conss, 396 impls, 0 clqs
0.19/0.22 c (round 3) 0 del vars, 8 del conss, 0 chg bounds, 8 chg sides, 0 chg coeffs, 1246 upgd conss, 396 impls, 0 clqs
0.19/0.26 c (0.2s) probing: 101/1731 (5.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.26 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (4 rounds):
0.19/0.26 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 8 changed sides, 0 changed coefficients
0.19/0.26 c 396 implications, 0 cliques
0.19/0.26 c presolved problem has 1731 variables (1731 bin, 0 int, 0 impl, 0 cont) and 1246 constraints
0.19/0.26 c 1246 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.16
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c conflict/interconss = 0
0.19/0.26 c
0.19/0.26 c # should binary conflicts be preferred?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c conflict/preferbinary = TRUE
0.19/0.26 c
0.19/0.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26 c constraints/agelimit = 1
0.19/0.26 c
0.19/0.26 c # should enforcement of pseudo solution be disabled?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/disableenfops = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.94
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 1620
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = 0
0.19/0.26 c
0.19/0.26 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.26 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.26 c lp/pricing = a
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # priority of node selection rule <dfs> in standard mode
0.19/0.26 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.26 c nodeselection/dfs/stdpriority = 1000000
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.26 c
0.19/0.27 o 1726
0.19/0.27 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.27 c t 0.2s| 1 | 0 | 0 | - |5517k| 0 | - |1731 |1246 | 0 | 0 | 0 | 0 | 0 | -- | 1.726000e+03 | Inf
0.19/0.29 o 28
0.19/0.29 c b 0.2s| 1 | 0 | 0 | - |7473k| 0 | - |1731 |1246 |1731 |1246 | 0 | 0 | 0 | -- | 2.800000e+01 | Inf
0.39/0.41 c 0.3s| 1 | 0 | 418 | - |7448k| 0 | 51 |1731 |1246 |1731 |1246 | 0 | 0 | 0 | 1.500000e+01 | 2.800000e+01 | 86.67%
0.39/0.41 o 28
0.39/0.41 c s 0.3s| 1 | 0 | 418 | - |7503k| 0 | 51 |1731 |1246 |1731 |1246 | 0 | 0 | 0 | 1.500000e+01 | 2.800000e+01 | 86.67%
0.39/0.41 o 18
0.39/0.41 c b 0.3s| 1 | 0 | 418 | - |7544k| 0 | 51 |1731 |1246 |1731 |1246 | 0 | 0 | 0 | 1.500000e+01 | 1.800000e+01 | 20.00%
0.59/0.60 o 16
0.59/0.60 c E 0.5s| 1 | 0 | 418 | - |7544k| 0 | 51 |1731 |1246 |1731 |1246 | 0 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
0.59/0.61 c 0.5s| 1 | 0 | 418 | - |7544k| 0 | 51 |1731 |1246 |1731 |1246 | 0 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
0.70/0.72 c 0.6s| 1 | 0 | 418 | - |7529k| 0 | 51 |1731 |1236 |1731 |1149 | 0 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.59/3.63 c 3.5s| 1 | 0 | 475 | - |7529k| 0 | 50 |1731 |1236 |1731 |1149 | 0 | 0 | 30 | 1.500000e+01 | 1.600000e+01 | 6.67%
5.50/5.54 c 5.3s| 1 | 0 | 549 | - |7530k| 0 | 51 |1731 |1235 |1731 |1149 | 0 | 0 | 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
5.59/5.63 c 5.4s| 1 | 0 | 587 | - |7534k| 0 | 52 |1731 |1235 |1731 |1150 | 1 | 0 | 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
6.69/6.74 c 6.5s| 1 | 0 | 597 | - |7520k| 0 | 50 |1731 |1216 |1731 |1150 | 1 | 0 | 75 | 1.500000e+01 | 1.600000e+01 | 6.67%
6.99/7.00 c 6.8s| 1 | 0 | 598 | - |7520k| 0 | 50 |1731 |1216 |1731 |1150 | 1 | 0 | 79 | 1.500000e+01 | 1.600000e+01 | 6.67%
7.09/7.17 c 6.9s| 1 | 2 | 598 | - |7521k| 0 | 50 |1731 |1216 |1731 |1150 | 1 | 0 | 80 | 1.500000e+01 | 1.600000e+01 | 6.67%
7.09/7.17 c (run 1, node 1) restarting after 212 global fixings of integer variables
7.09/7.17 c
7.09/7.17 c (restart) converted 1 cuts from the global cut pool into linear constraints
7.09/7.17 c
7.09/7.18 c presolving:
7.09/7.18 c (round 1) 212 del vars, 235 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 396 impls, 0 clqs
7.19/7.21 c presolving (2 rounds):
7.19/7.21 c 212 deleted vars, 235 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.19/7.21 c 396 implications, 0 cliques
7.19/7.21 c presolved problem has 1519 variables (1519 bin, 0 int, 0 impl, 0 cont) and 982 constraints
7.19/7.21 c 982 constraints of type <logicor>
7.19/7.21 c transformed objective value is always integral (scale: 1)
7.19/7.21 c Presolving Time: 0.20
7.19/7.21 c
7.19/7.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.19/7.30 c 7.1s| 1 | 0 | 937 | - |7111k| 0 | 45 |1519 | 982 |1519 | 982 | 0 | 0 | 80 | 1.500000e+01 | 1.600000e+01 | 6.67%
7.39/7.48 c 7.2s| 1 | 0 | 1021 | - |7153k| 0 | 42 |1519 | 804 |1519 | 790 | 2 | 0 | 80 | 1.500000e+01 | 1.600000e+01 | 6.67%
7.99/8.06 c 7.8s| 1 | 0 | 1021 | - |7172k| 0 | - |1519 | 804 |1519 | 790 | 2 | 0 | 107 | 1.500000e+01 | 1.600000e+01 | 6.67%
7.99/8.06 c (run 2, node 1) restarting after 376 global fixings of integer variables
7.99/8.06 c
7.99/8.06 c (restart) converted 2 cuts from the global cut pool into linear constraints
7.99/8.06 c
7.99/8.07 c presolving:
7.99/8.07 c (round 1) 376 del vars, 119 del conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 396 impls, 0 clqs
8.09/8.10 c (round 2) 376 del vars, 120 del conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 2 upgd conss, 396 impls, 0 clqs
8.09/8.10 c presolving (3 rounds):
8.09/8.10 c 376 deleted vars, 120 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients
8.09/8.10 c 396 implications, 0 cliques
8.09/8.10 c presolved problem has 1143 variables (1143 bin, 0 int, 0 impl, 0 cont) and 686 constraints
8.09/8.10 c 686 constraints of type <logicor>
8.09/8.10 c transformed objective value is always integral (scale: 1)
8.09/8.10 c Presolving Time: 0.23
8.09/8.10 c
8.09/8.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.14 c 7.9s| 1 | 0 | 1175 | - |6571k| 0 | 58 |1143 | 686 |1143 | 686 | 0 | 0 | 107 | 1.500000e+01 | 1.600000e+01 | 6.67%
8.69/8.72 c 8.4s| 1 | 0 | 1187 | - |7668k| 0 | 58 |1143 | 686 |1143 | 592 | 1 | 0 | 107 | 1.500000e+01 | 1.600000e+01 | 6.67%
8.80/8.85 c 8.6s| 1 | 0 | 1188 | - |7668k| 0 | 58 |1143 | 686 |1143 | 592 | 1 | 0 | 125 | 1.500000e+01 | 1.600000e+01 | 6.67%
8.99/9.02 c 8.7s| 1 | 0 | 1194 | - |7668k| 0 | 54 |1143 | 686 |1143 | 592 | 1 | 0 | 140 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.19/9.29 c 9.0s| 1 | 0 | 1200 | - |7652k| 0 | 51 |1143 | 665 |1143 | 592 | 1 | 0 | 162 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.29/9.39 c 9.1s| 1 | 0 | 1206 | - |7641k| 0 | 48 |1143 | 646 |1143 | 592 | 1 | 0 | 169 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.39/9.43 c 9.1s| 1 | 0 | 1210 | - |7641k| 0 | 48 |1143 | 646 |1143 | 592 | 1 | 0 | 172 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.39/9.48 c 9.2s| 1 | 0 | 1214 | - |7641k| 0 | 48 |1143 | 646 |1143 | 592 | 1 | 0 | 176 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.49/9.51 c 9.2s| 1 | 0 | 1215 | - |7641k| 0 | 48 |1143 | 646 |1143 | 592 | 1 | 0 | 179 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.49/9.53 c 9.2s| 1 | 0 | 1217 | - |7641k| 0 | 48 |1143 | 646 |1143 | 592 | 1 | 0 | 180 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.49/9.54 c 9.3s| 1 | 0 | 1219 | - |7641k| 0 | 48 |1143 | 646 |1143 | 592 | 1 | 0 | 181 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.49/9.57 c 9.3s| 1 | 0 | 1221 | - |7641k| 0 | 48 |1143 | 646 |1143 | 592 | 1 | 0 | 183 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.59/9.61 c 9.3s| 1 | 0 | 1223 | - |7640k| 0 | 47 |1143 | 644 |1143 | 592 | 1 | 0 | 185 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.59/9.61 c 9.3s| 1 | 2 | 1223 | - |7640k| 0 | 47 |1143 | 644 |1143 | 592 | 1 | 0 | 186 | 1.500000e+01 | 1.600000e+01 | 6.67%
9.59/9.61 c (run 3, node 1) restarting after 167 global fixings of integer variables
9.59/9.61 c
9.59/9.61 c (restart) converted 1 cuts from the global cut pool into linear constraints
9.59/9.61 c
9.59/9.62 c presolving:
9.59/9.63 c (round 1) 167 del vars, 73 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 396 impls, 0 clqs
9.59/9.68 c presolving (2 rounds):
9.59/9.68 c 167 deleted vars, 73 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
9.59/9.68 c 396 implications, 0 cliques
9.59/9.68 c presolved problem has 976 variables (976 bin, 0 int, 0 impl, 0 cont) and 572 constraints
9.59/9.68 c 1 constraints of type <knapsack>
9.59/9.68 c 571 constraints of type <logicor>
9.59/9.68 c transformed objective value is always integral (scale: 1)
9.59/9.68 c Presolving Time: 0.29
9.59/9.68 c
9.69/9.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.69/9.73 c 9.4s| 1 | 0 | 1456 | - |6826k| 0 | 47 | 976 | 572 | 976 | 572 | 0 | 0 | 186 | 1.500000e+01 | 1.600000e+01 | 6.67%
10.19/10.24 c 9.9s| 1 | 0 | 1485 | - |7736k| 0 | 59 | 976 | 572 | 976 | 522 | 1 | 0 | 186 | 1.500000e+01 | 1.600000e+01 | 6.67%
10.99/11.05 c 10.7s| 1 | 0 | 1489 | - |7736k| 0 | 57 | 976 | 572 | 976 | 522 | 1 | 0 | 230 | 1.500000e+01 | 1.600000e+01 | 6.67%
11.38/11.43 c 11.1s| 1 | 0 | 1490 | - |7736k| 0 | 56 | 976 | 572 | 976 | 522 | 1 | 0 | 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
11.38/11.43 c 11.1s| 1 | 2 | 1490 | - |7737k| 0 | 56 | 976 | 572 | 976 | 522 | 1 | 0 | 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
21.58/21.67 c 21.0s| 10000 | 848 | 1490 | 0.0 |9287k| 899 | - | 976 |4808 | 0 | 0 | 1 |8710 | 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
33.18/33.26 c 32.3s| 20000 | 837 | 1490 | 0.0 | 10M| 899 | - | 976 |8794 | 0 | 0 | 1 | 17k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
45.67/45.73 c 44.4s| 30000 | 824 | 1490 | 0.0 | 10M| 899 | - | 976 | 11k| 0 | 0 | 1 | 24k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
57.08/57.15 c 55.5s| 40000 | 825 | 1490 | 0.0 | 11M| 899 | - | 976 | 14k| 0 | 0 | 1 | 32k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
68.57/68.64 c 66.6s| 50000 | 822 | 1490 | 0.0 | 12M| 899 | - | 976 | 17k| 0 | 0 | 1 | 41k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
78.37/78.41 c 76.1s| 60000 | 824 | 1490 | 0.0 | 13M| 899 | - | 976 | 20k| 0 | 0 | 1 | 48k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
89.16/89.26 c 86.6s| 70000 | 826 | 1490 | 0.0 | 13M| 899 | - | 976 | 22k| 0 | 0 | 1 | 55k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
100.47/100.51 c 97.5s| 80000 | 823 | 1490 | 0.0 | 14M| 899 | - | 976 | 25k| 0 | 0 | 1 | 62k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
111.16/111.21 c 108s| 90000 | 823 | 1490 | 0.0 | 15M| 899 | - | 976 | 27k| 0 | 0 | 1 | 69k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
120.76/120.82 c 117s|100000 | 821 | 1490 | 0.0 | 15M| 899 | - | 976 | 30k| 0 | 0 | 1 | 76k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
131.05/131.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.05/131.12 c 127s|110000 | 821 | 1490 | 0.0 | 16M| 899 | - | 976 | 33k| 0 | 0 | 1 | 84k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
142.05/142.16 c 138s|120000 | 824 | 1490 | 0.0 | 17M| 899 | - | 976 | 36k| 0 | 0 | 1 | 92k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
153.96/154.07 c 149s|130000 | 828 | 1490 | 0.0 | 17M| 899 | - | 976 | 39k| 0 | 0 | 1 | 99k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
166.45/166.55 c 162s|140000 | 815 | 1490 | 0.0 | 18M| 899 | - | 976 | 42k| 0 | 0 | 1 | 107k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
179.74/179.80 c 174s|150000 | 816 | 1490 | 0.0 | 19M| 899 | - | 976 | 44k| 0 | 0 | 1 | 115k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
191.45/191.57 c 186s|160000 | 824 | 1490 | 0.0 | 19M| 899 | - | 976 | 46k| 0 | 0 | 1 | 121k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
203.24/203.38 c 197s|170000 | 818 | 1490 | 0.0 | 20M| 899 | - | 976 | 48k| 0 | 0 | 1 | 127k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
213.63/213.73 c 207s|180000 | 824 | 1490 | 0.0 | 20M| 899 | - | 976 | 50k| 0 | 0 | 1 | 133k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
224.63/224.74 c 218s|190000 | 834 | 1490 | 0.0 | 21M| 899 | - | 976 | 53k| 0 | 0 | 1 | 140k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
235.03/235.14 c 228s|200000 | 837 | 1490 | 0.0 | 22M| 899 | - | 976 | 56k| 0 | 0 | 1 | 147k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
247.34/247.41 c 240s|210000 | 815 | 1490 | 0.0 | 22M| 899 | - | 976 | 58k| 0 | 0 | 1 | 154k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
260.83/260.91 c 253s|220000 | 820 | 1490 | 0.0 | 23M| 899 | - | 976 | 61k| 0 | 0 | 1 | 163k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
272.62/272.71 c 265s|230000 | 820 | 1490 | 0.0 | 24M| 899 | - | 976 | 64k| 0 | 0 | 1 | 170k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
284.62/284.73 c 276s|240000 | 825 | 1490 | 0.0 | 25M| 899 | - | 976 | 68k| 0 | 0 | 1 | 178k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
296.21/296.33 c 288s|250000 | 814 | 1490 | 0.0 | 25M| 899 | - | 976 | 71k| 0 | 0 | 1 | 185k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
307.61/307.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.61/307.79 c 299s|260000 | 827 | 1490 | 0.0 | 26M| 899 | - | 976 | 74k| 0 | 0 | 1 | 194k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
317.72/317.86 c 308s|270000 | 829 | 1490 | 0.0 | 27M| 899 | - | 976 | 77k| 0 | 0 | 1 | 203k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
328.41/328.52 c 319s|280000 | 828 | 1490 | 0.0 | 28M| 899 | - | 976 | 81k| 0 | 0 | 1 | 211k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
339.01/339.18 c 329s|290000 | 827 | 1490 | 0.0 | 29M| 899 | - | 976 | 85k| 0 | 0 | 1 | 220k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
350.60/350.70 c 340s|300000 | 819 | 1490 | 0.0 | 30M| 899 | - | 976 | 89k| 0 | 0 | 1 | 230k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
363.60/363.71 c 353s|310000 | 829 | 1490 | 0.0 | 31M| 899 | - | 976 | 92k| 0 | 0 | 1 | 238k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
375.90/376.07 c 365s|320000 | 821 | 1490 | 0.0 | 32M| 899 | - | 976 | 95k| 0 | 0 | 1 | 246k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
388.89/389.08 c 378s|330000 | 819 | 1490 | 0.0 | 32M| 899 | - | 976 | 98k| 0 | 0 | 1 | 254k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
401.40/401.52 c 390s|340000 | 828 | 1490 | 0.0 | 33M| 899 | - | 976 | 102k| 0 | 0 | 1 | 262k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
414.50/414.61 c 402s|350000 | 820 | 1490 | 0.0 | 34M| 899 | - | 976 | 105k| 0 | 0 | 1 | 270k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
428.58/428.77 c 416s|360000 | 823 | 1490 | 0.0 | 35M| 899 | - | 976 | 109k| 0 | 0 | 1 | 280k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
442.38/442.56 c 429s|370000 | 819 | 1490 | 0.0 | 36M| 899 | - | 976 | 112k| 0 | 0 | 1 | 288k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
458.87/459.03 c 445s|380000 | 822 | 1490 | 0.0 | 37M| 899 | - | 976 | 116k| 0 | 0 | 1 | 298k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
473.18/473.36 c 459s|390000 | 822 | 1490 | 0.0 | 38M| 899 | - | 976 | 119k| 0 | 0 | 1 | 306k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
484.07/484.27 c 470s|400000 | 822 | 1490 | 0.0 | 38M| 899 | - | 976 | 122k| 0 | 0 | 1 | 314k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
494.78/494.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.78/494.97 c 480s|410000 | 827 | 1490 | 0.0 | 39M| 899 | - | 976 | 126k| 0 | 0 | 1 | 322k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
506.67/506.85 c 492s|420000 | 826 | 1490 | 0.0 | 40M| 899 | - | 976 | 129k| 0 | 0 | 1 | 330k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
517.16/517.35 c 502s|430000 | 828 | 1490 | 0.0 | 40M| 899 | - | 976 | 132k| 0 | 0 | 1 | 337k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
529.46/529.61 c 514s|440000 | 827 | 1490 | 0.0 | 41M| 899 | - | 976 | 134k| 0 | 0 | 1 | 345k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
540.15/540.38 c 524s|450000 | 834 | 1490 | 0.0 | 42M| 899 | - | 976 | 138k| 0 | 0 | 1 | 353k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
550.55/550.75 c 535s|460000 | 825 | 1490 | 0.0 | 43M| 899 | - | 976 | 142k| 0 | 0 | 1 | 362k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
562.96/563.19 c 547s|470000 | 818 | 1490 | 0.0 | 44M| 899 | - | 976 | 145k| 0 | 0 | 1 | 369k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
575.06/575.28 c 558s|480000 | 822 | 1490 | 0.0 | 45M| 899 | - | 976 | 148k| 0 | 0 | 1 | 377k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
586.95/587.19 c 570s|490000 | 817 | 1490 | 0.0 | 45M| 899 | - | 976 | 151k| 0 | 0 | 1 | 384k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
599.54/599.72 c 582s|500000 | 822 | 1490 | 0.0 | 46M| 899 | - | 976 | 154k| 0 | 0 | 1 | 392k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
610.74/610.92 c 593s|510000 | 814 | 1490 | 0.0 | 47M| 899 | - | 976 | 156k| 0 | 0 | 1 | 399k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
623.13/623.30 c 605s|520000 | 821 | 1490 | 0.0 | 47M| 899 | - | 976 | 160k| 0 | 0 | 1 | 408k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
635.93/636.15 c 617s|530000 | 823 | 1490 | 0.0 | 49M| 899 | - | 976 | 165k| 0 | 0 | 1 | 417k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
647.32/647.53 c 628s|540000 | 825 | 1490 | 0.0 | 50M| 899 | - | 976 | 169k| 0 | 0 | 1 | 426k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
657.73/657.94 c 639s|550000 | 827 | 1490 | 0.0 | 51M| 899 | - | 976 | 172k| 0 | 0 | 1 | 433k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
666.53/666.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.53/666.77 c 647s|560000 | 821 | 1490 | 0.0 | 51M| 899 | - | 976 | 175k| 0 | 0 | 1 | 440k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
679.12/679.31 c 659s|570000 | 827 | 1490 | 0.0 | 52M| 899 | - | 976 | 178k| 0 | 0 | 1 | 447k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
691.32/691.52 c 671s|580000 | 813 | 1490 | 0.0 | 53M| 899 | - | 976 | 181k| 0 | 0 | 1 | 456k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
703.21/703.43 c 683s|590000 | 812 | 1490 | 0.0 | 54M| 899 | - | 976 | 184k| 0 | 0 | 1 | 463k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
715.62/715.83 c 695s|600000 | 820 | 1490 | 0.0 | 54M| 899 | - | 976 | 187k| 0 | 0 | 1 | 471k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
727.61/727.81 c 706s|610000 | 825 | 1490 | 0.0 | 55M| 899 | - | 976 | 190k| 0 | 0 | 1 | 479k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
739.71/739.99 c 718s|620000 | 825 | 1490 | 0.0 | 56M| 899 | - | 976 | 193k| 0 | 0 | 1 | 488k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
752.40/752.65 c 731s|630000 | 819 | 1490 | 0.0 | 58M| 899 | - | 976 | 198k| 0 | 0 | 1 | 499k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
764.31/764.56 c 742s|640000 | 821 | 1490 | 0.0 | 58M| 899 | - | 976 | 201k| 0 | 0 | 1 | 507k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
775.49/775.79 c 753s|650000 | 820 | 1490 | 0.0 | 59M| 899 | - | 976 | 204k| 0 | 0 | 1 | 516k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
787.60/787.88 c 765s|660000 | 818 | 1490 | 0.0 | 60M| 899 | - | 976 | 207k| 0 | 0 | 1 | 524k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
800.89/801.18 c 778s|670000 | 812 | 1490 | 0.0 | 60M| 899 | - | 976 | 210k| 0 | 0 | 1 | 532k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
813.48/813.74 c 790s|680000 | 809 | 1490 | 0.0 | 61M| 899 | - | 976 | 212k| 0 | 0 | 1 | 539k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
826.89/827.17 c 803s|690000 | 816 | 1490 | 0.0 | 61M| 899 | - | 976 | 215k| 0 | 0 | 1 | 547k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
840.28/840.58 c 816s|700000 | 824 | 1490 | 0.0 | 62M| 899 | - | 976 | 218k| 0 | 0 | 1 | 556k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
852.08/852.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.08/852.30 c 827s|710000 | 838 | 1490 | 0.0 | 63M| 899 | - | 976 | 221k| 0 | 0 | 1 | 563k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
863.37/863.67 c 838s|720000 | 821 | 1490 | 0.0 | 63M| 899 | - | 976 | 224k| 0 | 0 | 1 | 571k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
874.08/874.38 c 849s|730000 | 820 | 1490 | 0.0 | 64M| 899 | - | 976 | 226k| 0 | 0 | 1 | 578k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
885.57/885.82 c 860s|740000 | 827 | 1490 | 0.0 | 65M| 899 | - | 976 | 229k| 0 | 0 | 1 | 586k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
896.47/896.75 c 870s|750000 | 814 | 1490 | 0.0 | 65M| 899 | - | 976 | 232k| 0 | 0 | 1 | 593k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
910.66/910.96 c 884s|760000 | 820 | 1490 | 0.0 | 67M| 899 | - | 976 | 237k| 0 | 0 | 1 | 604k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
925.26/925.56 c 898s|770000 | 807 | 1490 | 0.0 | 69M| 899 | - | 976 | 241k| 0 | 0 | 1 | 614k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
939.16/939.47 c 912s|780000 | 810 | 1490 | 0.0 | 69M| 899 | - | 976 | 245k| 0 | 0 | 1 | 623k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
950.06/950.37 c 922s|790000 | 822 | 1490 | 0.0 | 70M| 899 | - | 976 | 248k| 0 | 0 | 1 | 630k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
961.25/961.59 c 933s|800000 | 816 | 1490 | 0.0 | 71M| 899 | - | 976 | 251k| 0 | 0 | 1 | 638k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
970.05/970.30 c 942s|810000 | 828 | 1490 | 0.0 | 71M| 899 | - | 976 | 253k| 0 | 0 | 1 | 643k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
980.15/980.45 c 952s|820000 | 820 | 1490 | 0.0 | 72M| 899 | - | 976 | 255k| 0 | 0 | 1 | 650k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
991.44/991.76 c 963s|830000 | 817 | 1490 | 0.0 | 72M| 899 | - | 976 | 259k| 0 | 0 | 1 | 659k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1001.85/1002.13 c 973s|840000 | 824 | 1490 | 0.0 | 73M| 899 | - | 976 | 261k| 0 | 0 | 1 | 666k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1012.04/1012.38 c 983s|850000 | 820 | 1490 | 0.0 | 74M| 899 | - | 976 | 265k| 0 | 0 | 1 | 675k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1024.94/1025.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.94/1025.25 c 995s|860000 | 810 | 1490 | 0.0 | 75M| 899 | - | 976 | 269k| 0 | 0 | 1 | 683k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1038.23/1038.55 c 1008s|870000 | 812 | 1490 | 0.0 | 75M| 899 | - | 976 | 272k| 0 | 0 | 1 | 692k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1051.93/1052.27 c 1021s|880000 | 816 | 1490 | 0.0 | 76M| 899 | - | 976 | 277k| 0 | 0 | 1 | 702k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1065.92/1066.22 c 1035s|890000 | 812 | 1490 | 0.0 | 77M| 899 | - | 976 | 280k| 0 | 0 | 1 | 710k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1076.54/1076.90 c 1045s|900000 | 816 | 1490 | 0.0 | 79M| 899 | - | 976 | 284k| 0 | 0 | 1 | 719k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1088.42/1088.70 c 1057s|910000 | 828 | 1490 | 0.0 | 80M| 899 | - | 976 | 288k| 0 | 0 | 1 | 728k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1099.92/1100.26 c 1068s|920000 | 822 | 1490 | 0.0 | 81M| 899 | - | 976 | 291k| 0 | 0 | 1 | 736k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1113.12/1113.45 c 1081s|930000 | 812 | 1490 | 0.0 | 82M| 899 | - | 976 | 294k| 0 | 0 | 1 | 744k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1123.22/1123.53 c 1091s|940000 | 821 | 1490 | 0.0 | 82M| 899 | - | 976 | 297k| 0 | 0 | 1 | 751k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1135.92/1136.26 c 1103s|950000 | 813 | 1490 | 0.0 | 83M| 899 | - | 976 | 300k| 0 | 0 | 1 | 759k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1147.71/1148.03 c 1114s|960000 | 822 | 1490 | 0.0 | 84M| 899 | - | 976 | 303k| 0 | 0 | 1 | 766k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1159.50/1159.87 c 1126s|970000 | 815 | 1490 | 0.0 | 85M| 899 | - | 976 | 308k| 0 | 0 | 1 | 776k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1172.90/1173.27 c 1139s|980000 | 824 | 1490 | 0.0 | 85M| 899 | - | 976 | 311k| 0 | 0 | 1 | 784k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1184.90/1185.23 c 1151s|990000 | 819 | 1490 | 0.0 | 86M| 899 | - | 976 | 315k| 0 | 0 | 1 | 793k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1196.70/1197.05 c 1162s| 1000k| 814 | 1490 | 0.0 | 87M| 899 | - | 976 | 318k| 0 | 0 | 1 | 801k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1207.99/1208.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.99/1208.33 c 1173s| 1010k| 812 | 1490 | 0.0 | 88M| 899 | - | 976 | 322k| 0 | 0 | 1 | 808k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1220.09/1220.43 c 1185s| 1020k| 811 | 1490 | 0.0 | 89M| 899 | - | 976 | 326k| 0 | 0 | 1 | 817k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1233.49/1233.84 c 1198s| 1030k| 815 | 1490 | 0.0 | 90M| 899 | - | 976 | 330k| 0 | 0 | 1 | 825k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1245.08/1245.42 c 1209s| 1040k| 832 | 1490 | 0.0 | 90M| 899 | - | 976 | 333k| 0 | 0 | 1 | 834k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1253.59/1253.90 c 1217s| 1050k| 818 | 1490 | 0.0 | 93M| 899 | - | 976 | 337k| 0 | 0 | 1 | 841k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1264.77/1265.10 c 1228s| 1060k| 811 | 1490 | 0.0 | 94M| 899 | - | 976 | 340k| 0 | 0 | 1 | 848k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1275.98/1276.35 c 1239s| 1070k| 815 | 1490 | 0.0 | 94M| 899 | - | 976 | 344k| 0 | 0 | 1 | 856k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1288.27/1288.63 c 1251s| 1080k| 819 | 1490 | 0.0 | 95M| 899 | - | 976 | 347k| 0 | 0 | 1 | 864k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1301.57/1301.96 c 1264s| 1090k| 823 | 1490 | 0.0 | 96M| 899 | - | 976 | 351k| 0 | 0 | 1 | 873k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1313.86/1314.21 c 1276s| 1100k| 823 | 1490 | 0.0 | 97M| 899 | - | 976 | 356k| 0 | 0 | 1 | 882k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1325.07/1325.41 c 1287s| 1110k| 820 | 1490 | 0.0 | 98M| 899 | - | 976 | 359k| 0 | 0 | 1 | 890k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1335.16/1335.56 c 1297s| 1120k| 821 | 1490 | 0.0 | 99M| 899 | - | 976 | 363k| 0 | 0 | 1 | 899k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1346.85/1347.20 c 1308s| 1130k| 826 | 1490 | 0.0 | 100M| 899 | - | 976 | 368k| 0 | 0 | 1 | 908k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1359.56/1359.93 c 1320s| 1140k| 811 | 1490 | 0.0 | 101M| 899 | - | 976 | 372k| 0 | 0 | 1 | 917k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1372.25/1372.68 c 1333s| 1150k| 818 | 1490 | 0.0 | 102M| 899 | - | 976 | 376k| 0 | 0 | 1 | 926k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1384.45/1384.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.45/1384.82 c 1345s| 1160k| 827 | 1490 | 0.0 | 103M| 899 | - | 976 | 380k| 0 | 0 | 1 | 934k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1395.94/1396.30 c 1356s| 1170k| 822 | 1490 | 0.0 | 104M| 899 | - | 976 | 385k| 0 | 0 | 1 | 943k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1407.14/1407.54 c 1367s| 1180k| 811 | 1490 | 0.0 | 104M| 899 | - | 976 | 389k| 0 | 0 | 1 | 952k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1418.74/1419.11 c 1378s| 1190k| 814 | 1490 | 0.0 | 105M| 899 | - | 976 | 393k| 0 | 0 | 1 | 961k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1431.43/1431.88 c 1390s| 1200k| 813 | 1490 | 0.0 | 106M| 899 | - | 976 | 398k| 0 | 0 | 1 | 971k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1443.94/1444.31 c 1402s| 1210k| 807 | 1490 | 0.0 | 107M| 899 | - | 976 | 401k| 0 | 0 | 1 | 980k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1456.63/1457.03 c 1415s| 1220k| 810 | 1490 | 0.0 | 110M| 899 | - | 976 | 404k| 0 | 0 | 1 | 988k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1470.23/1470.60 c 1428s| 1230k| 811 | 1490 | 0.0 | 111M| 899 | - | 976 | 407k| 0 | 0 | 1 | 996k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1483.72/1484.17 c 1441s| 1240k| 810 | 1490 | 0.0 | 111M| 899 | - | 976 | 410k| 0 | 0 | 1 |1004k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1495.53/1495.94 c 1452s| 1250k| 815 | 1490 | 0.0 | 112M| 899 | - | 976 | 414k| 0 | 0 | 1 |1012k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1508.02/1508.42 c 1464s| 1260k| 811 | 1490 | 0.0 | 113M| 899 | - | 976 | 417k| 0 | 0 | 1 |1020k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1517.91/1518.35 c 1474s| 1270k| 827 | 1490 | 0.0 | 113M| 899 | - | 976 | 420k| 0 | 0 | 1 |1027k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1526.91/1527.38 c 1483s| 1280k| 829 | 1490 | 0.0 | 114M| 899 | - | 976 | 422k| 0 | 0 | 1 |1034k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1536.71/1537.18 c 1492s| 1290k| 821 | 1490 | 0.0 | 115M| 899 | - | 976 | 425k| 0 | 0 | 1 |1042k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1548.42/1548.85 c 1504s| 1300k| 817 | 1490 | 0.0 | 115M| 899 | - | 976 | 428k| 0 | 0 | 1 |1050k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1560.51/1560.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.51/1560.96 c 1515s| 1310k| 814 | 1490 | 0.0 | 116M| 899 | - | 976 | 431k| 0 | 0 | 1 |1056k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1573.81/1574.27 c 1528s| 1320k| 808 | 1490 | 0.0 | 116M| 899 | - | 976 | 434k| 0 | 0 | 1 |1065k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1587.50/1587.95 c 1542s| 1330k| 809 | 1490 | 0.0 | 117M| 899 | - | 976 | 436k| 0 | 0 | 1 |1072k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1600.90/1601.30 c 1555s| 1340k| 817 | 1490 | 0.0 | 118M| 899 | - | 976 | 439k| 0 | 0 | 1 |1080k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1616.19/1616.66 c 1570s| 1350k| 805 | 1490 | 0.0 | 119M| 899 | - | 976 | 444k| 0 | 0 | 1 |1090k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1630.29/1630.70 c 1583s| 1360k| 814 | 1490 | 0.0 | 119M| 899 | - | 976 | 447k| 0 | 0 | 1 |1098k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1643.99/1644.41 c 1597s| 1370k| 822 | 1490 | 0.0 | 120M| 899 | - | 976 | 450k| 0 | 0 | 1 |1106k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1658.08/1658.54 c 1610s| 1380k| 808 | 1490 | 0.0 | 121M| 899 | - | 976 | 454k| 0 | 0 | 1 |1115k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1671.59/1672.02 c 1623s| 1390k| 821 | 1490 | 0.0 | 122M| 899 | - | 976 | 457k| 0 | 0 | 1 |1123k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1686.07/1686.56 c 1637s| 1400k| 809 | 1490 | 0.0 | 123M| 899 | - | 976 | 461k| 0 | 0 | 1 |1132k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1700.57/1701.00 c 1651s| 1410k| 815 | 1490 | 0.0 | 123M| 899 | - | 976 | 464k| 0 | 0 | 1 |1140k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1712.86/1713.39 c 1663s| 1420k| 807 | 1490 | 0.0 | 124M| 899 | - | 976 | 467k| 0 | 0 | 1 |1148k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1723.97/1724.46 c 1674s| 1430k| 819 | 1490 | 0.0 | 125M| 899 | - | 976 | 470k| 0 | 0 | 1 |1156k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1737.16/1737.63 c 1687s| 1440k| 820 | 1490 | 0.0 | 125M| 899 | - | 976 | 473k| 0 | 0 | 1 |1164k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1752.96/1753.43 c 1702s| 1450k| 812 | 1490 | 0.0 | 126M| 899 | - | 976 | 478k| 0 | 0 | 1 |1174k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1769.15/1769.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.15/1769.65 c 1718s| 1460k| 809 | 1490 | 0.0 | 127M| 899 | - | 976 | 482k| 0 | 0 | 1 |1184k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1784.55/1785.01 c 1733s| 1470k| 813 | 1490 | 0.0 | 131M| 899 | - | 976 | 486k| 0 | 0 | 1 |1194k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1798.84/1799.39 c 1747s| 1480k| 817 | 1490 | 0.0 | 132M| 899 | - | 976 | 491k| 0 | 0 | 1 |1204k| 246 | 1.500000e+01 | 1.600000e+01 | 6.67%
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1748.06
1800.06/1800.50 c Solving Nodes : 1480872 (total of 1480875 nodes in 4 runs)
1800.06/1800.50 c Primal Bound : +1.60000000000000e+01 (8 solutions)
1800.06/1800.50 c Dual Bound : +1.50000000000000e+01
1800.06/1800.50 c Gap : 6.67 %
1800.06/1800.51 s SATISFIABLE
1800.06/1800.51 v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713
1800.06/1800.51 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696
1800.06/1800.51 v -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678
1800.06/1800.51 v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660
1800.06/1800.51 v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642
1800.06/1800.51 v -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624
1800.06/1800.51 v -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606
1800.06/1800.51 v -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588
1800.06/1800.51 v -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571
1800.06/1800.51 v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 x1558 -x1557 -x1556 -x1555 -x1554 -x1553
1800.06/1800.51 v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535
1800.06/1800.51 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517
1800.06/1800.51 v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 x1500 -x1499
1800.06/1800.51 v x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481
1800.06/1800.51 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464 -x1463
1800.06/1800.51 v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445
1800.06/1800.51 v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427
1800.06/1800.51 v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409
1800.06/1800.51 v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
1800.06/1800.51 v -x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
1800.06/1800.51 v -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
1800.06/1800.51 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338
1800.06/1800.51 v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320
1800.06/1800.51 v -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302
1800.06/1800.51 v -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284
1800.06/1800.51 v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
1800.06/1800.51 v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248
1800.06/1800.51 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230
1800.06/1800.51 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213
1800.06/1800.51 v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195
1800.06/1800.51 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177
1800.06/1800.51 v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159
1800.06/1800.51 v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141
1800.06/1800.51 v -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123
1800.06/1800.51 v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105
1800.06/1800.51 v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088
1800.06/1800.51 v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070
1800.06/1800.51 v -x1069 -x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1800.06/1800.51 v -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034
1800.06/1800.51 v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016
1800.06/1800.51 v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998
1800.06/1800.51 v -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977
1800.06/1800.51 v -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956
1800.06/1800.51 v -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935
1800.06/1800.51 v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 x916 -x915 -x914
1800.06/1800.51 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
1800.06/1800.51 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872
1800.06/1800.51 v -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852
1800.06/1800.51 v -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831
1800.06/1800.51 v -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810
1800.06/1800.51 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
1800.06/1800.51 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768
1800.06/1800.51 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1800.06/1800.51 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.06/1800.51 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.06/1800.51 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
1800.06/1800.51 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.06/1800.51 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.06/1800.51 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.06/1800.51 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1800.06/1800.51 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1800.06/1800.51 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.06/1800.51 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1800.06/1800.51 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518
1800.06/1800.51 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1800.06/1800.51 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1800.06/1800.51 v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1800.06/1800.51 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1800.06/1800.51 v -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1800.06/1800.51 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.06/1800.51 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1800.06/1800.51 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1800.06/1800.51 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1800.06/1800.51 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1800.06/1800.51 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1800.06/1800.51 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1800.06/1800.51 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1800.06/1800.51 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.06/1800.51 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.06/1800.51 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.06/1800.51 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.06/1800.51 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142
1800.06/1800.51 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121
1800.06/1800.51 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1800.06/1800.51 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.06/1800.51 v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51
1800.06/1800.51 v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26
1800.06/1800.51 v -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.51 c Solving Time : 1748.06
1800.06/1800.51 c Original Problem :
1800.06/1800.51 c Problem name : HOME/instance-2667485-1276410523.opb
1800.06/1800.51 c Variables : 1731 (1731 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51 c Constraints : 1254 initial, 1254 maximal
1800.06/1800.51 c Presolved Problem :
1800.06/1800.51 c Problem name : t_HOME/instance-2667485-1276410523.opb
1800.06/1800.51 c Variables : 976 (976 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51 c Constraints : 572 initial, 491601 maximal
1800.06/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.51 c trivial : 0.01 755 0 0 0 0 0 0 0
1800.06/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.51 c knapsack : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.51 c linear : 0.08 0 0 0 0 0 8 8 1
1800.06/1800.51 c logicor : 0.13 0 0 0 0 0 428 0 0
1800.06/1800.51 c root node : - 793 - - 793 - - - -
1800.06/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.51 c integral : 0 0 0 21 0 0 47 0 0 6
1800.06/1800.51 c knapsack : 1 1 6633668 0 0 0 0 0 0 0
1800.06/1800.51 c logicor : 571+ 9 3892645 0 0 476104 1799958 0 0 0
1800.06/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.51 c integral : 8.54 0.00 0.00 8.54 0.00
1800.06/1800.51 c knapsack : 916.09 0.23 915.86 0.00 0.00
1800.06/1800.51 c logicor : 167.94 0.00 167.94 0.00 0.00
1800.06/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.51 c vbounds : 3.48 5 0 0
1800.06/1800.51 c rootredcost : 3.23 0 0 0
1800.06/1800.51 c pseudoobj : 471.02 6973402 339708 40336844
1800.06/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.51 c propagation : 238.46 693505 693505 693505 148.6 484829 12.1 -
1800.06/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c pseudo solution : 4.67 19983 19983 19983 35.0 19450 8.9 -
1800.06/1800.51 c applied globally : - - - 771617 21.9 - - -
1800.06/1800.51 c applied locally : - - - 433156 206.2 - - -
1800.06/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 32)
1800.06/1800.51 c redcost : 0.00 9 0 589 0 0
1800.06/1800.51 c impliedbounds : 0.01 9 0 0 0 0
1800.06/1800.51 c intobj : 0.00 0 0 0 0 0
1800.06/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.51 c gomory : 0.38 9 0 0 398 0
1800.06/1800.51 c strongcg : 0.78 9 0 0 896 0
1800.06/1800.51 c cmir : 0.13 9 0 0 0 0
1800.06/1800.51 c flowcover : 0.20 9 0 0 0 0
1800.06/1800.51 c clique : 0.00 4 0 0 0 0
1800.06/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.51 c mcf : 0.01 4 0 0 0 0
1800.06/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.51 c Pricers : Time Calls Vars
1800.06/1800.51 c problem variables: 0.00 0 0
1800.06/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.51 c relpscost : 8.54 21 0 47 0 0 6
1800.06/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.51 c inference : 23.14 986052 0 0 0 0 1972104
1800.06/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.51 c random : 0.00 0 0 0 0 0 0
1800.06/1800.51 c Primal Heuristics : Time Calls Found
1800.06/1800.51 c LP solutions : 0.00 - 0
1800.06/1800.51 c pseudo solutions : 0.00 - 0
1800.06/1800.51 c crossover : 0.00 0 0
1800.06/1800.51 c oneopt : 1.05 3 2
1800.06/1800.51 c trivial : 0.00 2 4
1800.06/1800.51 c simplerounding : 0.00 25 0
1800.06/1800.51 c zirounding : 0.00 2 0
1800.06/1800.51 c rounding : 0.01 25 0
1800.06/1800.51 c shifting : 0.00 25 1
1800.06/1800.51 c intshifting : 0.00 0 0
1800.06/1800.51 c twoopt : 0.00 0 0
1800.06/1800.51 c fixandinfer : 0.00 0 0
1800.06/1800.51 c feaspump : 0.00 0 0
1800.06/1800.51 c coefdiving : 0.00 0 0
1800.06/1800.51 c pscostdiving : 0.00 0 0
1800.06/1800.51 c fracdiving : 0.00 0 0
1800.06/1800.51 c veclendiving : 0.00 0 0
1800.06/1800.51 c intdiving : 0.00 0 0
1800.06/1800.51 c actconsdiving : 0.00 0 0
1800.06/1800.51 c objpscostdiving : 0.00 0 0
1800.06/1800.51 c rootsoldiving : 0.00 0 0
1800.06/1800.51 c linesearchdiving : 0.00 0 0
1800.06/1800.51 c guideddiving : 0.00 0 0
1800.06/1800.51 c octane : 0.00 0 0
1800.06/1800.51 c rens : 0.06 1 1
1800.06/1800.51 c rins : 0.00 0 0
1800.06/1800.51 c localbranching : 0.00 0 0
1800.06/1800.51 c mutation : 0.00 0 0
1800.06/1800.51 c dins : 0.00 0 0
1800.06/1800.51 c undercover : 0.00 0 0
1800.06/1800.51 c nlp : 0.62 0 0
1800.06/1800.51 c trysol : 0.70 0 0
1800.06/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.51 c dual LP : 0.38 25 1490 59.60 3921.05
1800.06/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.51 c strong branching : 8.54 246 23995 97.54 2809.72
1800.06/1800.51 c (at root node) : - 246 23995 97.54 -
1800.06/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.51 c B&B Tree :
1800.06/1800.51 c number of runs : 4
1800.06/1800.51 c nodes : 1480872
1800.06/1800.51 c nodes (total) : 1480875
1800.06/1800.51 c nodes left : 816
1800.06/1800.51 c max depth : 899
1800.06/1800.51 c max depth (total): 899
1800.06/1800.51 c backtracks : 634250 (42.8%)
1800.06/1800.51 c delayed cutoffs : 487566
1800.06/1800.51 c repropagations : 1636410 (18498374 domain reductions, 340976 cutoffs)
1800.06/1800.51 c avg switch length: 3.46
1800.06/1800.51 c switching time : 61.70
1800.06/1800.51 c Solution :
1800.06/1800.51 c Solutions found : 8 (7 improvements)
1800.06/1800.51 c First Solution : +1.73100000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.06/1800.51 c Primal Bound : +1.60000000000000e+01 (in run 1, after 1 nodes, 0.47 seconds, depth 0, found by <rens>)
1800.06/1800.51 c Dual Bound : +1.50000000000000e+01
1800.06/1800.51 c Gap : 6.67 %
1800.06/1800.51 c Root Dual Bound : +1.50000000000000e+01
1800.06/1800.51 c Root Iterations : 1490
1800.45/1800.99 c Time complete: 1800.54.
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667485-1276410523/watcher-2667485-1276410523 -o /tmp/evaluation-result-2667485-1276410523/solver-2667485-1276410523 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667485-1276410523.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: 1.00 1.00 1.00 3/107 21518 /proc/meminfo: memFree=1776228/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=6696 CPUtime=0 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 985 0 0 0 0 0 0 0 22 0 1 0 14708053 6856704 904 1992294400 4194304 8223781 140735834825248 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21518/statm: 1674 905 343 984 0 687 0 [startup+0.0671089 s] /proc/loadavg: 1.00 1.00 1.00 3/107 21518 /proc/meminfo: memFree=1776228/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=11288 CPUtime=0.06 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 2122 0 0 0 6 0 0 0 22 0 1 0 14708053 11558912 2041 1992294400 4194304 8223781 140735834825248 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21518/statm: 2855 2048 365 984 0 1868 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11288 [startup+0.101112 s] /proc/loadavg: 1.00 1.00 1.00 3/107 21518 /proc/meminfo: memFree=1776228/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=19632 CPUtime=0.09 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 4291 0 0 0 8 1 0 0 22 0 1 0 14708053 20103168 3846 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 4908 3846 437 984 0 3921 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19632 [startup+0.301129 s] /proc/loadavg: 1.00 1.00 1.00 3/107 21518 /proc/meminfo: memFree=1776228/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=27776 CPUtime=0.3 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 7566 0 0 0 27 3 0 0 22 0 1 0 14708053 28442624 5954 1992294400 4194304 8223781 140735834825248 18446744073709551615 6538014 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 6944 5954 523 984 0 5957 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 27776 [startup+0.701165 s] /proc/loadavg: 1.00 1.00 1.00 3/107 21518 /proc/meminfo: memFree=1776228/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=28824 CPUtime=0.7 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 12714 0 0 0 63 7 0 0 24 0 1 0 14708053 29515776 6255 1992294400 4194304 8223781 140735834825248 18446744073709551615 5744193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 7206 6255 571 984 0 6219 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 28824 [startup+1.50124 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21519 /proc/meminfo: memFree=1752908/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=28712 CPUtime=1.49 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 14306 0 0 0 141 8 0 0 25 0 1 0 14708053 29401088 6250 1992294400 4194304 8223781 140735834825248 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 7178 6250 573 984 0 6191 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28712 [startup+3.10138 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21519 /proc/meminfo: memFree=1752660/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=29260 CPUtime=3.09 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 17112 0 0 0 298 11 0 0 25 0 1 0 14708053 29962240 6316 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 7315 6316 573 984 0 6328 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29260 [startup+6.30067 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21519 /proc/meminfo: memFree=1752536/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=28504 CPUtime=6.29 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 22991 0 0 0 614 15 0 0 25 0 1 0 14708053 29188096 6221 1992294400 4194304 8223781 140735834825248 18446744073709551615 6559790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 7126 6221 573 984 0 6139 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28504 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21519 /proc/meminfo: memFree=1735424/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=48192 CPUtime=12.69 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 34418 0 0 0 1238 31 0 0 25 0 1 0 14708053 49348608 10888 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 12048 10888 589 984 0 11061 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48192 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21519 /proc/meminfo: memFree=1728108/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=54748 CPUtime=25.48 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 36001 0 0 0 2479 69 0 0 25 0 1 0 14708053 56061952 12471 1992294400 4194304 8223781 140735834825248 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 13687 12471 589 984 0 12700 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54748 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21519 /proc/meminfo: memFree=1723768/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=59732 CPUtime=51.07 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 37129 0 0 0 4968 139 0 0 25 0 1 0 14708053 61165568 13599 1992294400 4194304 8223781 140735834825248 18446744073709551615 5506192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 14933 13599 590 984 0 13946 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59732 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21521 /proc/meminfo: memFree=1717072/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=67004 CPUtime=102.27 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 38696 0 0 0 9934 293 0 0 25 0 1 0 14708053 68612096 15166 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 16751 15166 590 984 0 15764 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 67004 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21523 /proc/meminfo: memFree=1711368/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=74260 CPUtime=162.25 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 40118 0 0 0 15754 471 0 0 25 0 1 0 14708053 76042240 16588 1992294400 4194304 8223781 140735834825248 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 18565 16588 590 984 0 17578 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 74260 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21525 /proc/meminfo: memFree=1705788/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=80328 CPUtime=222.23 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 41486 0 0 0 21579 644 0 0 25 0 1 0 14708053 82255872 17956 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 20082 17956 590 984 0 19095 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 80328 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21525 /proc/meminfo: memFree=1698348/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=89164 CPUtime=282.22 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 43367 0 0 0 27404 818 0 0 25 0 1 0 14708053 91303936 19837 1992294400 4194304 8223781 140735834825248 18446744073709551615 4240399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 22291 19837 590 984 0 21304 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 89164 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21527 /proc/meminfo: memFree=1691776/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=95900 CPUtime=342.2 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 44976 0 0 0 33223 997 0 0 25 0 1 0 14708053 98201600 21446 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 23975 21446 590 984 0 22988 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 95900 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21529 /proc/meminfo: memFree=1684832/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=103440 CPUtime=402.18 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 46726 0 0 0 39046 1172 0 0 25 0 1 0 14708053 105922560 23196 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 25860 23196 590 984 0 24873 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 103440 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21531 /proc/meminfo: memFree=1677392/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=111004 CPUtime=462.18 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 48548 0 0 0 44873 1345 0 0 25 0 1 0 14708053 113668096 25018 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 27751 25018 590 984 0 26764 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 111004 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21533 /proc/meminfo: memFree=1672804/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=114772 CPUtime=522.16 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 49651 0 0 0 50699 1517 0 0 25 0 1 0 14708053 117526528 26121 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 28693 26121 590 984 0 27706 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 114772 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21536 /proc/meminfo: memFree=1664372/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=122920 CPUtime=582.15 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 51588 0 0 0 56521 1694 0 0 25 0 1 0 14708053 125870080 28058 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 30730 28058 590 984 0 29743 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 122920 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21538 /proc/meminfo: memFree=1656064/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=131900 CPUtime=642.14 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 53662 0 0 0 62343 1871 0 0 25 0 1 0 14708053 135065600 30132 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 32975 30132 590 984 0 31988 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 131900 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21548 /proc/meminfo: memFree=1619608/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=167968 CPUtime=1002.04 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 62764 0 0 0 97295 2909 0 0 25 0 1 0 14708053 171999232 39234 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 41992 39234 590 984 0 41005 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 167968 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21550 /proc/meminfo: memFree=1613780/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=173272 CPUtime=1062.03 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 64247 0 0 0 103122 3081 0 0 25 0 1 0 14708053 177430528 40717 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 43318 40717 590 984 0 42331 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 173272 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21552 /proc/meminfo: memFree=1602000/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=186332 CPUtime=1122.02 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 67152 0 0 0 108949 3253 0 0 25 0 1 0 14708053 190803968 43622 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 46583 43622 590 984 0 45596 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 186332 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21552 /proc/meminfo: memFree=1597412/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=190252 CPUtime=1181.99 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 68282 0 0 0 114782 3417 0 0 25 0 1 0 14708053 194818048 44752 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 47563 44752 590 984 0 46576 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 190252 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21554 /proc/meminfo: memFree=1592576/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=194008 CPUtime=1241.99 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 69410 0 0 0 120610 3589 0 0 25 0 1 0 14708053 198664192 45880 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 48502 45880 590 984 0 47515 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 194008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21556 /proc/meminfo: memFree=1579928/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=208484 CPUtime=1301.97 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 72555 0 0 0 126442 3755 0 0 25 0 1 0 14708053 213487616 49025 1992294400 4194304 8223781 140735834825248 18446744073709551615 5506113 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 52121 49025 590 984 0 51134 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 208484 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21558 /proc/meminfo: memFree=1573728/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=213728 CPUtime=1361.95 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 74094 0 0 0 132267 3928 0 0 25 0 1 0 14708053 218857472 50564 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 53432 50564 590 984 0 52445 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 213728 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21560 /proc/meminfo: memFree=1567404/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=219056 CPUtime=1421.95 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 75636 0 0 0 138100 4095 0 0 25 0 1 0 14708053 224313344 52106 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 54764 52106 590 984 0 53777 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 219056 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21560 /proc/meminfo: memFree=1553888/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=235076 CPUtime=1481.92 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 79001 0 0 0 143923 4269 0 0 25 0 1 0 14708053 240717824 55471 1992294400 4194304 8223781 140735834825248 18446744073709551615 5506192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 58769 55471 590 984 0 57782 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 235076 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21562 /proc/meminfo: memFree=1548928/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=239260 CPUtime=1541.91 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 80213 0 0 0 149735 4456 0 0 25 0 1 0 14708053 245002240 56683 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 59815 56683 590 984 0 58828 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 239260 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21564 /proc/meminfo: memFree=1546076/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=241672 CPUtime=1601.9 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 80942 0 0 0 155567 4623 0 0 25 0 1 0 14708053 247472128 57412 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 60418 57412 590 984 0 59431 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 241672 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21566 /proc/meminfo: memFree=1541984/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=245260 CPUtime=1661.88 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 81958 0 0 0 161394 4794 0 0 25 0 1 0 14708053 251146240 58428 1992294400 4194304 8223781 140735834825248 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 61315 58428 590 984 0 60328 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 245260 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21568 /proc/meminfo: memFree=1537396/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=249036 CPUtime=1721.86 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 83075 0 0 0 167215 4971 0 0 25 0 1 0 14708053 255012864 59545 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 62259 59545 590 984 0 61272 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 249036 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21568 /proc/meminfo: memFree=1521400/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=267936 CPUtime=1781.85 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 86993 0 0 0 173046 5139 0 0 25 0 1 0 14708053 274366464 63463 1992294400 4194304 8223781 140735834825248 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 66984 63463 590 984 0 65997 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 267936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21570 /proc/meminfo: memFree=1520780/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=268392 CPUtime=1800.06 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 87178 0 0 0 174812 5194 0 0 25 0 1 0 14708053 274833408 63648 1992294400 4194304 8223781 140735834825248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21518/statm: 67098 63648 590 984 0 66111 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 268392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/109 21571 /proc/meminfo: memFree=1513208/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=276548 CPUtime=1800.16 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 89184 0 0 0 174821 5195 0 0 25 0 1 0 14708053 283185152 65354 1992294400 4194304 8223781 140735834825248 18446744073709551615 6206535 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21518/statm: 69137 65354 592 984 0 68150 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 276548 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/109 21571 /proc/meminfo: memFree=1513208/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=231852 CPUtime=1800.35 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 89184 0 0 0 174839 5196 0 0 25 0 1 0 14708053 237416448 54180 1992294400 4194304 8223781 140735834825248 18446744073709551615 4384199 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21518/statm: 57963 54180 592 984 0 56976 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 231852 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/109 21571 /proc/meminfo: memFree=1513208/2059040 swapFree=4140108/4192956 [pid=21518] ppid=21516 vsize=215284 CPUtime=1800.45 /proc/21518/stat : 21518 (pbscip.linux.x8) R 21516 21518 21330 0 -1 4202496 89184 0 0 0 174849 5196 0 0 25 0 1 0 14708053 220450816 50038 1992294400 4194304 8223781 140735834825248 18446744073709551615 6207260 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21518/statm: 53821 50038 592 984 0 52834 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 215284 Child status: 0 Real time (s): 1801 CPU time (s): 1800.55 CPU user time (s): 1748.57 CPU system time (s): 51.9861 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 276548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1748.57 system time used= 51.9861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89188 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= 4 involuntary context switches= 2429 runsolver used 3.01654 second user time and 8.47671 second system time The end
Begin job on node025 at 2010-06-13 08:28:43 IDJOB=2667485 IDBENCH=2045 IDSOLVER=1169 FILE ID=node025/2667485-1276410523 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-jac3.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-2667485-1276410523/watcher-2667485-1276410523 -o /tmp/evaluation-result-2667485-1276410523/solver-2667485-1276410523 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667485-1276410523.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05a03b946ede4da21fcf30fd621632f5 RANDOM SEED=424534666 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: 1776756 kB Buffers: 49456 kB Cached: 142800 kB SwapCached: 6568 kB Active: 138740 kB Inactive: 66696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1776756 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4728 kB Writeback: 0 kB AnonPages: 11052 kB Mapped: 12916 kB Slab: 55000 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183140 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 08:58:46