| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1802 | 1802.68 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb |
| MD5SUM | 732cdc3fa8b0bf0f47e882c13d928a6d |
| 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 | 1552.26 |
| 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 | 4626 |
| Total number of constraints | 30747 |
| Number of constraints which are clauses | 29724 |
| Number of constraints which are cardinality constraints (but not clauses) | 945 |
| Number of constraints which are nor clauses,nor cardinality constraints | 78 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 29 |
| 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 | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 101 |
| 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: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667442-1276344028.opb>
0.49/0.57 c original problem has 4626 variables (4626 bin, 0 int, 0 impl, 0 cont) and 30747 constraints
0.49/0.57 c problem read
0.49/0.57 c No objective function, only one solution is needed.
0.49/0.57 c presolving settings loaded
0.69/0.70 c presolving:
1.00/1.08 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30747 upgd conss, 0 impls, 945 clqs
1.10/1.17 c presolving (2 rounds):
1.10/1.17 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 132 changed coefficients
1.10/1.17 c 264 implications, 1383 cliques
1.10/1.17 c presolved problem has 4626 variables (4626 bin, 0 int, 0 impl, 0 cont) and 30747 constraints
1.10/1.17 c 78 constraints of type <knapsack>
1.10/1.17 c 945 constraints of type <setppc>
1.10/1.17 c 29724 constraints of type <logicor>
1.10/1.17 c transformed objective value is always integral (scale: 1)
1.10/1.17 c Presolving Time: 0.39
1.10/1.17 c - non default parameters ----------------------------------------------------------------------
1.10/1.17 c # SCIP version 1.2.1.2
1.10/1.17 c
1.10/1.17 c # frequency for displaying node information lines
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.17 c display/freq = 10000
1.10/1.17 c
1.10/1.17 c # maximal time in seconds to run
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.17 c limits/time = 1799.44
1.10/1.17 c
1.10/1.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.17 c limits/memory = 1620
1.10/1.17 c
1.10/1.17 c # solving stops, if the given number of solutions were found (-1: no limit)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.17 c limits/solutions = 1
1.10/1.17 c
1.10/1.17 c # maximal number of separation rounds per node (-1: unlimited)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 5]
1.10/1.17 c separating/maxrounds = 1
1.10/1.17 c
1.10/1.17 c # maximal number of separation rounds in the root node (-1: unlimited)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.17 c separating/maxroundsroot = 5
1.10/1.17 c
1.10/1.17 c # should presolving try to simplify inequalities
1.10/1.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.17 c constraints/linear/simplifyinequalities = TRUE
1.10/1.17 c
1.10/1.17 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.10/1.17 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.10/1.17 c constraints/knapsack/disaggregation = FALSE
1.10/1.17 c
1.10/1.17 c # should presolving try to simplify knapsacks
1.10/1.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.17 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.17 c
1.10/1.17 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.17 c presolving/probing/maxrounds = 0
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/coefdiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.17 c heuristics/coefdiving/maxlpiterquot = 0.075
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/coefdiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 30]
1.10/1.17 c heuristics/crossover/freq = -1
1.10/1.17 c
1.10/1.17 c # number of nodes added to the contingent of the total nodes
1.10/1.17 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.17 c heuristics/crossover/nodesofs = 750
1.10/1.17 c
1.10/1.17 c # number of nodes without incumbent change that heuristic should wait
1.10/1.17 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.10/1.17 c heuristics/crossover/nwaitingnodes = 100
1.10/1.17 c
1.10/1.17 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.10/1.17 c # [type: real, range: [0,1], default: 0.1]
1.10/1.17 c heuristics/crossover/nodesquot = 0.15
1.10/1.17 c
1.10/1.17 c # minimum percentage of integer variables that have to be fixed
1.10/1.17 c # [type: real, range: [0,1], default: 0.666]
1.10/1.17 c heuristics/crossover/minfixingrate = 0.5
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.17 c heuristics/feaspump/freq = -1
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/feaspump/maxlpiterofs = 2000
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/fracdiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.17 c heuristics/fracdiving/maxlpiterquot = 0.075
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/fracdiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/guideddiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.17 c heuristics/guideddiving/maxlpiterquot = 0.075
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/guideddiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.17 c heuristics/intdiving/maxlpiterquot = 0.075
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/intshifting/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/linesearchdiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.17 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.17 c heuristics/nlp/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.17 c heuristics/objpscostdiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to total iteration number
1.10/1.17 c # [type: real, range: [0,1], default: 0.01]
1.10/1.17 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.17 c heuristics/oneopt/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/pscostdiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.17 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/pscostdiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.17 c heuristics/rens/freq = -1
1.10/1.17 c
1.10/1.17 c # minimum percentage of integer variables that have to be fixable
1.10/1.17 c # [type: real, range: [0,1], default: 0.5]
1.10/1.17 c heuristics/rens/minfixingrate = 0.3
1.10/1.17 c
1.10/1.17 c # number of nodes added to the contingent of the total nodes
1.10/1.17 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.17 c heuristics/rens/nodesofs = 2000
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.17 c heuristics/rootsoldiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.10/1.17 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.17 c heuristics/rounding/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/shifting/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.17 c heuristics/simplerounding/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.17 c heuristics/trivial/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.17 c heuristics/trysol/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.17 c heuristics/veclendiving/freq = -1
1.10/1.17 c
1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.17 c heuristics/veclendiving/maxlpiterquot = 0.075
1.10/1.17 c
1.10/1.17 c # additional number of allowed LP iterations
1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.17 c heuristics/veclendiving/maxlpiterofs = 1500
1.10/1.17 c
1.10/1.17 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.17 c heuristics/zirounding/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.17 c separating/cmir/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.17 c separating/flowcover/freq = -1
1.10/1.17 c
1.10/1.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.17 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.17 c separating/rapidlearning/freq = 0
1.10/1.17 c
1.10/1.17 c -----------------------------------------------------------------------------------------------
1.10/1.17 c start solving
1.10/1.18 c
15.29/15.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.29/15.39 c 14.6s| 1 | 0 | 4765 | - | 44M| 0 | 634 |4626 | 30k|4626 | 30k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.45/55.58 c 52.2s| 1 | 0 | 10134 | - | 58M| 0 | 702 |4626 | 30k|4626 | 30k| 63 | 0 | 0 | 0.000000e+00 | -- | Inf
89.55/89.62 c 83.4s| 1 | 0 | 13667 | - | 71M| 0 | 730 |4626 | 30k|4626 | 30k| 107 | 0 | 0 | 0.000000e+00 | -- | Inf
138.73/138.81 c 129s| 1 | 0 | 19544 | - | 83M| 0 | 748 |4626 | 30k|4626 | 30k| 140 | 0 | 0 | 0.000000e+00 | -- | Inf
185.01/185.17 c 172s| 1 | 0 | 24847 | - | 94M| 0 | 720 |4626 | 30k|4626 | 30k| 168 | 0 | 0 | 0.000000e+00 | -- | Inf
230.60/230.77 c 214s| 1 | 0 | 28309 | - | 101M| 0 | 741 |4626 | 30k|4626 | 30k| 188 | 0 | 0 | 0.000000e+00 | -- | Inf
369.74/369.96 c 352s| 1 | 2 | 28309 | - | 101M| 0 | 741 |4626 | 30k|4626 | 30k| 188 | 0 | 30 | 0.000000e+00 | -- | Inf
1800.03/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.72/1802.49 c
1801.72/1802.49 c SCIP Status : solving was interrupted [user interrupt]
1801.72/1802.49 c Solving Time (sec) : 1775.89
1801.72/1802.49 c Solving Nodes : 78
1801.72/1802.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.72/1802.49 c Dual Bound : +0.00000000000000e+00
1801.72/1802.49 c Gap : infinite
1801.72/1802.49 s UNKNOWN
1801.72/1802.49 c SCIP Status : solving was interrupted [user interrupt]
1801.72/1802.49 c Solving Time : 1775.89
1801.72/1802.49 c Original Problem :
1801.72/1802.49 c Problem name : HOME/instance-2667442-1276344028.opb
1801.72/1802.49 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.72/1802.49 c Constraints : 30747 initial, 30747 maximal
1801.72/1802.49 c Presolved Problem :
1801.72/1802.49 c Problem name : t_HOME/instance-2667442-1276344028.opb
1801.72/1802.49 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.72/1802.49 c Constraints : 30747 initial, 30747 maximal
1801.72/1802.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.72/1802.49 c trivial : 0.00 0 0 0 0 0 0 0 0
1801.72/1802.49 c dualfix : 0.00 0 0 0 0 0 0 0 0
1801.72/1802.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.72/1802.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.72/1802.49 c implics : 0.00 0 0 0 0 0 0 0 0
1801.72/1802.49 c probing : 0.00 0 0 0 0 0 0 0 0
1801.72/1802.49 c knapsack : 0.01 0 0 0 0 0 0 0 132
1801.72/1802.49 c setppc : 0.01 0 0 0 0 0 0 0 0
1801.72/1802.49 c logicor : 0.07 0 0 0 0 0 0 0 0
1801.72/1802.49 c root node : - 0 - - 0 - - - -
1801.72/1802.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.72/1802.49 c integral : 0 0 0 78 0 0 0 0 0 156
1801.72/1802.49 c knapsack : 78 5 164 0 0 0 552 289 0 0
1801.72/1802.49 c setppc : 945 5 164 0 0 0 895 0 0 0
1801.72/1802.49 c logicor : 29724 5 88 0 0 0 35 0 0 0
1801.72/1802.49 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.72/1802.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.72/1802.49 c integral : 973.18 0.00 0.00 973.18 0.00
1801.72/1802.49 c knapsack : 0.00 0.00 0.00 0.00 0.00
1801.72/1802.49 c setppc : 0.02 0.00 0.02 0.00 0.00
1801.72/1802.49 c logicor : 0.06 0.04 0.02 0.00 0.00
1801.72/1802.49 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.72/1802.49 c Propagators : Time Calls Cutoffs DomReds
1801.72/1802.49 c vbounds : 0.00 1 0 0
1801.72/1802.49 c rootredcost : 0.00 0 0 0
1801.72/1802.49 c pseudoobj : 0.00 0 0 0
1801.72/1802.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.72/1802.49 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.72/1802.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.72/1802.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.72/1802.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.72/1802.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.72/1802.49 c applied globally : - - - 0 0.0 - - -
1801.72/1802.49 c applied locally : - - - 0 0.0 - - -
1801.72/1802.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.72/1802.49 c cut pool : 0.04 4 - - 19 - (maximal pool size: 1385)
1801.72/1802.49 c redcost : 0.00 82 0 0 0 0
1801.72/1802.49 c impliedbounds : 0.00 5 0 0 12 0
1801.72/1802.49 c intobj : 0.00 0 0 0 0 0
1801.72/1802.49 c cgmip : 0.00 0 0 0 0 0
1801.72/1802.49 c gomory : 71.94 5 0 0 1013 0
1801.72/1802.49 c strongcg : 17.98 5 0 0 2500 0
1801.72/1802.49 c cmir : 0.00 0 0 0 0 0
1801.72/1802.49 c flowcover : 0.00 0 0 0 0 0
1801.72/1802.49 c clique : 0.11 5 0 0 26 0
1801.72/1802.49 c zerohalf : 0.00 0 0 0 0 0
1801.72/1802.49 c mcf : 0.05 1 0 0 0 0
1801.72/1802.49 c rapidlearning : 0.00 0 0 0 0 0
1801.72/1802.49 c Pricers : Time Calls Vars
1801.72/1802.49 c problem variables: 0.00 0 0
1801.72/1802.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.72/1802.49 c relpscost : 973.17 78 0 0 0 0 156
1801.72/1802.49 c pscost : 0.00 0 0 0 0 0 0
1801.72/1802.49 c inference : 0.00 0 0 0 0 0 0
1801.72/1802.49 c mostinf : 0.00 0 0 0 0 0 0
1801.72/1802.49 c leastinf : 0.00 0 0 0 0 0 0
1801.72/1802.49 c fullstrong : 0.00 0 0 0 0 0 0
1801.72/1802.49 c allfullstrong : 0.00 0 0 0 0 0 0
1801.72/1802.49 c random : 0.00 0 0 0 0 0 0
1801.72/1802.49 c Primal Heuristics : Time Calls Found
1801.72/1802.49 c LP solutions : 0.00 - 0
1801.72/1802.49 c pseudo solutions : 0.00 - 0
1801.72/1802.49 c trivial : 0.01 1 0
1801.72/1802.49 c simplerounding : 0.00 0 0
1801.72/1802.49 c zirounding : 0.00 0 0
1801.72/1802.49 c rounding : 0.00 0 0
1801.72/1802.49 c shifting : 0.00 0 0
1801.72/1802.49 c intshifting : 0.00 0 0
1801.72/1802.49 c oneopt : 0.00 0 0
1801.72/1802.49 c twoopt : 0.00 0 0
1801.72/1802.49 c fixandinfer : 0.00 0 0
1801.72/1802.49 c feaspump : 0.00 0 0
1801.72/1802.49 c coefdiving : 0.00 0 0
1801.72/1802.49 c pscostdiving : 0.00 0 0
1801.72/1802.49 c fracdiving : 0.00 0 0
1801.72/1802.49 c veclendiving : 0.00 0 0
1801.72/1802.49 c intdiving : 0.00 0 0
1801.72/1802.49 c actconsdiving : 0.00 0 0
1801.72/1802.50 c objpscostdiving : 0.00 0 0
1801.72/1802.50 c rootsoldiving : 0.00 0 0
1801.72/1802.50 c linesearchdiving : 0.00 0 0
1801.72/1802.50 c guideddiving : 0.00 0 0
1801.72/1802.50 c octane : 0.00 0 0
1801.72/1802.50 c rens : 0.00 0 0
1801.72/1802.50 c rins : 0.00 0 0
1801.72/1802.50 c localbranching : 0.00 0 0
1801.72/1802.50 c mutation : 0.00 0 0
1801.72/1802.50 c crossover : 0.00 0 0
1801.72/1802.50 c dins : 0.00 0 0
1801.72/1802.50 c undercover : 0.00 0 0
1801.72/1802.50 c nlp : 0.00 0 0
1801.72/1802.50 c trysol : 0.00 0 0
1801.72/1802.50 c LP : Time Calls Iterations Iter/call Iter/sec
1801.72/1802.50 c primal LP : 0.02 0 0 0.00 0.00
1801.72/1802.50 c dual LP : 710.41 83 154895 1866.20 218.04
1801.72/1802.50 c lex dual LP : 0.00 0 0 0.00 -
1801.72/1802.50 c barrier LP : 0.00 0 0 0.00 -
1801.72/1802.50 c diving/probing LP: 0.00 0 0 0.00 -
1801.72/1802.50 c strong branching : 973.13 218 208104 954.61 213.85
1801.72/1802.50 c (at root node) : - 30 29117 970.57 -
1801.72/1802.50 c conflict analysis: 0.00 0 0 0.00 -
1801.72/1802.50 c B&B Tree :
1801.72/1802.50 c number of runs : 1
1801.72/1802.50 c nodes : 78
1801.72/1802.50 c nodes (total) : 78
1801.72/1802.50 c nodes left : 79
1801.72/1802.50 c max depth : 45
1801.72/1802.50 c max depth (total): 45
1801.72/1802.50 c backtracks : 5 (6.4%)
1801.72/1802.50 c delayed cutoffs : 0
1801.72/1802.50 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.72/1802.50 c avg switch length: 1.41
1801.72/1802.50 c switching time : 0.08
1801.72/1802.50 c Solution :
1801.81/1802.50 c Solutions found : 0 (0 improvements)
1801.81/1802.50 c Primal Bound : -
1801.81/1802.50 c Dual Bound : +0.00000000000000e+00
1801.81/1802.50 c Gap : infinite
1801.81/1802.50 c Root Dual Bound : +0.00000000000000e+00
1801.81/1802.50 c Root Iterations : 28309
1801.92/1802.67 c Time complete: 1801.98.
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-2667442-1276344028/watcher-2667442-1276344028 -o /tmp/evaluation-result-2667442-1276344028/solver-2667442-1276344028 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667442-1276344028.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12254 /proc/meminfo: memFree=1601540/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=7724 CPUtime=0 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 1013 0 0 0 0 0 0 0 20 0 1 0 10004458 7909376 932 1992294400 4194304 8223781 140735917815008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12254/statm: 1931 941 348 984 0 944 0 [startup+0.0357369 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12254 /proc/meminfo: memFree=1601540/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=12020 CPUtime=0.02 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 2323 0 0 0 2 0 0 0 20 0 1 0 10004458 12308480 2242 1992294400 4194304 8223781 140735917815008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12254/statm: 3005 2242 363 984 0 2018 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12020 [startup+0.100749 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12254 /proc/meminfo: memFree=1601540/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=15700 CPUtime=0.09 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 3227 0 0 0 9 0 0 0 20 0 1 0 10004458 16076800 3146 1992294400 4194304 8223781 140735917815008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12254/statm: 3925 3146 363 984 0 2938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15700 [startup+0.300792 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12254 /proc/meminfo: memFree=1601540/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=19932 CPUtime=0.29 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4271 0 0 0 28 1 0 0 20 0 1 0 10004458 20410368 4190 1992294400 4194304 8223781 140735917815008 18446744073709551615 7231831 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12254/statm: 4983 4190 363 984 0 3996 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19932 [startup+0.700877 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12254 /proc/meminfo: memFree=1601540/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=54184 CPUtime=0.69 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 12911 0 0 0 64 5 0 0 21 0 1 0 10004458 55484416 12466 1992294400 4194304 8223781 140735917815008 18446744073709551615 4329697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 13546 12472 412 984 0 12559 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54184 [startup+1.50105 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12257 /proc/meminfo: memFree=1543748/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=96992 CPUtime=1.49 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 28869 0 0 0 131 18 0 0 23 0 1 0 10004458 99319808 22496 1992294400 4194304 8223781 140735917815008 18446744073709551615 6357949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 24248 22496 534 984 0 23261 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96992 [startup+3.10039 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12257 /proc/meminfo: memFree=1511136/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=99872 CPUtime=3.09 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 30150 0 0 0 289 20 0 0 25 0 1 0 10004458 102268928 23119 1992294400 4194304 8223781 140735917815008 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 24968 23119 538 984 0 23981 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99872 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12257 /proc/meminfo: memFree=1509772/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=100448 CPUtime=6.29 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 31778 0 0 0 608 21 0 0 25 0 1 0 10004458 102858752 23210 1992294400 4194304 8223781 140735917815008 18446744073709551615 6612636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 25112 23210 538 984 0 24125 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 100448 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12257 /proc/meminfo: memFree=1509772/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=100592 CPUtime=12.69 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 35195 0 0 0 1245 24 0 0 25 0 1 0 10004458 103006208 23243 1992294400 4194304 8223781 140735917815008 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 25148 23243 538 984 0 24161 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 100592 [startup+25.5012 s] /proc/loadavg: 1.08 1.02 1.01 2/107 12257 /proc/meminfo: memFree=1509896/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=100452 CPUtime=25.49 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 548677 0 0 0 2356 193 0 0 25 0 1 0 10004458 102862848 23214 1992294400 4194304 8223781 140735917815008 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 25113 23214 553 984 0 24126 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 100452 [startup+51.1006 s] /proc/loadavg: 1.05 1.01 1.00 2/107 12266 /proc/meminfo: memFree=1486460/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=127252 CPUtime=51.06 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 790407 0 0 0 4825 281 0 0 25 0 1 0 10004458 130306048 29047 1992294400 4194304 8223781 140735917815008 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 31813 29047 568 984 0 30826 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 127252 [startup+102.309 s] /proc/loadavg: 1.07 1.03 1.00 2/107 12268 /proc/meminfo: memFree=1468604/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=145112 CPUtime=102.25 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 2238822 0 0 0 9468 757 0 0 25 0 1 0 10004458 148594688 33495 1992294400 4194304 8223781 140735917815008 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 36278 33508 568 984 0 35291 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 145112 [startup+162.301 s] /proc/loadavg: 1.03 1.02 1.00 2/107 12270 /proc/meminfo: memFree=1440332/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=173528 CPUtime=162.21 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 3474340 0 0 0 15024 1197 0 0 25 0 1 0 10004458 177692672 40586 1992294400 4194304 8223781 140735917815008 18446744073709551615 6503897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 43382 40586 568 984 0 42395 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 173528 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 12270 /proc/meminfo: memFree=1427188/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186844 CPUtime=222.19 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4583231 0 0 0 20620 1599 0 0 25 0 1 0 10004458 191328256 43836 1992294400 4194304 8223781 140735917815008 18446744073709551615 6502716 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46711 43836 568 984 0 45724 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 186844 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12272 /proc/meminfo: memFree=1427188/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186508 CPUtime=282.17 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4630144 0 0 0 26577 1640 0 0 25 0 1 0 10004458 190984192 43844 1992294400 4194304 8223781 140735917815008 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46627 43844 571 984 0 45640 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 186508 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12274 /proc/meminfo: memFree=1428428/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186128 CPUtime=342.15 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4679961 0 0 0 32538 1677 0 0 25 0 1 0 10004458 190595072 43742 1992294400 4194304 8223781 140735917815008 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46532 43742 571 984 0 45545 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 186128 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12276 /proc/meminfo: memFree=1427932/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185456 CPUtime=402.13 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4724543 0 0 0 38496 1717 0 0 25 0 1 0 10004458 189906944 43708 1992294400 4194304 8223781 140735917815008 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46364 43708 572 984 0 45377 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 185456 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12278 /proc/meminfo: memFree=1427436/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185432 CPUtime=462.1 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4767522 0 0 0 44452 1758 0 0 25 0 1 0 10004458 189882368 43718 1992294400 4194304 8223781 140735917815008 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46358 43718 572 984 0 45371 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 185432 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12278 /proc/meminfo: memFree=1427560/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185416 CPUtime=522.08 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4807650 0 0 0 50412 1796 0 0 25 0 1 0 10004458 189865984 43723 1992294400 4194304 8223781 140735917815008 18446744073709551615 6570134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46354 43723 572 984 0 45367 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 185416 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12280 /proc/meminfo: memFree=1427436/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185552 CPUtime=582.07 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4848133 0 0 0 56368 1839 0 0 25 0 1 0 10004458 190005248 43734 1992294400 4194304 8223781 140735917815008 18446744073709551615 6568128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46388 43734 572 984 0 45401 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 185552 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12282 /proc/meminfo: memFree=1427436/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185476 CPUtime=642.05 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 4888704 0 0 0 62329 1876 0 0 25 0 1 0 10004458 189927424 43704 1992294400 4194304 8223781 140735917815008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46369 43704 573 984 0 45382 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 185476 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12295 /proc/meminfo: memFree=1426692/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185648 CPUtime=1001.91 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5130894 0 0 0 98089 2102 0 0 25 0 1 0 10004458 190103552 43720 1992294400 4194304 8223781 140735917815008 18446744073709551615 6567839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46412 43720 573 984 0 45425 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 185648 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12297 /proc/meminfo: memFree=1426692/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185740 CPUtime=1061.89 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5169449 0 0 0 104051 2138 0 0 25 0 1 0 10004458 190197760 43708 1992294400 4194304 8223781 140735917815008 18446744073709551615 6564760 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46435 43708 573 984 0 45448 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 185740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12297 /proc/meminfo: memFree=1426444/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186064 CPUtime=1121.86 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5204004 0 0 0 110017 2169 0 0 25 0 1 0 10004458 190529536 43771 1992294400 4194304 8223781 140735917815008 18446744073709551615 6251364 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46516 43771 573 984 0 45529 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 186064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12299 /proc/meminfo: memFree=1426320/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186184 CPUtime=1181.84 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5238062 0 0 0 115983 2201 0 0 25 0 1 0 10004458 190652416 43822 1992294400 4194304 8223781 140735917815008 18446744073709551615 6539331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46546 43822 573 984 0 45559 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 186184 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12301 /proc/meminfo: memFree=1426568/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185708 CPUtime=1241.82 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5277157 0 0 0 121945 2237 0 0 25 0 1 0 10004458 190164992 43456 1992294400 4194304 8223781 140735917815008 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46427 43456 573 984 0 45440 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 185708 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12303 /proc/meminfo: memFree=1426444/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186120 CPUtime=1301.81 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5314798 0 0 0 127909 2272 0 0 25 0 1 0 10004458 190586880 43809 1992294400 4194304 8223781 140735917815008 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46530 43809 573 984 0 45543 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 186120 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12305 /proc/meminfo: memFree=1426196/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186364 CPUtime=1361.78 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5346282 0 0 0 133876 2302 0 0 25 0 1 0 10004458 190836736 43876 1992294400 4194304 8223781 140735917815008 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46591 43876 573 984 0 45604 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 186364 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12305 /proc/meminfo: memFree=1426816/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186272 CPUtime=1421.76 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5377273 0 0 0 139844 2332 0 0 25 0 1 0 10004458 190742528 43812 1992294400 4194304 8223781 140735917815008 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46568 43812 573 984 0 45581 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 186272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12307 /proc/meminfo: memFree=1426320/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186504 CPUtime=1481.73 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5412377 0 0 0 145806 2367 0 0 25 0 1 0 10004458 190980096 43836 1992294400 4194304 8223781 140735917815008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46626 43836 573 984 0 45639 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 186504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12309 /proc/meminfo: memFree=1426320/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186316 CPUtime=1541.71 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5442046 0 0 0 151774 2397 0 0 25 0 1 0 10004458 190787584 43837 1992294400 4194304 8223781 140735917815008 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46579 43837 573 984 0 45592 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 186316 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12311 /proc/meminfo: memFree=1426072/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186560 CPUtime=1601.69 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5471946 0 0 0 157739 2430 0 0 25 0 1 0 10004458 191037440 43899 1992294400 4194304 8223781 140735917815008 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46640 43899 573 984 0 45653 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 186560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12313 /proc/meminfo: memFree=1426444/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186048 CPUtime=1661.67 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5510599 0 0 0 163701 2466 0 0 25 0 1 0 10004458 190513152 43791 1992294400 4194304 8223781 140735917815008 18446744073709551615 6503920 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46512 43791 573 984 0 45525 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 186048 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12313 /proc/meminfo: memFree=1426072/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=185848 CPUtime=1721.64 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5541323 0 0 0 169667 2497 0 0 25 0 1 0 10004458 190308352 43482 1992294400 4194304 8223781 140735917815008 18446744073709551615 6503867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46462 43482 573 984 0 45475 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 185848 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12315 /proc/meminfo: memFree=1425824/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186628 CPUtime=1781.63 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5568875 0 0 0 175635 2528 0 0 25 0 1 0 10004458 191107072 43896 1992294400 4194304 8223781 140735917815008 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46657 43896 573 984 0 45670 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 186628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12317 /proc/meminfo: memFree=1425700/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186696 CPUtime=1800.03 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5576575 0 0 0 177466 2537 0 0 25 0 1 0 10004458 191176704 43903 1992294400 4194304 8223781 140735917815008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46674 43903 573 984 0 45687 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 186696 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12317 /proc/meminfo: memFree=1425700/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186696 CPUtime=1800.72 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5576917 0 0 0 177534 2538 0 0 25 0 1 0 10004458 191176704 43896 1992294400 4194304 8223781 140735917815008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46674 43896 573 984 0 45687 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 186696 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12318 /proc/meminfo: memFree=1425692/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=186696 CPUtime=1801.52 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5577252 0 0 0 177614 2538 0 0 25 0 1 0 10004458 191176704 43892 1992294400 4194304 8223781 140735917815008 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12254/statm: 46674 43892 573 984 0 45687 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 186696 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12318 /proc/meminfo: memFree=1425692/2059040 swapFree=4192956/4192956 [pid=12254] ppid=12252 vsize=154408 CPUtime=1801.92 /proc/12254/stat : 12254 (pbscip.linux.x8) R 12252 12254 11138 0 -1 4202496 5577832 0 0 0 177653 2539 0 0 25 0 1 0 10004458 158113792 35843 1992294400 4194304 8223781 140735917815008 18446744073709551615 4998569 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12254/statm: 38602 35843 576 984 0 37615 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 154408 Child status: 0 Real time (s): 1802.68 CPU time (s): 1802 CPU user time (s): 1776.59 CPU system time (s): 25.4091 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (KiB): 190716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.59 system time used= 25.4091 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5577841 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= 1 involuntary context switches= 19990 runsolver used 2.96455 second user time and 8.5367 second system time The end
Begin job on node010 at 2010-06-12 14:00:28 IDJOB=2667442 IDBENCH=1498 IDSOLVER=1169 FILE ID=node010/2667442-1276344028 PBS_JOBID= 11173181 Free space on /tmp= 62496 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.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-2667442-1276344028/watcher-2667442-1276344028 -o /tmp/evaluation-result-2667442-1276344028/solver-2667442-1276344028 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667442-1276344028.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 732cdc3fa8b0bf0f47e882c13d928a6d RANDOM SEED=1416725080 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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1601944 kB Buffers: 109500 kB Cached: 218012 kB SwapCached: 0 kB Active: 154084 kB Inactive: 232696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1601944 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5600 kB Writeback: 0 kB AnonPages: 59280 kB Mapped: 15428 kB Slab: 48392 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181444 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= 62492 MiB End job on node010 at 2010-06-12 14:30:31