| 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.31 | 1801.81 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb |
| MD5SUM | d30cbdfbaf2c404a9c4e9217e33c734d |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.249961 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6392 |
| Total number of constraints | 18058 |
| Number of constraints which are clauses | 17278 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 780 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| 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 | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2665997-1276336735.opb>
0.29/0.32 c original problem has 6392 variables (6392 bin, 0 int, 0 impl, 0 cont) and 18058 constraints
0.29/0.32 c problem read
0.29/0.32 c No objective function, only one solution is needed.
0.29/0.32 c presolving settings loaded
0.39/0.42 c presolving:
0.69/0.79 c (round 1) 1053 del vars, 1641 del conss, 469 chg bounds, 390 chg sides, 806 chg coeffs, 0 upgd conss, 361213 impls, 0 clqs
0.80/0.83 c (round 2) 1060 del vars, 2864 del conss, 471 chg bounds, 395 chg sides, 811 chg coeffs, 0 upgd conss, 362479 impls, 0 clqs
0.80/0.85 c (round 3) 1060 del vars, 2879 del conss, 471 chg bounds, 395 chg sides, 811 chg coeffs, 0 upgd conss, 362479 impls, 0 clqs
1.00/1.04 c (round 4) 1060 del vars, 2884 del conss, 471 chg bounds, 395 chg sides, 811 chg coeffs, 15174 upgd conss, 362479 impls, 0 clqs
1.00/1.09 c presolving (5 rounds):
1.00/1.09 c 1060 deleted vars, 2884 deleted constraints, 471 tightened bounds, 0 added holes, 395 changed sides, 811 changed coefficients
1.00/1.09 c 362479 implications, 0 cliques
1.00/1.09 c presolved problem has 5332 variables (5332 bin, 0 int, 0 impl, 0 cont) and 15174 constraints
1.00/1.09 c 780 constraints of type <knapsack>
1.00/1.09 c 14394 constraints of type <logicor>
1.00/1.09 c transformed objective value is always integral (scale: 1)
1.00/1.09 c Presolving Time: 0.61
1.00/1.09 c - non default parameters ----------------------------------------------------------------------
1.00/1.09 c # SCIP version 1.2.1.2
1.00/1.09 c
1.00/1.09 c # frequency for displaying node information lines
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.09 c display/freq = 10000
1.00/1.09 c
1.00/1.09 c # maximal time in seconds to run
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.09 c limits/time = 1799.69
1.00/1.09 c
1.00/1.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.09 c limits/memory = 1620
1.00/1.09 c
1.00/1.09 c # solving stops, if the given number of solutions were found (-1: no limit)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.09 c limits/solutions = 1
1.00/1.09 c
1.00/1.09 c # maximal number of separation rounds per node (-1: unlimited)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 5]
1.00/1.09 c separating/maxrounds = 1
1.00/1.09 c
1.00/1.09 c # maximal number of separation rounds in the root node (-1: unlimited)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.09 c separating/maxroundsroot = 5
1.00/1.09 c
1.00/1.09 c # should presolving try to simplify inequalities
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c constraints/linear/simplifyinequalities = TRUE
1.00/1.09 c
1.00/1.09 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.00/1.09 c constraints/knapsack/disaggregation = FALSE
1.00/1.09 c
1.00/1.09 c # should presolving try to simplify knapsacks
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.09 c
1.00/1.09 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.09 c presolving/probing/maxrounds = 0
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/coefdiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.09 c heuristics/coefdiving/maxlpiterquot = 0.075
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/coefdiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 30]
1.00/1.09 c heuristics/crossover/freq = -1
1.00/1.09 c
1.00/1.09 c # number of nodes added to the contingent of the total nodes
1.00/1.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.00/1.09 c heuristics/crossover/nodesofs = 750
1.00/1.09 c
1.00/1.09 c # number of nodes without incumbent change that heuristic should wait
1.00/1.09 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.00/1.09 c heuristics/crossover/nwaitingnodes = 100
1.00/1.09 c
1.00/1.09 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.00/1.09 c # [type: real, range: [0,1], default: 0.1]
1.00/1.09 c heuristics/crossover/nodesquot = 0.15
1.00/1.09 c
1.00/1.09 c # minimum percentage of integer variables that have to be fixed
1.00/1.09 c # [type: real, range: [0,1], default: 0.666]
1.00/1.09 c heuristics/crossover/minfixingrate = 0.5
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.09 c heuristics/feaspump/freq = -1
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/feaspump/maxlpiterofs = 2000
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/fracdiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.09 c heuristics/fracdiving/maxlpiterquot = 0.075
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/fracdiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/guideddiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.09 c heuristics/guideddiving/maxlpiterquot = 0.075
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/guideddiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.09 c heuristics/intdiving/maxlpiterquot = 0.075
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/intshifting/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/linesearchdiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.09 c heuristics/nlp/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.09 c heuristics/objpscostdiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to total iteration number
1.00/1.09 c # [type: real, range: [0,1], default: 0.01]
1.00/1.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.09 c heuristics/oneopt/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/pscostdiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.09 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/pscostdiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.09 c heuristics/rens/freq = -1
1.00/1.09 c
1.00/1.09 c # minimum percentage of integer variables that have to be fixable
1.00/1.09 c # [type: real, range: [0,1], default: 0.5]
1.00/1.09 c heuristics/rens/minfixingrate = 0.3
1.00/1.09 c
1.00/1.09 c # number of nodes added to the contingent of the total nodes
1.00/1.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.00/1.09 c heuristics/rens/nodesofs = 2000
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.09 c heuristics/rootsoldiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.00/1.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.09 c heuristics/rounding/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/shifting/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.09 c heuristics/simplerounding/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.09 c heuristics/trivial/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.09 c heuristics/trysol/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.09 c heuristics/veclendiving/freq = -1
1.00/1.09 c
1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.09 c heuristics/veclendiving/maxlpiterquot = 0.075
1.00/1.09 c
1.00/1.09 c # additional number of allowed LP iterations
1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.09 c heuristics/veclendiving/maxlpiterofs = 1500
1.00/1.09 c
1.00/1.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.09 c heuristics/zirounding/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.09 c separating/cmir/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.09 c separating/flowcover/freq = -1
1.00/1.09 c
1.00/1.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.09 c separating/rapidlearning/freq = 0
1.00/1.09 c
1.00/1.09 c -----------------------------------------------------------------------------------------------
1.00/1.09 c start solving
1.00/1.10 c
1.29/1.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.33 c 0.9s| 1 | 0 | 1211 | - | 42M| 0 |1016 |5332 | 15k|5332 | 15k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.63 c 2.1s| 1 | 0 | 2144 | - | 42M| 0 |1448 |5332 | 15k|5332 | 15k| 63 | 0 | 0 | 0.000000e+00 | -- | Inf
6.69/6.73 c 6.1s| 1 | 0 | 4355 | - | 42M| 0 |2212 |5332 | 15k|5332 | 15k| 224 | 0 | 0 | 0.000000e+00 | -- | Inf
14.49/14.56 c 13.9s| 1 | 0 | 6871 | - | 43M| 0 |2524 |5332 | 15k|5332 | 15k| 321 | 0 | 0 | 0.000000e+00 | -- | Inf
22.08/22.16 c 21.4s| 1 | 0 | 9274 | - | 43M| 0 |2789 |5332 | 15k|5332 | 15k| 414 | 0 | 0 | 0.000000e+00 | -- | Inf
36.78/36.86 c 36.0s| 1 | 0 | 11002 | - | 43M| 0 |2859 |5332 | 15k|5332 | 15k| 491 | 0 | 0 | 0.000000e+00 | -- | Inf
133.73/133.80 c 132s| 1 | 2 | 11002 | - | 43M| 0 |2859 |5332 | 15k|5332 | 15k| 491 | 0 | 33 | 0.000000e+00 | -- | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.09/1801.68 c
1801.09/1801.68 c SCIP Status : solving was interrupted [user interrupt]
1801.09/1801.68 c Solving Time (sec) : 1780.48
1801.09/1801.68 c Solving Nodes : 2765
1801.09/1801.68 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.09/1801.68 c Dual Bound : +0.00000000000000e+00
1801.09/1801.68 c Gap : infinite
1801.09/1801.68 s UNKNOWN
1801.09/1801.68 c SCIP Status : solving was interrupted [user interrupt]
1801.09/1801.68 c Solving Time : 1780.48
1801.09/1801.68 c Original Problem :
1801.09/1801.68 c Problem name : HOME/instance-2665997-1276336735.opb
1801.09/1801.68 c Variables : 6392 (6392 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.09/1801.68 c Constraints : 18058 initial, 18058 maximal
1801.09/1801.68 c Presolved Problem :
1801.09/1801.68 c Problem name : t_HOME/instance-2665997-1276336735.opb
1801.09/1801.68 c Variables : 5332 (5332 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.09/1801.68 c Constraints : 15174 initial, 16470 maximal
1801.09/1801.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.09/1801.68 c trivial : 0.00 0 0 0 0 0 0 0 0
1801.09/1801.68 c dualfix : 0.01 0 0 0 0 0 0 0 0
1801.09/1801.68 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.09/1801.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.09/1801.68 c implics : 0.05 0 585 0 0 0 0 0 0
1801.09/1801.68 c probing : 0.00 0 0 0 0 0 0 0 0
1801.09/1801.68 c knapsack : 0.01 0 0 0 0 0 0 0 0
1801.09/1801.68 c linear : 0.40 471 4 0 471 0 2884 395 811
1801.09/1801.68 c logicor : 0.08 0 0 0 0 0 0 0 0
1801.09/1801.68 c root node : - 0 - - 0 - - - -
1801.09/1801.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.09/1801.68 c integral : 0 0 0 2227 0 21 47 0 0 4372
1801.09/1801.68 c knapsack : 780 5 34034 0 0 107 9401 1002 0 0
1801.09/1801.68 c logicor : 14394+ 5 32084 0 0 656 306761 0 0 0
1801.09/1801.68 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.09/1801.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.09/1801.68 c integral : 931.48 0.00 0.00 931.48 0.00
1801.09/1801.68 c knapsack : 1.46 0.04 1.42 0.00 0.00
1801.09/1801.68 c logicor : 2.61 0.01 2.60 0.00 0.00
1801.09/1801.68 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.09/1801.68 c Propagators : Time Calls Cutoffs DomReds
1801.09/1801.68 c vbounds : 0.01 1 0 0
1801.09/1801.68 c rootredcost : 0.01 0 0 0
1801.09/1801.68 c pseudoobj : 0.01 0 0 0
1801.09/1801.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.09/1801.68 c propagation : 0.23 763 762 4615 27.7 157 10.2 -
1801.09/1801.68 c infeasible LP : 0.36 134 58 149 13.0 11 6.1 0
1801.09/1801.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.09/1801.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.09/1801.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.09/1801.68 c applied globally : - - - 2343 19.6 - - -
1801.09/1801.68 c applied locally : - - - 0 0.0 - - -
1801.09/1801.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.09/1801.68 c cut pool : 0.00 4 - - 52 - (maximal pool size: 1309)
1801.09/1801.68 c redcost : 1.12 2214 0 0 0 0
1801.09/1801.68 c impliedbounds : 0.03 5 0 0 0 0
1801.09/1801.68 c intobj : 0.00 0 0 0 0 0
1801.09/1801.68 c cgmip : 0.00 0 0 0 0 0
1801.09/1801.68 c gomory : 10.21 5 0 0 2500 0
1801.09/1801.68 c strongcg : 6.50 5 0 0 2500 0
1801.09/1801.68 c cmir : 0.00 0 0 0 0 0
1801.09/1801.68 c flowcover : 0.00 0 0 0 0 0
1801.09/1801.68 c clique : 0.73 5 0 0 42 0
1801.09/1801.68 c zerohalf : 0.00 0 0 0 0 0
1801.09/1801.68 c mcf : 0.04 1 0 0 0 0
1801.09/1801.68 c rapidlearning : 0.00 0 0 0 0 0
1801.09/1801.68 c Pricers : Time Calls Vars
1801.09/1801.68 c problem variables: 0.00 0 0
1801.09/1801.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.09/1801.68 c relpscost : 931.47 2227 21 47 0 0 4372
1801.09/1801.68 c pscost : 0.00 0 0 0 0 0 0
1801.09/1801.68 c inference : 0.00 0 0 0 0 0 0
1801.09/1801.68 c mostinf : 0.00 0 0 0 0 0 0
1801.09/1801.68 c leastinf : 0.00 0 0 0 0 0 0
1801.09/1801.68 c fullstrong : 0.00 0 0 0 0 0 0
1801.09/1801.68 c allfullstrong : 0.00 0 0 0 0 0 0
1801.09/1801.68 c random : 0.00 0 0 0 0 0 0
1801.09/1801.68 c Primal Heuristics : Time Calls Found
1801.09/1801.68 c LP solutions : 0.00 - 0
1801.09/1801.68 c pseudo solutions : 0.00 - 0
1801.09/1801.68 c trivial : 0.01 1 0
1801.09/1801.68 c simplerounding : 0.00 0 0
1801.09/1801.68 c zirounding : 0.00 0 0
1801.09/1801.68 c rounding : 0.00 0 0
1801.09/1801.68 c shifting : 0.00 0 0
1801.09/1801.68 c intshifting : 0.00 0 0
1801.09/1801.68 c oneopt : 0.00 0 0
1801.09/1801.68 c twoopt : 0.00 0 0
1801.09/1801.68 c fixandinfer : 0.00 0 0
1801.09/1801.68 c feaspump : 0.00 0 0
1801.09/1801.68 c coefdiving : 0.00 0 0
1801.09/1801.68 c pscostdiving : 0.00 0 0
1801.09/1801.68 c fracdiving : 0.00 0 0
1801.09/1801.68 c veclendiving : 0.00 0 0
1801.09/1801.68 c intdiving : 0.00 0 0
1801.09/1801.68 c actconsdiving : 0.00 0 0
1801.09/1801.68 c objpscostdiving : 0.00 0 0
1801.09/1801.68 c rootsoldiving : 0.00 0 0
1801.09/1801.68 c linesearchdiving : 0.00 0 0
1801.09/1801.68 c guideddiving : 0.00 0 0
1801.09/1801.68 c octane : 0.00 0 0
1801.09/1801.68 c rens : 0.00 0 0
1801.09/1801.68 c rins : 0.00 0 0
1801.09/1801.68 c localbranching : 0.00 0 0
1801.09/1801.68 c mutation : 0.00 0 0
1801.09/1801.68 c crossover : 0.00 0 0
1801.09/1801.68 c dins : 0.00 0 0
1801.09/1801.68 c undercover : 0.00 0 0
1801.09/1801.68 c nlp : 0.00 0 0
1801.09/1801.68 c trysol : 0.00 0 0
1801.09/1801.68 c LP : Time Calls Iterations Iter/call Iter/sec
1801.09/1801.68 c primal LP : 0.02 0 0 0.00 0.00
1801.09/1801.68 c dual LP : 804.64 2363 499500 211.38 620.77
1801.09/1801.68 c lex dual LP : 0.00 0 0 0.00 -
1801.09/1801.68 c barrier LP : 0.00 0 0 0.00 -
1801.09/1801.68 c diving/probing LP: 0.00 0 0 0.00 -
1801.09/1801.68 c strong branching : 929.76 807 388795 481.78 418.17
1801.09/1801.68 c (at root node) : - 33 31489 954.21 -
1801.09/1801.68 c conflict analysis: 0.00 0 0 0.00 -
1801.09/1801.68 c B&B Tree :
1801.09/1801.68 c number of runs : 1
1801.09/1801.68 c nodes : 2765
1801.09/1801.68 c nodes (total) : 2765
1801.09/1801.68 c nodes left : 68
1801.09/1801.68 c max depth : 77
1801.09/1801.68 c max depth (total): 77
1801.09/1801.68 c backtracks : 463 (16.7%)
1801.09/1801.68 c delayed cutoffs : 1540
1801.09/1801.68 c repropagations : 2724 (79139 domain reductions, 339 cutoffs)
1801.09/1801.68 c avg switch length: 4.20
1801.09/1801.68 c switching time : 3.02
1801.09/1801.68 c Solution :
1801.09/1801.68 c Solutions found : 0 (0 improvements)
1801.09/1801.68 c Primal Bound : -
1801.09/1801.68 c Dual Bound : +0.00000000000000e+00
1801.09/1801.68 c Gap : infinite
1801.09/1801.68 c Root Dual Bound : +0.00000000000000e+00
1801.09/1801.68 c Root Iterations : 11002
1801.20/1801.80 c Time complete: 1801.29.
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-2665997-1276336735/watcher-2665997-1276336735 -o /tmp/evaluation-result-2665997-1276336735/solver-2665997-1276336735 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665997-1276336735.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9509 /proc/meminfo: memFree=1504956/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=9288 CPUtime=0 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 1035 0 0 0 0 0 0 0 18 0 1 0 9275291 9510912 956 1992294400 4194304 9819077 140735300018144 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9509/statm: 2322 964 371 1374 0 943 0 [startup+0.097634 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9509 /proc/meminfo: memFree=1504956/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=15776 CPUtime=0.09 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2869 0 0 0 8 1 0 0 20 0 1 0 9275291 16154624 2789 1992294400 4194304 9819077 140735300018144 18446744073709551615 4240595 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9509/statm: 3944 2789 386 1374 0 2565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15776 [startup+0.101636 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9509 /proc/meminfo: memFree=1504956/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=16532 CPUtime=0.09 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3058 0 0 0 8 1 0 0 20 0 1 0 9275291 16928768 2978 1992294400 4194304 9819077 140735300018144 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9509/statm: 4133 2978 386 1374 0 2754 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16532 [startup+0.301657 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9509 /proc/meminfo: memFree=1504956/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=22368 CPUtime=0.29 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 4535 0 0 0 28 1 0 0 20 0 1 0 9275291 22904832 4455 1992294400 4194304 9819077 140735300018144 18446744073709551615 8667877 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9509/statm: 5592 4455 386 1374 0 4213 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22368 [startup+0.701701 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9509 /proc/meminfo: memFree=1504956/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=58084 CPUtime=0.69 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 13545 0 0 0 62 7 0 0 21 0 1 0 9275291 59478016 13093 1992294400 4194304 9819077 140735300018144 18446744073709551615 5955763 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 14521 13093 490 1374 0 13142 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 58084 [startup+1.50179 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9512 /proc/meminfo: memFree=1446048/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=91892 CPUtime=1.49 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 24349 0 0 0 134 15 0 0 23 0 1 0 9275291 94097408 19848 1992294400 4194304 9819077 140735300018144 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 22973 19848 655 1374 0 21594 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 91892 [startup+3.10197 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9512 /proc/meminfo: memFree=1424596/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=95192 CPUtime=3.09 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 27040 0 0 0 282 27 0 0 25 0 1 0 9275291 97476608 20687 1992294400 4194304 9819077 140735300018144 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 23798 20687 671 1374 0 22419 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 95192 [startup+6.30132 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9512 /proc/meminfo: memFree=1423604/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=96980 CPUtime=6.29 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 29466 0 0 0 599 30 0 0 25 0 1 0 9275291 99307520 20787 1992294400 4194304 9819077 140735300018144 18446744073709551615 7317624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 24245 20787 671 1374 0 22866 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 96980 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9512 /proc/meminfo: memFree=1421992/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=98888 CPUtime=12.69 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 32943 0 0 0 1234 35 0 0 25 0 1 0 9275291 101261312 21111 1992294400 4194304 9819077 140735300018144 18446744073709551615 7290918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 24722 21111 671 1374 0 23343 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 98888 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9512 /proc/meminfo: memFree=1422612/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=99996 CPUtime=25.49 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 41790 0 0 0 2504 45 0 0 25 0 1 0 9275291 102395904 21068 1992294400 4194304 9819077 140735300018144 18446744073709551615 6044382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 24999 21068 671 1374 0 23620 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99996 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9512 /proc/meminfo: memFree=1419016/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=116972 CPUtime=51.07 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 60925 0 0 0 5047 60 0 0 25 0 1 0 9275291 119779328 22107 1992294400 4194304 9819077 140735300018144 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29243 22107 680 1374 0 27864 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 116972 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9514 /proc/meminfo: memFree=1418520/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=117064 CPUtime=102.26 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 107542 0 0 0 10134 92 0 0 25 0 1 0 9275291 119873536 22080 1992294400 4194304 9819077 140735300018144 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29266 22080 680 1374 0 27887 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 117064 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9525 /proc/meminfo: memFree=1419016/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=116236 CPUtime=162.23 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 167592 0 0 0 16089 134 0 0 25 0 1 0 9275291 119025664 22006 1992294400 4194304 9819077 140735300018144 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29059 22006 689 1374 0 27680 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 116236 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9525 /proc/meminfo: memFree=1418396/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=116128 CPUtime=222.21 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 226991 0 0 0 22045 176 0 0 25 0 1 0 9275291 118915072 22000 1992294400 4194304 9819077 140735300018144 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29032 22000 689 1374 0 27653 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 116128 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9527 /proc/meminfo: memFree=1417776/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=116880 CPUtime=282.2 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 281942 0 0 0 28004 216 0 0 25 0 1 0 9275291 119685120 22105 1992294400 4194304 9819077 140735300018144 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29220 22105 703 1374 0 27841 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 116880 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9529 /proc/meminfo: memFree=1417280/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=117068 CPUtime=342.18 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 335903 0 0 0 33960 258 0 0 25 0 1 0 9275291 119877632 22478 1992294400 4194304 9819077 140735300018144 18446744073709551615 7308958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29267 22478 703 1374 0 27888 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 117068 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9531 /proc/meminfo: memFree=1417776/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=117088 CPUtime=402.17 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 392047 0 0 0 39917 300 0 0 25 0 1 0 9275291 119898112 22366 1992294400 4194304 9819077 140735300018144 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29272 22366 703 1374 0 27893 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 117088 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9533 /proc/meminfo: memFree=1417776/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=117068 CPUtime=462.15 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 448426 0 0 0 45875 340 0 0 25 0 1 0 9275291 119877632 22240 1992294400 4194304 9819077 140735300018144 18446744073709551615 6199042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29267 22240 703 1374 0 27888 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 117068 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9533 /proc/meminfo: memFree=1419140/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=102096 CPUtime=522.14 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 499230 0 0 0 51837 377 0 0 25 0 1 0 9275291 104546304 21877 1992294400 4194304 9819077 140735300018144 18446744073709551615 7293624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 25524 21877 703 1374 0 24145 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 102096 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9535 /proc/meminfo: memFree=1416784/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=118628 CPUtime=582.12 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 580593 0 0 0 57779 433 0 0 25 0 1 0 9275291 121475072 22562 1992294400 4194304 9819077 140735300018144 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29657 22562 707 1374 0 28278 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 118628 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9537 /proc/meminfo: memFree=1416908/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=105368 CPUtime=642.11 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 761547 0 0 0 63679 532 0 0 25 0 1 0 9275291 107896832 22421 1992294400 4194304 9819077 140735300018144 18446744073709551615 7304799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 26342 22421 708 1374 0 24963 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 105368 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 9550 /proc/meminfo: memFree=1408228/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=114324 CPUtime=1002.01 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 1972537 0 0 0 99035 1166 0 0 25 0 1 0 9275291 117067776 24498 1992294400 4194304 9819077 140735300018144 18446744073709551615 7292327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 28581 24498 708 1374 0 27202 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 114324 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9552 /proc/meminfo: memFree=1404756/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=129056 CPUtime=1061.99 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2173805 0 0 0 104929 1270 0 0 25 0 1 0 9275291 132153344 25154 1992294400 4194304 9819077 140735300018144 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 32264 25154 708 1374 0 30885 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 129056 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9552 /proc/meminfo: memFree=1404260/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=116492 CPUtime=1121.97 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2345239 0 0 0 110834 1363 0 0 25 0 1 0 9275291 119287808 25090 1992294400 4194304 9819077 140735300018144 18446744073709551615 6391443 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29123 25090 708 1374 0 27744 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 116492 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9554 /proc/meminfo: memFree=1403392/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=132680 CPUtime=1181.96 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2446425 0 0 0 116773 1423 0 0 25 0 1 0 9275291 135864320 25704 1992294400 4194304 9819077 140735300018144 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 33170 25704 708 1374 0 31791 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 132680 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9556 /proc/meminfo: memFree=1404632/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=117288 CPUtime=1241.95 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2519637 0 0 0 122721 1474 0 0 25 0 1 0 9275291 120102912 25373 1992294400 4194304 9819077 140735300018144 18446744073709551615 7480831 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29322 25373 708 1374 0 27943 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 117288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9558 /proc/meminfo: memFree=1404384/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=117856 CPUtime=1301.93 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2621271 0 0 0 128654 1539 0 0 25 0 1 0 9275291 120684544 25430 1992294400 4194304 9819077 140735300018144 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29464 25430 708 1374 0 28085 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 117856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9560 /proc/meminfo: memFree=1403888/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=119160 CPUtime=1361.91 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2739398 0 0 0 134573 1618 0 0 25 0 1 0 9275291 122019840 25552 1992294400 4194304 9819077 140735300018144 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29790 25552 708 1374 0 28411 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 119160 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9560 /proc/meminfo: memFree=1403268/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=119676 CPUtime=1421.9 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2815143 0 0 0 140520 1670 0 0 25 0 1 0 9275291 122548224 25769 1992294400 4194304 9819077 140735300018144 18446744073709551615 7295923 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 29919 25769 708 1374 0 28540 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 119676 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9562 /proc/meminfo: memFree=1400416/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=134380 CPUtime=1481.88 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2894202 0 0 0 146465 1723 0 0 25 0 1 0 9275291 137605120 26336 1992294400 4194304 9819077 140735300018144 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 33595 26336 708 1374 0 32216 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 134380 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9564 /proc/meminfo: memFree=1401656/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=120488 CPUtime=1541.86 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 2988996 0 0 0 152407 1779 0 0 25 0 1 0 9275291 123379712 26071 1992294400 4194304 9819077 140735300018144 18446744073709551615 7309259 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 30122 26071 708 1374 0 28743 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 120488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9566 /proc/meminfo: memFree=1399176/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=135396 CPUtime=1601.85 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3054737 0 0 0 158356 1829 0 0 25 0 1 0 9275291 138645504 26598 1992294400 4194304 9819077 140735300018144 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 33849 26598 708 1374 0 32470 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 135396 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9568 /proc/meminfo: memFree=1400044/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=120132 CPUtime=1661.83 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3136933 0 0 0 164300 1883 0 0 25 0 1 0 9275291 123015168 26089 1992294400 4194304 9819077 140735300018144 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 30033 26089 708 1374 0 28654 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 120132 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9568 /proc/meminfo: memFree=1401284/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=120780 CPUtime=1721.81 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3249025 0 0 0 170233 1948 0 0 25 0 1 0 9275291 123678720 26121 1992294400 4194304 9819077 140735300018144 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 30195 26121 708 1374 0 28816 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 120780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9570 /proc/meminfo: memFree=1398432/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=136320 CPUtime=1781.8 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3367819 0 0 0 176160 2020 0 0 25 0 1 0 9275291 139591680 26871 1992294400 4194304 9819077 140735300018144 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 34080 26871 708 1374 0 32701 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 136320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/107 9570 /proc/meminfo: memFree=1398556/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=121984 CPUtime=1800.1 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3399994 0 0 0 177971 2039 0 0 25 0 1 0 9275291 124911616 26802 1992294400 4194304 9819077 140735300018144 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 30496 26802 708 1374 0 29117 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 121984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 3/107 9570 /proc/meminfo: memFree=1398556/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=121984 CPUtime=1800.89 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3400622 0 0 0 178049 2040 0 0 25 0 1 0 9275291 124911616 26551 1992294400 4194304 9819077 140735300018144 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 30496 26551 708 1374 0 29117 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 121984 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 3/107 9570 /proc/meminfo: memFree=1398556/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=121984 CPUtime=1801.09 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3400708 0 0 0 178069 2040 0 0 25 0 1 0 9275291 124911616 26637 1992294400 4194304 9819077 140735300018144 18446744073709551615 7300356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9509/statm: 30496 26637 708 1374 0 29117 0 Current children cumulated CPU time (s) 1801.09 Current children cumulated vsize (KiB) 121984 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9573 /proc/meminfo: memFree=1401276/2059040 swapFree=4192956/4192956 [pid=9509] ppid=9507 vsize=120240 CPUtime=1801.2 /proc/9509/stat : 9509 (pbscip.linux.x8) R 9507 9509 8410 0 -1 4202496 3401142 0 0 0 178080 2040 0 0 25 0 1 0 9275291 123125760 25935 1992294400 4194304 9819077 140735300018144 18446744073709551615 6027601 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9509/statm: 30060 25935 713 1374 0 28681 0 Current children cumulated CPU time (s) 1801.2 Current children cumulated vsize (KiB) 120240 Child status: 0 Real time (s): 1801.81 CPU time (s): 1801.31 CPU user time (s): 1780.89 CPU system time (s): 20.4189 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 136588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.89 system time used= 20.4189 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3401153 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3018 runsolver used 3.01654 second user time and 8.47371 second system time The end
Begin job on node009 at 2010-06-12 11:58:55 IDJOB=2665997 IDBENCH=1478 IDSOLVER=1168 FILE ID=node009/2665997-1276336735 PBS_JOBID= 11173169 Free space on /tmp= 62444 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.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-2665997-1276336735/watcher-2665997-1276336735 -o /tmp/evaluation-result-2665997-1276336735/solver-2665997-1276336735 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665997-1276336735.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d30cbdfbaf2c404a9c4e9217e33c734d RANDOM SEED=685988843 node009.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.199 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.39 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.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1505360 kB Buffers: 101768 kB Cached: 323212 kB SwapCached: 0 kB Active: 181284 kB Inactive: 302888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1505360 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6732 kB Writeback: 8 kB AnonPages: 59164 kB Mapped: 15428 kB Slab: 47788 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181308 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= 62436 MiB End job on node009 at 2010-06-12 12:28:58