| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | UNSAT | 1008.95 | 1009.35 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb |
| MD5SUM | 8170439ba832b251137a16b29cd20ba3 |
| 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 | 46.122 |
| 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 | 801 |
| 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: NONE] [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-2664428-1276302068.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.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
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.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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -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.15 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.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.89/4.92 c 4.6s| 10000 | 7151 | 0 | 0.0 |7377k| 91 | - | 231 |5028 | 0 | 0 | 0 |3791 | 0 | 0.000000e+00 | -- | Inf
10.68/10.79 c 10.2s| 20000 | 13998 | 0 | 0.0 | 12M| 91 | - | 231 |5872 | 0 | 0 | 0 |7472 | 0 | 0.000000e+00 | -- | Inf
17.39/17.46 c 16.6s| 30000 | 20770 | 0 | 0.0 | 16M| 91 | - | 231 |6987 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
26.88/26.94 c 25.8s| 40000 | 26029 | 0 | 0.0 | 21M| 91 | - | 231 |8288 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
41.47/41.53 c 40.0s| 50000 | 29259 | 0 | 0.0 | 26M| 91 | - | 231 | 10k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
58.96/59.07 c 57.2s| 60000 | 31810 | 0 | 0.0 | 30M| 91 | - | 231 | 10k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
73.46/73.55 c 71.4s| 70000 | 36758 | 0 | 0.0 | 35M| 91 | - | 231 | 11k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
90.45/90.59 c 88.2s| 80000 | 40948 | 0 | 0.0 | 40M| 91 | - | 231 | 12k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
109.74/109.86 c 107s| 90000 | 44555 | 0 | 0.0 | 45M| 91 | - | 231 | 13k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
131.74/131.81 c 129s|100000 | 47489 | 0 | 0.0 | 49M| 91 | - | 231 | 13k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
156.13/156.30 c 153s|110000 | 49747 | 0 | 0.0 | 54M| 91 | - | 231 | 14k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
182.43/182.59 c 179s|120000 | 51553 | 0 | 0.0 | 58M| 91 | - | 231 | 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
212.60/212.73 c 208s|130000 | 52416 | 0 | 0.0 | 62M| 91 | - | 231 | 16k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
246.00/246.12 c 241s|140000 | 52534 | 0 | 0.0 | 66M| 91 | - | 231 | 17k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
283.68/283.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.68/283.83 c 279s|150000 | 52122 | 0 | 0.0 | 68M| 91 | - | 231 | 19k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
328.96/329.18 c 324s|160000 | 50411 | 0 | 0.0 | 69M| 91 | - | 231 | 18k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
373.14/373.38 c 367s|170000 | 49819 | 0 | 0.0 | 73M| 91 | - | 231 | 19k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
429.31/429.56 c 423s|180000 | 47204 | 0 | 0.0 | 76M| 91 | - | 231 | 21k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
495.19/495.43 c 488s|190000 | 43170 | 0 | 0.0 | 77M| 91 | - | 231 | 23k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
567.28/567.57 c 560s|200000 | 38020 | 0 | 0.0 | 75M| 91 | - | 231 | 24k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
644.14/644.44 c 636s|210000 | 32414 | 0 | 0.0 | 72M| 91 | - | 231 | 25k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
719.02/719.38 c 711s|220000 | 26986 | 0 | 0.0 | 67M| 91 | - | 231 | 27k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
795.78/796.11 c 787s|230000 | 21182 | 0 | 0.0 | 61M| 91 | - | 231 | 31k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
911.73/912.15 c 902s|240000 | 10092 | 0 | 0.0 | 41M| 91 | - | 231 | 32k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1008.79/1009.23 c
1008.79/1009.23 c SCIP Status : problem is solved [infeasible]
1008.79/1009.23 c Solving Time (sec) : 998.51
1008.79/1009.23 c Solving Nodes : 248344
1008.79/1009.23 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1008.79/1009.23 c Dual Bound : +1.00000000000000e+20
1008.79/1009.23 c Gap : 0.00 %
1008.79/1009.23 s UNSATISFIABLE
1008.79/1009.23 c SCIP Status : problem is solved [infeasible]
1008.79/1009.23 c Solving Time : 998.51
1008.79/1009.23 c Original Problem :
1008.79/1009.23 c Problem name : HOME/instance-2664428-1276302068.opb
1008.79/1009.23 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1008.79/1009.23 c Constraints : 2707 initial, 2707 maximal
1008.79/1009.23 c Presolved Problem :
1008.79/1009.23 c Problem name : t_HOME/instance-2664428-1276302068.opb
1008.79/1009.23 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1008.79/1009.23 c Constraints : 2564 initial, 42138 maximal
1008.79/1009.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1008.79/1009.23 c trivial : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c dualfix : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c boundshift : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c implics : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c probing : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c knapsack : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c setppc : 0.00 0 0 0 0 0 0 0 0
1008.79/1009.23 c linear : 0.02 0 0 0 0 0 143 0 0
1008.79/1009.23 c logicor : 0.03 0 0 0 0 0 0 0 0
1008.79/1009.23 c root node : - 1 - - 1 - - - -
1008.79/1009.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1008.79/1009.23 c integral : 0 0 0 0 0 0 0 0 0 0
1008.79/1009.23 c knapsack : 1 0 1105847 0 156244 43515 3868877 0 0 0
1008.79/1009.23 c setppc : 22 0 1070077 0 156244 52157 1379684 0 0 0
1008.79/1009.23 c logicor : 2541+ 0 785753 0 156244 40432 3556621 0 0 0
1008.79/1009.23 c countsols : 0 0 0 0 156244 0 0 0 0 0
1008.79/1009.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1008.79/1009.23 c integral : 0.00 0.00 0.00 0.00 0.00
1008.79/1009.23 c knapsack : 26.93 0.00 26.18 0.00 0.75
1008.79/1009.23 c setppc : 16.30 0.00 14.40 0.00 1.90
1008.79/1009.23 c logicor : 522.51 0.00 500.98 0.00 21.53
1008.79/1009.23 c countsols : 0.04 0.00 0.00 0.00 0.04
1008.79/1009.23 c Propagators : Time Calls Cutoffs DomReds
1008.79/1009.23 c vbounds : 0.67 1 0 0
1008.79/1009.23 c rootredcost : 0.66 0 0 0
1008.79/1009.23 c pseudoobj : 0.49 0 0 0
1008.79/1009.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1008.79/1009.23 c propagation : 7.88 136104 136044 588997 16.0 2977 18.5 -
1008.79/1009.23 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1008.79/1009.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1008.79/1009.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1008.79/1009.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1008.79/1009.23 c applied globally : - - - 290296 13.1 - - -
1008.79/1009.23 c applied locally : - - - 1058 35.6 - - -
1008.79/1009.23 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1008.79/1009.23 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1008.79/1009.23 c redcost : 0.00 0 0 0 0 0
1008.79/1009.23 c impliedbounds : 0.00 0 0 0 0 0
1008.79/1009.23 c intobj : 0.00 0 0 0 0 0
1008.79/1009.23 c cgmip : 0.00 0 0 0 0 0
1008.79/1009.23 c gomory : 0.00 0 0 0 0 0
1008.79/1009.23 c strongcg : 0.00 0 0 0 0 0
1008.79/1009.23 c cmir : 0.00 0 0 0 0 0
1008.79/1009.23 c flowcover : 0.00 0 0 0 0 0
1008.79/1009.23 c clique : 0.00 0 0 0 0 0
1008.79/1009.23 c zerohalf : 0.00 0 0 0 0 0
1008.79/1009.23 c mcf : 0.00 0 0 0 0 0
1008.79/1009.23 c rapidlearning : 0.00 0 0 0 0 0
1008.79/1009.23 c Pricers : Time Calls Vars
1008.79/1009.23 c problem variables: 0.00 0 0
1008.79/1009.23 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1008.79/1009.23 c relpscost : 0.00 0 0 0 0 0 0
1008.79/1009.23 c pscost : 0.00 0 0 0 0 0 0
1008.79/1009.23 c inference : 4.49 156244 0 0 0 0 312488
1008.79/1009.23 c mostinf : 0.00 0 0 0 0 0 0
1008.79/1009.23 c leastinf : 0.00 0 0 0 0 0 0
1008.79/1009.23 c fullstrong : 0.00 0 0 0 0 0 0
1008.79/1009.23 c allfullstrong : 0.00 0 0 0 0 0 0
1008.79/1009.23 c random : 0.00 0 0 0 0 0 0
1008.79/1009.23 c Primal Heuristics : Time Calls Found
1008.79/1009.23 c LP solutions : 0.00 - 0
1008.79/1009.23 c pseudo solutions : 0.00 - 0
1008.79/1009.23 c trivial : 0.00 1 0
1008.79/1009.23 c simplerounding : 0.00 0 0
1008.79/1009.23 c zirounding : 0.00 0 0
1008.79/1009.23 c rounding : 0.00 0 0
1008.79/1009.23 c shifting : 0.00 0 0
1008.79/1009.23 c intshifting : 0.00 0 0
1008.79/1009.23 c oneopt : 0.00 0 0
1008.79/1009.23 c twoopt : 0.00 0 0
1008.79/1009.23 c fixandinfer : 0.00 0 0
1008.79/1009.23 c feaspump : 0.00 0 0
1008.79/1009.23 c coefdiving : 0.00 0 0
1008.79/1009.23 c pscostdiving : 0.00 0 0
1008.79/1009.23 c fracdiving : 0.00 0 0
1008.79/1009.23 c veclendiving : 0.00 0 0
1008.79/1009.23 c intdiving : 0.00 0 0
1008.79/1009.23 c actconsdiving : 0.00 0 0
1008.79/1009.23 c objpscostdiving : 0.00 0 0
1008.79/1009.23 c rootsoldiving : 0.00 0 0
1008.79/1009.23 c linesearchdiving : 0.00 0 0
1008.79/1009.23 c guideddiving : 0.00 0 0
1008.79/1009.23 c octane : 0.00 0 0
1008.79/1009.23 c rens : 0.00 0 0
1008.79/1009.23 c rins : 0.00 0 0
1008.79/1009.23 c localbranching : 0.00 0 0
1008.79/1009.23 c mutation : 0.00 0 0
1008.79/1009.23 c crossover : 0.00 0 0
1008.79/1009.23 c dins : 0.00 0 0
1008.79/1009.23 c undercover : 0.00 0 0
1008.79/1009.23 c nlp : 0.00 0 0
1008.79/1009.23 c trysol : 0.00 0 0
1008.79/1009.23 c LP : Time Calls Iterations Iter/call Iter/sec
1008.79/1009.23 c primal LP : 0.00 0 0 0.00 -
1008.79/1009.23 c dual LP : 0.00 0 0 0.00 -
1008.79/1009.23 c lex dual LP : 0.00 0 0 0.00 -
1008.79/1009.23 c barrier LP : 0.00 0 0 0.00 -
1008.79/1009.23 c diving/probing LP: 0.00 0 0 0.00 -
1008.79/1009.23 c strong branching : 0.00 0 0 0.00 -
1008.79/1009.23 c (at root node) : - 0 0 0.00 -
1008.79/1009.23 c conflict analysis: 0.00 0 0 0.00 -
1008.79/1009.23 c B&B Tree :
1008.79/1009.23 c number of runs : 1
1008.79/1009.23 c nodes : 248344
1008.79/1009.23 c nodes (total) : 248344
1008.79/1009.23 c nodes left : 0
1008.79/1009.23 c max depth : 91
1008.79/1009.23 c max depth (total): 91
1008.79/1009.23 c backtracks : 103211 (41.6%)
1008.79/1009.23 c delayed cutoffs : 64145
1008.79/1009.23 c repropagations : 355207 (2542260 domain reductions, 44004 cutoffs)
1008.79/1009.23 c avg switch length: 22.30
1008.79/1009.23 c switching time : 281.12
1008.79/1009.23 c Solution :
1008.79/1009.23 c Solutions found : 0 (0 improvements)
1008.79/1009.23 c Primal Bound : infeasible
1008.79/1009.23 c Dual Bound : -
1008.79/1009.23 c Gap : 0.00 %
1008.79/1009.23 c Root Dual Bound : +0.00000000000000e+00
1008.79/1009.23 c Root Iterations : 0
1008.90/1009.35 c Time complete: 1008.95.
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-2664428-1276302068/watcher-2664428-1276302068 -o /tmp/evaluation-result-2664428-1276302068/solver-2664428-1276302068 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664428-1276302068.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 3/106 7436 /proc/meminfo: memFree=1692932/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=6584 CPUtime=0 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 956 0 0 0 0 0 0 0 24 0 1 0 3863115 6742016 878 1992294400 4194304 7136930 140734501038464 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7436/statm: 1646 888 254 719 0 925 0 [startup+0.0921361 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7436 /proc/meminfo: memFree=1692932/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=14472 CPUtime=0.08 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 3533 0 0 0 6 2 0 0 24 0 1 0 3863115 14819328 2844 1992294400 4194304 7136930 140734501038464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 3618 2844 343 719 0 2897 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14472 [startup+0.101138 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7436 /proc/meminfo: memFree=1692932/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=14768 CPUtime=0.09 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 3614 0 0 0 7 2 0 0 24 0 1 0 3863115 15122432 2925 1992294400 4194304 7136930 140734501038464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 3692 2925 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.300174 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7436 /proc/meminfo: memFree=1692932/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=17076 CPUtime=0.29 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 6819 0 0 0 25 4 0 0 25 0 1 0 3863115 17485824 3560 1992294400 4194304 7136930 140734501038464 18446744073709551615 4696944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 4269 3560 391 719 0 3548 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17076 [startup+0.700249 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7436 /proc/meminfo: memFree=1692932/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=17608 CPUtime=0.69 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 6955 0 0 0 63 6 0 0 25 0 1 0 3863115 18030592 3696 1992294400 4194304 7136930 140734501038464 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 4402 3696 391 719 0 3681 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17608 [startup+1.5004 s] /proc/loadavg: 0.92 0.98 0.99 2/107 7437 /proc/meminfo: memFree=1678664/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=19124 CPUtime=1.49 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 7325 0 0 0 138 11 0 0 25 0 1 0 3863115 19582976 4066 1992294400 4194304 7136930 140734501038464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 4781 4066 391 719 0 4060 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19124 [startup+3.1007 s] /proc/loadavg: 0.92 0.98 0.99 2/107 7437 /proc/meminfo: memFree=1676804/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=21444 CPUtime=3.09 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 7925 0 0 0 290 19 0 0 25 0 1 0 3863115 21958656 4666 1992294400 4194304 7136930 140734501038464 18446744073709551615 4208924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 5361 4666 391 719 0 4640 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21444 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7437 /proc/meminfo: memFree=1672836/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=24420 CPUtime=6.29 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 8665 0 0 0 593 36 0 0 25 0 1 0 3863115 25006080 5406 1992294400 4194304 7136930 140734501038464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 6105 5406 391 719 0 5384 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24420 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7437 /proc/meminfo: memFree=1666396/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=30820 CPUtime=12.69 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 10278 0 0 0 1203 66 0 0 25 0 1 0 3863115 31559680 7019 1992294400 4194304 7136930 140734501038464 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 7705 7019 391 719 0 6984 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30820 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7439 /proc/meminfo: memFree=1656352/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=40484 CPUtime=25.48 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 12714 0 0 0 2442 106 0 0 25 0 1 0 3863115 41455616 9455 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 10121 9455 391 719 0 9400 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40484 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.99 2/107 7439 /proc/meminfo: memFree=1646060/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=51476 CPUtime=51.07 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 15443 0 0 0 4944 163 0 0 25 0 1 0 3863115 52711424 12184 1992294400 4194304 7136930 140734501038464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 12869 12184 391 719 0 12148 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 51476 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 7441 /proc/meminfo: memFree=1627088/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=69164 CPUtime=102.26 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 19893 0 0 0 9970 256 0 0 25 0 1 0 3863115 70823936 16634 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 17291 16634 391 719 0 16570 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 69164 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7441 /proc/meminfo: memFree=1610968/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=87412 CPUtime=162.23 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 24399 0 0 0 15877 346 0 0 25 0 1 0 3863115 89509888 21140 1992294400 4194304 7136930 140734501038464 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 21853 21140 391 719 0 21132 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 87412 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7443 /proc/meminfo: memFree=1599312/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=97108 CPUtime=222.2 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 26806 0 0 0 21795 425 0 0 25 0 1 0 3863115 99438592 23547 1992294400 4194304 7136930 140734501038464 18446744073709551615 5901988 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 24277 23547 391 719 0 23556 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 97108 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7445 /proc/meminfo: memFree=1594104/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=102616 CPUtime=282.18 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 28102 0 0 0 27720 498 0 0 25 0 1 0 3863115 105078784 24843 1992294400 4194304 7136930 140734501038464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 25654 24843 391 719 0 24933 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 102616 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7447 /proc/meminfo: memFree=1589640/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=107188 CPUtime=342.15 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 29203 0 0 0 33657 558 0 0 25 0 1 0 3863115 109760512 25944 1992294400 4194304 7136930 140734501038464 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 26797 25944 391 719 0 26076 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 107188 [startup+402.301 s] /proc/loadavg: 1.05 1.00 1.00 2/107 7449 /proc/meminfo: memFree=1582944/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=113776 CPUtime=402.13 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 30862 0 0 0 39599 614 0 0 25 0 1 0 3863115 116506624 27603 1992294400 4194304 7136930 140734501038464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 28444 27603 391 719 0 27723 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 113776 [startup+462.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 7449 /proc/meminfo: memFree=1578232/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=118484 CPUtime=462.1 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 32017 0 0 0 45553 657 0 0 25 0 1 0 3863115 121327616 28758 1992294400 4194304 7136930 140734501038464 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 29621 28758 391 719 0 28900 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 118484 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7451 /proc/meminfo: memFree=1576744/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=119940 CPUtime=522.09 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 32392 0 0 0 51508 701 0 0 25 0 1 0 3863115 122818560 29133 1992294400 4194304 7136930 140734501038464 18446744073709551615 4221616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 29985 29133 391 719 0 29264 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 119940 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7453 /proc/meminfo: memFree=1575132/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=121548 CPUtime=582.06 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 32772 0 0 0 57462 744 0 0 25 0 1 0 3863115 124465152 29513 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 30387 29513 391 719 0 29666 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 121548 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7455 /proc/meminfo: memFree=1574264/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=122336 CPUtime=642.04 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 32973 0 0 0 63417 787 0 0 25 0 1 0 3863115 125272064 29714 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 30584 29714 391 719 0 29863 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 122336 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7457 /proc/meminfo: memFree=1573644/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=122704 CPUtime=702.01 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33073 0 0 0 69371 830 0 0 25 0 1 0 3863115 125648896 29814 1992294400 4194304 7136930 140734501038464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 30676 29814 391 719 0 29955 0 Current children cumulated CPU time (s) 702.01 Current children cumulated vsize (KiB) 122704 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7457 /proc/meminfo: memFree=1572032/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=124384 CPUtime=762 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33466 0 0 0 75321 879 0 0 25 0 1 0 3863115 127369216 30207 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31096 30207 391 719 0 30375 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 124384 [startup+822.301 s] /proc/loadavg: 1.08 1.02 1.01 2/107 7459 /proc/meminfo: memFree=1571412/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=125272 CPUtime=821.97 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33604 0 0 0 81278 919 0 0 25 0 1 0 3863115 128278528 30345 1992294400 4194304 7136930 140734501038464 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31318 30345 391 719 0 30597 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 125272 [startup+882.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 7461 /proc/meminfo: memFree=1571040/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=125696 CPUtime=881.95 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33697 0 0 0 87245 950 0 0 25 0 1 0 3863115 128712704 30438 1992294400 4194304 7136930 140734501038464 18446744073709551615 5901115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31424 30438 391 719 0 30703 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 125696 [startup+942.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 7463 /proc/meminfo: memFree=1570668/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=125880 CPUtime=941.93 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33762 0 0 0 93206 987 0 0 25 0 1 0 3863115 128901120 30503 1992294400 4194304 7136930 140734501038464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31470 30503 391 719 0 30749 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 125880 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7465 /proc/meminfo: memFree=1570296/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=126092 CPUtime=1001.89 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33842 0 0 0 99167 1022 0 0 25 0 1 0 3863115 129118208 30583 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31523 30583 391 719 0 30802 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 126092 Solver just ended. Dumping a history of the last processes samples [startup+1004.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7465 /proc/meminfo: memFree=1570296/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=126336 CPUtime=1004.3 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33875 0 0 0 99406 1024 0 0 25 0 1 0 3863115 129368064 30616 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31584 30616 391 719 0 30863 0 Current children cumulated CPU time (s) 1004.3 Current children cumulated vsize (KiB) 126336 [startup+1007.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7465 /proc/meminfo: memFree=1570172/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=126336 CPUtime=1007.49 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33876 0 0 0 99723 1026 0 0 25 0 1 0 3863115 129368064 30617 1992294400 4194304 7136930 140734501038464 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31584 30617 391 719 0 30863 0 Current children cumulated CPU time (s) 1007.49 Current children cumulated vsize (KiB) 126336 [startup+1008.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7465 /proc/meminfo: memFree=1570172/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=126336 CPUtime=1008.3 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33877 0 0 0 99804 1026 0 0 25 0 1 0 3863115 129368064 30618 1992294400 4194304 7136930 140734501038464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31584 30618 391 719 0 30863 0 Current children cumulated CPU time (s) 1008.3 Current children cumulated vsize (KiB) 126336 [startup+1009.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7465 /proc/meminfo: memFree=1570172/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=126336 CPUtime=1008.69 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33877 0 0 0 99843 1026 0 0 25 0 1 0 3863115 129368064 30618 1992294400 4194304 7136930 140734501038464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7436/statm: 31584 30618 391 719 0 30863 0 Current children cumulated CPU time (s) 1008.69 Current children cumulated vsize (KiB) 126336 [startup+1009.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7465 /proc/meminfo: memFree=1570172/2059040 swapFree=4192956/4192956 [pid=7436] ppid=7434 vsize=125604 CPUtime=1008.9 /proc/7436/stat : 7436 (pbscip.linux.x8) R 7434 7436 6791 0 -1 4202496 33946 0 0 0 99863 1027 0 0 25 0 1 0 3863115 128618496 30430 1992294400 4194304 7136930 140734501038464 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7436/statm: 31401 30430 396 719 0 30680 0 Current children cumulated CPU time (s) 1008.9 Current children cumulated vsize (KiB) 125604 Child status: 0 Real time (s): 1009.35 CPU time (s): 1008.95 CPU user time (s): 998.671 CPU system time (s): 10.2834 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 126336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 998.671 system time used= 10.2834 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33953 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= 3573 runsolver used 1.56976 second user time and 4.86626 second system time The end
Begin job on node019 at 2010-06-12 02:21:08 IDJOB=2664428 IDBENCH=1330 IDSOLVER=1167 FILE ID=node019/2664428-1276302068 PBS_JOBID= 11173127 Free space on /tmp= 62356 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664428-1276302068/watcher-2664428-1276302068 -o /tmp/evaluation-result-2664428-1276302068/solver-2664428-1276302068 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664428-1276302068.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8170439ba832b251137a16b29cd20ba3 RANDOM SEED=2115344000 node019.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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1693460 kB Buffers: 69016 kB Cached: 170120 kB SwapCached: 0 kB Active: 133804 kB Inactive: 164440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1693460 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 59112 kB Mapped: 15388 kB Slab: 45636 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182436 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= 62352 MiB End job on node019 at 2010-06-12 02:37:57