| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.32 | 1790.04 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb |
| MD5SUM | e92d33933b84b1c0ca9ffa19c28f7edc |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 3.36849 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 370 |
| Total number of constraints | 557 |
| Number of constraints which are clauses | 313 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 242 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 121 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703972-1278548250.opb>
0.00/0.02 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 impls, 0 clqs
0.00/0.06 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.07 c (round 3) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.07 c (round 4) 8 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.07 c presolving (5 rounds):
0.00/0.07 c 8 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 12226 implications, 0 cliques
0.00/0.07 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.00/0.07 c 244 constraints of type <knapsack>
0.00/0.07 c 181 constraints of type <setppc>
0.00/0.07 c 120 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.04
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 1.2.1.3
0.00/0.07 c
0.00/0.07 c # frequency for displaying node information lines
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07 c display/freq = 10000
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = 1789.99
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = 1620
0.00/0.07 c
0.00/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c limits/solutions = 1
0.00/0.07 c
0.00/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.07 c separating/maxrounds = 1
0.00/0.07 c
0.00/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/maxroundsroot = 5
0.00/0.07 c
0.00/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.07 c # [type: int, range: [1,2], default: 1]
0.00/0.07 c timing/clocktype = 2
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify inequalities
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/linear/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/indicator/addCouplingCons = TRUE
0.00/0.07 c
0.00/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.07 c constraints/knapsack/disaggregation = FALSE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify knapsacks
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c presolving/probing/maxrounds = 0
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/coefdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.07 c heuristics/crossover/freq = -1
0.00/0.07 c
0.00/0.07 c # number of nodes added to the contingent of the total nodes
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.07 c heuristics/crossover/nodesofs = 750
0.00/0.07 c
0.00/0.07 c # number of nodes without incumbent change that heuristic should wait
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.07 c heuristics/crossover/nwaitingnodes = 100
0.00/0.07 c
0.00/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.07 c # [type: real, range: [0,1], default: 0.1]
0.00/0.07 c heuristics/crossover/nodesquot = 0.15
0.00/0.07 c
0.00/0.07 c # minimum percentage of integer variables that have to be fixed
0.00/0.07 c # [type: real, range: [0,1], default: 0.666]
0.00/0.07 c heuristics/crossover/minfixingrate = 0.5
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/feaspump/freq = -1
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/fracdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/guideddiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/intshifting/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/linesearchdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/nlp/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/objpscostdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.07 c # [type: real, range: [0,1], default: 0.01]
0.00/0.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/oneopt/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/pscostdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c heuristics/rens/freq = -1
0.00/0.07 c
0.00/0.07 c # minimum percentage of integer variables that have to be fixable
0.00/0.07 c # [type: real, range: [0,1], default: 0.5]
0.00/0.07 c heuristics/rens/minfixingrate = 0.3
0.00/0.07 c
0.00/0.07 c # number of nodes added to the contingent of the total nodes
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.07 c heuristics/rens/nodesofs = 2000
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/rootsoldiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/rounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/shifting/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/simplerounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c heuristics/trivial/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/trysol/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/veclendiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/zirounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c separating/cmir/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c separating/flowcover/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.08/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.09 c 0.1s| 1 | 0 | 154 | - |2268k| 0 | 91 | 362 | 545 | 362 | 545 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 362 | - |2859k| 0 | 155 | 362 | 545 | 362 | 802 | 257 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.58 c 0.6s| 1 | 0 | 540 | - |4392k| 0 | 201 | 362 | 545 | 362 | 948 | 403 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.81 c 0.8s| 1 | 0 | 687 | - |6211k| 0 | 204 | 362 | 545 | 362 | 975 | 430 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.17 c 1.2s| 1 | 0 | 922 | - |8492k| 0 | 201 | 362 | 545 | 362 |1012 | 467 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.52 c 1.5s| 1 | 0 | 1033 | - | 10M| 0 | 208 | 362 | 545 | 362 |1063 | 518 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.49 c 2.5s| 1 | 2 | 1033 | - | 10M| 0 | 208 | 362 | 545 | 362 |1063 | 518 | 0 | 10 | 0.000000e+00 | -- | Inf
27.98/28.07 c 28.0s| 10000 | 97 | 94906 | 9.4 | 11M| 41 | - | 362 |1137 | 0 | 0 | 518 | 815 |2149 | 0.000000e+00 | -- | Inf
46.47/46.51 c 46.5s| 20000 | 115 |190372 | 9.5 | 11M| 44 | 34 | 362 |1377 | 362 | 687 | 518 |1686 |2315 | 0.000000e+00 | -- | Inf
65.77/65.81 c 65.8s| 30000 | 144 |285657 | 9.5 | 11M| 44 | - | 362 |1586 | 0 | 0 | 518 |2427 |2825 | 0.000000e+00 | -- | Inf
85.16/85.23 c 85.2s| 40000 | 152 |379535 | 9.5 | 11M| 46 | - | 362 |1627 | 362 | 687 | 518 |3325 |3350 | 0.000000e+00 | -- | Inf
103.75/103.85 c 104s| 50000 | 165 |468951 | 9.4 | 11M| 46 | 48 | 362 |1790 | 362 | 687 | 518 |4034 |3800 | 0.000000e+00 | -- | Inf
124.45/124.59 c 125s| 60000 | 173 |572729 | 9.5 | 12M| 46 | 52 | 362 |1931 | 362 | 687 | 518 |4992 |4212 | 0.000000e+00 | -- | Inf
142.84/142.99 c 143s| 70000 | 175 |662373 | 9.4 | 12M| 50 | - | 362 |2091 | 0 | 0 | 518 |5898 |4503 | 0.000000e+00 | -- | Inf
162.23/162.31 c 162s| 80000 | 182 |756885 | 9.4 | 12M| 50 | 20 | 362 |2226 | 362 | 687 | 518 |6657 |4878 | 0.000000e+00 | -- | Inf
180.82/180.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.82/180.90 c 181s| 90000 | 184 |847433 | 9.4 | 12M| 50 | 27 | 362 |2182 | 362 | 687 | 518 |7436 |5209 | 0.000000e+00 | -- | Inf
201.12/201.23 c 201s|100000 | 184 |948259 | 9.5 | 12M| 50 | - | 362 |2385 | 0 | 0 | 518 |8339 |5559 | 0.000000e+00 | -- | Inf
222.11/222.26 c 222s|110000 | 207 | 1054k| 9.6 | 12M| 50 | - | 362 |2191 | 362 | 687 | 518 |9234 |5815 | 0.000000e+00 | -- | Inf
243.00/243.13 c 243s|120000 | 203 | 1159k| 9.7 | 12M| 51 | - | 362 |2038 | 0 | 0 | 518 |9921 |6143 | 0.000000e+00 | -- | Inf
262.88/263.07 c 263s|130000 | 225 | 1262k| 9.7 | 12M| 51 | 29 | 362 |2124 | 362 | 687 | 518 | 10k|6370 | 0.000000e+00 | -- | Inf
283.38/283.56 c 284s|140000 | 220 | 1365k| 9.7 | 12M| 51 | 48 | 362 |2023 | 362 | 687 | 518 | 11k|6670 | 0.000000e+00 | -- | Inf
300.57/300.73 c 301s|150000 | 226 | 1451k| 9.7 | 12M| 51 | - | 362 |2146 | 362 | 687 | 518 | 11k|6859 | 0.000000e+00 | -- | Inf
320.26/320.44 c 320s|160000 | 236 | 1551k| 9.7 | 12M| 51 | - | 362 |2330 | 0 | 0 | 518 | 12k|7073 | 0.000000e+00 | -- | Inf
341.86/342.08 c 342s|170000 | 283 | 1663k| 9.8 | 12M| 51 | - | 362 |2633 | 362 | 687 | 518 | 13k|7275 | 0.000000e+00 | -- | Inf
362.24/362.45 c 362s|180000 | 311 | 1766k| 9.8 | 12M| 51 | - | 362 |2770 | 362 | 687 | 518 | 13k|7474 | 0.000000e+00 | -- | Inf
382.24/382.44 c 382s|190000 | 301 | 1866k| 9.8 | 12M| 51 | 40 | 362 |2383 | 362 | 687 | 518 | 14k|7752 | 0.000000e+00 | -- | Inf
402.53/402.77 c 403s|200000 | 316 | 1966k| 9.8 | 12M| 51 | - | 362 |2662 | 362 | 687 | 518 | 15k|8041 | 0.000000e+00 | -- | Inf
423.52/423.70 c 424s|210000 | 310 | 2072k| 9.9 | 13M| 53 | 39 | 362 |2864 | 362 | 687 | 518 | 16k|8228 | 0.000000e+00 | -- | Inf
444.72/444.97 c 445s|220000 | 347 | 2180k| 9.9 | 13M| 53 | 22 | 362 |2900 | 362 | 687 | 518 | 16k|8408 | 0.000000e+00 | -- | Inf
466.40/466.67 c 467s|230000 | 372 | 2281k| 9.9 | 13M| 57 | - | 362 |2497 | 362 | 687 | 518 | 17k|9007 | 0.000000e+00 | -- | Inf
487.80/488.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.80/488.02 c 488s|240000 | 367 | 2391k| 10.0 | 12M| 57 | 26 | 362 |2100 | 362 | 687 | 518 | 18k|9180 | 0.000000e+00 | -- | Inf
504.99/505.21 c 505s|250000 | 362 | 2477k| 9.9 | 13M| 57 | - | 362 |2304 | 0 | 0 | 518 | 18k|9338 | 0.000000e+00 | -- | Inf
522.19/522.50 c 522s|260000 | 367 | 2562k| 9.9 | 13M| 57 | 29 | 362 |2321 | 362 | 687 | 518 | 19k|9480 | 0.000000e+00 | -- | Inf
541.08/541.30 c 541s|270000 | 358 | 2659k| 9.8 | 13M| 57 | 35 | 362 |2488 | 362 | 687 | 518 | 20k|9562 | 0.000000e+00 | -- | Inf
563.47/563.78 c 564s|280000 | 353 | 2775k| 9.9 | 12M| 57 | 47 | 362 |1904 | 362 | 687 | 518 | 21k|9813 | 0.000000e+00 | -- | Inf
584.16/584.41 c 584s|290000 | 347 | 2882k| 9.9 | 12M| 57 | 32 | 362 |2013 | 362 | 687 | 518 | 21k| 10k| 0.000000e+00 | -- | Inf
603.85/604.18 c 604s|300000 | 343 | 2983k| 9.9 | 12M| 57 | - | 362 |2164 | 362 | 687 | 518 | 22k| 10k| 0.000000e+00 | -- | Inf
623.84/624.11 c 624s|310000 | 356 | 3085k| 10.0 | 13M| 57 | - | 362 |2529 | 0 | 0 | 518 | 23k| 10k| 0.000000e+00 | -- | Inf
646.83/647.18 c 647s|320000 | 355 | 3207k| 10.0 | 13M| 57 | 41 | 362 |2515 | 362 | 687 | 518 | 23k| 10k| 0.000000e+00 | -- | Inf
664.22/664.59 c 665s|330000 | 365 | 3293k| 10.0 | 13M| 57 | 34 | 362 |2809 | 362 | 687 | 518 | 24k| 10k| 0.000000e+00 | -- | Inf
682.82/683.15 c 683s|340000 | 365 | 3387k| 10.0 | 13M| 57 | 40 | 362 |2955 | 362 | 687 | 518 | 25k| 10k| 0.000000e+00 | -- | Inf
702.21/702.53 c 703s|350000 | 375 | 3483k| 9.9 | 13M| 57 | - | 362 |3037 | 0 | 0 | 518 | 26k| 10k| 0.000000e+00 | -- | Inf
723.10/723.48 c 723s|360000 | 369 | 3584k| 10.0 | 13M| 57 | - | 362 |2798 | 362 | 687 | 518 | 26k| 11k| 0.000000e+00 | -- | Inf
743.20/743.58 c 744s|370000 | 374 | 3688k| 10.0 | 13M| 59 | - | 362 |2964 | 0 | 0 | 518 | 27k| 11k| 0.000000e+00 | -- | Inf
762.99/763.32 c 763s|380000 | 380 | 3787k| 10.0 | 13M| 59 | - | 362 |3219 | 0 | 0 | 518 | 28k| 11k| 0.000000e+00 | -- | Inf
784.68/785.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.68/785.07 c 785s|390000 | 366 | 3897k| 10.0 | 13M| 59 | 52 | 362 |2985 | 362 | 687 | 518 | 29k| 11k| 0.000000e+00 | -- | Inf
803.67/804.10 c 804s|400000 | 379 | 3993k| 10.0 | 13M| 59 | 24 | 362 |2926 | 362 | 687 | 518 | 29k| 11k| 0.000000e+00 | -- | Inf
822.86/823.28 c 823s|410000 | 380 | 4090k| 10.0 | 13M| 59 | - | 362 |2864 | 0 | 0 | 518 | 30k| 11k| 0.000000e+00 | -- | Inf
842.85/843.26 c 843s|420000 | 361 | 4190k| 10.0 | 13M| 59 | 32 | 362 |2669 | 362 | 687 | 518 | 30k| 12k| 0.000000e+00 | -- | Inf
863.34/863.77 c 864s|430000 | 348 | 4292k| 10.0 | 13M| 59 | - | 362 |2674 | 362 | 687 | 518 | 31k| 12k| 0.000000e+00 | -- | Inf
884.53/884.92 c 885s|440000 | 342 | 4400k| 10.0 | 13M| 62 | 29 | 362 |2706 | 362 | 687 | 518 | 32k| 12k| 0.000000e+00 | -- | Inf
903.33/903.74 c 904s|450000 | 353 | 4496k| 10.0 | 13M| 62 | 39 | 362 |2517 | 362 | 687 | 518 | 33k| 12k| 0.000000e+00 | -- | Inf
922.52/922.98 c 923s|460000 | 351 | 4593k| 10.0 | 13M| 62 | 33 | 362 |2620 | 362 | 687 | 518 | 33k| 12k| 0.000000e+00 | -- | Inf
944.21/944.64 c 945s|470000 | 320 | 4703k| 10.0 | 13M| 62 | 44 | 362 |2330 | 362 | 687 | 518 | 34k| 12k| 0.000000e+00 | -- | Inf
965.60/966.07 c 966s|480000 | 325 | 4813k| 10.0 | 13M| 62 | 51 | 362 |2606 | 362 | 687 | 518 | 35k| 12k| 0.000000e+00 | -- | Inf
983.79/984.28 c 984s|490000 | 313 | 4904k| 10.0 | 13M| 62 | - | 362 |2712 | 0 | 0 | 518 | 36k| 13k| 0.000000e+00 | -- | Inf
1002.79/1003.25 c 1003s|500000 | 320 | 4998k| 10.0 | 13M| 62 | 28 | 362 |2454 | 362 | 687 | 518 | 36k| 13k| 0.000000e+00 | -- | Inf
1025.07/1025.50 c 1025s|510000 | 321 | 5116k| 10.0 | 13M| 62 | - | 362 |2441 | 0 | 0 | 518 | 37k| 13k| 0.000000e+00 | -- | Inf
1046.67/1047.17 c 1047s|520000 | 346 | 5229k| 10.1 | 13M| 62 | 40 | 362 |2551 | 362 | 687 | 518 | 37k| 13k| 0.000000e+00 | -- | Inf
1061.07/1061.57 c 1062s|530000 | 355 | 5298k| 10.0 | 13M| 62 | 28 | 362 |2766 | 362 | 687 | 518 | 38k| 13k| 0.000000e+00 | -- | Inf
1077.35/1077.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1077.35/1077.87 c 1078s|540000 | 359 | 5377k| 10.0 | 13M| 62 | 16 | 362 |2815 | 362 | 687 | 518 | 39k| 13k| 0.000000e+00 | -- | Inf
1096.75/1097.28 c 1097s|550000 | 339 | 5474k| 10.0 | 13M| 62 | 32 | 362 |2816 | 362 | 687 | 518 | 39k| 13k| 0.000000e+00 | -- | Inf
1116.54/1117.04 c 1117s|560000 | 340 | 5574k| 10.0 | 13M| 62 | 27 | 362 |3185 | 362 | 687 | 518 | 40k| 13k| 0.000000e+00 | -- | Inf
1137.03/1137.51 c 1137s|570000 | 321 | 5676k| 10.0 | 13M| 62 | 23 | 362 |2746 | 362 | 687 | 518 | 41k| 13k| 0.000000e+00 | -- | Inf
1157.73/1158.25 c 1158s|580000 | 303 | 5782k| 10.0 | 13M| 62 | - | 362 |2692 | 362 | 687 | 518 | 42k| 14k| 0.000000e+00 | -- | Inf
1177.42/1177.94 c 1178s|590000 | 314 | 5884k| 10.0 | 13M| 62 | - | 362 |2796 | 0 | 0 | 518 | 42k| 14k| 0.000000e+00 | -- | Inf
1198.70/1199.25 c 1199s|600000 | 312 | 5991k| 10.0 | 13M| 62 | 37 | 362 |2765 | 362 | 687 | 518 | 43k| 14k| 0.000000e+00 | -- | Inf
1220.80/1221.35 c 1221s|610000 | 325 | 6106k| 10.0 | 13M| 62 | - | 362 |3026 | 0 | 0 | 518 | 44k| 14k| 0.000000e+00 | -- | Inf
1241.79/1242.33 c 1242s|620000 | 318 | 6211k| 10.0 | 13M| 62 | 27 | 362 |3016 | 362 | 687 | 518 | 45k| 14k| 0.000000e+00 | -- | Inf
1261.88/1262.45 c 1262s|630000 | 329 | 6314k| 10.0 | 13M| 62 | - | 362 |3218 | 362 | 687 | 518 | 45k| 14k| 0.000000e+00 | -- | Inf
1283.18/1283.72 c 1284s|640000 | 341 | 6424k| 10.0 | 13M| 62 | - | 362 |3374 | 362 | 687 | 518 | 46k| 14k| 0.000000e+00 | -- | Inf
1302.47/1303.00 c 1303s|650000 | 336 | 6522k| 10.0 | 13M| 62 | 29 | 362 |3492 | 362 | 687 | 518 | 46k| 14k| 0.000000e+00 | -- | Inf
1322.85/1323.50 c 1323s|660000 | 358 | 6628k| 10.0 | 13M| 62 | - | 362 |3500 | 362 | 687 | 518 | 47k| 14k| 0.000000e+00 | -- | Inf
1344.05/1344.66 c 1345s|670000 | 355 | 6737k| 10.1 | 13M| 62 | 53 | 362 |3494 | 362 | 687 | 518 | 47k| 14k| 0.000000e+00 | -- | Inf
1364.84/1365.43 c 1365s|680000 | 377 | 6843k| 10.1 | 13M| 62 | 32 | 362 |3328 | 362 | 687 | 518 | 48k| 15k| 0.000000e+00 | -- | Inf
1384.63/1385.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.63/1385.21 c 1385s|690000 | 375 | 6943k| 10.1 | 13M| 62 | 42 | 362 |3532 | 362 | 687 | 518 | 48k| 15k| 0.000000e+00 | -- | Inf
1405.33/1405.97 c 1406s|700000 | 395 | 7050k| 10.1 | 13M| 62 | - | 362 |3632 | 0 | 0 | 518 | 48k| 15k| 0.000000e+00 | -- | Inf
1426.13/1426.79 c 1427s|710000 | 393 | 7157k| 10.1 | 13M| 62 | - | 362 |3673 | 362 | 687 | 518 | 49k| 15k| 0.000000e+00 | -- | Inf
1446.91/1447.54 c 1448s|720000 | 383 | 7262k| 10.1 | 13M| 62 | - | 362 |3774 | 0 | 0 | 518 | 49k| 15k| 0.000000e+00 | -- | Inf
1467.90/1468.55 c 1469s|730000 | 374 | 7369k| 10.1 | 13M| 62 | 31 | 362 |3708 | 362 | 687 | 518 | 50k| 15k| 0.000000e+00 | -- | Inf
1490.59/1491.22 c 1491s|740000 | 364 | 7483k| 10.1 | 13M| 62 | 32 | 362 |3013 | 362 | 687 | 518 | 50k| 15k| 0.000000e+00 | -- | Inf
1510.69/1511.40 c 1511s|750000 | 364 | 7586k| 10.1 | 13M| 62 | - | 362 |2948 | 362 | 687 | 518 | 51k| 15k| 0.000000e+00 | -- | Inf
1532.07/1532.73 c 1533s|760000 | 361 | 7698k| 10.1 | 13M| 62 | - | 362 |2903 | 0 | 0 | 518 | 51k| 15k| 0.000000e+00 | -- | Inf
1554.27/1554.93 c 1555s|770000 | 371 | 7812k| 10.1 | 13M| 62 | 55 | 362 |3005 | 362 | 687 | 518 | 52k| 16k| 0.000000e+00 | -- | Inf
1573.06/1573.77 c 1574s|780000 | 370 | 7905k| 10.1 | 13M| 62 | - | 362 |3273 | 0 | 0 | 518 | 52k| 16k| 0.000000e+00 | -- | Inf
1591.95/1592.69 c 1593s|790000 | 366 | 7999k| 10.1 | 13M| 62 | - | 362 |3198 | 362 | 687 | 518 | 53k| 16k| 0.000000e+00 | -- | Inf
1614.34/1615.00 c 1615s|800000 | 372 | 8107k| 10.1 | 13M| 62 | 41 | 362 |2599 | 362 | 687 | 518 | 54k| 16k| 0.000000e+00 | -- | Inf
1633.53/1634.20 c 1634s|810000 | 371 | 8206k| 10.1 | 13M| 62 | 40 | 362 |2832 | 362 | 687 | 518 | 54k| 16k| 0.000000e+00 | -- | Inf
1653.43/1654.17 c 1654s|820000 | 365 | 8310k| 10.1 | 13M| 62 | - | 362 |2153 | 0 | 0 | 518 | 55k| 16k| 0.000000e+00 | -- | Inf
1673.71/1674.46 c 1674s|830000 | 373 | 8415k| 10.1 | 13M| 62 | - | 362 |2387 | 0 | 0 | 518 | 55k| 16k| 0.000000e+00 | -- | Inf
1694.51/1695.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.51/1695.29 c 1695s|840000 | 376 | 8524k| 10.1 | 13M| 62 | - | 362 |2496 | 362 | 687 | 518 | 56k| 16k| 0.000000e+00 | -- | Inf
1715.59/1716.31 c 1716s|850000 | 364 | 8634k| 10.2 | 13M| 62 | - | 362 |2361 | 362 | 687 | 518 | 56k| 16k| 0.000000e+00 | -- | Inf
1738.29/1739.04 c 1739s|860000 | 371 | 8753k| 10.2 | 13M| 62 | - | 362 |2240 | 0 | 0 | 518 | 57k| 17k| 0.000000e+00 | -- | Inf
1759.78/1760.52 c 1760s|870000 | 366 | 8864k| 10.2 | 13M| 62 | 33 | 362 |2186 | 362 | 687 | 518 | 58k| 17k| 0.000000e+00 | -- | Inf
1789.27/1790.01 c
1789.27/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.27/1790.01 c Solving Time (sec) : 1789.99
1789.27/1790.01 c Solving Nodes : 877630
1789.27/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.27/1790.01 c Dual Bound : +0.00000000000000e+00
1789.27/1790.01 c Gap : infinite
1789.27/1790.01 s UNKNOWN
1789.27/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.27/1790.01 c Solving Time : 1789.99
1789.27/1790.01 c Original Problem :
1789.27/1790.01 c Problem name : HOME/instance-2703972-1278548250.opb
1789.27/1790.01 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.27/1790.01 c Constraints : 557 initial, 557 maximal
1789.27/1790.01 c Presolved Problem :
1789.27/1790.01 c Problem name : t_HOME/instance-2703972-1278548250.opb
1789.27/1790.01 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.27/1790.01 c Constraints : 545 initial, 3805 maximal
1789.27/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.27/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c implics : 0.00 0 8 0 0 0 0 0 0
1789.27/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c knapsack : 0.02 0 0 0 0 0 0 0 0
1789.27/1790.01 c setppc : 0.00 0 0 0 0 0 12 0 0
1789.27/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c root node : - 0 - - 0 - - - -
1789.27/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.27/1790.01 c integral : 0 0 0 442338 0 514 2721 0 0 879908
1789.27/1790.01 c knapsack : 244 5 2172425 0 1 281519 8245758 535 0 0
1789.27/1790.01 c setppc : 181 5 1869769 0 1 1103 2443958 0 0 0
1789.27/1790.01 c logicor : 120+ 5 1423924 0 1 5939 1449717 0 0 0
1789.27/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.27/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.27/1790.01 c integral : 78.22 0.00 0.00 78.22 0.00
1789.27/1790.01 c knapsack : 86.76 0.03 86.73 0.00 0.00
1789.27/1790.01 c setppc : 14.40 0.00 14.40 0.00 0.00
1789.27/1790.01 c logicor : 40.84 0.00 40.84 0.00 0.00
1789.27/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.27/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.27/1790.01 c vbounds : 0.98 1 0 0
1789.27/1790.01 c rootredcost : 1.20 0 0 0
1789.27/1790.01 c pseudoobj : 0.76 0 0 0
1789.27/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.27/1790.01 c propagation : 13.64 42610 38602 270101 75.7 330 81.1 -
1789.27/1790.01 c infeasible LP : 37.14 150451 0 0 0.0 0 0.0 0
1789.27/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.27/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.27/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.27/1790.01 c applied globally : - - - 57773 20.3 - - -
1789.27/1790.01 c applied locally : - - - 652 42.1 - - -
1789.27/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.27/1790.01 c cut pool : 0.01 4 - - 86 - (maximal pool size: 2129)
1789.27/1790.01 c redcost : 4.98 441559 0 0 0 0
1789.27/1790.01 c impliedbounds : 0.00 5 0 0 833 0
1789.27/1790.01 c intobj : 0.00 0 0 0 0 0
1789.27/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.27/1790.01 c gomory : 0.45 5 0 0 464 0
1789.27/1790.01 c strongcg : 0.48 5 0 0 2243 0
1789.27/1790.01 c cmir : 0.00 0 0 0 0 0
1789.27/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.27/1790.01 c clique : 0.01 1 0 0 0 0
1789.27/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.27/1790.01 c mcf : 0.00 1 0 0 0 0
1789.27/1790.01 c rapidlearning : 0.14 1 0 0 0 0
1789.27/1790.01 c Pricers : Time Calls Vars
1789.27/1790.01 c problem variables: 0.00 0 0
1789.27/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.27/1790.01 c relpscost : 77.55 442338 514 2721 0 0 879908
1789.27/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.27/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.27/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.27/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.27/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.27/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.27/1790.01 c random : 0.00 0 0 0 0 0 0
1789.27/1790.01 c Primal Heuristics : Time Calls Found
1789.27/1790.01 c LP solutions : 0.00 - 0
1789.27/1790.01 c pseudo solutions : 0.00 - 0
1789.27/1790.01 c trivial : 0.00 1 0
1789.27/1790.01 c simplerounding : 0.00 0 0
1789.27/1790.01 c zirounding : 0.00 0 0
1789.27/1790.01 c rounding : 0.00 0 0
1789.27/1790.01 c shifting : 0.00 0 0
1789.27/1790.01 c intshifting : 0.00 0 0
1789.27/1790.01 c oneopt : 0.00 0 0
1789.27/1790.01 c twoopt : 0.00 0 0
1789.27/1790.01 c fixandinfer : 0.00 0 0
1789.27/1790.01 c feaspump : 0.00 0 0
1789.27/1790.01 c coefdiving : 0.00 0 0
1789.27/1790.01 c pscostdiving : 0.00 0 0
1789.27/1790.01 c fracdiving : 0.00 0 0
1789.27/1790.01 c veclendiving : 0.00 0 0
1789.27/1790.01 c intdiving : 0.00 0 0
1789.27/1790.01 c actconsdiving : 0.00 0 0
1789.27/1790.01 c objpscostdiving : 0.00 0 0
1789.27/1790.01 c rootsoldiving : 0.00 0 0
1789.27/1790.01 c linesearchdiving : 0.00 0 0
1789.27/1790.01 c guideddiving : 0.00 0 0
1789.27/1790.01 c octane : 0.00 0 0
1789.27/1790.01 c rens : 0.00 0 0
1789.27/1790.01 c rins : 0.00 0 0
1789.27/1790.01 c localbranching : 0.00 0 0
1789.27/1790.01 c mutation : 0.00 0 0
1789.27/1790.01 c crossover : 0.00 0 0
1789.27/1790.01 c dins : 0.00 0 0
1789.27/1790.01 c undercover : 0.00 0 0
1789.27/1790.01 c nlp : 0.00 0 0
1789.27/1790.01 c trysol : 0.00 0 0
1789.27/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.27/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.27/1790.01 c dual LP : 1303.81 592070 8941300 15.10 6857.81
1789.27/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.27/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.27/1790.01 c diving/probing LP: 0.00 0 0 0.00 -
1789.27/1790.01 c strong branching : 64.28 21537 339350 15.76 5278.92
1789.27/1790.01 c (at root node) : - 10 2735 273.50 -
1789.27/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.27/1790.01 c B&B Tree :
1789.27/1790.01 c number of runs : 1
1789.27/1790.01 c nodes : 877630
1789.27/1790.01 c nodes (total) : 877630
1789.27/1790.01 c nodes left : 374
1789.27/1790.01 c max depth : 62
1789.27/1790.01 c max depth (total): 62
1789.27/1790.01 c backtracks : 111655 (12.7%)
1789.27/1790.01 c delayed cutoffs : 1907
1789.27/1790.01 c repropagations : 83163 (185942 domain reductions, 1851 cutoffs)
1789.27/1790.01 c avg switch length: 2.81
1789.27/1790.01 c switching time : 76.06
1789.27/1790.01 c Solution :
1789.27/1790.01 c Solutions found : 0 (0 improvements)
1789.27/1790.01 c Primal Bound : -
1789.27/1790.01 c Dual Bound : +0.00000000000000e+00
1789.27/1790.01 c Gap : infinite
1789.27/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.27/1790.01 c Root Iterations : 1033
1789.27/1790.03 c Time complete: 1789.31.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703972-1278548250/watcher-2703972-1278548250 -o /tmp/evaluation-result-2703972-1278548250/solver-2703972-1278548250 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703972-1278548250.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.08 1.04 0.87 3/106 28603 /proc/meminfo: memFree=1633796/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=7904 CPUtime=0 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 1054 0 0 0 0 0 0 0 20 0 1 0 23038136 8093696 966 1992294400 4194304 8395647 140733977410224 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28603/statm: 1976 975 365 1026 0 946 0 [startup+0.0889741 s] /proc/loadavg: 1.08 1.04 0.87 3/106 28603 /proc/meminfo: memFree=1633796/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=17512 CPUtime=0.08 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 3893 0 0 0 7 1 0 0 20 0 1 0 23038136 17932288 3444 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 4378 3444 571 1026 0 3348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17512 [startup+0.101977 s] /proc/loadavg: 1.08 1.04 0.87 3/106 28603 /proc/meminfo: memFree=1633796/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=17828 CPUtime=0.09 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 4009 0 0 0 8 1 0 0 20 0 1 0 23038136 18255872 3560 1992294400 4194304 8395647 140733977410224 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 4457 3561 597 1026 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17828 [startup+0.30102 s] /proc/loadavg: 1.08 1.04 0.87 3/106 28603 /proc/meminfo: memFree=1633796/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=26172 CPUtime=0.29 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 6798 0 0 0 27 2 0 0 20 0 1 0 23038136 26800128 5618 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 6543 5618 624 1026 0 5513 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26172 [startup+0.701105 s] /proc/loadavg: 1.08 1.04 0.87 3/106 28603 /proc/meminfo: memFree=1633796/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=26172 CPUtime=0.69 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 6917 0 0 0 67 2 0 0 20 0 1 0 23038136 26800128 5719 1992294400 4194304 8395647 140733977410224 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 6543 5719 624 1026 0 5513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26172 [startup+1.50128 s] /proc/loadavg: 1.08 1.04 0.87 2/107 28604 /proc/meminfo: memFree=1611592/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=34628 CPUtime=1.49 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9024 0 0 0 146 3 0 0 22 0 1 0 23038136 35459072 7821 1992294400 4194304 8395647 140733977410224 18446744073709551615 6697090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8657 7821 624 1026 0 7627 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34628 [startup+3.10162 s] /proc/loadavg: 1.08 1.04 0.87 2/107 28604 /proc/meminfo: memFree=1604648/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=34760 CPUtime=3.09 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9056 0 0 0 304 5 0 0 25 0 1 0 23038136 35594240 7853 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8690 7853 625 1026 0 7660 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34760 [startup+6.3003 s] /proc/loadavg: 1.15 1.06 0.87 2/107 28604 /proc/meminfo: memFree=1604152/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=34760 CPUtime=6.29 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9058 0 0 0 618 11 0 0 25 0 1 0 23038136 35594240 7855 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8690 7855 627 1026 0 7660 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34760 [startup+12.7007 s] /proc/loadavg: 1.14 1.05 0.87 2/107 28604 /proc/meminfo: memFree=1604152/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=34760 CPUtime=12.69 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9058 0 0 0 1244 25 0 0 25 0 1 0 23038136 35594240 7855 1992294400 4194304 8395647 140733977410224 18446744073709551615 6574038 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8690 7855 627 1026 0 7660 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34760 [startup+25.5014 s] /proc/loadavg: 1.11 1.05 0.87 2/107 28605 /proc/meminfo: memFree=1604152/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=34760 CPUtime=25.49 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9059 0 0 0 2501 48 0 0 25 0 1 0 23038136 35594240 7856 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8690 7856 627 1026 0 7660 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34760 [startup+51.1008 s] /proc/loadavg: 1.07 1.05 0.88 2/107 28606 /proc/meminfo: memFree=1603904/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=35088 CPUtime=51.07 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9147 0 0 0 5011 96 0 0 25 0 1 0 23038136 35930112 7944 1992294400 4194304 8395647 140733977410224 18446744073709551615 6586862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8772 7944 627 1026 0 7742 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35088 [startup+102.308 s] /proc/loadavg: 1.09 1.05 0.89 2/107 28610 /proc/meminfo: memFree=1603036/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=35516 CPUtime=102.25 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9259 0 0 0 10032 193 0 0 25 0 1 0 23038136 36368384 8056 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8879 8056 627 1026 0 7849 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 35516 [startup+162.302 s] /proc/loadavg: 1.03 1.04 0.89 2/107 28611 /proc/meminfo: memFree=1602788/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=35776 CPUtime=162.23 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9336 0 0 0 15915 308 0 0 25 0 1 0 23038136 36634624 8133 1992294400 4194304 8395647 140733977410224 18446744073709551615 6622117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 8944 8133 627 1026 0 7914 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 35776 [startup+222.301 s] /proc/loadavg: 1.01 1.03 0.90 2/107 28613 /proc/meminfo: memFree=1602292/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=36268 CPUtime=222.21 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9447 0 0 0 21808 413 0 0 25 0 1 0 23038136 37138432 8244 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9067 8244 627 1026 0 8037 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 36268 [startup+282.301 s] /proc/loadavg: 1.00 1.02 0.90 2/107 28615 /proc/meminfo: memFree=1602168/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=36400 CPUtime=282.17 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9477 0 0 0 27696 521 0 0 25 0 1 0 23038136 37273600 8274 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9100 8274 627 1026 0 8070 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 36400 [startup+342.301 s] /proc/loadavg: 1.00 1.02 0.91 2/107 28617 /proc/meminfo: memFree=1601920/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=36548 CPUtime=342.15 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9531 0 0 0 33581 634 0 0 25 0 1 0 23038136 37425152 8328 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9137 8328 627 1026 0 8107 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 36548 [startup+402.301 s] /proc/loadavg: 1.00 1.01 0.91 2/107 28618 /proc/meminfo: memFree=1601424/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=37204 CPUtime=402.13 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9655 0 0 0 39460 753 0 0 25 0 1 0 23038136 38096896 8452 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9301 8452 627 1026 0 8271 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 37204 [startup+462.301 s] /proc/loadavg: 1.00 1.01 0.91 2/107 28619 /proc/meminfo: memFree=1601300/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=37204 CPUtime=462.11 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9672 0 0 0 45348 863 0 0 25 0 1 0 23038136 38096896 8469 1992294400 4194304 8395647 140733977410224 18446744073709551615 4737471 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9301 8469 627 1026 0 8271 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 37204 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28621 /proc/meminfo: memFree=1601300/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=37204 CPUtime=522.08 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9676 0 0 0 51232 976 0 0 25 0 1 0 23038136 38096896 8473 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9301 8473 627 1026 0 8271 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 37204 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28623 /proc/meminfo: memFree=1601300/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=37204 CPUtime=582.05 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9679 0 0 0 57112 1093 0 0 25 0 1 0 23038136 38096896 8476 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9301 8476 627 1026 0 8271 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 37204 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28625 /proc/meminfo: memFree=1601300/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=37204 CPUtime=642.04 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9680 0 0 0 62995 1209 0 0 25 0 1 0 23038136 38096896 8477 1992294400 4194304 8395647 140733977410224 18446744073709551615 6019950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9301 8477 627 1026 0 8271 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 37204 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1600060/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=38232 CPUtime=1061.86 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9930 0 0 0 104183 2003 0 0 25 0 1 0 23038136 39149568 8727 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9558 8727 627 1026 0 8528 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 38232 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28637 /proc/meminfo: memFree=1600060/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=38232 CPUtime=1121.84 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9931 0 0 0 110073 2111 0 0 25 0 1 0 23038136 39149568 8728 1992294400 4194304 8395647 140733977410224 18446744073709551615 6574833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9558 8728 627 1026 0 8528 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 38232 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28639 /proc/meminfo: memFree=1599936/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=38232 CPUtime=1181.82 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9937 0 0 0 115953 2229 0 0 25 0 1 0 23038136 39149568 8734 1992294400 4194304 8395647 140733977410224 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9558 8734 627 1026 0 8528 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 38232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28641 /proc/meminfo: memFree=1599688/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=38524 CPUtime=1241.79 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9999 0 0 0 121841 2338 0 0 25 0 1 0 23038136 39448576 8796 1992294400 4194304 8395647 140733977410224 18446744073709551615 5089510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9631 8796 627 1026 0 8601 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 38524 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28642 /proc/meminfo: memFree=1599688/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=38524 CPUtime=1301.77 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 9999 0 0 0 127725 2452 0 0 25 0 1 0 23038136 39448576 8796 1992294400 4194304 8395647 140733977410224 18446744073709551615 6120582 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9631 8796 627 1026 0 8601 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 38524 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28643 /proc/meminfo: memFree=1599564/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=38524 CPUtime=1361.74 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10002 0 0 0 133606 2568 0 0 25 0 1 0 23038136 39448576 8799 1992294400 4194304 8395647 140733977410224 18446744073709551615 6745160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9631 8799 627 1026 0 8601 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 38524 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 3/107 28645 /proc/meminfo: memFree=1598696/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39288 CPUtime=1421.73 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10187 0 0 0 139489 2684 0 0 25 0 1 0 23038136 40230912 8984 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9822 8984 627 1026 0 8792 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 39288 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28647 /proc/meminfo: memFree=1598696/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39288 CPUtime=1481.69 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10188 0 0 0 145370 2799 0 0 25 0 1 0 23038136 40230912 8985 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9822 8985 627 1026 0 8792 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 39288 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28649 /proc/meminfo: memFree=1598696/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39288 CPUtime=1541.67 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10196 0 0 0 151256 2911 0 0 25 0 1 0 23038136 40230912 8993 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9822 8993 627 1026 0 8792 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 39288 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28650 /proc/meminfo: memFree=1598572/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39288 CPUtime=1601.65 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10197 0 0 0 157140 3025 0 0 25 0 1 0 23038136 40230912 8994 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9822 8994 627 1026 0 8792 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 39288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28651 /proc/meminfo: memFree=1598572/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39288 CPUtime=1661.62 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10197 0 0 0 163025 3137 0 0 25 0 1 0 23038136 40230912 8994 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9822 8994 627 1026 0 8792 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 39288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28653 /proc/meminfo: memFree=1598572/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39288 CPUtime=1721.6 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10197 0 0 0 168910 3250 0 0 25 0 1 0 23038136 40230912 8994 1992294400 4194304 8395647 140733977410224 18446744073709551615 6120428 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9822 8994 627 1026 0 8792 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 39288 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 0.91 2/107 28655 /proc/meminfo: memFree=1598324/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39476 CPUtime=1781.57 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10212 0 0 0 174788 3369 0 0 25 0 1 0 23038136 40423424 9009 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9869 9009 627 1026 0 8839 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 39476 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28655 /proc/meminfo: memFree=1598324/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39476 CPUtime=1784.77 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10212 0 0 0 175100 3377 0 0 25 0 1 0 23038136 40423424 9009 1992294400 4194304 8395647 140733977410224 18446744073709551615 6723502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9869 9009 627 1026 0 8839 0 Current children cumulated CPU time (s) 1784.77 Current children cumulated vsize (KiB) 39476 [startup+1787.1 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28655 /proc/meminfo: memFree=1598324/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39476 CPUtime=1786.37 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10212 0 0 0 175257 3380 0 0 25 0 1 0 23038136 40423424 9009 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9869 9009 627 1026 0 8839 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (KiB) 39476 [startup+1788.7 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28655 /proc/meminfo: memFree=1598324/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39476 CPUtime=1787.97 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10212 0 0 0 175413 3384 0 0 25 0 1 0 23038136 40423424 9009 1992294400 4194304 8395647 140733977410224 18446744073709551615 6594802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9869 9009 627 1026 0 8839 0 Current children cumulated CPU time (s) 1787.97 Current children cumulated vsize (KiB) 39476 [startup+1789.5 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28655 /proc/meminfo: memFree=1598324/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39476 CPUtime=1788.77 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10212 0 0 0 175492 3385 0 0 25 0 1 0 23038136 40423424 9009 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9869 9009 627 1026 0 8839 0 Current children cumulated CPU time (s) 1788.77 Current children cumulated vsize (KiB) 39476 [startup+1789.9 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28655 /proc/meminfo: memFree=1598324/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39476 CPUtime=1789.17 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10212 0 0 0 175531 3386 0 0 25 0 1 0 23038136 40423424 9009 1992294400 4194304 8395647 140733977410224 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9869 9009 627 1026 0 8839 0 Current children cumulated CPU time (s) 1789.17 Current children cumulated vsize (KiB) 39476 [startup+1790 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28655 /proc/meminfo: memFree=1598324/2059040 swapFree=4192956/4192956 [pid=28603] ppid=28601 vsize=39476 CPUtime=1789.27 /proc/28603/stat : 28603 (pbscip.linux.x8) R 28601 28603 28080 0 -1 4202496 10212 0 0 0 175540 3387 0 0 25 0 1 0 23038136 40423424 9009 1992294400 4194304 8395647 140733977410224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28603/statm: 9869 9009 627 1026 0 8839 0 Current children cumulated CPU time (s) 1789.27 Current children cumulated vsize (KiB) 39476 Child status: 0 Real time (s): 1790.04 CPU time (s): 1789.32 CPU user time (s): 1755.44 CPU system time (s): 33.8759 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 39476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.44 system time used= 33.8758 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10218 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= 4651 runsolver used 2.93255 second user time and 8.47771 second system time The end
Begin job on node010 at 2010-07-08 02:17:30 IDJOB=2703972 IDBENCH=1165 IDSOLVER=1213 FILE ID=node010/2703972-1278548250 PBS_JOBID= 11239521 Free space on /tmp= 62492 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17ls.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-2703972-1278548250/watcher-2703972-1278548250 -o /tmp/evaluation-result-2703972-1278548250/solver-2703972-1278548250 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703972-1278548250.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e92d33933b84b1c0ca9ffa19c28f7edc RANDOM SEED=1711608180 node010.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.258 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.51 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.258 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: 1634324 kB Buffers: 69000 kB Cached: 219964 kB SwapCached: 0 kB Active: 153624 kB Inactive: 195092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1634324 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 10344 kB Writeback: 8 kB AnonPages: 59664 kB Mapped: 14428 kB Slab: 54044 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181180 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= 62484 MiB End job on node010 at 2010-07-08 02:47:20