| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.45 | 1800.9 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb |
| MD5SUM | c1794605d16cd8196553c490f5507fd9 |
| 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| 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 | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12452 |
| Sum of products size (including duplicates) | 24904 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666295-1276677994.opb>
0.09/0.10 c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.09/0.10 c problem read
0.09/0.10 c No objective function, only one solution is needed.
0.09/0.10 c presolving settings loaded
0.09/0.18 c presolving:
0.39/0.48 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50208 impls, 400 clqs
0.69/0.70 c presolving (2 rounds):
0.69/0.70 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.70 c 50208 implications, 400 cliques
0.69/0.70 c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.69/0.70 c 1 constraints of type <knapsack>
0.69/0.70 c 400 constraints of type <setppc>
0.69/0.70 c 6226 constraints of type <and>
0.69/0.70 c 1 constraints of type <linear>
0.69/0.70 c 200 constraints of type <logicor>
0.69/0.70 c transformed objective value is always integral (scale: 1)
0.69/0.70 c Presolving Time: 0.36
0.69/0.70 c - non default parameters ----------------------------------------------------------------------
0.69/0.70 c # SCIP version 1.2.1.2
0.69/0.70 c
0.69/0.70 c # frequency for displaying node information lines
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.71 c display/freq = 10000
0.69/0.71 c
0.69/0.71 c # maximal time in seconds to run
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.71 c limits/time = 1799.91
0.69/0.71 c
0.69/0.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.71 c limits/memory = 1620
0.69/0.71 c
0.69/0.71 c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c limits/solutions = 1
0.69/0.71 c
0.69/0.71 c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.71 c separating/maxrounds = 1
0.69/0.71 c
0.69/0.71 c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c separating/maxroundsroot = 5
0.69/0.71 c
0.69/0.71 c # should presolving try to simplify inequalities
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c constraints/linear/simplifyinequalities = TRUE
0.69/0.71 c
0.69/0.71 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.71 c constraints/knapsack/disaggregation = FALSE
0.69/0.71 c
0.69/0.71 c # should presolving try to simplify knapsacks
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.71 c
0.69/0.71 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c presolving/probing/maxrounds = 0
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/coefdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.71 c heuristics/crossover/freq = -1
0.69/0.71 c
0.69/0.71 c # number of nodes added to the contingent of the total nodes
0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.71 c heuristics/crossover/nodesofs = 750
0.69/0.71 c
0.69/0.71 c # number of nodes without incumbent change that heuristic should wait
0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.71 c heuristics/crossover/nwaitingnodes = 100
0.69/0.71 c
0.69/0.71 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.71 c # [type: real, range: [0,1], default: 0.1]
0.69/0.71 c heuristics/crossover/nodesquot = 0.15
0.69/0.71 c
0.69/0.71 c # minimum percentage of integer variables that have to be fixed
0.69/0.71 c # [type: real, range: [0,1], default: 0.666]
0.69/0.71 c heuristics/crossover/minfixingrate = 0.5
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71 c heuristics/feaspump/freq = -1
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/fracdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/guideddiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/intshifting/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/linesearchdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/nlp/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71 c heuristics/objpscostdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.71 c # [type: real, range: [0,1], default: 0.01]
0.69/0.71 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/oneopt/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/pscostdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c heuristics/rens/freq = -1
0.69/0.71 c
0.69/0.71 c # minimum percentage of integer variables that have to be fixable
0.69/0.71 c # [type: real, range: [0,1], default: 0.5]
0.69/0.71 c heuristics/rens/minfixingrate = 0.3
0.69/0.71 c
0.69/0.71 c # number of nodes added to the contingent of the total nodes
0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.71 c heuristics/rens/nodesofs = 2000
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71 c heuristics/rootsoldiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.71 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/rounding/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/shifting/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/simplerounding/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c heuristics/trivial/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/trysol/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/veclendiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/zirounding/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c separating/cmir/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c separating/flowcover/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c separating/rapidlearning/freq = 0
0.69/0.71 c
0.69/0.71 c -----------------------------------------------------------------------------------------------
0.69/0.71 c start solving
0.69/0.71 c
3.20/3.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.22 c 2.8s| 1 | 0 | 1444 | - | 30M| 0 | 819 |6626 |6828 |6626 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.78/31.81 c 31.1s| 1 | 0 | 1563 | - | 31M| 0 | 803 |6626 |6828 |6626 | 13k| 65 | 0 | 0 | 0.000000e+00 | -- | Inf
62.58/62.63 c 61.8s| 1 | 0 | 1641 | - | 31M| 0 | 786 |6626 |6828 |6626 | 13k| 78 | 0 | 0 | 0.000000e+00 | -- | Inf
94.17/94.22 c 93.3s| 1 | 0 | 1743 | - | 33M| 0 | 793 |6626 |6828 |6626 | 13k| 86 | 0 | 0 | 0.000000e+00 | -- | Inf
123.96/124.07 c 123s| 1 | 0 | 1802 | - | 34M| 0 | 771 |6626 |6828 |6626 | 13k| 91 | 0 | 0 | 0.000000e+00 | -- | Inf
153.06/153.13 c 152s| 1 | 0 | 1904 | - | 35M| 0 | 753 |6626 |6828 |6626 | 13k| 101 | 0 | 0 | 0.000000e+00 | -- | Inf
169.85/169.98 c 169s| 1 | 2 | 1904 | - | 35M| 0 | 753 |6626 |6828 |6626 | 13k| 101 | 0 | 9 | 0.000000e+00 | -- | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.25/1800.73 c
1800.25/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.25/1800.73 c Solving Time (sec) : 1781.01
1800.25/1800.73 c Solving Nodes : 1487
1800.25/1800.73 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.25/1800.73 c Dual Bound : +0.00000000000000e+00
1800.25/1800.73 c Gap : infinite
1800.25/1800.73 s UNKNOWN
1800.25/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.25/1800.73 c Solving Time : 1781.01
1800.25/1800.73 c Original Problem :
1800.25/1800.73 c Problem name : HOME/instance-2666295-1276677994.opb
1800.25/1800.73 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.73 c Constraints : 6828 initial, 6828 maximal
1800.25/1800.73 c Presolved Problem :
1800.25/1800.73 c Problem name : t_HOME/instance-2666295-1276677994.opb
1800.25/1800.73 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.73 c Constraints : 6828 initial, 7961 maximal
1800.25/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.25/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c implics : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c probing : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.25/1800.73 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c and : 0.23 0 0 0 0 0 0 0 0
1800.25/1800.73 c linear : 0.05 0 0 0 0 0 0 0 0
1800.25/1800.73 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.25/1800.73 c root node : - 0 - - 0 - - - -
1800.25/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.25/1800.73 c integral : 0 0 0 1086 0 5 174 0 0 1914
1800.25/1800.73 c knapsack : 1 5 5571 0 0 0 0 0 0 0
1800.25/1800.73 c setppc : 400 5 5571 0 0 14 14965 0 0 0
1800.25/1800.73 c and : 6226 1379 5557 0 0 0 366492 418331 0 0
1800.25/1800.73 c linear : 1 5 5557 0 0 0 0 0 0 0
1800.25/1800.73 c logicor : 200+ 5 1949 0 0 3 1235 0 0 0
1800.25/1800.73 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.25/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.25/1800.73 c integral : 602.38 0.00 0.00 602.38 0.00
1800.25/1800.73 c knapsack : 0.10 0.06 0.04 0.00 0.00
1800.25/1800.73 c setppc : 0.14 0.00 0.14 0.00 0.00
1800.25/1800.73 c and : 7.94 5.19 2.75 0.00 0.00
1800.25/1800.73 c linear : 0.31 0.00 0.31 0.00 0.00
1800.25/1800.73 c logicor : 0.16 0.00 0.16 0.00 0.00
1800.25/1800.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.25/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.25/1800.73 c vbounds : 0.00 1 0 0
1800.25/1800.73 c rootredcost : 0.01 0 0 0
1800.25/1800.73 c pseudoobj : 0.00 0 0 0
1800.25/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.25/1800.73 c propagation : 0.00 17 17 27 12.4 0 0.0 -
1800.25/1800.73 c infeasible LP : 2.41 508 505 4343 37.2 0 0.0 0
1800.25/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.25/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.25/1800.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.25/1800.73 c applied globally : - - - 1189 52.1 - - -
1800.25/1800.73 c applied locally : - - - 0 0.0 - - -
1800.25/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.25/1800.73 c cut pool : 0.00 4 - - 5 - (maximal pool size: 417)
1800.25/1800.73 c redcost : 1.22 1379 0 0 0 0
1800.25/1800.73 c impliedbounds : 0.01 5 0 0 83 0
1800.25/1800.73 c intobj : 0.00 0 0 0 0 0
1800.25/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.25/1800.73 c gomory : 39.39 5 0 0 42 0
1800.25/1800.73 c strongcg : 106.53 5 0 0 991 0
1800.25/1800.73 c cmir : 0.00 0 0 0 0 0
1800.25/1800.73 c flowcover : 0.00 0 0 0 0 0
1800.25/1800.73 c clique : 0.19 5 0 0 31 0
1800.25/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.25/1800.73 c mcf : 0.70 5 0 0 91 0
1800.25/1800.73 c rapidlearning : 0.85 1 0 0 0 0
1800.25/1800.73 c Pricers : Time Calls Vars
1800.25/1800.73 c problem variables: 0.00 0 0
1800.25/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.25/1800.73 c relpscost : 602.38 1086 5 174 0 0 1914
1800.25/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.25/1800.73 c inference : 0.00 0 0 0 0 0 0
1800.25/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.25/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.25/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.25/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.25/1800.73 c random : 0.00 0 0 0 0 0 0
1800.25/1800.73 c Primal Heuristics : Time Calls Found
1800.25/1800.73 c LP solutions : 0.00 - 0
1800.25/1800.73 c pseudo solutions : 0.00 - 0
1800.25/1800.73 c trivial : 0.01 1 0
1800.25/1800.73 c simplerounding : 0.00 0 0
1800.25/1800.73 c zirounding : 0.00 0 0
1800.25/1800.73 c rounding : 0.00 0 0
1800.25/1800.73 c shifting : 0.00 0 0
1800.25/1800.73 c intshifting : 0.00 0 0
1800.25/1800.73 c oneopt : 0.00 0 0
1800.25/1800.73 c twoopt : 0.00 0 0
1800.25/1800.73 c fixandinfer : 0.00 0 0
1800.25/1800.73 c feaspump : 0.00 0 0
1800.25/1800.73 c coefdiving : 0.00 0 0
1800.25/1800.73 c pscostdiving : 0.00 0 0
1800.25/1800.73 c fracdiving : 0.00 0 0
1800.25/1800.73 c veclendiving : 0.00 0 0
1800.25/1800.73 c intdiving : 0.00 0 0
1800.25/1800.73 c actconsdiving : 0.00 0 0
1800.25/1800.73 c objpscostdiving : 0.00 0 0
1800.25/1800.73 c rootsoldiving : 0.00 0 0
1800.25/1800.73 c linesearchdiving : 0.00 0 0
1800.25/1800.73 c guideddiving : 0.00 0 0
1800.25/1800.73 c octane : 0.00 0 0
1800.25/1800.73 c rens : 0.00 0 0
1800.25/1800.73 c rins : 0.00 0 0
1800.25/1800.73 c localbranching : 0.00 0 0
1800.25/1800.73 c mutation : 0.00 0 0
1800.25/1800.73 c crossover : 0.00 0 0
1800.25/1800.73 c dins : 0.00 0 0
1800.25/1800.73 c undercover : 0.00 0 0
1800.25/1800.73 c nlp : 0.00 0 0
1800.25/1800.73 c trysol : 0.00 0 0
1800.25/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.25/1800.73 c primal LP : 5.74 0 0 0.00 0.00
1800.25/1800.73 c dual LP : 992.46 2973 1058417 356.01 1066.46
1800.25/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.25/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.25/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.25/1800.73 c strong branching : 601.86 2979 635955 213.48 1056.65
1800.25/1800.73 c (at root node) : - 9 5142 571.33 -
1800.25/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.25/1800.73 c B&B Tree :
1800.25/1800.73 c number of runs : 1
1800.25/1800.73 c nodes : 1487
1800.25/1800.73 c nodes (total) : 1487
1800.25/1800.73 c nodes left : 311
1800.25/1800.73 c max depth : 30
1800.25/1800.73 c max depth (total): 30
1800.25/1800.73 c backtracks : 272 (18.3%)
1800.25/1800.73 c delayed cutoffs : 117
1800.25/1800.73 c repropagations : 1207 (18798 domain reductions, 0 cutoffs)
1800.25/1800.73 c avg switch length: 5.45
1800.25/1800.73 c switching time : 9.50
1800.25/1800.73 c Solution :
1800.25/1800.73 c Solutions found : 0 (0 improvements)
1800.25/1800.73 c Primal Bound : -
1800.25/1800.73 c Dual Bound : +0.00000000000000e+00
1800.25/1800.73 c Gap : infinite
1800.25/1800.73 c Root Dual Bound : +0.00000000000000e+00
1800.25/1800.73 c Root Iterations : 1904
1800.34/1800.89 c Time complete: 1800.44.
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-2666295-1276677994/watcher-2666295-1276677994 -o /tmp/evaluation-result-2666295-1276677994/solver-2666295-1276677994 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666295-1276677994.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14936 /proc/meminfo: memFree=1658964/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=7724 CPUtime=0 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1029 0 0 0 0 0 0 0 18 0 1 0 9090230 7909376 948 1992294400 4194304 8223781 140734065930288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14936/statm: 1931 956 348 984 0 944 0 [startup+0.097832 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14936 /proc/meminfo: memFree=1658964/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=16612 CPUtime=0.08 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 3466 0 0 0 8 0 0 0 20 0 1 0 9090230 17010688 3385 1992294400 4194304 8223781 140734065930288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14936/statm: 4153 3385 364 984 0 3166 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16612 [startup+0.100833 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14936 /proc/meminfo: memFree=1658964/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=16612 CPUtime=0.09 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 3468 0 0 0 9 0 0 0 20 0 1 0 9090230 17010688 3387 1992294400 4194304 8223781 140734065930288 18446744073709551615 6207239 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14936/statm: 4153 3387 364 984 0 3166 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16612 [startup+0.30085 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14936 /proc/meminfo: memFree=1658964/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=32168 CPUtime=0.29 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 7684 0 0 0 23 6 0 0 20 0 1 0 9090230 32940032 6982 1992294400 4194304 8223781 140734065930288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 8042 6982 426 984 0 7055 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32168 [startup+0.700884 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14936 /proc/meminfo: memFree=1658964/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=37016 CPUtime=0.69 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 10436 0 0 0 47 22 0 0 20 0 1 0 9090230 37904384 8192 1992294400 4194304 8223781 140734065930288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 9254 8192 459 984 0 8267 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37016 [startup+1.50095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14937 /proc/meminfo: memFree=1602784/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=63244 CPUtime=1.49 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 18558 0 0 0 123 26 0 0 23 0 1 0 9090230 64761856 14546 1992294400 4194304 8223781 140734065930288 18446744073709551615 6564475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 15811 14546 549 984 0 14824 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 63244 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14937 /proc/meminfo: memFree=1601792/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=64564 CPUtime=3.09 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 20721 0 0 0 282 27 0 0 25 0 1 0 9090230 66113536 14808 1992294400 4194304 8223781 140734065930288 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 16141 14808 551 984 0 15154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64564 [startup+6.30037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14937 /proc/meminfo: memFree=1600800/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=64732 CPUtime=6.29 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 21289 0 0 0 600 29 0 0 25 0 1 0 9090230 66285568 14867 1992294400 4194304 8223781 140734065930288 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 16183 14867 575 984 0 15196 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64732 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14937 /proc/meminfo: memFree=1600676/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=64872 CPUtime=12.68 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 21359 0 0 0 1237 31 0 0 25 0 1 0 9090230 66428928 14929 1992294400 4194304 8223781 140734065930288 18446744073709551615 6056795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 16218 14929 568 984 0 15231 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64872 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14939 /proc/meminfo: memFree=1599560/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=66128 CPUtime=25.49 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 21662 0 0 0 2514 35 0 0 25 0 1 0 9090230 67715072 15232 1992294400 4194304 8223781 140734065930288 18446744073709551615 6055414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 16532 15232 568 984 0 15545 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66128 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14939 /proc/meminfo: memFree=1596584/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=68748 CPUtime=51.08 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 34630 0 0 0 5042 66 0 0 25 0 1 0 9090230 70397952 15881 1992294400 4194304 8223781 140734065930288 18446744073709551615 6055274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 17187 15881 590 984 0 16200 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68748 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14941 /proc/meminfo: memFree=1593484/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=72588 CPUtime=102.27 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 37892 0 0 0 10144 83 0 0 25 0 1 0 9090230 74330112 16632 1992294400 4194304 8223781 140734065930288 18446744073709551615 6055515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 18147 16632 590 984 0 17160 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 72588 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14941 /proc/meminfo: memFree=1583316/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=83136 CPUtime=162.25 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 57504 0 0 0 16119 106 0 0 25 0 1 0 9090230 85131264 19310 1992294400 4194304 8223781 140734065930288 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 20784 19310 598 984 0 19797 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 83136 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14943 /proc/meminfo: memFree=1583936/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=82512 CPUtime=222.23 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 124405 0 0 0 22064 159 0 0 25 0 1 0 9090230 84492288 19131 1992294400 4194304 8223781 140734065930288 18446744073709551615 6570097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 20628 19131 591 984 0 19641 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 82512 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14945 /proc/meminfo: memFree=1583564/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=81720 CPUtime=282.22 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 232750 0 0 0 27989 233 0 0 25 0 1 0 9090230 83681280 19052 1992294400 4194304 8223781 140734065930288 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 20430 19052 592 984 0 19443 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 81720 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14947 /proc/meminfo: memFree=1581084/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=85132 CPUtime=342.21 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 318396 0 0 0 33922 299 0 0 25 0 1 0 9090230 87175168 19750 1992294400 4194304 8223781 140734065930288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 21283 19750 597 984 0 20296 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 85132 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14949 /proc/meminfo: memFree=1579348/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=86136 CPUtime=402.19 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 408953 0 0 0 39860 359 0 0 25 0 1 0 9090230 88203264 20172 1992294400 4194304 8223781 140734065930288 18446744073709551615 6611810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 21534 20172 597 984 0 20547 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 86136 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14949 /proc/meminfo: memFree=1577984/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=87660 CPUtime=462.18 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 482510 0 0 0 45800 418 0 0 25 0 1 0 9090230 89763840 20530 1992294400 4194304 8223781 140734065930288 18446744073709551615 6567376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 21915 20530 597 984 0 20928 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 87660 [startup+522.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 14951 /proc/meminfo: memFree=1576744/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=87816 CPUtime=522.17 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 562639 0 0 0 51736 481 0 0 25 0 1 0 9090230 89923584 20631 1992294400 4194304 8223781 140734065930288 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 21954 20631 597 984 0 20967 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 87816 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 14953 /proc/meminfo: memFree=1576372/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=89576 CPUtime=582.14 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 653146 0 0 0 57673 541 0 0 25 0 1 0 9090230 91725824 20944 1992294400 4194304 8223781 140734065930288 18446744073709551615 6611602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 22394 20944 596 984 0 21407 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 89576 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14955 /proc/meminfo: memFree=1574884/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=90452 CPUtime=642.14 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 735853 0 0 0 63611 603 0 0 25 0 1 0 9090230 92622848 21268 1992294400 4194304 8223781 140734065930288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 22613 21268 596 984 0 21626 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 90452 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14972 /proc/meminfo: memFree=1568436/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=96520 CPUtime=942.05 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1227826 0 0 0 93265 940 0 0 25 0 1 0 9090230 98836480 22725 1992294400 4194304 8223781 140734065930288 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 24130 22726 596 984 0 23143 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 96520 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14974 /proc/meminfo: memFree=1566452/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=97940 CPUtime=1002.04 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1322690 0 0 0 99198 1006 0 0 25 0 1 0 9090230 100290560 23085 1992294400 4194304 8223781 140734065930288 18446744073709551615 6446796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 24485 23085 596 984 0 23498 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 97940 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 14974 /proc/meminfo: memFree=1565584/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=98984 CPUtime=1062.02 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1437165 0 0 0 105122 1080 0 0 25 0 1 0 9090230 101359616 23353 1992294400 4194304 8223781 140734065930288 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 24746 23353 596 984 0 23759 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 98984 [startup+1122.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 14976 /proc/meminfo: memFree=1564964/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=100628 CPUtime=1122.01 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1529614 0 0 0 111056 1145 0 0 25 0 1 0 9090230 103043072 23691 1992294400 4194304 8223781 140734065930288 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 25157 23691 597 984 0 24170 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 100628 [startup+1182.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 14978 /proc/meminfo: memFree=1563724/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=100580 CPUtime=1181.99 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1643006 0 0 0 116987 1212 0 0 25 0 1 0 9090230 102993920 23703 1992294400 4194304 8223781 140734065930288 18446744073709551615 6589903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 25145 23703 596 984 0 24158 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 100580 [startup+1242.3 s] /proc/loadavg: 1.08 1.04 1.00 2/107 14980 /proc/meminfo: memFree=1563724/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=100528 CPUtime=1241.97 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1760419 0 0 0 122913 1284 0 0 25 0 1 0 9090230 102940672 23743 1992294400 4194304 8223781 140734065930288 18446744073709551615 6532671 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 25132 23743 596 984 0 24145 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 100528 [startup+1302.3 s] /proc/loadavg: 1.03 1.03 1.00 2/107 14982 /proc/meminfo: memFree=1563104/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=101080 CPUtime=1301.97 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1850674 0 0 0 128847 1350 0 0 25 0 1 0 9090230 103505920 23877 1992294400 4194304 8223781 140734065930288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 25270 23877 596 984 0 24283 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 101080 [startup+1362.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14982 /proc/meminfo: memFree=1561616/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=102080 CPUtime=1361.95 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 1948927 0 0 0 134777 1418 0 0 25 0 1 0 9090230 104529920 24112 1992294400 4194304 8223781 140734065930288 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 25520 24112 596 984 0 24533 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 102080 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/107 14984 /proc/meminfo: memFree=1561120/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=103376 CPUtime=1421.94 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2047123 0 0 0 140708 1486 0 0 25 0 1 0 9090230 105857024 24428 1992294400 4194304 8223781 140734065930288 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 25844 24428 596 984 0 24857 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 103376 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14986 /proc/meminfo: memFree=1559632/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=105008 CPUtime=1481.92 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2155360 0 0 0 146634 1558 0 0 25 0 1 0 9090230 107528192 24850 1992294400 4194304 8223781 140734065930288 18446744073709551615 6532675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 26252 24850 597 984 0 25265 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 105008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14988 /proc/meminfo: memFree=1559012/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=104992 CPUtime=1541.91 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2268544 0 0 0 152557 1634 0 0 25 0 1 0 9090230 107511808 24815 1992294400 4194304 8223781 140734065930288 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 26248 24815 596 984 0 25261 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 104992 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14990 /proc/meminfo: memFree=1557772/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=106904 CPUtime=1601.89 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2353198 0 0 0 158490 1699 0 0 25 0 1 0 9090230 109469696 25244 1992294400 4194304 8223781 140734065930288 18446744073709551615 6250690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 26726 25244 596 984 0 25739 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 106904 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14990 /proc/meminfo: memFree=1557028/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=108356 CPUtime=1661.88 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2433299 0 0 0 164429 1759 0 0 25 0 1 0 9090230 110956544 25580 1992294400 4194304 8223781 140734065930288 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 27089 25580 598 984 0 26102 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 108356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14992 /proc/meminfo: memFree=1556284/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=109232 CPUtime=1721.86 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2507984 0 0 0 170363 1823 0 0 25 0 1 0 9090230 111853568 25717 1992294400 4194304 8223781 140734065930288 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 27308 25717 596 984 0 26321 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 109232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14994 /proc/meminfo: memFree=1555788/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=110148 CPUtime=1781.85 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2615033 0 0 0 176285 1900 0 0 25 0 1 0 9090230 112791552 25949 1992294400 4194304 8223781 140734065930288 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 27537 25949 596 984 0 26550 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 110148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14994 /proc/meminfo: memFree=1555540/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=109204 CPUtime=1800.05 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2637335 0 0 0 178087 1918 0 0 25 0 1 0 9090230 111824896 25742 1992294400 4194304 8223781 140734065930288 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 27301 25742 596 984 0 26314 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 109204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14995 /proc/meminfo: memFree=1555532/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=109448 CPUtime=1800.16 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2637421 0 0 0 178098 1918 0 0 25 0 1 0 9090230 112074752 25785 1992294400 4194304 8223781 140734065930288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14936/statm: 27362 25785 596 984 0 26375 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 109448 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14995 /proc/meminfo: memFree=1555532/2059040 swapFree=4192956/4192956 [pid=14936] ppid=14934 vsize=108908 CPUtime=1800.34 /proc/14936/stat : 14936 (pbscip.linux.x8) R 14934 14936 14668 0 -1 4202496 2637961 0 0 0 178116 1918 0 0 25 0 1 0 9090230 111521792 25730 1992294400 4194304 8223781 140734065930288 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14936/statm: 27227 25730 597 984 0 26240 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 108908 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.45 CPU user time (s): 1781.25 CPU system time (s): 19.1971 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 110768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.25 system time used= 19.1971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2637965 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 5006 runsolver used 3.07953 second user time and 8.40372 second system time The end
Begin job on node057 at 2010-06-16 10:46:34 IDJOB=2666295 IDBENCH=48313 IDSOLVER=1169 FILE ID=node057/2666295-1276677994 PBS_JOBID= 11172545 Free space on /tmp= 62536 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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_200_25_5_40.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-2666295-1276677994/watcher-2666295-1276677994 -o /tmp/evaluation-result-2666295-1276677994/solver-2666295-1276677994 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666295-1276677994.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9 RANDOM SEED=772364119 node057.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.247 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.49 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.247 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: 1659492 kB Buffers: 103356 kB Cached: 158292 kB SwapCached: 0 kB Active: 130244 kB Inactive: 190668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1659492 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4760 kB Writeback: 0 kB AnonPages: 59356 kB Mapped: 15464 kB Slab: 56916 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180596 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 node057 at 2010-06-16 11:16:37