| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 339.265 | 339.376 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb |
| MD5SUM | e3ac612b47921d8ce26a7ef2a453205c |
| 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 | 2.6356 |
| 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 | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 779 |
| Number of bits of the biggest sum of numbers | 10 |
| 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: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667276-1276298437.opb>
0.03/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.03/0.06 c problem read
0.03/0.06 c No objective function, only one solution is needed.
0.03/0.06 c presolving settings loaded
0.03/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.06
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.59 c 0.4s| 1 | 0 | 103 | - |4016k| 0 | 41 | 231 |2783 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.80 c 0.7s| 1 | 0 | 127 | - |4626k| 0 | 47 | 231 |2783 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.12 c 1.0s| 1 | 0 | 172 | - |4678k| 0 | 59 | 231 |2783 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.57 c 1.4s| 1 | 0 | 201 | - |4689k| 0 | 61 | 231 |2783 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.05 c 1.9s| 1 | 0 | 233 | - |4711k| 0 | 60 | 231 |2783 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
2.99/3.05 c 2.9s| 1 | 2 | 233 | - |4711k| 0 | 60 | 231 |2783 | 231 |2589 | 25 | 0 | 9 | 0.000000e+00 | -- | Inf
179.73/179.87 c 176s| 10000 | 62 |306215 | 30.6 |7329k| 47 | - | 231 |8078 | 231 |2578 | 25 |7417 |2260 | 0.000000e+00 | -- | Inf
314.79/314.97 c 309s| 20000 | 15 |630629 | 31.5 |7252k| 53 | 31 | 231 |7285 | 231 |2578 | 25 | 15k|2535 | 0.000000e+00 | -- | Inf
339.18/339.35 c
339.18/339.35 c SCIP Status : problem is solved [infeasible]
339.18/339.35 c Solving Time (sec) : 332.66
339.18/339.35 c Solving Nodes : 21460
339.18/339.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
339.18/339.35 c Dual Bound : +1.00000000000000e+20
339.18/339.35 c Gap : 0.00 %
339.18/339.35 s UNSATISFIABLE
339.18/339.35 c SCIP Status : problem is solved [infeasible]
339.18/339.35 c Solving Time : 332.66
339.18/339.35 c Original Problem :
339.18/339.35 c Problem name : HOME/instance-2667276-1276298437.opb
339.18/339.35 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
339.18/339.35 c Constraints : 2707 initial, 2707 maximal
339.18/339.35 c Presolved Problem :
339.18/339.35 c Problem name : t_HOME/instance-2667276-1276298437.opb
339.18/339.35 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
339.18/339.35 c Constraints : 2564 initial, 9211 maximal
339.18/339.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
339.18/339.35 c trivial : 0.00 0 0 0 0 0 0 0 0
339.18/339.35 c dualfix : 0.00 0 0 0 0 0 0 0 0
339.18/339.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
339.18/339.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
339.18/339.35 c implics : 0.00 0 0 0 0 0 0 0 0
339.18/339.35 c probing : 0.00 0 0 0 0 0 0 0 0
339.18/339.35 c knapsack : 0.01 0 0 0 0 0 0 0 0
339.18/339.35 c setppc : 0.00 0 0 0 0 0 0 0 0
339.18/339.35 c linear : 0.03 0 0 0 0 0 143 0 0
339.18/339.35 c logicor : 0.01 0 0 0 0 0 0 0 0
339.18/339.35 c root node : - 22 - - 22 - - - -
339.18/339.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
339.18/339.35 c integral : 0 0 0 11533 0 58 1186 0 0 21686
339.18/339.35 c knapsack : 1 5 90440 0 0 179 63899 2 0 0
339.18/339.35 c setppc : 22 5 90376 0 0 813 130351 0 0 0
339.18/339.35 c linear : 0+ 5 86144 0 0 22 252 1 0 0
339.18/339.35 c logicor : 2541+ 5 41611 0 0 301 137575 0 0 0
339.18/339.35 c countsols : 0 0 0 0 0 0 0 0 0 0
339.18/339.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
339.18/339.35 c integral : 61.67 0.00 0.00 61.67 0.00
339.18/339.35 c knapsack : 0.80 0.00 0.80 0.00 0.00
339.18/339.35 c setppc : 1.49 0.00 1.49 0.00 0.00
339.18/339.35 c linear : 0.87 0.00 0.87 0.00 0.00
339.18/339.35 c logicor : 6.44 0.00 6.44 0.00 0.00
339.18/339.35 c countsols : 0.00 0.00 0.00 0.00 0.00
339.18/339.35 c Propagators : Time Calls Cutoffs DomReds
339.18/339.35 c vbounds : 0.05 1 0 0
339.18/339.35 c rootredcost : 0.05 0 0 0
339.18/339.35 c pseudoobj : 0.09 0 0 0
339.18/339.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
339.18/339.35 c propagation : 0.14 1315 1303 5899 17.8 33 19.7 -
339.18/339.35 c infeasible LP : 4.28 9460 9378 50492 29.6 39 17.1 0
339.18/339.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
339.18/339.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
339.18/339.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
339.18/339.35 c applied globally : - - - 17011 18.4 - - -
339.18/339.35 c applied locally : - - - 293 33.7 - - -
339.18/339.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
339.18/339.35 c cut pool : 0.00 4 - - 62 - (maximal pool size: 353)
339.18/339.35 c redcost : 0.15 10937 0 0 0 0
339.18/339.35 c impliedbounds : 0.00 5 0 0 0 0
339.18/339.35 c intobj : 0.00 0 0 0 0 0
339.18/339.35 c cgmip : 0.00 0 0 0 0 0
339.18/339.35 c gomory : 0.83 5 0 0 1275 0
339.18/339.35 c strongcg : 0.64 5 0 0 1337 0
339.18/339.35 c cmir : 0.00 0 0 0 0 0
339.18/339.35 c flowcover : 0.00 0 0 0 0 0
339.18/339.35 c clique : 0.00 5 0 0 0 0
339.18/339.35 c zerohalf : 0.00 0 0 0 0 0
339.18/339.35 c mcf : 0.00 1 0 0 0 0
339.18/339.35 c rapidlearning : 0.25 1 0 0 0 219
339.18/339.35 c Pricers : Time Calls Vars
339.18/339.35 c problem variables: 0.00 0 0
339.18/339.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
339.18/339.35 c relpscost : 61.67 11533 58 1186 0 0 21686
339.18/339.35 c pscost : 0.00 0 0 0 0 0 0
339.18/339.35 c inference : 0.00 0 0 0 0 0 0
339.18/339.35 c mostinf : 0.00 0 0 0 0 0 0
339.18/339.35 c leastinf : 0.00 0 0 0 0 0 0
339.18/339.35 c fullstrong : 0.00 0 0 0 0 0 0
339.18/339.35 c allfullstrong : 0.00 0 0 0 0 0 0
339.18/339.35 c random : 0.00 0 0 0 0 0 0
339.18/339.35 c Primal Heuristics : Time Calls Found
339.18/339.35 c LP solutions : 0.00 - 0
339.18/339.35 c pseudo solutions : 0.00 - 0
339.18/339.35 c trivial : 0.00 1 0
339.18/339.35 c simplerounding : 0.00 0 0
339.18/339.35 c zirounding : 0.00 0 0
339.18/339.35 c rounding : 0.00 0 0
339.18/339.35 c shifting : 0.00 0 0
339.18/339.35 c intshifting : 0.00 0 0
339.18/339.35 c oneopt : 0.00 0 0
339.18/339.35 c twoopt : 0.00 0 0
339.18/339.35 c fixandinfer : 0.00 0 0
339.18/339.35 c feaspump : 0.00 0 0
339.18/339.35 c coefdiving : 0.00 0 0
339.18/339.35 c pscostdiving : 0.00 0 0
339.18/339.35 c fracdiving : 0.00 0 0
339.18/339.35 c veclendiving : 0.00 0 0
339.18/339.35 c intdiving : 0.00 0 0
339.18/339.35 c actconsdiving : 0.00 0 0
339.18/339.35 c objpscostdiving : 0.00 0 0
339.18/339.35 c rootsoldiving : 0.00 0 0
339.18/339.35 c linesearchdiving : 0.00 0 0
339.18/339.35 c guideddiving : 0.00 0 0
339.18/339.35 c octane : 0.00 0 0
339.18/339.35 c rens : 0.00 0 0
339.18/339.35 c rins : 0.00 0 0
339.18/339.35 c localbranching : 0.00 0 0
339.18/339.35 c mutation : 0.00 0 0
339.18/339.35 c crossover : 0.00 0 0
339.18/339.35 c dins : 0.00 0 0
339.18/339.35 c undercover : 0.00 0 0
339.18/339.35 c nlp : 0.00 0 0
339.18/339.35 c trysol : 0.00 0 0
339.18/339.35 c LP : Time Calls Iterations Iter/call Iter/sec
339.18/339.35 c primal LP : 0.00 0 0 0.00 -
339.18/339.35 c dual LP : 236.80 20948 683145 32.61 2884.90
339.18/339.35 c lex dual LP : 0.00 0 0 0.00 -
339.18/339.35 c barrier LP : 0.00 0 0 0.00 -
339.18/339.35 c diving/probing LP: 0.00 0 0 0.00 -
339.18/339.35 c strong branching : 61.09 2696 170323 63.18 2788.07
339.18/339.35 c (at root node) : - 9 2310 256.67 -
339.18/339.35 c conflict analysis: 0.00 0 0 0.00 -
339.18/339.35 c B&B Tree :
339.18/339.35 c number of runs : 1
339.18/339.35 c nodes : 21460
339.18/339.35 c nodes (total) : 21460
339.18/339.35 c nodes left : 0
339.18/339.35 c max depth : 53
339.18/339.35 c max depth (total): 53
339.18/339.35 c backtracks : 2193 (10.2%)
339.18/339.35 c delayed cutoffs : 227
339.18/339.35 c repropagations : 39903 (46502 domain reductions, 216 cutoffs)
339.18/339.35 c avg switch length: 5.21
339.18/339.35 c switching time : 6.63
339.18/339.35 c Solution :
339.18/339.35 c Solutions found : 0 (0 improvements)
339.18/339.35 c Primal Bound : infeasible
339.18/339.35 c Dual Bound : -
339.18/339.35 c Gap : 0.00 %
339.18/339.35 c Root Dual Bound : +0.00000000000000e+00
339.18/339.35 c Root Iterations : 233
339.18/339.37 c Time complete: 339.25.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667276-1276298437/watcher-2667276-1276298437 -o /tmp/evaluation-result-2667276-1276298437/solver-2667276-1276298437 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667276-1276298437.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 8355 /proc/meminfo: memFree=1438088/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=7724 CPUtime=0 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 1016 0 0 0 0 0 0 0 20 0 1 0 5445051 7909376 935 1992294400 4194304 8223781 140735142853904 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8355/statm: 1931 945 348 984 0 944 0 [startup+0.0398089 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8355 /proc/meminfo: memFree=1438088/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=10064 CPUtime=0.03 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 1822 0 0 0 3 0 0 0 20 0 1 0 5445051 10305536 1741 1992294400 4194304 8223781 140735142853904 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8355/statm: 2516 1741 363 984 0 1529 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10064 [startup+0.100818 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8355 /proc/meminfo: memFree=1438088/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=16092 CPUtime=0.09 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 3696 0 0 0 8 1 0 0 20 0 1 0 5445051 16478208 2994 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 4023 2994 443 984 0 3036 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16092 [startup+0.300852 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8355 /proc/meminfo: memFree=1438088/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=29764 CPUtime=0.29 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 9796 0 0 0 25 4 0 0 20 0 1 0 5445051 30478336 6458 1992294400 4194304 8223781 140735142853904 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7441 6461 570 984 0 6454 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29764 [startup+0.700921 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8355 /proc/meminfo: memFree=1438088/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=27536 CPUtime=0.69 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 13101 0 0 0 61 8 0 0 21 0 1 0 5445051 28196864 6035 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 6884 6035 583 984 0 5897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27536 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8356 /proc/meminfo: memFree=1415636/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=27700 CPUtime=1.49 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 13149 0 0 0 140 9 0 0 23 0 1 0 5445051 28364800 6083 1992294400 4194304 8223781 140735142853904 18446744073709551615 5816089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 6925 6083 583 984 0 5938 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27700 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8356 /proc/meminfo: memFree=1415512/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=28024 CPUtime=3.09 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 13223 0 0 0 298 11 0 0 25 0 1 0 5445051 28696576 6157 1992294400 4194304 8223781 140735142853904 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7006 6157 584 984 0 6019 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28024 [startup+6.30088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8356 /proc/meminfo: memFree=1415016/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=28024 CPUtime=6.29 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 13393 0 0 0 615 14 0 0 25 0 1 0 5445051 28696576 6167 1992294400 4194304 8223781 140735142853904 18446744073709551615 6591967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7006 6167 586 984 0 6019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28024 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8356 /proc/meminfo: memFree=1414892/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=28024 CPUtime=12.69 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 13393 0 0 0 1248 21 0 0 25 0 1 0 5445051 28696576 6167 1992294400 4194304 8223781 140735142853904 18446744073709551615 6567757 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7006 6167 586 984 0 6019 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28024 [startup+25.5012 s] /proc/loadavg: 1.08 1.02 1.01 2/107 8356 /proc/meminfo: memFree=1414892/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=28024 CPUtime=25.49 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 13439 0 0 0 2516 33 0 0 25 0 1 0 5445051 28696576 6167 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7006 6167 586 984 0 6019 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28024 [startup+51.1006 s] /proc/loadavg: 1.05 1.01 1.00 2/107 8356 /proc/meminfo: memFree=1414892/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=28148 CPUtime=51.07 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 14637 0 0 0 5042 65 0 0 25 0 1 0 5445051 28823552 6178 1992294400 4194304 8223781 140735142853904 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7037 6178 587 984 0 6050 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28148 [startup+102.308 s] /proc/loadavg: 1.08 1.03 1.00 2/107 8358 /proc/meminfo: memFree=1413900/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=28668 CPUtime=102.27 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 104575 0 0 0 10057 170 0 0 25 0 1 0 5445051 29356032 6329 1992294400 4194304 8223781 140735142853904 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7167 6329 587 984 0 6180 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28668 [startup+162.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 8360 /proc/meminfo: memFree=1412908/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=29988 CPUtime=162.24 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 210027 0 0 0 15930 294 0 0 25 0 1 0 5445051 30707712 6617 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7497 6617 587 984 0 6510 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29988 [startup+222.301 s] /proc/loadavg: 1.03 1.03 1.00 2/107 8362 /proc/meminfo: memFree=1411420/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=31464 CPUtime=222.22 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 307326 0 0 0 21802 420 0 0 25 0 1 0 5445051 32219136 7027 1992294400 4194304 8223781 140735142853904 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7866 7027 587 984 0 6879 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 31464 [startup+282.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 8362 /proc/meminfo: memFree=1410552/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=31988 CPUtime=282.19 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 412687 0 0 0 27677 542 0 0 25 0 1 0 5445051 32755712 7158 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 7997 7158 587 984 0 7010 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 31988 Solver just ended. Dumping a history of the last processes samples [startup+307.101 s] /proc/loadavg: 1.00 1.02 1.00 2/107 8364 /proc/meminfo: memFree=1410056/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32432 CPUtime=306.99 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 433177 0 0 0 30115 584 0 0 25 0 1 0 5445051 33210368 7269 1992294400 4194304 8223781 140735142853904 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8108 7269 587 984 0 7121 0 Current children cumulated CPU time (s) 306.99 Current children cumulated vsize (KiB) 32432 [startup+319.901 s] /proc/loadavg: 1.00 1.02 1.00 2/107 8364 /proc/meminfo: memFree=1409932/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32456 CPUtime=319.79 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 448575 0 0 0 31369 610 0 0 25 0 1 0 5445051 33234944 7275 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8114 7275 587 984 0 7127 0 Current children cumulated CPU time (s) 319.79 Current children cumulated vsize (KiB) 32456 [startup+332.702 s] /proc/loadavg: 1.00 1.02 1.00 2/107 8364 /proc/meminfo: memFree=1409932/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32568 CPUtime=332.58 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 472911 0 0 0 32621 637 0 0 25 0 1 0 5445051 33349632 7283 1992294400 4194304 8223781 140735142853904 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8142 7283 587 984 0 7155 0 Current children cumulated CPU time (s) 332.58 Current children cumulated vsize (KiB) 32568 [startup+335.901 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8364 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32676 CPUtime=335.78 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 479878 0 0 0 32934 644 0 0 25 0 1 0 5445051 33460224 7305 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8169 7305 587 984 0 7182 0 Current children cumulated CPU time (s) 335.78 Current children cumulated vsize (KiB) 32676 [startup+337.502 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8364 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32812 CPUtime=337.38 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 483519 0 0 0 33091 647 0 0 25 0 1 0 5445051 33599488 7337 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8203 7337 587 984 0 7216 0 Current children cumulated CPU time (s) 337.38 Current children cumulated vsize (KiB) 32812 [startup+338.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8364 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32688 CPUtime=338.18 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 485060 0 0 0 33169 649 0 0 25 0 1 0 5445051 33472512 7306 1992294400 4194304 8223781 140735142853904 18446744073709551615 6568087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8172 7306 587 984 0 7185 0 Current children cumulated CPU time (s) 338.18 Current children cumulated vsize (KiB) 32688 [startup+339.101 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8364 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32744 CPUtime=338.98 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 487261 0 0 0 33247 651 0 0 25 0 1 0 5445051 33529856 7316 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8186 7316 587 984 0 7199 0 Current children cumulated CPU time (s) 338.98 Current children cumulated vsize (KiB) 32744 [startup+339.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8364 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=8355] ppid=8353 vsize=32600 CPUtime=339.18 /proc/8355/stat : 8355 (pbscip.linux.x8) R 8353 8355 8018 0 -1 4202496 487646 0 0 0 33266 652 0 0 25 0 1 0 5445051 33382400 7311 1992294400 4194304 8223781 140735142853904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8355/statm: 8150 7311 587 984 0 7163 0 Current children cumulated CPU time (s) 339.18 Current children cumulated vsize (KiB) 32600 Child status: 0 Real time (s): 339.376 CPU time (s): 339.265 CPU user time (s): 332.739 CPU system time (s): 6.52601 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 36196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 332.739 system time used= 6.52601 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 487728 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= 1065 runsolver used 0.537918 second user time and 1.63675 second system time The end
Begin job on node014 at 2010-06-12 01:20:37 IDJOB=2667276 IDBENCH=1318 IDSOLVER=1169 FILE ID=node014/2667276-1276298437 PBS_JOBID= 11173123 Free space on /tmp= 62460 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667276-1276298437/watcher-2667276-1276298437 -o /tmp/evaluation-result-2667276-1276298437/solver-2667276-1276298437 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667276-1276298437.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e3ac612b47921d8ce26a7ef2a453205c RANDOM SEED=1170956303 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1438616 kB Buffers: 76304 kB Cached: 402292 kB SwapCached: 0 kB Active: 183384 kB Inactive: 354996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1438616 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4596 kB Writeback: 0 kB AnonPages: 59708 kB Mapped: 15376 kB Slab: 60404 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182340 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= 62456 MiB End job on node014 at 2010-06-12 01:26:16