| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT | 883.653 | 883.877 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb |
| MD5SUM | b789f830862c22cea2a920d3cb2b89b5 |
| 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 | 0.339947 |
| 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 | 266 |
| Total number of constraints | 573 |
| Number of constraints which are clauses | 402 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 169 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| 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 | 12 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 93 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665702-1276270659.opb>
0.00/0.02 c original problem has 266 variables (266 bin, 0 int, 0 impl, 0 cont) and 573 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.03 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.03 c (round 2) 14 del vars, 18 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.03 c (round 3) 14 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.05 c (round 4) 14 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 302 impls, 0 clqs
0.00/0.07 c (round 5) 20 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs
0.06/0.07 c presolving (6 rounds):
0.06/0.07 c 20 deleted vars, 29 deleted constraints, 12 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.07 c 6476 implications, 6 cliques
0.06/0.07 c presolved problem has 246 variables (246 bin, 0 int, 0 impl, 0 cont) and 544 constraints
0.06/0.07 c 162 constraints of type <knapsack>
0.06/0.07 c 382 constraints of type <logicor>
0.06/0.07 c transformed objective value is always integral (scale: 1)
0.06/0.07 c Presolving Time: 0.03
0.06/0.07 c - non default parameters ----------------------------------------------------------------------
0.06/0.07 c # SCIP version 1.2.1.2
0.06/0.07 c
0.06/0.07 c # frequency for displaying node information lines
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.07 c display/freq = 10000
0.06/0.07 c
0.06/0.07 c # maximal time in seconds to run
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.07 c limits/time = 1799.99
0.06/0.07 c
0.06/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.07 c limits/memory = 1620
0.06/0.07 c
0.06/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c limits/solutions = 1
0.06/0.07 c
0.06/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.06/0.07 c separating/maxrounds = 1
0.06/0.07 c
0.06/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c separating/maxroundsroot = 5
0.06/0.07 c
0.06/0.07 c # should presolving try to simplify inequalities
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.07 c constraints/linear/simplifyinequalities = TRUE
0.06/0.07 c
0.06/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.06/0.07 c constraints/knapsack/disaggregation = FALSE
0.06/0.07 c
0.06/0.07 c # should presolving try to simplify knapsacks
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.07 c
0.06/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c presolving/probing/maxrounds = 0
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/coefdiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/coefdiving/maxlpiterquot = 0.075
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/coefdiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.06/0.07 c heuristics/crossover/freq = -1
0.06/0.07 c
0.06/0.07 c # number of nodes added to the contingent of the total nodes
0.06/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.07 c heuristics/crossover/nodesofs = 750
0.06/0.07 c
0.06/0.07 c # number of nodes without incumbent change that heuristic should wait
0.06/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.06/0.07 c heuristics/crossover/nwaitingnodes = 100
0.06/0.07 c
0.06/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.06/0.07 c # [type: real, range: [0,1], default: 0.1]
0.06/0.07 c heuristics/crossover/nodesquot = 0.15
0.06/0.07 c
0.06/0.07 c # minimum percentage of integer variables that have to be fixed
0.06/0.07 c # [type: real, range: [0,1], default: 0.666]
0.06/0.07 c heuristics/crossover/minfixingrate = 0.5
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.07 c heuristics/feaspump/freq = -1
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/feaspump/maxlpiterofs = 2000
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/fracdiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/fracdiving/maxlpiterquot = 0.075
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/fracdiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/guideddiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/guideddiving/maxlpiterquot = 0.075
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/guideddiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/intdiving/maxlpiterquot = 0.075
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/intshifting/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/linesearchdiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c heuristics/nlp/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.07 c heuristics/objpscostdiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.06/0.07 c # [type: real, range: [0,1], default: 0.01]
0.06/0.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c heuristics/oneopt/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/pscostdiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/pscostdiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.07 c heuristics/rens/freq = -1
0.06/0.07 c
0.06/0.07 c # minimum percentage of integer variables that have to be fixable
0.06/0.07 c # [type: real, range: [0,1], default: 0.5]
0.06/0.07 c heuristics/rens/minfixingrate = 0.3
0.06/0.07 c
0.06/0.07 c # number of nodes added to the contingent of the total nodes
0.06/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.07 c heuristics/rens/nodesofs = 2000
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.07 c heuristics/rootsoldiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.06/0.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c heuristics/rounding/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/shifting/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c heuristics/simplerounding/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.07 c heuristics/trivial/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c heuristics/trysol/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/veclendiving/freq = -1
0.06/0.07 c
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/veclendiving/maxlpiterquot = 0.075
0.06/0.07 c
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/veclendiving/maxlpiterofs = 1500
0.06/0.07 c
0.06/0.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c heuristics/zirounding/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.07 c separating/cmir/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.07 c separating/flowcover/freq = -1
0.06/0.07 c
0.06/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c separating/rapidlearning/freq = 0
0.06/0.07 c
0.06/0.07 c -----------------------------------------------------------------------------------------------
0.06/0.07 c start solving
0.06/0.07 c
0.09/0.10 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.10 c 0.1s| 1 | 0 | 201 | - |1772k| 0 | 125 | 246 | 544 | 246 | 538 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 521 | - |3929k| 0 | 173 | 246 | 565 | 246 | 750 | 212 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 c 0.8s| 1 | 0 | 1031 | - |6466k| 0 | 181 | 246 | 565 | 246 | 862 | 324 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.30 c 1.2s| 1 | 0 | 1448 | - |8831k| 0 | 183 | 246 | 565 | 246 | 970 | 432 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.65 c 1.6s| 1 | 0 | 1715 | - | 11M| 0 | 193 | 246 | 565 | 246 |1053 | 515 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/2.00 c 1.9s| 1 | 0 | 1935 | - | 13M| 0 | 195 | 246 | 565 | 246 |1094 | 556 | 0 | 0 | 0.000000e+00 | -- | Inf
2.89/2.97 c 2.9s| 1 | 2 | 1935 | - | 13M| 0 | 195 | 246 | 565 | 246 |1094 | 556 | 0 | 10 | 0.000000e+00 | -- | Inf
63.97/64.03 c 62.5s| 10000 | 17 |247753 | 24.6 | 14M| 35 | 53 | 246 |1946 | 246 | 721 | 556 |2202 |1939 | 0.000000e+00 | -- | Inf
102.46/102.50 c 99.5s| 20000 | 28 |463554 | 23.1 | 14M| 36 | 22 | 246 |3224 | 246 | 721 | 556 |4339 |1963 | 0.000000e+00 | -- | Inf
140.96/141.02 c 136s| 30000 | 25 |661217 | 22.0 | 15M| 36 | - | 246 |3912 | 0 | 0 | 556 |6620 |2324 | 0.000000e+00 | -- | Inf
178.54/178.66 c 173s| 40000 | 24 |857471 | 21.4 | 15M| 36 | - | 246 |4219 | 246 | 721 | 556 |8897 |2567 | 0.000000e+00 | -- | Inf
217.94/218.03 c 210s| 50000 | 20 | 1062k| 21.2 | 15M| 44 | 76 | 246 |5172 | 246 | 721 | 556 | 11k|2827 | 0.000000e+00 | -- | Inf
270.32/270.47 c 261s| 60000 | 23 | 1324k| 22.0 | 15M| 44 | - | 246 |4054 | 0 | 0 | 556 | 13k|3260 | 0.000000e+00 | -- | Inf
314.11/314.25 c 303s| 70000 | 30 | 1553k| 22.2 | 15M| 44 | - | 246 |5011 | 0 | 0 | 556 | 15k|3455 | 0.000000e+00 | -- | Inf
359.30/359.41 c 346s| 80000 | 31 | 1791k| 22.4 | 16M| 45 | - | 246 |5695 | 246 | 721 | 556 | 17k|3666 | 0.000000e+00 | -- | Inf
405.98/406.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.98/406.13 c 391s| 90000 | 23 | 2032k| 22.6 | 16M| 45 | 50 | 246 |6156 | 246 | 721 | 556 | 19k|3920 | 0.000000e+00 | -- | Inf
452.28/452.49 c 436s|100000 | 28 | 2274k| 22.7 | 16M| 45 | - | 246 |6594 | 0 | 0 | 556 | 21k|4145 | 0.000000e+00 | -- | Inf
501.37/501.60 c 483s|110000 | 39 | 2530k| 23.0 | 16M| 50 | - | 246 |6840 | 0 | 0 | 556 | 23k|4316 | 0.000000e+00 | -- | Inf
550.25/550.49 c 530s|120000 | 38 | 2782k| 23.2 | 16M| 50 | 73 | 246 |7391 | 246 | 721 | 556 | 25k|4496 | 0.000000e+00 | -- | Inf
600.84/601.06 c 579s|130000 | 25 | 3041k| 23.4 | 16M| 50 | 57 | 246 |6500 | 246 | 721 | 556 | 27k|4638 | 0.000000e+00 | -- | Inf
658.73/658.91 c 634s|140000 | 28 | 3331k| 23.8 | 16M| 50 | 21 | 246 |5510 | 246 | 721 | 556 | 29k|5067 | 0.000000e+00 | -- | Inf
693.21/693.42 c 667s|150000 | 28 | 3510k| 23.4 | 16M| 50 | - | 246 |5685 | 246 | 721 | 556 | 31k|5169 | 0.000000e+00 | -- | Inf
731.90/732.11 c 704s|160000 | 30 | 3717k| 23.2 | 16M| 50 | 76 | 246 |5890 | 246 | 721 | 556 | 33k|5256 | 0.000000e+00 | -- | Inf
771.40/771.60 c 742s|170000 | 31 | 3922k| 23.1 | 16M| 50 | 52 | 246 |6156 | 246 | 721 | 556 | 35k|5369 | 0.000000e+00 | -- | Inf
820.88/821.18 c 790s|180000 | 19 | 4159k| 23.1 | 16M| 50 | - | 246 |5593 | 246 | 721 | 556 | 37k|5873 | 0.000000e+00 | -- | Inf
869.37/869.68 c 836s|190000 | 17 | 4419k| 23.2 | 16M| 50 | 56 | 246 |6467 | 246 | 721 | 556 | 40k|5890 | 0.000000e+00 | -- | Inf
883.56/883.85 c * 850s|193081 | 0 | 4493k| 23.3 | 16M| 50 | - | 246 |6425 | 246 | 721 | 556 | 41k|5894 | 0.000000e+00 | 0.000000e+00 | 0.00%
883.56/883.85 c
883.56/883.85 c SCIP Status : problem is solved [optimal solution found]
883.56/883.85 c Solving Time (sec) : 850.01
883.56/883.85 c Solving Nodes : 193081
883.56/883.85 c Primal Bound : +0.00000000000000e+00 (1 solutions)
883.56/883.85 c Dual Bound : +0.00000000000000e+00
883.56/883.85 c Gap : 0.00 %
883.56/883.85 s SATISFIABLE
883.56/883.85 v x265 -x266 -x263 x264 x261 -x262 -x259 x260 -x257 -x258 -x255 x256 -x253 -x254 -x251 x252 -x249 x250 -x247 -x248 -x245 x246 -x243
883.56/883.85 v -x244 -x241 x242 x239 -x240 -x237 x238 x235 -x236 -x233 x234 x231 -x232 -x229 x230 x227 -x228 -x225 -x226 x223 -x224 -x221
883.56/883.85 v x222 -x219 -x220 -x217 x218 -x215 x216 -x213 -x214 -x211 x212 x209 -x210 -x207 -x208 x205 -x206 -x203 x204 x201 -x202 -x199
883.56/883.85 v x200 -x197 x198 x195 -x196 -x193 x194 x191 -x192 x189 -x190 x187 -x188 x185 -x186 x183 -x184 -x181 x182 -x179 x180 x177 -x178
883.56/883.85 v -x175 x176 x173 -x174 x171 -x172 x169 -x170 -x167 x168 x165 -x166 -x163 x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148
883.56/883.85 v -x146 -x144 -x142 -x140 -x138 x136 -x134 x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106
883.56/883.85 v -x104 -x102 x100 -x98 x96 -x94 -x92 -x90 x88 -x86 x84 -x82 x80 -x78 x76 -x74 -x72 -x70 -x68 -x66 x64 -x62 x60 -x58 -x56 -x54
883.56/883.85 v -x52 -x50 -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 x28 -x26 x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 x161
883.56/883.85 v -x159 x157 -x155 -x153 -x151 -x149 -x147 x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 x125 -x123 x121 -x119
883.56/883.85 v -x117 -x115 -x113 -x111 x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91 -x89 -x87 -x85 -x83 -x81 -x79 -x77 -x75 -x73 -x71
883.56/883.85 v -x69 -x67 -x65 -x63 -x61 -x59 -x57 -x55 x53 -x51 x49 -x47 -x45 -x43 -x41 -x39 x37 -x35 -x33 -x31 -x29 -x27 -x25 -x23 -x21
883.56/883.85 v -x19 x17 -x15 x13 -x11 -x9 -x7 -x5 -x3 x1
883.56/883.85 c SCIP Status : problem is solved [optimal solution found]
883.56/883.85 c Solving Time : 850.01
883.56/883.85 c Original Problem :
883.56/883.85 c Problem name : HOME/instance-2665702-1276270659.opb
883.56/883.85 c Variables : 266 (266 binary, 0 integer, 0 implicit integer, 0 continuous)
883.56/883.85 c Constraints : 573 initial, 573 maximal
883.56/883.85 c Presolved Problem :
883.56/883.85 c Problem name : t_HOME/instance-2665702-1276270659.opb
883.56/883.85 c Variables : 246 (246 binary, 0 integer, 0 implicit integer, 0 continuous)
883.56/883.85 c Constraints : 544 initial, 7449 maximal
883.56/883.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
883.56/883.85 c trivial : 0.00 0 0 0 0 0 0 0 0
883.56/883.85 c dualfix : 0.00 0 0 0 0 0 0 0 0
883.56/883.85 c boundshift : 0.00 0 0 0 0 0 0 0 0
883.56/883.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0
883.56/883.85 c implics : 0.00 0 8 0 0 0 0 0 0
883.56/883.85 c probing : 0.00 0 0 0 0 0 0 0 0
883.56/883.85 c knapsack : 0.01 0 0 0 0 0 0 0 0
883.56/883.85 c linear : 0.01 12 0 0 12 0 29 0 0
883.56/883.85 c logicor : 0.00 0 0 0 0 0 0 0 0
883.56/883.85 c root node : - 0 - - 0 - - - -
883.56/883.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
883.56/883.85 c integral : 0 0 0 98737 0 107 992 0 0 196062
883.56/883.85 c knapsack : 162 5 673632 1 0 45028 1976154 685 0 0
883.56/883.85 c linear : 0+ 5 309083 0 0 106 2766 0 0 0
883.56/883.85 c logicor : 382+ 5 543382 1 0 14554 1269098 0 0 0
883.56/883.85 c countsols : 0 0 0 1 0 0 0 0 0 0
883.56/883.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
883.56/883.85 c integral : 52.77 0.00 0.00 52.77 0.00
883.56/883.85 c knapsack : 25.02 0.00 25.02 0.00 0.00
883.56/883.85 c linear : 0.64 0.00 0.64 0.00 0.00
883.56/883.85 c logicor : 35.95 0.00 35.95 0.00 0.00
883.56/883.85 c countsols : 0.00 0.00 0.00 0.00 0.00
883.56/883.85 c Propagators : Time Calls Cutoffs DomReds
883.56/883.85 c vbounds : 0.39 1 0 0
883.56/883.85 c rootredcost : 0.53 0 0 0
883.56/883.85 c pseudoobj : 0.34 0 0 0
883.56/883.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
883.56/883.85 c propagation : 5.92 26261 25160 180265 48.5 511 20.1 -
883.56/883.85 c infeasible LP : 5.78 38106 2 11 26.4 0 0.0 0
883.56/883.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
883.56/883.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
883.56/883.85 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
883.56/883.85 c applied globally : - - - 40669 18.0 - - -
883.56/883.85 c applied locally : - - - 656 38.3 - - -
883.56/883.85 c Separators : Time Calls Cutoffs DomReds Cuts Conss
883.56/883.85 c cut pool : 0.02 4 - - 57 - (maximal pool size: 2651)
883.56/883.85 c redcost : 0.96 98317 0 0 0 0
883.56/883.85 c impliedbounds : 0.00 5 0 0 1066 0
883.56/883.85 c intobj : 0.00 0 0 0 0 0
883.56/883.85 c cgmip : 0.00 0 0 0 0 0
883.56/883.85 c gomory : 0.58 5 0 0 60 0
883.56/883.85 c strongcg : 0.50 5 0 0 2394 0
883.56/883.85 c cmir : 0.00 0 0 0 0 0
883.56/883.85 c flowcover : 0.00 0 0 0 0 0
883.56/883.85 c clique : 0.01 5 0 0 7 0
883.56/883.85 c zerohalf : 0.00 0 0 0 0 0
883.56/883.85 c mcf : 0.00 1 0 0 0 0
883.56/883.85 c rapidlearning : 0.15 1 0 0 0 21
883.56/883.85 c Pricers : Time Calls Vars
883.56/883.85 c problem variables: 0.00 0 0
883.56/883.85 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
883.56/883.85 c relpscost : 52.53 98736 107 992 0 0 196062
883.56/883.85 c pscost : 0.00 0 0 0 0 0 0
883.56/883.85 c inference : 0.00 0 0 0 0 0 0
883.56/883.85 c mostinf : 0.00 0 0 0 0 0 0
883.56/883.85 c leastinf : 0.00 0 0 0 0 0 0
883.56/883.85 c fullstrong : 0.00 0 0 0 0 0 0
883.56/883.85 c allfullstrong : 0.00 0 0 0 0 0 0
883.56/883.85 c random : 0.00 0 0 0 0 0 0
883.56/883.85 c Primal Heuristics : Time Calls Found
883.56/883.85 c LP solutions : 0.00 - 1
883.56/883.85 c pseudo solutions : 0.00 - 0
883.56/883.85 c trivial : 0.01 1 0
883.56/883.85 c simplerounding : 0.00 0 0
883.56/883.85 c zirounding : 0.00 0 0
883.56/883.85 c rounding : 0.00 0 0
883.56/883.85 c shifting : 0.00 0 0
883.56/883.85 c intshifting : 0.00 0 0
883.56/883.85 c oneopt : 0.00 0 0
883.56/883.85 c twoopt : 0.00 0 0
883.56/883.85 c fixandinfer : 0.00 0 0
883.56/883.85 c feaspump : 0.00 0 0
883.56/883.85 c coefdiving : 0.00 0 0
883.56/883.85 c pscostdiving : 0.00 0 0
883.56/883.85 c fracdiving : 0.00 0 0
883.56/883.85 c veclendiving : 0.00 0 0
883.56/883.85 c intdiving : 0.00 0 0
883.56/883.85 c actconsdiving : 0.00 0 0
883.56/883.85 c objpscostdiving : 0.00 0 0
883.56/883.85 c rootsoldiving : 0.00 0 0
883.56/883.85 c linesearchdiving : 0.00 0 0
883.56/883.85 c guideddiving : 0.00 0 0
883.56/883.85 c octane : 0.00 0 0
883.56/883.85 c rens : 0.00 0 0
883.56/883.85 c rins : 0.00 0 0
883.56/883.85 c localbranching : 0.00 0 0
883.56/883.85 c mutation : 0.00 0 0
883.56/883.85 c crossover : 0.00 0 0
883.56/883.85 c dins : 0.00 0 0
883.56/883.85 c undercover : 0.00 0 0
883.56/883.85 c nlp : 0.00 0 0
883.56/883.85 c trysol : 0.00 0 0
883.56/883.85 c LP : Time Calls Iterations Iter/call Iter/sec
883.56/883.85 c primal LP : 0.00 0 0 0.00 -
883.56/883.85 c dual LP : 664.32 136799 4493697 32.85 6764.36
883.56/883.85 c lex dual LP : 0.00 0 0 0.00 -
883.56/883.85 c barrier LP : 0.00 0 0 0.00 -
883.56/883.85 c diving/probing LP: 0.00 0 0 0.00 -
883.56/883.85 c strong branching : 48.54 5894 304236 51.62 6267.74
883.56/883.85 c (at root node) : - 10 3263 326.30 -
883.56/883.85 c conflict analysis: 0.00 0 0 0.00 -
883.56/883.85 c B&B Tree :
883.56/883.85 c number of runs : 1
883.56/883.85 c nodes : 193081
883.56/883.85 c nodes (total) : 193081
883.56/883.85 c nodes left : 0
883.56/883.85 c max depth : 50
883.56/883.85 c max depth (total): 50
883.56/883.85 c backtracks : 30915 (16.0%)
883.56/883.85 c delayed cutoffs : 2960
883.56/883.85 c repropagations : 37574 (176269 domain reductions, 2852 cutoffs)
883.56/883.85 c avg switch length: 2.89
883.56/883.85 c switching time : 29.39
883.56/883.85 c Solution :
883.56/883.85 c Solutions found : 1 (1 improvements)
883.56/883.85 c First Solution : +0.00000000000000e+00 (in run 1, after 193081 nodes, 850.01 seconds, depth 23, found by <relaxation>)
883.56/883.85 c Primal Bound : +0.00000000000000e+00 (in run 1, after 193081 nodes, 850.01 seconds, depth 23, found by <relaxation>)
883.56/883.85 c Dual Bound : +0.00000000000000e+00
883.56/883.85 c Gap : 0.00 %
883.56/883.85 c Root Dual Bound : +0.00000000000000e+00
883.56/883.85 c Root Iterations : 1935
883.56/883.87 c Time complete: 883.64.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665702-1276270659/watcher-2665702-1276270659 -o /tmp/evaluation-result-2665702-1276270659/solver-2665702-1276270659 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665702-1276270659.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/106 3826 /proc/meminfo: memFree=1585872/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=9288 CPUtime=0 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 2669812 9510912 994 1992294400 4194304 9819077 140736158282560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3826/statm: 2322 1002 371 1374 0 943 0 [startup+0.0729099 s] /proc/loadavg: 1.00 1.00 0.99 3/106 3826 /proc/meminfo: memFree=1585872/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=15996 CPUtime=0.06 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 4437 0 0 0 4 2 0 0 20 0 1 0 2669812 16379904 2462 1992294400 4194304 9819077 140736158282560 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 3999 2477 509 1374 0 2620 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15996 [startup+0.100913 s] /proc/loadavg: 1.00 1.00 0.99 3/106 3826 /proc/meminfo: memFree=1585872/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=18596 CPUtime=0.09 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 5392 0 0 0 7 2 0 0 20 0 1 0 2669812 19042304 3093 1992294400 4194304 9819077 140736158282560 18446744073709551615 6701684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 4649 3093 639 1374 0 3270 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18596 [startup+0.300935 s] /proc/loadavg: 1.00 1.00 0.99 3/106 3826 /proc/meminfo: memFree=1585872/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=30596 CPUtime=0.29 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 9752 0 0 0 24 5 0 0 20 0 1 0 2669812 31330304 5884 1992294400 4194304 9819077 140736158282560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 7649 5884 681 1374 0 6270 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30596 [startup+0.70098 s] /proc/loadavg: 1.00 1.00 0.99 3/106 3826 /proc/meminfo: memFree=1585872/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=23680 CPUtime=0.69 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 9999 0 0 0 63 6 0 0 21 0 1 0 2669812 24248320 4825 1992294400 4194304 9819077 140736158282560 18446744073709551615 7326271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 5920 4825 696 1374 0 4541 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23680 [startup+1.50107 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3827 /proc/meminfo: memFree=1567388/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=28788 CPUtime=1.49 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 11293 0 0 0 142 7 0 0 23 0 1 0 2669812 29478912 6023 1992294400 4194304 9819077 140736158282560 18446744073709551615 6060064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 7197 6023 696 1374 0 5818 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28788 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3827 /proc/meminfo: memFree=1559948/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=34376 CPUtime=3.09 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 13645 0 0 0 300 9 0 0 25 0 1 0 2669812 35201024 6982 1992294400 4194304 9819077 140736158282560 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8594 6982 709 1374 0 7215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34376 [startup+6.30059 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3827 /proc/meminfo: memFree=1559824/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=33904 CPUtime=6.29 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 16027 0 0 0 617 12 0 0 25 0 1 0 2669812 34717696 7002 1992294400 4194304 9819077 140736158282560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8476 7002 726 1374 0 7097 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33904 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3827 /proc/meminfo: memFree=1559824/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=32148 CPUtime=12.69 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 23843 0 0 0 1248 21 0 0 25 0 1 0 2669812 32919552 6991 1992294400 4194304 9819077 140736158282560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8037 6991 726 1374 0 6658 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32148 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3827 /proc/meminfo: memFree=1559824/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=32476 CPUtime=25.48 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 33975 0 0 0 2505 43 0 0 25 0 1 0 2669812 33255424 6995 1992294400 4194304 9819077 140736158282560 18446744073709551615 7289463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8119 6995 726 1374 0 6740 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32476 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3827 /proc/meminfo: memFree=1559700/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=32824 CPUtime=51.08 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 75023 0 0 0 5001 107 0 0 25 0 1 0 2669812 33611776 7055 1992294400 4194304 9819077 140736158282560 18446744073709551615 7235180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8261 7056 726 1374 0 6882 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32824 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3829 /proc/meminfo: memFree=1559328/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=33908 CPUtime=102.27 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 239362 0 0 0 9935 292 0 0 25 0 1 0 2669812 34721792 7157 1992294400 4194304 9819077 140736158282560 18446744073709551615 7291656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8477 7157 726 1374 0 7098 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33908 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3831 /proc/meminfo: memFree=1558336/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=34872 CPUtime=162.25 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 473001 0 0 0 15694 531 0 0 25 0 1 0 2669812 35708928 7374 1992294400 4194304 9819077 140736158282560 18446744073709551615 4855144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8718 7374 726 1374 0 7339 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34872 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3833 /proc/meminfo: memFree=1557964/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=35552 CPUtime=222.23 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 730835 0 0 0 21451 772 0 0 25 0 1 0 2669812 36405248 7467 1992294400 4194304 9819077 140736158282560 18446744073709551615 7289267 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 8888 7467 726 1374 0 7509 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35552 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3833 /proc/meminfo: memFree=1557716/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=36064 CPUtime=282.22 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 999335 0 0 0 27226 996 0 0 25 0 1 0 2669812 36929536 7549 1992294400 4194304 9819077 140736158282560 18446744073709551615 6458369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9016 7549 726 1374 0 7637 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 36064 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3835 /proc/meminfo: memFree=1557220/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=36152 CPUtime=342.21 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 1282454 0 0 0 32979 1242 0 0 25 0 1 0 2669812 37019648 7618 1992294400 4194304 9819077 140736158282560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9038 7618 726 1374 0 7659 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 36152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3837 /proc/meminfo: memFree=1556972/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=36508 CPUtime=402.19 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 1563640 0 0 0 38736 1483 0 0 25 0 1 0 2669812 37384192 7671 1992294400 4194304 9819077 140736158282560 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9127 7671 726 1374 0 7748 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 36508 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3839 /proc/meminfo: memFree=1555856/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=37724 CPUtime=462.17 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 1838206 0 0 0 44507 1710 0 0 25 0 1 0 2669812 38629376 7981 1992294400 4194304 9819077 140736158282560 18446744073709551615 6519451 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9431 7981 726 1374 0 8052 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 37724 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3841 /proc/meminfo: memFree=1555732/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=37868 CPUtime=522.16 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 2107343 0 0 0 50273 1943 0 0 25 0 1 0 2669812 38776832 8004 1992294400 4194304 9819077 140736158282560 18446744073709551615 7312754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9467 8004 726 1374 0 8088 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 37868 [startup+582.301 s] /proc/loadavg: 1.03 1.01 0.99 2/107 3841 /proc/meminfo: memFree=1555360/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=37900 CPUtime=582.14 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 2370666 0 0 0 56048 2166 0 0 25 0 1 0 2669812 38809600 8056 1992294400 4194304 9819077 140736158282560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9475 8056 726 1374 0 8096 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 37900 [startup+642.301 s] /proc/loadavg: 1.01 1.01 0.99 2/107 3843 /proc/meminfo: memFree=1555360/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38152 CPUtime=642.14 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 2632922 0 0 0 61832 2382 0 0 25 0 1 0 2669812 39067648 8060 1992294400 4194304 9819077 140736158282560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9538 8060 726 1374 0 8159 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 38152 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3845 /proc/meminfo: memFree=1555236/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=37900 CPUtime=702.11 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 2918051 0 0 0 67583 2628 0 0 25 0 1 0 2669812 38809600 8060 1992294400 4194304 9819077 140736158282560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9475 8060 726 1374 0 8096 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 37900 [startup+762.309 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3847 /proc/meminfo: memFree=1555112/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38064 CPUtime=762.1 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 3198093 0 0 0 73329 2881 0 0 25 0 1 0 2669812 38977536 8069 1992294400 4194304 9819077 140736158282560 18446744073709551615 7317712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9516 8069 726 1374 0 8137 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 38064 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3849 /proc/meminfo: memFree=1554988/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38036 CPUtime=822.08 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 3473701 0 0 0 79090 3118 0 0 25 0 1 0 2669812 38948864 8072 1992294400 4194304 9819077 140736158282560 18446744073709551615 4661208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9509 8072 726 1374 0 8130 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 38036 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3849 /proc/meminfo: memFree=1554988/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38268 CPUtime=882.07 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 3730708 0 0 0 84855 3352 0 0 25 0 1 0 2669812 39186432 8098 1992294400 4194304 9819077 140736158282560 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9567 8099 726 1374 0 8188 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 38268 Solver just ended. Dumping a history of the last processes samples [startup+883.101 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3849 /proc/meminfo: memFree=1554988/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38204 CPUtime=882.86 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 3734117 0 0 0 84931 3355 0 0 25 0 1 0 2669812 39120896 8098 1992294400 4194304 9819077 140736158282560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9551 8098 726 1374 0 8172 0 Current children cumulated CPU time (s) 882.86 Current children cumulated vsize (KiB) 38204 [startup+883.501 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3849 /proc/meminfo: memFree=1554988/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38204 CPUtime=883.27 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 3735958 0 0 0 84970 3357 0 0 25 0 1 0 2669812 39120896 8095 1992294400 4194304 9819077 140736158282560 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9551 8095 726 1374 0 8172 0 Current children cumulated CPU time (s) 883.27 Current children cumulated vsize (KiB) 38204 [startup+883.701 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3849 /proc/meminfo: memFree=1554988/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38016 CPUtime=883.47 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 3736767 0 0 0 84989 3358 0 0 25 0 1 0 2669812 38928384 8089 1992294400 4194304 9819077 140736158282560 18446744073709551615 5920847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9504 8089 726 1374 0 8125 0 Current children cumulated CPU time (s) 883.47 Current children cumulated vsize (KiB) 38016 [startup+883.801 s] /proc/loadavg: 1.00 1.00 0.99 2/107 3849 /proc/meminfo: memFree=1554988/2059040 swapFree=4192956/4192956 [pid=3826] ppid=3824 vsize=38240 CPUtime=883.56 /proc/3826/stat : 3826 (pbscip.linux.x8) R 3824 3826 3366 0 -1 4202496 3737173 0 0 0 84998 3358 0 0 25 0 1 0 2669812 39157760 8106 1992294400 4194304 9819077 140736158282560 18446744073709551615 7295827 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3826/statm: 9560 8106 726 1374 0 8181 0 Current children cumulated CPU time (s) 883.56 Current children cumulated vsize (KiB) 38240 Child status: 0 Real time (s): 883.877 CPU time (s): 883.653 CPU user time (s): 850.058 CPU system time (s): 33.5949 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 40320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 850.058 system time used= 33.5949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3737432 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= 5 involuntary context switches= 10368 runsolver used 1.51777 second user time and 4.12437 second system time The end
Begin job on node004 at 2010-06-11 17:37:39 IDJOB=2665702 IDBENCH=1164 IDSOLVER=1168 FILE ID=node004/2665702-1276270659 PBS_JOBID= 11172206 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12bt.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665702-1276270659/watcher-2665702-1276270659 -o /tmp/evaluation-result-2665702-1276270659/solver-2665702-1276270659 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665702-1276270659.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b789f830862c22cea2a920d3cb2b89b5 RANDOM SEED=1717547114 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1586276 kB Buffers: 45908 kB Cached: 301108 kB SwapCached: 0 kB Active: 158176 kB Inactive: 248208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1586276 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6376 kB Writeback: 0 kB AnonPages: 59396 kB Mapped: 15384 kB Slab: 44540 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182280 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= 62528 MiB End job on node004 at 2010-06-11 17:52:23