| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT | 310.035 | 310.132 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223596.opb |
| MD5SUM | eda0156fba6759200dec5fbbafb5b94e |
| 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.206967 |
| 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 | 169 |
| Total number of constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| 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 | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1216 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2664326-1276275632.opb>
0.00/0.01 c original problem has 169 variables (169 bin, 0 int, 0 impl, 0 cont) and 101 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 47 upgd conss, 8 impls, 68 clqs
0.00/0.03 c (round 2) 0 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 73 upgd conss, 8 impls, 68 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 0 deleted vars, 28 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 8 implications, 68 cliques
0.00/0.03 c presolved problem has 169 variables (169 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.03 c 1 constraints of type <knapsack>
0.00/0.03 c 68 constraints of type <setppc>
0.00/0.03 c 4 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/nlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 633k| 0 | - | 169 | 73 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.20/2.29 c 2.1s| 10000 | 7135 | 0 | 0.0 |5742k| 72 | - | 169 |2437 | 0 | 0 | 0 |2438 | 0 | 0.000000e+00 | -- | Inf
6.60/6.62 c 6.2s| 20000 | 12392 | 0 | 0.0 | 10M| 72 | - | 169 |3385 | 0 | 0 | 0 |6268 | 0 | 0.000000e+00 | -- | Inf
11.39/11.47 c 10.8s| 30000 | 17318 | 0 | 0.0 | 14M| 72 | - | 169 |5007 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
18.60/18.69 c 17.8s| 40000 | 20855 | 0 | 0.0 | 18M| 72 | - | 169 |6726 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
30.17/30.24 c 29.0s| 50000 | 21464 | 0 | 0.0 | 21M| 72 | - | 169 |5674 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
40.06/40.17 c 38.7s| 60000 | 23385 | 0 | 0.0 | 24M| 72 | - | 169 |7642 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
53.55/53.61 c 51.8s| 70000 | 24220 | 0 | 0.0 | 28M| 72 | - | 169 | 10k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
70.36/70.42 c 68.3s| 80000 | 24677 | 0 | 0.0 | 31M| 72 | - | 169 | 14k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
91.45/91.50 c 89.0s| 90000 | 24679 | 0 | 0.0 | 34M| 72 | - | 169 | 17k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
117.84/117.96 c 115s|100000 | 23434 | 0 | 0.0 | 35M| 72 | - | 169 | 17k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
154.94/155.00 c 152s|110000 | 19528 | 0 | 0.0 | 33M| 72 | - | 169 | 17k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
192.22/192.30 c 189s|120000 | 15314 | 0 | 0.0 | 32M| 72 | - | 169 | 22k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
233.62/233.70 c 230s|130000 | 11119 | 0 | 0.0 | 30M| 72 | - | 169 | 28k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
309.89/310.02 c * 306s|139581 | 0 | 0 | 0.0 | 13M| 72 | - | 169 | 33k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
309.89/310.04 c
309.89/310.04 c SCIP Status : problem is solved [optimal solution found]
309.89/310.04 c Solving Time (sec) : 305.61
309.89/310.04 c Solving Nodes : 139581
309.89/310.04 c Primal Bound : +0.00000000000000e+00 (1 solutions)
309.89/310.04 c Dual Bound : +0.00000000000000e+00
309.89/310.04 c Gap : 0.00 %
309.89/310.04 s SATISFIABLE
309.89/310.04 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
309.89/310.04 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 x128 -x127
309.89/310.04 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
309.89/310.04 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82
309.89/310.04 v -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
309.89/310.04 v -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31
309.89/310.04 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5
309.89/310.04 v -x4 -x3 -x2 -x1
309.89/310.04 c SCIP Status : problem is solved [optimal solution found]
309.89/310.04 c Solving Time : 305.61
309.89/310.04 c Original Problem :
309.89/310.04 c Problem name : HOME/instance-2664326-1276275632.opb
309.89/310.04 c Variables : 169 (169 binary, 0 integer, 0 implicit integer, 0 continuous)
309.89/310.04 c Constraints : 101 initial, 101 maximal
309.89/310.04 c Presolved Problem :
309.89/310.04 c Problem name : t_HOME/instance-2664326-1276275632.opb
309.89/310.04 c Variables : 169 (169 binary, 0 integer, 0 implicit integer, 0 continuous)
309.89/310.04 c Constraints : 73 initial, 33955 maximal
309.89/310.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
309.89/310.04 c trivial : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c dualfix : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c implics : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c probing : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c knapsack : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c setppc : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c linear : 0.00 0 0 0 0 0 28 0 0
309.89/310.04 c logicor : 0.00 0 0 0 0 0 0 0 0
309.89/310.04 c root node : - 1 - - 1 - - - -
309.89/310.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
309.89/310.04 c integral : 0 0 0 0 0 0 0 0 0 0
309.89/310.04 c knapsack : 1 0 493074 0 86988 11475 1447463 0 0 0
309.89/310.04 c setppc : 68 0 481597 0 86987 65873 1071564 0 0 0
309.89/310.04 c logicor : 4+ 0 209025 0 23774 1285 85428 0 0 0
309.89/310.04 c countsols : 0 0 0 0 86988 0 0 0 0 0
309.89/310.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
309.89/310.04 c integral : 0.00 0.00 0.00 0.00 0.00
309.89/310.04 c knapsack : 31.68 0.00 31.10 0.00 0.58
309.89/310.04 c setppc : 10.90 0.00 9.59 0.00 1.31
309.89/310.04 c logicor : 135.73 0.00 135.71 0.00 0.02
309.89/310.04 c countsols : 0.05 0.00 0.00 0.00 0.05
309.89/310.04 c Propagators : Time Calls Cutoffs DomReds
309.89/310.04 c vbounds : 0.19 1 0 0
309.89/310.04 c rootredcost : 0.16 0 0 0
309.89/310.04 c pseudoobj : 0.25 0 0 0
309.89/310.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
309.89/310.04 c propagation : 4.73 78633 78624 394763 19.5 2325 22.2 -
309.89/310.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
309.89/310.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
309.89/310.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
309.89/310.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
309.89/310.04 c applied globally : - - - 117129 14.3 - - -
309.89/310.04 c applied locally : - - - 677 34.1 - - -
309.89/310.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
309.89/310.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
309.89/310.04 c redcost : 0.00 0 0 0 0 0
309.89/310.04 c impliedbounds : 0.00 0 0 0 0 0
309.89/310.04 c intobj : 0.00 0 0 0 0 0
309.89/310.04 c cgmip : 0.00 0 0 0 0 0
309.89/310.04 c gomory : 0.00 0 0 0 0 0
309.89/310.04 c strongcg : 0.00 0 0 0 0 0
309.89/310.04 c cmir : 0.00 0 0 0 0 0
309.89/310.04 c flowcover : 0.00 0 0 0 0 0
309.89/310.04 c clique : 0.00 0 0 0 0 0
309.89/310.04 c zerohalf : 0.00 0 0 0 0 0
309.89/310.04 c mcf : 0.00 0 0 0 0 0
309.89/310.04 c rapidlearning : 0.00 0 0 0 0 0
309.89/310.04 c Pricers : Time Calls Vars
309.89/310.04 c problem variables: 0.00 0 0
309.89/310.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
309.89/310.04 c relpscost : 0.00 0 0 0 0 0 0
309.89/310.04 c pscost : 0.00 0 0 0 0 0 0
309.89/310.04 c inference : 1.06 86987 0 0 0 0 173974
309.89/310.04 c mostinf : 0.00 0 0 0 0 0 0
309.89/310.04 c leastinf : 0.00 0 0 0 0 0 0
309.89/310.04 c fullstrong : 0.00 0 0 0 0 0 0
309.89/310.04 c allfullstrong : 0.00 0 0 0 0 0 0
309.89/310.04 c random : 0.00 0 0 0 0 0 0
309.89/310.04 c Primal Heuristics : Time Calls Found
309.89/310.04 c LP solutions : 0.00 - 0
309.89/310.04 c pseudo solutions : 0.01 - 1
309.89/310.04 c trivial : 0.00 1 0
309.89/310.04 c simplerounding : 0.00 0 0
309.89/310.04 c zirounding : 0.00 0 0
309.89/310.04 c rounding : 0.00 0 0
309.89/310.04 c shifting : 0.00 0 0
309.89/310.04 c intshifting : 0.00 0 0
309.89/310.04 c oneopt : 0.00 0 0
309.89/310.04 c twoopt : 0.00 0 0
309.89/310.04 c fixandinfer : 0.00 0 0
309.89/310.04 c feaspump : 0.00 0 0
309.89/310.04 c coefdiving : 0.00 0 0
309.89/310.04 c pscostdiving : 0.00 0 0
309.89/310.04 c fracdiving : 0.00 0 0
309.89/310.04 c veclendiving : 0.00 0 0
309.89/310.04 c intdiving : 0.00 0 0
309.89/310.04 c actconsdiving : 0.00 0 0
309.89/310.04 c objpscostdiving : 0.00 0 0
309.89/310.04 c rootsoldiving : 0.00 0 0
309.89/310.04 c linesearchdiving : 0.00 0 0
309.89/310.04 c guideddiving : 0.00 0 0
309.89/310.04 c octane : 0.00 0 0
309.89/310.04 c rens : 0.00 0 0
309.89/310.04 c rins : 0.00 0 0
309.89/310.04 c localbranching : 0.00 0 0
309.89/310.04 c mutation : 0.00 0 0
309.89/310.04 c crossover : 0.00 0 0
309.89/310.04 c dins : 0.00 0 0
309.89/310.04 c undercover : 0.00 0 0
309.89/310.04 c nlp : 0.00 0 0
309.89/310.04 c trysol : 0.00 0 0
309.89/310.04 c LP : Time Calls Iterations Iter/call Iter/sec
309.89/310.04 c primal LP : 0.00 0 0 0.00 -
309.89/310.04 c dual LP : 0.00 0 0 0.00 -
309.89/310.04 c lex dual LP : 0.00 0 0 0.00 -
309.89/310.04 c barrier LP : 0.00 0 0 0.00 -
309.89/310.04 c diving/probing LP: 0.00 0 0 0.00 -
309.89/310.04 c strong branching : 0.00 0 0 0.00 -
309.89/310.04 c (at root node) : - 0 0 0.00 -
309.89/310.04 c conflict analysis: 0.00 0 0 0.00 -
309.89/310.04 c B&B Tree :
309.89/310.04 c number of runs : 1
309.89/310.04 c nodes : 139581
309.89/310.04 c nodes (total) : 139581
309.89/310.04 c nodes left : 0
309.89/310.04 c max depth : 72
309.89/310.04 c max depth (total): 72
309.89/310.04 c backtracks : 56630 (40.6%)
309.89/310.04 c delayed cutoffs : 33980
309.89/310.04 c repropagations : 182810 (740704 domain reductions, 26040 cutoffs)
309.89/310.04 c avg switch length: 20.48
309.89/310.04 c switching time : 85.38
309.89/310.04 c Solution :
309.89/310.04 c Solutions found : 1 (1 improvements)
309.89/310.04 c First Solution : +0.00000000000000e+00 (in run 1, after 139581 nodes, 305.59 seconds, depth 39, found by <relaxation>)
309.89/310.04 c Primal Bound : +0.00000000000000e+00 (in run 1, after 139581 nodes, 305.59 seconds, depth 39, found by <relaxation>)
309.89/310.04 c Dual Bound : +0.00000000000000e+00
309.89/310.04 c Gap : 0.00 %
309.89/310.04 c Root Dual Bound : +0.00000000000000e+00
309.89/310.04 c Root Iterations : 0
310.00/310.13 c Time complete: 310.02.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664326-1276275632/watcher-2664326-1276275632 -o /tmp/evaluation-result-2664326-1276275632/solver-2664326-1276275632 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664326-1276275632.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.06 1.04 1.00 3/106 5532 /proc/meminfo: memFree=1566988/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=6584 CPUtime=0 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 3164572 6742016 892 1992294400 4194304 7136930 140734629946400 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5532/statm: 1646 902 254 719 0 925 0 [startup+0.0168249 s] /proc/loadavg: 1.06 1.04 1.00 3/106 5532 /proc/meminfo: memFree=1566988/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=8624 CPUtime=0 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 1900 0 0 0 0 0 0 0 20 0 1 0 3164572 8830976 1469 1992294400 4194304 7136930 140734629946400 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 2156 1480 277 719 0 1435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8624 [startup+0.101832 s] /proc/loadavg: 1.06 1.04 1.00 3/106 5532 /proc/meminfo: memFree=1566988/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=11856 CPUtime=0.09 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 5009 0 0 0 7 2 0 0 20 0 1 0 3164572 12140544 2265 1992294400 4194304 7136930 140734629946400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 2964 2265 391 719 0 2243 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11856 [startup+0.300851 s] /proc/loadavg: 1.06 1.04 1.00 3/106 5532 /proc/meminfo: memFree=1566988/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=12644 CPUtime=0.29 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 5215 0 0 0 24 5 0 0 20 0 1 0 3164572 12947456 2471 1992294400 4194304 7136930 140734629946400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 3161 2471 391 719 0 2440 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12644 [startup+0.700889 s] /proc/loadavg: 1.06 1.04 1.00 3/106 5532 /proc/meminfo: memFree=1566988/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=14824 CPUtime=0.69 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 5752 0 0 0 59 10 0 0 20 0 1 0 3164572 15179776 3008 1992294400 4194304 7136930 140734629946400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 3706 3008 391 719 0 2985 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14824 [startup+1.50096 s] /proc/loadavg: 1.06 1.04 1.00 2/107 5533 /proc/meminfo: memFree=1555820/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=16496 CPUtime=1.49 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 6190 0 0 0 133 16 0 0 22 0 1 0 3164572 16891904 3446 1992294400 4194304 7136930 140734629946400 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 4124 3446 391 719 0 3403 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16496 [startup+3.10111 s] /proc/loadavg: 1.06 1.04 1.00 2/107 5533 /proc/meminfo: memFree=1552224/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=19696 CPUtime=3.09 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 6996 0 0 0 284 25 0 0 25 0 1 0 3164572 20168704 4252 1992294400 4194304 7136930 140734629946400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 4924 4252 391 719 0 4203 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19696 [startup+6.30141 s] /proc/loadavg: 1.05 1.04 1.00 2/107 5533 /proc/meminfo: memFree=1547264/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=24840 CPUtime=6.29 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 8271 0 0 0 588 41 0 0 25 0 1 0 3164572 25436160 5527 1992294400 4194304 7136930 140734629946400 18446744073709551615 4219859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 6210 5527 391 719 0 5489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24840 [startup+12.701 s] /proc/loadavg: 1.05 1.03 1.00 2/107 5535 /proc/meminfo: memFree=1540568/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=31448 CPUtime=12.68 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 9958 0 0 0 1199 69 0 0 25 0 1 0 3164572 32202752 7214 1992294400 4194304 7136930 140734629946400 18446744073709551615 4209070 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 7862 7214 391 719 0 7141 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31448 [startup+25.5012 s] /proc/loadavg: 1.04 1.03 1.00 2/107 5535 /proc/meminfo: memFree=1532632/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=37904 CPUtime=25.48 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 11579 0 0 0 2440 108 0 0 25 0 1 0 3164572 38813696 8835 1992294400 4194304 7136930 140734629946400 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 9476 8835 391 719 0 8755 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37904 [startup+51.1016 s] /proc/loadavg: 1.02 1.03 1.00 2/107 5544 /proc/meminfo: memFree=1522216/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=48392 CPUtime=51.06 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 14204 0 0 0 4933 173 0 0 25 0 1 0 3164572 49553408 11460 1992294400 4194304 7136930 140734629946400 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 12098 11460 391 719 0 11377 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 48392 [startup+102.308 s] /proc/loadavg: 1.01 1.02 1.00 2/107 5546 /proc/meminfo: memFree=1512792/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=57624 CPUtime=102.25 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 16479 0 0 0 9972 253 0 0 25 0 1 0 3164572 59006976 13735 1992294400 4194304 7136930 140734629946400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 14406 13735 391 719 0 13685 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 57624 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5548 /proc/meminfo: memFree=1511056/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=59444 CPUtime=162.23 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 16902 0 0 0 15907 316 0 0 25 0 1 0 3164572 60870656 14158 1992294400 4194304 7136930 140734629946400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 14861 14158 391 719 0 14140 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 59444 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5548 /proc/meminfo: memFree=1509568/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=61172 CPUtime=222.22 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 17273 0 0 0 21850 372 0 0 25 0 1 0 3164572 62640128 14529 1992294400 4194304 7136930 140734629946400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 15293 14529 391 719 0 14572 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 61172 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5550 /proc/meminfo: memFree=1506468/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64656 CPUtime=282.2 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18029 0 0 0 27807 413 0 0 25 0 1 0 3164572 66207744 15285 1992294400 4194304 7136930 140734629946400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 16164 15285 391 719 0 15443 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 64656 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5550 /proc/meminfo: memFree=1506468/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64704 CPUtime=294.19 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18032 0 0 0 28998 421 0 0 25 0 1 0 3164572 66256896 15288 1992294400 4194304 7136930 140734629946400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 16176 15288 391 719 0 15455 0 Current children cumulated CPU time (s) 294.19 Current children cumulated vsize (KiB) 64704 [startup+300.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5550 /proc/meminfo: memFree=1506468/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64704 CPUtime=300.59 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18034 0 0 0 29634 425 0 0 25 0 1 0 3164572 66256896 15290 1992294400 4194304 7136930 140734629946400 18446744073709551615 4210118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 16176 15290 391 719 0 15455 0 Current children cumulated CPU time (s) 300.59 Current children cumulated vsize (KiB) 64704 [startup+307.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5552 /proc/meminfo: memFree=1506220/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64872 CPUtime=307 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18103 0 0 0 30270 430 0 0 25 0 1 0 3164572 66428928 15359 1992294400 4194304 7136930 140734629946400 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 16218 15359 391 719 0 15497 0 Current children cumulated CPU time (s) 307 Current children cumulated vsize (KiB) 64872 [startup+308.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5552 /proc/meminfo: memFree=1506220/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64872 CPUtime=308.59 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18104 0 0 0 30428 431 0 0 25 0 1 0 3164572 66428928 15360 1992294400 4194304 7136930 140734629946400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 16218 15360 391 719 0 15497 0 Current children cumulated CPU time (s) 308.59 Current children cumulated vsize (KiB) 64872 [startup+309.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5552 /proc/meminfo: memFree=1506096/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64872 CPUtime=309.4 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18104 0 0 0 30508 432 0 0 25 0 1 0 3164572 66428928 15360 1992294400 4194304 7136930 140734629946400 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 16218 15360 391 719 0 15497 0 Current children cumulated CPU time (s) 309.4 Current children cumulated vsize (KiB) 64872 [startup+309.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5552 /proc/meminfo: memFree=1506096/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64872 CPUtime=309.79 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18104 0 0 0 30547 432 0 0 25 0 1 0 3164572 66428928 15360 1992294400 4194304 7136930 140734629946400 18446744073709551615 6166241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5532/statm: 16218 15360 391 719 0 15497 0 Current children cumulated CPU time (s) 309.79 Current children cumulated vsize (KiB) 64872 [startup+310.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5552 /proc/meminfo: memFree=1506344/2059040 swapFree=4192956/4192956 [pid=5532] ppid=5530 vsize=64020 CPUtime=310 /proc/5532/stat : 5532 (pbscip.linux.x8) R 5530 5532 3449 0 -1 4202496 18153 0 0 0 30568 432 0 0 25 0 1 0 3164572 65556480 15152 1992294400 4194304 7136930 140734629946400 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5532/statm: 16005 15152 396 719 0 15284 0 Current children cumulated CPU time (s) 310 Current children cumulated vsize (KiB) 64020 Child status: 0 Real time (s): 310.132 CPU time (s): 310.035 CPU user time (s): 305.7 CPU system time (s): 4.33534 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 64872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 305.7 system time used= 4.33534 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18160 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= 1147 runsolver used 0.474927 second user time and 1.51777 second system time The end
Begin job on node015 at 2010-06-11 19:00:32 IDJOB=2664326 IDBENCH=1218 IDSOLVER=1167 FILE ID=node015/2664326-1276275632 PBS_JOBID= 11172196 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223596.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-2664326-1276275632/watcher-2664326-1276275632 -o /tmp/evaluation-result-2664326-1276275632/solver-2664326-1276275632 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664326-1276275632.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eda0156fba6759200dec5fbbafb5b94e RANDOM SEED=1281033227 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1567392 kB Buffers: 53876 kB Cached: 310940 kB SwapCached: 0 kB Active: 171840 kB Inactive: 252660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1567392 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3212 kB Writeback: 0 kB AnonPages: 59608 kB Mapped: 15376 kB Slab: 45280 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180216 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= 62536 MiB End job on node015 at 2010-06-11 19:05:43