| 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.27 | 1801.85 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb |
| MD5SUM | bdfd22b57887b70e5df6236004ca174a |
| 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 | 9.10362 |
| 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 | 25800 |
| Total number of constraints | 76699 |
| Number of constraints which are clauses | 76319 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 380 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| 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 | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 62 |
| Number of bits of the biggest sum of numbers | 6 |
| 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-2665975-1276332842.opb>
1.29/1.34 c original problem has 25800 variables (25800 bin, 0 int, 0 impl, 0 cont) and 76699 constraints
1.29/1.34 c problem read
1.29/1.34 c No objective function, only one solution is needed.
1.29/1.35 c presolving settings loaded
1.69/1.73 c presolving:
3.59/3.67 c (round 1) 764 del vars, 747 del conss, 324 chg bounds, 190 chg sides, 598 chg coeffs, 0 upgd conss, 2198185 impls, 0 clqs
3.89/3.94 c (round 2) 980 del vars, 2282 del conss, 473 chg bounds, 190 chg sides, 598 chg coeffs, 0 upgd conss, 2200719 impls, 0 clqs
3.99/4.03 c (round 3) 980 del vars, 2469 del conss, 473 chg bounds, 190 chg sides, 598 chg coeffs, 0 upgd conss, 2201507 impls, 0 clqs
4.79/4.80 c (round 4) 980 del vars, 2480 del conss, 473 chg bounds, 190 chg sides, 598 chg coeffs, 74219 upgd conss, 2201507 impls, 0 clqs
4.89/4.98 c presolving (5 rounds):
4.89/4.98 c 980 deleted vars, 2480 deleted constraints, 473 tightened bounds, 0 added holes, 190 changed sides, 598 changed coefficients
4.89/4.98 c 2201507 implications, 0 cliques
4.89/4.98 c presolved problem has 24820 variables (24820 bin, 0 int, 0 impl, 0 cont) and 74219 constraints
4.89/4.98 c 380 constraints of type <knapsack>
4.89/4.98 c 73839 constraints of type <logicor>
4.89/4.98 c transformed objective value is always integral (scale: 1)
4.89/4.98 c Presolving Time: 2.96
4.89/4.98 c - non default parameters ----------------------------------------------------------------------
4.89/4.98 c # SCIP version 1.2.1.2
4.89/4.98 c
4.89/4.98 c # frequency for displaying node information lines
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 100]
4.89/4.98 c display/freq = 10000
4.89/4.98 c
4.89/4.98 c # maximal time in seconds to run
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.98 c limits/time = 1798.66
4.89/4.98 c
4.89/4.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.98 c limits/memory = 1620
4.89/4.98 c
4.89/4.98 c # solving stops, if the given number of solutions were found (-1: no limit)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.98 c limits/solutions = 1
4.89/4.98 c
4.89/4.98 c # maximal number of separation rounds per node (-1: unlimited)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 5]
4.89/4.98 c separating/maxrounds = 1
4.89/4.98 c
4.89/4.98 c # maximal number of separation rounds in the root node (-1: unlimited)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.98 c separating/maxroundsroot = 5
4.89/4.98 c
4.89/4.98 c # should presolving try to simplify inequalities
4.89/4.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.98 c constraints/linear/simplifyinequalities = TRUE
4.89/4.98 c
4.89/4.98 c # should disaggregation of knapsack constraints be allowed in preprocessing?
4.89/4.98 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
4.89/4.98 c constraints/knapsack/disaggregation = FALSE
4.89/4.98 c
4.89/4.98 c # should presolving try to simplify knapsacks
4.89/4.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.98 c constraints/knapsack/simplifyinequalities = TRUE
4.89/4.98 c
4.89/4.98 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.98 c presolving/probing/maxrounds = 0
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/coefdiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.98 c heuristics/coefdiving/maxlpiterquot = 0.075
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/coefdiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 30]
4.89/4.98 c heuristics/crossover/freq = -1
4.89/4.98 c
4.89/4.98 c # number of nodes added to the contingent of the total nodes
4.89/4.98 c # [type: longint, range: [0,9223372036854775807], default: 500]
4.89/4.98 c heuristics/crossover/nodesofs = 750
4.89/4.98 c
4.89/4.98 c # number of nodes without incumbent change that heuristic should wait
4.89/4.98 c # [type: longint, range: [0,9223372036854775807], default: 200]
4.89/4.98 c heuristics/crossover/nwaitingnodes = 100
4.89/4.98 c
4.89/4.98 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
4.89/4.98 c # [type: real, range: [0,1], default: 0.1]
4.89/4.98 c heuristics/crossover/nodesquot = 0.15
4.89/4.98 c
4.89/4.98 c # minimum percentage of integer variables that have to be fixed
4.89/4.98 c # [type: real, range: [0,1], default: 0.666]
4.89/4.98 c heuristics/crossover/minfixingrate = 0.5
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 20]
4.89/4.98 c heuristics/feaspump/freq = -1
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/feaspump/maxlpiterofs = 2000
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/fracdiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.98 c heuristics/fracdiving/maxlpiterquot = 0.075
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/fracdiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/guideddiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.98 c heuristics/guideddiving/maxlpiterquot = 0.075
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/guideddiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.98 c heuristics/intdiving/maxlpiterquot = 0.075
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/intshifting/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/linesearchdiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.98 c heuristics/linesearchdiving/maxlpiterquot = 0.075
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/linesearchdiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.98 c heuristics/nlp/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 20]
4.89/4.98 c heuristics/objpscostdiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to total iteration number
4.89/4.98 c # [type: real, range: [0,1], default: 0.01]
4.89/4.98 c heuristics/objpscostdiving/maxlpiterquot = 0.015
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/objpscostdiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.98 c heuristics/oneopt/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/pscostdiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.98 c heuristics/pscostdiving/maxlpiterquot = 0.075
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/pscostdiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.98 c heuristics/rens/freq = -1
4.89/4.98 c
4.89/4.98 c # minimum percentage of integer variables that have to be fixable
4.89/4.98 c # [type: real, range: [0,1], default: 0.5]
4.89/4.98 c heuristics/rens/minfixingrate = 0.3
4.89/4.98 c
4.89/4.98 c # number of nodes added to the contingent of the total nodes
4.89/4.98 c # [type: longint, range: [0,9223372036854775807], default: 500]
4.89/4.98 c heuristics/rens/nodesofs = 2000
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 20]
4.89/4.98 c heuristics/rootsoldiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
4.89/4.98 c heuristics/rootsoldiving/maxlpiterquot = 0.015
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/rootsoldiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.98 c heuristics/rounding/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/shifting/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.98 c heuristics/simplerounding/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.98 c heuristics/trivial/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.98 c heuristics/trysol/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.98 c heuristics/veclendiving/freq = -1
4.89/4.98 c
4.89/4.98 c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.98 c heuristics/veclendiving/maxlpiterquot = 0.075
4.89/4.98 c
4.89/4.98 c # additional number of allowed LP iterations
4.89/4.98 c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.98 c heuristics/veclendiving/maxlpiterofs = 1500
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.98 c heuristics/zirounding/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.98 c separating/cmir/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.98 c separating/flowcover/freq = -1
4.89/4.98 c
4.89/4.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.98 c separating/rapidlearning/freq = 0
4.89/4.98 c
4.89/4.98 c -----------------------------------------------------------------------------------------------
4.89/4.98 c start solving
4.99/5.01 c
6.29/6.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.33 c 4.4s| 1 | 0 | 1064 | - | 201M| 0 | 924 | 24k| 74k| 24k| 74k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.57/34.68 c 32.0s| 1 | 0 | 2832 | - | 201M| 0 |1793 | 24k| 74k| 24k| 74k| 115 | 0 | 0 | 0.000000e+00 | -- | Inf
51.78/51.84 c 49.0s| 1 | 0 | 6538 | - | 202M| 0 |3017 | 24k| 74k| 24k| 74k| 196 | 0 | 0 | 0.000000e+00 | -- | Inf
97.26/97.31 c 94.2s| 1 | 0 | 12022 | - | 204M| 0 |4056 | 24k| 74k| 24k| 74k| 267 | 0 | 0 | 0.000000e+00 | -- | Inf
148.75/148.82 c 145s| 1 | 0 | 19553 | - | 205M| 0 |5272 | 24k| 74k| 24k| 74k| 339 | 0 | 0 | 0.000000e+00 | -- | Inf
188.83/188.91 c 185s| 1 | 0 | 24275 | - | 205M| 0 |5660 | 24k| 74k| 24k| 74k| 381 | 0 | 0 | 0.000000e+00 | -- | Inf
470.23/470.40 c 465s| 1 | 2 | 24275 | - | 205M| 0 |5660 | 24k| 74k| 24k| 74k| 381 | 0 | 33 | 0.000000e+00 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.71/1801.37 c
1800.71/1801.37 c SCIP Status : solving was interrupted [user interrupt]
1800.71/1801.37 c Solving Time (sec) : 1787.37
1800.71/1801.37 c Solving Nodes : 13
1800.71/1801.37 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.71/1801.37 c Dual Bound : +0.00000000000000e+00
1800.71/1801.37 c Gap : infinite
1800.71/1801.37 s UNKNOWN
1800.71/1801.37 c SCIP Status : solving was interrupted [user interrupt]
1800.71/1801.37 c Solving Time : 1787.37
1800.71/1801.37 c Original Problem :
1800.71/1801.37 c Problem name : HOME/instance-2665975-1276332842.opb
1800.71/1801.37 c Variables : 25800 (25800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.71/1801.37 c Constraints : 76699 initial, 76699 maximal
1800.71/1801.37 c Presolved Problem :
1800.71/1801.37 c Problem name : t_HOME/instance-2665975-1276332842.opb
1800.71/1801.37 c Variables : 24820 (24820 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.71/1801.37 c Constraints : 74219 initial, 74220 maximal
1800.71/1801.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.71/1801.37 c trivial : 0.00 38 0 0 0 0 0 0 0
1800.71/1801.37 c dualfix : 0.05 0 0 0 0 0 0 0 0
1800.71/1801.37 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.71/1801.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.71/1801.37 c implics : 0.27 0 468 0 0 0 0 0 0
1800.71/1801.37 c probing : 0.00 0 0 0 0 0 0 0 0
1800.71/1801.37 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.71/1801.37 c linear : 2.12 473 1 0 473 0 2480 190 598
1800.71/1801.37 c logicor : 0.27 0 0 0 0 0 0 0 0
1800.71/1801.37 c root node : - 0 - - 0 - - - -
1800.71/1801.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.71/1801.37 c integral : 0 0 0 12 0 0 0 0 0 24
1800.71/1801.37 c knapsack : 380 5 227 0 0 0 0 864 0 0
1800.71/1801.37 c logicor : 73839+ 5 221 0 0 1 12520 0 0 0
1800.71/1801.37 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.71/1801.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.71/1801.37 c integral : 1469.95 0.00 0.00 1469.95 0.00
1800.71/1801.37 c knapsack : 0.06 0.04 0.02 0.00 0.00
1800.71/1801.37 c logicor : 0.15 0.04 0.11 0.00 0.00
1800.71/1801.37 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.71/1801.37 c Propagators : Time Calls Cutoffs DomReds
1800.71/1801.37 c vbounds : 0.00 1 0 0
1800.71/1801.37 c rootredcost : 0.00 0 0 0
1800.71/1801.37 c pseudoobj : 0.00 0 0 0
1800.71/1801.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.71/1801.37 c propagation : 0.00 1 1 1 2.0 0 0.0 -
1800.71/1801.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.71/1801.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.71/1801.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.71/1801.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.71/1801.37 c applied globally : - - - 1 2.0 - - -
1800.71/1801.37 c applied locally : - - - 0 0.0 - - -
1800.71/1801.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.71/1801.37 c cut pool : 0.00 4 - - 54 - (maximal pool size: 1319)
1800.71/1801.37 c redcost : 0.03 16 0 0 0 0
1800.71/1801.37 c impliedbounds : 0.10 5 0 0 0 0
1800.71/1801.37 c intobj : 0.00 0 0 0 0 0
1800.71/1801.37 c cgmip : 0.00 0 0 0 0 0
1800.71/1801.37 c gomory : 22.97 5 0 0 2500 0
1800.71/1801.37 c strongcg : 7.71 5 0 0 2500 0
1800.71/1801.37 c cmir : 0.00 0 0 0 0 0
1800.71/1801.37 c flowcover : 0.00 0 0 0 0 0
1800.71/1801.37 c clique : 4.61 5 0 0 36 0
1800.71/1801.37 c zerohalf : 0.00 0 0 0 0 0
1800.71/1801.37 c mcf : 18.75 1 0 0 0 0
1800.71/1801.37 c rapidlearning : 0.00 0 0 0 0 0
1800.71/1801.37 c Pricers : Time Calls Vars
1800.71/1801.37 c problem variables: 0.00 0 0
1800.71/1801.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.71/1801.37 c relpscost : 1469.95 12 0 0 0 0 24
1800.71/1801.37 c pscost : 0.00 0 0 0 0 0 0
1800.71/1801.37 c inference : 0.00 0 0 0 0 0 0
1800.71/1801.37 c mostinf : 0.00 0 0 0 0 0 0
1800.71/1801.37 c leastinf : 0.00 0 0 0 0 0 0
1800.71/1801.37 c fullstrong : 0.00 0 0 0 0 0 0
1800.71/1801.37 c allfullstrong : 0.00 0 0 0 0 0 0
1800.71/1801.37 c random : 0.00 0 0 0 0 0 0
1800.71/1801.37 c Primal Heuristics : Time Calls Found
1800.71/1801.37 c LP solutions : 0.00 - 0
1800.71/1801.37 c pseudo solutions : 0.00 - 0
1800.71/1801.37 c trivial : 0.05 1 0
1800.71/1801.37 c simplerounding : 0.00 0 0
1800.71/1801.37 c zirounding : 0.00 0 0
1800.71/1801.37 c rounding : 0.00 0 0
1800.71/1801.37 c shifting : 0.00 0 0
1800.71/1801.37 c intshifting : 0.00 0 0
1800.71/1801.37 c oneopt : 0.00 0 0
1800.71/1801.37 c twoopt : 0.00 0 0
1800.71/1801.37 c fixandinfer : 0.00 0 0
1800.71/1801.37 c feaspump : 0.00 0 0
1800.71/1801.37 c coefdiving : 0.00 0 0
1800.71/1801.37 c pscostdiving : 0.00 0 0
1800.71/1801.37 c fracdiving : 0.00 0 0
1800.71/1801.37 c veclendiving : 0.00 0 0
1800.71/1801.37 c intdiving : 0.00 0 0
1800.71/1801.37 c actconsdiving : 0.00 0 0
1800.71/1801.37 c objpscostdiving : 0.00 0 0
1800.71/1801.37 c rootsoldiving : 0.00 0 0
1800.71/1801.37 c linesearchdiving : 0.00 0 0
1800.71/1801.37 c guideddiving : 0.00 0 0
1800.71/1801.37 c octane : 0.00 0 0
1800.71/1801.37 c rens : 0.00 0 0
1800.71/1801.37 c rins : 0.00 0 0
1800.71/1801.37 c localbranching : 0.00 0 0
1800.71/1801.37 c mutation : 0.00 0 0
1800.71/1801.37 c crossover : 0.00 0 0
1800.71/1801.37 c dins : 0.00 0 0
1800.71/1801.37 c undercover : 0.00 0 0
1800.71/1801.37 c nlp : 0.00 0 0
1800.71/1801.37 c trysol : 0.00 0 0
1800.71/1801.37 c LP : Time Calls Iterations Iter/call Iter/sec
1800.71/1801.37 c primal LP : 0.09 0 0 0.00 0.00
1800.71/1801.37 c dual LP : 258.82 17 40397 2376.29 156.08
1800.71/1801.37 c lex dual LP : 0.00 0 0 0.00 -
1800.71/1801.37 c barrier LP : 0.00 0 0 0.00 -
1800.71/1801.37 c diving/probing LP: 0.00 0 0 0.00 -
1800.71/1801.37 c strong branching : 1469.89 172 162077 942.31 110.26
1800.71/1801.37 c (at root node) : - 33 32935 998.03 -
1800.71/1801.37 c conflict analysis: 0.00 0 0 0.00 -
1800.71/1801.37 c B&B Tree :
1800.71/1801.37 c number of runs : 1
1800.71/1801.37 c nodes : 13
1800.71/1801.37 c nodes (total) : 13
1800.71/1801.37 c nodes left : 12
1800.71/1801.37 c max depth : 11
1800.71/1801.37 c max depth (total): 11
1800.71/1801.37 c backtracks : 0 (0.0%)
1800.71/1801.37 c delayed cutoffs : 0
1800.71/1801.37 c repropagations : 2 (598 domain reductions, 0 cutoffs)
1800.71/1801.37 c avg switch length: 1.23
1800.71/1801.37 c switching time : 0.15
1800.71/1801.37 c Solution :
1800.71/1801.37 c Solutions found : 0 (0 improvements)
1800.71/1801.37 c Primal Bound : -
1800.71/1801.37 c Dual Bound : +0.00000000000000e+00
1800.71/1801.37 c Gap : infinite
1800.71/1801.37 c Root Dual Bound : +0.00000000000000e+00
1800.71/1801.37 c Root Iterations : 24275
1801.21/1801.85 c Time complete: 1801.26.
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-2665975-1276332842/watcher-2665975-1276332842 -o /tmp/evaluation-result-2665975-1276332842/solver-2665975-1276332842 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665975-1276332842.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.64 1.17 1.06 3/106 10131 /proc/meminfo: memFree=1578048/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=9288 CPUtime=0 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1038 0 0 0 0 0 0 0 18 0 1 0 8887959 9510912 958 1992294400 4194304 9819077 140733553160656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10131/statm: 2322 968 371 1374 0 943 0 [startup+0.0152489 s] /proc/loadavg: 1.64 1.17 1.06 3/106 10131 /proc/meminfo: memFree=1578048/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=10692 CPUtime=0 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1614 0 0 0 0 0 0 0 18 0 1 0 8887959 10948608 1534 1992294400 4194304 9819077 140733553160656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10131/statm: 2673 1535 386 1374 0 1294 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10692 [startup+0.101258 s] /proc/loadavg: 1.64 1.17 1.06 3/106 10131 /proc/meminfo: memFree=1578048/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=15776 CPUtime=0.09 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2869 0 0 0 8 1 0 0 20 0 1 0 8887959 16154624 2789 1992294400 4194304 9819077 140733553160656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10131/statm: 3944 2789 386 1374 0 2565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15776 [startup+0.301281 s] /proc/loadavg: 1.64 1.17 1.06 3/106 10131 /proc/meminfo: memFree=1578048/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=22368 CPUtime=0.29 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 4534 0 0 0 28 1 0 0 20 0 1 0 8887959 22904832 4454 1992294400 4194304 9819077 140733553160656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10131/statm: 5592 4454 386 1374 0 4213 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22368 [startup+0.701326 s] /proc/loadavg: 1.64 1.17 1.06 3/106 10131 /proc/meminfo: memFree=1578048/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=35588 CPUtime=0.69 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 7831 0 0 0 66 3 0 0 20 0 1 0 8887959 36442112 7751 1992294400 4194304 9819077 140733553160656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10131/statm: 8897 7751 386 1374 0 7518 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35588 [startup+1.50042 s] /proc/loadavg: 1.64 1.17 1.06 2/107 10132 /proc/meminfo: memFree=1538732/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=107620 CPUtime=1.49 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 26050 0 0 0 140 9 0 0 23 0 1 0 8887959 110202880 25610 1992294400 4194304 9819077 140733553160656 18446744073709551615 4668156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 26905 25610 428 1374 0 25526 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 107620 [startup+3.1006 s] /proc/loadavg: 1.64 1.17 1.06 2/107 10132 /proc/meminfo: memFree=1435068/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=200608 CPUtime=3.09 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 48379 0 0 0 285 24 0 0 25 0 1 0 8887959 205422592 47939 1992294400 4194304 9819077 140733553160656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 50152 47939 486 1374 0 48773 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 200608 [startup+6.30096 s] /proc/loadavg: 1.59 1.17 1.06 2/107 10132 /proc/meminfo: memFree=1286144/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=360428 CPUtime=6.29 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 93670 0 0 0 565 64 0 0 25 0 1 0 8887959 369078272 78500 1992294400 4194304 9819077 140733553160656 18446744073709551615 6628903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 90107 78500 641 1374 0 88728 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 360428 [startup+12.7007 s] /proc/loadavg: 1.54 1.16 1.06 2/107 10132 /proc/meminfo: memFree=1258120/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=369768 CPUtime=12.68 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 96341 0 0 0 1143 125 0 0 25 0 1 0 8887959 378642432 80401 1992294400 4194304 9819077 140733553160656 18446744073709551615 5786277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 92442 80401 666 1374 0 91063 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 369768 [startup+25.5011 s] /proc/loadavg: 1.42 1.16 1.05 2/107 10132 /proc/meminfo: memFree=1258120/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=369768 CPUtime=25.47 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 96341 0 0 0 2422 125 0 0 25 0 1 0 8887959 378642432 80401 1992294400 4194304 9819077 140733553160656 18446744073709551615 5786277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 92442 80401 666 1374 0 91063 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 369768 [startup+51.101 s] /proc/loadavg: 1.28 1.14 1.05 2/107 10132 /proc/meminfo: memFree=1256632/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=375860 CPUtime=51.07 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 138245 0 0 0 4960 147 0 0 25 0 1 0 8887959 384880640 80837 1992294400 4194304 9819077 140733553160656 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 93965 80837 672 1374 0 92586 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 375860 [startup+102.309 s] /proc/loadavg: 1.12 1.12 1.05 2/107 10134 /proc/meminfo: memFree=1252788/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=383812 CPUtime=102.26 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 198832 0 0 0 10044 182 0 0 25 0 1 0 8887959 393023488 81995 1992294400 4194304 9819077 140733553160656 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 95953 81995 672 1374 0 94574 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 383812 [startup+162.302 s] /proc/loadavg: 1.04 1.09 1.04 2/107 10136 /proc/meminfo: memFree=1244232/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=373192 CPUtime=162.24 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 263603 0 0 0 16003 221 0 0 25 0 1 0 8887959 382148608 81892 1992294400 4194304 9819077 140733553160656 18446744073709551615 7259230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 93298 81893 672 1374 0 91919 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 373192 [startup+222.301 s] /proc/loadavg: 1.01 1.07 1.04 2/107 10138 /proc/meminfo: memFree=1240016/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=443192 CPUtime=222.22 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 337047 0 0 0 21966 256 0 0 25 0 1 0 8887959 453828608 84933 1992294400 4194304 9819077 140733553160656 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110798 84933 681 1374 0 109419 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 443192 [startup+282.301 s] /proc/loadavg: 1.00 1.06 1.03 2/107 10138 /proc/meminfo: memFree=1240636/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=443192 CPUtime=282.2 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 415288 0 0 0 27928 292 0 0 25 0 1 0 8887959 453828608 84815 1992294400 4194304 9819077 140733553160656 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110798 84815 681 1374 0 109419 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 443192 [startup+342.302 s] /proc/loadavg: 1.00 1.05 1.02 2/107 10140 /proc/meminfo: memFree=1241380/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=443192 CPUtime=342.19 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 486239 0 0 0 33891 328 0 0 25 0 1 0 8887959 453828608 84588 1992294400 4194304 9819077 140733553160656 18446744073709551615 7291012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110798 84588 681 1374 0 109419 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 443192 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.02 2/107 10142 /proc/meminfo: memFree=1239768/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=443192 CPUtime=402.16 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 557163 0 0 0 39854 362 0 0 25 0 1 0 8887959 453828608 84580 1992294400 4194304 9819077 140733553160656 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110798 84580 681 1374 0 109419 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 443192 [startup+462.301 s] /proc/loadavg: 1.00 1.03 1.01 2/107 10153 /proc/meminfo: memFree=1241256/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=443192 CPUtime=462.13 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 627917 0 0 0 45817 396 0 0 25 0 1 0 8887959 453828608 84597 1992294400 4194304 9819077 140733553160656 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110798 84597 681 1374 0 109419 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 443192 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.01 2/107 10155 /proc/meminfo: memFree=1238528/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=442384 CPUtime=522.12 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 727773 0 0 0 51771 441 0 0 25 0 1 0 8887959 453001216 84781 1992294400 4194304 9819077 140733553160656 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110596 84781 690 1374 0 109217 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 442384 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10155 /proc/meminfo: memFree=1239892/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=442384 CPUtime=582.1 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 807034 0 0 0 57732 478 0 0 25 0 1 0 8887959 453001216 84913 1992294400 4194304 9819077 140733553160656 18446744073709551615 7291732 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110596 84913 690 1374 0 109217 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 442384 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10157 /proc/meminfo: memFree=1238776/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=442384 CPUtime=642.09 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 888641 0 0 0 63692 517 0 0 25 0 1 0 8887959 453001216 85134 1992294400 4194304 9819077 140733553160656 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 110596 85134 690 1374 0 109217 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 442384 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10165 /proc/meminfo: memFree=1235676/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=941.99 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1269097 0 0 0 93499 700 0 0 25 0 1 0 8887959 456863744 85932 1992294400 4194304 9819077 140733553160656 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 85932 703 1374 0 110160 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 446156 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10167 /proc/meminfo: memFree=1235304/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=1001.96 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1345768 0 0 0 99462 734 0 0 25 0 1 0 8887959 456863744 85988 1992294400 4194304 9819077 140733553160656 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 85988 703 1374 0 110160 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 446156 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10169 /proc/meminfo: memFree=1232948/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=447044 CPUtime=1061.94 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1421258 0 0 0 105421 773 0 0 25 0 1 0 8887959 457773056 86661 1992294400 4194304 9819077 140733553160656 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111761 86661 703 1374 0 110382 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 447044 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10171 /proc/meminfo: memFree=1235676/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=1121.93 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1495302 0 0 0 111385 808 0 0 25 0 1 0 8887959 456863744 85857 1992294400 4194304 9819077 140733553160656 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 85857 703 1374 0 110160 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 446156 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 3/108 10174 /proc/meminfo: memFree=1215704/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=1181.9 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1559235 0 0 0 117352 838 0 0 25 0 1 0 8887959 456863744 85933 1992294400 4194304 9819077 140733553160656 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 85933 703 1374 0 110160 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 446156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10176 /proc/meminfo: memFree=1233940/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=1241.89 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1635909 0 0 0 123314 875 0 0 25 0 1 0 8887959 456863744 86169 1992294400 4194304 9819077 140733553160656 18446744073709551615 7298600 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 86169 703 1374 0 110160 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 446156 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10178 /proc/meminfo: memFree=1235552/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=1301.87 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1709634 0 0 0 129277 910 0 0 25 0 1 0 8887959 456863744 85789 1992294400 4194304 9819077 140733553160656 18446744073709551615 6191108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 85789 703 1374 0 110160 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 446156 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10180 /proc/meminfo: memFree=1234684/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=1361.85 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1789137 0 0 0 135238 947 0 0 25 0 1 0 8887959 456863744 86098 1992294400 4194304 9819077 140733553160656 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 86098 703 1374 0 110160 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 446156 [startup+1422.31 s] /proc/loadavg: 1.12 1.03 1.01 2/107 10182 /proc/meminfo: memFree=1235552/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446256 CPUtime=1421.84 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1887144 0 0 0 141190 994 0 0 25 0 1 0 8887959 456966144 85832 1992294400 4194304 9819077 140733553160656 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111564 85832 703 1374 0 110185 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 446256 [startup+1482.3 s] /proc/loadavg: 1.07 1.03 1.01 2/107 10182 /proc/meminfo: memFree=1235304/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=446156 CPUtime=1481.81 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 1959129 0 0 0 147153 1028 0 0 25 0 1 0 8887959 456863744 85942 1992294400 4194304 9819077 140733553160656 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 111539 85942 703 1374 0 110160 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 446156 [startup+1542.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 10184 /proc/meminfo: memFree=1239148/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=395340 CPUtime=1541.78 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2029366 0 0 0 153116 1062 0 0 25 0 1 0 8887959 404828160 84944 1992294400 4194304 9819077 140733553160656 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 98835 84944 706 1374 0 97456 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 395340 [startup+1602.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10186 /proc/meminfo: memFree=1231336/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=451268 CPUtime=1601.77 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2096655 0 0 0 159079 1098 0 0 25 0 1 0 8887959 462098432 86921 1992294400 4194304 9819077 140733553160656 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 112817 86921 706 1374 0 111438 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 451268 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10188 /proc/meminfo: memFree=1231336/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=451268 CPUtime=1661.75 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2166426 0 0 0 165044 1131 0 0 25 0 1 0 8887959 462098432 86891 1992294400 4194304 9819077 140733553160656 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 112817 86891 706 1374 0 111438 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 451268 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10190 /proc/meminfo: memFree=1232328/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=451268 CPUtime=1721.73 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2227927 0 0 0 171010 1163 0 0 25 0 1 0 8887959 462098432 86701 1992294400 4194304 9819077 140733553160656 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 112817 86701 706 1374 0 111438 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 451268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10190 /proc/meminfo: memFree=1239644/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=396548 CPUtime=1781.71 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2283696 0 0 0 176973 1198 0 0 25 0 1 0 8887959 406065152 84871 1992294400 4194304 9819077 140733553160656 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 99137 84871 706 1374 0 97758 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 396548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10192 /proc/meminfo: memFree=1239024/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=396768 CPUtime=1800.02 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2306280 0 0 0 178791 1211 0 0 25 0 1 0 8887959 406290432 84905 1992294400 4194304 9819077 140733553160656 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10131/statm: 99192 84905 706 1374 0 97813 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 396768 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 2/107 10192 /proc/meminfo: memFree=1239024/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=397212 CPUtime=1800.8 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2309508 0 0 0 178868 1212 0 0 25 0 1 0 8887959 406745088 84677 1992294400 4194304 9819077 140733553160656 18446744073709551615 5957420 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10131/statm: 99303 84677 707 1374 0 97924 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 397212 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10193 /proc/meminfo: memFree=1295064/2059040 swapFree=4192956/4192956 [pid=10131] ppid=10129 vsize=83188 CPUtime=1801.21 /proc/10131/stat : 10131 (pbscip.linux.x8) R 10129 10131 9077 0 -1 4202496 2309514 0 0 0 178906 1215 0 0 25 0 1 0 8887959 85184512 19425 1992294400 4194304 9819077 140733553160656 18446744073709551615 6180688 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10131/statm: 20797 19425 713 1374 0 19418 0 Current children cumulated CPU time (s) 1801.21 Current children cumulated vsize (KiB) 83188 Child status: 0 Real time (s): 1801.85 CPU time (s): 1801.27 CPU user time (s): 1789.1 CPU system time (s): 12.1642 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 452060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.1 system time used= 12.1641 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2309523 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= 2 involuntary context switches= 3152 runsolver used 3.07353 second user time and 8.41972 second system time The end
Begin job on node005 at 2010-06-12 10:54:02 IDJOB=2665975 IDBENCH=1453 IDSOLVER=1168 FILE ID=node005/2665975-1276332842 PBS_JOBID= 11173156 Free space on /tmp= 62532 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-cache.inv12.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-2665975-1276332842/watcher-2665975-1276332842 -o /tmp/evaluation-result-2665975-1276332842/solver-2665975-1276332842 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665975-1276332842.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bdfd22b57887b70e5df6236004ca174a RANDOM SEED=652449498 node005.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.246 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.49 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.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1578824 kB Buffers: 108476 kB Cached: 242472 kB SwapCached: 0 kB Active: 98444 kB Inactive: 311840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1578824 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8540 kB Writeback: 0 kB AnonPages: 59224 kB Mapped: 15440 kB Slab: 48136 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180716 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= 62524 MiB End job on node005 at 2010-06-12 11:24:05