| 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.67 | 1801.23 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb |
| MD5SUM | ff64c7b9cef588c95a335f732f2d905b |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12440 |
| Sum of products size (including duplicates) | 24880 |
| Number of different products | 6220 |
| Sum of products size | 12440 |
0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2666341-1276682230.opb>
0.01/0.09 c original problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6822 constraints
0.01/0.09 c problem read
0.01/0.09 c No objective function, only one solution is needed.
0.01/0.09 c presolving settings loaded
0.09/0.17 c presolving:
0.39/0.45 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50160 impls, 400 clqs
0.59/0.66 c presolving (2 rounds):
0.59/0.66 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.66 c 50160 implications, 400 cliques
0.59/0.66 c presolved problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6822 constraints
0.59/0.66 c 1 constraints of type <knapsack>
0.59/0.66 c 400 constraints of type <setppc>
0.59/0.66 c 6220 constraints of type <and>
0.59/0.66 c 1 constraints of type <linear>
0.59/0.66 c 200 constraints of type <logicor>
0.59/0.66 c transformed objective value is always integral (scale: 1)
0.59/0.66 c Presolving Time: 0.33
0.59/0.67 c - non default parameters ----------------------------------------------------------------------
0.59/0.67 c # SCIP version 1.2.1.2
0.59/0.67 c
0.59/0.67 c # frequency for displaying node information lines
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.67 c display/freq = 10000
0.59/0.67 c
0.59/0.67 c # maximal time in seconds to run
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/time = 1799.91
0.59/0.67 c
0.59/0.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/memory = 1620
0.59/0.67 c
0.59/0.67 c # solving stops, if the given number of solutions were found (-1: no limit)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67 c limits/solutions = 1
0.59/0.67 c
0.59/0.67 c # maximal number of separation rounds per node (-1: unlimited)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 5]
0.59/0.67 c separating/maxrounds = 1
0.59/0.67 c
0.59/0.67 c # maximal number of separation rounds in the root node (-1: unlimited)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67 c separating/maxroundsroot = 5
0.59/0.67 c
0.59/0.67 c # should presolving try to simplify inequalities
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/linear/simplifyinequalities = TRUE
0.59/0.67 c
0.59/0.67 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.59/0.67 c constraints/knapsack/disaggregation = FALSE
0.59/0.67 c
0.59/0.67 c # should presolving try to simplify knapsacks
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.67 c
0.59/0.67 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67 c presolving/probing/maxrounds = 0
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/coefdiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.67 c heuristics/coefdiving/maxlpiterquot = 0.075
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/coefdiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 30]
0.59/0.67 c heuristics/crossover/freq = -1
0.59/0.67 c
0.59/0.67 c # number of nodes added to the contingent of the total nodes
0.59/0.67 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.67 c heuristics/crossover/nodesofs = 750
0.59/0.67 c
0.59/0.67 c # number of nodes without incumbent change that heuristic should wait
0.59/0.67 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.59/0.67 c heuristics/crossover/nwaitingnodes = 100
0.59/0.67 c
0.59/0.67 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.59/0.67 c # [type: real, range: [0,1], default: 0.1]
0.59/0.67 c heuristics/crossover/nodesquot = 0.15
0.59/0.67 c
0.59/0.67 c # minimum percentage of integer variables that have to be fixed
0.59/0.67 c # [type: real, range: [0,1], default: 0.666]
0.59/0.67 c heuristics/crossover/minfixingrate = 0.5
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.67 c heuristics/feaspump/freq = -1
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/feaspump/maxlpiterofs = 2000
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/fracdiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.67 c heuristics/fracdiving/maxlpiterquot = 0.075
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/fracdiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/guideddiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.67 c heuristics/guideddiving/maxlpiterquot = 0.075
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/guideddiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.67 c heuristics/intdiving/maxlpiterquot = 0.075
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/intshifting/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/linesearchdiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.67 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c heuristics/nlp/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.67 c heuristics/objpscostdiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to total iteration number
0.59/0.67 c # [type: real, range: [0,1], default: 0.01]
0.59/0.67 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c heuristics/oneopt/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/pscostdiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.67 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/pscostdiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.67 c heuristics/rens/freq = -1
0.59/0.67 c
0.59/0.67 c # minimum percentage of integer variables that have to be fixable
0.59/0.67 c # [type: real, range: [0,1], default: 0.5]
0.59/0.67 c heuristics/rens/minfixingrate = 0.3
0.59/0.67 c
0.59/0.67 c # number of nodes added to the contingent of the total nodes
0.59/0.67 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.67 c heuristics/rens/nodesofs = 2000
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.67 c heuristics/rootsoldiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.59/0.67 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c heuristics/rounding/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/shifting/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c heuristics/simplerounding/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.67 c heuristics/trivial/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c heuristics/trysol/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.67 c heuristics/veclendiving/freq = -1
0.59/0.67 c
0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.67 c heuristics/veclendiving/maxlpiterquot = 0.075
0.59/0.67 c
0.59/0.67 c # additional number of allowed LP iterations
0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.67 c heuristics/veclendiving/maxlpiterofs = 1500
0.59/0.67 c
0.59/0.67 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c heuristics/zirounding/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.67 c separating/cmir/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.67 c separating/flowcover/freq = -1
0.59/0.67 c
0.59/0.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67 c separating/rapidlearning/freq = 0
0.59/0.67 c
0.59/0.67 c -----------------------------------------------------------------------------------------------
0.59/0.67 c start solving
0.59/0.67 c
2.69/2.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.74 c 2.4s| 1 | 0 | 1324 | - | 30M| 0 | 754 |6620 |6822 |6620 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.59/29.65 c 29.0s| 1 | 0 | 1471 | - | 31M| 0 | 748 |6620 |6822 |6620 | 13k| 37 | 0 | 0 | 0.000000e+00 | -- | Inf
57.78/57.82 c 57.1s| 1 | 0 | 1639 | - | 33M| 0 | 754 |6620 |6822 |6620 | 13k| 45 | 0 | 0 | 0.000000e+00 | -- | Inf
72.97/73.05 c 72.2s| 1 | 0 | 2252 | - | 35M| 0 | 733 |6620 |6822 |6620 | 13k| 54 | 0 | 0 | 0.000000e+00 | -- | Inf
101.36/101.42 c 101s| 1 | 0 | 2490 | - | 36M| 0 | 727 |6620 |6822 |6620 | 13k| 65 | 0 | 0 | 0.000000e+00 | -- | Inf
121.25/121.38 c 120s| 1 | 0 | 2659 | - | 38M| 0 | 733 |6620 |6822 |6620 | 13k| 80 | 0 | 0 | 0.000000e+00 | -- | Inf
156.95/157.05 c 156s| 1 | 2 | 2659 | - | 38M| 0 | 733 |6620 |6822 |6620 | 13k| 80 | 0 | 18 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.44/1801.07 c
1800.44/1801.07 c SCIP Status : solving was interrupted [user interrupt]
1800.44/1801.07 c Solving Time (sec) : 1778.56
1800.44/1801.07 c Solving Nodes : 2018
1800.44/1801.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.44/1801.07 c Dual Bound : +0.00000000000000e+00
1800.44/1801.07 c Gap : infinite
1800.44/1801.07 s UNKNOWN
1800.44/1801.07 c SCIP Status : solving was interrupted [user interrupt]
1800.44/1801.07 c Solving Time : 1778.56
1800.44/1801.07 c Original Problem :
1800.44/1801.07 c Problem name : HOME/instance-2666341-1276682230.opb
1800.44/1801.07 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.44/1801.07 c Constraints : 6822 initial, 6822 maximal
1800.44/1801.07 c Presolved Problem :
1800.44/1801.07 c Problem name : t_HOME/instance-2666341-1276682230.opb
1800.44/1801.07 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.44/1801.07 c Constraints : 6822 initial, 8596 maximal
1800.44/1801.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.44/1801.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.07 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.44/1801.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.07 c probing : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.07 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.44/1801.07 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.44/1801.07 c and : 0.19 0 0 0 0 0 0 0 0
1800.44/1801.07 c linear : 0.05 0 0 0 0 0 0 0 0
1800.44/1801.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.07 c root node : - 0 - - 0 - - - -
1800.44/1801.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.44/1801.07 c integral : 0 0 0 1538 0 6 500 0 0 2494
1800.44/1801.07 c knapsack : 1 5 7669 0 0 0 0 0 0 0
1800.44/1801.07 c setppc : 400 5 7669 0 0 22 22826 0 0 0
1800.44/1801.07 c and : 6220 1882 7647 0 0 2 487584 505493 0 0
1800.44/1801.07 c linear : 1 5 7645 0 0 0 0 0 0 0
1800.44/1801.07 c logicor : 200+ 5 2675 0 0 4 1626 0 0 0
1800.44/1801.07 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.44/1801.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.44/1801.07 c integral : 629.98 0.00 0.00 629.98 0.00
1800.44/1801.07 c knapsack : 0.16 0.05 0.11 0.00 0.00
1800.44/1801.07 c setppc : 0.19 0.00 0.19 0.00 0.00
1800.44/1801.07 c and : 8.70 5.71 2.99 0.00 0.00
1800.44/1801.07 c linear : 0.39 0.00 0.39 0.00 0.00
1800.44/1801.07 c logicor : 0.26 0.00 0.26 0.00 0.00
1800.44/1801.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.44/1801.07 c Propagators : Time Calls Cutoffs DomReds
1800.44/1801.07 c vbounds : 0.01 1 0 0
1800.44/1801.07 c rootredcost : 0.00 0 0 0
1800.44/1801.07 c pseudoobj : 0.00 0 0 0
1800.44/1801.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.44/1801.07 c propagation : 0.01 28 27 59 21.5 0 0.0 -
1800.44/1801.07 c infeasible LP : 3.68 740 730 7084 46.3 0 0.0 0
1800.44/1801.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.44/1801.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.44/1801.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.44/1801.07 c applied globally : - - - 2036 67.5 - - -
1800.44/1801.07 c applied locally : - - - 0 0.0 - - -
1800.44/1801.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.44/1801.07 c cut pool : 0.00 4 - - 1 - (maximal pool size: 548)
1800.44/1801.07 c redcost : 1.68 1882 0 0 0 0
1800.44/1801.07 c impliedbounds : 0.00 5 0 0 63 0
1800.44/1801.07 c intobj : 0.00 0 0 0 0 0
1800.44/1801.07 c cgmip : 0.00 0 0 0 0 0
1800.44/1801.07 c gomory : 34.77 5 0 0 0 0
1800.44/1801.07 c strongcg : 77.67 5 0 0 1874 0
1800.44/1801.07 c cmir : 0.00 0 0 0 0 0
1800.44/1801.07 c flowcover : 0.00 0 0 0 0 0
1800.44/1801.07 c clique : 0.18 5 0 0 34 0
1800.44/1801.07 c zerohalf : 0.00 0 0 0 0 0
1800.44/1801.07 c mcf : 0.61 5 0 0 57 0
1800.44/1801.07 c rapidlearning : 0.78 1 0 0 0 0
1800.44/1801.07 c Pricers : Time Calls Vars
1800.44/1801.07 c problem variables: 0.00 0 0
1800.44/1801.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.44/1801.07 c relpscost : 629.98 1538 6 500 0 0 2494
1800.44/1801.07 c pscost : 0.00 0 0 0 0 0 0
1800.44/1801.07 c inference : 0.00 0 0 0 0 0 0
1800.44/1801.07 c mostinf : 0.00 0 0 0 0 0 0
1800.44/1801.07 c leastinf : 0.00 0 0 0 0 0 0
1800.44/1801.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.44/1801.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.44/1801.07 c random : 0.00 0 0 0 0 0 0
1800.44/1801.07 c Primal Heuristics : Time Calls Found
1800.44/1801.07 c LP solutions : 0.00 - 0
1800.44/1801.07 c pseudo solutions : 0.00 - 0
1800.44/1801.07 c trivial : 0.01 1 0
1800.44/1801.07 c simplerounding : 0.00 0 0
1800.44/1801.07 c zirounding : 0.00 0 0
1800.44/1801.07 c rounding : 0.00 0 0
1800.44/1801.07 c shifting : 0.00 0 0
1800.44/1801.07 c intshifting : 0.00 0 0
1800.44/1801.07 c oneopt : 0.00 0 0
1800.44/1801.07 c twoopt : 0.00 0 0
1800.44/1801.07 c fixandinfer : 0.00 0 0
1800.44/1801.07 c feaspump : 0.00 0 0
1800.44/1801.07 c coefdiving : 0.00 0 0
1800.44/1801.07 c pscostdiving : 0.00 0 0
1800.44/1801.07 c fracdiving : 0.00 0 0
1800.44/1801.07 c veclendiving : 0.00 0 0
1800.44/1801.07 c intdiving : 0.00 0 0
1800.44/1801.07 c actconsdiving : 0.00 0 0
1800.44/1801.07 c objpscostdiving : 0.00 0 0
1800.44/1801.07 c rootsoldiving : 0.00 0 0
1800.44/1801.07 c linesearchdiving : 0.00 0 0
1800.44/1801.07 c guideddiving : 0.00 0 0
1800.44/1801.07 c octane : 0.00 0 0
1800.44/1801.07 c rens : 0.00 0 0
1800.44/1801.07 c rins : 0.00 0 0
1800.44/1801.07 c localbranching : 0.00 0 0
1800.44/1801.07 c mutation : 0.00 0 0
1800.44/1801.07 c crossover : 0.00 0 0
1800.44/1801.07 c dins : 0.00 0 0
1800.44/1801.07 c undercover : 0.00 0 0
1800.44/1801.07 c nlp : 0.00 0 0
1800.44/1801.07 c trysol : 0.00 0 0
1800.44/1801.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.44/1801.07 c primal LP : 7.79 0 0 0.00 0.00
1800.44/1801.07 c dual LP : 985.24 4160 1190467 286.17 1208.30
1800.44/1801.07 c lex dual LP : 0.00 0 0 0.00 -
1800.44/1801.07 c barrier LP : 0.00 0 0 0.00 -
1800.44/1801.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.44/1801.07 c strong branching : 629.34 4716 706779 149.87 1123.05
1800.44/1801.07 c (at root node) : - 18 11729 651.61 -
1800.44/1801.07 c conflict analysis: 0.00 0 0 0.00 -
1800.44/1801.07 c B&B Tree :
1800.44/1801.07 c number of runs : 1
1800.44/1801.07 c nodes : 2018
1800.44/1801.07 c nodes (total) : 2018
1800.44/1801.07 c nodes left : 351
1800.44/1801.07 c max depth : 22
1800.44/1801.07 c max depth (total): 22
1800.44/1801.07 c backtracks : 376 (18.6%)
1800.44/1801.07 c delayed cutoffs : 126
1800.44/1801.07 c repropagations : 1571 (21668 domain reductions, 3 cutoffs)
1800.44/1801.07 c avg switch length: 5.09
1800.44/1801.07 c switching time : 12.89
1800.44/1801.07 c Solution :
1800.44/1801.07 c Solutions found : 0 (0 improvements)
1800.44/1801.07 c Primal Bound : -
1800.44/1801.07 c Dual Bound : +0.00000000000000e+00
1800.44/1801.07 c Gap : infinite
1800.44/1801.07 c Root Dual Bound : +0.00000000000000e+00
1800.44/1801.07 c Root Iterations : 2659
1800.63/1801.22 c Time complete: 1800.66.
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-2666341-1276682230/watcher-2666341-1276682230 -o /tmp/evaluation-result-2666341-1276682230/solver-2666341-1276682230 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666341-1276682230.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.87 2.04 1.68 3/105 18958 /proc/meminfo: memFree=1774300/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=8752 CPUtime=0 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 1400 0 0 0 0 0 0 0 25 0 1 0 9516546 8962048 1320 1992294400 4194304 8223781 140736321297792 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18958/statm: 2188 1330 348 984 0 1201 0 [startup+0.0242791 s] /proc/loadavg: 1.87 2.04 1.68 3/105 18958 /proc/meminfo: memFree=1774300/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=10888 CPUtime=0.01 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2031 0 0 0 1 0 0 0 25 0 1 0 9516546 11149312 1951 1992294400 4194304 8223781 140736321297792 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18958/statm: 2722 1951 364 984 0 1735 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10888 [startup+0.101287 s] /proc/loadavg: 1.87 2.04 1.68 3/105 18958 /proc/meminfo: memFree=1774300/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=17508 CPUtime=0.09 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3918 0 0 0 8 1 0 0 25 0 1 0 9516546 17928192 3474 1992294400 4194304 8223781 140736321297792 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 4377 3484 376 984 0 3390 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17508 [startup+0.301308 s] /proc/loadavg: 1.87 2.04 1.68 3/105 18958 /proc/meminfo: memFree=1774300/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=32140 CPUtime=0.29 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 7691 0 0 0 21 8 0 0 25 0 1 0 9516546 32911360 6990 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 8035 6990 426 984 0 7048 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32140 [startup+0.70135 s] /proc/loadavg: 1.87 2.04 1.68 3/105 18958 /proc/meminfo: memFree=1774300/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=43896 CPUtime=0.69 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 12351 0 0 0 45 24 0 0 18 0 1 0 9516546 44949504 9849 1992294400 4194304 8223781 140736321297792 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 10974 9863 497 984 0 9987 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43896 [startup+1.50143 s] /proc/loadavg: 1.87 2.04 1.68 2/106 18959 /proc/meminfo: memFree=1717872/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=63568 CPUtime=1.49 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 19001 0 0 0 123 26 0 0 18 0 1 0 9516546 65093632 14572 1992294400 4194304 8223781 140736321297792 18446744073709551615 6537810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 15892 14572 539 984 0 14905 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 63568 [startup+3.1016 s] /proc/loadavg: 1.87 2.04 1.68 2/106 18959 /proc/meminfo: memFree=1717004/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=64816 CPUtime=3.09 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 20645 0 0 0 282 27 0 0 22 0 1 0 9516546 66371584 14859 1992294400 4194304 8223781 140736321297792 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 16204 14859 564 984 0 15217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64816 [startup+6.30094 s] /proc/loadavg: 1.80 2.02 1.67 2/106 18959 /proc/meminfo: memFree=1716012/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=64816 CPUtime=6.29 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 20645 0 0 0 601 28 0 0 25 0 1 0 9516546 66371584 14859 1992294400 4194304 8223781 140736321297792 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 16204 14859 564 984 0 15217 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64816 [startup+12.7006 s] /proc/loadavg: 1.74 2.00 1.67 2/106 18959 /proc/meminfo: memFree=1715524/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=65608 CPUtime=12.69 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 20879 0 0 0 1239 30 0 0 25 0 1 0 9516546 67182592 15086 1992294400 4194304 8223781 140736321297792 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 16402 15086 561 984 0 15415 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65608 [startup+25.5009 s] /proc/loadavg: 1.57 1.95 1.66 2/106 18959 /proc/meminfo: memFree=1711928/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=69552 CPUtime=25.49 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 21809 0 0 0 2517 32 0 0 25 0 1 0 9516546 71221248 16016 1992294400 4194304 8223781 140736321297792 18446744073709551615 6055425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 17388 16016 561 984 0 16401 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69552 [startup+51.1016 s] /proc/loadavg: 1.38 1.88 1.64 2/106 18961 /proc/meminfo: memFree=1704116/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=77584 CPUtime=51.08 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 35895 0 0 0 5045 63 0 0 25 0 1 0 9516546 79446016 17984 1992294400 4194304 8223781 140736321297792 18446744073709551615 6059637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 19396 17984 595 984 0 18409 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77584 [startup+102.309 s] /proc/loadavg: 1.16 1.74 1.60 2/106 18961 /proc/meminfo: memFree=1692336/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=89424 CPUtime=102.27 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 44487 0 0 0 10148 79 0 0 25 0 1 0 9516546 91570176 20770 1992294400 4194304 8223781 140736321297792 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 22356 20770 592 984 0 21369 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 89424 [startup+162.301 s] /proc/loadavg: 1.06 1.60 1.56 2/106 18963 /proc/meminfo: memFree=1688740/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=92836 CPUtime=162.25 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 108824 0 0 0 16102 123 0 0 25 0 1 0 9516546 95064064 21713 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 23209 21713 591 984 0 22222 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 92836 [startup+222.302 s] /proc/loadavg: 1.02 1.49 1.52 2/106 18965 /proc/meminfo: memFree=1687500/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=94668 CPUtime=222.23 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 183281 0 0 0 22041 182 0 0 25 0 1 0 9516546 96940032 22095 1992294400 4194304 8223781 140736321297792 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 23667 22095 591 984 0 22680 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 94668 [startup+282.301 s] /proc/loadavg: 1.00 1.40 1.49 2/106 18976 /proc/meminfo: memFree=1686136/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=95492 CPUtime=282.19 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 305600 0 0 0 27960 259 0 0 25 0 1 0 9516546 97783808 22387 1992294400 4194304 8223781 140736321297792 18446744073709551615 6610268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 23873 22387 596 984 0 22886 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 95492 [startup+342.301 s] /proc/loadavg: 1.00 1.32 1.45 2/106 18976 /proc/meminfo: memFree=1684152/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=96212 CPUtime=342.18 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 389253 0 0 0 33895 323 0 0 25 0 1 0 9516546 98521088 22627 1992294400 4194304 8223781 140736321297792 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 24053 22627 596 984 0 23066 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 96212 [startup+402.301 s] /proc/loadavg: 1.00 1.26 1.42 2/106 18978 /proc/meminfo: memFree=1682292/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=99180 CPUtime=402.16 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 487219 0 0 0 39826 390 0 0 25 0 1 0 9516546 101560320 23256 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 24795 23256 596 984 0 23808 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 99180 [startup+462.302 s] /proc/loadavg: 1.00 1.21 1.39 2/106 18980 /proc/meminfo: memFree=1680680/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=100732 CPUtime=462.13 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 616817 0 0 0 45745 468 0 0 25 0 1 0 9516546 103149568 23682 1992294400 4194304 8223781 140736321297792 18446744073709551615 6562454 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 25183 23682 596 984 0 24196 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 100732 [startup+522.301 s] /proc/loadavg: 1.00 1.17 1.37 2/106 18982 /proc/meminfo: memFree=1679316/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=102156 CPUtime=522.12 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 734586 0 0 0 51671 541 0 0 25 0 1 0 9516546 104607744 24043 1992294400 4194304 8223781 140736321297792 18446744073709551615 6562648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 25539 24043 598 984 0 24552 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 102156 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.34 2/106 18984 /proc/meminfo: memFree=1677704/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=103564 CPUtime=582.09 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 858818 0 0 0 57590 619 0 0 25 0 1 0 9516546 106049536 24335 1992294400 4194304 8223781 140736321297792 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 25891 24335 596 984 0 24904 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 103564 [startup+642.302 s] /proc/loadavg: 1.00 1.11 1.32 2/106 18984 /proc/meminfo: memFree=1676092/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=105672 CPUtime=642.09 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 968335 0 0 0 63517 692 0 0 25 0 1 0 9516546 108208128 24760 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 26418 24760 599 984 0 25431 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 105672 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.22 2/106 18992 /proc/meminfo: memFree=1669396/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=111956 CPUtime=941.99 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 1585611 0 0 0 93122 1077 0 0 25 0 1 0 9516546 114642944 26461 1992294400 4194304 8223781 140736321297792 18446744073709551615 6359014 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 27989 26461 596 984 0 27002 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 111956 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.20 2/106 18994 /proc/meminfo: memFree=1668528/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=112944 CPUtime=1001.97 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 1708305 0 0 0 99042 1155 0 0 25 0 1 0 9516546 115654656 26653 1992294400 4194304 8223781 140736321297792 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 28236 26653 598 984 0 27249 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 112944 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/106 18996 /proc/meminfo: memFree=1667660/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=112888 CPUtime=1061.95 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 1843614 0 0 0 104966 1229 0 0 25 0 1 0 9516546 115597312 26740 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 28222 26740 596 984 0 27235 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 112888 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.17 2/106 18998 /proc/meminfo: memFree=1667288/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=113520 CPUtime=1121.94 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 1969550 0 0 0 110887 1307 0 0 25 0 1 0 9516546 116244480 26858 1992294400 4194304 8223781 140736321297792 18446744073709551615 6296207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 28380 26858 596 984 0 27393 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 113520 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.16 2/106 19000 /proc/meminfo: memFree=1666668/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=114612 CPUtime=1181.92 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2082502 0 0 0 116817 1375 0 0 25 0 1 0 9516546 117362688 27113 1992294400 4194304 8223781 140736321297792 18446744073709551615 6570435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 28653 27113 596 984 0 27666 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 114612 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.15 2/106 19000 /proc/meminfo: memFree=1664188/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=116380 CPUtime=1241.9 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2214217 0 0 0 122734 1456 0 0 25 0 1 0 9516546 119173120 27585 1992294400 4194304 8223781 140736321297792 18446744073709551615 6559804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 29095 27585 596 984 0 28108 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 116380 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.14 2/106 19002 /proc/meminfo: memFree=1662700/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=118400 CPUtime=1301.89 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2337548 0 0 0 128663 1526 0 0 25 0 1 0 9516546 121241600 28014 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 29600 28014 596 984 0 28613 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 118400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/106 19004 /proc/meminfo: memFree=1661212/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=120112 CPUtime=1361.87 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2486629 0 0 0 134577 1610 0 0 25 0 1 0 9516546 122994688 28392 1992294400 4194304 8223781 140736321297792 18446744073709551615 6568409 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 30028 28392 596 984 0 29041 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 120112 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/106 19006 /proc/meminfo: memFree=1659724/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=121272 CPUtime=1421.85 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2635442 0 0 0 140493 1692 0 0 25 0 1 0 9516546 124182528 28759 1992294400 4194304 8223781 140736321297792 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 30318 28759 596 984 0 29331 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 121272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.10 2/106 19008 /proc/meminfo: memFree=1658608/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=121272 CPUtime=1481.83 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2749302 0 0 0 146420 1763 0 0 25 0 1 0 9516546 124182528 28802 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 30318 28802 596 984 0 29331 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 121272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/106 19008 /proc/meminfo: memFree=1657864/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=122276 CPUtime=1541.82 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 2881385 0 0 0 152342 1840 0 0 25 0 1 0 9516546 125210624 29055 1992294400 4194304 8223781 140736321297792 18446744073709551615 6328715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 30569 29055 596 984 0 29582 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 122276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/106 19010 /proc/meminfo: memFree=1656128/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=124688 CPUtime=1601.79 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3019231 0 0 0 158261 1918 0 0 25 0 1 0 9516546 127680512 29547 1992294400 4194304 8223781 140736321297792 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 31172 29547 596 984 0 30185 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 124688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/106 19012 /proc/meminfo: memFree=1655260/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=125988 CPUtime=1661.77 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3147426 0 0 0 164183 1994 0 0 25 0 1 0 9516546 129011712 29863 1992294400 4194304 8223781 140736321297792 18446744073709551615 6562627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 31497 29863 596 984 0 30510 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 125988 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/106 19014 /proc/meminfo: memFree=1653772/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=126792 CPUtime=1721.76 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3283623 0 0 0 170100 2076 0 0 25 0 1 0 9516546 129835008 30090 1992294400 4194304 8223781 140736321297792 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 31698 30090 596 984 0 30711 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 126792 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/106 19016 /proc/meminfo: memFree=1652780/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=128140 CPUtime=1781.74 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3434044 0 0 0 176013 2161 0 0 25 0 1 0 9516546 131215360 30305 1992294400 4194304 8223781 140736321297792 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 32035 30305 596 984 0 31048 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 128140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.06 2/106 19016 /proc/meminfo: memFree=1652284/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=129080 CPUtime=1800.05 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3475581 0 0 0 177819 2186 0 0 25 0 1 0 9516546 132177920 30514 1992294400 4194304 8223781 140736321297792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 32270 30514 598 984 0 31283 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 129080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.06 2/106 19016 /proc/meminfo: memFree=1652284/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=129080 CPUtime=1800.44 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3475705 0 0 0 177857 2187 0 0 25 0 1 0 9516546 132177920 30518 1992294400 4194304 8223781 140736321297792 18446744073709551615 6251381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18958/statm: 32270 30518 598 984 0 31283 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 129080 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.06 2/106 19016 /proc/meminfo: memFree=1652284/2059040 swapFree=4148288/4192956 [pid=18958] ppid=18956 vsize=114232 CPUtime=1800.63 /proc/18958/stat : 18958 (pbscip.linux.x8) R 18956 18958 18933 0 -1 4202496 3475752 0 0 0 177876 2187 0 0 18 0 1 0 9516546 116973568 26800 1992294400 4194304 8223781 140736321297792 18446744073709551615 6207239 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18958/statm: 28558 26800 597 984 0 27571 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (KiB) 114232 Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.67 CPU user time (s): 1778.78 CPU system time (s): 21.8887 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 129080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.78 system time used= 21.8887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3475756 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 3902 runsolver used 3.17452 second user time and 8.31174 second system time The end
Begin job on node082 at 2010-06-16 11:57:10 IDJOB=2666341 IDBENCH=48359 IDSOLVER=1169 FILE ID=node082/2666341-1276682230 PBS_JOBID= 11172579 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_2_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666341-1276682230/watcher-2666341-1276682230 -o /tmp/evaluation-result-2666341-1276682230/solver-2666341-1276682230 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666341-1276682230.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b RANDOM SEED=1767643896 node082.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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1774704 kB Buffers: 73832 kB Cached: 111416 kB SwapCached: 6844 kB Active: 105660 kB Inactive: 101068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1774704 kB SwapTotal: 4192956 kB SwapFree: 4148288 kB Dirty: 4748 kB Writeback: 0 kB AnonPages: 18692 kB Mapped: 13172 kB Slab: 55964 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180572 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= 62576 MiB End job on node082 at 2010-06-16 12:27:13