| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.63 | 1790.05 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb |
| MD5SUM | 29fd031d19832e8fd3e4ee8a0dfa62d0 |
| 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) | 2488 |
| Sum of products size (including duplicates) | 4976 |
| Number of different products | 1244 |
| Sum of products size | 2488 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2702917-1278576685.opb>
0.01/0.03 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1546 constraints
0.01/0.03 c problem read
0.01/0.03 c No objective function, only one solution is needed.
0.01/0.03 c presolving settings loaded
0.01/0.04 c presolving:
0.09/0.12 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10152 impls, 200 clqs
0.09/0.18 c presolving (2 rounds):
0.09/0.18 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 10152 implications, 200 cliques
0.09/0.18 c presolved problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1546 constraints
0.09/0.18 c 1 constraints of type <knapsack>
0.09/0.18 c 300 constraints of type <setppc>
0.09/0.18 c 1244 constraints of type <and>
0.09/0.18 c 1 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.14
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.3
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1789.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 1620
0.09/0.18 c
0.09/0.18 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c limits/solutions = 1
0.09/0.18 c
0.09/0.18 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.18 c separating/maxrounds = 1
0.09/0.18 c
0.09/0.18 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/maxroundsroot = 5
0.09/0.18 c
0.09/0.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18 c # [type: int, range: [1,2], default: 1]
0.09/0.18 c timing/clocktype = 2
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/indicator/addCouplingCons = TRUE
0.09/0.18 c
0.09/0.18 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.18 c constraints/knapsack/disaggregation = FALSE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c presolving/probing/maxrounds = 0
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/coefdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.18 c heuristics/crossover/freq = -1
0.09/0.18 c
0.09/0.18 c # number of nodes added to the contingent of the total nodes
0.09/0.18 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.18 c heuristics/crossover/nodesofs = 750
0.09/0.18 c
0.09/0.18 c # number of nodes without incumbent change that heuristic should wait
0.09/0.18 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.18 c heuristics/crossover/nwaitingnodes = 100
0.09/0.18 c
0.09/0.18 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.18 c # [type: real, range: [0,1], default: 0.1]
0.09/0.18 c heuristics/crossover/nodesquot = 0.15
0.09/0.18 c
0.09/0.18 c # minimum percentage of integer variables that have to be fixed
0.09/0.18 c # [type: real, range: [0,1], default: 0.666]
0.09/0.18 c heuristics/crossover/minfixingrate = 0.5
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.18 c heuristics/feaspump/freq = -1
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/fracdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/guideddiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/intshifting/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/linesearchdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/nlp/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.18 c heuristics/objpscostdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.18 c # [type: real, range: [0,1], default: 0.01]
0.09/0.18 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/oneopt/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/pscostdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c heuristics/rens/freq = -1
0.09/0.18 c
0.09/0.18 c # minimum percentage of integer variables that have to be fixable
0.09/0.18 c # [type: real, range: [0,1], default: 0.5]
0.09/0.18 c heuristics/rens/minfixingrate = 0.3
0.09/0.18 c
0.09/0.18 c # number of nodes added to the contingent of the total nodes
0.09/0.18 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.18 c heuristics/rens/nodesofs = 2000
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.18 c heuristics/rootsoldiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.18 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/rounding/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/shifting/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/simplerounding/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c heuristics/trivial/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/trysol/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/veclendiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/zirounding/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c separating/cmir/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c separating/flowcover/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.89/0.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.92 c 0.9s| 1 | 0 | 1430 | - |6517k| 0 | 633 |1444 |1546 |1444 |2790 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.69/4.70 c 4.7s| 1 | 0 | 1628 | - |9357k| 0 | 594 |1444 |1662 |1444 |2840 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
7.28/7.32 c 7.3s| 1 | 0 | 1818 | - | 11M| 0 | 595 |1444 |1662 |1444 |2859 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
9.90/9.94 c 9.9s| 1 | 0 | 1970 | - | 13M| 0 | 588 |1444 |1662 |1444 |2871 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
12.49/12.59 c 12.6s| 1 | 0 | 2029 | - | 16M| 0 | 580 |1444 |1662 |1444 |2882 | 92 | 0 | 0 | 0.000000e+00 | -- | Inf
15.40/15.44 c 15.4s| 1 | 0 | 2161 | - | 18M| 0 | 583 |1444 |1662 |1444 |2891 | 101 | 0 | 0 | 0.000000e+00 | -- | Inf
20.48/20.51 c 20.5s| 1 | 2 | 2161 | - | 18M| 0 | 583 |1444 |1662 |1444 |2891 | 101 | 0 | 10 | 0.000000e+00 | -- | Inf
1789.56/1790.01 c
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time (sec) : 1789.98
1789.56/1790.01 c Solving Nodes : 4297
1789.56/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 s UNKNOWN
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time : 1789.98
1789.56/1790.01 c Original Problem :
1789.56/1790.01 c Problem name : HOME/instance-2702917-1278576685.opb
1789.56/1790.01 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 1546 initial, 1546 maximal
1789.56/1790.01 c Presolved Problem :
1789.56/1790.01 c Problem name : t_HOME/instance-2702917-1278576685.opb
1789.56/1790.01 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 1546 initial, 3343 maximal
1789.56/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.56/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c and : 0.12 0 0 0 0 0 0 0 0
1789.56/1790.01 c linear : 0.01 0 0 0 0 0 0 0 0
1789.56/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c root node : - 0 - - 0 - - - -
1789.56/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c integral : 0 0 0 2832 0 10 310 0 0 5386
1789.56/1790.01 c knapsack : 1 5 13284 0 1 0 0 0 0 0
1789.56/1790.01 c setppc : 300 5 13284 0 1 0 2326 0 0 0
1789.56/1790.01 c and : 1244 3531 13284 0 1 0 55232 244989 0 0
1789.56/1790.01 c linear : 1+ 6 13284 0 1 0 3090 3 0 0
1789.56/1790.01 c logicor : 0+ 0 3703 0 0 1 1247 0 0 0
1789.56/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.56/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.56/1790.01 c integral : 532.79 0.00 0.00 532.79 0.00
1789.56/1790.01 c knapsack : 0.07 0.01 0.06 0.00 0.00
1789.56/1790.01 c setppc : 0.20 0.00 0.20 0.00 0.00
1789.56/1790.01 c and : 4.31 3.26 1.05 0.00 0.00
1789.56/1790.01 c linear : 0.40 0.00 0.40 0.00 0.00
1789.56/1790.01 c logicor : 0.18 0.00 0.18 0.00 0.00
1789.56/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.56/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.56/1790.01 c vbounds : 0.01 1 0 0
1789.56/1790.01 c rootredcost : 0.01 0 0 0
1789.56/1790.01 c pseudoobj : 0.01 0 0 0
1789.56/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.56/1790.01 c propagation : 0.00 1 1 5 10.0 0 0.0 -
1789.56/1790.01 c infeasible LP : 1.76 1592 1415 6822 15.8 0 0.0 0
1789.56/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.56/1790.01 c applied globally : - - - 1688 14.1 - - -
1789.56/1790.01 c applied locally : - - - 0 0.0 - - -
1789.56/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.56/1790.01 c cut pool : 0.01 4 - - 5 - (maximal pool size: 1341)
1789.56/1790.01 c redcost : 0.15 3531 0 0 0 0
1789.56/1790.01 c impliedbounds : 0.00 5 0 0 115 0
1789.56/1790.01 c intobj : 0.00 0 0 0 0 0
1789.56/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.56/1790.01 c gomory : 6.73 5 0 0 38 0
1789.56/1790.01 c strongcg : 5.82 5 0 0 2341 0
1789.56/1790.01 c cmir : 0.00 0 0 0 0 0
1789.56/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.56/1790.01 c clique : 0.07 5 0 0 33 0
1789.56/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.56/1790.01 c mcf : 0.00 1 0 0 0 0
1789.56/1790.01 c rapidlearning : 1.13 1 0 0 0 116
1789.56/1790.01 c Pricers : Time Calls Vars
1789.56/1790.01 c problem variables: 0.00 0 0
1789.56/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c relpscost : 532.78 2832 10 310 0 0 5386
1789.56/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.56/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.56/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c random : 0.00 0 0 0 0 0 0
1789.56/1790.01 c Primal Heuristics : Time Calls Found
1789.56/1790.01 c LP solutions : 0.00 - 0
1789.56/1790.01 c pseudo solutions : 0.00 - 0
1789.56/1790.01 c trivial : 0.00 1 0
1789.56/1790.01 c simplerounding : 0.00 0 0
1789.56/1790.01 c zirounding : 0.00 0 0
1789.56/1790.01 c rounding : 0.00 0 0
1789.56/1790.01 c shifting : 0.00 0 0
1789.56/1790.01 c intshifting : 0.00 0 0
1789.56/1790.01 c oneopt : 0.00 0 0
1789.56/1790.01 c twoopt : 0.00 0 0
1789.56/1790.01 c fixandinfer : 0.00 0 0
1789.56/1790.01 c feaspump : 0.00 0 0
1789.56/1790.01 c coefdiving : 0.00 0 0
1789.56/1790.01 c pscostdiving : 0.00 0 0
1789.56/1790.01 c fracdiving : 0.00 0 0
1789.56/1790.01 c veclendiving : 0.00 0 0
1789.56/1790.01 c intdiving : 0.00 0 0
1789.56/1790.01 c actconsdiving : 0.00 0 0
1789.56/1790.01 c objpscostdiving : 0.00 0 0
1789.56/1790.01 c rootsoldiving : 0.00 0 0
1789.56/1790.01 c linesearchdiving : 0.00 0 0
1789.56/1790.01 c guideddiving : 0.00 0 0
1789.56/1790.01 c octane : 0.00 0 0
1789.56/1790.01 c rens : 0.00 0 0
1789.56/1790.01 c rins : 0.00 0 0
1789.56/1790.01 c localbranching : 0.00 0 0
1789.56/1790.01 c mutation : 0.00 0 0
1789.56/1790.01 c crossover : 0.00 0 0
1789.56/1790.01 c dins : 0.00 0 0
1789.56/1790.01 c undercover : 0.00 0 0
1789.56/1790.01 c nlp : 0.00 0 0
1789.56/1790.01 c trysol : 0.00 0 0
1789.56/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.56/1790.01 c primal LP : 17.01 0 0 0.00 0.00
1789.56/1790.01 c dual LP : 1207.00 7952 1910415 240.24 1582.77
1789.56/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.56/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.56/1790.01 c diving/probing LP: 0.00 0 0 0.00 -
1789.56/1790.01 c strong branching : 531.87 3802 825875 217.22 1552.78
1789.56/1790.01 c (at root node) : - 10 5364 536.40 -
1789.56/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.56/1790.01 c B&B Tree :
1789.56/1790.01 c number of runs : 1
1789.56/1790.01 c nodes : 4297
1789.56/1790.01 c nodes (total) : 4297
1789.56/1790.01 c nodes left : 1072
1789.56/1790.01 c max depth : 27
1789.56/1790.01 c max depth (total): 27
1789.56/1790.01 c backtracks : 579 (13.5%)
1789.56/1790.01 c delayed cutoffs : 20
1789.56/1790.01 c repropagations : 2209 (12571 domain reductions, 0 cutoffs)
1789.56/1790.01 c avg switch length: 4.51
1789.56/1790.01 c switching time : 18.72
1789.56/1790.01 c Solution :
1789.56/1790.01 c Solutions found : 0 (0 improvements)
1789.56/1790.01 c Primal Bound : -
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Root Iterations : 2161
1789.56/1790.05 c Time complete: 1789.62.
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-2702917-1278576685/watcher-2702917-1278576685 -o /tmp/evaluation-result-2702917-1278576685/solver-2702917-1278576685 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702917-1278576685.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 0.91 3/106 30173 /proc/meminfo: memFree=1810424/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=7904 CPUtime=0 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 1064 0 0 0 0 0 0 0 21 0 1 0 25879134 8093696 975 1992294400 4194304 8395647 140733717710064 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30173/statm: 1976 984 365 1026 0 946 0 [startup+0.025999 s] /proc/loadavg: 1.00 1.00 0.91 3/106 30173 /proc/meminfo: memFree=1810424/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=12220 CPUtime=0.01 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 2330 0 0 0 1 0 0 0 23 0 1 0 25879134 12513280 2241 1992294400 4194304 8395647 140733717710064 18446744073709551615 5754398 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30173/statm: 3055 2241 390 1026 0 2025 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12220 [startup+0.101007 s] /proc/loadavg: 1.00 1.00 0.91 3/106 30173 /proc/meminfo: memFree=1810424/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=18464 CPUtime=0.09 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 3981 0 0 0 8 1 0 0 23 0 1 0 25879134 18907136 3538 1992294400 4194304 8395647 140733717710064 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 4616 3538 453 1026 0 3586 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18464 [startup+0.301024 s] /proc/loadavg: 1.00 1.00 0.91 3/106 30173 /proc/meminfo: memFree=1810424/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=25580 CPUtime=0.29 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 5970 0 0 0 27 2 0 0 23 0 1 0 25879134 26193920 5461 1992294400 4194304 8395647 140733717710064 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 6395 5461 564 1026 0 5365 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25580 [startup+0.701058 s] /proc/loadavg: 1.00 1.00 0.91 3/106 30173 /proc/meminfo: memFree=1810424/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=27200 CPUtime=0.69 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 6283 0 0 0 67 2 0 0 25 0 1 0 25879134 27852800 5774 1992294400 4194304 8395647 140733717710064 18446744073709551615 6696307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 6800 5774 570 1026 0 5770 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27200 [startup+1.50113 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30174 /proc/meminfo: memFree=1789212/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=27200 CPUtime=1.49 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 6346 0 0 0 147 2 0 0 25 0 1 0 25879134 27852800 5837 1992294400 4194304 8395647 140733717710064 18446744073709551615 6107070 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 6800 5837 591 1026 0 5770 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27200 [startup+3.10127 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30174 /proc/meminfo: memFree=1788964/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=29624 CPUtime=3.09 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 6952 0 0 0 306 3 0 0 25 0 1 0 25879134 30334976 6441 1992294400 4194304 8395647 140733717710064 18446744073709551615 6126593 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 7406 6441 591 1026 0 6376 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29624 [startup+6.30154 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30174 /proc/meminfo: memFree=1768256/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=6.29 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11519 0 0 0 602 27 0 0 25 0 1 0 25879134 49635328 10967 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 10967 634 1026 0 11088 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48472 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30174 /proc/meminfo: memFree=1767884/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=12.69 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11652 0 0 0 1240 29 0 0 25 0 1 0 25879134 49635328 11091 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11091 625 1026 0 11088 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48472 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30174 /proc/meminfo: memFree=1766768/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=25.49 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11903 0 0 0 2514 35 0 0 25 0 1 0 25879134 49635328 11342 1992294400 4194304 8395647 140733717710064 18446744073709551615 6696343 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11342 626 1026 0 11088 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48472 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30174 /proc/meminfo: memFree=1766768/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=51.07 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11903 0 0 0 5059 48 0 0 25 0 1 0 25879134 49635328 11342 1992294400 4194304 8395647 140733717710064 18446744073709551615 6696987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11342 626 1026 0 11088 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48472 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30176 /proc/meminfo: memFree=1766768/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=102.28 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11904 0 0 0 10151 77 0 0 25 0 1 0 25879134 49635328 11343 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11343 627 1026 0 11088 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 48472 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30178 /proc/meminfo: memFree=1766768/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=162.26 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11904 0 0 0 16115 111 0 0 25 0 1 0 25879134 49635328 11343 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11343 627 1026 0 11088 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 48472 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30180 /proc/meminfo: memFree=1766644/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=222.24 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11904 0 0 0 22080 144 0 0 25 0 1 0 25879134 49635328 11343 1992294400 4194304 8395647 140733717710064 18446744073709551615 6696307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11343 627 1026 0 11088 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 48472 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30181 /proc/meminfo: memFree=1766644/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=282.22 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11904 0 0 0 28042 180 0 0 25 0 1 0 25879134 49635328 11343 1992294400 4194304 8395647 140733717710064 18446744073709551615 6696339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11343 627 1026 0 11088 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 48472 [startup+342.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30182 /proc/meminfo: memFree=1766644/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=342.21 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11905 0 0 0 34006 215 0 0 25 0 1 0 25879134 49635328 11344 1992294400 4194304 8395647 140733717710064 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11344 627 1026 0 11088 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 48472 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30184 /proc/meminfo: memFree=1766644/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=402.19 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11905 0 0 0 39972 247 0 0 25 0 1 0 25879134 49635328 11344 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11344 627 1026 0 11088 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 48472 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30188 /proc/meminfo: memFree=1766148/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=462.18 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11905 0 0 0 45937 281 0 0 25 0 1 0 25879134 49635328 11344 1992294400 4194304 8395647 140733717710064 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11344 627 1026 0 11088 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 48472 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30190 /proc/meminfo: memFree=1765900/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=522.16 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11905 0 0 0 51902 314 0 0 25 0 1 0 25879134 49635328 11344 1992294400 4194304 8395647 140733717710064 18446744073709551615 6701858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11344 627 1026 0 11088 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 48472 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30192 /proc/meminfo: memFree=1765900/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=582.15 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11905 0 0 0 57866 349 0 0 25 0 1 0 25879134 49635328 11344 1992294400 4194304 8395647 140733717710064 18446744073709551615 6744611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11344 627 1026 0 11088 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 48472 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30193 /proc/meminfo: memFree=1765900/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=642.15 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11905 0 0 0 63832 383 0 0 25 0 1 0 25879134 49635328 11344 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11344 627 1026 0 11088 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 48472 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1765900/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=1062.04 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11908 0 0 0 105599 605 0 0 25 0 1 0 25879134 49635328 11347 1992294400 4194304 8395647 140733717710064 18446744073709551615 6719109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11347 627 1026 0 11088 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 48472 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30206 /proc/meminfo: memFree=1765900/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48472 CPUtime=1122.03 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11908 0 0 0 111569 634 0 0 25 0 1 0 25879134 49635328 11347 1992294400 4194304 8395647 140733717710064 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12118 11347 627 1026 0 11088 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 48472 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30208 /proc/meminfo: memFree=1765900/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=48792 CPUtime=1182.01 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11979 0 0 0 117535 666 0 0 25 0 1 0 25879134 49963008 11418 1992294400 4194304 8395647 140733717710064 18446744073709551615 6585820 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12198 11418 627 1026 0 11168 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 48792 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30209 /proc/meminfo: memFree=1765652/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=49188 CPUtime=1242 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11985 0 0 0 123501 699 0 0 25 0 1 0 25879134 50368512 11424 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12297 11424 627 1026 0 11267 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 49188 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30211 /proc/meminfo: memFree=1765528/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=49188 CPUtime=1301.99 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 11987 0 0 0 129469 730 0 0 25 0 1 0 25879134 50368512 11426 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12297 11426 627 1026 0 11267 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 49188 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30213 /proc/meminfo: memFree=1765280/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=49320 CPUtime=1361.97 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12078 0 0 0 135433 764 0 0 25 0 1 0 25879134 50503680 11517 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12330 11517 627 1026 0 11300 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 49320 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30215 /proc/meminfo: memFree=1764908/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=49956 CPUtime=1421.96 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12144 0 0 0 141399 797 0 0 25 0 1 0 25879134 51154944 11583 1992294400 4194304 8395647 140733717710064 18446744073709551615 6740389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12489 11583 627 1026 0 11459 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 49956 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30216 /proc/meminfo: memFree=1764908/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=49956 CPUtime=1481.94 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12165 0 0 0 147362 832 0 0 25 0 1 0 25879134 51154944 11604 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12489 11604 627 1026 0 11459 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 49956 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30217 /proc/meminfo: memFree=1764784/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=49956 CPUtime=1541.92 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12181 0 0 0 153328 864 0 0 25 0 1 0 25879134 51154944 11620 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12489 11620 627 1026 0 11459 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 49956 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30219 /proc/meminfo: memFree=1764412/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50164 CPUtime=1601.91 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12290 0 0 0 159296 895 0 0 25 0 1 0 25879134 51367936 11729 1992294400 4194304 8395647 140733717710064 18446744073709551615 6696801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12541 11729 627 1026 0 11511 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 50164 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30221 /proc/meminfo: memFree=1764412/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50164 CPUtime=1661.89 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12298 0 0 0 165259 930 0 0 25 0 1 0 25879134 51367936 11737 1992294400 4194304 8395647 140733717710064 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12541 11737 627 1026 0 11511 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 50164 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30222 /proc/meminfo: memFree=1764288/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1721.88 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12309 0 0 0 171226 962 0 0 25 0 1 0 25879134 51675136 11748 1992294400 4194304 8395647 140733717710064 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11748 627 1026 0 11586 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 50464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30224 /proc/meminfo: memFree=1763916/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1781.86 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12311 0 0 0 177193 993 0 0 25 0 1 0 25879134 51675136 11750 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11750 627 1026 0 11586 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 50464 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30224 /proc/meminfo: memFree=1763916/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1785.06 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12311 0 0 0 177511 995 0 0 25 0 1 0 25879134 51675136 11750 1992294400 4194304 8395647 140733717710064 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11750 627 1026 0 11586 0 Current children cumulated CPU time (s) 1785.06 Current children cumulated vsize (KiB) 50464 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30224 /proc/meminfo: memFree=1763916/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1786.66 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12311 0 0 0 177670 996 0 0 25 0 1 0 25879134 51675136 11750 1992294400 4194304 8395647 140733717710064 18446744073709551615 6701816 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11750 627 1026 0 11586 0 Current children cumulated CPU time (s) 1786.66 Current children cumulated vsize (KiB) 50464 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30224 /proc/meminfo: memFree=1763916/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1788.27 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12311 0 0 0 177830 997 0 0 25 0 1 0 25879134 51675136 11750 1992294400 4194304 8395647 140733717710064 18446744073709551615 6696936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11750 627 1026 0 11586 0 Current children cumulated CPU time (s) 1788.27 Current children cumulated vsize (KiB) 50464 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30224 /proc/meminfo: memFree=1763916/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1789.07 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12311 0 0 0 177910 997 0 0 25 0 1 0 25879134 51675136 11750 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11750 627 1026 0 11586 0 Current children cumulated CPU time (s) 1789.07 Current children cumulated vsize (KiB) 50464 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30224 /proc/meminfo: memFree=1763916/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1789.46 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12311 0 0 0 177949 997 0 0 25 0 1 0 25879134 51675136 11750 1992294400 4194304 8395647 140733717710064 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11750 627 1026 0 11586 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (KiB) 50464 [startup+1790 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30224 /proc/meminfo: memFree=1763916/2059040 swapFree=4139724/4192956 [pid=30173] ppid=30171 vsize=50464 CPUtime=1789.56 /proc/30173/stat : 30173 (pbscip.linux.x8) R 30171 30173 29926 0 -1 4202496 12311 0 0 0 177959 997 0 0 25 0 1 0 25879134 51675136 11750 1992294400 4194304 8395647 140733717710064 18446744073709551615 6750926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30173/statm: 12616 11750 627 1026 0 11586 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (KiB) 50464 Child status: 0 Real time (s): 1790.05 CPU time (s): 1789.63 CPU user time (s): 1779.65 CPU system time (s): 9.98348 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 50464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.65 system time used= 9.98348 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12317 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= 5 involuntary context switches= 4441 runsolver used 2.90556 second user time and 8.49971 second system time The end
Begin job on node031 at 2010-07-08 10:11:25 IDJOB=2702917 IDBENCH=48366 IDSOLVER=1213 FILE ID=node031/2702917-1278576685 PBS_JOBID= 11240092 Free space on /tmp= 62564 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_3_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-2702917-1278576685/watcher-2702917-1278576685 -o /tmp/evaluation-result-2702917-1278576685/solver-2702917-1278576685 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702917-1278576685.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29fd031d19832e8fd3e4ee8a0dfa62d0 RANDOM SEED=1844569053 node031.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.220 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.220 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: 1810828 kB Buffers: 48180 kB Cached: 105864 kB SwapCached: 6812 kB Active: 105088 kB Inactive: 62860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1810828 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 10464 kB Writeback: 0 kB AnonPages: 11824 kB Mapped: 12140 kB Slab: 58088 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180508 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62556 MiB End job on node031 at 2010-07-08 10:41:15