| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.86 | 1790.31 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb |
| MD5SUM | 611c10fb20bc9774d31ac4d0681f384d |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| 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 | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31412 |
| Sum of products size (including duplicates) | 62824 |
| Number of different products | 15706 |
| Sum of products size | 31412 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2702846-1278574862.opb>
0.19/0.21 c original problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17208 constraints
0.19/0.21 c problem read
0.19/0.21 c No objective function, only one solution is needed.
0.19/0.21 c presolving settings loaded
0.39/0.42 c presolving:
0.79/0.83 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126648 impls, 1000 clqs
1.00/1.10 c presolving (2 rounds):
1.00/1.10 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.10 c 126648 implications, 1000 cliques
1.00/1.10 c presolved problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17208 constraints
1.00/1.10 c 1 constraints of type <knapsack>
1.00/1.10 c 1500 constraints of type <setppc>
1.00/1.10 c 15706 constraints of type <and>
1.00/1.10 c 1 constraints of type <linear>
1.00/1.10 c transformed objective value is always integral (scale: 1)
1.00/1.10 c Presolving Time: 0.78
1.00/1.10 c - non default parameters ----------------------------------------------------------------------
1.00/1.10 c # SCIP version 1.2.1.3
1.00/1.10 c
1.00/1.10 c # frequency for displaying node information lines
1.00/1.10 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.10 c display/freq = 10000
1.00/1.10 c
1.00/1.10 c # maximal time in seconds to run
1.00/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.10 c limits/time = 1789.8
1.00/1.10 c
1.00/1.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.10 c limits/memory = 1620
1.00/1.10 c
1.00/1.10 c # solving stops, if the given number of solutions were found (-1: no limit)
1.00/1.10 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.10 c limits/solutions = 1
1.00/1.10 c
1.00/1.10 c # maximal number of separation rounds per node (-1: unlimited)
1.00/1.10 c # [type: int, range: [-1,2147483647], default: 5]
1.00/1.10 c separating/maxrounds = 1
1.00/1.10 c
1.00/1.10 c # maximal number of separation rounds in the root node (-1: unlimited)
1.00/1.10 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.10 c separating/maxroundsroot = 5
1.00/1.10 c
1.00/1.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.10 c # [type: int, range: [1,2], default: 1]
1.00/1.10 c timing/clocktype = 2
1.00/1.10 c
1.00/1.10 c # should presolving try to simplify inequalities
1.00/1.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.10 c constraints/linear/simplifyinequalities = TRUE
1.00/1.10 c
1.00/1.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.10 c constraints/indicator/addCouplingCons = TRUE
1.00/1.10 c
1.00/1.10 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.00/1.10 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.00/1.10 c constraints/knapsack/disaggregation = FALSE
1.00/1.10 c
1.00/1.10 c # should presolving try to simplify knapsacks
1.00/1.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.10 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.10 c
1.00/1.10 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.00/1.10 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.10 c presolving/probing/maxrounds = 0
1.00/1.10 c
1.00/1.10 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.00/1.10 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.10 c heuristics/coefdiving/freq = -1
1.00/1.10 c
1.00/1.10 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.10 c heuristics/coefdiving/maxlpiterquot = 0.075
1.00/1.10 c
1.00/1.10 c # additional number of allowed LP iterations
1.00/1.10 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.10 c heuristics/coefdiving/maxlpiterofs = 1500
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 30]
1.10/1.10 c heuristics/crossover/freq = -1
1.10/1.10 c
1.10/1.10 c # number of nodes added to the contingent of the total nodes
1.10/1.10 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.10 c heuristics/crossover/nodesofs = 750
1.10/1.10 c
1.10/1.10 c # number of nodes without incumbent change that heuristic should wait
1.10/1.10 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.10/1.10 c heuristics/crossover/nwaitingnodes = 100
1.10/1.10 c
1.10/1.10 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.10/1.10 c # [type: real, range: [0,1], default: 0.1]
1.10/1.10 c heuristics/crossover/nodesquot = 0.15
1.10/1.10 c
1.10/1.10 c # minimum percentage of integer variables that have to be fixed
1.10/1.10 c # [type: real, range: [0,1], default: 0.666]
1.10/1.10 c heuristics/crossover/minfixingrate = 0.5
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.10 c heuristics/feaspump/freq = -1
1.10/1.10 c
1.10/1.10 c # additional number of allowed LP iterations
1.10/1.10 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.10 c heuristics/feaspump/maxlpiterofs = 2000
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.10 c heuristics/fracdiving/freq = -1
1.10/1.10 c
1.10/1.10 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.10 c heuristics/fracdiving/maxlpiterquot = 0.075
1.10/1.10 c
1.10/1.10 c # additional number of allowed LP iterations
1.10/1.10 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.10 c heuristics/fracdiving/maxlpiterofs = 1500
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.10 c heuristics/guideddiving/freq = -1
1.10/1.10 c
1.10/1.10 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.10 c heuristics/guideddiving/maxlpiterquot = 0.075
1.10/1.10 c
1.10/1.10 c # additional number of allowed LP iterations
1.10/1.10 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.10 c heuristics/guideddiving/maxlpiterofs = 1500
1.10/1.10 c
1.10/1.10 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.10 c heuristics/intdiving/maxlpiterquot = 0.075
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.10 c heuristics/intshifting/freq = -1
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.10 c heuristics/linesearchdiving/freq = -1
1.10/1.10 c
1.10/1.10 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.10 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.10/1.10 c
1.10/1.10 c # additional number of allowed LP iterations
1.10/1.10 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.10 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.10 c heuristics/nlp/freq = -1
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.10 c heuristics/objpscostdiving/freq = -1
1.10/1.10 c
1.10/1.10 c # maximal fraction of diving LP iterations compared to total iteration number
1.10/1.10 c # [type: real, range: [0,1], default: 0.01]
1.10/1.10 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.10/1.10 c
1.10/1.10 c # additional number of allowed LP iterations
1.10/1.10 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.10 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.10/1.10 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.10 c heuristics/oneopt/freq = -1
1.10/1.10 c
1.10/1.10 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.11 c heuristics/pscostdiving/freq = -1
1.10/1.11 c
1.10/1.11 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.11 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.10/1.11 c
1.10/1.11 c # additional number of allowed LP iterations
1.10/1.11 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.11 c heuristics/pscostdiving/maxlpiterofs = 1500
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.11 c heuristics/rens/freq = -1
1.10/1.11 c
1.10/1.11 c # minimum percentage of integer variables that have to be fixable
1.10/1.11 c # [type: real, range: [0,1], default: 0.5]
1.10/1.11 c heuristics/rens/minfixingrate = 0.3
1.10/1.11 c
1.10/1.11 c # number of nodes added to the contingent of the total nodes
1.10/1.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.11 c heuristics/rens/nodesofs = 2000
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.11 c heuristics/rootsoldiving/freq = -1
1.10/1.11 c
1.10/1.11 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.10/1.11 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.10/1.11 c
1.10/1.11 c # additional number of allowed LP iterations
1.10/1.11 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.11 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.11 c heuristics/rounding/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.11 c heuristics/shifting/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.11 c heuristics/simplerounding/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.11 c heuristics/trivial/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.11 c heuristics/trysol/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.11 c heuristics/veclendiving/freq = -1
1.10/1.11 c
1.10/1.11 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.11 c heuristics/veclendiving/maxlpiterquot = 0.075
1.10/1.11 c
1.10/1.11 c # additional number of allowed LP iterations
1.10/1.11 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.11 c heuristics/veclendiving/maxlpiterofs = 1500
1.10/1.11 c
1.10/1.11 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.11 c heuristics/zirounding/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.11 c separating/cmir/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.11 c separating/flowcover/freq = -1
1.10/1.11 c
1.10/1.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11 c separating/rapidlearning/freq = 0
1.10/1.11 c
1.10/1.11 c -----------------------------------------------------------------------------------------------
1.10/1.11 c start solving
1.10/1.12 c
13.69/13.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.72 c 13.5s| 1 | 0 | 2580 | - | 75M| 0 |1436 | 16k| 17k| 16k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
203.14/203.28 c 203s| 1 | 0 | 2772 | - | 76M| 0 |1412 | 16k| 17k| 16k| 32k| 43 | 0 | 0 | 0.000000e+00 | -- | Inf
391.20/391.36 c 391s| 1 | 0 | 2896 | - | 77M| 0 |1412 | 16k| 17k| 16k| 32k| 65 | 0 | 0 | 0.000000e+00 | -- | Inf
583.25/583.46 c 583s| 1 | 0 | 3037 | - | 77M| 0 |1418 | 16k| 17k| 16k| 32k| 76 | 0 | 0 | 0.000000e+00 | -- | Inf
776.60/776.89 c 777s| 1 | 0 | 3295 | - | 77M| 0 |1409 | 16k| 17k| 16k| 32k| 83 | 0 | 0 | 0.000000e+00 | -- | Inf
971.96/972.26 c 972s| 1 | 0 | 3382 | - | 78M| 0 |1398 | 16k| 17k| 16k| 33k| 100 | 0 | 0 | 0.000000e+00 | -- | Inf
1098.93/1099.23 c 1099s| 1 | 2 | 3382 | - | 78M| 0 |1398 | 16k| 17k| 16k| 33k| 100 | 0 | 30 | 0.000000e+00 | -- | Inf
1789.55/1790.04 c
1789.55/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.04 c Solving Time (sec) : 1789.82
1789.55/1790.04 c Solving Nodes : 155
1789.55/1790.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.55/1790.04 c Dual Bound : +0.00000000000000e+00
1789.55/1790.04 c Gap : infinite
1789.55/1790.04 s UNKNOWN
1789.55/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.04 c Solving Time : 1789.82
1789.55/1790.04 c Original Problem :
1789.55/1790.04 c Problem name : HOME/instance-2702846-1278574862.opb
1789.55/1790.04 c Variables : 16706 (16706 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.04 c Constraints : 17208 initial, 17208 maximal
1789.55/1790.04 c Presolved Problem :
1789.55/1790.04 c Problem name : t_HOME/instance-2702846-1278574862.opb
1789.55/1790.04 c Variables : 16706 (16706 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.04 c Constraints : 17208 initial, 17208 maximal
1789.55/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.55/1790.04 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.04 c dualfix : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.04 c implics : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.04 c probing : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.04 c knapsack : 0.05 0 0 0 0 0 0 0 0
1789.55/1790.04 c setppc : 0.02 0 0 0 0 0 0 0 0
1789.55/1790.04 c and : 0.42 0 0 0 0 0 0 0 0
1789.55/1790.04 c linear : 0.12 0 0 0 0 0 0 0 0
1789.55/1790.04 c root node : - 0 - - 0 - - - -
1789.55/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.55/1790.04 c integral : 0 0 0 155 0 0 1 0 0 308
1789.55/1790.04 c knapsack : 1 5 326 0 1 0 0 0 0 0
1789.55/1790.04 c setppc : 1500 5 326 0 1 0 696 0 0 0
1789.55/1790.04 c and : 15706 159 326 0 1 0 25164 40927 0 0
1789.55/1790.04 c linear : 1 5 326 0 1 0 0 0 0 0
1789.55/1790.04 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.55/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.55/1790.04 c integral : 527.21 0.00 0.00 527.21 0.00
1789.55/1790.04 c knapsack : 0.78 0.77 0.01 0.00 0.00
1789.55/1790.04 c setppc : 0.05 0.00 0.04 0.00 0.00
1789.55/1790.04 c and : 2.27 1.85 0.41 0.00 0.01
1789.55/1790.04 c linear : 0.05 0.00 0.05 0.00 0.00
1789.55/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.55/1790.04 c vbounds : 0.00 1 0 0
1789.55/1790.04 c rootredcost : 0.00 0 0 0
1789.55/1790.04 c pseudoobj : 0.00 0 0 0
1789.55/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.55/1790.04 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.04 c applied globally : - - - 0 0.0 - - -
1789.55/1790.04 c applied locally : - - - 0 0.0 - - -
1789.55/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.55/1790.04 c cut pool : 0.00 4 - - 1 - (maximal pool size: 169)
1789.55/1790.04 c redcost : 0.35 159 0 0 0 0
1789.55/1790.04 c impliedbounds : 0.03 5 0 0 91 0
1789.55/1790.04 c intobj : 0.00 0 0 0 0 0
1789.55/1790.04 c cgmip : 0.00 0 0 0 0 0
1789.55/1790.04 c gomory : 283.05 5 0 0 0 0
1789.55/1790.04 c strongcg : 660.39 5 0 0 193 0
1789.55/1790.04 c cmir : 0.00 0 0 0 0 0
1789.55/1790.04 c flowcover : 0.00 0 0 0 0 0
1789.55/1790.04 c clique : 0.63 5 0 0 34 0
1789.55/1790.04 c zerohalf : 0.00 0 0 0 0 0
1789.55/1790.04 c mcf : 6.96 5 0 0 72 0
1789.55/1790.04 c rapidlearning : 0.00 0 0 0 0 0
1789.55/1790.04 c Pricers : Time Calls Vars
1789.55/1790.04 c problem variables: 0.00 0 0
1789.55/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.55/1790.04 c relpscost : 527.21 155 0 1 0 0 308
1789.55/1790.04 c pscost : 0.00 0 0 0 0 0 0
1789.55/1790.04 c inference : 0.01 1 0 0 0 0 2
1789.55/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1789.55/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1789.55/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.04 c random : 0.00 0 0 0 0 0 0
1789.55/1790.04 c Primal Heuristics : Time Calls Found
1789.55/1790.04 c LP solutions : 0.00 - 0
1789.55/1790.04 c pseudo solutions : 0.00 - 0
1789.55/1790.04 c trivial : 0.03 1 0
1789.55/1790.04 c simplerounding : 0.00 0 0
1789.55/1790.04 c zirounding : 0.00 0 0
1789.55/1790.04 c rounding : 0.00 0 0
1789.55/1790.04 c shifting : 0.00 0 0
1789.55/1790.04 c intshifting : 0.00 0 0
1789.55/1790.04 c oneopt : 0.00 0 0
1789.55/1790.04 c twoopt : 0.00 0 0
1789.55/1790.04 c fixandinfer : 0.00 0 0
1789.55/1790.04 c feaspump : 0.00 0 0
1789.55/1790.04 c coefdiving : 0.00 0 0
1789.55/1790.04 c pscostdiving : 0.00 0 0
1789.55/1790.04 c fracdiving : 0.00 0 0
1789.55/1790.04 c veclendiving : 0.00 0 0
1789.55/1790.04 c intdiving : 0.00 0 0
1789.55/1790.04 c actconsdiving : 0.00 0 0
1789.55/1790.04 c objpscostdiving : 0.00 0 0
1789.55/1790.04 c rootsoldiving : 0.00 0 0
1789.55/1790.04 c linesearchdiving : 0.00 0 0
1789.55/1790.04 c guideddiving : 0.00 0 0
1789.55/1790.04 c octane : 0.00 0 0
1789.55/1790.04 c rens : 0.00 0 0
1789.55/1790.04 c rins : 0.00 0 0
1789.55/1790.04 c localbranching : 0.00 0 0
1789.55/1790.04 c mutation : 0.00 0 0
1789.55/1790.04 c crossover : 0.00 0 0
1789.55/1790.04 c dins : 0.00 0 0
1789.55/1790.04 c undercover : 0.00 0 0
1789.55/1790.04 c nlp : 0.00 0 0
1789.55/1790.04 c trysol : 0.00 0 0
1789.55/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1789.55/1790.04 c primal LP : 3.98 0 0 0.00 0.00
1789.55/1790.04 c dual LP : 298.73 315 124791 396.16 417.74
1789.55/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1789.55/1790.04 c barrier LP : 0.00 0 0 0.00 -
1789.55/1790.04 c diving/probing LP: 0.00 0 0 0.00 -
1789.55/1790.04 c strong branching : 527.04 336 183350 545.68 347.88
1789.55/1790.04 c (at root node) : - 30 15791 526.37 -
1789.55/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1789.55/1790.04 c B&B Tree :
1789.55/1790.04 c number of runs : 1
1789.55/1790.04 c nodes : 155
1789.55/1790.04 c nodes (total) : 155
1789.55/1790.04 c nodes left : 156
1789.55/1790.04 c max depth : 29
1789.55/1790.04 c max depth (total): 29
1789.55/1790.04 c backtracks : 23 (14.8%)
1789.55/1790.04 c delayed cutoffs : 0
1789.55/1790.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.55/1790.04 c avg switch length: 3.14
1789.55/1790.04 c switching time : 4.47
1789.55/1790.04 c Solution :
1789.55/1790.04 c Solutions found : 0 (0 improvements)
1789.55/1790.04 c Primal Bound : -
1789.55/1790.04 c Dual Bound : +0.00000000000000e+00
1789.55/1790.04 c Gap : infinite
1789.55/1790.04 c Root Dual Bound : +0.00000000000000e+00
1789.55/1790.04 c Root Iterations : 3382
1789.85/1790.30 c Time complete: 1789.85.
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-2702846-1278574862/watcher-2702846-1278574862 -o /tmp/evaluation-result-2702846-1278574862/solver-2702846-1278574862 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702846-1278574862.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.85 3/106 32349 /proc/meminfo: memFree=1843748/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=7904 CPUtime=0 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 1039 0 0 0 0 0 0 0 25 0 1 0 25692661 8093696 951 1992294400 4194304 8395647 140734120163104 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32349/statm: 1976 959 365 1026 0 946 0 [startup+0.0278309 s] /proc/loadavg: 0.99 0.97 0.85 3/106 32349 /proc/meminfo: memFree=1843748/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=13524 CPUtime=0.02 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 2656 0 0 0 2 0 0 0 25 0 1 0 25692661 13848576 2568 1992294400 4194304 8395647 140734120163104 18446744073709551615 4246004 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32349/statm: 3381 2568 390 1026 0 2351 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13524 [startup+0.100837 s] /proc/loadavg: 0.99 0.97 0.85 3/106 32349 /proc/meminfo: memFree=1843748/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=23696 CPUtime=0.09 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 5064 0 0 0 8 1 0 0 25 0 1 0 25692661 24264704 4977 1992294400 4194304 8395647 140734120163104 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32349/statm: 5924 4988 390 1026 0 4894 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23696 [startup+0.300855 s] /proc/loadavg: 0.99 0.97 0.85 3/106 32349 /proc/meminfo: memFree=1843748/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=51456 CPUtime=0.29 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 12433 0 0 0 25 4 0 0 25 0 1 0 25692661 52690944 11991 1992294400 4194304 8395647 140734120163104 18446744073709551615 6345756 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 12864 11991 411 1026 0 11834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51456 [startup+0.700889 s] /proc/loadavg: 0.99 0.97 0.85 3/106 32349 /proc/meminfo: memFree=1843748/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=64608 CPUtime=0.69 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 15532 0 0 0 64 5 0 0 25 0 1 0 25692661 66158592 15090 1992294400 4194304 8395647 140734120163104 18446744073709551615 6013843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 16152 15090 466 1026 0 15122 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64608 [startup+1.50096 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32350 /proc/meminfo: memFree=1778392/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=130392 CPUtime=1.49 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 31924 0 0 0 138 11 0 0 25 0 1 0 25692661 133521408 30622 1992294400 4194304 8395647 140734120163104 18446744073709551615 6739916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 32598 30622 582 1026 0 31568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 130392 [startup+3.1011 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32350 /proc/meminfo: memFree=1719368/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=138020 CPUtime=3.09 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 33696 0 0 0 297 12 0 0 25 0 1 0 25692661 141332480 32284 1992294400 4194304 8395647 140734120163104 18446744073709551615 6699275 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 34505 32284 589 1026 0 33475 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 138020 [startup+6.30137 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32350 /proc/meminfo: memFree=1714160/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=140184 CPUtime=6.29 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 34165 0 0 0 617 12 0 0 25 0 1 0 25692661 143548416 32746 1992294400 4194304 8395647 140734120163104 18446744073709551615 6698072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 35046 32746 589 1026 0 34016 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 140184 [startup+12.7009 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32350 /proc/meminfo: memFree=1711432/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=142492 CPUtime=12.69 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 34889 0 0 0 1255 14 0 0 25 0 1 0 25692661 145911808 33466 1992294400 4194304 8395647 140734120163104 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 35623 33466 589 1026 0 34593 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 142492 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32350 /proc/meminfo: memFree=1711432/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=142492 CPUtime=25.48 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 34906 0 0 0 2533 15 0 0 25 0 1 0 25692661 145911808 33483 1992294400 4194304 8395647 140734120163104 18446744073709551615 6440610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 35623 33483 605 1026 0 34593 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 142492 [startup+51.1003 s] /proc/loadavg: 0.99 0.97 0.86 2/107 32350 /proc/meminfo: memFree=1711432/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=142492 CPUtime=51.07 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 34906 0 0 0 5088 19 0 0 25 0 1 0 25692661 145911808 33483 1992294400 4194304 8395647 140734120163104 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 35623 33483 605 1026 0 34593 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 142492 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.86 2/107 32352 /proc/meminfo: memFree=1711432/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=142492 CPUtime=102.28 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 34917 0 0 0 10202 26 0 0 25 0 1 0 25692661 145911808 33488 1992294400 4194304 8395647 140734120163104 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 35623 33488 604 1026 0 34593 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 142492 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.87 2/107 32354 /proc/meminfo: memFree=1711308/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=142492 CPUtime=162.25 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 34939 0 0 0 16194 31 0 0 25 0 1 0 25692661 145911808 33510 1992294400 4194304 8395647 140734120163104 18446744073709551615 6125361 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 35623 33510 604 1026 0 34593 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 142492 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.87 2/107 32356 /proc/meminfo: memFree=1703372/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=150828 CPUtime=222.23 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 37044 0 0 0 22184 39 0 0 25 0 1 0 25692661 154447872 35538 1992294400 4194304 8395647 140734120163104 18446744073709551615 6197330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 37707 35538 636 1026 0 36677 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 150828 [startup+282.3 s] /proc/loadavg: 0.99 0.97 0.88 2/107 32356 /proc/meminfo: memFree=1703372/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=150828 CPUtime=282.22 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 37044 0 0 0 28174 48 0 0 25 0 1 0 25692661 154447872 35538 1992294400 4194304 8395647 140734120163104 18446744073709551615 7185435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 37707 35538 636 1026 0 36677 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 150828 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.89 2/107 32358 /proc/meminfo: memFree=1703372/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=150828 CPUtime=342.21 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 37044 0 0 0 34168 53 0 0 25 0 1 0 25692661 154447872 35538 1992294400 4194304 8395647 140734120163104 18446744073709551615 6124483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 37707 35538 636 1026 0 36677 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 150828 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.89 2/107 32360 /proc/meminfo: memFree=1698164/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=155652 CPUtime=402.2 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 38336 0 0 0 40162 58 0 0 25 0 1 0 25692661 159387648 36829 1992294400 4194304 8395647 140734120163104 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 38913 36829 635 1026 0 37883 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 155652 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.90 2/107 32362 /proc/meminfo: memFree=1698164/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=155652 CPUtime=462.18 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 38336 0 0 0 46150 68 0 0 25 0 1 0 25692661 159387648 36829 1992294400 4194304 8395647 140734120163104 18446744073709551615 6126534 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 38913 36829 635 1026 0 37883 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 155652 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.90 2/107 32364 /proc/meminfo: memFree=1698164/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=155652 CPUtime=522.17 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 38336 0 0 0 52144 73 0 0 25 0 1 0 25692661 159387648 36829 1992294400 4194304 8395647 140734120163104 18446744073709551615 4270188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 38913 36829 635 1026 0 37883 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 155652 [startup+582.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32364 /proc/meminfo: memFree=1698164/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=156620 CPUtime=582.15 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 38686 0 0 0 58138 77 0 0 25 0 1 0 25692661 160378880 37179 1992294400 4194304 8395647 140734120163104 18446744073709551615 6741432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 39155 37179 635 1026 0 38125 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 156620 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32366 /proc/meminfo: memFree=1695684/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=157652 CPUtime=642.14 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 38940 0 0 0 64126 88 0 0 25 0 1 0 25692661 161435648 37433 1992294400 4194304 8395647 140734120163104 18446744073709551615 6129366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 39413 37433 635 1026 0 38383 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 157652 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1692708/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1002.05 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39631 0 0 0 100077 128 0 0 25 0 1 0 25692661 164900864 38124 1992294400 4194304 8395647 140734120163104 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38124 638 1026 0 39229 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 161036 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32378 /proc/meminfo: memFree=1692336/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1062.03 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39717 0 0 0 106064 139 0 0 25 0 1 0 25692661 164900864 38210 1992294400 4194304 8395647 140734120163104 18446744073709551615 6741786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38210 638 1026 0 39229 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 161036 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32380 /proc/meminfo: memFree=1692336/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1122.02 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39731 0 0 0 112051 151 0 0 25 0 1 0 25692661 164900864 38224 1992294400 4194304 8395647 140734120163104 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38224 642 1026 0 39229 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 161036 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32380 /proc/meminfo: memFree=1692212/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1182.01 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39732 0 0 0 118032 169 0 0 25 0 1 0 25692661 164900864 38225 1992294400 4194304 8395647 140734120163104 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38225 642 1026 0 39229 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 161036 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32391 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1241.98 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39735 0 0 0 124010 188 0 0 25 0 1 0 25692661 164900864 38228 1992294400 4194304 8395647 140734120163104 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38228 642 1026 0 39229 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 161036 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32393 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1301.97 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39738 0 0 0 129991 206 0 0 25 0 1 0 25692661 164900864 38231 1992294400 4194304 8395647 140734120163104 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38231 642 1026 0 39229 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 161036 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32395 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1361.95 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39741 0 0 0 135972 223 0 0 25 0 1 0 25692661 164900864 38234 1992294400 4194304 8395647 140734120163104 18446744073709551615 6696343 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38234 642 1026 0 39229 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 161036 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32397 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1421.94 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39750 0 0 0 141953 241 0 0 25 0 1 0 25692661 164900864 38243 1992294400 4194304 8395647 140734120163104 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38243 642 1026 0 39229 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 161036 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32397 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1481.92 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39752 0 0 0 147934 258 0 0 25 0 1 0 25692661 164900864 38245 1992294400 4194304 8395647 140734120163104 18446744073709551615 6740308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38245 642 1026 0 39229 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 161036 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32399 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1541.91 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39763 0 0 0 153915 276 0 0 25 0 1 0 25692661 164900864 38256 1992294400 4194304 8395647 140734120163104 18446744073709551615 6635648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38256 642 1026 0 39229 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 161036 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32401 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1601.89 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39764 0 0 0 159896 293 0 0 25 0 1 0 25692661 164900864 38257 1992294400 4194304 8395647 140734120163104 18446744073709551615 6585824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38257 642 1026 0 39229 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 161036 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32403 /proc/meminfo: memFree=1691344/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1661.87 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39765 0 0 0 165878 309 0 0 25 0 1 0 25692661 164900864 38258 1992294400 4194304 8395647 140734120163104 18446744073709551615 6701805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38258 643 1026 0 39229 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 161036 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32405 /proc/meminfo: memFree=1691220/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1721.86 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39767 0 0 0 171861 325 0 0 25 0 1 0 25692661 164900864 38260 1992294400 4194304 8395647 140734120163104 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38260 643 1026 0 39229 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 161036 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32405 /proc/meminfo: memFree=1691096/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1781.84 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39767 0 0 0 177840 344 0 0 25 0 1 0 25692661 164900864 38260 1992294400 4194304 8395647 140734120163104 18446744073709551615 6742834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38260 643 1026 0 39229 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 161036 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32405 /proc/meminfo: memFree=1691096/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1785.05 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39767 0 0 0 178160 345 0 0 25 0 1 0 25692661 164900864 38260 1992294400 4194304 8395647 140734120163104 18446744073709551615 6670373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38260 643 1026 0 39229 0 Current children cumulated CPU time (s) 1785.05 Current children cumulated vsize (KiB) 161036 [startup+1788.7 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32407 /proc/meminfo: memFree=1691096/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1788.25 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39767 0 0 0 178478 347 0 0 25 0 1 0 25692661 164900864 38260 1992294400 4194304 8395647 140734120163104 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38260 643 1026 0 39229 0 Current children cumulated CPU time (s) 1788.25 Current children cumulated vsize (KiB) 161036 [startup+1789.5 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32407 /proc/meminfo: memFree=1691096/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1789.05 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39767 0 0 0 178558 347 0 0 25 0 1 0 25692661 164900864 38260 1992294400 4194304 8395647 140734120163104 18446744073709551615 6586738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38260 643 1026 0 39229 0 Current children cumulated CPU time (s) 1789.05 Current children cumulated vsize (KiB) 161036 [startup+1789.9 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32407 /proc/meminfo: memFree=1691096/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=161036 CPUtime=1789.45 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39767 0 0 0 178598 347 0 0 25 0 1 0 25692661 164900864 38260 1992294400 4194304 8395647 140734120163104 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32349/statm: 40259 38260 643 1026 0 39229 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (KiB) 161036 [startup+1790.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 32407 /proc/meminfo: memFree=1691096/2059040 swapFree=4139820/4192956 [pid=32349] ppid=32347 vsize=57180 CPUtime=1789.85 /proc/32349/stat : 32349 (pbscip.linux.x8) R 32347 32349 32113 0 -1 4202496 39774 0 0 0 178636 349 0 0 25 0 1 0 25692661 58552320 8068 1992294400 4194304 8395647 140734120163104 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32349/statm: 14295 8068 636 1026 0 13265 0 Current children cumulated CPU time (s) 1789.85 Current children cumulated vsize (KiB) 57180 Child status: 0 Real time (s): 1790.31 CPU time (s): 1789.86 CPU user time (s): 1786.37 CPU system time (s): 3.49447 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 161036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.37 system time used= 3.49447 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39780 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 6591 runsolver used 3.07253 second user time and 8.33573 second system time The end
Begin job on node055 at 2010-07-08 09:41:02 IDJOB=2702846 IDBENCH=48295 IDSOLVER=1213 FILE ID=node055/2702846-1278574862 PBS_JOBID= 11240072 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_5_80.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-2702846-1278574862/watcher-2702846-1278574862 -o /tmp/evaluation-result-2702846-1278574862/solver-2702846-1278574862 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702846-1278574862.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 611c10fb20bc9774d31ac4d0681f384d RANDOM SEED=877399735 node055.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.224 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.44 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.224 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844276 kB Buffers: 22180 kB Cached: 105000 kB SwapCached: 6292 kB Active: 43212 kB Inactive: 97280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844276 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 10796 kB Writeback: 0 kB AnonPages: 11860 kB Mapped: 12068 kB Slab: 52276 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178880 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= 62572 MiB End job on node055 at 2010-07-08 10:10:53