| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT | 1025.45 | 1025.76 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb |
| MD5SUM | d1b10f6e9727d2d9909236ce66cbc7d6 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.353945 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| 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 | 719 |
| 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-2664398-1276289632.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.05 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.30/4.31 c 4.0s| 10000 | 7873 | 0 | 0.0 |7318k| 104 | - | 231 |4673 | 0 | 0 | 0 |2901 | 0 | 0.000000e+00 | -- | Inf
10.09/10.20 c 9.6s| 20000 | 14488 | 0 | 0.0 | 12M| 104 | - | 231 |5659 | 0 | 0 | 0 |7016 | 0 | 0.000000e+00 | -- | Inf
16.19/16.26 c 15.5s| 30000 | 21561 | 0 | 0.0 | 16M| 104 | - | 231 |6748 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
24.09/24.11 c 23.1s| 40000 | 27776 | 0 | 0.0 | 22M| 104 | - | 231 |8209 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
34.28/34.35 c 33.0s| 50000 | 33124 | 0 | 0.0 | 27M| 104 | - | 231 |9903 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
48.08/48.16 c 46.5s| 60000 | 37295 | 0 | 0.0 | 32M| 104 | - | 231 | 12k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
65.98/66.02 c 64.0s| 70000 | 40364 | 0 | 0.0 | 37M| 104 | - | 231 | 13k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
83.96/84.08 c 81.7s| 80000 | 43982 | 0 | 0.0 | 41M| 104 | - | 231 | 12k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
96.46/96.58 c 94.0s| 90000 | 50539 | 0 | 0.0 | 46M| 104 | - | 231 | 12k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
109.16/109.27 c 106s|100000 | 56790 | 0 | 0.0 | 51M| 104 | - | 231 | 12k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
121.66/121.75 c 119s|110000 | 63037 | 0 | 0.0 | 56M| 104 | - | 231 | 12k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
134.65/134.73 c 131s|120000 | 69091 | 0 | 0.0 | 61M| 104 | - | 231 | 13k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
148.65/148.73 c 145s|130000 | 74823 | 0 | 0.0 | 66M| 104 | - | 231 | 13k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
163.54/163.60 c 160s|140000 | 80360 | 0 | 0.0 | 70M| 104 | - | 231 | 14k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
181.24/181.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.24/181.33 c 177s|150000 | 84935 | 0 | 0.0 | 75M| 104 | - | 231 | 15k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
203.53/203.64 c 199s|160000 | 88334 | 0 | 0.0 | 81M| 104 | - | 231 | 16k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
227.64/227.75 c 223s|170000 | 91581 | 0 | 0.0 | 86M| 104 | - | 231 | 18k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
255.92/256.02 c 251s|180000 | 94051 | 0 | 0.0 | 91M| 104 | - | 231 | 19k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
285.21/285.36 c 280s|190000 | 96582 | 0 | 0.0 | 96M| 104 | - | 231 | 20k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
316.61/316.73 c 311s|200000 | 98970 | 0 | 0.0 | 101M| 104 | - | 231 | 22k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
351.89/352.03 c 346s|210000 |100565 | 0 | 0.0 | 105M| 104 | - | 231 | 23k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
388.98/389.11 c 382s|220000 |102128 | 0 | 0.0 | 110M| 104 | - | 231 | 24k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
429.96/430.12 c 423s|230000 |102923 | 0 | 0.0 | 113M| 104 | - | 231 | 24k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
471.54/471.75 c 464s|240000 |103594 | 0 | 0.0 | 116M| 104 | - | 231 | 24k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
516.32/516.56 c 508s|250000 |103595 | 0 | 0.0 | 119M| 104 | - | 231 | 23k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
557.92/558.11 c 550s|260000 |104873 | 0 | 0.0 | 122M| 104 | - | 231 | 23k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
592.51/592.75 c 584s|270000 |108420 | 0 | 0.0 | 127M| 104 | - | 231 | 24k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
631.79/632.02 c 623s|280000 |111199 | 0 | 0.0 | 132M| 104 | - | 231 | 24k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
671.58/671.88 c 662s|290000 |113663 | 0 | 0.0 | 137M| 104 | - | 231 | 24k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
713.27/713.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.27/713.52 c 703s|300000 |115681 | 0 | 0.0 | 142M| 104 | - | 231 | 24k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
758.05/758.35 c 748s|310000 |117243 | 0 | 0.0 | 147M| 104 | - | 231 | 25k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
803.65/803.91 c 793s|320000 |118786 | 0 | 0.0 | 152M| 104 | - | 231 | 27k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
850.23/850.58 c 839s|330000 |120238 | 0 | 0.0 | 157M| 104 | - | 231 | 27k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
892.41/892.76 c 881s|340000 |122789 | 0 | 0.0 | 161M| 104 | - | 231 | 27k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
941.32/941.67 c 930s|350000 |123879 | 0 | 0.0 | 166M| 104 | - | 231 | 28k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
991.59/991.91 c 980s|360000 |124946 | 0 | 0.0 | 170M| 104 | - | 231 | 29k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1025.28/1025.64 c *1013s|365867 | 0 | 0 | 0.0 | 13M| 104 | - | 231 | 29k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
1025.28/1025.65 c
1025.28/1025.65 c SCIP Status : problem is solved [optimal solution found]
1025.28/1025.65 c Solving Time (sec) : 1013.02
1025.28/1025.65 c Solving Nodes : 365867
1025.28/1025.65 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1025.28/1025.65 c Dual Bound : +0.00000000000000e+00
1025.28/1025.65 c Gap : 0.00 %
1025.28/1025.66 s SATISFIABLE
1025.28/1025.66 v -x221 -x211 x201 -x191 -x181 -x171 -x161 -x151 -x141 -x131 x231 -x210 -x200 -x190 -x180 -x170 -x160 -x150 -x140 -x130 -x230 -x220
1025.28/1025.66 v -x199 -x189 -x179 -x169 x159 -x149 -x139 -x129 -x229 -x219 -x209 -x188 x178 -x168 -x158 -x148 -x138 -x128 -x228 -x218 -x208
1025.28/1025.66 v -x198 -x177 -x167 -x157 x147 -x137 -x127 -x227 -x217 -x207 -x197 -x187 -x166 -x156 -x146 x136 -x126 -x226 x216 -x206 -x196
1025.28/1025.66 v -x186 -x176 -x155 -x145 -x135 -x125 -x225 -x215 -x205 -x195 x185 -x175 -x165 -x144 -x134 -x124 -x224 -x214 -x204 -x194 -x184
1025.28/1025.66 v -x174 -x164 -x154 -x133 x123 -x223 -x213 x203 -x193 -x183 -x173 -x163 -x153 -x143 -x122 -x222 -x212 -x202 -x192 -x182 -x172 x162
1025.28/1025.66 v -x152 -x142 -x132 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1025.28/1025.66 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80
1025.28/1025.66 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1025.28/1025.66 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1025.28/1025.66 v -x28 -x27 -x26 x25 -x24 -x23 -x22 -x11 -x21 -x10 -x20 -x9 -x19 -x8 -x18 -x7 -x17 -x6 -x16 x5 -x15 -x4 -x14 -x3 -x13 -x2 x12
1025.28/1025.66 v -x1
1025.28/1025.66 c SCIP Status : problem is solved [optimal solution found]
1025.28/1025.66 c Solving Time : 1013.02
1025.28/1025.66 c Original Problem :
1025.28/1025.66 c Problem name : HOME/instance-2664398-1276289632.opb
1025.28/1025.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1025.28/1025.66 c Constraints : 2707 initial, 2707 maximal
1025.28/1025.66 c Presolved Problem :
1025.28/1025.66 c Problem name : t_HOME/instance-2664398-1276289632.opb
1025.28/1025.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1025.28/1025.66 c Constraints : 2564 initial, 30026 maximal
1025.28/1025.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1025.28/1025.66 c trivial : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c implics : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c probing : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c knapsack : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c setppc : 0.00 0 0 0 0 0 0 0 0
1025.28/1025.66 c linear : 0.04 0 0 0 0 0 143 0 0
1025.28/1025.66 c logicor : 0.01 0 0 0 0 0 0 0 0
1025.28/1025.66 c root node : - 0 - - 0 - - - -
1025.28/1025.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1025.28/1025.66 c integral : 0 0 0 0 0 0 0 0 0 0
1025.28/1025.66 c knapsack : 1 0 1288986 0 278342 46055 4109059 0 0 0
1025.28/1025.66 c setppc : 22 0 1252057 0 278342 51718 1645415 0 0 0
1025.28/1025.66 c logicor : 2541+ 0 1013253 0 278343 46742 3996170 0 0 0
1025.28/1025.66 c countsols : 0 0 0 0 278343 0 0 0 0 0
1025.28/1025.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1025.28/1025.66 c integral : 0.00 0.00 0.00 0.00 0.00
1025.28/1025.66 c knapsack : 30.45 0.00 28.82 0.00 1.63
1025.28/1025.66 c setppc : 21.98 0.00 18.54 0.00 3.44
1025.28/1025.66 c logicor : 532.42 0.00 495.42 0.00 37.00
1025.28/1025.66 c countsols : 0.11 0.00 0.00 0.00 0.11
1025.28/1025.66 c Propagators : Time Calls Cutoffs DomReds
1025.28/1025.66 c vbounds : 0.69 1 0 0
1025.28/1025.66 c rootredcost : 0.71 0 0 0
1025.28/1025.66 c pseudoobj : 0.66 0 0 0
1025.28/1025.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1025.28/1025.66 c propagation : 9.12 144515 144485 671801 17.1 2951 19.9 -
1025.28/1025.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1025.28/1025.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1025.28/1025.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1025.28/1025.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1025.28/1025.66 c applied globally : - - - 309128 13.8 - - -
1025.28/1025.66 c applied locally : - - - 1625 36.5 - - -
1025.28/1025.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1025.28/1025.66 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1025.28/1025.66 c redcost : 0.00 0 0 0 0 0
1025.28/1025.66 c impliedbounds : 0.00 0 0 0 0 0
1025.28/1025.66 c intobj : 0.00 0 0 0 0 0
1025.28/1025.66 c cgmip : 0.00 0 0 0 0 0
1025.28/1025.66 c gomory : 0.00 0 0 0 0 0
1025.28/1025.66 c strongcg : 0.00 0 0 0 0 0
1025.28/1025.66 c cmir : 0.00 0 0 0 0 0
1025.28/1025.66 c flowcover : 0.00 0 0 0 0 0
1025.28/1025.66 c clique : 0.00 0 0 0 0 0
1025.28/1025.66 c zerohalf : 0.00 0 0 0 0 0
1025.28/1025.66 c mcf : 0.00 0 0 0 0 0
1025.28/1025.66 c rapidlearning : 0.00 0 0 0 0 0
1025.28/1025.66 c Pricers : Time Calls Vars
1025.28/1025.66 c problem variables: 0.00 0 0
1025.28/1025.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1025.28/1025.66 c relpscost : 0.00 0 0 0 0 0 0
1025.28/1025.66 c pscost : 0.00 0 0 0 0 0 0
1025.28/1025.66 c inference : 7.91 278342 0 0 0 0 556684
1025.28/1025.66 c mostinf : 0.00 0 0 0 0 0 0
1025.28/1025.66 c leastinf : 0.00 0 0 0 0 0 0
1025.28/1025.66 c fullstrong : 0.00 0 0 0 0 0 0
1025.28/1025.66 c allfullstrong : 0.00 0 0 0 0 0 0
1025.28/1025.66 c random : 0.00 0 0 0 0 0 0
1025.28/1025.66 c Primal Heuristics : Time Calls Found
1025.28/1025.66 c LP solutions : 0.00 - 0
1025.28/1025.66 c pseudo solutions : 0.58 - 1
1025.28/1025.66 c trivial : 0.00 1 0
1025.28/1025.66 c simplerounding : 0.00 0 0
1025.28/1025.66 c zirounding : 0.00 0 0
1025.28/1025.66 c rounding : 0.00 0 0
1025.28/1025.66 c shifting : 0.00 0 0
1025.28/1025.66 c intshifting : 0.00 0 0
1025.28/1025.66 c oneopt : 0.00 0 0
1025.28/1025.66 c twoopt : 0.00 0 0
1025.28/1025.66 c fixandinfer : 0.00 0 0
1025.28/1025.66 c feaspump : 0.00 0 0
1025.28/1025.66 c coefdiving : 0.00 0 0
1025.28/1025.66 c pscostdiving : 0.00 0 0
1025.28/1025.66 c fracdiving : 0.00 0 0
1025.28/1025.66 c veclendiving : 0.00 0 0
1025.28/1025.66 c intdiving : 0.00 0 0
1025.28/1025.66 c actconsdiving : 0.00 0 0
1025.28/1025.66 c objpscostdiving : 0.00 0 0
1025.28/1025.66 c rootsoldiving : 0.00 0 0
1025.28/1025.66 c linesearchdiving : 0.00 0 0
1025.28/1025.66 c guideddiving : 0.00 0 0
1025.28/1025.66 c octane : 0.00 0 0
1025.28/1025.66 c rens : 0.00 0 0
1025.28/1025.66 c rins : 0.00 0 0
1025.28/1025.66 c localbranching : 0.00 0 0
1025.28/1025.66 c mutation : 0.00 0 0
1025.28/1025.66 c crossover : 0.00 0 0
1025.28/1025.66 c dins : 0.00 0 0
1025.28/1025.66 c undercover : 0.00 0 0
1025.28/1025.66 c nlp : 0.00 0 0
1025.28/1025.66 c trysol : 0.00 0 0
1025.28/1025.66 c LP : Time Calls Iterations Iter/call Iter/sec
1025.28/1025.66 c primal LP : 0.00 0 0 0.00 -
1025.28/1025.66 c dual LP : 0.00 0 0 0.00 -
1025.28/1025.66 c lex dual LP : 0.00 0 0 0.00 -
1025.28/1025.66 c barrier LP : 0.00 0 0 0.00 -
1025.28/1025.66 c diving/probing LP: 0.00 0 0 0.00 -
1025.28/1025.66 c strong branching : 0.00 0 0 0.00 -
1025.28/1025.66 c (at root node) : - 0 0 0.00 -
1025.28/1025.66 c conflict analysis: 0.00 0 0 0.00 -
1025.28/1025.66 c B&B Tree :
1025.28/1025.66 c number of runs : 1
1025.28/1025.66 c nodes : 365867
1025.28/1025.66 c nodes (total) : 365867
1025.28/1025.66 c nodes left : 0
1025.28/1025.66 c max depth : 104
1025.28/1025.66 c max depth (total): 104
1025.28/1025.66 c backtracks : 89547 (24.5%)
1025.28/1025.66 c delayed cutoffs : 65854
1025.28/1025.66 c repropagations : 294971 (3179832 domain reductions, 56991 cutoffs)
1025.28/1025.66 c avg switch length: 13.19
1025.28/1025.66 c switching time : 270.36
1025.28/1025.66 c Solution :
1025.28/1025.66 c Solutions found : 1 (1 improvements)
1025.28/1025.66 c First Solution : +0.00000000000000e+00 (in run 1, after 365867 nodes, 1012.43 seconds, depth 29, found by <relaxation>)
1025.28/1025.66 c Primal Bound : +0.00000000000000e+00 (in run 1, after 365867 nodes, 1012.43 seconds, depth 29, found by <relaxation>)
1025.28/1025.66 c Dual Bound : +0.00000000000000e+00
1025.28/1025.66 c Gap : 0.00 %
1025.28/1025.66 c Root Dual Bound : +0.00000000000000e+00
1025.28/1025.66 c Root Iterations : 0
1025.38/1025.76 c Time complete: 1025.44.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664398-1276289632/watcher-2664398-1276289632 -o /tmp/evaluation-result-2664398-1276289632/solver-2664398-1276289632 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664398-1276289632.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.16 1.03 1.05 3/106 6658 /proc/meminfo: memFree=1554316/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=6584 CPUtime=0 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 982 0 0 0 0 0 0 0 23 0 1 0 4564748 6742016 905 1992294400 4194304 7136930 140734407303680 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6658/statm: 1646 915 254 719 0 925 0 [startup+0.0989009 s] /proc/loadavg: 1.16 1.03 1.05 3/106 6658 /proc/meminfo: memFree=1554316/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=14624 CPUtime=0.09 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 3578 0 0 0 8 1 0 0 23 0 1 0 4564748 14974976 2890 1992294400 4194304 7136930 140734407303680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 3656 2890 345 719 0 2935 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14624 [startup+0.101902 s] /proc/loadavg: 1.16 1.03 1.05 3/106 6658 /proc/meminfo: memFree=1554316/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=15044 CPUtime=0.09 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 3662 0 0 0 8 1 0 0 23 0 1 0 4564748 15405056 2974 1992294400 4194304 7136930 140734407303680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 3761 2974 345 719 0 3040 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15044 [startup+0.300929 s] /proc/loadavg: 1.16 1.03 1.05 3/106 6658 /proc/meminfo: memFree=1554316/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=17088 CPUtime=0.29 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 6817 0 0 0 25 4 0 0 23 0 1 0 4564748 17498112 3559 1992294400 4194304 7136930 140734407303680 18446744073709551615 5005205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 4272 3559 391 719 0 3551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17088 [startup+0.70098 s] /proc/loadavg: 1.16 1.03 1.05 3/106 6658 /proc/meminfo: memFree=1554316/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=17616 CPUtime=0.69 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 6955 0 0 0 63 6 0 0 25 0 1 0 4564748 18038784 3697 1992294400 4194304 7136930 140734407303680 18446744073709551615 5005150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 4404 3697 391 719 0 3683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17616 [startup+1.50108 s] /proc/loadavg: 1.16 1.03 1.05 2/107 6659 /proc/meminfo: memFree=1540048/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=19164 CPUtime=1.49 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 7324 0 0 0 139 10 0 0 25 0 1 0 4564748 19623936 4066 1992294400 4194304 7136930 140734407303680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 4791 4066 391 719 0 4070 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19164 [startup+3.10129 s] /proc/loadavg: 1.16 1.03 1.05 2/107 6659 /proc/meminfo: memFree=1537816/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=21464 CPUtime=3.09 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 7914 0 0 0 290 19 0 0 25 0 1 0 4564748 21979136 4656 1992294400 4194304 7136930 140734407303680 18446744073709551615 4218735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 5366 4656 391 719 0 4645 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21464 [startup+6.30171 s] /proc/loadavg: 1.15 1.03 1.05 2/107 6659 /proc/meminfo: memFree=1533476/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=25568 CPUtime=6.29 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 8947 0 0 0 595 34 0 0 25 0 1 0 4564748 26181632 5689 1992294400 4194304 7136930 140734407303680 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 6392 5689 391 719 0 5671 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25568 [startup+12.7015 s] /proc/loadavg: 1.13 1.03 1.05 2/107 6659 /proc/meminfo: memFree=1526780/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=31916 CPUtime=12.69 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 10547 0 0 0 1209 60 0 0 25 0 1 0 4564748 32681984 7289 1992294400 4194304 7136930 140734407303680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 7979 7289 391 719 0 7258 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31916 [startup+25.5012 s] /proc/loadavg: 1.10 1.03 1.05 2/107 6659 /proc/meminfo: memFree=1515496/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=43268 CPUtime=25.48 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 13410 0 0 0 2445 103 0 0 25 0 1 0 4564748 44306432 10152 1992294400 4194304 7136930 140734407303680 18446744073709551615 4221578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 10817 10152 391 719 0 10096 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43268 [startup+51.1016 s] /proc/loadavg: 1.07 1.03 1.05 2/107 6661 /proc/meminfo: memFree=1501484/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=56304 CPUtime=51.08 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 16710 0 0 0 4942 166 0 0 25 0 1 0 4564748 57655296 13452 1992294400 4194304 7136930 140734407303680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 14076 13452 391 719 0 13355 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56304 [startup+102.309 s] /proc/loadavg: 1.03 1.02 1.04 2/107 6661 /proc/meminfo: memFree=1482884/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=75160 CPUtime=102.27 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 21418 0 0 0 9959 268 0 0 25 0 1 0 4564748 76963840 18160 1992294400 4194304 7136930 140734407303680 18446744073709551615 4227496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 18790 18160 391 719 0 18069 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 75160 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.04 2/107 6663 /proc/meminfo: memFree=1453496/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=106700 CPUtime=162.24 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 28807 0 0 0 15830 394 0 0 25 0 1 0 4564748 109260800 25549 1992294400 4194304 7136930 140734407303680 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 26675 25549 391 719 0 25954 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106700 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.03 2/107 6665 /proc/meminfo: memFree=1435516/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=124032 CPUtime=222.23 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 33125 0 0 0 21732 491 0 0 25 0 1 0 4564748 127008768 29867 1992294400 4194304 7136930 140734407303680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 31008 29867 391 719 0 30287 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 124032 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.03 3/107 6667 /proc/meminfo: memFree=1422496/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=137024 CPUtime=282.21 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 36368 0 0 0 27655 566 0 0 25 0 1 0 4564748 140312576 33110 1992294400 4194304 7136930 140734407303680 18446744073709551615 4209148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 34256 33110 391 719 0 33535 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 137024 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.02 2/107 6669 /proc/meminfo: memFree=1411212/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=148380 CPUtime=342.19 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 39137 0 0 0 33597 622 0 0 25 0 1 0 4564748 151941120 35879 1992294400 4194304 7136930 140734407303680 18446744073709551615 4223163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 37095 35879 391 719 0 36374 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 148380 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 6669 /proc/meminfo: memFree=1402904/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=157296 CPUtime=402.17 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 41339 0 0 0 39532 685 0 0 25 0 1 0 4564748 161071104 38081 1992294400 4194304 7136930 140734407303680 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 39324 38081 391 719 0 38603 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 157296 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 6680 /proc/meminfo: memFree=1399680/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=159848 CPUtime=462.14 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 41994 0 0 0 45468 746 0 0 25 0 1 0 4564748 163684352 38736 1992294400 4194304 7136930 140734407303680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 39962 38736 391 719 0 39241 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 159848 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6682 /proc/meminfo: memFree=1394472/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=165120 CPUtime=522.12 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 43268 0 0 0 51408 804 0 0 25 0 1 0 4564748 169082880 40010 1992294400 4194304 7136930 140734407303680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 41280 40010 391 719 0 40559 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 165120 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6684 /proc/meminfo: memFree=1386040/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=173568 CPUtime=582.11 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 45369 0 0 0 57349 862 0 0 25 0 1 0 4564748 177733632 42111 1992294400 4194304 7136930 140734407303680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 43392 42111 391 719 0 42671 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 173568 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6686 /proc/meminfo: memFree=1377484/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=182104 CPUtime=642.1 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 47518 0 0 0 63297 913 0 0 25 0 1 0 4564748 186474496 44260 1992294400 4194304 7136930 140734407303680 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 45526 44260 391 719 0 44805 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 182104 [startup+702.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 6686 /proc/meminfo: memFree=1368804/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=190740 CPUtime=702.07 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 49652 0 0 0 69239 968 0 0 25 0 1 0 4564748 195317760 46394 1992294400 4194304 7136930 140734407303680 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 47685 46394 391 719 0 46964 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 190740 [startup+762.308 s] /proc/loadavg: 1.02 1.01 1.00 2/107 6688 /proc/meminfo: memFree=1359876/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=199736 CPUtime=762.07 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 51858 0 0 0 75189 1018 0 0 25 0 1 0 4564748 204529664 48600 1992294400 4194304 7136930 140734407303680 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 49934 48600 391 719 0 49213 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 199736 [startup+822.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 6690 /proc/meminfo: memFree=1349708/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=209988 CPUtime=822.04 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 54386 0 0 0 81135 1069 0 0 25 0 1 0 4564748 215027712 51128 1992294400 4194304 7136930 140734407303680 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 52497 51128 391 719 0 51776 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 209988 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6692 /proc/meminfo: memFree=1339788/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=219940 CPUtime=882.02 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 56862 0 0 0 87083 1119 0 0 25 0 1 0 4564748 225218560 53604 1992294400 4194304 7136930 140734407303680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 54985 53604 391 719 0 54264 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 219940 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6694 /proc/meminfo: memFree=1332720/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=227120 CPUtime=942.01 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 58607 0 0 0 93040 1161 0 0 25 0 1 0 4564748 232570880 55349 1992294400 4194304 7136930 140734407303680 18446744073709551615 4999910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 56780 55349 391 719 0 56059 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 227120 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6694 /proc/meminfo: memFree=1323792/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=236088 CPUtime=1001.99 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60827 0 0 0 98989 1210 0 0 25 0 1 0 4564748 241754112 57569 1992294400 4194304 7136930 140734407303680 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 59022 57569 391 719 0 58301 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 236088 Solver just ended. Dumping a history of the last processes samples [startup+1011.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6696 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=236088 CPUtime=1010.79 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60834 0 0 0 99862 1217 0 0 25 0 1 0 4564748 241754112 57576 1992294400 4194304 7136930 140734407303680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 59022 57576 391 719 0 58301 0 Current children cumulated CPU time (s) 1010.79 Current children cumulated vsize (KiB) 236088 [startup+1017.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6696 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=236088 CPUtime=1017.19 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60846 0 0 0 100498 1221 0 0 25 0 1 0 4564748 241754112 57588 1992294400 4194304 7136930 140734407303680 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 59022 57588 391 719 0 58301 0 Current children cumulated CPU time (s) 1017.19 Current children cumulated vsize (KiB) 236088 [startup+1020.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6696 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=236088 CPUtime=1020.39 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60846 0 0 0 100816 1223 0 0 25 0 1 0 4564748 241754112 57588 1992294400 4194304 7136930 140734407303680 18446744073709551615 4219861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 59022 57588 391 719 0 58301 0 Current children cumulated CPU time (s) 1020.39 Current children cumulated vsize (KiB) 236088 [startup+1023.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6696 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=236088 CPUtime=1023.58 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60846 0 0 0 101133 1225 0 0 25 0 1 0 4564748 241754112 57588 1992294400 4194304 7136930 140734407303680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 59022 57588 391 719 0 58301 0 Current children cumulated CPU time (s) 1023.58 Current children cumulated vsize (KiB) 236088 [startup+1024.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6696 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=236088 CPUtime=1024.38 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60846 0 0 0 101212 1226 0 0 25 0 1 0 4564748 241754112 57588 1992294400 4194304 7136930 140734407303680 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 59022 57588 391 719 0 58301 0 Current children cumulated CPU time (s) 1024.38 Current children cumulated vsize (KiB) 236088 [startup+1025.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6696 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=236088 CPUtime=1025.18 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60846 0 0 0 101292 1226 0 0 25 0 1 0 4564748 241754112 57588 1992294400 4194304 7136930 140734407303680 18446744073709551615 4212060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6658/statm: 59022 57588 391 719 0 58301 0 Current children cumulated CPU time (s) 1025.18 Current children cumulated vsize (KiB) 236088 [startup+1025.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6696 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=6658] ppid=6656 vsize=230624 CPUtime=1025.38 /proc/6658/stat : 6658 (pbscip.linux.x8) R 6656 6658 5766 0 -1 4202496 60869 0 0 0 101312 1226 0 0 25 0 1 0 4564748 236158976 56226 1992294400 4194304 7136930 140734407303680 18446744073709551615 4221241 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6658/statm: 57656 56226 396 719 0 56935 0 Current children cumulated CPU time (s) 1025.38 Current children cumulated vsize (KiB) 230624 Child status: 0 Real time (s): 1025.76 CPU time (s): 1025.45 CPU user time (s): 1013.15 CPU system time (s): 12.2941 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 236088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1013.15 system time used= 12.2941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60876 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= 4 involuntary context switches= 11825 runsolver used 1.79073 second user time and 4.75428 second system time The end
Begin job on node013 at 2010-06-11 22:53:52 IDJOB=2664398 IDBENCH=1296 IDSOLVER=1167 FILE ID=node013/2664398-1276289632 PBS_JOBID= 11173105 Free space on /tmp= 62424 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.1900561389.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-2664398-1276289632/watcher-2664398-1276289632 -o /tmp/evaluation-result-2664398-1276289632/solver-2664398-1276289632 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664398-1276289632.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d1b10f6e9727d2d9909236ce66cbc7d6 RANDOM SEED=1019281981 node013.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.253 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.50 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.253 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: 1554844 kB Buffers: 65532 kB Cached: 311568 kB SwapCached: 0 kB Active: 173684 kB Inactive: 262800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1554844 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3536 kB Writeback: 0 kB AnonPages: 59380 kB Mapped: 15432 kB Slab: 46128 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180060 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= 62420 MiB End job on node013 at 2010-06-11 23:10:58