| 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 | 653.856 | 654.073 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb |
| MD5SUM | 0626939ca6144a564c8e59fb048e3266 |
| 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 | 10.0725 |
| 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 | 705 |
| 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-2667322-1276315658.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/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.96
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.17 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.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.4s| 1 | 0 | 103 | - |3976k| 0 | 41 | 231 |2742 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.75 c 0.6s| 1 | 0 | 129 | - |4587k| 0 | 50 | 231 |2742 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.12 c 1.0s| 1 | 0 | 147 | - |4646k| 0 | 50 | 231 |2742 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.50 c 1.4s| 1 | 0 | 157 | - |4646k| 0 | 50 | 231 |2742 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.88 c 1.7s| 1 | 0 | 179 | - |4647k| 0 | 51 | 231 |2742 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.71 c 2.5s| 1 | 2 | 179 | - |4648k| 0 | 51 | 231 |2742 | 231 |2587 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
176.83/176.98 c 173s| 10000 | 32 |297927 | 29.8 |6814k| 38 | 28 | 231 |7302 | 231 |2577 | 23 |6991 |2109 | 0.000000e+00 | -- | Inf
310.79/310.93 c 304s| 20000 | 20 |612836 | 30.6 |8393k| 41 | 49 | 231 | 11k| 231 |2577 | 23 | 14k|2435 | 0.000000e+00 | -- | Inf
450.94/451.18 c 441s| 30000 | 46 |926429 | 30.9 | 10M| 49 | - | 231 | 14k| 231 |2577 | 23 | 21k|3013 | 0.000000e+00 | -- | Inf
593.60/593.86 c 582s| 40000 | 20 | 1243k| 31.1 | 10M| 55 | - | 231 | 15k| 0 | 0 | 23 | 28k|3596 | 0.000000e+00 | -- | Inf
653.77/654.03 c
653.77/654.03 c SCIP Status : problem is solved [infeasible]
653.77/654.03 c Solving Time (sec) : 640.88
653.77/654.03 c Solving Nodes : 44442
653.77/654.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
653.77/654.03 c Dual Bound : +1.00000000000000e+20
653.77/654.03 c Gap : 0.00 %
653.77/654.03 s UNSATISFIABLE
653.77/654.03 c SCIP Status : problem is solved [infeasible]
653.77/654.03 c Solving Time : 640.88
653.77/654.03 c Original Problem :
653.77/654.03 c Problem name : HOME/instance-2667322-1276315658.opb
653.77/654.03 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
653.77/654.03 c Constraints : 2707 initial, 2707 maximal
653.77/654.03 c Presolved Problem :
653.77/654.03 c Problem name : t_HOME/instance-2667322-1276315658.opb
653.77/654.03 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
653.77/654.03 c Constraints : 2564 initial, 16735 maximal
653.77/654.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
653.77/654.03 c trivial : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c implics : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c probing : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c knapsack : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c setppc : 0.00 0 0 0 0 0 0 0 0
653.77/654.03 c linear : 0.03 0 0 0 0 0 143 0 0
653.77/654.03 c logicor : 0.02 0 0 0 0 0 0 0 0
653.77/654.03 c root node : - 0 - - 0 - - - -
653.77/654.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
653.77/654.03 c integral : 0 0 0 23277 0 104 1432 0 0 44736
653.77/654.03 c knapsack : 1 5 178661 0 0 218 78998 0 0 0
653.77/654.03 c setppc : 22 5 178567 0 0 1012 246612 0 0 0
653.77/654.03 c linear : 0+ 5 168417 0 0 7 1678 1 0 0
653.77/654.03 c logicor : 2541+ 5 82880 0 0 297 268297 0 0 0
653.77/654.03 c countsols : 0 0 0 0 0 0 0 0 0 0
653.77/654.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
653.77/654.03 c integral : 86.50 0.00 0.00 86.50 0.00
653.77/654.03 c knapsack : 1.37 0.00 1.37 0.00 0.00
653.77/654.03 c setppc : 3.45 0.00 3.45 0.00 0.00
653.77/654.03 c linear : 1.29 0.00 1.29 0.00 0.00
653.77/654.03 c logicor : 18.55 0.00 18.55 0.00 0.00
653.77/654.03 c countsols : 0.00 0.00 0.00 0.00 0.00
653.77/654.03 c Propagators : Time Calls Cutoffs DomReds
653.77/654.03 c vbounds : 0.13 1 0 0
653.77/654.03 c rootredcost : 0.15 0 0 0
653.77/654.03 c pseudoobj : 0.09 0 0 0
653.77/654.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
653.77/654.03 c propagation : 0.11 1534 1528 7654 20.0 31 15.0 -
653.77/654.03 c infeasible LP : 9.07 20721 20440 120330 30.9 110 18.4 0
653.77/654.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
653.77/654.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
653.77/654.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
653.77/654.03 c applied globally : - - - 30928 18.7 - - -
653.77/654.03 c applied locally : - - - 1191 33.8 - - -
653.77/654.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
653.77/654.03 c cut pool : 0.01 4 - - 80 - (maximal pool size: 334)
653.77/654.03 c redcost : 0.25 22519 0 0 0 0
653.77/654.03 c impliedbounds : 0.00 5 0 0 0 0
653.77/654.03 c intobj : 0.00 0 0 0 0 0
653.77/654.03 c cgmip : 0.00 0 0 0 0 0
653.77/654.03 c gomory : 0.77 5 0 0 1000 0
653.77/654.03 c strongcg : 0.59 5 0 0 1067 0
653.77/654.03 c cmir : 0.00 0 0 0 0 0
653.77/654.03 c flowcover : 0.00 0 0 0 0 0
653.77/654.03 c clique : 0.00 5 0 0 0 0
653.77/654.03 c zerohalf : 0.00 0 0 0 0 0
653.77/654.03 c mcf : 0.00 1 0 0 0 0
653.77/654.03 c rapidlearning : 0.21 1 0 0 0 178
653.77/654.03 c Pricers : Time Calls Vars
653.77/654.03 c problem variables: 0.00 0 0
653.77/654.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
653.77/654.03 c relpscost : 86.45 23277 104 1432 0 0 44736
653.77/654.03 c pscost : 0.00 0 0 0 0 0 0
653.77/654.03 c inference : 0.00 0 0 0 0 0 0
653.77/654.03 c mostinf : 0.00 0 0 0 0 0 0
653.77/654.03 c leastinf : 0.00 0 0 0 0 0 0
653.77/654.03 c fullstrong : 0.00 0 0 0 0 0 0
653.77/654.03 c allfullstrong : 0.00 0 0 0 0 0 0
653.77/654.03 c random : 0.00 0 0 0 0 0 0
653.77/654.03 c Primal Heuristics : Time Calls Found
653.77/654.03 c LP solutions : 0.00 - 0
653.77/654.03 c pseudo solutions : 0.00 - 0
653.77/654.03 c trivial : 0.00 1 0
653.77/654.03 c simplerounding : 0.00 0 0
653.77/654.03 c zirounding : 0.00 0 0
653.77/654.03 c rounding : 0.00 0 0
653.77/654.03 c shifting : 0.00 0 0
653.77/654.03 c intshifting : 0.00 0 0
653.77/654.03 c oneopt : 0.00 0 0
653.77/654.03 c twoopt : 0.00 0 0
653.77/654.03 c fixandinfer : 0.00 0 0
653.77/654.03 c feaspump : 0.00 0 0
653.77/654.03 c coefdiving : 0.00 0 0
653.77/654.03 c pscostdiving : 0.00 0 0
653.77/654.03 c fracdiving : 0.00 0 0
653.77/654.03 c veclendiving : 0.00 0 0
653.77/654.03 c intdiving : 0.00 0 0
653.77/654.03 c actconsdiving : 0.00 0 0
653.77/654.03 c objpscostdiving : 0.00 0 0
653.77/654.03 c rootsoldiving : 0.00 0 0
653.77/654.03 c linesearchdiving : 0.00 0 0
653.77/654.03 c guideddiving : 0.00 0 0
653.77/654.03 c octane : 0.00 0 0
653.77/654.03 c rens : 0.00 0 0
653.77/654.03 c rins : 0.00 0 0
653.77/654.03 c localbranching : 0.00 0 0
653.77/654.03 c mutation : 0.00 0 0
653.77/654.03 c crossover : 0.00 0 0
653.77/654.03 c dins : 0.00 0 0
653.77/654.03 c undercover : 0.00 0 0
653.77/654.03 c nlp : 0.00 0 0
653.77/654.03 c trysol : 0.00 0 0
653.77/654.03 c LP : Time Calls Iterations Iter/call Iter/sec
653.77/654.03 c primal LP : 0.00 0 0 0.00 -
653.77/654.03 c dual LP : 476.04 43912 1375066 31.31 2888.55
653.77/654.03 c lex dual LP : 0.00 0 0 0.00 -
653.77/654.03 c barrier LP : 0.00 0 0 0.00 -
653.77/654.03 c diving/probing LP: 0.00 0 0 0.00 -
653.77/654.03 c strong branching : 85.53 3833 236173 61.62 2761.29
653.77/654.03 c (at root node) : - 9 2030 225.56 -
653.77/654.03 c conflict analysis: 0.00 0 0 0.00 -
653.77/654.03 c B&B Tree :
653.77/654.03 c number of runs : 1
653.77/654.03 c nodes : 44442
653.77/654.03 c nodes (total) : 44442
653.77/654.03 c nodes left : 0
653.77/654.03 c max depth : 55
653.77/654.03 c max depth (total): 55
653.77/654.03 c backtracks : 4961 (11.2%)
653.77/654.03 c delayed cutoffs : 295
653.77/654.03 c repropagations : 77467 (87191 domain reductions, 285 cutoffs)
653.77/654.03 c avg switch length: 4.99
653.77/654.03 c switching time : 17.33
653.77/654.03 c Solution :
653.77/654.03 c Solutions found : 0 (0 improvements)
653.77/654.03 c Primal Bound : infeasible
653.77/654.03 c Dual Bound : -
653.77/654.03 c Gap : 0.00 %
653.77/654.03 c Root Dual Bound : +0.00000000000000e+00
653.77/654.03 c Root Iterations : 179
653.77/654.07 c Time complete: 653.85.
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-2667322-1276315658/watcher-2667322-1276315658 -o /tmp/evaluation-result-2667322-1276315658/solver-2667322-1276315658 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667322-1276315658.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 10119 /proc/meminfo: memFree=1417272/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=7724 CPUtime=0 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 7167175 7909376 962 1992294400 4194304 8223781 140733884766400 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10119/statm: 1931 971 348 984 0 944 0 [startup+0.080773 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10119 /proc/meminfo: memFree=1417272/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=15936 CPUtime=0.07 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 3385 0 0 0 6 1 0 0 20 0 1 0 7167175 16318464 2941 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 3984 2941 436 984 0 2997 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15936 [startup+0.101777 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10119 /proc/meminfo: memFree=1417272/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=16236 CPUtime=0.09 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 3734 0 0 0 7 2 0 0 20 0 1 0 7167175 16625664 3033 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 4059 3033 443 984 0 3072 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16236 [startup+0.300811 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10119 /proc/meminfo: memFree=1417272/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=29952 CPUtime=0.29 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 9845 0 0 0 24 5 0 0 20 0 1 0 7167175 30670848 6508 1992294400 4194304 8223781 140733884766400 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 7488 6509 570 984 0 6501 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29952 [startup+0.70088 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10119 /proc/meminfo: memFree=1417272/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=27256 CPUtime=0.69 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 13031 0 0 0 61 8 0 0 21 0 1 0 7167175 27910144 5966 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 6814 5966 583 984 0 5827 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27256 [startup+1.50102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10120 /proc/meminfo: memFree=1395192/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=27588 CPUtime=1.49 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 13102 0 0 0 139 10 0 0 23 0 1 0 7167175 28250112 6037 1992294400 4194304 8223781 140733884766400 18446744073709551615 6296693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 6897 6037 583 984 0 5910 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27588 [startup+3.10129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10120 /proc/meminfo: memFree=1395068/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=27632 CPUtime=3.09 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 13263 0 0 0 297 12 0 0 25 0 1 0 7167175 28295168 6088 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 6908 6088 584 984 0 5921 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27632 [startup+6.30184 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10120 /proc/meminfo: memFree=1394572/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=27632 CPUtime=6.29 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 13448 0 0 0 614 15 0 0 25 0 1 0 7167175 28295168 6088 1992294400 4194304 8223781 140733884766400 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 6908 6088 584 984 0 5921 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27632 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10120 /proc/meminfo: memFree=1394572/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=27632 CPUtime=12.69 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 13874 0 0 0 1247 22 0 0 25 0 1 0 7167175 28295168 6091 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 6908 6091 586 984 0 5921 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27632 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10122 /proc/meminfo: memFree=1394572/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=27632 CPUtime=25.48 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 13919 0 0 0 2514 34 0 0 25 0 1 0 7167175 28295168 6091 1992294400 4194304 8223781 140733884766400 18446744073709551615 6455212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 6908 6091 586 984 0 5921 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27632 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10122 /proc/meminfo: memFree=1394324/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=27632 CPUtime=51.07 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 24556 0 0 0 5034 73 0 0 25 0 1 0 7167175 28295168 6092 1992294400 4194304 8223781 140733884766400 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 6908 6092 587 984 0 5921 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27632 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10124 /proc/meminfo: memFree=1393704/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=28420 CPUtime=102.26 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 138905 0 0 0 10037 189 0 0 25 0 1 0 7167175 29102080 6267 1992294400 4194304 8223781 140733884766400 18446744073709551615 6329651 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 7105 6267 587 984 0 6118 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28420 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10124 /proc/meminfo: memFree=1392092/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=29764 CPUtime=162.23 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 267557 0 0 0 15885 338 0 0 25 0 1 0 7167175 30478336 6625 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 7441 6625 587 984 0 6454 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29764 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10126 /proc/meminfo: memFree=1391348/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=30448 CPUtime=222.22 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 400959 0 0 0 21747 475 0 0 25 0 1 0 7167175 31178752 6773 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 7612 6773 587 984 0 6625 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 30448 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10128 /proc/meminfo: memFree=1389736/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=31744 CPUtime=282.2 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 520149 0 0 0 27608 612 0 0 25 0 1 0 7167175 32505856 7120 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 7936 7120 587 984 0 6949 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31744 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10130 /proc/meminfo: memFree=1388496/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=33160 CPUtime=342.18 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 626952 0 0 0 33475 743 0 0 25 0 1 0 7167175 33955840 7474 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 8290 7474 587 984 0 7303 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33160 [startup+402.302 s] /proc/loadavg: 1.06 1.01 1.00 2/107 10135 /proc/meminfo: memFree=1387008/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=34264 CPUtime=402.16 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 718478 0 0 0 39351 865 0 0 25 0 1 0 7167175 35086336 7717 1992294400 4194304 8223781 140733884766400 18446744073709551615 6567509 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 8566 7717 587 984 0 7579 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 34264 [startup+462.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 10135 /proc/meminfo: memFree=1386512/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=34484 CPUtime=462.14 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 771097 0 0 0 45238 976 0 0 25 0 1 0 7167175 35311616 7787 1992294400 4194304 8223781 140733884766400 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 8621 7787 587 984 0 7634 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 34484 [startup+522.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10137 /proc/meminfo: memFree=1386140/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=35012 CPUtime=522.12 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 809627 0 0 0 51135 1077 0 0 25 0 1 0 7167175 35852288 7910 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 8753 7910 587 984 0 7766 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 35012 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10139 /proc/meminfo: memFree=1385148/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=35960 CPUtime=582.09 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 859943 0 0 0 57023 1186 0 0 25 0 1 0 7167175 36823040 8150 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 8990 8150 587 984 0 8003 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 35960 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=36656 CPUtime=642.09 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 874987 0 0 0 62938 1271 0 0 25 0 1 0 7167175 37535744 8320 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9164 8320 587 984 0 8177 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 36656 Solver just ended. Dumping a history of the last processes samples [startup+646.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=36784 CPUtime=646.08 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 877745 0 0 0 63332 1276 0 0 25 0 1 0 7167175 37666816 8352 1992294400 4194304 8223781 140733884766400 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9196 8352 587 984 0 8209 0 Current children cumulated CPU time (s) 646.08 Current children cumulated vsize (KiB) 36784 [startup+649.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=36756 CPUtime=649.28 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 880625 0 0 0 63647 1281 0 0 25 0 1 0 7167175 37638144 8324 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9189 8324 587 984 0 8202 0 Current children cumulated CPU time (s) 649.28 Current children cumulated vsize (KiB) 36756 [startup+651.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=36764 CPUtime=650.89 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 881724 0 0 0 63806 1283 0 0 25 0 1 0 7167175 37646336 8326 1992294400 4194304 8223781 140733884766400 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9191 8326 587 984 0 8204 0 Current children cumulated CPU time (s) 650.89 Current children cumulated vsize (KiB) 36764 [startup+652.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=36976 CPUtime=652.47 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 883796 0 0 0 63960 1287 0 0 25 0 1 0 7167175 37863424 8376 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9244 8376 587 984 0 8257 0 Current children cumulated CPU time (s) 652.47 Current children cumulated vsize (KiB) 36976 [startup+653.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=36876 CPUtime=653.27 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 885068 0 0 0 64039 1288 0 0 25 0 1 0 7167175 37761024 8356 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9219 8356 587 984 0 8232 0 Current children cumulated CPU time (s) 653.27 Current children cumulated vsize (KiB) 36876 [startup+653.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=37796 CPUtime=653.67 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 885617 0 0 0 64078 1289 0 0 25 0 1 0 7167175 38703104 8503 1992294400 4194304 8223781 140733884766400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9449 8503 587 984 0 8462 0 Current children cumulated CPU time (s) 653.67 Current children cumulated vsize (KiB) 37796 [startup+654.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10141 /proc/meminfo: memFree=1384156/2059040 swapFree=4192956/4192956 [pid=10119] ppid=10117 vsize=37364 CPUtime=653.77 /proc/10119/stat : 10119 (pbscip.linux.x8) R 10117 10119 8944 0 -1 4202496 885710 0 0 0 64088 1289 0 0 25 0 1 0 7167175 38260736 8476 1992294400 4194304 8223781 140733884766400 18446744073709551615 4998262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10119/statm: 9341 8476 587 984 0 8354 0 Current children cumulated CPU time (s) 653.77 Current children cumulated vsize (KiB) 37364 Child status: 0 Real time (s): 654.073 CPU time (s): 653.856 CPU user time (s): 640.954 CPU system time (s): 12.902 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 37796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 640.954 system time used= 12.902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 885727 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1914 runsolver used 1.06584 second user time and 3.11153 second system time The end
Begin job on node014 at 2010-06-12 06:07:38 IDJOB=2667322 IDBENCH=1368 IDSOLVER=1169 FILE ID=node014/2667322-1276315658 PBS_JOBID= 11173139 Free space on /tmp= 62464 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.1900564281.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-2667322-1276315658/watcher-2667322-1276315658 -o /tmp/evaluation-result-2667322-1276315658/solver-2667322-1276315658 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667322-1276315658.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0626939ca6144a564c8e59fb048e3266 RANDOM SEED=1157400605 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: 1417800 kB Buffers: 95412 kB Cached: 403004 kB SwapCached: 0 kB Active: 186736 kB Inactive: 371376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1417800 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4624 kB Writeback: 0 kB AnonPages: 59744 kB Mapped: 15444 kB Slab: 61240 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183540 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= 62460 MiB End job on node014 at 2010-06-12 06:18:32