| 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.24 | 1800.7 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb |
| MD5SUM | f3f7503aace115ec5eea1f9ed4e29626 |
| 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 | 200 |
| Total number of constraints | 302 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| 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 | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2520 |
| Sum of products size (including duplicates) | 5040 |
| Number of different products | 1260 |
| Sum of products size | 2520 |
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-2666287-1276677402.opb>
0.00/0.03 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.00/0.03 c problem read
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.19/0.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10280 impls, 200 clqs
0.29/0.39 c presolving (2 rounds):
0.29/0.39 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.39 c 10280 implications, 200 cliques
0.29/0.39 c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.29/0.39 c 1 constraints of type <knapsack>
0.29/0.39 c 200 constraints of type <setppc>
0.29/0.39 c 1260 constraints of type <and>
0.29/0.39 c 1 constraints of type <linear>
0.29/0.39 c 100 constraints of type <logicor>
0.29/0.39 c transformed objective value is always integral (scale: 1)
0.29/0.39 c Presolving Time: 0.18
0.29/0.39 c - non default parameters ----------------------------------------------------------------------
0.29/0.39 c # SCIP version 1.2.1.2
0.29/0.39 c
0.29/0.39 c # frequency for displaying node information lines
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.39 c display/freq = 10000
0.29/0.39 c
0.29/0.39 c # maximal time in seconds to run
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/time = 1799.98
0.29/0.39 c
0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/memory = 1620
0.29/0.39 c
0.29/0.39 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c limits/solutions = 1
0.29/0.39 c
0.29/0.39 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.39 c separating/maxrounds = 1
0.29/0.39 c
0.29/0.39 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c separating/maxroundsroot = 5
0.29/0.39 c
0.29/0.39 c # should presolving try to simplify inequalities
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/linear/simplifyinequalities = TRUE
0.29/0.39 c
0.29/0.40 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.40 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.40 c constraints/knapsack/disaggregation = FALSE
0.29/0.40 c
0.29/0.40 c # should presolving try to simplify knapsacks
0.29/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.40 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.40 c
0.29/0.40 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.40 c presolving/probing/maxrounds = 0
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/coefdiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.40 c heuristics/coefdiving/maxlpiterquot = 0.075
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/coefdiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.40 c heuristics/crossover/freq = -1
0.29/0.40 c
0.29/0.40 c # number of nodes added to the contingent of the total nodes
0.29/0.40 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.40 c heuristics/crossover/nodesofs = 750
0.29/0.40 c
0.29/0.40 c # number of nodes without incumbent change that heuristic should wait
0.29/0.40 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.40 c heuristics/crossover/nwaitingnodes = 100
0.29/0.40 c
0.29/0.40 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.40 c # [type: real, range: [0,1], default: 0.1]
0.29/0.40 c heuristics/crossover/nodesquot = 0.15
0.29/0.40 c
0.29/0.40 c # minimum percentage of integer variables that have to be fixed
0.29/0.40 c # [type: real, range: [0,1], default: 0.666]
0.29/0.40 c heuristics/crossover/minfixingrate = 0.5
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.40 c heuristics/feaspump/freq = -1
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/feaspump/maxlpiterofs = 2000
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/fracdiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.40 c heuristics/fracdiving/maxlpiterquot = 0.075
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/fracdiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/guideddiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.40 c heuristics/guideddiving/maxlpiterquot = 0.075
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/guideddiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.40 c heuristics/intdiving/maxlpiterquot = 0.075
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/intshifting/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/linesearchdiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.40 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.40 c heuristics/nlp/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.40 c heuristics/objpscostdiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.40 c # [type: real, range: [0,1], default: 0.01]
0.29/0.40 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.40 c heuristics/oneopt/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/pscostdiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.40 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/pscostdiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.40 c heuristics/rens/freq = -1
0.29/0.40 c
0.29/0.40 c # minimum percentage of integer variables that have to be fixable
0.29/0.40 c # [type: real, range: [0,1], default: 0.5]
0.29/0.40 c heuristics/rens/minfixingrate = 0.3
0.29/0.40 c
0.29/0.40 c # number of nodes added to the contingent of the total nodes
0.29/0.40 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.40 c heuristics/rens/nodesofs = 2000
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.40 c heuristics/rootsoldiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.40 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.40 c heuristics/rounding/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/shifting/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.40 c heuristics/simplerounding/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.40 c heuristics/trivial/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.40 c heuristics/trysol/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.40 c heuristics/veclendiving/freq = -1
0.29/0.40 c
0.29/0.40 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.40 c heuristics/veclendiving/maxlpiterquot = 0.075
0.29/0.40 c
0.29/0.40 c # additional number of allowed LP iterations
0.29/0.40 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.40 c heuristics/veclendiving/maxlpiterofs = 1500
0.29/0.40 c
0.29/0.40 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.40 c heuristics/zirounding/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.40 c separating/cmir/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.40 c separating/flowcover/freq = -1
0.29/0.40 c
0.29/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.40 c separating/rapidlearning/freq = 0
0.29/0.40 c
0.29/0.40 c -----------------------------------------------------------------------------------------------
0.29/0.40 c start solving
0.39/0.40 c
1.00/1.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.10 c 0.9s| 1 | 0 | 1398 | - |6666k| 0 | 614 |1460 |1562 |1460 |2822 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.59/4.66 c 4.2s| 1 | 0 | 1660 | - |9729k| 0 | 576 |1460 |1677 |1460 |2881 | 59 | 0 | 0 | 0.000000e+00 | -- | Inf
6.89/6.94 c 6.5s| 1 | 0 | 1966 | - | 11M| 0 | 562 |1460 |1677 |1460 |2907 | 85 | 0 | 0 | 0.000000e+00 | -- | Inf
9.19/9.21 c 8.7s| 1 | 0 | 2396 | - | 13M| 0 | 548 |1460 |1677 |1460 |2934 | 112 | 0 | 0 | 0.000000e+00 | -- | Inf
11.09/11.16 c 10.7s| 1 | 0 | 2576 | - | 15M| 0 | 551 |1460 |1677 |1460 |2950 | 128 | 0 | 0 | 0.000000e+00 | -- | Inf
13.69/13.76 c 13.2s| 1 | 0 | 2903 | - | 18M| 0 | 546 |1460 |1677 |1460 |2961 | 139 | 0 | 0 | 0.000000e+00 | -- | Inf
19.29/19.39 c 18.8s| 1 | 2 | 2903 | - | 18M| 0 | 546 |1460 |1677 |1460 |2961 | 139 | 0 | 10 | 0.000000e+00 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.14/1800.66 c
1800.14/1800.66 c SCIP Status : solving was interrupted [user interrupt]
1800.14/1800.66 c Solving Time (sec) : 1778.59
1800.14/1800.66 c Solving Nodes : 3707
1800.14/1800.66 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.14/1800.66 c Dual Bound : +0.00000000000000e+00
1800.14/1800.66 c Gap : infinite
1800.14/1800.66 s UNKNOWN
1800.14/1800.66 c SCIP Status : solving was interrupted [user interrupt]
1800.14/1800.66 c Solving Time : 1778.59
1800.14/1800.66 c Original Problem :
1800.14/1800.66 c Problem name : HOME/instance-2666287-1276677402.opb
1800.14/1800.66 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.66 c Constraints : 1562 initial, 1562 maximal
1800.14/1800.66 c Presolved Problem :
1800.14/1800.66 c Problem name : t_HOME/instance-2666287-1276677402.opb
1800.14/1800.66 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.66 c Constraints : 1562 initial, 3069 maximal
1800.14/1800.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.14/1800.66 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c implics : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c probing : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c and : 0.16 0 0 0 0 0 0 0 0
1800.14/1800.66 c linear : 0.01 0 0 0 0 0 0 0 0
1800.14/1800.66 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.66 c root node : - 0 - - 0 - - - -
1800.14/1800.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.14/1800.66 c integral : 0 0 0 2403 0 7 586 0 0 4384
1800.14/1800.66 c knapsack : 1 5 12285 0 0 0 0 0 0 0
1800.14/1800.66 c setppc : 200 5 12285 0 0 0 752 0 0 0
1800.14/1800.66 c and : 1260 2923 12285 0 0 0 49407 189280 0 0
1800.14/1800.66 c linear : 1+ 6 12285 0 0 0 634 0 0 0
1800.14/1800.66 c logicor : 100+ 5 3952 0 0 2 2804 0 0 0
1800.14/1800.66 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.14/1800.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.14/1800.66 c integral : 576.72 0.00 0.00 576.72 0.00
1800.14/1800.66 c knapsack : 0.05 0.00 0.05 0.00 0.00
1800.14/1800.66 c setppc : 0.08 0.00 0.08 0.00 0.00
1800.14/1800.66 c and : 3.94 2.83 1.11 0.00 0.00
1800.14/1800.66 c linear : 0.60 0.01 0.59 0.00 0.00
1800.14/1800.66 c logicor : 0.23 0.00 0.23 0.00 0.00
1800.14/1800.66 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.14/1800.66 c Propagators : Time Calls Cutoffs DomReds
1800.14/1800.66 c vbounds : 0.01 1 0 0
1800.14/1800.66 c rootredcost : 0.00 0 0 0
1800.14/1800.66 c pseudoobj : 0.01 0 0 0
1800.14/1800.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.14/1800.66 c propagation : 0.00 2 2 6 19.5 0 0.0 -
1800.14/1800.66 c infeasible LP : 1.74 1506 1218 4928 20.3 0 0.0 0
1800.14/1800.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.14/1800.66 c applied globally : - - - 1492 19.1 - - -
1800.14/1800.66 c applied locally : - - - 0 0.0 - - -
1800.14/1800.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.14/1800.66 c cut pool : 0.02 4 - - 1 - (maximal pool size: 1261)
1800.14/1800.66 c redcost : 0.12 2923 0 0 0 0
1800.14/1800.66 c impliedbounds : 0.00 5 0 0 188 0
1800.14/1800.66 c intobj : 0.00 0 0 0 0 0
1800.14/1800.66 c cgmip : 0.00 0 0 0 0 0
1800.14/1800.66 c gomory : 6.41 5 0 0 2 0
1800.14/1800.66 c strongcg : 3.77 5 0 0 2490 0
1800.14/1800.66 c cmir : 0.00 0 0 0 0 0
1800.14/1800.66 c flowcover : 0.00 0 0 0 0 0
1800.14/1800.66 c clique : 0.08 5 0 0 32 0
1800.14/1800.66 c zerohalf : 0.00 0 0 0 0 0
1800.14/1800.66 c mcf : 0.00 1 0 0 0 0
1800.14/1800.66 c rapidlearning : 0.78 1 0 0 0 115
1800.14/1800.66 c Pricers : Time Calls Vars
1800.14/1800.66 c problem variables: 0.00 0 0
1800.14/1800.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.14/1800.66 c relpscost : 576.69 2403 7 586 0 0 4384
1800.14/1800.66 c pscost : 0.00 0 0 0 0 0 0
1800.14/1800.66 c inference : 0.00 0 0 0 0 0 0
1800.14/1800.66 c mostinf : 0.00 0 0 0 0 0 0
1800.14/1800.66 c leastinf : 0.00 0 0 0 0 0 0
1800.14/1800.66 c fullstrong : 0.00 0 0 0 0 0 0
1800.14/1800.66 c allfullstrong : 0.00 0 0 0 0 0 0
1800.14/1800.66 c random : 0.00 0 0 0 0 0 0
1800.14/1800.66 c Primal Heuristics : Time Calls Found
1800.14/1800.66 c LP solutions : 0.00 - 0
1800.14/1800.66 c pseudo solutions : 0.00 - 0
1800.14/1800.66 c trivial : 0.00 1 0
1800.14/1800.66 c simplerounding : 0.00 0 0
1800.14/1800.66 c zirounding : 0.00 0 0
1800.14/1800.66 c rounding : 0.00 0 0
1800.14/1800.66 c shifting : 0.00 0 0
1800.14/1800.66 c intshifting : 0.00 0 0
1800.14/1800.66 c oneopt : 0.00 0 0
1800.14/1800.66 c twoopt : 0.00 0 0
1800.14/1800.66 c fixandinfer : 0.00 0 0
1800.14/1800.66 c feaspump : 0.00 0 0
1800.14/1800.66 c coefdiving : 0.00 0 0
1800.14/1800.66 c pscostdiving : 0.00 0 0
1800.14/1800.66 c fracdiving : 0.00 0 0
1800.14/1800.66 c veclendiving : 0.00 0 0
1800.14/1800.66 c intdiving : 0.00 0 0
1800.14/1800.66 c actconsdiving : 0.00 0 0
1800.14/1800.66 c objpscostdiving : 0.00 0 0
1800.14/1800.66 c rootsoldiving : 0.00 0 0
1800.14/1800.66 c linesearchdiving : 0.00 0 0
1800.14/1800.66 c guideddiving : 0.00 0 0
1800.14/1800.66 c octane : 0.00 0 0
1800.14/1800.66 c rens : 0.00 0 0
1800.14/1800.66 c rins : 0.00 0 0
1800.14/1800.66 c localbranching : 0.00 0 0
1800.14/1800.66 c mutation : 0.00 0 0
1800.14/1800.66 c crossover : 0.00 0 0
1800.14/1800.66 c dins : 0.00 0 0
1800.14/1800.66 c undercover : 0.00 0 0
1800.14/1800.66 c nlp : 0.00 0 0
1800.14/1800.66 c trysol : 0.00 0 0
1800.14/1800.66 c LP : Time Calls Iterations Iter/call Iter/sec
1800.14/1800.66 c primal LP : 14.28 0 0 0.00 0.00
1800.14/1800.66 c dual LP : 1159.18 6831 1878138 274.94 1620.23
1800.14/1800.66 c lex dual LP : 0.00 0 0 0.00 -
1800.14/1800.66 c barrier LP : 0.00 0 0 0.00 -
1800.14/1800.66 c diving/probing LP: 0.00 0 0 0.00 -
1800.14/1800.66 c strong branching : 575.89 3618 914763 252.84 1588.43
1800.14/1800.66 c (at root node) : - 10 6073 607.30 -
1800.14/1800.66 c conflict analysis: 0.00 0 0 0.00 -
1800.14/1800.66 c B&B Tree :
1800.14/1800.66 c number of runs : 1
1800.14/1800.66 c nodes : 3707
1800.14/1800.66 c nodes (total) : 3707
1800.14/1800.66 c nodes left : 655
1800.14/1800.66 c max depth : 33
1800.14/1800.66 c max depth (total): 33
1800.14/1800.66 c backtracks : 615 (16.6%)
1800.14/1800.66 c delayed cutoffs : 23
1800.14/1800.66 c repropagations : 1986 (11742 domain reductions, 0 cutoffs)
1800.14/1800.66 c avg switch length: 4.95
1800.14/1800.66 c switching time : 15.75
1800.14/1800.66 c Solution :
1800.14/1800.66 c Solutions found : 0 (0 improvements)
1800.14/1800.66 c Primal Bound : -
1800.14/1800.66 c Dual Bound : +0.00000000000000e+00
1800.14/1800.66 c Gap : infinite
1800.14/1800.66 c Root Dual Bound : +0.00000000000000e+00
1800.14/1800.66 c Root Iterations : 2903
1800.14/1800.70 c Time complete: 1800.23.
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-2666287-1276677402/watcher-2666287-1276677402 -o /tmp/evaluation-result-2666287-1276677402/solver-2666287-1276677402 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666287-1276677402.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.92 0.98 0.99 3/105 15097 /proc/meminfo: memFree=1732720/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=7724 CPUtime=0 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1253 0 0 0 0 0 0 0 25 0 1 0 9034061 7909376 1173 1992294400 4194304 8223781 140733963754752 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15097/statm: 2188 1181 348 984 0 1201 0 [startup+0.0899501 s] /proc/loadavg: 0.92 0.98 0.99 3/105 15097 /proc/meminfo: memFree=1732720/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=16292 CPUtime=0.08 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 3707 0 0 0 6 2 0 0 25 0 1 0 9034061 16683008 3006 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 4073 3006 426 984 0 3086 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16292 [startup+0.10095 s] /proc/loadavg: 0.92 0.98 0.99 3/105 15097 /proc/meminfo: memFree=1732720/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=16292 CPUtime=0.09 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 3707 0 0 0 6 3 0 0 25 0 1 0 9034061 16683008 3006 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 4073 3006 426 984 0 3086 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16292 [startup+0.30097 s] /proc/loadavg: 0.92 0.98 0.99 3/105 15097 /proc/meminfo: memFree=1732720/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=17312 CPUtime=0.29 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 5550 0 0 0 16 13 0 0 25 0 1 0 9034061 17727488 3307 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 4328 3307 459 984 0 3341 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17312 [startup+0.70101 s] /proc/loadavg: 0.92 0.98 0.99 3/105 15097 /proc/meminfo: memFree=1732720/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=25040 CPUtime=0.69 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 8209 0 0 0 49 20 0 0 18 0 1 0 9034061 25640960 5359 1992294400 4194304 8223781 140733963754752 18446744073709551615 6570102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 6260 5359 532 984 0 5273 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25040 [startup+1.50109 s] /proc/loadavg: 0.92 0.98 0.99 2/106 15098 /proc/meminfo: memFree=1712376/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=26188 CPUtime=1.49 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 8761 0 0 0 129 20 0 0 19 0 1 0 9034061 26816512 5568 1992294400 4194304 8223781 140733963754752 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 6547 5568 555 984 0 5560 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26188 [startup+3.10025 s] /proc/loadavg: 0.92 0.98 0.99 2/106 15098 /proc/meminfo: memFree=1712128/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=30604 CPUtime=3.08 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 9846 0 0 0 287 21 0 0 23 0 1 0 9034061 31338496 6653 1992294400 4194304 8223781 140733963754752 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 7651 6653 557 984 0 6664 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30604 [startup+6.30057 s] /proc/loadavg: 1.01 1.00 1.00 2/106 15098 /proc/meminfo: memFree=1700968/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=36348 CPUtime=6.29 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 16419 0 0 0 584 45 0 0 25 0 1 0 9034061 37220352 8230 1992294400 4194304 8223781 140733963754752 18446744073709551615 4310589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 9087 8230 588 984 0 8100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36348 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 1.00 2/106 15098 /proc/meminfo: memFree=1696760/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=41140 CPUtime=12.69 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 17608 0 0 0 1221 48 0 0 25 0 1 0 9034061 42127360 9419 1992294400 4194304 8223781 140733963754752 18446744073709551615 7070909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 10285 9419 588 984 0 9298 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41140 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15098 /proc/meminfo: memFree=1690684/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=46616 CPUtime=25.48 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 26057 0 0 0 2491 57 0 0 25 0 1 0 9034061 47734784 10807 1992294400 4194304 8223781 140733963754752 18446744073709551615 6590755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11654 10807 589 984 0 10667 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46616 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15100 /proc/meminfo: memFree=1690684/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=46720 CPUtime=51.08 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 32096 0 0 0 5035 73 0 0 25 0 1 0 9034061 47841280 10812 1992294400 4194304 8223781 140733963754752 18446744073709551615 6560143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11680 10812 590 984 0 10693 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46720 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15100 /proc/meminfo: memFree=1690560/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=46720 CPUtime=102.27 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 55012 0 0 0 10119 108 0 0 25 0 1 0 9034061 47841280 10825 1992294400 4194304 8223781 140733963754752 18446744073709551615 6539298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11680 10825 592 984 0 10693 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46720 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15102 /proc/meminfo: memFree=1690436/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47136 CPUtime=162.25 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 94155 0 0 0 16065 160 0 0 25 0 1 0 9034061 48267264 10924 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11784 10924 592 984 0 10797 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 47136 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15104 /proc/meminfo: memFree=1690436/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47292 CPUtime=222.23 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 139072 0 0 0 22013 210 0 0 25 0 1 0 9034061 48427008 10910 1992294400 4194304 8223781 140733963754752 18446744073709551615 6562672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11823 10910 592 984 0 10836 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 47292 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15106 /proc/meminfo: memFree=1690436/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47960 CPUtime=282.22 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 188690 0 0 0 27958 264 0 0 25 0 1 0 9034061 49111040 10980 1992294400 4194304 8223781 140733963754752 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11990 10980 592 984 0 11003 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 47960 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15108 /proc/meminfo: memFree=1690312/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47604 CPUtime=342.2 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 290910 0 0 0 33889 331 0 0 25 0 1 0 9034061 48746496 10945 1992294400 4194304 8223781 140733963754752 18446744073709551615 6559634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11901 10945 592 984 0 10914 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 47604 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15108 /proc/meminfo: memFree=1689940/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47232 CPUtime=402.19 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 398516 0 0 0 39817 402 0 0 25 0 1 0 9034061 48365568 10909 1992294400 4194304 8223781 140733963754752 18446744073709551615 6592490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11808 10909 592 984 0 10821 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 47232 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15110 /proc/meminfo: memFree=1690188/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47248 CPUtime=462.18 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 532183 0 0 0 45740 478 0 0 25 0 1 0 9034061 48381952 10911 1992294400 4194304 8223781 140733963754752 18446744073709551615 6562664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11812 10911 592 984 0 10825 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 47248 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15112 /proc/meminfo: memFree=1690064/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47316 CPUtime=522.16 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 668172 0 0 0 51657 559 0 0 25 0 1 0 9034061 48451584 10918 1992294400 4194304 8223781 140733963754752 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11829 10918 593 984 0 10842 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 47316 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15114 /proc/meminfo: memFree=1689940/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48084 CPUtime=582.15 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 788526 0 0 0 57583 632 0 0 25 0 1 0 9034061 49238016 11056 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12021 11056 592 984 0 11034 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 48084 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15116 /proc/meminfo: memFree=1690064/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=47964 CPUtime=642.13 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 933031 0 0 0 63498 715 0 0 25 0 1 0 9034061 49115136 11004 1992294400 4194304 8223781 140733963754752 18446744073709551615 6562672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 11991 11004 592 984 0 11004 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 47964 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.11 1.04 1.00 2/106 15122 /proc/meminfo: memFree=1689320/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48740 CPUtime=882.07 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1437883 0 0 0 87182 1025 0 0 25 0 1 0 9034061 49909760 11187 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12185 11187 592 984 0 11198 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 48740 [startup+942.302 s] /proc/loadavg: 1.10 1.05 1.00 2/106 15124 /proc/meminfo: memFree=1688948/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=49016 CPUtime=942.06 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1534461 0 0 0 93110 1096 0 0 25 0 1 0 9034061 50192384 11299 1992294400 4194304 8223781 140733963754752 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12254 11299 592 984 0 11267 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 49016 [startup+1002.3 s] /proc/loadavg: 1.09 1.05 1.00 2/106 15124 /proc/meminfo: memFree=1688700/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48236 CPUtime=1002.04 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1627216 0 0 0 99042 1162 0 0 25 0 1 0 9034061 49393664 11177 1992294400 4194304 8223781 140733963754752 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12059 11177 592 984 0 11072 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 48236 [startup+1062.3 s] /proc/loadavg: 1.08 1.06 1.00 2/106 15126 /proc/meminfo: memFree=1688700/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48676 CPUtime=1062.03 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1690433 0 0 0 104984 1219 0 0 25 0 1 0 9034061 49844224 11252 1992294400 4194304 8223781 140733963754752 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12169 11252 592 984 0 11182 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 48676 [startup+1122.3 s] /proc/loadavg: 1.11 1.07 1.01 2/106 15128 /proc/meminfo: memFree=1688576/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=49080 CPUtime=1122.01 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1773893 0 0 0 110920 1281 0 0 25 0 1 0 9034061 50257920 11330 1992294400 4194304 8223781 140733963754752 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12270 11330 592 984 0 11283 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 49080 [startup+1182.3 s] /proc/loadavg: 1.04 1.06 1.00 2/106 15130 /proc/meminfo: memFree=1688452/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48376 CPUtime=1181.99 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1876172 0 0 0 116851 1348 0 0 25 0 1 0 9034061 49537024 11209 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12094 11209 592 984 0 11107 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 48376 [startup+1242.3 s] /proc/loadavg: 1.01 1.04 1.00 2/106 15132 /proc/meminfo: memFree=1688080/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48564 CPUtime=1241.98 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 1983145 0 0 0 122775 1423 0 0 25 0 1 0 9034061 49729536 11250 1992294400 4194304 8223781 140733963754752 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12141 11250 592 984 0 11154 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 48564 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 15132 /proc/meminfo: memFree=1688080/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48608 CPUtime=1301.97 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2085047 0 0 0 128704 1493 0 0 25 0 1 0 9034061 49774592 11249 1992294400 4194304 8223781 140733963754752 18446744073709551615 6590368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12152 11249 592 984 0 11165 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 48608 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 15134 /proc/meminfo: memFree=1688080/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=49240 CPUtime=1361.95 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2197720 0 0 0 134628 1567 0 0 25 0 1 0 9034061 50421760 11414 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12310 11414 592 984 0 11323 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 49240 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/106 15136 /proc/meminfo: memFree=1687832/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=48792 CPUtime=1421.94 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2318402 0 0 0 140548 1646 0 0 25 0 1 0 9034061 49963008 11290 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12198 11290 592 984 0 11211 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 48792 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 15147 /proc/meminfo: memFree=1687212/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=49488 CPUtime=1481.91 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2441949 0 0 0 146468 1723 0 0 25 0 1 0 9034061 50675712 11424 1992294400 4194304 8223781 140733963754752 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12372 11424 592 984 0 11385 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49488 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 15149 /proc/meminfo: memFree=1687460/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=49992 CPUtime=1541.89 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2582297 0 0 0 152378 1811 0 0 25 0 1 0 9034061 51191808 11485 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12498 11485 592 984 0 11511 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 49992 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15149 /proc/meminfo: memFree=1687336/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=49672 CPUtime=1601.87 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2725127 0 0 0 158291 1896 0 0 25 0 1 0 9034061 50864128 11508 1992294400 4194304 8223781 140733963754752 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12418 11508 592 984 0 11431 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 49672 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15151 /proc/meminfo: memFree=1686840/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=49644 CPUtime=1661.86 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2854312 0 0 0 164210 1976 0 0 25 0 1 0 9034061 50835456 11523 1992294400 4194304 8223781 140733963754752 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12411 11523 592 984 0 11424 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 49644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15153 /proc/meminfo: memFree=1686220/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=50440 CPUtime=1721.85 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 2984513 0 0 0 170131 2054 0 0 25 0 1 0 9034061 51650560 11672 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12610 11672 592 984 0 11623 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 50440 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15155 /proc/meminfo: memFree=1686096/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=50372 CPUtime=1781.84 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 3112109 0 0 0 176050 2134 0 0 25 0 1 0 9034061 51580928 11691 1992294400 4194304 8223781 140733963754752 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12593 11691 592 984 0 11606 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 50372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15155 /proc/meminfo: memFree=1686096/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=50720 CPUtime=1800.03 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 3149068 0 0 0 177845 2158 0 0 25 0 1 0 9034061 51937280 11752 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12680 11752 592 984 0 11693 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 50720 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/107 15156 /proc/meminfo: memFree=1685964/2059040 swapFree=4164948/4192956 [pid=15097] ppid=15095 vsize=50884 CPUtime=1800.14 /proc/15097/stat : 15097 (pbscip.linux.x8) R 15095 15097 14407 0 -1 4202496 3149174 0 0 0 177856 2158 0 0 25 0 1 0 9034061 52105216 11795 1992294400 4194304 8223781 140733963754752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15097/statm: 12721 11795 592 984 0 11734 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 50884 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.24 CPU user time (s): 1778.65 CPU system time (s): 21.5927 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 51728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.65 system time used= 21.5927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3149241 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= 1339 runsolver used 2.89856 second user time and 8.58569 second system time The end
Begin job on node084 at 2010-06-16 10:36:42 IDJOB=2666287 IDBENCH=48305 IDSOLVER=1169 FILE ID=node084/2666287-1276677402 PBS_JOBID= 11172518 Free space on /tmp= 62512 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_100_10_2_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-2666287-1276677402/watcher-2666287-1276677402 -o /tmp/evaluation-result-2666287-1276677402/solver-2666287-1276677402 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666287-1276677402.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED=1361624858 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1733248 kB Buffers: 99464 kB Cached: 126960 kB SwapCached: 1440 kB Active: 98940 kB Inactive: 160716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1733248 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 4496 kB Writeback: 0 kB AnonPages: 31660 kB Mapped: 15180 kB Slab: 44512 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181360 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= 62508 MiB End job on node084 at 2010-06-16 11:06:45