| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 1638.76 | 1639.27 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb |
| MD5SUM | 608a9740e0756eec3b8d3bf2dd1f591f |
| 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 | 36.6784 |
| 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 | 765 |
| 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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665848-1276298933.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.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 # 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 | 65 | - |3551k| 0 | 39 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.4s| 1 | 0 | 124 | - |3909k| 0 | 45 | 231 |2762 | 231 |2574 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 c 0.6s| 1 | 0 | 306 | - |4566k| 0 | 60 | 231 |2762 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.24 c 1.1s| 1 | 0 | 771 | - |4919k| 0 | 63 | 231 |2762 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.59 c 1.4s| 1 | 0 | 876 | - |5636k| 0 | 84 | 231 |2762 | 231 |2591 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
2.10/2.16 c 2.0s| 1 | 0 | 1120 | - |6406k| 0 | 77 | 231 |2762 | 231 |2596 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
5.50/5.59 c 5.4s| 1 | 2 | 1120 | - |6407k| 0 | 77 | 231 |2762 | 231 |2596 | 32 | 0 | 10 | 0.000000e+00 | -- | Inf
228.22/228.30 c 224s| 10000 | 40 |493821 | 49.3 |7885k| 40 | 29 | 231 |5674 | 231 |2574 | 32 |4500 |1762 | 0.000000e+00 | -- | Inf
397.77/397.91 c 389s| 20000 | 24 |966205 | 48.3 |8534k| 46 | 39 | 231 |7104 | 231 |2574 | 32 |9062 |2223 | 0.000000e+00 | -- | Inf
574.61/574.90 c 561s| 30000 | 8 | 1444k| 48.1 |9130k| 46 | 33 | 231 |8488 | 231 |2574 | 32 | 13k|2900 | 0.000000e+00 | -- | Inf
750.47/750.73 c 732s| 40000 | 31 | 1922k| 48.0 |9172k| 46 | 39 | 231 |8090 | 231 |2574 | 32 | 17k|3509 | 0.000000e+00 | -- | Inf
918.62/918.96 c 895s| 50000 | 17 | 2389k| 47.8 |9951k| 46 | 36 | 231 |9908 | 231 |2574 | 32 | 22k|3939 | 0.000000e+00 | -- | Inf
1094.46/1094.84 c 1066s| 60000 | 43 | 2882k| 48.0 | 11M| 46 | 26 | 231 | 12k| 231 |2574 | 32 | 26k|4295 | 0.000000e+00 | -- | Inf
1274.81/1275.26 c 1242s| 70000 | 16 | 3385k| 48.4 | 10M| 48 | 43 | 231 | 10k| 231 |2574 | 32 | 31k|4699 | 0.000000e+00 | -- | Inf
1466.44/1466.91 c 1429s| 80000 | 61 | 3935k| 49.2 | 10M| 56 | - | 231 | 11k| 231 |2574 | 32 | 35k|5098 | 0.000000e+00 | -- | Inf
1638.68/1639.23 c
1638.68/1639.23 c SCIP Status : problem is solved [infeasible]
1638.68/1639.23 c Solving Time (sec) : 1596.81
1638.68/1639.23 c Solving Nodes : 89050
1638.68/1639.23 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1638.68/1639.23 c Dual Bound : +1.00000000000000e+20
1638.68/1639.23 c Gap : 0.00 %
1638.68/1639.24 s UNSATISFIABLE
1638.68/1639.24 c SCIP Status : problem is solved [infeasible]
1638.68/1639.24 c Solving Time : 1596.81
1638.68/1639.24 c Original Problem :
1638.68/1639.24 c Problem name : HOME/instance-2665848-1276298933.opb
1638.68/1639.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1638.68/1639.24 c Constraints : 2707 initial, 2707 maximal
1638.68/1639.24 c Presolved Problem :
1638.68/1639.24 c Problem name : t_HOME/instance-2665848-1276298933.opb
1638.68/1639.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1638.68/1639.24 c Constraints : 2564 initial, 12658 maximal
1638.68/1639.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1638.68/1639.24 c trivial : 0.00 0 0 0 0 0 0 0 0
1638.68/1639.24 c dualfix : 0.00 0 0 0 0 0 0 0 0
1638.68/1639.24 c boundshift : 0.00 0 0 0 0 0 0 0 0
1638.68/1639.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1638.68/1639.24 c implics : 0.00 0 0 0 0 0 0 0 0
1638.68/1639.24 c probing : 0.00 0 0 0 0 0 0 0 0
1638.68/1639.24 c knapsack : 0.01 0 0 0 0 0 0 0 0
1638.68/1639.24 c setppc : 0.01 0 0 0 0 0 0 0 0
1638.68/1639.24 c linear : 0.02 0 0 0 0 0 143 0 0
1638.68/1639.24 c logicor : 0.00 0 0 0 0 0 0 0 0
1638.68/1639.24 c root node : - 2 - - 2 - - - -
1638.68/1639.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1638.68/1639.24 c integral : 0 0 0 46210 0 213 2039 0 0 89552
1638.68/1639.24 c knapsack : 1 5 281316 0 0 519 144104 0 0 0
1638.68/1639.24 c setppc : 22 5 280977 0 0 1668 467271 0 0 0
1638.68/1639.24 c linear : 0+ 5 220989 0 0 11 3605 4 0 0
1638.68/1639.24 c logicor : 2541+ 5 159891 0 0 633 542535 0 0 0
1638.68/1639.24 c countsols : 0 0 0 0 0 0 0 0 0 0
1638.68/1639.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1638.68/1639.24 c integral : 148.24 0.00 0.00 148.24 0.00
1638.68/1639.24 c knapsack : 2.68 0.00 2.68 0.00 0.00
1638.68/1639.24 c setppc : 4.48 0.00 4.48 0.00 0.00
1638.68/1639.24 c linear : 1.55 0.00 1.55 0.00 0.00
1638.68/1639.24 c logicor : 27.13 0.00 27.13 0.00 0.00
1638.68/1639.24 c countsols : 0.00 0.00 0.00 0.00 0.00
1638.68/1639.24 c Propagators : Time Calls Cutoffs DomReds
1638.68/1639.24 c vbounds : 0.23 1 0 0
1638.68/1639.24 c rootredcost : 0.14 0 0 0
1638.68/1639.24 c pseudoobj : 0.19 0 0 0
1638.68/1639.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1638.68/1639.24 c propagation : 0.25 2831 2820 14554 22.9 54 22.2 -
1638.68/1639.24 c infeasible LP : 16.20 41733 30264 174536 35.8 137 15.9 0
1638.68/1639.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1638.68/1639.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1638.68/1639.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1638.68/1639.24 c applied globally : - - - 37473 20.0 - - -
1638.68/1639.24 c applied locally : - - - 2409 33.9 - - -
1638.68/1639.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1638.68/1639.24 c cut pool : 0.00 4 - - 39 - (maximal pool size: 655)
1638.68/1639.24 c redcost : 0.45 45061 0 0 0 0
1638.68/1639.24 c impliedbounds : 0.00 5 0 0 0 0
1638.68/1639.24 c intobj : 0.00 0 0 0 0 0
1638.68/1639.24 c cgmip : 0.00 0 0 0 0 0
1638.68/1639.24 c gomory : 0.77 5 0 0 2051 0
1638.68/1639.24 c strongcg : 0.49 5 0 0 2500 0
1638.68/1639.24 c cmir : 0.00 0 0 0 0 0
1638.68/1639.24 c flowcover : 0.00 0 0 0 0 0
1638.68/1639.24 c clique : 0.00 5 0 0 0 0
1638.68/1639.24 c zerohalf : 0.00 0 0 0 0 0
1638.68/1639.24 c mcf : 0.01 1 0 0 0 0
1638.68/1639.24 c rapidlearning : 0.20 1 0 0 0 198
1638.68/1639.24 c Pricers : Time Calls Vars
1638.68/1639.24 c problem variables: 0.00 0 0
1638.68/1639.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1638.68/1639.24 c relpscost : 148.11 46210 213 2039 0 0 89552
1638.68/1639.24 c pscost : 0.00 0 0 0 0 0 0
1638.68/1639.24 c inference : 0.00 0 0 0 0 0 0
1638.68/1639.24 c mostinf : 0.00 0 0 0 0 0 0
1638.68/1639.24 c leastinf : 0.00 0 0 0 0 0 0
1638.68/1639.24 c fullstrong : 0.00 0 0 0 0 0 0
1638.68/1639.24 c allfullstrong : 0.00 0 0 0 0 0 0
1638.68/1639.24 c random : 0.00 0 0 0 0 0 0
1638.68/1639.24 c Primal Heuristics : Time Calls Found
1638.68/1639.24 c LP solutions : 0.00 - 0
1638.68/1639.24 c pseudo solutions : 0.00 - 0
1638.68/1639.24 c trivial : 0.01 1 0
1638.68/1639.24 c simplerounding : 0.00 0 0
1638.68/1639.24 c zirounding : 0.00 0 0
1638.68/1639.24 c rounding : 0.00 0 0
1638.68/1639.24 c shifting : 0.00 0 0
1638.68/1639.24 c intshifting : 0.00 0 0
1638.68/1639.24 c oneopt : 0.00 0 0
1638.68/1639.24 c twoopt : 0.00 0 0
1638.68/1639.24 c fixandinfer : 0.00 0 0
1638.68/1639.24 c feaspump : 0.00 0 0
1638.68/1639.24 c coefdiving : 0.00 0 0
1638.68/1639.24 c pscostdiving : 0.00 0 0
1638.68/1639.24 c fracdiving : 0.00 0 0
1638.68/1639.24 c veclendiving : 0.00 0 0
1638.68/1639.24 c intdiving : 0.00 0 0
1638.68/1639.24 c actconsdiving : 0.00 0 0
1638.68/1639.24 c objpscostdiving : 0.00 0 0
1638.68/1639.24 c rootsoldiving : 0.00 0 0
1638.68/1639.24 c linesearchdiving : 0.00 0 0
1638.68/1639.24 c guideddiving : 0.00 0 0
1638.68/1639.24 c octane : 0.00 0 0
1638.68/1639.24 c rens : 0.00 0 0
1638.68/1639.24 c rins : 0.00 0 0
1638.68/1639.24 c localbranching : 0.00 0 0
1638.68/1639.24 c mutation : 0.00 0 0
1638.68/1639.24 c crossover : 0.00 0 0
1638.68/1639.24 c dins : 0.00 0 0
1638.68/1639.24 c undercover : 0.00 0 0
1638.68/1639.24 c nlp : 0.00 0 0
1638.68/1639.24 c trysol : 0.00 0 0
1638.68/1639.24 c LP : Time Calls Iterations Iter/call Iter/sec
1638.68/1639.24 c primal LP : 0.01 0 0 0.00 0.00
1638.68/1639.24 c dual LP : 1331.05 87877 4436128 50.48 3332.80
1638.68/1639.24 c lex dual LP : 0.00 0 0 0.00 -
1638.68/1639.24 c barrier LP : 0.00 0 0 0.00 -
1638.68/1639.24 c diving/probing LP: 0.00 0 0 0.00 -
1638.68/1639.24 c strong branching : 146.26 5355 517859 96.71 3540.67
1638.68/1639.24 c (at root node) : - 10 7150 715.00 -
1638.68/1639.24 c conflict analysis: 0.00 0 0 0.00 -
1638.68/1639.24 c B&B Tree :
1638.68/1639.24 c number of runs : 1
1638.68/1639.24 c nodes : 89050
1638.68/1639.24 c nodes (total) : 89050
1638.68/1639.24 c nodes left : 0
1638.68/1639.24 c max depth : 56
1638.68/1639.24 c max depth (total): 56
1638.68/1639.24 c backtracks : 10577 (11.9%)
1638.68/1639.24 c delayed cutoffs : 503
1638.68/1639.24 c repropagations : 89582 (140057 domain reductions, 503 cutoffs)
1638.68/1639.24 c avg switch length: 3.91
1638.68/1639.24 c switching time : 25.82
1638.68/1639.24 c Solution :
1638.68/1639.24 c Solutions found : 0 (0 improvements)
1638.68/1639.24 c Primal Bound : infeasible
1638.68/1639.24 c Dual Bound : -
1638.68/1639.24 c Gap : 0.00 %
1638.68/1639.24 c Root Dual Bound : +0.00000000000000e+00
1638.68/1639.24 c Root Iterations : 1120
1638.68/1639.27 c Time complete: 1638.75.
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-2665848-1276298933/watcher-2665848-1276298933 -o /tmp/evaluation-result-2665848-1276298933/solver-2665848-1276298933 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665848-1276298933.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 6887 /proc/meminfo: memFree=1540980/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=9288 CPUtime=0 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 1073 0 0 0 0 0 0 0 18 0 1 0 5496993 9510912 993 1992294400 4194304 9819077 140734415217888 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6887/statm: 2322 1005 371 1374 0 943 0 [startup+0.0134921 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6887 /proc/meminfo: memFree=1540980/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=10696 CPUtime=0 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 1611 0 0 0 0 0 0 0 18 0 1 0 5496993 10952704 1531 1992294400 4194304 9819077 140734415217888 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6887/statm: 2674 1531 386 1374 0 1295 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10696 [startup+0.101502 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6887 /proc/meminfo: memFree=1540980/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=17480 CPUtime=0.09 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 3764 0 0 0 8 1 0 0 21 0 1 0 5496993 17899520 3073 1992294400 4194304 9819077 140734415217888 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 4370 3073 489 1374 0 2991 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17480 [startup+0.301526 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6887 /proc/meminfo: memFree=1540980/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38152 CPUtime=0.29 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 12194 0 0 0 23 6 0 0 21 0 1 0 5496993 39067648 7341 1992294400 4194304 9819077 140734415217888 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9281 7341 668 1374 0 7902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38152 [startup+0.70157 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6887 /proc/meminfo: memFree=1540980/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=29368 CPUtime=0.69 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 13254 0 0 0 62 7 0 0 22 0 1 0 5496993 30072832 6204 1992294400 4194304 9819077 140734415217888 18446744073709551615 7481032 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 7342 6204 692 1374 0 5963 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29368 [startup+1.50166 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6888 /proc/meminfo: memFree=1518528/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=32436 CPUtime=1.49 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 14027 0 0 0 141 8 0 0 25 0 1 0 5496993 33214464 6957 1992294400 4194304 9819077 140734415217888 18446744073709551615 7308893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 8109 6957 692 1374 0 6730 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32436 [startup+3.10185 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6888 /proc/meminfo: memFree=1512452/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=39860 CPUtime=3.09 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 16268 0 0 0 300 9 0 0 25 0 1 0 5496993 40816640 7785 1992294400 4194304 9819077 140734415217888 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9965 7785 700 1374 0 8586 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39860 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6888 /proc/meminfo: memFree=1511832/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38396 CPUtime=6.28 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 20524 0 0 0 616 12 0 0 25 0 1 0 5496993 39317504 7733 1992294400 4194304 9819077 140734415217888 18446744073709551615 6201802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9599 7733 707 1374 0 8220 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38396 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6890 /proc/meminfo: memFree=1511708/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38672 CPUtime=12.69 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 29662 0 0 0 1247 22 0 0 25 0 1 0 5496993 39600128 7758 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9668 7758 720 1374 0 8289 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38672 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6890 /proc/meminfo: memFree=1511832/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38736 CPUtime=25.48 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 48625 0 0 0 2510 38 0 0 25 0 1 0 5496993 39665664 7772 1992294400 4194304 9819077 140734415217888 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9684 7772 723 1374 0 8305 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38736 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 6890 /proc/meminfo: memFree=1511832/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=36184 CPUtime=51.08 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 89368 0 0 0 5030 78 0 0 25 0 1 0 5496993 37052416 7784 1992294400 4194304 9819077 140734415217888 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9046 7784 724 1374 0 7667 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36184 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 6892 /proc/meminfo: memFree=1511584/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=36496 CPUtime=102.26 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 193229 0 0 0 10057 169 0 0 25 0 1 0 5496993 37371904 7789 1992294400 4194304 9819077 140734415217888 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9124 7789 724 1374 0 7745 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36496 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6894 /proc/meminfo: memFree=1511460/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=37052 CPUtime=162.24 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 358479 0 0 0 15930 294 0 0 25 0 1 0 5496993 37941248 7784 1992294400 4194304 9819077 140734415217888 18446744073709551615 7289233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9263 7784 724 1374 0 7884 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37052 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6894 /proc/meminfo: memFree=1511460/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=37492 CPUtime=222.22 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 553419 0 0 0 21783 439 0 0 25 0 1 0 5496993 38391808 7853 1992294400 4194304 9819077 140734415217888 18446744073709551615 7291732 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9373 7853 724 1374 0 7994 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 37492 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6896 /proc/meminfo: memFree=1511212/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38032 CPUtime=282.21 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 774060 0 0 0 27640 581 0 0 25 0 1 0 5496993 38944768 7895 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9508 7895 724 1374 0 8129 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 38032 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6898 /proc/meminfo: memFree=1511088/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38176 CPUtime=342.18 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 1037715 0 0 0 33473 745 0 0 25 0 1 0 5496993 39092224 7871 1992294400 4194304 9819077 140734415217888 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9544 7871 724 1374 0 8165 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 38176 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6900 /proc/meminfo: memFree=1510964/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=37972 CPUtime=402.16 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 1303218 0 0 0 39312 904 0 0 25 0 1 0 5496993 38883328 7868 1992294400 4194304 9819077 140734415217888 18446744073709551615 6591451 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9493 7868 724 1374 0 8114 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 37972 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6902 /proc/meminfo: memFree=1510964/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38236 CPUtime=462.15 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 1582377 0 0 0 45136 1079 0 0 25 0 1 0 5496993 39153664 7887 1992294400 4194304 9819077 140734415217888 18446744073709551615 4208928 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9559 7887 724 1374 0 8180 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 38236 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6902 /proc/meminfo: memFree=1510840/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38560 CPUtime=522.13 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 1853530 0 0 0 50970 1243 0 0 25 0 1 0 5496993 39485440 7967 1992294400 4194304 9819077 140734415217888 18446744073709551615 7312537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9640 7967 724 1374 0 8261 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 38560 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6904 /proc/meminfo: memFree=1509724/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=38736 CPUtime=582.11 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 2119286 0 0 0 56810 1401 0 0 25 0 1 0 5496993 39665664 8209 1992294400 4194304 9819077 140734415217888 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9684 8209 724 1374 0 8305 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 38736 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6906 /proc/meminfo: memFree=1509228/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=39672 CPUtime=642.1 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 2393762 0 0 0 62639 1571 0 0 25 0 1 0 5496993 40624128 8252 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 9918 8252 724 1374 0 8539 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 39672 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1506872/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=41760 CPUtime=1061.97 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 4289867 0 0 0 103479 2718 0 0 25 0 1 0 5496993 42762240 8753 1992294400 4194304 9819077 140734415217888 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10440 8753 724 1374 0 9061 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 41760 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6918 /proc/meminfo: memFree=1506748/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=41808 CPUtime=1121.95 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 4543963 0 0 0 109324 2871 0 0 25 0 1 0 5496993 42811392 8794 1992294400 4194304 9819077 140734415217888 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10452 8794 724 1374 0 9073 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 41808 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6920 /proc/meminfo: memFree=1506376/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42160 CPUtime=1181.94 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 4794688 0 0 0 115167 3027 0 0 25 0 1 0 5496993 43171840 8870 1992294400 4194304 9819077 140734415217888 18446744073709551615 5907117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10540 8870 724 1374 0 9161 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 42160 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6922 /proc/meminfo: memFree=1506128/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42192 CPUtime=1241.92 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 5050952 0 0 0 121007 3185 0 0 25 0 1 0 5496993 43204608 8893 1992294400 4194304 9819077 140734415217888 18446744073709551615 7291568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10548 8893 724 1374 0 9169 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 42192 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6924 /proc/meminfo: memFree=1506128/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42160 CPUtime=1301.9 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 5317670 0 0 0 126840 3350 0 0 25 0 1 0 5496993 43171840 8884 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10540 8884 724 1374 0 9161 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 42160 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6926 /proc/meminfo: memFree=1506128/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42132 CPUtime=1361.88 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 5561808 0 0 0 132694 3494 0 0 25 0 1 0 5496993 43143168 8872 1992294400 4194304 9819077 140734415217888 18446744073709551615 6822897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10533 8872 724 1374 0 9154 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 42132 [startup+1422.31 s] /proc/loadavg: 1.07 1.00 1.00 2/107 6926 /proc/meminfo: memFree=1506004/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=41388 CPUtime=1421.86 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 5803224 0 0 0 138542 3644 0 0 25 0 1 0 5496993 42381312 8866 1992294400 4194304 9819077 140734415217888 18446744073709551615 7284731 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10347 8866 724 1374 0 8968 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 41388 [startup+1482.3 s] /proc/loadavg: 1.02 1.00 1.00 2/107 6928 /proc/meminfo: memFree=1506128/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42168 CPUtime=1481.84 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6052823 0 0 0 144389 3795 0 0 25 0 1 0 5496993 43180032 8891 1992294400 4194304 9819077 140734415217888 18446744073709551615 7295939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10542 8891 724 1374 0 9163 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 42168 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 6930 /proc/meminfo: memFree=1505632/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42428 CPUtime=1541.82 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6292897 0 0 0 150244 3938 0 0 25 0 1 0 5496993 43446272 8940 1992294400 4194304 9819077 140734415217888 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10607 8940 724 1374 0 9228 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 42428 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42424 CPUtime=1601.8 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6545534 0 0 0 156092 4088 0 0 25 0 1 0 5496993 43442176 8935 1992294400 4194304 9819077 140734415217888 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10606 8935 724 1374 0 9227 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 42424 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42452 CPUtime=1612.19 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6590826 0 0 0 157103 4116 0 0 25 0 1 0 5496993 43470848 8952 1992294400 4194304 9819077 140734415217888 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10613 8952 724 1374 0 9234 0 Current children cumulated CPU time (s) 1612.19 Current children cumulated vsize (KiB) 42452 [startup+1625.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=45440 CPUtime=1624.98 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6643746 0 0 0 158349 4149 0 0 25 0 1 0 5496993 46530560 9079 1992294400 4194304 9819077 140734415217888 18446744073709551615 7292327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 11360 9079 724 1374 0 9981 0 Current children cumulated CPU time (s) 1624.98 Current children cumulated vsize (KiB) 45440 [startup+1631.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42392 CPUtime=1631.38 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6672042 0 0 0 158970 4168 0 0 25 0 1 0 5496993 43409408 8953 1992294400 4194304 9819077 140734415217888 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10598 8953 724 1374 0 9219 0 Current children cumulated CPU time (s) 1631.38 Current children cumulated vsize (KiB) 42392 [startup+1635.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42452 CPUtime=1634.58 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6686081 0 0 0 159282 4176 0 0 25 0 1 0 5496993 43470848 8932 1992294400 4194304 9819077 140734415217888 18446744073709551615 7317712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10613 8932 724 1374 0 9234 0 Current children cumulated CPU time (s) 1634.58 Current children cumulated vsize (KiB) 42452 [startup+1636.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42392 CPUtime=1636.19 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6692899 0 0 0 159440 4179 0 0 25 0 1 0 5496993 43409408 8939 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10598 8939 724 1374 0 9219 0 Current children cumulated CPU time (s) 1636.19 Current children cumulated vsize (KiB) 42392 [startup+1638.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42492 CPUtime=1637.78 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6699918 0 0 0 159595 4183 0 0 25 0 1 0 5496993 43511808 8934 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10623 8934 724 1374 0 9244 0 Current children cumulated CPU time (s) 1637.78 Current children cumulated vsize (KiB) 42492 [startup+1638.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42456 CPUtime=1638.17 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6701525 0 0 0 159634 4183 0 0 25 0 1 0 5496993 43474944 8934 1992294400 4194304 9819077 140734415217888 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10614 8934 724 1374 0 9235 0 Current children cumulated CPU time (s) 1638.17 Current children cumulated vsize (KiB) 42456 [startup+1639.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42456 CPUtime=1638.58 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6703437 0 0 0 159673 4185 0 0 25 0 1 0 5496993 43474944 8948 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10614 8948 724 1374 0 9235 0 Current children cumulated CPU time (s) 1638.58 Current children cumulated vsize (KiB) 42456 [startup+1639.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6932 /proc/meminfo: memFree=1505756/2059040 swapFree=4192956/4192956 [pid=6887] ppid=6885 vsize=42488 CPUtime=1638.68 /proc/6887/stat : 6887 (pbscip.linux.x8) R 6885 6887 6335 0 -1 4202496 6703947 0 0 0 159682 4186 0 0 25 0 1 0 5496993 43507712 8943 1992294400 4194304 9819077 140734415217888 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6887/statm: 10622 8943 724 1374 0 9243 0 Current children cumulated CPU time (s) 1638.68 Current children cumulated vsize (KiB) 42488 Child status: 0 Real time (s): 1639.27 CPU time (s): 1638.76 CPU user time (s): 1596.89 CPU system time (s): 41.8666 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 45624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1596.89 system time used= 41.8666 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6704205 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= 1997 runsolver used 2.76958 second user time and 7.67383 second system time The end
Begin job on node006 at 2010-06-12 01:28:53 IDJOB=2665848 IDBENCH=1320 IDSOLVER=1168 FILE ID=node006/2665848-1276298933 PBS_JOBID= 11173117 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665848-1276298933/watcher-2665848-1276298933 -o /tmp/evaluation-result-2665848-1276298933/solver-2665848-1276298933 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665848-1276298933.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 608a9740e0756eec3b8d3bf2dd1f591f RANDOM SEED=1102626207 node006.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.204 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.40 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.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1541508 kB Buffers: 76100 kB Cached: 314112 kB SwapCached: 0 kB Active: 177072 kB Inactive: 272472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1541508 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6364 kB Writeback: 0 kB AnonPages: 59300 kB Mapped: 15392 kB Slab: 46272 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180832 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= 62468 MiB End job on node006 at 2010-06-12 01:56:13