| 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.26 | 1800.81 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_1_15.opb |
| MD5SUM | 0df66f3e832b73f1cdf8165c8cc1c11b |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 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 | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6076 |
| Sum of products size (including duplicates) | 12152 |
| Number of different products | 3038 |
| Sum of products size | 6076 |
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-2666330-1276680469.opb>
0.00/0.05 c original problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.07/0.09 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24504 impls, 200 clqs
0.49/0.51 c presolving (2 rounds):
0.49/0.51 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.51 c 24504 implications, 200 cliques
0.49/0.51 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 constraints
0.49/0.51 c 1 constraints of type <knapsack>
0.49/0.51 c 200 constraints of type <setppc>
0.49/0.51 c 3038 constraints of type <and>
0.49/0.51 c 1 constraints of type <linear>
0.49/0.51 c 100 constraints of type <logicor>
0.49/0.51 c transformed objective value is always integral (scale: 1)
0.49/0.51 c Presolving Time: 0.24
0.49/0.51 c - non default parameters ----------------------------------------------------------------------
0.49/0.51 c # SCIP version 1.2.1.2
0.49/0.51 c
0.49/0.51 c # frequency for displaying node information lines
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.51 c display/freq = 10000
0.49/0.51 c
0.49/0.51 c # maximal time in seconds to run
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.51 c limits/time = 1799.95
0.49/0.51 c
0.49/0.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.51 c limits/memory = 1620
0.49/0.51 c
0.49/0.51 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c limits/solutions = 1
0.49/0.51 c
0.49/0.51 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.51 c separating/maxrounds = 1
0.49/0.51 c
0.49/0.51 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c separating/maxroundsroot = 5
0.49/0.51 c
0.49/0.51 c # should presolving try to simplify inequalities
0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.51 c constraints/linear/simplifyinequalities = TRUE
0.49/0.51 c
0.49/0.51 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.51 c constraints/knapsack/disaggregation = FALSE
0.49/0.51 c
0.49/0.51 c # should presolving try to simplify knapsacks
0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.51 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.51 c
0.49/0.51 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c presolving/probing/maxrounds = 0
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/coefdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.51 c heuristics/crossover/freq = -1
0.49/0.51 c
0.49/0.51 c # number of nodes added to the contingent of the total nodes
0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.51 c heuristics/crossover/nodesofs = 750
0.49/0.51 c
0.49/0.51 c # number of nodes without incumbent change that heuristic should wait
0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.51 c heuristics/crossover/nwaitingnodes = 100
0.49/0.51 c
0.49/0.51 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.51 c # [type: real, range: [0,1], default: 0.1]
0.49/0.51 c heuristics/crossover/nodesquot = 0.15
0.49/0.51 c
0.49/0.51 c # minimum percentage of integer variables that have to be fixed
0.49/0.51 c # [type: real, range: [0,1], default: 0.666]
0.49/0.51 c heuristics/crossover/minfixingrate = 0.5
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/feaspump/freq = -1
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/fracdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/guideddiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/intshifting/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/linesearchdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/nlp/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/objpscostdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.51 c # [type: real, range: [0,1], default: 0.01]
0.49/0.51 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/oneopt/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/pscostdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c heuristics/rens/freq = -1
0.49/0.51 c
0.49/0.51 c # minimum percentage of integer variables that have to be fixable
0.49/0.51 c # [type: real, range: [0,1], default: 0.5]
0.49/0.51 c heuristics/rens/minfixingrate = 0.3
0.49/0.51 c
0.49/0.51 c # number of nodes added to the contingent of the total nodes
0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.51 c heuristics/rens/nodesofs = 2000
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/rootsoldiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.51 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/rounding/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/shifting/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/simplerounding/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c heuristics/trivial/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/trysol/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/veclendiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/zirounding/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c separating/cmir/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c separating/flowcover/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c separating/rapidlearning/freq = 0
0.49/0.51 c
0.49/0.51 c -----------------------------------------------------------------------------------------------
0.49/0.51 c start solving
0.49/0.51 c
0.59/0.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.69 c 0.4s| 1 | 0 | 305 | - | 14M| 0 | 207 |3238 |3340 |3238 |6378 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.29/3.39 c 2.9s| 1 | 0 | 357 | - | 15M| 0 | 206 |3238 |3340 |3238 |6386 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
5.59/5.65 c 5.1s| 1 | 0 | 392 | - | 15M| 0 | 202 |3238 |3340 |3238 |6394 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
7.99/8.06 c 7.5s| 1 | 0 | 443 | - | 16M| 0 | 200 |3238 |3340 |3238 |6401 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
10.29/10.30 c 9.7s| 1 | 0 | 463 | - | 17M| 0 | 196 |3238 |3340 |3238 |6408 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
12.59/12.63 c 12.1s| 1 | 0 | 507 | - | 17M| 0 | 208 |3238 |3340 |3238 |6415 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
15.98/16.00 c 15.4s| 1 | 2 | 507 | - | 17M| 0 | 208 |3238 |3340 |3238 |6415 | 37 | 0 | 10 | 0.000000e+00 | -- | Inf
835.83/836.10 c 825s| 10000 | 685 | 1481k| 148.1 | 33M| 50 | - |3238 |6196 |3238 |1028 | 300k| 11k|8342 | 0.000000e+00 | -- | Inf
1515.34/1515.85 c 1495s| 20000 | 1162 | 2806k| 140.3 | 43M| 50 | 111 |3238 |7729 |3238 | 958 | 548k| 23k| 13k| 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.67 c
1800.05/1800.67 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.67 c Solving Time (sec) : 1776.32
1800.05/1800.67 c Solving Nodes : 25028
1800.05/1800.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.67 c Dual Bound : +0.00000000000000e+00
1800.05/1800.67 c Gap : infinite
1800.05/1800.67 s UNKNOWN
1800.05/1800.67 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.67 c Solving Time : 1776.32
1800.05/1800.67 c Original Problem :
1800.05/1800.67 c Problem name : HOME/instance-2666330-1276680469.opb
1800.05/1800.67 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.67 c Constraints : 3340 initial, 3340 maximal
1800.05/1800.67 c Presolved Problem :
1800.05/1800.67 c Problem name : t_HOME/instance-2666330-1276680469.opb
1800.05/1800.67 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.67 c Constraints : 3340 initial, 8249 maximal
1800.05/1800.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.67 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c and : 0.19 0 0 0 0 0 0 0 0
1800.05/1800.67 c linear : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.67 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.67 c root node : - 0 - - 0 - - - -
1800.05/1800.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.67 c integral : 0 0 0 14863 0 64 2528 0 0 26854
1800.05/1800.67 c knapsack : 1 5 113296 10 0 1 34 0 0 0
1800.05/1800.67 c setppc : 200 5 113299 10 0 424 211070 0 0 0
1800.05/1800.67 c and : 3038 19186 112875 10 0 174 3401543 662378 0 0
1800.05/1800.67 c linear : 1 5 112700 0 0 0 11 0 0 0
1800.05/1800.67 c logicor : 100+ 5 43250 0 0 97 48027 0 0 0
1800.05/1800.67 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.67 c integral : 420.76 0.00 0.00 420.76 0.00
1800.05/1800.67 c knapsack : 0.51 0.03 0.48 0.00 0.00
1800.05/1800.67 c setppc : 1.19 0.00 1.19 0.00 0.00
1800.05/1800.67 c and : 31.07 15.26 15.81 0.00 0.00
1800.05/1800.67 c linear : 2.33 0.00 2.33 0.00 0.00
1800.05/1800.67 c logicor : 5.50 0.00 5.50 0.00 0.00
1800.05/1800.67 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.67 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.67 c vbounds : 0.10 1 0 0
1800.05/1800.67 c rootredcost : 0.11 0 0 0
1800.05/1800.67 c pseudoobj : 0.06 0 0 0
1800.05/1800.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.67 c propagation : 0.04 696 685 1524 25.0 50 50.8 -
1800.05/1800.67 c infeasible LP : 26.55 10959 10891 107842 44.1 96 4.6 0
1800.05/1800.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.67 c applied globally : - - - 29130 50.5 - - -
1800.05/1800.67 c applied locally : - - - 0 0.0 - - -
1800.05/1800.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.67 c cut pool : 0.01 4 - - 15 - (maximal pool size: 513)
1800.05/1800.67 c redcost : 4.61 19186 0 0 0 0
1800.05/1800.67 c impliedbounds : 0.00 5 0 0 6 0
1800.05/1800.67 c intobj : 0.00 0 0 0 0 0
1800.05/1800.67 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.67 c gomory : 8.98 5 0 0 0 0
1800.05/1800.67 c strongcg : 1.78 5 0 0 2500 0
1800.05/1800.67 c cmir : 0.00 0 0 0 0 0
1800.05/1800.67 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.67 c clique : 0.05 5 0 0 30 0
1800.05/1800.67 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.67 c mcf : 0.23 4 0 0 18 0
1800.05/1800.67 c rapidlearning : 0.37 1 0 0 0 0
1800.05/1800.67 c Pricers : Time Calls Vars
1800.05/1800.67 c problem variables: 0.00 0 0
1800.05/1800.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.67 c relpscost : 420.71 14853 64 2528 0 0 26854
1800.05/1800.67 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.67 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.67 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.67 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.67 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.67 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.67 c random : 0.00 0 0 0 0 0 0
1800.05/1800.67 c Primal Heuristics : Time Calls Found
1800.05/1800.67 c LP solutions : 0.00 - 0
1800.05/1800.67 c pseudo solutions : 0.00 - 0
1800.05/1800.67 c trivial : 0.01 1 0
1800.05/1800.67 c simplerounding : 0.00 0 0
1800.05/1800.67 c zirounding : 0.00 0 0
1800.05/1800.67 c rounding : 0.00 0 0
1800.05/1800.67 c shifting : 0.00 0 0
1800.05/1800.67 c intshifting : 0.00 0 0
1800.05/1800.67 c oneopt : 0.00 0 0
1800.05/1800.67 c twoopt : 0.00 0 0
1800.05/1800.67 c fixandinfer : 0.00 0 0
1800.05/1800.67 c feaspump : 0.00 0 0
1800.05/1800.67 c coefdiving : 0.00 0 0
1800.05/1800.67 c pscostdiving : 0.00 0 0
1800.05/1800.67 c fracdiving : 0.00 0 0
1800.05/1800.67 c veclendiving : 0.00 0 0
1800.05/1800.67 c intdiving : 0.00 0 0
1800.05/1800.67 c actconsdiving : 0.00 0 0
1800.05/1800.67 c objpscostdiving : 0.00 0 0
1800.05/1800.67 c rootsoldiving : 0.00 0 0
1800.05/1800.67 c linesearchdiving : 0.00 0 0
1800.05/1800.67 c guideddiving : 0.00 0 0
1800.05/1800.67 c octane : 0.00 0 0
1800.05/1800.67 c rens : 0.00 0 0
1800.05/1800.67 c rins : 0.00 0 0
1800.05/1800.67 c localbranching : 0.00 0 0
1800.05/1800.67 c mutation : 0.00 0 0
1800.05/1800.67 c crossover : 0.00 0 0
1800.05/1800.67 c dins : 0.00 0 0
1800.05/1800.67 c undercover : 0.00 0 0
1800.05/1800.67 c nlp : 0.00 0 0
1800.05/1800.67 c trysol : 0.00 0 0
1800.05/1800.67 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.67 c primal LP : 23.39 0 0 0.00 0.00
1800.05/1800.67 c dual LP : 1145.98 44955 3411687 75.89 2977.09
1800.05/1800.67 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.67 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.67 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.67 c strong branching : 418.86 14707 1160717 78.92 2771.13
1800.05/1800.67 c (at root node) : - 10 3148 314.80 -
1800.05/1800.67 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.67 c B&B Tree :
1800.05/1800.67 c number of runs : 1
1800.05/1800.67 c nodes : 25028
1800.05/1800.67 c nodes (total) : 25028
1800.05/1800.67 c nodes left : 1337
1800.05/1800.67 c max depth : 50
1800.05/1800.67 c max depth (total): 50
1800.05/1800.67 c backtracks : 4437 (17.7%)
1800.05/1800.67 c delayed cutoffs : 490
1800.05/1800.67 c repropagations : 31295 (278502 domain reductions, 118 cutoffs)
1800.05/1800.67 c avg switch length: 5.70
1800.05/1800.67 c switching time : 58.02
1800.05/1800.67 c Solution :
1800.05/1800.67 c Solutions found : 0 (0 improvements)
1800.05/1800.67 c Primal Bound : -
1800.05/1800.67 c Dual Bound : +0.00000000000000e+00
1800.05/1800.67 c Gap : infinite
1800.05/1800.67 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.67 c Root Iterations : 507
1800.24/1800.80 c Time complete: 1800.25.
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-2666330-1276680469/watcher-2666330-1276680469 -o /tmp/evaluation-result-2666330-1276680469/solver-2666330-1276680469 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666330-1276680469.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14551 /proc/meminfo: memFree=1788612/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=7724 CPUtime=0 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 1004 0 0 0 0 0 0 0 25 0 1 0 9338488 7909376 923 1992294400 4194304 8223781 140733886426288 18446744073709551615 7236399 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14551/statm: 1931 933 348 984 0 944 0 [startup+0.0761491 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14551 /proc/meminfo: memFree=1788612/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=18940 CPUtime=0.07 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 4354 0 0 0 5 2 0 0 25 0 1 0 9338488 19394560 3909 1992294400 4194304 8223781 140733886426288 18446744073709551615 7233749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 4735 3909 382 984 0 3748 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 18940 [startup+0.101151 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14551 /proc/meminfo: memFree=1788612/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=21032 CPUtime=0.09 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 4646 0 0 0 7 2 0 0 25 0 1 0 9338488 21536768 4201 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 5258 4207 426 984 0 4271 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21032 [startup+0.301168 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14551 /proc/meminfo: memFree=1788612/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=22476 CPUtime=0.29 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 5531 0 0 0 19 10 0 0 25 0 1 0 9338488 23015424 4572 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 5619 4572 444 984 0 4632 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22476 [startup+0.701203 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14551 /proc/meminfo: memFree=1788612/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=38584 CPUtime=0.69 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 11647 0 0 0 47 22 0 0 25 0 1 0 9338488 39510016 8640 1992294400 4194304 8223781 140733886426288 18446744073709551615 6050133 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 9646 8640 556 984 0 8659 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38584 [startup+1.50127 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14552 /proc/meminfo: memFree=1755992/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=38584 CPUtime=1.49 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 11647 0 0 0 126 23 0 0 25 0 1 0 9338488 39510016 8640 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 9646 8640 556 984 0 8659 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38584 [startup+3.10041 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14552 /proc/meminfo: memFree=1755744/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=62216 CPUtime=3.09 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 19235 0 0 0 270 39 0 0 25 0 1 0 9338488 63709184 14160 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 15554 14160 575 984 0 14567 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 62216 [startup+6.30069 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14552 /proc/meminfo: memFree=1749916/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=44852 CPUtime=6.29 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 21914 0 0 0 581 48 0 0 25 0 1 0 9338488 45928448 10240 1992294400 4194304 8223781 140733886426288 18446744073709551615 6047802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 11213 10240 587 984 0 10226 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44852 [startup+12.7003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14552 /proc/meminfo: memFree=1745328/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=51048 CPUtime=12.69 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 24764 0 0 0 1218 51 0 0 25 0 1 0 9338488 52273152 11715 1992294400 4194304 8223781 140733886426288 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 12762 11715 587 984 0 11775 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51048 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14552 /proc/meminfo: memFree=1743344/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=50648 CPUtime=25.49 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 33297 0 0 0 2485 64 0 0 25 0 1 0 9338488 51863552 11673 1992294400 4194304 8223781 140733886426288 18446744073709551615 6093192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 12662 11673 592 984 0 11675 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50648 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14552 /proc/meminfo: memFree=1743096/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=50884 CPUtime=51.07 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 40932 0 0 0 5012 95 0 0 25 0 1 0 9338488 52105216 11748 1992294400 4194304 8223781 140733886426288 18446744073709551615 6436955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 12721 11748 592 984 0 11734 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 50884 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14554 /proc/meminfo: memFree=1735532/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=58264 CPUtime=102.27 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 70661 0 0 0 10065 162 0 0 25 0 1 0 9338488 59662336 13595 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 14566 13595 592 984 0 13579 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 58264 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14556 /proc/meminfo: memFree=1727100/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=67892 CPUtime=162.25 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 100068 0 0 0 15984 241 0 0 25 0 1 0 9338488 69521408 15828 1992294400 4194304 8223781 140733886426288 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 16973 15828 592 984 0 15986 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 67892 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14558 /proc/meminfo: memFree=1721024/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=73236 CPUtime=222.23 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 129508 0 0 0 21901 322 0 0 25 0 1 0 9338488 74993664 17248 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 18309 17248 592 984 0 17322 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 73236 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14561 /proc/meminfo: memFree=1715072/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=78416 CPUtime=282.2 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 163231 0 0 0 27820 400 0 0 25 0 1 0 9338488 80297984 18533 1992294400 4194304 8223781 140733886426288 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 19604 18533 592 984 0 18617 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 78416 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14563 /proc/meminfo: memFree=1710484/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=83112 CPUtime=342.18 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 196331 0 0 0 33735 483 0 0 25 0 1 0 9338488 85106688 19694 1992294400 4194304 8223781 140733886426288 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 20778 19694 592 984 0 19791 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 83112 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14565 /proc/meminfo: memFree=1706888/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=86652 CPUtime=402.16 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 218612 0 0 0 39660 556 0 0 25 0 1 0 9338488 88731648 20581 1992294400 4194304 8223781 140733886426288 18446744073709551615 6569765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 21663 20581 592 984 0 20676 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 86652 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14567 /proc/meminfo: memFree=1702548/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=91564 CPUtime=462.15 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 257221 0 0 0 45573 642 0 0 25 0 1 0 9338488 93761536 21689 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 22891 21689 592 984 0 21904 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 91564 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14569 /proc/meminfo: memFree=1698580/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=95428 CPUtime=522.13 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 282256 0 0 0 51495 718 0 0 25 0 1 0 9338488 97718272 22632 1992294400 4194304 8223781 140733886426288 18446744073709551615 6445092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 23857 22632 592 984 0 22870 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 95428 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14569 /proc/meminfo: memFree=1694736/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=99080 CPUtime=582.11 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 313893 0 0 0 57415 796 0 0 25 0 1 0 9338488 101457920 23556 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 24770 23556 593 984 0 23783 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 99080 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14571 /proc/meminfo: memFree=1691388/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=102840 CPUtime=642.1 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 354373 0 0 0 63327 883 0 0 25 0 1 0 9338488 105308160 24492 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 25710 24492 593 984 0 24723 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 102840 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14577 /proc/meminfo: memFree=1676012/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=119640 CPUtime=882.02 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 449537 0 0 0 87026 1176 0 0 25 0 1 0 9338488 122511360 28414 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 29910 28414 593 984 0 28923 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 119640 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14579 /proc/meminfo: memFree=1673284/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=121920 CPUtime=942 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 475183 0 0 0 92949 1251 0 0 25 0 1 0 9338488 124846080 29019 1992294400 4194304 8223781 140733886426288 18446744073709551615 6532643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 30480 29019 593 984 0 29493 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 121920 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14581 /proc/meminfo: memFree=1671548/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=123860 CPUtime=1001.98 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 512030 0 0 0 98862 1336 0 0 25 0 1 0 9338488 126832640 29469 1992294400 4194304 8223781 140733886426288 18446744073709551615 6304336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 30965 29469 593 984 0 29978 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 123860 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14583 /proc/meminfo: memFree=1669316/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=126096 CPUtime=1061.97 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 557760 0 0 0 104776 1421 0 0 25 0 1 0 9338488 129122304 29989 1992294400 4194304 8223781 140733886426288 18446744073709551615 6559992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 31524 29989 593 984 0 30537 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 126096 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14585 /proc/meminfo: memFree=1666588/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=129112 CPUtime=1121.94 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 577439 0 0 0 110700 1494 0 0 25 0 1 0 9338488 132210688 30703 1992294400 4194304 8223781 140733886426288 18446744073709551615 6559804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 32278 30703 593 984 0 31291 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 129112 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14585 /proc/meminfo: memFree=1664852/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=130640 CPUtime=1181.93 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 603948 0 0 0 116620 1573 0 0 25 0 1 0 9338488 133775360 31086 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 32660 31086 593 984 0 31673 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 130640 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14587 /proc/meminfo: memFree=1662992/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=132360 CPUtime=1241.91 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 628813 0 0 0 122539 1652 0 0 25 0 1 0 9338488 135536640 31515 1992294400 4194304 8223781 140733886426288 18446744073709551615 6532664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 33090 31515 593 984 0 32103 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 132360 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14589 /proc/meminfo: memFree=1659148/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=136712 CPUtime=1301.9 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 651595 0 0 0 128459 1731 0 0 25 0 1 0 9338488 139993088 32440 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 34178 32440 593 984 0 33191 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 136712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14591 /proc/meminfo: memFree=1657288/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=138656 CPUtime=1361.88 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 679500 0 0 0 134377 1811 0 0 25 0 1 0 9338488 141983744 32905 1992294400 4194304 8223781 140733886426288 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 34664 32905 593 984 0 33677 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 138656 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14593 /proc/meminfo: memFree=1655800/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=140196 CPUtime=1421.87 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 713113 0 0 0 140291 1896 0 0 25 0 1 0 9338488 143560704 33262 1992294400 4194304 8223781 140733886426288 18446744073709551615 6248437 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 35049 33262 593 984 0 34062 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 140196 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14593 /proc/meminfo: memFree=1654312/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=141852 CPUtime=1481.85 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 742755 0 0 0 146210 1975 0 0 25 0 1 0 9338488 145256448 33586 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 35463 33586 593 984 0 34476 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 141852 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14595 /proc/meminfo: memFree=1653196/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=143448 CPUtime=1541.83 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 769681 0 0 0 152135 2048 0 0 25 0 1 0 9338488 146890752 33972 1992294400 4194304 8223781 140733886426288 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 35862 33972 593 984 0 34875 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 143448 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14597 /proc/meminfo: memFree=1651460/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=145344 CPUtime=1601.81 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 797482 0 0 0 158055 2126 0 0 25 0 1 0 9338488 148832256 34400 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 36336 34400 593 984 0 35349 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 145344 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14599 /proc/meminfo: memFree=1649972/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=147128 CPUtime=1661.79 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 815531 0 0 0 163981 2198 0 0 25 0 1 0 9338488 150659072 34812 1992294400 4194304 8223781 140733886426288 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 36782 34812 593 984 0 35795 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 147128 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14601 /proc/meminfo: memFree=1648484/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=148420 CPUtime=1721.77 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 849804 0 0 0 169905 2272 0 0 25 0 1 0 9338488 151982080 35130 1992294400 4194304 8223781 140733886426288 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 37105 35130 593 984 0 36118 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 148420 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14601 /proc/meminfo: memFree=1645880/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=151012 CPUtime=1781.75 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 872931 0 0 0 175824 2351 0 0 25 0 1 0 9338488 154636288 35727 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 37753 35727 593 984 0 36766 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 151012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.08 1.02 1.01 2/107 14603 /proc/meminfo: memFree=1645260/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=151648 CPUtime=1800.05 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 881753 0 0 0 177630 2375 0 0 25 0 1 0 9338488 155287552 35883 1992294400 4194304 8223781 140733886426288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14551/statm: 37912 35883 593 984 0 36925 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 151648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.08 1.02 1.01 2/107 14603 /proc/meminfo: memFree=1645260/2059040 swapFree=4141108/4192956 [pid=14551] ppid=14549 vsize=97008 CPUtime=1800.24 /proc/14551/stat : 14551 (pbscip.linux.x8) R 14549 14551 14289 0 -1 4202496 881754 0 0 0 177648 2376 0 0 25 0 1 0 9338488 99336192 14191 1992294400 4194304 8223781 140733886426288 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14551/statm: 24252 14191 594 984 0 23265 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 97008 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.26 CPU user time (s): 1776.48 CPU system time (s): 23.7754 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 151804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.48 system time used= 23.7754 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 881758 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4172 runsolver used 2.97455 second user time and 8.50771 second system time The end
Begin job on node050 at 2010-06-16 11:27:49 IDJOB=2666330 IDBENCH=48348 IDSOLVER=1169 FILE ID=node050/2666330-1276680469 PBS_JOBID= 11172564 Free space on /tmp= 62572 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_25_1_15.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-2666330-1276680469/watcher-2666330-1276680469 -o /tmp/evaluation-result-2666330-1276680469/solver-2666330-1276680469 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666330-1276680469.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0df66f3e832b73f1cdf8165c8cc1c11b RANDOM SEED=139346312 node050.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1789140 kB Buffers: 65560 kB Cached: 113052 kB SwapCached: 7128 kB Active: 107140 kB Inactive: 86344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1789140 kB SwapTotal: 4192956 kB SwapFree: 4141108 kB Dirty: 4596 kB Writeback: 0 kB AnonPages: 11952 kB Mapped: 13092 kB Slab: 54588 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180928 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= 62568 MiB End job on node050 at 2010-06-16 11:57:51