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 | OPT | 5 | 26.7299 | 26.7369 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb |
| MD5SUM | 62bf49287e0493f2a3b22f3319db306d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.500923 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 309 |
| Total number of constraints | 963 |
| Number of constraints which are clauses | 963 |
| 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 | 4 |
| Maximum length of a constraint | 87 |
| Number of terms in the objective function | 309 |
| 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 | 309 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 309 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2667491-1276415108.opb>
0.00/0.06 c original problem has 309 variables (309 bin, 0 int, 0 impl, 0 cont) and 963 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.07 o 309
0.00/0.07 o 294
0.00/0.07 c feasible solution found by trivial heuristic, objective value 2.940000e+02
0.00/0.07 c presolving:
0.09/0.14 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 959 upgd conss, 0 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 101/309 (32.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (2 rounds):
0.09/0.17 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 0 changed coefficients
0.09/0.17 c 0 implications, 0 cliques
0.09/0.17 c presolved problem has 309 variables (309 bin, 0 int, 0 impl, 0 cont) and 959 constraints
0.09/0.17 c 959 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.09
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c conflict/interconss = 0
0.09/0.17 c
0.09/0.17 c # should binary conflicts be preferred?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c conflict/preferbinary = TRUE
0.09/0.17 c
0.09/0.17 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.17 c constraints/agelimit = 1
0.09/0.17 c
0.09/0.17 c # should enforcement of pseudo solution be disabled?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/disableenfops = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.95
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = 0
0.09/0.17 c
0.09/0.17 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.17 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.17 c lp/pricing = a
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # priority of node selection rule <dfs> in standard mode
0.09/0.17 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.17 c nodeselection/dfs/stdpriority = 1000000
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 o 291
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c t 0.1s| 1 | 0 | 0 | - |2448k| 0 | - | 309 | 959 | 0 | 0 | 0 | 0 | 0 | -- | 2.910000e+02 | Inf
0.09/0.19 o 14
0.09/0.19 c b 0.1s| 1 | 0 | 0 | - |3878k| 0 | - | 309 | 959 | 309 | 959 | 0 | 0 | 0 | -- | 1.400000e+01 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 97 | - |3875k| 0 | 16 | 309 | 959 | 309 | 959 | 0 | 0 | 0 | 4.083333e+00 | 1.400000e+01 | 242.86%
0.19/0.21 o 12
0.19/0.21 c b 0.1s| 1 | 0 | 97 | - |3892k| 0 | 16 | 309 | 959 | 309 | 959 | 0 | 0 | 0 | 4.083333e+00 | 1.200000e+01 | 193.88%
0.39/0.46 c 0.4s| 1 | 0 | 109 | - |4116k| 0 | 23 | 309 | 959 | 309 | 960 | 1 | 0 | 0 | 4.218750e+00 | 1.200000e+01 | 184.44%
0.69/0.75 c 0.7s| 1 | 0 | 124 | - |4470k| 0 | 28 | 309 | 959 | 309 | 961 | 2 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1.10/1.13 c 1.0s| 1 | 0 | 132 | - |4842k| 0 | 23 | 309 | 959 | 309 | 962 | 3 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1.49/1.50 c 1.4s| 1 | 0 | 148 | - |4988k| 0 | 25 | 309 | 959 | 309 | 963 | 4 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1.79/1.85 c 1.7s| 1 | 0 | 156 | - |5039k| 0 | 25 | 309 | 959 | 309 | 964 | 5 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
2.09/2.17 c 2.1s| 1 | 0 | 180 | - |5070k| 0 | 33 | 309 | 959 | 309 | 965 | 6 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
2.49/2.51 c 2.4s| 1 | 0 | 208 | - |5120k| 0 | 39 | 309 | 959 | 309 | 966 | 7 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
2.79/2.83 c 2.7s| 1 | 0 | 233 | - |5148k| 0 | 37 | 309 | 959 | 309 | 967 | 8 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
2.89/2.91 o 6
2.89/2.91 c E 2.8s| 1 | 0 | 233 | - |5151k| 0 | 37 | 309 | 959 | 309 | 967 | 8 | 0 | 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
2.89/2.92 c 2.8s| 1 | 0 | 233 | - |5151k| 0 | 37 | 309 | 959 | 309 | 967 | 8 | 0 | 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.29/3.31 c 3.2s| 1 | 0 | 233 | - |5151k| 0 | 37 | 309 | 959 | 309 | 868 | 8 | 0 | 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.99/4.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.99/4.03 c 3.9s| 1 | 0 | 321 | - |5120k| 0 | 34 | 309 | 938 | 309 | 868 | 8 | 0 | 15 | 5.000000e+00 | 6.000000e+00 | 20.00%
4.29/4.35 c 4.2s| 1 | 0 | 348 | - |5123k| 0 | 40 | 309 | 938 | 309 | 869 | 9 | 0 | 15 | 5.000000e+00 | 6.000000e+00 | 20.00%
4.89/4.92 c 4.8s| 1 | 0 | 392 | - |5123k| 0 | 41 | 309 | 936 | 309 | 869 | 9 | 0 | 24 | 5.000000e+00 | 6.000000e+00 | 20.00%
5.19/5.20 c 5.0s| 1 | 0 | 421 | - |5127k| 0 | 36 | 309 | 936 | 309 | 870 | 10 | 0 | 24 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.09/6.12 c 6.0s| 1 | 0 | 476 | - |5121k| 0 | 46 | 309 | 928 | 309 | 870 | 10 | 0 | 37 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.69/6.75 c 6.6s| 1 | 0 | 512 | - |5119k| 0 | 47 | 309 | 925 | 309 | 870 | 10 | 0 | 43 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.29/7.37 c 7.2s| 1 | 0 | 538 | - |5118k| 0 | 47 | 309 | 923 | 309 | 870 | 10 | 0 | 48 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.79/7.88 c 7.7s| 1 | 0 | 573 | - |5106k| 0 | 44 | 309 | 917 | 309 | 870 | 10 | 0 | 53 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.38/8.48 c 8.3s| 1 | 0 | 585 | - |5105k| 0 | 42 | 309 | 915 | 309 | 867 | 10 | 0 | 59 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.69/8.75 c 8.5s| 1 | 0 | 633 | - |5115k| 0 | 43 | 309 | 915 | 309 | 868 | 11 | 0 | 59 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.99/9.09 c 8.9s| 1 | 0 | 633 | - |5115k| 0 | - | 309 | 915 | 309 | 868 | 11 | 0 | 65 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.99/9.09 c (run 1, node 1) restarting after 66 global fixings of integer variables
8.99/9.09 c
8.99/9.09 c (restart) converted 8 cuts from the global cut pool into linear constraints
8.99/9.09 c
9.09/9.10 c presolving:
9.09/9.10 c (round 1) 66 del vars, 196 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 8 upgd conss, 0 impls, 0 clqs
9.09/9.14 c presolving (2 rounds):
9.09/9.14 c 66 deleted vars, 196 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
9.09/9.14 c 0 implications, 0 cliques
9.09/9.14 c presolved problem has 243 variables (243 bin, 0 int, 0 impl, 0 cont) and 727 constraints
9.09/9.14 c 8 constraints of type <knapsack>
9.09/9.14 c 719 constraints of type <logicor>
9.09/9.14 c transformed objective value is always integral (scale: 1)
9.09/9.14 c Presolving Time: 0.13
9.09/9.14 c
9.09/9.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.17 c 8.9s| 1 | 0 | 739 | - |3587k| 0 | 39 | 243 | 727 | 243 | 727 | 0 | 0 | 65 | 5.000000e+00 | 6.000000e+00 | 20.00%
10.29/10.39 c 10.2s| 1 | 0 | 763 | - |3587k| 0 | 39 | 243 | 727 | 243 | 727 | 0 | 0 | 83 | 5.000000e+00 | 6.000000e+00 | 20.00%
10.69/10.77 c 10.5s| 1 | 0 | 783 | - |3585k| 0 | 44 | 243 | 723 | 243 | 727 | 0 | 0 | 91 | 5.000000e+00 | 6.000000e+00 | 20.00%
11.09/11.15 c 10.9s| 1 | 0 | 796 | - |3584k| 0 | 45 | 243 | 722 | 243 | 727 | 0 | 0 | 98 | 5.000000e+00 | 6.000000e+00 | 20.00%
11.49/11.54 c 11.3s| 1 | 0 | 806 | - |3583k| 0 | 44 | 243 | 719 | 243 | 727 | 0 | 0 | 106 | 5.000000e+00 | 6.000000e+00 | 20.00%
11.79/11.84 c 11.6s| 1 | 0 | 818 | - |3582k| 0 | 37 | 243 | 717 | 243 | 727 | 0 | 0 | 112 | 5.000000e+00 | 6.000000e+00 | 20.00%
12.09/12.12 c 11.9s| 1 | 0 | 826 | - |3582k| 0 | 37 | 243 | 716 | 243 | 727 | 0 | 0 | 118 | 5.000000e+00 | 6.000000e+00 | 20.00%
12.28/12.36 c 12.1s| 1 | 0 | 835 | - |3580k| 0 | 36 | 243 | 707 | 243 | 727 | 0 | 0 | 125 | 5.000000e+00 | 6.000000e+00 | 20.00%
12.59/12.66 c 12.4s| 1 | 0 | 845 | - |3578k| 0 | 33 | 243 | 697 | 243 | 727 | 0 | 0 | 133 | 5.000000e+00 | 6.000000e+00 | 20.00%
12.79/12.85 c 12.6s| 1 | 0 | 852 | - |3568k| 0 | 26 | 243 | 680 | 243 | 727 | 0 | 0 | 138 | 5.000000e+00 | 6.000000e+00 | 20.00%
12.98/13.03 c 12.8s| 1 | 0 | 852 | - |3568k| 0 | - | 243 | 680 | 243 | 727 | 0 | 0 | 143 | 5.000000e+00 | 6.000000e+00 | 20.00%
12.98/13.03 c (run 2, node 1) restarting after 50 global fixings of integer variables
12.98/13.03 c
12.98/13.03 c presolving:
12.98/13.04 c (round 1) 50 del vars, 115 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
12.98/13.06 c presolving (2 rounds):
12.98/13.06 c 50 deleted vars, 115 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.98/13.06 c 0 implications, 0 cliques
12.98/13.06 c presolved problem has 193 variables (193 bin, 0 int, 0 impl, 0 cont) and 565 constraints
12.98/13.06 c 8 constraints of type <knapsack>
12.98/13.06 c 557 constraints of type <logicor>
12.98/13.06 c transformed objective value is always integral (scale: 1)
12.98/13.06 c Presolving Time: 0.15
12.98/13.06 c
12.98/13.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.98/13.08 c 12.8s| 1 | 0 | 938 | - |3193k| 0 | 32 | 193 | 565 | 193 | 565 | 0 | 0 | 143 | 5.000000e+00 | 6.000000e+00 | 20.00%
13.68/13.75 c 13.4s| 1 | 0 | 959 | - |3193k| 0 | 39 | 193 | 565 | 193 | 565 | 0 | 0 | 156 | 5.000000e+00 | 6.000000e+00 | 20.00%
14.08/14.10 c 13.8s| 1 | 0 | 977 | - |3192k| 0 | 40 | 193 | 564 | 193 | 565 | 0 | 0 | 167 | 5.000000e+00 | 6.000000e+00 | 20.00%
14.39/14.43 c 14.1s| 1 | 0 | 997 | - |3192k| 0 | 38 | 193 | 564 | 193 | 565 | 0 | 0 | 178 | 5.000000e+00 | 6.000000e+00 | 20.00%
14.58/14.68 c 14.4s| 1 | 0 | 1012 | - |3191k| 0 | 31 | 193 | 558 | 193 | 565 | 0 | 0 | 186 | 5.000000e+00 | 6.000000e+00 | 20.00%
14.79/14.87 c 14.6s| 1 | 0 | 1025 | - |3190k| 0 | 34 | 193 | 554 | 193 | 565 | 0 | 0 | 192 | 5.000000e+00 | 6.000000e+00 | 20.00%
14.99/15.06 c 14.7s| 1 | 0 | 1035 | - |3189k| 0 | 33 | 193 | 546 | 193 | 565 | 0 | 0 | 199 | 5.000000e+00 | 6.000000e+00 | 20.00%
15.29/15.33 c 15.0s| 1 | 0 | 1046 | - |3184k| 0 | 32 | 193 | 532 | 193 | 565 | 0 | 0 | 208 | 5.000000e+00 | 6.000000e+00 | 20.00%
15.39/15.50 c 15.2s| 1 | 0 | 1046 | - |3184k| 0 | - | 193 | 532 | 193 | 565 | 0 | 0 | 214 | 5.000000e+00 | 6.000000e+00 | 20.00%
15.39/15.50 c (run 3, node 1) restarting after 40 global fixings of integer variables
15.39/15.50 c
15.49/15.50 c presolving:
15.49/15.51 c (round 1) 40 del vars, 85 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
15.49/15.52 c (round 2) 40 del vars, 89 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
15.49/15.52 c presolving (3 rounds):
15.49/15.52 c 40 deleted vars, 89 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.49/15.52 c 0 implications, 0 cliques
15.49/15.52 c presolved problem has 153 variables (153 bin, 0 int, 0 impl, 0 cont) and 443 constraints
15.49/15.52 c 8 constraints of type <knapsack>
15.49/15.52 c 435 constraints of type <logicor>
15.49/15.52 c transformed objective value is always integral (scale: 1)
15.49/15.52 c Presolving Time: 0.17
15.49/15.52 c
15.49/15.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.49/15.53 c 15.2s| 1 | 0 | 1099 | - |2929k| 0 | 31 | 153 | 443 | 153 | 443 | 0 | 0 | 214 | 5.000000e+00 | 6.000000e+00 | 20.00%
15.59/15.67 c 15.3s| 1 | 0 | 1176 | - |2937k| 0 | 35 | 153 | 443 | 153 | 444 | 1 | 0 | 214 | 5.000000e+00 | 6.000000e+00 | 20.00%
16.19/16.29 c 15.9s| 1 | 0 | 1196 | - |2936k| 0 | 36 | 153 | 441 | 153 | 444 | 1 | 0 | 234 | 5.000000e+00 | 6.000000e+00 | 20.00%
16.39/16.48 c 16.1s| 1 | 0 | 1215 | - |2935k| 0 | 36 | 153 | 437 | 153 | 444 | 1 | 0 | 240 | 5.000000e+00 | 6.000000e+00 | 20.00%
16.79/16.80 c 16.4s| 1 | 0 | 1237 | - |2933k| 0 | 25 | 153 | 434 | 153 | 444 | 1 | 0 | 250 | 5.000000e+00 | 6.000000e+00 | 20.00%
16.99/17.08 c 16.7s| 1 | 0 | 1261 | - |2933k| 0 | 21 | 153 | 434 | 153 | 444 | 1 | 0 | 258 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.18/17.23 c 16.9s| 1 | 0 | 1267 | - |2933k| 0 | 26 | 153 | 434 | 153 | 444 | 1 | 0 | 263 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.29/17.37 c 17.0s| 1 | 0 | 1271 | - |2922k| 0 | 20 | 153 | 408 | 153 | 444 | 1 | 0 | 268 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.29/17.37 c 17.0s| 1 | 2 | 1271 | - |2923k| 0 | 20 | 153 | 408 | 153 | 444 | 1 | 0 | 268 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.29/17.37 c (run 4, node 1) restarting after 25 global fixings of integer variables
17.29/17.37 c
17.29/17.37 c (restart) converted 1 cuts from the global cut pool into linear constraints
17.29/17.37 c
17.29/17.38 c presolving:
17.29/17.39 c (round 1) 25 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 0 impls, 0 clqs
17.29/17.39 c presolving (2 rounds):
17.29/17.39 c 25 deleted vars, 60 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
17.29/17.39 c 0 implications, 0 cliques
17.29/17.39 c presolved problem has 128 variables (128 bin, 0 int, 0 impl, 0 cont) and 349 constraints
17.29/17.39 c 9 constraints of type <knapsack>
17.29/17.39 c 340 constraints of type <logicor>
17.29/17.39 c transformed objective value is always integral (scale: 1)
17.29/17.39 c Presolving Time: 0.19
17.29/17.40 c
17.39/17.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.39/17.40 c 17.0s| 1 | 0 | 1339 | - |2787k| 0 | 30 | 128 | 349 | 128 | 349 | 0 | 0 | 268 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.49/17.51 c 17.1s| 1 | 0 | 1356 | - |2804k| 0 | 28 | 128 | 349 | 128 | 350 | 1 | 0 | 268 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.79/17.81 c 17.4s| 1 | 0 | 1378 | - |2804k| 0 | 27 | 128 | 349 | 128 | 350 | 1 | 0 | 290 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.88/17.96 c 17.6s| 1 | 0 | 1393 | - |2804k| 0 | 23 | 128 | 349 | 128 | 350 | 1 | 0 | 301 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.99/18.02 c 17.6s| 1 | 0 | 1398 | - |2803k| 0 | 24 | 128 | 347 | 128 | 350 | 1 | 0 | 305 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.99/18.06 c 17.6s| 1 | 0 | 1403 | - |2803k| 0 | 23 | 128 | 347 | 128 | 350 | 1 | 0 | 309 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.99/18.06 c 17.6s| 1 | 2 | 1403 | - |2804k| 0 | 23 | 128 | 347 | 128 | 350 | 1 | 0 | 309 | 5.000000e+00 | 6.000000e+00 | 20.00%
17.99/18.06 c (run 5, node 1) restarting after 14 global fixings of integer variables
17.99/18.06 c
17.99/18.06 c (restart) converted 1 cuts from the global cut pool into linear constraints
17.99/18.06 c
17.99/18.06 c presolving:
17.99/18.07 c (round 1) 14 del vars, 45 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 0 impls, 0 clqs
17.99/18.08 c (round 2) 14 del vars, 46 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 0 impls, 0 clqs
17.99/18.08 c presolving (3 rounds):
17.99/18.08 c 14 deleted vars, 46 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
17.99/18.08 c 0 implications, 0 cliques
17.99/18.08 c presolved problem has 114 variables (114 bin, 0 int, 0 impl, 0 cont) and 302 constraints
17.99/18.08 c 10 constraints of type <knapsack>
17.99/18.08 c 292 constraints of type <logicor>
17.99/18.08 c transformed objective value is always integral (scale: 1)
17.99/18.08 c Presolving Time: 0.20
17.99/18.08 c
17.99/18.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.99/18.09 c 17.7s| 1 | 0 | 1446 | - |2711k| 0 | 21 | 114 | 302 | 114 | 302 | 0 | 0 | 309 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.39/18.42 c 18.0s| 1 | 0 | 1448 | - |2711k| 0 | 20 | 114 | 302 | 114 | 302 | 0 | 0 | 330 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.39/18.43 c 18.0s| 1 | 0 | 1449 | - |2711k| 0 | 20 | 114 | 302 | 114 | 302 | 0 | 0 | 331 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.39/18.44 c 18.0s| 1 | 0 | 1452 | - |2711k| 0 | 20 | 114 | 302 | 114 | 302 | 0 | 0 | 332 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.39/18.45 c 18.0s| 1 | 0 | 1454 | - |2711k| 0 | 20 | 114 | 302 | 114 | 302 | 0 | 0 | 334 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.39/18.47 c 18.0s| 1 | 0 | 1458 | - |2711k| 0 | 22 | 114 | 302 | 114 | 302 | 0 | 0 | 336 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.48/18.52 c 18.1s| 1 | 0 | 1462 | - |2711k| 0 | 20 | 114 | 302 | 114 | 302 | 0 | 0 | 341 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.48/18.55 c 18.1s| 1 | 0 | 1465 | - |2711k| 0 | 24 | 114 | 302 | 114 | 302 | 0 | 0 | 343 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.60/18.62 c 18.2s| 1 | 0 | 1468 | - |2711k| 0 | 21 | 114 | 302 | 114 | 302 | 0 | 0 | 348 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.60/18.62 c 18.2s| 1 | 2 | 1468 | - |2712k| 0 | 21 | 114 | 302 | 114 | 302 | 0 | 0 | 348 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.60/18.62 c (run 6, node 1) restarting after 14 global fixings of integer variables
18.60/18.62 c
18.60/18.62 c presolving:
18.60/18.63 c (round 1) 14 del vars, 53 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
18.60/18.63 c presolving (2 rounds):
18.60/18.63 c 14 deleted vars, 53 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
18.60/18.63 c 0 implications, 0 cliques
18.60/18.63 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 249 constraints
18.60/18.63 c 10 constraints of type <knapsack>
18.60/18.63 c 239 constraints of type <logicor>
18.60/18.63 c transformed objective value is always integral (scale: 1)
18.60/18.63 c Presolving Time: 0.21
18.60/18.63 c
18.60/18.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.60/18.64 c 18.2s| 1 | 0 | 1520 | - |2636k| 0 | 23 | 100 | 249 | 100 | 249 | 0 | 0 | 348 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.89/18.91 c 18.5s| 1 | 0 | 1523 | - |2636k| 0 | 21 | 100 | 249 | 100 | 249 | 0 | 0 | 371 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.89/18.92 c 18.5s| 1 | 0 | 1524 | - |2636k| 0 | 21 | 100 | 249 | 100 | 249 | 0 | 0 | 372 | 5.000000e+00 | 6.000000e+00 | 20.00%
18.89/18.93 c 18.5s| 1 | 2 | 1524 | - |2637k| 0 | 21 | 100 | 249 | 100 | 249 | 0 | 0 | 373 | 5.000000e+00 | 6.000000e+00 | 20.00%
22.49/22.51 c 21.9s| 10000 | 12 | 1524 | 0.0 |2686k| 53 | - | 100 | 254 | 0 | 0 | 0 |3550 | 373 | 5.000000e+00 | 6.000000e+00 | 20.00%
26.29/26.30 c 25.4s| 20000 | 10 | 1524 | 0.0 |2691k| 53 | - | 100 | 264 | 0 | 0 | 0 |7990 | 373 | 5.000000e+00 | 6.000000e+00 | 20.00%
26.68/26.72 o 5
26.68/26.72 c *25.8s| 21164 | 0 | 1524 | 0.0 |2700k| 53 | - | 100 | 269 | 0 | 0 | 0 |8514 | 373 | 5.000000e+00 | 5.000000e+00 | 0.00%
26.68/26.72 c
26.68/26.72 c SCIP Status : problem is solved [optimal solution found]
26.68/26.72 c Solving Time (sec) : 25.83
26.68/26.72 c Solving Nodes : 21164 (total of 21170 nodes in 7 runs)
26.68/26.72 c Primal Bound : +5.00000000000000e+00 (9 solutions)
26.68/26.72 c Dual Bound : +5.00000000000000e+00
26.68/26.72 c Gap : 0.00 %
26.68/26.72 s OPTIMUM FOUND
26.68/26.72 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
26.68/26.72 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
26.68/26.72 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
26.68/26.72 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226
26.68/26.72 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
26.68/26.72 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
26.68/26.72 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
26.68/26.72 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142
26.68/26.72 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
26.68/26.72 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
26.68/26.72 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
26.68/26.72 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
26.68/26.72 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25
26.68/26.72 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
26.68/26.72 c SCIP Status : problem is solved [optimal solution found]
26.68/26.72 c Solving Time : 25.83
26.68/26.72 c Original Problem :
26.68/26.72 c Problem name : HOME/instance-2667491-1276415108.opb
26.68/26.72 c Variables : 309 (309 binary, 0 integer, 0 implicit integer, 0 continuous)
26.68/26.72 c Constraints : 963 initial, 963 maximal
26.68/26.72 c Presolved Problem :
26.68/26.72 c Problem name : t_HOME/instance-2667491-1276415108.opb
26.68/26.72 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
26.68/26.72 c Constraints : 249 initial, 367 maximal
26.68/26.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
26.68/26.72 c trivial : 0.00 209 0 0 0 0 0 0 0
26.68/26.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
26.68/26.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
26.68/26.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
26.68/26.72 c implics : 0.00 0 0 0 0 0 0 0 0
26.68/26.72 c probing : 0.00 0 0 0 0 0 0 0 0
26.68/26.72 c knapsack : 0.05 0 0 0 0 0 0 0 0
26.68/26.72 c linear : 0.05 0 0 0 0 0 4 3 0
26.68/26.72 c logicor : 0.11 0 0 0 0 0 559 0 0
26.68/26.72 c root node : - 215 - - 215 - - - -
26.68/26.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
26.68/26.72 c integral : 0 0 0 50 0 0 187 0 0 8
26.68/26.72 c knapsack : 10 6 48822 0 0 3188 0 0 0 0
26.68/26.72 c logicor : 239+ 22 26583 0 1 7757 32932 0 0 0
26.68/26.72 c countsols : 0 0 0 0 1 0 0 0 0 0
26.68/26.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
26.68/26.72 c integral : 12.31 0.00 0.00 12.31 0.00
26.68/26.72 c knapsack : 3.96 0.24 3.72 0.00 0.00
26.68/26.72 c logicor : 0.64 0.01 0.63 0.00 0.00
26.68/26.72 c countsols : 0.00 0.00 0.00 0.00 0.00
26.68/26.72 c Propagators : Time Calls Cutoffs DomReds
26.68/26.72 c vbounds : 0.01 8 0 0
26.68/26.72 c rootredcost : 0.02 0 0 0
26.68/26.72 c pseudoobj : 1.31 48993 152 505577
26.68/26.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
26.68/26.72 c propagation : 0.26 7909 7905 7905 10.6 613 9.7 -
26.68/26.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
26.68/26.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
26.68/26.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
26.68/26.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
26.68/26.72 c applied globally : - - - 8513 10.5 - - -
26.68/26.72 c applied locally : - - - 1 31.0 - - -
26.68/26.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
26.68/26.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
26.68/26.72 c redcost : 0.00 22 0 26 0 0
26.68/26.72 c impliedbounds : 0.00 22 0 0 0 0
26.68/26.72 c intobj : 0.00 0 0 0 0 0
26.68/26.72 c cgmip : 0.00 0 0 0 0 0
26.68/26.72 c gomory : 2.58 22 0 0 1500 0
26.68/26.72 c strongcg : 2.17 22 0 0 1999 0
26.68/26.72 c cmir : 0.20 16 0 0 0 0
26.68/26.72 c flowcover : 0.26 16 0 0 0 0
26.68/26.72 c clique : 0.00 7 0 0 0 0
26.68/26.72 c zerohalf : 0.00 0 0 0 0 0
26.68/26.72 c mcf : 0.01 7 0 0 0 0
26.68/26.72 c rapidlearning : 0.00 0 0 0 0 0
26.68/26.72 c Pricers : Time Calls Vars
26.68/26.72 c problem variables: 0.00 0 0
26.68/26.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
26.68/26.72 c relpscost : 12.31 50 0 187 0 0 8
26.68/26.72 c pscost : 0.00 0 0 0 0 0 0
26.68/26.72 c inference : 0.14 12546 0 0 0 0 25092
26.68/26.72 c mostinf : 0.00 0 0 0 0 0 0
26.68/26.72 c leastinf : 0.00 0 0 0 0 0 0
26.68/26.72 c fullstrong : 0.00 0 0 0 0 0 0
26.68/26.72 c allfullstrong : 0.00 0 0 0 0 0 0
26.68/26.72 c random : 0.00 0 0 0 0 0 0
26.68/26.72 c Primal Heuristics : Time Calls Found
26.68/26.72 c LP solutions : 0.00 - 0
26.68/26.72 c pseudo solutions : 0.00 - 1
26.68/26.72 c crossover : 0.00 0 0
26.68/26.72 c oneopt : 0.04 4 2
26.68/26.72 c trivial : 0.00 2 4
26.68/26.72 c simplerounding : 0.00 0 0
26.68/26.72 c zirounding : 0.00 2 0
26.68/26.72 c rounding : 0.01 63 0
26.68/26.72 c shifting : 0.02 63 1
26.68/26.72 c intshifting : 0.00 0 0
26.68/26.72 c twoopt : 0.00 0 0
26.68/26.72 c fixandinfer : 0.00 0 0
26.68/26.72 c feaspump : 0.00 0 0
26.68/26.72 c coefdiving : 0.00 0 0
26.68/26.72 c pscostdiving : 0.00 0 0
26.68/26.72 c fracdiving : 0.00 0 0
26.68/26.72 c veclendiving : 0.00 0 0
26.68/26.72 c intdiving : 0.00 0 0
26.68/26.72 c actconsdiving : 0.00 0 0
26.68/26.72 c objpscostdiving : 0.00 0 0
26.68/26.72 c rootsoldiving : 0.00 0 0
26.68/26.72 c linesearchdiving : 0.00 0 0
26.68/26.72 c guideddiving : 0.00 0 0
26.68/26.72 c octane : 0.00 0 0
26.68/26.72 c rens : 0.06 1 1
26.68/26.72 c rins : 0.00 0 0
26.68/26.72 c localbranching : 0.00 0 0
26.68/26.72 c mutation : 0.00 0 0
26.68/26.72 c dins : 0.00 0 0
26.68/26.72 c undercover : 0.00 0 0
26.68/26.72 c nlp : 0.00 0 0
26.68/26.72 c trysol : 0.00 0 0
26.68/26.72 c LP : Time Calls Iterations Iter/call Iter/sec
26.68/26.72 c primal LP : 0.00 0 0 0.00 -
26.68/26.72 c dual LP : 0.30 63 1524 24.19 5080.00
26.68/26.72 c lex dual LP : 0.00 0 0 0.00 -
26.68/26.72 c barrier LP : 0.00 0 0 0.00 -
26.68/26.72 c diving/probing LP: 0.00 0 0 0.00 -
26.68/26.72 c strong branching : 12.31 373 58134 155.86 4722.50
26.68/26.72 c (at root node) : - 373 58134 155.86 -
26.68/26.72 c conflict analysis: 0.00 0 0 0.00 -
26.68/26.72 c B&B Tree :
26.68/26.72 c number of runs : 7
26.68/26.72 c nodes : 21164
26.68/26.72 c nodes (total) : 21170
26.68/26.72 c nodes left : 0
26.68/26.72 c max depth : 53
26.68/26.72 c max depth (total): 53
26.68/26.72 c backtracks : 9192 (43.4%)
26.68/26.72 c delayed cutoffs : 3904
26.68/26.72 c repropagations : 16796 (118697 domain reductions, 2481 cutoffs)
26.68/26.72 c avg switch length: 3.00
26.68/26.72 c switching time : 0.74
26.68/26.72 c Solution :
26.68/26.72 c Solutions found : 9 (7 improvements)
26.68/26.72 c First Solution : +3.09000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
26.68/26.72 c Primal Bound : +5.00000000000000e+00 (in run 7, after 21164 nodes, 25.83 seconds, depth 32, found by <relaxation>)
26.68/26.72 c Dual Bound : +5.00000000000000e+00
26.68/26.72 c Gap : 0.00 %
26.68/26.72 c Root Dual Bound : +5.00000000000000e+00
26.68/26.72 c Root Iterations : 1524
26.68/26.73 c Time complete: 26.72.
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667491-1276415108/watcher-2667491-1276415108 -o /tmp/evaluation-result-2667491-1276415108/solver-2667491-1276415108 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667491-1276415108.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.85 0.97 0.99 3/106 23233 /proc/meminfo: memFree=1876120/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=8752 CPUtime=0 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 1300 0 0 0 0 0 0 0 20 0 1 0 17112140 8962048 1219 1992294400 4194304 8223781 140734441961872 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23233/statm: 2188 1229 348 984 0 1201 0 [startup+0.0967781 s] /proc/loadavg: 0.85 0.97 0.99 3/106 23233 /proc/meminfo: memFree=1876120/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=15892 CPUtime=0.09 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 3633 0 0 0 8 1 0 0 20 0 1 0 17112140 16273408 2931 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 3973 2931 441 984 0 2986 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15892 [startup+0.100779 s] /proc/loadavg: 0.85 0.97 0.99 3/106 23233 /proc/meminfo: memFree=1876120/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=15892 CPUtime=0.09 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 3633 0 0 0 8 1 0 0 20 0 1 0 17112140 16273408 2931 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 3973 2931 441 984 0 2986 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15892 [startup+0.300797 s] /proc/loadavg: 0.85 0.97 0.99 3/106 23233 /proc/meminfo: memFree=1876120/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=24812 CPUtime=0.29 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 6610 0 0 0 27 2 0 0 20 0 1 0 17112140 25407488 5246 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 6203 5246 535 984 0 5216 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24812 [startup+0.700836 s] /proc/loadavg: 0.85 0.97 0.99 3/106 23233 /proc/meminfo: memFree=1876120/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=31200 CPUtime=0.69 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 8466 0 0 0 65 4 0 0 21 0 1 0 17112140 31948800 6843 1992294400 4194304 8223781 140734441961872 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 7800 6843 562 984 0 6813 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31200 [startup+1.50091 s] /proc/loadavg: 0.85 0.97 0.99 2/107 23234 /proc/meminfo: memFree=1849948/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=35624 CPUtime=1.49 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 9535 0 0 0 144 5 0 0 23 0 1 0 17112140 36478976 7838 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 8906 7838 556 984 0 7919 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35624 [startup+3.10106 s] /proc/loadavg: 0.85 0.97 0.99 2/107 23234 /proc/meminfo: memFree=1844616/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=40480 CPUtime=3.09 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 14750 0 0 0 301 8 0 0 25 0 1 0 17112140 41451520 8997 1992294400 4194304 8223781 140734441961872 18446744073709551615 6031605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 10120 8997 584 984 0 9133 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40480 [startup+6.30036 s] /proc/loadavg: 0.86 0.97 0.99 2/107 23234 /proc/meminfo: memFree=1841268/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=40500 CPUtime=6.28 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 16720 0 0 0 618 10 0 0 25 0 1 0 17112140 41472000 9027 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 10125 9027 585 984 0 9138 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 40500 [startup+12.701 s] /proc/loadavg: 0.87 0.97 0.99 2/107 23234 /proc/meminfo: memFree=1840028/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=43320 CPUtime=12.69 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 26620 0 0 0 1248 21 0 0 25 0 1 0 17112140 44359680 9328 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 10830 9328 590 984 0 9843 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43320 [startup+25.5012 s] /proc/loadavg: 0.90 0.97 0.99 2/107 23234 /proc/meminfo: memFree=1840152/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=44448 CPUtime=25.48 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 38343 0 0 0 2472 76 0 0 25 0 1 0 17112140 45514752 9441 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 11112 9441 591 984 0 10125 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44448 Solver just ended. Dumping a history of the last processes samples [startup+26.3013 s] /proc/loadavg: 0.90 0.97 0.99 2/107 23234 /proc/meminfo: memFree=1840152/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=44580 CPUtime=26.29 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 38353 0 0 0 2549 80 0 0 25 0 1 0 17112140 45649920 9451 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 11145 9451 591 984 0 10158 0 Current children cumulated CPU time (s) 26.29 Current children cumulated vsize (KiB) 44580 [startup+26.7013 s] /proc/loadavg: 0.90 0.97 0.99 2/107 23234 /proc/meminfo: memFree=1840152/2059040 swapFree=4135780/4192956 [pid=23233] ppid=23231 vsize=44580 CPUtime=26.68 /proc/23233/stat : 23233 (pbscip.linux.x8) R 23231 23233 23208 0 -1 4202496 38355 0 0 0 2586 82 0 0 25 0 1 0 17112140 45649920 9453 1992294400 4194304 8223781 140734441961872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23233/statm: 11145 9453 591 984 0 10158 0 Current children cumulated CPU time (s) 26.68 Current children cumulated vsize (KiB) 44580 Child status: 0 Real time (s): 26.7369 CPU time (s): 26.7299 CPU user time (s): 25.8931 CPU system time (s): 0.836872 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 52796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.8931 system time used= 0.836872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38361 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 336 runsolver used 0.046992 second user time and 0.141978 second system time The end
Begin job on node015 at 2010-06-13 09:45:08 IDJOB=2667491 IDBENCH=2054 IDSOLVER=1169 FILE ID=node015/2667491-1276415108 PBS_JOBID= 11173294 Free space on /tmp= 62548 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-9sym.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-2667491-1276415108/watcher-2667491-1276415108 -o /tmp/evaluation-result-2667491-1276415108/solver-2667491-1276415108 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667491-1276415108.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 62bf49287e0493f2a3b22f3319db306d RANDOM SEED=1847774283 node015.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.244 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1876524 kB Buffers: 19084 kB Cached: 93536 kB SwapCached: 17296 kB Active: 48564 kB Inactive: 83872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1876524 kB SwapTotal: 4192956 kB SwapFree: 4135780 kB Dirty: 4908 kB Writeback: 0 kB AnonPages: 11220 kB Mapped: 9092 kB Slab: 28108 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180068 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= 62544 MiB End job on node015 at 2010-06-13 09:45:35