| 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.66 | 1790.13 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb |
| MD5SUM | 321349c7a7114538010c83c600c72ae9 |
| 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 | 96.1494 |
| 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 | 8281 |
| Total number of constraints | 826 |
| Number of constraints which are clauses | 364 |
| Number of constraints which are cardinality constraints (but not clauses) | 462 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 91 |
| Maximum length of a constraint | 169 |
| 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 | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 171 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703963-1278548148.opb>
0.10/0.17 c original problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 826 constraints
0.10/0.17 c problem read
0.10/0.17 c No objective function, only one solution is needed.
0.10/0.17 c presolving settings loaded
0.19/0.29 c presolving:
0.49/0.59 c (round 1) 0 del vars, 364 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 0 impls, 364 clqs
0.79/0.84 c (round 2) 0 del vars, 364 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 462 upgd conss, 0 impls, 364 clqs
0.89/0.90 c presolving (3 rounds):
0.89/0.90 c 0 deleted vars, 364 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.90 c 0 implications, 364 cliques
0.89/0.90 c presolved problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 462 constraints
0.89/0.90 c 98 constraints of type <knapsack>
0.89/0.90 c 364 constraints of type <setppc>
0.89/0.90 c transformed objective value is always integral (scale: 1)
0.89/0.90 c Presolving Time: 0.65
0.89/0.90 c - non default parameters ----------------------------------------------------------------------
0.89/0.90 c # SCIP version 1.2.1.3
0.89/0.90 c
0.89/0.90 c # frequency for displaying node information lines
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.90 c display/freq = 10000
0.89/0.90 c
0.89/0.90 c # maximal time in seconds to run
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.90 c limits/time = 1789.83
0.89/0.90 c
0.89/0.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.90 c limits/memory = 1620
0.89/0.90 c
0.89/0.90 c # solving stops, if the given number of solutions were found (-1: no limit)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.90 c limits/solutions = 1
0.89/0.90 c
0.89/0.90 c # maximal number of separation rounds per node (-1: unlimited)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 5]
0.89/0.90 c separating/maxrounds = 1
0.89/0.90 c
0.89/0.90 c # maximal number of separation rounds in the root node (-1: unlimited)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.90 c separating/maxroundsroot = 5
0.89/0.90 c
0.89/0.90 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.90 c # [type: int, range: [1,2], default: 1]
0.89/0.90 c timing/clocktype = 2
0.89/0.90 c
0.89/0.90 c # should presolving try to simplify inequalities
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.90 c constraints/linear/simplifyinequalities = TRUE
0.89/0.90 c
0.89/0.90 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.90 c constraints/indicator/addCouplingCons = TRUE
0.89/0.90 c
0.89/0.90 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.89/0.90 c constraints/knapsack/disaggregation = FALSE
0.89/0.90 c
0.89/0.90 c # should presolving try to simplify knapsacks
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.90 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.90 c
0.89/0.90 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.90 c presolving/probing/maxrounds = 0
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/coefdiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.90 c heuristics/coefdiving/maxlpiterquot = 0.075
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/coefdiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 30]
0.89/0.90 c heuristics/crossover/freq = -1
0.89/0.90 c
0.89/0.90 c # number of nodes added to the contingent of the total nodes
0.89/0.90 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.90 c heuristics/crossover/nodesofs = 750
0.89/0.90 c
0.89/0.90 c # number of nodes without incumbent change that heuristic should wait
0.89/0.90 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.89/0.90 c heuristics/crossover/nwaitingnodes = 100
0.89/0.90 c
0.89/0.90 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.89/0.90 c # [type: real, range: [0,1], default: 0.1]
0.89/0.90 c heuristics/crossover/nodesquot = 0.15
0.89/0.90 c
0.89/0.90 c # minimum percentage of integer variables that have to be fixed
0.89/0.90 c # [type: real, range: [0,1], default: 0.666]
0.89/0.90 c heuristics/crossover/minfixingrate = 0.5
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.90 c heuristics/feaspump/freq = -1
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/feaspump/maxlpiterofs = 2000
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/fracdiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.90 c heuristics/fracdiving/maxlpiterquot = 0.075
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/fracdiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/guideddiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.90 c heuristics/guideddiving/maxlpiterquot = 0.075
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/guideddiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.90 c heuristics/intdiving/maxlpiterquot = 0.075
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/intshifting/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/linesearchdiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.90 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.90 c heuristics/nlp/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.90 c heuristics/objpscostdiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to total iteration number
0.89/0.90 c # [type: real, range: [0,1], default: 0.01]
0.89/0.90 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.90 c heuristics/oneopt/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/pscostdiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.90 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/pscostdiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.90 c heuristics/rens/freq = -1
0.89/0.90 c
0.89/0.90 c # minimum percentage of integer variables that have to be fixable
0.89/0.90 c # [type: real, range: [0,1], default: 0.5]
0.89/0.90 c heuristics/rens/minfixingrate = 0.3
0.89/0.90 c
0.89/0.90 c # number of nodes added to the contingent of the total nodes
0.89/0.90 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.90 c heuristics/rens/nodesofs = 2000
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.90 c heuristics/rootsoldiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.89/0.90 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.90 c heuristics/rounding/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/shifting/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.90 c heuristics/simplerounding/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.90 c heuristics/trivial/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.90 c heuristics/trysol/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.90 c heuristics/veclendiving/freq = -1
0.89/0.90 c
0.89/0.90 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.90 c heuristics/veclendiving/maxlpiterquot = 0.075
0.89/0.90 c
0.89/0.90 c # additional number of allowed LP iterations
0.89/0.90 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.90 c heuristics/veclendiving/maxlpiterofs = 1500
0.89/0.90 c
0.89/0.90 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.90 c heuristics/zirounding/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.90 c separating/cmir/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.90 c separating/flowcover/freq = -1
0.89/0.90 c
0.89/0.90 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.90 c separating/rapidlearning/freq = 0
0.89/0.90 c
0.89/0.90 c -----------------------------------------------------------------------------------------------
0.89/0.90 c start solving
0.89/0.90 c
4.59/4.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.59/4.69 c 4.5s| 1 | 0 | 4224 | - | 29M| 0 | 388 |8281 | 462 |8281 | 462 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.18/7.24 c 7.1s| 1 | 0 | 4412 | - | 29M| 0 | 406 |8281 | 462 |8281 | 468 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
7.49/7.50 c 7.3s| 1 | 0 | 4523 | - | 29M| 0 | 422 |8281 | 462 |8281 | 478 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
7.70/7.75 c 7.6s| 1 | 0 | 4604 | - | 29M| 0 | 432 |8281 | 462 |8281 | 487 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
7.99/8.01 c 7.8s| 1 | 0 | 4701 | - | 29M| 0 | 439 |8281 | 462 |8281 | 498 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
8.19/8.29 c 8.1s| 1 | 0 | 4785 | - | 29M| 0 | 447 |8281 | 462 |8281 | 508 | 46 | 0 | 0 | 0.000000e+00 | -- | Inf
16.18/16.27 c 16.1s| 1 | 2 | 4785 | - | 29M| 0 | 447 |8281 | 462 |8281 | 508 | 46 | 0 | 11 | 0.000000e+00 | -- | Inf
1789.52/1790.01 c
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time (sec) : 1789.83
1789.52/1790.01 c Solving Nodes : 8318
1789.52/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 s UNKNOWN
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time : 1789.83
1789.52/1790.01 c Original Problem :
1789.52/1790.01 c Problem name : HOME/instance-2703963-1278548148.opb
1789.52/1790.01 c Variables : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 826 initial, 826 maximal
1789.52/1790.01 c Presolved Problem :
1789.52/1790.01 c Problem name : t_HOME/instance-2703963-1278548148.opb
1789.52/1790.01 c Variables : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 462 initial, 1859 maximal
1789.52/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.52/1790.01 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.52/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c knapsack : 0.19 0 0 0 0 0 0 0 0
1789.52/1790.01 c setppc : 0.04 0 0 0 0 0 0 0 0
1789.52/1790.01 c linear : 0.31 0 0 0 0 0 364 0 0
1789.52/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c root node : - 0 - - 0 - - - -
1789.52/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c integral : 0 0 0 4885 0 68 630 0 0 9290
1789.52/1790.01 c knapsack : 98 5 19176 0 1 14 117574 0 0 0
1789.52/1790.01 c setppc : 364 5 19162 0 1 272 231933 0 0 0
1789.52/1790.01 c logicor : 0+ 0 9232 0 0 19 1424 0 0 0
1789.52/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.52/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.52/1790.01 c integral : 667.60 0.00 0.00 667.60 0.00
1789.52/1790.01 c knapsack : 32.40 0.03 32.37 0.00 0.00
1789.52/1790.01 c setppc : 4.58 0.00 4.58 0.00 0.00
1789.52/1790.01 c logicor : 0.72 0.00 0.72 0.00 0.00
1789.52/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.52/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.52/1790.01 c vbounds : 0.02 1 0 0
1789.52/1790.01 c rootredcost : 0.01 0 0 0
1789.52/1790.01 c pseudoobj : 0.01 0 0 0
1789.52/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.52/1790.01 c propagation : 4.04 305 305 11885 445.7 167 107.9 -
1789.52/1790.01 c infeasible LP : 84.27 3302 84 3882 1078.4 44 110.1 0
1789.52/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.52/1790.01 c applied globally : - - - 3077 242.6 - - -
1789.52/1790.01 c applied locally : - - - 0 0.0 - - -
1789.52/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.52/1790.01 c cut pool : 0.00 4 - - 1 - (maximal pool size: 46)
1789.52/1790.01 c redcost : 5.04 4757 0 0 0 0
1789.52/1790.01 c impliedbounds : 0.01 5 0 0 0 0
1789.52/1790.01 c intobj : 0.00 0 0 0 0 0
1789.52/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.52/1790.01 c gomory : 0.15 5 0 0 0 0
1789.52/1790.01 c strongcg : 0.14 5 0 0 0 0
1789.52/1790.01 c cmir : 0.00 0 0 0 0 0
1789.52/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.52/1790.01 c clique : 0.08 5 0 0 46 0
1789.52/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.52/1790.01 c mcf : 0.01 1 0 0 0 0
1789.52/1790.01 c rapidlearning : 2.21 1 0 0 0 0
1789.52/1790.01 c Pricers : Time Calls Vars
1789.52/1790.01 c problem variables: 0.00 0 0
1789.52/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c relpscost : 667.58 4885 68 630 0 0 9290
1789.52/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.52/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.52/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c random : 0.00 0 0 0 0 0 0
1789.52/1790.01 c Primal Heuristics : Time Calls Found
1789.52/1790.01 c LP solutions : 0.00 - 0
1789.52/1790.01 c pseudo solutions : 0.00 - 0
1789.52/1790.01 c trivial : 0.01 1 0
1789.52/1790.01 c simplerounding : 0.00 0 0
1789.52/1790.01 c zirounding : 0.00 0 0
1789.52/1790.01 c rounding : 0.00 0 0
1789.52/1790.01 c shifting : 0.00 0 0
1789.52/1790.01 c intshifting : 0.00 0 0
1789.52/1790.01 c oneopt : 0.00 0 0
1789.52/1790.01 c twoopt : 0.00 0 0
1789.52/1790.01 c fixandinfer : 0.00 0 0
1789.52/1790.01 c feaspump : 0.00 0 0
1789.52/1790.01 c coefdiving : 0.00 0 0
1789.52/1790.01 c pscostdiving : 0.00 0 0
1789.52/1790.01 c fracdiving : 0.00 0 0
1789.52/1790.01 c veclendiving : 0.00 0 0
1789.52/1790.01 c intdiving : 0.00 0 0
1789.52/1790.01 c actconsdiving : 0.00 0 0
1789.52/1790.01 c objpscostdiving : 0.00 0 0
1789.52/1790.01 c rootsoldiving : 0.00 0 0
1789.52/1790.01 c linesearchdiving : 0.00 0 0
1789.52/1790.01 c guideddiving : 0.00 0 0
1789.52/1790.01 c octane : 0.00 0 0
1789.52/1790.01 c rens : 0.00 0 0
1789.52/1790.01 c rins : 0.00 0 0
1789.52/1790.01 c localbranching : 0.00 0 0
1789.52/1790.01 c mutation : 0.00 0 0
1789.52/1790.01 c crossover : 0.00 0 0
1789.52/1790.01 c dins : 0.00 0 0
1789.52/1790.01 c undercover : 0.00 0 0
1789.52/1790.01 c nlp : 0.00 0 0
1789.52/1790.01 c trysol : 0.00 0 0
1789.52/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.52/1790.01 c primal LP : 0.03 0 0 0.00 0.00
1789.52/1790.01 c dual LP : 965.55 8174 1206881 147.65 1249.94
1789.52/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.52/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.52/1790.01 c diving/probing LP: 0.00 0 0 0.00 -
1789.52/1790.01 c strong branching : 667.01 2083 709974 340.84 1064.42
1789.52/1790.01 c (at root node) : - 11 4511 410.09 -
1789.52/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.52/1790.01 c B&B Tree :
1789.52/1790.01 c number of runs : 1
1789.52/1790.01 c nodes : 8318
1789.52/1790.01 c nodes (total) : 8318
1789.52/1790.01 c nodes left : 972
1789.52/1790.01 c max depth : 77
1789.52/1790.01 c max depth (total): 77
1789.52/1790.01 c backtracks : 865 (10.4%)
1789.52/1790.01 c delayed cutoffs : 3
1789.52/1790.01 c repropagations : 1472 (2519 domain reductions, 3 cutoffs)
1789.52/1790.01 c avg switch length: 4.96
1789.52/1790.01 c switching time : 6.35
1789.52/1790.01 c Solution :
1789.52/1790.01 c Solutions found : 0 (0 improvements)
1789.52/1790.01 c Primal Bound : -
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Root Iterations : 4785
1789.62/1790.12 c Time complete: 1789.65.
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-2703963-1278548148/watcher-2703963-1278548148 -o /tmp/evaluation-result-2703963-1278548148/solver-2703963-1278548148 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703963-1278548148.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.91 0.95 0.82 3/106 25923 /proc/meminfo: memFree=1701496/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=7904 CPUtime=0 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 1105 0 0 0 0 0 0 0 20 0 1 0 23022478 8093696 1016 1992294400 4194304 8395647 140737248187296 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25923/statm: 1976 1025 365 1026 0 946 0 [startup+0.0172039 s] /proc/loadavg: 0.91 0.95 0.82 3/106 25923 /proc/meminfo: memFree=1701496/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=11528 CPUtime=0.01 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 2179 0 0 0 1 0 0 0 20 0 1 0 23022478 11804672 2090 1992294400 4194304 8395647 140737248187296 18446744073709551615 7370128 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25923/statm: 2882 2090 390 1026 0 1852 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11528 [startup+0.101212 s] /proc/loadavg: 0.91 0.95 0.82 3/106 25923 /proc/meminfo: memFree=1701496/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=18164 CPUtime=0.1 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 3833 0 0 0 9 1 0 0 22 0 1 0 23022478 18599936 3744 1992294400 4194304 8395647 140737248187296 18446744073709551615 7301302 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25923/statm: 4541 3744 390 1026 0 3511 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 18164 [startup+0.301234 s] /proc/loadavg: 0.91 0.95 0.82 3/106 25923 /proc/meminfo: memFree=1701496/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=40220 CPUtime=0.29 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 9428 0 0 0 26 3 0 0 22 0 1 0 23022478 41185280 8985 1992294400 4194304 8395647 140737248187296 18446744073709551615 6078200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 10055 8985 458 1026 0 9025 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40220 [startup+0.701278 s] /proc/loadavg: 0.91 0.95 0.82 3/106 25923 /proc/meminfo: memFree=1701496/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=46912 CPUtime=0.69 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 11135 0 0 0 66 3 0 0 23 0 1 0 23022478 48037888 10692 1992294400 4194304 8395647 140737248187296 18446744073709551615 4954592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 11728 10692 473 1026 0 10698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46912 [startup+1.50137 s] /proc/loadavg: 0.91 0.95 0.82 2/107 25924 /proc/meminfo: memFree=1647300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=60236 CPUtime=1.49 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 15106 0 0 0 144 5 0 0 25 0 1 0 23022478 61681664 14106 1992294400 4194304 8395647 140737248187296 18446744073709551615 6663860 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 15059 14106 573 1026 0 14029 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60236 [startup+3.10054 s] /proc/loadavg: 0.91 0.95 0.82 2/107 25924 /proc/meminfo: memFree=1646432/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=60892 CPUtime=3.09 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 15326 0 0 0 303 6 0 0 25 0 1 0 23022478 62353408 14326 1992294400 4194304 8395647 140737248187296 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 15223 14326 573 1026 0 14193 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60892 [startup+6.30089 s] /proc/loadavg: 0.92 0.95 0.82 2/107 25924 /proc/meminfo: memFree=1603900/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=104444 CPUtime=6.29 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 25919 0 0 0 617 12 0 0 25 0 1 0 23022478 106950656 24919 1992294400 4194304 8395647 140737248187296 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 26111 24919 610 1026 0 25081 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 104444 [startup+12.7006 s] /proc/loadavg: 0.93 0.95 0.82 2/107 25924 /proc/meminfo: memFree=1616796/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=12.69 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26127 0 0 0 1255 14 0 0 25 0 1 0 23022478 91594752 21464 1992294400 4194304 8395647 140737248187296 18446744073709551615 6702076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21464 609 1026 0 21332 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89448 [startup+25.501 s] /proc/loadavg: 0.94 0.96 0.83 2/107 25926 /proc/meminfo: memFree=1616796/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=25.49 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26128 0 0 0 2531 18 0 0 25 0 1 0 23022478 91594752 21465 1992294400 4194304 8395647 140737248187296 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21465 610 1026 0 21332 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89448 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.83 2/107 25926 /proc/meminfo: memFree=1616796/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=51.08 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26128 0 0 0 5084 24 0 0 25 0 1 0 23022478 91594752 21465 1992294400 4194304 8395647 140737248187296 18446744073709551615 6693026 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21465 610 1026 0 21332 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 89448 [startup+102.308 s] /proc/loadavg: 0.98 0.96 0.83 2/107 25928 /proc/meminfo: memFree=1616920/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=102.27 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26128 0 0 0 10189 38 0 0 25 0 1 0 23022478 91594752 21465 1992294400 4194304 8395647 140737248187296 18446744073709551615 6701837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21465 610 1026 0 21332 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 89448 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.84 2/107 25928 /proc/meminfo: memFree=1616796/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=162.25 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26128 0 0 0 16170 55 0 0 25 0 1 0 23022478 91594752 21465 1992294400 4194304 8395647 140737248187296 18446744073709551615 6743215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21465 610 1026 0 21332 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 89448 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 25930 /proc/meminfo: memFree=1616796/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=222.23 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26145 0 0 0 22149 74 0 0 25 0 1 0 23022478 91594752 21482 1992294400 4194304 8395647 140737248187296 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21482 615 1026 0 21332 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 89448 [startup+282.301 s] /proc/loadavg: 1.03 0.99 0.86 2/107 25935 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=282.22 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26145 0 0 0 28125 97 0 0 25 0 1 0 23022478 91594752 21482 1992294400 4194304 8395647 140737248187296 18446744073709551615 6755549 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21482 615 1026 0 21332 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 89448 [startup+342.302 s] /proc/loadavg: 1.01 0.99 0.86 2/107 25937 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=342.21 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26146 0 0 0 34094 127 0 0 25 0 1 0 23022478 91594752 21483 1992294400 4194304 8395647 140737248187296 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21483 616 1026 0 21332 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 89448 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.87 2/107 25939 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=402.18 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26147 0 0 0 40065 153 0 0 25 0 1 0 23022478 91594752 21484 1992294400 4194304 8395647 140737248187296 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21484 616 1026 0 21332 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 89448 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.87 2/107 25939 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=462.18 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26224 0 0 0 46037 181 0 0 25 0 1 0 23022478 91594752 21561 1992294400 4194304 8395647 140737248187296 18446744073709551615 6586893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21561 616 1026 0 21332 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 89448 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.88 2/107 25941 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=522.16 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26224 0 0 0 52008 208 0 0 25 0 1 0 23022478 91594752 21561 1992294400 4194304 8395647 140737248187296 18446744073709551615 6696294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21561 616 1026 0 21332 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 89448 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.89 2/107 25943 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=582.14 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26224 0 0 0 57981 233 0 0 25 0 1 0 23022478 91594752 21561 1992294400 4194304 8395647 140737248187296 18446744073709551615 6502764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21561 616 1026 0 21332 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 89448 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.89 2/107 25945 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=642.13 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26224 0 0 0 63953 260 0 0 25 0 1 0 23022478 91594752 21561 1992294400 4194304 8395647 140737248187296 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21561 616 1026 0 21332 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 89448 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=1002.04 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26226 0 0 0 99779 425 0 0 25 0 1 0 23022478 91594752 21563 1992294400 4194304 8395647 140737248187296 18446744073709551615 6585941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21563 616 1026 0 21332 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 89448 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25955 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=1062.01 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26226 0 0 0 105749 452 0 0 25 0 1 0 23022478 91594752 21563 1992294400 4194304 8395647 140737248187296 18446744073709551615 6586689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21563 616 1026 0 21332 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 89448 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25957 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89448 CPUtime=1122 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26226 0 0 0 111720 480 0 0 25 0 1 0 23022478 91594752 21563 1992294400 4194304 8395647 140737248187296 18446744073709551615 6663864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22362 21563 616 1026 0 21332 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 89448 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25959 /proc/meminfo: memFree=1616300/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=89636 CPUtime=1181.98 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26249 0 0 0 117693 505 0 0 25 0 1 0 23022478 91787264 21586 1992294400 4194304 8395647 140737248187296 18446744073709551615 6652564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22409 21586 616 1026 0 21379 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 89636 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25961 /proc/meminfo: memFree=1615556/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=90704 CPUtime=1241.97 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26511 0 0 0 123665 532 0 0 25 0 1 0 23022478 92880896 21848 1992294400 4194304 8395647 140737248187296 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22676 21848 616 1026 0 21646 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 90704 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25963 /proc/meminfo: memFree=1615556/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=90704 CPUtime=1301.96 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26511 0 0 0 129639 557 0 0 25 0 1 0 23022478 92880896 21848 1992294400 4194304 8395647 140737248187296 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22676 21848 616 1026 0 21646 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 90704 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25963 /proc/meminfo: memFree=1614688/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=91444 CPUtime=1361.94 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26684 0 0 0 135610 584 0 0 25 0 1 0 23022478 93638656 22021 1992294400 4194304 8395647 140737248187296 18446744073709551615 6693748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22861 22021 616 1026 0 21831 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 91444 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25965 /proc/meminfo: memFree=1614440/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=91672 CPUtime=1421.93 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26765 0 0 0 141581 612 0 0 25 0 1 0 23022478 93872128 22102 1992294400 4194304 8395647 140737248187296 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22918 22102 616 1026 0 21888 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 91672 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25967 /proc/meminfo: memFree=1614440/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=91672 CPUtime=1481.91 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 26855 0 0 0 147550 641 0 0 25 0 1 0 23022478 93872128 22192 1992294400 4194304 8395647 140737248187296 18446744073709551615 6023215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 22918 22192 705 1026 0 21888 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 91672 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25969 /proc/meminfo: memFree=1613200/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=93104 CPUtime=1541.89 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 27176 0 0 0 153524 665 0 0 25 0 1 0 23022478 95338496 22513 1992294400 4194304 8395647 140737248187296 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 23276 22513 705 1026 0 22246 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 93104 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25971 /proc/meminfo: memFree=1611836/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=94544 CPUtime=1601.87 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 27521 0 0 0 159492 695 0 0 25 0 1 0 23022478 96813056 22858 1992294400 4194304 8395647 140737248187296 18446744073709551615 6663864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 23636 22858 705 1026 0 22606 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 94544 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25971 /proc/meminfo: memFree=1610844/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=95580 CPUtime=1661.86 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 27752 0 0 0 165461 725 0 0 25 0 1 0 23022478 97873920 23089 1992294400 4194304 8395647 140737248187296 18446744073709551615 6502744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 23895 23089 705 1026 0 22865 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 95580 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25973 /proc/meminfo: memFree=1610472/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=95772 CPUtime=1721.84 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 27872 0 0 0 171433 751 0 0 25 0 1 0 23022478 98070528 23209 1992294400 4194304 8395647 140737248187296 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 23943 23209 705 1026 0 22913 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 95772 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25975 /proc/meminfo: memFree=1608984/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=97156 CPUtime=1781.83 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 28172 0 0 0 177404 779 0 0 25 0 1 0 23022478 99487744 23509 1992294400 4194304 8395647 140737248187296 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 24289 23509 705 1026 0 23259 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 97156 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25975 /proc/meminfo: memFree=1608984/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=97156 CPUtime=1785.02 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 28172 0 0 0 177722 780 0 0 25 0 1 0 23022478 99487744 23509 1992294400 4194304 8395647 140737248187296 18446744073709551615 6697346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 24289 23509 705 1026 0 23259 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 97156 [startup+1788.7 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25975 /proc/meminfo: memFree=1608984/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=97156 CPUtime=1788.22 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 28172 0 0 0 178041 781 0 0 25 0 1 0 23022478 99487744 23509 1992294400 4194304 8395647 140737248187296 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 24289 23509 705 1026 0 23259 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 97156 [startup+1789.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25975 /proc/meminfo: memFree=1608984/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=97156 CPUtime=1789.02 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 28173 0 0 0 178121 781 0 0 25 0 1 0 23022478 99487744 23510 1992294400 4194304 8395647 140737248187296 18446744073709551615 6693391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 24289 23510 705 1026 0 23259 0 Current children cumulated CPU time (s) 1789.02 Current children cumulated vsize (KiB) 97156 [startup+1789.9 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25975 /proc/meminfo: memFree=1608860/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=97156 CPUtime=1789.42 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 28243 0 0 0 178161 781 0 0 25 0 1 0 23022478 99487744 23580 1992294400 4194304 8395647 140737248187296 18446744073709551615 6502774 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25923/statm: 24289 23580 705 1026 0 23259 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (KiB) 97156 [startup+1790.1 s] /proc/loadavg: 1.00 0.99 0.91 2/107 25975 /proc/meminfo: memFree=1608860/2059040 swapFree=4156352/4192956 [pid=25923] ppid=25921 vsize=97156 CPUtime=1789.62 /proc/25923/stat : 25923 (pbscip.linux.x8) R 25921 25923 25530 0 -1 4202496 28246 0 0 0 178181 781 0 0 25 0 1 0 23022478 99487744 23583 1992294400 4194304 8395647 140737248187296 18446744073709551615 4713442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25923/statm: 24289 23583 708 1026 0 23259 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (KiB) 97156 Child status: 0 Real time (s): 1790.13 CPU time (s): 1789.66 CPU user time (s): 1781.83 CPU system time (s): 7.83081 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 105084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.83 system time used= 7.83081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28249 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= 3254 runsolver used 2.98754 second user time and 8.42172 second system time The end
Begin job on node038 at 2010-07-08 02:15:48 IDJOB=2703963 IDBENCH=1156 IDSOLVER=1213 FILE ID=node038/2703963-1278548148 PBS_JOBID= 11239501 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.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-2703963-1278548148/watcher-2703963-1278548148 -o /tmp/evaluation-result-2703963-1278548148/solver-2703963-1278548148 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703963-1278548148.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9 RANDOM SEED=1357752742 node038.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.215 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.43 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.215 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1702024 kB Buffers: 60680 kB Cached: 196396 kB SwapCached: 2576 kB Active: 115300 kB Inactive: 167908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1702024 kB SwapTotal: 4192956 kB SwapFree: 4156352 kB Dirty: 11048 kB Writeback: 0 kB AnonPages: 23596 kB Mapped: 13044 kB Slab: 51792 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181720 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node038 at 2010-07-08 02:45:39