| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1801.97 | 1802.46 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_1_80.opb |
| MD5SUM | 1315caae01d69a106b6850eece7eb42e |
| 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 | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| 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 | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31432 |
| Sum of products size (including duplicates) | 62864 |
| Number of different products | 15716 |
| Sum of products size | 31432 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2664904-1276681308.opb>
0.09/0.19 c original problem has 16716 variables (16716 bin, 0 int, 0 impl, 0 cont) and 17218 constraints
0.09/0.19 c problem read
0.09/0.19 c No objective function, only one solution is needed.
0.09/0.19 c presolving settings loaded
0.39/0.40 c presolving:
0.89/0.92 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126728 impls, 1000 clqs
1.29/1.30 c presolving (2 rounds):
1.29/1.30 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.30 c 126728 implications, 1000 cliques
1.29/1.30 c presolved problem has 16716 variables (16716 bin, 0 int, 0 impl, 0 cont) and 17218 constraints
1.29/1.30 c 1 constraints of type <knapsack>
1.29/1.30 c 1000 constraints of type <setppc>
1.29/1.30 c 15716 constraints of type <and>
1.29/1.30 c 1 constraints of type <linear>
1.29/1.30 c 500 constraints of type <logicor>
1.29/1.30 c transformed objective value is always integral (scale: 1)
1.29/1.30 c Presolving Time: 0.81
1.29/1.30 c - non default parameters ----------------------------------------------------------------------
1.29/1.30 c # SCIP version 1.2.1.2
1.29/1.30 c
1.29/1.30 c # frequency for displaying node information lines
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.30 c display/freq = 10000
1.29/1.30 c
1.29/1.30 c # maximal time in seconds to run
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.30 c limits/time = 1799.81
1.29/1.30 c
1.29/1.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.30 c limits/memory = 1620
1.29/1.30 c
1.29/1.30 c # solving stops, if the given number of solutions were found (-1: no limit)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.30 c limits/solutions = 1
1.29/1.30 c
1.29/1.30 c # maximal number of separation rounds per node (-1: unlimited)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 5]
1.29/1.30 c separating/maxrounds = 1
1.29/1.30 c
1.29/1.30 c # maximal number of separation rounds in the root node (-1: unlimited)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.30 c separating/maxroundsroot = 5
1.29/1.30 c
1.29/1.30 c # should presolving try to simplify inequalities
1.29/1.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.30 c constraints/linear/simplifyinequalities = TRUE
1.29/1.30 c
1.29/1.30 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.29/1.30 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.29/1.30 c constraints/knapsack/disaggregation = FALSE
1.29/1.30 c
1.29/1.30 c # should presolving try to simplify knapsacks
1.29/1.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.30 c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.30 c
1.29/1.30 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.30 c presolving/probing/maxrounds = 0
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/coefdiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.30 c heuristics/coefdiving/maxlpiterquot = 0.075
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/coefdiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 30]
1.29/1.30 c heuristics/crossover/freq = -1
1.29/1.30 c
1.29/1.30 c # number of nodes added to the contingent of the total nodes
1.29/1.30 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.29/1.30 c heuristics/crossover/nodesofs = 750
1.29/1.30 c
1.29/1.30 c # number of nodes without incumbent change that heuristic should wait
1.29/1.30 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.29/1.30 c heuristics/crossover/nwaitingnodes = 100
1.29/1.30 c
1.29/1.30 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.29/1.30 c # [type: real, range: [0,1], default: 0.1]
1.29/1.30 c heuristics/crossover/nodesquot = 0.15
1.29/1.30 c
1.29/1.30 c # minimum percentage of integer variables that have to be fixed
1.29/1.30 c # [type: real, range: [0,1], default: 0.666]
1.29/1.30 c heuristics/crossover/minfixingrate = 0.5
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.30 c heuristics/feaspump/freq = -1
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/feaspump/maxlpiterofs = 2000
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/fracdiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.30 c heuristics/fracdiving/maxlpiterquot = 0.075
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/fracdiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/guideddiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.30 c heuristics/guideddiving/maxlpiterquot = 0.075
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/guideddiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.30 c heuristics/intdiving/maxlpiterquot = 0.075
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/intshifting/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/linesearchdiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.30 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.30 c heuristics/nlp/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.30 c heuristics/objpscostdiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to total iteration number
1.29/1.30 c # [type: real, range: [0,1], default: 0.01]
1.29/1.30 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.30 c heuristics/oneopt/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/pscostdiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.30 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/pscostdiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.30 c heuristics/rens/freq = -1
1.29/1.30 c
1.29/1.30 c # minimum percentage of integer variables that have to be fixable
1.29/1.30 c # [type: real, range: [0,1], default: 0.5]
1.29/1.30 c heuristics/rens/minfixingrate = 0.3
1.29/1.30 c
1.29/1.30 c # number of nodes added to the contingent of the total nodes
1.29/1.30 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.29/1.30 c heuristics/rens/nodesofs = 2000
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.30 c heuristics/rootsoldiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.29/1.30 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.30 c heuristics/rounding/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/shifting/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.30 c heuristics/simplerounding/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.30 c heuristics/trivial/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.30 c heuristics/trysol/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.30 c heuristics/veclendiving/freq = -1
1.29/1.30 c
1.29/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.30 c heuristics/veclendiving/maxlpiterquot = 0.075
1.29/1.30 c
1.29/1.30 c # additional number of allowed LP iterations
1.29/1.30 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.30 c heuristics/veclendiving/maxlpiterofs = 1500
1.29/1.30 c
1.29/1.30 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.30 c heuristics/zirounding/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.30 c separating/cmir/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.30 c separating/flowcover/freq = -1
1.29/1.30 c
1.29/1.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.30 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.30 c separating/rapidlearning/freq = 0
1.29/1.30 c
1.29/1.30 c -----------------------------------------------------------------------------------------------
1.29/1.30 c start solving
1.29/1.31 c
28.98/29.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.98/29.01 c 28.4s| 1 | 0 | 4968 | - | 75M| 0 |1351 | 16k| 17k| 16k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
150.15/150.27 c 149s| 1 | 0 | 8943 | - | 81M| 0 |1588 | 16k| 17k| 16k| 33k| 536 | 0 | 0 | 0.000000e+00 | -- | Inf
420.48/420.69 c 419s| 1 | 0 | 10660 | - | 85M| 0 |1355 | 16k| 17k| 16k| 33k| 821 | 0 | 0 | 0.000000e+00 | -- | Inf
597.43/597.70 c 596s| 1 | 0 | 11640 | - | 92M| 0 |1258 | 16k| 17k| 16k| 33k| 891 | 0 | 0 | 0.000000e+00 | -- | Inf
742.79/743.03 c 741s| 1 | 0 | 12444 | - | 99M| 0 |1199 | 16k| 17k| 16k| 33k| 947 | 0 | 0 | 0.000000e+00 | -- | Inf
893.46/893.74 c 892s| 1 | 0 | 12619 | - | 106M| 0 |1112 | 16k| 17k| 16k| 33k| 973 | 0 | 0 | 0.000000e+00 | -- | Inf
986.03/986.35 c 983s| 1 | 2 | 12619 | - | 106M| 0 |1112 | 16k| 17k| 16k| 33k| 973 | 0 | 25 | 0.000000e+00 | -- | Inf
1800.10/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.40/1801.91 c
1801.40/1801.91 c SCIP Status : solving was interrupted [user interrupt]
1801.40/1801.91 c Solving Time (sec) : 1791.44
1801.40/1801.91 c Solving Nodes : 215
1801.40/1801.91 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.40/1801.91 c Dual Bound : +0.00000000000000e+00
1801.40/1801.91 c Gap : infinite
1801.40/1801.91 s UNKNOWN
1801.40/1801.91 c SCIP Status : solving was interrupted [user interrupt]
1801.40/1801.91 c Solving Time : 1791.44
1801.40/1801.91 c Original Problem :
1801.40/1801.91 c Problem name : HOME/instance-2664904-1276681308.opb
1801.40/1801.91 c Variables : 16716 (16716 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.40/1801.91 c Constraints : 17218 initial, 17218 maximal
1801.40/1801.91 c Presolved Problem :
1801.40/1801.91 c Problem name : t_HOME/instance-2664904-1276681308.opb
1801.40/1801.91 c Variables : 16716 (16716 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.40/1801.91 c Constraints : 17218 initial, 17229 maximal
1801.40/1801.91 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.40/1801.91 c trivial : 0.00 0 0 0 0 0 0 0 0
1801.40/1801.91 c dualfix : 0.02 0 0 0 0 0 0 0 0
1801.40/1801.91 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.40/1801.91 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.40/1801.91 c implics : 0.02 0 0 0 0 0 0 0 0
1801.40/1801.91 c probing : 0.00 0 0 0 0 0 0 0 0
1801.40/1801.91 c knapsack : 0.03 0 0 0 0 0 0 0 0
1801.40/1801.91 c setppc : 0.03 0 0 0 0 0 0 0 0
1801.40/1801.91 c and : 0.46 0 0 0 0 0 0 0 0
1801.40/1801.91 c linear : 0.11 0 0 0 0 0 0 0 0
1801.40/1801.91 c logicor : 0.00 0 0 0 0 0 0 0 0
1801.40/1801.91 c root node : - 0 - - 0 - - - -
1801.40/1801.91 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.40/1801.91 c integral : 0 0 0 170 0 0 1 0 0 338
1801.40/1801.91 c knapsack : 1 5 583 0 0 0 0 0 0 0
1801.40/1801.91 c setppc : 1000 5 583 0 0 1 1910 0 0 0
1801.40/1801.91 c and : 15716 217 582 0 0 0 39114 58829 0 0
1801.40/1801.91 c linear : 1 5 582 0 0 0 0 0 0 0
1801.40/1801.91 c logicor : 500+ 5 158 0 0 0 76 0 0 0
1801.40/1801.91 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.40/1801.91 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.40/1801.91 c integral : 372.89 0.00 0.00 372.89 0.00
1801.40/1801.91 c knapsack : 0.24 0.22 0.02 0.00 0.00
1801.40/1801.91 c setppc : 0.05 0.00 0.05 0.00 0.00
1801.40/1801.91 c and : 1.69 1.28 0.41 0.00 0.00
1801.40/1801.91 c linear : 0.11 0.00 0.11 0.00 0.00
1801.40/1801.91 c logicor : 0.00 0.00 0.00 0.00 0.00
1801.40/1801.91 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.40/1801.91 c Propagators : Time Calls Cutoffs DomReds
1801.40/1801.91 c vbounds : 0.00 1 0 0
1801.40/1801.91 c rootredcost : 0.00 0 0 0
1801.40/1801.91 c pseudoobj : 0.00 0 0 0
1801.40/1801.91 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.40/1801.91 c propagation : 0.00 1 1 1 3.0 0 0.0 -
1801.40/1801.91 c infeasible LP : 0.22 45 1 26 353.0 0 0.0 0
1801.40/1801.91 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.40/1801.91 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.40/1801.91 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.40/1801.91 c applied globally : - - - 11 372.3 - - -
1801.40/1801.91 c applied locally : - - - 0 0.0 - - -
1801.40/1801.91 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.40/1801.91 c cut pool : 0.02 4 - - 3 - (maximal pool size: 1687)
1801.40/1801.91 c redcost : 0.57 217 0 0 0 0
1801.40/1801.91 c impliedbounds : 0.03 5 0 0 1183 0
1801.40/1801.91 c intobj : 0.00 0 0 0 0 0
1801.40/1801.91 c cgmip : 0.00 0 0 0 0 0
1801.40/1801.91 c gomory : 338.12 5 0 0 32 0
1801.40/1801.91 c strongcg : 456.19 5 0 0 2228 0
1801.40/1801.91 c cmir : 0.00 0 0 0 0 0
1801.40/1801.91 c flowcover : 0.00 0 0 0 0 0
1801.40/1801.91 c clique : 0.60 5 0 0 31 0
1801.40/1801.91 c zerohalf : 0.00 0 0 0 0 0
1801.40/1801.91 c mcf : 6.17 5 0 0 231 0
1801.40/1801.91 c rapidlearning : 0.00 0 0 0 0 0
1801.40/1801.91 c Pricers : Time Calls Vars
1801.40/1801.91 c problem variables: 0.00 0 0
1801.40/1801.91 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.40/1801.91 c relpscost : 372.89 170 0 1 0 0 338
1801.40/1801.91 c pscost : 0.00 0 0 0 0 0 0
1801.40/1801.91 c inference : 0.00 0 0 0 0 0 0
1801.40/1801.91 c mostinf : 0.00 0 0 0 0 0 0
1801.40/1801.91 c leastinf : 0.00 0 0 0 0 0 0
1801.40/1801.91 c fullstrong : 0.00 0 0 0 0 0 0
1801.40/1801.91 c allfullstrong : 0.00 0 0 0 0 0 0
1801.40/1801.91 c random : 0.00 0 0 0 0 0 0
1801.40/1801.91 c Primal Heuristics : Time Calls Found
1801.40/1801.91 c LP solutions : 0.00 - 0
1801.40/1801.91 c pseudo solutions : 0.00 - 0
1801.40/1801.91 c trivial : 0.03 1 0
1801.40/1801.91 c simplerounding : 0.00 0 0
1801.40/1801.91 c zirounding : 0.00 0 0
1801.40/1801.91 c rounding : 0.00 0 0
1801.40/1801.91 c shifting : 0.00 0 0
1801.40/1801.91 c intshifting : 0.00 0 0
1801.40/1801.91 c oneopt : 0.00 0 0
1801.40/1801.91 c twoopt : 0.00 0 0
1801.40/1801.91 c fixandinfer : 0.00 0 0
1801.40/1801.91 c feaspump : 0.00 0 0
1801.40/1801.91 c coefdiving : 0.00 0 0
1801.40/1801.91 c pscostdiving : 0.00 0 0
1801.40/1801.91 c fracdiving : 0.00 0 0
1801.40/1801.91 c veclendiving : 0.00 0 0
1801.40/1801.91 c intdiving : 0.00 0 0
1801.40/1801.91 c actconsdiving : 0.00 0 0
1801.40/1801.91 c objpscostdiving : 0.00 0 0
1801.40/1801.91 c rootsoldiving : 0.00 0 0
1801.40/1801.91 c linesearchdiving : 0.00 0 0
1801.40/1801.91 c guideddiving : 0.00 0 0
1801.40/1801.91 c octane : 0.00 0 0
1801.40/1801.91 c rens : 0.00 0 0
1801.40/1801.91 c rins : 0.00 0 0
1801.40/1801.91 c localbranching : 0.00 0 0
1801.40/1801.91 c mutation : 0.00 0 0
1801.40/1801.91 c crossover : 0.00 0 0
1801.40/1801.91 c dins : 0.00 0 0
1801.40/1801.91 c undercover : 0.00 0 0
1801.40/1801.91 c nlp : 0.00 0 0
1801.40/1801.91 c trysol : 0.00 0 0
1801.40/1801.91 c LP : Time Calls Iterations Iter/call Iter/sec
1801.40/1801.91 c primal LP : 89.75 0 0 0.00 0.00
1801.40/1801.91 c dual LP : 517.80 432 134267 310.80 259.30
1801.40/1801.91 c lex dual LP : 0.00 0 0 0.00 -
1801.40/1801.91 c barrier LP : 0.00 0 0 0.00 -
1801.40/1801.91 c diving/probing LP: 0.00 0 0 0.00 -
1801.40/1801.91 c strong branching : 372.73 476 181717 381.76 487.53
1801.40/1801.91 c (at root node) : - 25 12408 496.32 -
1801.40/1801.91 c conflict analysis: 0.00 0 0 0.00 -
1801.40/1801.91 c B&B Tree :
1801.40/1801.91 c number of runs : 1
1801.40/1801.91 c nodes : 215
1801.40/1801.91 c nodes (total) : 215
1801.40/1801.91 c nodes left : 124
1801.40/1801.91 c max depth : 47
1801.40/1801.91 c max depth (total): 47
1801.40/1801.91 c backtracks : 27 (12.6%)
1801.40/1801.91 c delayed cutoffs : 0
1801.40/1801.91 c repropagations : 11 (28 domain reductions, 0 cutoffs)
1801.40/1801.91 c avg switch length: 3.08
1801.40/1801.91 c switching time : 90.21
1801.40/1801.91 c Solution :
1801.40/1801.91 c Solutions found : 0 (0 improvements)
1801.40/1801.91 c Primal Bound : -
1801.40/1801.91 c Dual Bound : +0.00000000000000e+00
1801.40/1801.91 c Gap : infinite
1801.40/1801.91 c Root Dual Bound : +0.00000000000000e+00
1801.40/1801.91 c Root Iterations : 12619
1801.89/1802.46 c Time complete: 1801.96.
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-2664904-1276681308/watcher-2664904-1276681308 -o /tmp/evaluation-result-2664904-1276681308/solver-2664904-1276681308 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664904-1276681308.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/105 17084 /proc/meminfo: memFree=1734252/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=9436 CPUtime=0 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1107 0 0 0 0 0 0 0 25 0 1 0 9424510 9662464 1028 1992294400 4194304 9819077 140734764785664 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17084/statm: 2359 1036 371 1374 0 980 0 [startup+0.105828 s] /proc/loadavg: 0.92 0.98 0.99 3/105 17084 /proc/meminfo: memFree=1734252/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=24476 CPUtime=0.09 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 5042 0 0 0 8 1 0 0 25 0 1 0 9424510 25063424 4962 1992294400 4194304 9819077 140734764785664 18446744073709551615 5652241 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17084/statm: 6119 4962 387 1374 0 4740 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24476 [startup+0.201837 s] /proc/loadavg: 0.92 0.98 0.99 3/105 17084 /proc/meminfo: memFree=1734252/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=29776 CPUtime=0.19 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 6526 0 0 0 17 2 0 0 25 0 1 0 9424510 30490624 6093 1992294400 4194304 9819077 140734764785664 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 7444 6102 423 1374 0 6065 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29776 [startup+0.300848 s] /proc/loadavg: 0.92 0.98 0.99 3/105 17084 /proc/meminfo: memFree=1734252/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=53692 CPUtime=0.29 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 12751 0 0 0 25 4 0 0 25 0 1 0 9424510 54980608 12317 1992294400 4194304 9819077 140734764785664 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 13423 12317 438 1374 0 12044 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53692 [startup+0.700892 s] /proc/loadavg: 0.92 0.98 0.99 3/105 17084 /proc/meminfo: memFree=1734252/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=63376 CPUtime=0.69 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 15297 0 0 0 59 10 0 0 25 0 1 0 9424510 64897024 14510 1992294400 4194304 9819077 140734764785664 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 15844 14510 472 1374 0 14465 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 63376 [startup+1.50098 s] /proc/loadavg: 0.92 0.98 0.99 2/106 17085 /proc/meminfo: memFree=1670260/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=107244 CPUtime=1.49 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 28465 0 0 0 123 26 0 0 18 0 1 0 9424510 109817856 25001 1992294400 4194304 9819077 140734764785664 18446744073709551615 6031315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 26811 25001 588 1374 0 25432 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 107244 [startup+3.10116 s] /proc/loadavg: 0.92 0.98 0.99 2/106 17085 /proc/meminfo: memFree=1615948/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=143068 CPUtime=3.09 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 36986 0 0 0 279 30 0 0 20 0 1 0 9424510 146501632 30210 1992294400 4194304 9819077 140734764785664 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 35767 30210 655 1374 0 34388 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 143068 [startup+6.30151 s] /proc/loadavg: 0.93 0.98 0.99 2/106 17085 /proc/meminfo: memFree=1614460/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=149216 CPUtime=6.29 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 41710 0 0 0 595 34 0 0 25 0 1 0 9424510 152797184 30917 1992294400 4194304 9819077 140734764785664 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 37304 30917 655 1374 0 35925 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 149216 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/106 17085 /proc/meminfo: memFree=1610616/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=151556 CPUtime=12.69 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 47002 0 0 0 1232 37 0 0 25 0 1 0 9424510 155193344 31466 1992294400 4194304 9819077 140734764785664 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 37889 31466 655 1374 0 36510 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 151556 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/106 17085 /proc/meminfo: memFree=1612104/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=150340 CPUtime=25.49 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 59185 0 0 0 2506 43 0 0 25 0 1 0 9424510 153948160 31151 1992294400 4194304 9819077 140734764785664 18446744073709551615 6198409 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 37585 31151 655 1374 0 36206 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 150340 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/106 17085 /proc/meminfo: memFree=1615080/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=149552 CPUtime=51.08 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 63334 0 0 0 5060 48 0 0 25 0 1 0 9424510 153141248 30124 1992294400 4194304 9819077 140734764785664 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 37388 30124 676 1374 0 36009 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 149552 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/106 17087 /proc/meminfo: memFree=1604168/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=162220 CPUtime=102.27 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 66211 0 0 0 10172 55 0 0 25 0 1 0 9424510 166113280 32962 1992294400 4194304 9819077 140734764785664 18446744073709551615 6056788 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 40555 32962 674 1374 0 39176 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 162220 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17089 /proc/meminfo: memFree=1595240/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=170016 CPUtime=162.24 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 101404 0 0 0 16142 82 0 0 25 0 1 0 9424510 174096384 35119 1992294400 4194304 9819077 140734764785664 18446744073709551615 6044367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 42504 35119 690 1374 0 41125 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 170016 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17091 /proc/meminfo: memFree=1595240/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=170016 CPUtime=222.24 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 101404 0 0 0 22137 87 0 0 25 0 1 0 9424510 174096384 35119 1992294400 4194304 9819077 140734764785664 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 42504 35119 690 1374 0 41125 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 170016 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17093 /proc/meminfo: memFree=1590776/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=175472 CPUtime=282.21 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 102608 0 0 0 28129 92 0 0 25 0 1 0 9424510 179683328 36290 1992294400 4194304 9819077 140734764785664 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 43868 36290 690 1374 0 42489 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 175472 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17093 /proc/meminfo: memFree=1587924/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=179352 CPUtime=342.2 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 103329 0 0 0 34124 96 0 0 25 0 1 0 9424510 183656448 37011 1992294400 4194304 9819077 140734764785664 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 44838 37011 690 1374 0 43459 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 179352 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17095 /proc/meminfo: memFree=1584824/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=182396 CPUtime=402.19 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 104088 0 0 0 40119 100 0 0 25 0 1 0 9424510 186773504 37770 1992294400 4194304 9819077 140734764785664 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 45599 37770 690 1374 0 44220 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 182396 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17097 /proc/meminfo: memFree=1583832/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=182840 CPUtime=462.17 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 121161 0 0 0 46101 116 0 0 25 0 1 0 9424510 187228160 37927 1992294400 4194304 9819077 140734764785664 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 45710 37927 690 1374 0 44331 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 182840 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17099 /proc/meminfo: memFree=1581352/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=185884 CPUtime=522.15 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 121931 0 0 0 52094 121 0 0 25 0 1 0 9424510 190345216 38664 1992294400 4194304 9819077 140734764785664 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 46471 38664 690 1374 0 45092 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 185884 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17101 /proc/meminfo: memFree=1570564/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=196028 CPUtime=582.14 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 124582 0 0 0 58088 126 0 0 25 0 1 0 9424510 200732672 41315 1992294400 4194304 9819077 140734764785664 18446744073709551615 6056502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 49007 41315 690 1374 0 47628 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 196028 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17101 /proc/meminfo: memFree=1569200/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=196984 CPUtime=642.12 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 136658 0 0 0 64074 138 0 0 25 0 1 0 9424510 201711616 41586 1992294400 4194304 9819077 140734764785664 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 49246 41586 690 1374 0 47867 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 196984 [startup+702.3 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17113 /proc/meminfo: memFree=1567588/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=185372 CPUtime=1062.01 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 459896 0 0 0 105874 327 0 0 25 0 1 0 9424510 189820928 42128 1992294400 4194304 9819077 140734764785664 18446744073709551615 7312742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 46343 42128 723 1374 0 44964 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 185372 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17115 /proc/meminfo: memFree=1568952/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=180864 CPUtime=1121.99 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 527713 0 0 0 111825 374 0 0 25 0 1 0 9424510 185204736 41513 1992294400 4194304 9819077 140734764785664 18446744073709551615 7291749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 45216 41513 723 1374 0 43837 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 180864 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17124 /proc/meminfo: memFree=1566844/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=190616 CPUtime=1181.95 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 618329 0 0 0 117768 427 0 0 25 0 1 0 9424510 195190784 41783 1992294400 4194304 9819077 140734764785664 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 47654 41783 723 1374 0 46275 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 190616 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17126 /proc/meminfo: memFree=1566348/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=183812 CPUtime=1241.94 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 735865 0 0 0 123699 495 0 0 25 0 1 0 9424510 188223488 41785 1992294400 4194304 9819077 140734764785664 18446744073709551615 7291639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 45953 41785 724 1374 0 44574 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 183812 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17128 /proc/meminfo: memFree=1565852/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=186312 CPUtime=1301.93 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 794721 0 0 0 129667 526 0 0 25 0 1 0 9424510 190783488 42607 1992294400 4194304 9819077 140734764785664 18446744073709551615 6476360 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 46578 42607 724 1374 0 45199 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 186312 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17130 /proc/meminfo: memFree=1564488/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=188408 CPUtime=1361.91 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 863456 0 0 0 135626 565 0 0 25 0 1 0 9424510 192929792 43029 1992294400 4194304 9819077 140734764785664 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 47102 43029 724 1374 0 45723 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 188408 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17132 /proc/meminfo: memFree=1563868/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=190368 CPUtime=1421.9 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 945025 0 0 0 141582 608 0 0 25 0 1 0 9424510 194936832 42848 1992294400 4194304 9819077 140734764785664 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 47592 42848 724 1374 0 46213 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 190368 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17132 /proc/meminfo: memFree=1561140/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=192504 CPUtime=1481.87 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1034045 0 0 0 147533 654 0 0 25 0 1 0 9424510 197124096 43817 1992294400 4194304 9819077 140734764785664 18446744073709551615 7317170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 48126 43817 724 1374 0 46747 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 192504 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17134 /proc/meminfo: memFree=1562256/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=190800 CPUtime=1541.87 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1129764 0 0 0 153481 706 0 0 25 0 1 0 9424510 195379200 43188 1992294400 4194304 9819077 140734764785664 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 47700 43188 727 1374 0 46321 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 190800 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17136 /proc/meminfo: memFree=1559900/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=191520 CPUtime=1601.85 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1220284 0 0 0 159427 758 0 0 25 0 1 0 9424510 196116480 43272 1992294400 4194304 9819077 140734764785664 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 47880 43272 727 1374 0 46501 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 191520 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17138 /proc/meminfo: memFree=1559156/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=194808 CPUtime=1661.83 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1341326 0 0 0 165355 828 0 0 25 0 1 0 9424510 199483392 44165 1992294400 4194304 9819077 140734764785664 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 48702 44165 727 1374 0 47323 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 194808 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17140 /proc/meminfo: memFree=1558040/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=195652 CPUtime=1721.81 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1456650 0 0 0 171290 891 0 0 25 0 1 0 9424510 200347648 43930 1992294400 4194304 9819077 140734764785664 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 48913 43930 718 1374 0 47534 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 195652 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17142 /proc/meminfo: memFree=1556180/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=196616 CPUtime=1781.8 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1569220 0 0 0 177224 956 0 0 25 0 1 0 9424510 201334784 44792 1992294400 4194304 9819077 140734764785664 18446744073709551615 7317712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 49154 44792 718 1374 0 47775 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 196616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/106 17142 /proc/meminfo: memFree=1558164/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=196144 CPUtime=1800.1 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1610987 0 0 0 179032 978 0 0 25 0 1 0 9424510 200851456 44082 1992294400 4194304 9819077 140734764785664 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 49036 44082 718 1374 0 47657 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 196144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17143 /proc/meminfo: memFree=1558156/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=196760 CPUtime=1801 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1612706 0 0 0 179120 980 0 0 25 0 1 0 9424510 201482240 44561 1992294400 4194304 9819077 140734764785664 18446744073709551615 7326307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 49190 44561 718 1374 0 47811 0 Current children cumulated CPU time (s) 1801 Current children cumulated vsize (KiB) 196760 [startup+1801.91 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17143 /proc/meminfo: memFree=1555800/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=194552 CPUtime=1801.4 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1613017 0 0 0 179160 980 0 0 25 0 1 0 9424510 199221248 44199 1992294400 4194304 9819077 140734764785664 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17084/statm: 49198 44201 718 1374 0 47819 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 194552 [startup+1802.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17143 /proc/meminfo: memFree=1555800/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=188200 CPUtime=1801.79 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1613810 0 0 0 179199 980 0 0 18 0 1 0 9424510 192716800 42177 1992294400 4194304 9819077 140734764785664 18446744073709551615 6179970 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17084/statm: 47050 42177 721 1374 0 45671 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 188200 [startup+1802.4 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17143 /proc/meminfo: memFree=1555800/2059040 swapFree=4192956/4192956 [pid=17084] ppid=17082 vsize=161272 CPUtime=1801.89 /proc/17084/stat : 17084 (pbscip.linux.x8) R 17082 17084 15990 0 -1 4202496 1613810 0 0 0 179208 981 0 0 18 0 1 0 9424510 165142528 35454 1992294400 4194304 9819077 140734764785664 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17084/statm: 40318 35454 721 1374 0 38939 0 Current children cumulated CPU time (s) 1801.89 Current children cumulated vsize (KiB) 161272 Child status: 0 Real time (s): 1802.46 CPU time (s): 1801.97 CPU user time (s): 1792.13 CPU system time (s): 9.8325 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 237044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.13 system time used= 9.8325 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1613820 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= 20080 runsolver used 2.88056 second user time and 8.60969 second system time The end
Begin job on node086 at 2010-06-16 11:41:48 IDJOB=2664904 IDBENCH=48352 IDSOLVER=1168 FILE ID=node086/2664904-1276681308 PBS_JOBID= 11172526 Free space on /tmp= 62576 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_1_80.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664904-1276681308/watcher-2664904-1276681308 -o /tmp/evaluation-result-2664904-1276681308/solver-2664904-1276681308 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664904-1276681308.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1315caae01d69a106b6850eece7eb42e RANDOM SEED=824913889 node086.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.244 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.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1734656 kB Buffers: 64444 kB Cached: 123312 kB SwapCached: 0 kB Active: 128308 kB Inactive: 118732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734656 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6636 kB Writeback: 0 kB AnonPages: 59232 kB Mapped: 15420 kB Slab: 55748 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182148 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 node086 at 2010-06-16 12:11:51