| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT | 604.438 | 604.609 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb |
| MD5SUM | 0a9770757b6cd9327f36ff7b48e0a712 |
| 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 | 2.15767 |
| 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 | 661 |
| 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-2664430-1276302575.opb>
0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.03/0.05 c problem read
0.03/0.05 c No objective function, only one solution is needed.
0.03/0.05 c presolving settings loaded
0.03/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.03/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.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 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.07
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
3.89/3.90 c 3.6s| 10000 | 8295 | 0 | 0.0 |7223k| 104 | - | 231 |4207 | 0 | 0 | 0 |2663 | 0 | 0.000000e+00 | -- | Inf
9.59/9.69 c 9.2s| 20000 | 14616 | 0 | 0.0 | 12M| 104 | - | 231 |6088 | 0 | 0 | 0 |8062 | 0 | 0.000000e+00 | -- | Inf
14.39/14.45 c 13.7s| 30000 | 22691 | 0 | 0.0 | 16M| 104 | - | 231 |5828 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
19.49/19.50 c 18.5s| 40000 | 30526 | 0 | 0.0 | 20M| 104 | - | 231 |6263 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
24.78/24.86 c 23.7s| 50000 | 38257 | 0 | 0.0 | 25M| 104 | - | 231 |6884 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
31.18/31.23 c 29.8s| 60000 | 45342 | 0 | 0.0 | 30M| 104 | - | 231 |7632 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
38.27/38.38 c 36.7s| 70000 | 52155 | 0 | 0.0 | 34M| 104 | - | 231 |8652 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
46.47/46.56 c 44.6s| 80000 | 58693 | 0 | 0.0 | 39M| 104 | - | 231 |9459 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
57.08/57.17 c 54.9s| 90000 | 64095 | 0 | 0.0 | 45M| 104 | - | 231 | 10k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
69.77/69.84 c 67.3s|100000 | 69000 | 0 | 0.0 | 50M| 104 | - | 231 | 12k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
85.16/85.26 c 82.5s|110000 | 73166 | 0 | 0.0 | 55M| 104 | - | 231 | 13k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
102.46/102.56 c 99.5s|120000 | 76803 | 0 | 0.0 | 60M| 104 | - | 231 | 13k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
120.25/120.30 c 117s|130000 | 80184 | 0 | 0.0 | 65M| 104 | - | 231 | 13k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
132.35/132.41 c 129s|140000 | 86447 | 0 | 0.0 | 69M| 104 | - | 231 | 11k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
142.05/142.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.05/142.11 c 138s|150000 | 93695 | 0 | 0.0 | 73M| 104 | - | 231 | 10k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
151.34/151.42 c 147s|160000 |100870 | 0 | 0.0 | 78M| 104 | - | 231 | 10k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
160.34/160.45 c 156s|170000 |107986 | 0 | 0.0 | 82M| 104 | - | 231 | 10k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
169.53/169.65 c 165s|180000 |115074 | 0 | 0.0 | 86M| 104 | - | 231 | 10k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
179.03/179.14 c 174s|190000 |121927 | 0 | 0.0 | 91M| 104 | - | 231 | 10k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
188.63/188.72 c 184s|200000 |128771 | 0 | 0.0 | 95M| 104 | - | 231 | 10k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
198.33/198.47 c 193s|210000 |135542 | 0 | 0.0 | 100M| 104 | - | 231 | 10k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
207.84/207.98 c 202s|220000 |142422 | 0 | 0.0 | 104M| 104 | - | 231 | 10k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
220.12/220.24 c 214s|230000 |148114 | 0 | 0.0 | 109M| 104 | - | 231 | 11k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
234.23/234.36 c 228s|240000 |153444 | 0 | 0.0 | 115M| 104 | - | 231 | 12k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
248.82/248.91 c 242s|250000 |158934 | 0 | 0.0 | 120M| 104 | - | 231 | 13k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
264.31/264.46 c 258s|260000 |164258 | 0 | 0.0 | 125M| 104 | - | 231 | 14k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
281.00/281.13 c 274s|270000 |169275 | 0 | 0.0 | 130M| 104 | - | 231 | 14k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
298.10/298.27 c 291s|280000 |174374 | 0 | 0.0 | 135M| 104 | - | 231 | 15k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
316.79/316.99 c 309s|290000 |179046 | 0 | 0.0 | 140M| 104 | - | 231 | 15k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
335.09/335.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.09/335.27 c 327s|300000 |184045 | 0 | 0.0 | 145M| 104 | - | 231 | 16k| 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
354.49/354.62 c 346s|310000 |188714 | 0 | 0.0 | 150M| 104 | - | 231 | 16k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
374.58/374.76 c 366s|320000 |193260 | 0 | 0.0 | 155M| 104 | - | 231 | 17k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
396.89/397.07 c 388s|330000 |197253 | 0 | 0.0 | 160M| 104 | - | 231 | 17k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
419.47/419.62 c 410s|340000 |201332 | 0 | 0.0 | 165M| 104 | - | 231 | 17k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
443.26/443.48 c 434s|350000 |205110 | 0 | 0.0 | 170M| 104 | - | 231 | 18k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
467.56/467.77 c 458s|360000 |208797 | 0 | 0.0 | 175M| 104 | - | 231 | 18k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
494.35/494.50 c 484s|370000 |211987 | 0 | 0.0 | 180M| 104 | - | 231 | 19k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
519.94/520.18 c 510s|380000 |215481 | 0 | 0.0 | 185M| 104 | - | 231 | 19k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
547.83/548.07 c 537s|390000 |218435 | 0 | 0.0 | 189M| 104 | - | 231 | 20k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
574.52/574.70 c 563s|400000 |221834 | 0 | 0.0 | 194M| 104 | - | 231 | 20k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
604.32/604.51 c * 593s|409787 | 0 | 0 | 0.0 | 10M| 104 | - | 231 | 20k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
604.32/604.52 c
604.32/604.52 c SCIP Status : problem is solved [optimal solution found]
604.32/604.52 c Solving Time (sec) : 592.90
604.32/604.52 c Solving Nodes : 409787
604.32/604.52 c Primal Bound : +0.00000000000000e+00 (1 solutions)
604.32/604.52 c Dual Bound : +0.00000000000000e+00
604.32/604.52 c Gap : 0.00 %
604.32/604.53 s SATISFIABLE
604.32/604.53 v -x221 -x211 -x201 -x191 -x181 -x171 x161 -x151 -x141 -x131 -x231 x210 -x200 -x190 -x180 -x170 -x160 -x150 -x140 -x130 -x230 -x220
604.32/604.53 v x199 -x189 -x179 -x169 -x159 -x149 -x139 -x129 -x229 -x219 -x209 -x188 -x178 -x168 -x158 -x148 x138 -x128 -x228 x218 -x208
604.32/604.53 v -x198 -x177 -x167 -x157 -x147 -x137 -x127 -x227 -x217 -x207 -x197 x187 -x166 -x156 -x146 -x136 -x126 -x226 -x216 -x206 -x196
604.32/604.53 v -x186 -x176 -x155 -x145 -x135 x125 -x225 -x215 -x205 -x195 -x185 x175 -x165 -x144 -x134 -x124 x224 -x214 -x204 -x194 -x184 -x174
604.32/604.53 v -x164 -x154 -x133 -x123 -x223 -x213 -x203 -x193 -x183 -x173 x163 -x153 -x143 -x122 -x222 -x212 -x202 -x192 -x182 -x172 -x162
604.32/604.53 v -x152 x142 -x132 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
604.32/604.53 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
604.32/604.53 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
604.32/604.53 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
604.32/604.53 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
604.32/604.53 v -x1
604.32/604.53 c SCIP Status : problem is solved [optimal solution found]
604.32/604.53 c Solving Time : 592.90
604.32/604.53 c Original Problem :
604.32/604.53 c Problem name : HOME/instance-2664430-1276302575.opb
604.32/604.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
604.32/604.53 c Constraints : 2707 initial, 2707 maximal
604.32/604.53 c Presolved Problem :
604.32/604.53 c Problem name : t_HOME/instance-2664430-1276302575.opb
604.32/604.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
604.32/604.53 c Constraints : 2564 initial, 21111 maximal
604.32/604.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
604.32/604.53 c trivial : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c implics : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c probing : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c knapsack : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c setppc : 0.00 0 0 0 0 0 0 0 0
604.32/604.53 c linear : 0.03 0 0 0 0 0 143 0 0
604.32/604.53 c logicor : 0.03 0 0 0 0 0 0 0 0
604.32/604.53 c root node : - 0 - - 0 - - - -
604.32/604.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
604.32/604.53 c integral : 0 0 0 0 0 0 0 0 0 0
604.32/604.53 c knapsack : 1 0 1155385 0 343672 35641 3154286 0 0 0
604.32/604.53 c setppc : 22 0 1127733 0 343672 48718 1505183 0 0 0
604.32/604.53 c logicor : 2541+ 0 911971 0 343673 32290 3648234 0 0 0
604.32/604.53 c countsols : 0 0 0 0 343673 0 0 0 0 0
604.32/604.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
604.32/604.53 c integral : 0.00 0.00 0.00 0.00 0.00
604.32/604.53 c knapsack : 24.29 0.00 22.55 0.00 1.74
604.32/604.53 c setppc : 18.79 0.00 13.97 0.00 4.82
604.32/604.53 c logicor : 302.18 0.00 262.74 0.00 39.44
604.32/604.53 c countsols : 0.18 0.00 0.00 0.00 0.18
604.32/604.53 c Propagators : Time Calls Cutoffs DomReds
604.32/604.53 c vbounds : 0.70 1 0 0
604.32/604.53 c rootredcost : 0.79 0 0 0
604.32/604.53 c pseudoobj : 0.46 0 0 0
604.32/604.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
604.32/604.53 c propagation : 6.77 116649 116626 566279 18.8 2362 20.9 -
604.32/604.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
604.32/604.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
604.32/604.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
604.32/604.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
604.32/604.53 c applied globally : - - - 257971 14.9 - - -
604.32/604.53 c applied locally : - - - 1879 35.6 - - -
604.32/604.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
604.32/604.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
604.32/604.53 c redcost : 0.00 0 0 0 0 0
604.32/604.53 c impliedbounds : 0.00 0 0 0 0 0
604.32/604.53 c intobj : 0.00 0 0 0 0 0
604.32/604.53 c cgmip : 0.00 0 0 0 0 0
604.32/604.53 c gomory : 0.00 0 0 0 0 0
604.32/604.53 c strongcg : 0.00 0 0 0 0 0
604.32/604.53 c cmir : 0.00 0 0 0 0 0
604.32/604.53 c flowcover : 0.00 0 0 0 0 0
604.32/604.53 c clique : 0.00 0 0 0 0 0
604.32/604.53 c zerohalf : 0.00 0 0 0 0 0
604.32/604.53 c mcf : 0.00 0 0 0 0 0
604.32/604.53 c rapidlearning : 0.00 0 0 0 0 0
604.32/604.53 c Pricers : Time Calls Vars
604.32/604.53 c problem variables: 0.00 0 0
604.32/604.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
604.32/604.53 c relpscost : 0.00 0 0 0 0 0 0
604.32/604.53 c pscost : 0.00 0 0 0 0 0 0
604.32/604.53 c inference : 9.52 343672 0 0 0 0 687344
604.32/604.53 c mostinf : 0.00 0 0 0 0 0 0
604.32/604.53 c leastinf : 0.00 0 0 0 0 0 0
604.32/604.53 c fullstrong : 0.00 0 0 0 0 0 0
604.32/604.53 c allfullstrong : 0.00 0 0 0 0 0 0
604.32/604.53 c random : 0.00 0 0 0 0 0 0
604.32/604.53 c Primal Heuristics : Time Calls Found
604.32/604.53 c LP solutions : 0.00 - 0
604.32/604.53 c pseudo solutions : 0.70 - 1
604.32/604.53 c trivial : 0.01 1 0
604.32/604.53 c simplerounding : 0.00 0 0
604.32/604.53 c zirounding : 0.00 0 0
604.32/604.53 c rounding : 0.00 0 0
604.32/604.53 c shifting : 0.00 0 0
604.32/604.53 c intshifting : 0.00 0 0
604.32/604.53 c oneopt : 0.00 0 0
604.32/604.53 c twoopt : 0.00 0 0
604.32/604.53 c fixandinfer : 0.00 0 0
604.32/604.53 c feaspump : 0.00 0 0
604.32/604.53 c coefdiving : 0.00 0 0
604.32/604.53 c pscostdiving : 0.00 0 0
604.32/604.53 c fracdiving : 0.00 0 0
604.32/604.53 c veclendiving : 0.00 0 0
604.32/604.53 c intdiving : 0.00 0 0
604.32/604.53 c actconsdiving : 0.00 0 0
604.32/604.53 c objpscostdiving : 0.00 0 0
604.32/604.53 c rootsoldiving : 0.00 0 0
604.32/604.53 c linesearchdiving : 0.00 0 0
604.32/604.53 c guideddiving : 0.00 0 0
604.32/604.53 c octane : 0.00 0 0
604.32/604.53 c rens : 0.00 0 0
604.32/604.53 c rins : 0.00 0 0
604.32/604.53 c localbranching : 0.00 0 0
604.32/604.53 c mutation : 0.00 0 0
604.32/604.53 c crossover : 0.00 0 0
604.32/604.53 c dins : 0.00 0 0
604.32/604.53 c undercover : 0.00 0 0
604.32/604.53 c nlp : 0.00 0 0
604.32/604.53 c trysol : 0.00 0 0
604.32/604.53 c LP : Time Calls Iterations Iter/call Iter/sec
604.32/604.53 c primal LP : 0.00 0 0 0.00 -
604.32/604.53 c dual LP : 0.00 0 0 0.00 -
604.32/604.53 c lex dual LP : 0.00 0 0 0.00 -
604.32/604.53 c barrier LP : 0.00 0 0 0.00 -
604.32/604.53 c diving/probing LP: 0.00 0 0 0.00 -
604.32/604.53 c strong branching : 0.00 0 0 0.00 -
604.32/604.53 c (at root node) : - 0 0 0.00 -
604.32/604.53 c conflict analysis: 0.00 0 0 0.00 -
604.32/604.53 c B&B Tree :
604.32/604.53 c number of runs : 1
604.32/604.53 c nodes : 409787
604.32/604.53 c nodes (total) : 409787
604.32/604.53 c nodes left : 0
604.32/604.53 c max depth : 104
604.32/604.53 c max depth (total): 104
604.32/604.53 c backtracks : 60765 (14.8%)
604.32/604.53 c delayed cutoffs : 53129
604.32/604.53 c repropagations : 179332 (2856748 domain reductions, 50535 cutoffs)
604.32/604.53 c avg switch length: 9.29
604.32/604.53 c switching time : 154.47
604.32/604.53 c Solution :
604.32/604.53 c Solutions found : 1 (1 improvements)
604.32/604.53 c First Solution : +0.00000000000000e+00 (in run 1, after 409787 nodes, 592.19 seconds, depth 46, found by <relaxation>)
604.32/604.53 c Primal Bound : +0.00000000000000e+00 (in run 1, after 409787 nodes, 592.19 seconds, depth 46, found by <relaxation>)
604.32/604.53 c Dual Bound : +0.00000000000000e+00
604.32/604.53 c Gap : 0.00 %
604.32/604.53 c Root Dual Bound : +0.00000000000000e+00
604.32/604.53 c Root Iterations : 0
604.42/604.60 c Time complete: 604.43.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664430-1276302575/watcher-2664430-1276302575 -o /tmp/evaluation-result-2664430-1276302575/solver-2664430-1276302575 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664430-1276302575.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.34 1.08 1.03 3/106 7009 /proc/meminfo: memFree=1533156/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=6584 CPUtime=0 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 980 0 0 0 0 0 0 0 23 0 1 0 5861526 6742016 902 1992294400 4194304 7136930 140736522575776 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7009/statm: 1646 911 254 719 0 925 0 [startup+0.0408829 s] /proc/loadavg: 1.34 1.08 1.03 3/106 7009 /proc/meminfo: memFree=1533156/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=8928 CPUtime=0.03 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 1729 0 0 0 3 0 0 0 23 0 1 0 5861526 9142272 1651 1992294400 4194304 7136930 140736522575776 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7009/statm: 2232 1651 268 719 0 1511 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8928 [startup+0.10089 s] /proc/loadavg: 1.34 1.08 1.03 3/106 7009 /proc/meminfo: memFree=1533156/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=14764 CPUtime=0.09 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 3614 0 0 0 8 1 0 0 23 0 1 0 5861526 15118336 2925 1992294400 4194304 7136930 140736522575776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 3691 2925 345 719 0 2970 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14764 [startup+0.300913 s] /proc/loadavg: 1.34 1.08 1.03 3/106 7009 /proc/meminfo: memFree=1533156/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=17100 CPUtime=0.29 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 6815 0 0 0 27 2 0 0 23 0 1 0 5861526 17510400 3556 1992294400 4194304 7136930 140736522575776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 4275 3556 391 719 0 3554 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17100 [startup+0.700959 s] /proc/loadavg: 1.34 1.08 1.03 3/106 7009 /proc/meminfo: memFree=1533156/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=17944 CPUtime=0.69 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 7040 0 0 0 64 5 0 0 25 0 1 0 5861526 18374656 3781 1992294400 4194304 7136930 140736522575776 18446744073709551615 4697369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 4486 3781 391 719 0 3765 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17944 [startup+1.50105 s] /proc/loadavg: 1.34 1.08 1.03 2/107 7010 /proc/meminfo: memFree=1518764/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=19204 CPUtime=1.49 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 7331 0 0 0 139 10 0 0 25 0 1 0 5861526 19664896 4072 1992294400 4194304 7136930 140736522575776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 4801 4072 391 719 0 4080 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19204 [startup+3.10024 s] /proc/loadavg: 1.34 1.08 1.03 2/107 7010 /proc/meminfo: memFree=1516408/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=21488 CPUtime=3.09 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 7942 0 0 0 290 19 0 0 25 0 1 0 5861526 22003712 4683 1992294400 4194304 7136930 140736522575776 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 5372 4683 391 719 0 4651 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21488 [startup+6.30062 s] /proc/loadavg: 1.32 1.08 1.02 2/107 7012 /proc/meminfo: memFree=1511944/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=26296 CPUtime=6.29 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 9164 0 0 0 596 33 0 0 25 0 1 0 5861526 26927104 5905 1992294400 4194304 7136930 140736522575776 18446744073709551615 4661506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 6574 5905 391 719 0 5853 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26296 [startup+12.7004 s] /proc/loadavg: 1.29 1.08 1.02 2/107 7012 /proc/meminfo: memFree=1505008/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=32964 CPUtime=12.69 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 10820 0 0 0 1207 62 0 0 25 0 1 0 5861526 33755136 7561 1992294400 4194304 7136930 140736522575776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 8241 7561 391 719 0 7520 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32964 [startup+25.5009 s] /proc/loadavg: 1.23 1.07 1.02 2/107 7012 /proc/meminfo: memFree=1490500/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=46276 CPUtime=25.48 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 14214 0 0 0 2432 116 0 0 25 0 1 0 5861526 47386624 10955 1992294400 4194304 7136930 140736522575776 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 11569 10955 391 719 0 10848 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46276 [startup+51.1009 s] /proc/loadavg: 1.15 1.06 1.02 2/107 7012 /proc/meminfo: memFree=1470536/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=66356 CPUtime=51.07 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 19294 0 0 0 4908 199 0 0 25 0 1 0 5861526 67948544 16035 1992294400 4194304 7136930 140736522575776 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 16589 16035 391 719 0 15868 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66356 [startup+102.309 s] /proc/loadavg: 1.06 1.05 1.02 2/107 7014 /proc/meminfo: memFree=1447100/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=91152 CPUtime=102.27 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 24993 0 0 0 9925 302 0 0 25 0 1 0 5861526 93339648 21734 1992294400 4194304 7136930 140736522575776 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 22788 21734 391 719 0 22067 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 91152 [startup+162.301 s] /proc/loadavg: 1.02 1.04 1.01 2/107 7016 /proc/meminfo: memFree=1419448/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=118992 CPUtime=162.24 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 32088 0 0 0 15786 438 0 0 25 0 1 0 5861526 121847808 28829 1992294400 4194304 7136930 140736522575776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 29748 28829 391 719 0 29027 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 118992 [startup+222.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 7016 /proc/meminfo: memFree=1390928/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=145984 CPUtime=222.22 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 38951 0 0 0 21634 588 0 0 25 0 1 0 5861526 149487616 35692 1992294400 4194304 7136930 140736522575776 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 36496 35692 391 719 0 35775 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 145984 [startup+282.301 s] /proc/loadavg: 1.07 1.04 1.00 2/107 7018 /proc/meminfo: memFree=1368732/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=167884 CPUtime=282.21 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 44463 0 0 0 27522 699 0 0 25 0 1 0 5861526 171913216 41204 1992294400 4194304 7136930 140736522575776 18446744073709551615 5955601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 41971 41204 391 719 0 41250 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 167884 [startup+342.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 7020 /proc/meminfo: memFree=1345668/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=190820 CPUtime=342.19 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 50238 0 0 0 33418 801 0 0 25 0 1 0 5861526 195399680 46979 1992294400 4194304 7136930 140736522575776 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 47705 46979 391 719 0 46984 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 190820 [startup+402.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7022 /proc/meminfo: memFree=1325084/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=215388 CPUtime=402.17 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 55381 0 0 0 39331 886 0 0 25 0 1 0 5861526 220557312 52122 1992294400 4194304 7136930 140736522575776 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 53847 52122 391 719 0 53126 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 215388 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7024 /proc/meminfo: memFree=1313924/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=226248 CPUtime=462.16 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 58097 0 0 0 45249 967 0 0 25 0 1 0 5861526 231677952 54838 1992294400 4194304 7136930 140736522575776 18446744073709551615 5953035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 56562 54838 391 719 0 55841 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 226248 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7024 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=242684 CPUtime=522.14 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 62151 0 0 0 51173 1041 0 0 25 0 1 0 5861526 248508416 58892 1992294400 4194304 7136930 140736522575776 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 60671 58892 391 719 0 59950 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 242684 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1287388/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=253092 CPUtime=582.13 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 64719 0 0 0 57099 1114 0 0 25 0 1 0 5861526 259166208 61460 1992294400 4194304 7136930 140736522575776 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 63273 61460 391 719 0 62552 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 253092 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1286272/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=254080 CPUtime=588.52 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 64980 0 0 0 57731 1121 0 0 25 0 1 0 5861526 260177920 61721 1992294400 4194304 7136930 140736522575776 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 63520 61721 391 719 0 62799 0 Current children cumulated CPU time (s) 588.52 Current children cumulated vsize (KiB) 254080 [startup+595.108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1285280/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=255104 CPUtime=594.93 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 65243 0 0 0 58364 1129 0 0 25 0 1 0 5861526 261226496 61984 1992294400 4194304 7136930 140736522575776 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 63776 61984 391 719 0 63055 0 Current children cumulated CPU time (s) 594.93 Current children cumulated vsize (KiB) 255104 [startup+601.502 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1283668/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=256776 CPUtime=601.32 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 65667 0 0 0 58995 1137 0 0 25 0 1 0 5861526 262938624 62408 1992294400 4194304 7136930 140736522575776 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 64194 62408 391 719 0 63473 0 Current children cumulated CPU time (s) 601.32 Current children cumulated vsize (KiB) 256776 [startup+603.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1283420/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=256776 CPUtime=602.92 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 65670 0 0 0 59153 1139 0 0 25 0 1 0 5861526 262938624 62411 1992294400 4194304 7136930 140736522575776 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 64194 62411 391 719 0 63473 0 Current children cumulated CPU time (s) 602.92 Current children cumulated vsize (KiB) 256776 [startup+603.908 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1283420/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=256776 CPUtime=603.73 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 65670 0 0 0 59233 1140 0 0 25 0 1 0 5861526 262938624 62411 1992294400 4194304 7136930 140736522575776 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 64194 62411 391 719 0 63473 0 Current children cumulated CPU time (s) 603.73 Current children cumulated vsize (KiB) 256776 [startup+604.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1283420/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=256776 CPUtime=604.12 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 65670 0 0 0 59272 1140 0 0 25 0 1 0 5861526 262938624 62411 1992294400 4194304 7136930 140736522575776 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 64194 62411 391 719 0 63473 0 Current children cumulated CPU time (s) 604.12 Current children cumulated vsize (KiB) 256776 [startup+604.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1283420/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=250756 CPUtime=604.32 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 65670 0 0 0 59292 1140 0 0 25 0 1 0 5861526 256774144 60907 1992294400 4194304 7136930 140736522575776 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7009/statm: 62689 60907 391 719 0 61968 0 Current children cumulated CPU time (s) 604.32 Current children cumulated vsize (KiB) 250756 [startup+604.601 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7026 /proc/meminfo: memFree=1283420/2059040 swapFree=4192956/4192956 [pid=7009] ppid=7007 vsize=47100 CPUtime=604.42 /proc/7009/stat : 7009 (pbscip.linux.x8) R 7007 7009 5972 0 -1 4202496 65695 0 0 0 59300 1142 0 0 25 0 1 0 5861526 48230400 10949 1992294400 4194304 7136930 140736522575776 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7009/statm: 11775 10949 396 719 0 11054 0 Current children cumulated CPU time (s) 604.42 Current children cumulated vsize (KiB) 47100 Child status: 0 Real time (s): 604.609 CPU time (s): 604.438 CPU user time (s): 593.011 CPU system time (s): 11.4273 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 256776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 593.011 system time used= 11.4273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65702 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= 1 involuntary context switches= 1523 runsolver used 1.05984 second user time and 2.80657 second system time The end
Begin job on node001 at 2010-06-12 02:29:35 IDJOB=2664430 IDBENCH=1332 IDSOLVER=1167 FILE ID=node001/2664430-1276302575 PBS_JOBID= 11173120 Free space on /tmp= 62364 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.1900547334.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-2664430-1276302575/watcher-2664430-1276302575 -o /tmp/evaluation-result-2664430-1276302575/solver-2664430-1276302575 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664430-1276302575.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a9770757b6cd9327f36ff7b48e0a712 RANDOM SEED=1189869711 node001.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.202 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1533808 kB Buffers: 81516 kB Cached: 315168 kB SwapCached: 0 kB Active: 177420 kB Inactive: 278716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1533808 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3520 kB Writeback: 0 kB AnonPages: 59396 kB Mapped: 15428 kB Slab: 47432 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181812 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= 62360 MiB End job on node001 at 2010-06-12 02:39:40