| 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 | 481.368 | 481.529 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb |
| MD5SUM | 490d573a1d39845890b306c349815f34 |
| 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.75252 |
| 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 | 749 |
| 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-2667282-1276300061.opb>
0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c problem read
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c presolving settings loaded
0.06/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.05
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.54 c 0.4s| 1 | 0 | 113 | - |3976k| 0 | 39 | 231 |2754 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.70 c 0.6s| 1 | 0 | 151 | - |4556k| 0 | 46 | 231 |2754 | 231 |2583 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.04 c 0.9s| 1 | 0 | 183 | - |4582k| 0 | 53 | 231 |2754 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 c 1.3s| 1 | 0 | 191 | - |4631k| 0 | 55 | 231 |2754 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.81 c 1.6s| 1 | 0 | 198 | - |4765k| 0 | 54 | 231 |2754 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.44 c 2.3s| 1 | 2 | 198 | - |4765k| 0 | 54 | 231 |2754 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf
178.73/178.84 c 175s| 10000 | 99 |306875 | 30.7 |7048k| 40 | 32 | 231 |6848 | 231 |2573 | 23 |7272 |2284 | 0.000000e+00 | -- | Inf
310.88/311.07 c 304s| 20000 | 121 |620814 | 31.0 |8027k| 45 | 36 | 231 |8790 | 231 |2573 | 23 | 15k|2613 | 0.000000e+00 | -- | Inf
450.94/451.13 c 441s| 30000 | 42 |936111 | 31.2 |8020k| 48 | 28 | 231 |8958 | 231 |2573 | 23 | 23k|3312 | 0.000000e+00 | -- | Inf
481.32/481.50 c
481.32/481.50 c SCIP Status : problem is solved [infeasible]
481.32/481.50 c Solving Time (sec) : 471.25
481.32/481.50 c Solving Nodes : 32175
481.32/481.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
481.32/481.50 c Dual Bound : +1.00000000000000e+20
481.32/481.50 c Gap : 0.00 %
481.32/481.50 s UNSATISFIABLE
481.32/481.50 c SCIP Status : problem is solved [infeasible]
481.32/481.50 c Solving Time : 471.25
481.32/481.50 c Original Problem :
481.32/481.50 c Problem name : HOME/instance-2667282-1276300061.opb
481.32/481.50 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
481.32/481.50 c Constraints : 2707 initial, 2707 maximal
481.32/481.50 c Presolved Problem :
481.32/481.50 c Problem name : t_HOME/instance-2667282-1276300061.opb
481.32/481.50 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
481.32/481.50 c Constraints : 2564 initial, 9785 maximal
481.32/481.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
481.32/481.50 c trivial : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c implics : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c probing : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c knapsack : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c setppc : 0.00 0 0 0 0 0 0 0 0
481.32/481.50 c linear : 0.02 0 0 0 0 0 143 0 0
481.32/481.50 c logicor : 0.02 0 0 0 0 0 0 0 0
481.32/481.50 c root node : - 1 - - 1 - - - -
481.32/481.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
481.32/481.50 c integral : 0 0 0 16965 0 80 1474 0 0 32410
481.32/481.50 c knapsack : 1 5 130539 0 0 133 65053 0 0 0
481.32/481.50 c setppc : 22 5 130525 0 0 753 188127 0 0 0
481.32/481.50 c linear : 0+ 5 127811 0 0 2 1865 1 0 0
481.32/481.50 c logicor : 2541+ 5 61504 0 0 238 193072 0 0 0
481.32/481.50 c countsols : 0 0 0 0 0 0 0 0 0 0
481.32/481.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
481.32/481.50 c integral : 74.86 0.00 0.00 74.86 0.00
481.32/481.50 c knapsack : 0.89 0.00 0.89 0.00 0.00
481.32/481.50 c setppc : 2.26 0.00 2.26 0.00 0.00
481.32/481.50 c linear : 1.03 0.00 1.03 0.00 0.00
481.32/481.50 c logicor : 9.44 0.00 9.44 0.00 0.00
481.32/481.50 c countsols : 0.00 0.00 0.00 0.00 0.00
481.32/481.50 c Propagators : Time Calls Cutoffs DomReds
481.32/481.50 c vbounds : 0.03 1 0 0
481.32/481.50 c rootredcost : 0.10 0 0 0
481.32/481.50 c pseudoobj : 0.06 0 0 0
481.32/481.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
481.32/481.50 c propagation : 0.14 1126 1120 5240 19.3 20 22.5 -
481.32/481.50 c infeasible LP : 6.02 14997 14880 84982 29.0 140 17.0 0
481.32/481.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
481.32/481.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
481.32/481.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
481.32/481.50 c applied globally : - - - 24562 18.6 - - -
481.32/481.50 c applied locally : - - - 532 33.7 - - -
481.32/481.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
481.32/481.50 c cut pool : 0.00 4 - - 33 - (maximal pool size: 366)
481.32/481.50 c redcost : 0.22 16332 0 0 0 0
481.32/481.50 c impliedbounds : 0.00 5 0 0 0 0
481.32/481.50 c intobj : 0.00 0 0 0 0 0
481.32/481.50 c cgmip : 0.00 0 0 0 0 0
481.32/481.50 c gomory : 0.69 5 0 0 1000 0
481.32/481.50 c strongcg : 0.60 5 0 0 1289 0
481.32/481.50 c cmir : 0.00 0 0 0 0 0
481.32/481.50 c flowcover : 0.00 0 0 0 0 0
481.32/481.50 c clique : 0.00 5 0 0 0 0
481.32/481.50 c zerohalf : 0.00 0 0 0 0 0
481.32/481.50 c mcf : 0.00 1 0 0 0 0
481.32/481.50 c rapidlearning : 0.22 1 0 0 0 190
481.32/481.50 c Pricers : Time Calls Vars
481.32/481.50 c problem variables: 0.00 0 0
481.32/481.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
481.32/481.50 c relpscost : 74.82 16965 80 1474 0 0 32410
481.32/481.50 c pscost : 0.00 0 0 0 0 0 0
481.32/481.50 c inference : 0.00 0 0 0 0 0 0
481.32/481.50 c mostinf : 0.00 0 0 0 0 0 0
481.32/481.50 c leastinf : 0.00 0 0 0 0 0 0
481.32/481.50 c fullstrong : 0.00 0 0 0 0 0 0
481.32/481.50 c allfullstrong : 0.00 0 0 0 0 0 0
481.32/481.50 c random : 0.00 0 0 0 0 0 0
481.32/481.50 c Primal Heuristics : Time Calls Found
481.32/481.50 c LP solutions : 0.00 - 0
481.32/481.50 c pseudo solutions : 0.00 - 0
481.32/481.50 c trivial : 0.00 1 0
481.32/481.50 c simplerounding : 0.00 0 0
481.32/481.50 c zirounding : 0.00 0 0
481.32/481.50 c rounding : 0.00 0 0
481.32/481.50 c shifting : 0.00 0 0
481.32/481.50 c intshifting : 0.00 0 0
481.32/481.50 c oneopt : 0.00 0 0
481.32/481.50 c twoopt : 0.00 0 0
481.32/481.50 c fixandinfer : 0.00 0 0
481.32/481.50 c feaspump : 0.00 0 0
481.32/481.50 c coefdiving : 0.00 0 0
481.32/481.50 c pscostdiving : 0.00 0 0
481.32/481.50 c fracdiving : 0.00 0 0
481.32/481.50 c veclendiving : 0.00 0 0
481.32/481.50 c intdiving : 0.00 0 0
481.32/481.50 c actconsdiving : 0.00 0 0
481.32/481.50 c objpscostdiving : 0.00 0 0
481.32/481.50 c rootsoldiving : 0.00 0 0
481.32/481.50 c linesearchdiving : 0.00 0 0
481.32/481.50 c guideddiving : 0.00 0 0
481.32/481.50 c octane : 0.00 0 0
481.32/481.50 c rens : 0.00 0 0
481.32/481.50 c rins : 0.00 0 0
481.32/481.50 c localbranching : 0.00 0 0
481.32/481.50 c mutation : 0.00 0 0
481.32/481.50 c crossover : 0.00 0 0
481.32/481.50 c dins : 0.00 0 0
481.32/481.50 c undercover : 0.00 0 0
481.32/481.50 c nlp : 0.00 0 0
481.32/481.50 c trysol : 0.00 0 0
481.32/481.50 c LP : Time Calls Iterations Iter/call Iter/sec
481.32/481.50 c primal LP : 0.01 0 0 0.00 0.00
481.32/481.50 c dual LP : 347.36 31901 1008218 31.60 2902.52
481.32/481.50 c lex dual LP : 0.00 0 0 0.00 -
481.32/481.50 c barrier LP : 0.00 0 0 0.00 -
481.32/481.50 c diving/probing LP: 0.00 0 0 0.00 -
481.32/481.50 c strong branching : 74.20 3397 207820 61.18 2800.81
481.32/481.50 c (at root node) : - 10 1552 155.20 -
481.32/481.50 c conflict analysis: 0.00 0 0 0.00 -
481.32/481.50 c B&B Tree :
481.32/481.50 c number of runs : 1
481.32/481.50 c nodes : 32175
481.32/481.50 c nodes (total) : 32175
481.32/481.50 c nodes left : 0
481.32/481.50 c max depth : 50
481.32/481.50 c max depth (total): 50
481.32/481.50 c backtracks : 3516 (10.9%)
481.32/481.50 c delayed cutoffs : 236
481.32/481.50 c repropagations : 56084 (69508 domain reductions, 233 cutoffs)
481.32/481.50 c avg switch length: 5.31
481.32/481.50 c switching time : 10.12
481.32/481.50 c Solution :
481.32/481.50 c Solutions found : 0 (0 improvements)
481.32/481.50 c Primal Bound : infeasible
481.32/481.50 c Dual Bound : -
481.32/481.50 c Gap : 0.00 %
481.32/481.50 c Root Dual Bound : +0.00000000000000e+00
481.32/481.50 c Root Iterations : 198
481.32/481.53 c Time complete: 481.36.
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-2667282-1276300061/watcher-2667282-1276300061 -o /tmp/evaluation-result-2667282-1276300061/solver-2667282-1276300061 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667282-1276300061.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6707 /proc/meminfo: memFree=1544940/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=7724 CPUtime=0 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 1026 0 0 0 0 0 0 0 17 0 1 0 5609515 7909376 947 1992294400 4194304 8223781 140736523776688 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6707/statm: 1931 957 348 984 0 944 0 [startup+0.0634641 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6707 /proc/meminfo: memFree=1544940/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=11876 CPUtime=0.06 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 2350 0 0 0 5 1 0 0 17 0 1 0 5609515 12161024 1906 1992294400 4194304 8223781 140736523776688 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 2969 1921 375 984 0 1982 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11876 [startup+0.10047 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6707 /proc/meminfo: memFree=1544940/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=16092 CPUtime=0.09 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 3692 0 0 0 7 2 0 0 17 0 1 0 5609515 16478208 2991 1992294400 4194304 8223781 140736523776688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 4023 2992 443 984 0 3036 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16092 [startup+0.300507 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6707 /proc/meminfo: memFree=1544940/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=29476 CPUtime=0.29 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 9704 0 0 0 24 5 0 0 17 0 1 0 5609515 30183424 6367 1992294400 4194304 8223781 140736523776688 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7369 6377 570 984 0 6382 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29476 [startup+0.700579 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6707 /proc/meminfo: memFree=1544940/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=27436 CPUtime=0.69 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 13070 0 0 0 61 8 0 0 17 0 1 0 5609515 28094464 6005 1992294400 4194304 8223781 140736523776688 18446744073709551615 6569910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 6859 6005 583 984 0 5872 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27436 [startup+1.50073 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6708 /proc/meminfo: memFree=1522860/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=27588 CPUtime=1.49 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 13123 0 0 0 140 9 0 0 18 0 1 0 5609515 28250112 6053 1992294400 4194304 8223781 140736523776688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 6897 6053 583 984 0 5910 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27588 [startup+3.10102 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6708 /proc/meminfo: memFree=1521868/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=28240 CPUtime=3.09 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 14359 0 0 0 297 12 0 0 21 0 1 0 5609515 28917760 6200 1992294400 4194304 8223781 140736523776688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7060 6200 584 984 0 6073 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28240 [startup+6.30061 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6708 /proc/meminfo: memFree=1521620/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=28148 CPUtime=6.29 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 18008 0 0 0 613 16 0 0 25 0 1 0 5609515 28823552 6189 1992294400 4194304 8223781 140736523776688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7037 6189 584 984 0 6050 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28148 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6708 /proc/meminfo: memFree=1521496/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=28152 CPUtime=12.69 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 28361 0 0 0 1243 26 0 0 25 0 1 0 5609515 28827648 6193 1992294400 4194304 8223781 140736523776688 18446744073709551615 6455210 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7038 6193 586 984 0 6051 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28152 [startup+25.5002 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6710 /proc/meminfo: memFree=1521496/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=28044 CPUtime=25.48 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 51520 0 0 0 2499 49 0 0 25 0 1 0 5609515 28717056 6183 1992294400 4194304 8223781 140736523776688 18446744073709551615 6568187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7011 6183 586 984 0 6024 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28044 [startup+51.1009 s] /proc/loadavg: 0.96 0.98 0.99 2/107 6710 /proc/meminfo: memFree=1521248/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=28788 CPUtime=51.07 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 108982 0 0 0 5006 101 0 0 25 0 1 0 5609515 29478912 6283 1992294400 4194304 8223781 140736523776688 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7137 6280 589 984 0 6150 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28788 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 6712 /proc/meminfo: memFree=1520132/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=29488 CPUtime=102.26 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 216667 0 0 0 10013 213 0 0 25 0 1 0 5609515 30195712 6545 1992294400 4194304 8223781 140736523776688 18446744073709551615 6439676 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7372 6545 587 984 0 6385 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29488 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6712 /proc/meminfo: memFree=1518892/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=30696 CPUtime=162.24 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 320364 0 0 0 15886 338 0 0 25 0 1 0 5609515 31432704 6818 1992294400 4194304 8223781 140736523776688 18446744073709551615 6371958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7674 6818 587 984 0 6687 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30696 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6714 /proc/meminfo: memFree=1518520/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=31056 CPUtime=222.22 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 452892 0 0 0 21751 471 0 0 25 0 1 0 5609515 31801344 6937 1992294400 4194304 8223781 140736523776688 18446744073709551615 4610176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7764 6937 587 984 0 6777 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 31056 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6716 /proc/meminfo: memFree=1517776/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=31952 CPUtime=282.2 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 571892 0 0 0 27617 603 0 0 25 0 1 0 5609515 32718848 7133 1992294400 4194304 8223781 140736523776688 18446744073709551615 6560042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 7988 7133 587 984 0 7001 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31952 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6718 /proc/meminfo: memFree=1516164/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33416 CPUtime=342.18 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 677923 0 0 0 33487 731 0 0 25 0 1 0 5609515 34217984 7509 1992294400 4194304 8223781 140736523776688 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8354 7509 587 984 0 7367 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33416 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1515668/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33896 CPUtime=402.16 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 770571 0 0 0 39366 850 0 0 25 0 1 0 5609515 34709504 7625 1992294400 4194304 8223781 140736523776688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8474 7625 587 984 0 7487 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 33896 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1515420/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33816 CPUtime=462.14 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 861166 0 0 0 45243 971 0 0 25 0 1 0 5609515 34627584 7626 1992294400 4194304 8223781 140736523776688 18446744073709551615 6505773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8454 7626 587 984 0 7467 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 33816 Solver just ended. Dumping a history of the last processes samples [startup+473.501 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6722 /proc/meminfo: memFree=1515420/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33816 CPUtime=473.33 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 875431 0 0 0 46343 990 0 0 25 0 1 0 5609515 34627584 7626 1992294400 4194304 8223781 140736523776688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8454 7626 587 984 0 7467 0 Current children cumulated CPU time (s) 473.33 Current children cumulated vsize (KiB) 33816 [startup+476.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6722 /proc/meminfo: memFree=1515420/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33876 CPUtime=476.53 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 880019 0 0 0 46658 995 0 0 25 0 1 0 5609515 34689024 7628 1992294400 4194304 8223781 140736523776688 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8469 7628 587 984 0 7482 0 Current children cumulated CPU time (s) 476.53 Current children cumulated vsize (KiB) 33876 [startup+479.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6722 /proc/meminfo: memFree=1515420/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33868 CPUtime=479.73 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 884040 0 0 0 46972 1001 0 0 25 0 1 0 5609515 34680832 7627 1992294400 4194304 8223781 140736523776688 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8467 7627 587 984 0 7480 0 Current children cumulated CPU time (s) 479.73 Current children cumulated vsize (KiB) 33868 [startup+480.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6722 /proc/meminfo: memFree=1515420/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33816 CPUtime=480.53 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 885341 0 0 0 47051 1002 0 0 25 0 1 0 5609515 34627584 7626 1992294400 4194304 8223781 140736523776688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8454 7626 587 984 0 7467 0 Current children cumulated CPU time (s) 480.53 Current children cumulated vsize (KiB) 33816 [startup+481.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6722 /proc/meminfo: memFree=1515420/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33816 CPUtime=480.93 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 885858 0 0 0 47090 1003 0 0 25 0 1 0 5609515 34627584 7626 1992294400 4194304 8223781 140736523776688 18446744073709551615 6592222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8454 7626 587 984 0 7467 0 Current children cumulated CPU time (s) 480.93 Current children cumulated vsize (KiB) 33816 [startup+481.501 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6722 /proc/meminfo: memFree=1515420/2059040 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=33816 CPUtime=481.32 /proc/6707/stat : 6707 (pbscip.linux.x8) R 6705 6707 6200 0 -1 4202496 886391 0 0 0 47129 1003 0 0 25 0 1 0 5609515 34627584 7626 1992294400 4194304 8223781 140736523776688 18446744073709551615 4210475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6707/statm: 8454 7626 587 984 0 7467 0 Current children cumulated CPU time (s) 481.32 Current children cumulated vsize (KiB) 33816 Child status: 0 Real time (s): 481.529 CPU time (s): 481.368 CPU user time (s): 471.325 CPU system time (s): 10.0425 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 36164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 471.325 system time used= 10.0425 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 886397 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= 5 involuntary context switches= 5077 runsolver used 0.78788 second user time and 2.28665 second system time The end
Begin job on node007 at 2010-06-12 01:47:41 IDJOB=2667282 IDBENCH=1324 IDSOLVER=1169 FILE ID=node007/2667282-1276300061 PBS_JOBID= 11173118 Free space on /tmp= 62444 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.1900570242.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-2667282-1276300061/watcher-2667282-1276300061 -o /tmp/evaluation-result-2667282-1276300061/solver-2667282-1276300061 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667282-1276300061.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 490d573a1d39845890b306c349815f34 RANDOM SEED=1102318388 node007.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.264 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.52 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.264 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: 1545592 kB Buffers: 73904 kB Cached: 312420 kB SwapCached: 0 kB Active: 175112 kB Inactive: 270452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1545592 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4612 kB Writeback: 0 kB AnonPages: 59276 kB Mapped: 15380 kB Slab: 46196 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181952 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= 62440 MiB End job on node007 at 2010-06-12 01:55:42