| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | UNSAT | 739.414 | 739.644 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111212476.opb |
| MD5SUM | 08d0b9097a8249582d167bf6c1cdd903 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.179972 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 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 | 1139 |
| 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-2664339-1276276961.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.04 c
0.00/0.04 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.04 c 0.0s| 1 | 2 | 0 | - | 633k| 0 | - | 169 | 73 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.01 c 1.8s| 10000 | 7701 | 0 | 0.0 |5501k| 75 | - | 169 |2106 | 0 | 0 | 0 |2082 | 0 | 0.000000e+00 | -- | Inf
5.89/5.96 c 5.6s| 20000 | 13664 | 0 | 0.0 | 10M| 75 | - | 169 |3438 | 0 | 0 | 0 |5671 | 0 | 0.000000e+00 | -- | Inf
9.69/9.72 c 9.1s| 30000 | 19854 | 0 | 0.0 | 14M| 75 | - | 169 |3511 | 0 | 0 | 0 |9031 | 0 | 0.000000e+00 | -- | Inf
13.99/14.06 c 13.3s| 40000 | 25703 | 0 | 0.0 | 18M| 75 | - | 169 |4385 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
19.59/19.65 c 18.6s| 50000 | 30689 | 0 | 0.0 | 22M| 75 | - | 169 |5544 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
27.59/27.63 c 26.4s| 60000 | 34189 | 0 | 0.0 | 26M| 75 | - | 169 |6683 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
38.58/38.67 c 37.1s| 70000 | 35924 | 0 | 0.0 | 30M| 75 | - | 169 |7486 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
49.48/49.54 c 47.6s| 80000 | 38751 | 0 | 0.0 | 33M| 75 | - | 169 |7009 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
60.17/60.20 c 58.0s| 90000 | 41868 | 0 | 0.0 | 37M| 75 | - | 169 |8392 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
72.37/72.50 c 70.1s|100000 | 44574 | 0 | 0.0 | 40M| 75 | - | 169 |9531 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
86.06/86.18 c 83.5s|110000 | 46960 | 0 | 0.0 | 44M| 75 | - | 169 | 10k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
100.96/101.03 c 98.0s|120000 | 48982 | 0 | 0.0 | 47M| 75 | - | 169 | 11k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
117.66/117.71 c 114s|130000 | 50539 | 0 | 0.0 | 50M| 75 | - | 169 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
135.15/135.21 c 132s|140000 | 51854 | 0 | 0.0 | 53M| 75 | - | 169 | 12k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
155.55/155.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.55/155.60 c 152s|150000 | 52164 | 0 | 0.0 | 56M| 75 | - | 169 | 13k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
178.14/178.24 c 174s|160000 | 51885 | 0 | 0.0 | 58M| 75 | - | 169 | 14k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
204.93/205.06 c 200s|170000 | 50750 | 0 | 0.0 | 60M| 75 | - | 169 | 16k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
236.72/236.80 c 232s|180000 | 49036 | 0 | 0.0 | 60M| 75 | - | 169 | 16k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
269.71/269.86 c 265s|190000 | 47591 | 0 | 0.0 | 61M| 75 | - | 169 | 16k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
304.50/304.67 c 299s|200000 | 45640 | 0 | 0.0 | 63M| 75 | - | 169 | 19k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
345.99/346.16 c 340s|210000 | 42675 | 0 | 0.0 | 63M| 75 | - | 169 | 22k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
393.58/393.76 c 387s|220000 | 39034 | 0 | 0.0 | 62M| 75 | - | 169 | 25k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
448.05/448.20 c 441s|230000 | 34462 | 0 | 0.0 | 61M| 75 | - | 169 | 26k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
501.93/502.18 c 495s|240000 | 29709 | 0 | 0.0 | 57M| 75 | - | 169 | 26k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
560.31/560.54 c 553s|250000 | 23688 | 0 | 0.0 | 51M| 75 | - | 169 | 26k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
637.49/637.74 c 630s|260000 | 13838 | 0 | 0.0 | 39M| 75 | - | 169 | 27k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
727.77/728.07 c 719s|270000 | 1986 | 0 | 0.0 | 20M| 75 | - | 169 | 33k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
739.26/739.54 c
739.26/739.54 c SCIP Status : problem is solved [infeasible]
739.26/739.54 c Solving Time (sec) : 730.87
739.26/739.54 c Solving Nodes : 270760
739.26/739.54 c Primal Bound : +1.00000000000000e+20 (0 solutions)
739.26/739.54 c Dual Bound : +1.00000000000000e+20
739.26/739.54 c Gap : 0.00 %
739.26/739.54 s UNSATISFIABLE
739.26/739.54 c SCIP Status : problem is solved [infeasible]
739.26/739.54 c Solving Time : 730.87
739.26/739.54 c Original Problem :
739.26/739.54 c Problem name : HOME/instance-2664339-1276276961.opb
739.26/739.54 c Variables : 169 (169 binary, 0 integer, 0 implicit integer, 0 continuous)
739.26/739.54 c Constraints : 101 initial, 101 maximal
739.26/739.54 c Presolved Problem :
739.26/739.54 c Problem name : t_HOME/instance-2664339-1276276961.opb
739.26/739.54 c Variables : 169 (169 binary, 0 integer, 0 implicit integer, 0 continuous)
739.26/739.54 c Constraints : 73 initial, 33861 maximal
739.26/739.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
739.26/739.54 c trivial : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c implics : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c probing : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c knapsack : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c setppc : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c linear : 0.00 0 0 0 0 0 28 0 0
739.26/739.54 c logicor : 0.00 0 0 0 0 0 0 0 0
739.26/739.54 c root node : - 0 - - 0 - - - -
739.26/739.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
739.26/739.54 c integral : 0 0 0 0 0 0 0 0 0 0
739.26/739.54 c knapsack : 1 0 920594 0 167785 25248 2260487 0 0 0
739.26/739.54 c setppc : 68 0 895346 0 167785 123445 2119871 0 0 0
739.26/739.54 c logicor : 4+ 0 417318 0 65883 2639 165082 0 0 0
739.26/739.54 c countsols : 0 0 0 0 167785 0 0 0 0 0
739.26/739.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
739.26/739.54 c integral : 0.00 0.00 0.00 0.00 0.00
739.26/739.54 c knapsack : 63.08 0.00 61.79 0.00 1.29
739.26/739.54 c setppc : 22.93 0.00 20.31 0.00 2.62
739.26/739.54 c logicor : 340.78 0.00 340.74 0.00 0.04
739.26/739.54 c countsols : 0.10 0.00 0.00 0.00 0.10
739.26/739.54 c Propagators : Time Calls Cutoffs DomReds
739.26/739.54 c vbounds : 0.46 1 0 0
739.26/739.54 c rootredcost : 0.45 0 0 0
739.26/739.54 c pseudoobj : 0.39 0 0 0
739.26/739.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
739.26/739.54 c propagation : 9.38 151332 151308 785978 20.2 3787 22.9 -
739.26/739.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
739.26/739.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
739.26/739.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
739.26/739.54 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
739.26/739.54 c applied globally : - - - 227033 14.6 - - -
739.26/739.54 c applied locally : - - - 2368 35.0 - - -
739.26/739.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
739.26/739.54 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
739.26/739.54 c redcost : 0.00 0 0 0 0 0
739.26/739.54 c impliedbounds : 0.00 0 0 0 0 0
739.26/739.54 c intobj : 0.00 0 0 0 0 0
739.26/739.54 c cgmip : 0.00 0 0 0 0 0
739.26/739.54 c gomory : 0.00 0 0 0 0 0
739.26/739.54 c strongcg : 0.00 0 0 0 0 0
739.26/739.54 c cmir : 0.00 0 0 0 0 0
739.26/739.54 c flowcover : 0.00 0 0 0 0 0
739.26/739.54 c clique : 0.00 0 0 0 0 0
739.26/739.54 c zerohalf : 0.00 0 0 0 0 0
739.26/739.54 c mcf : 0.00 0 0 0 0 0
739.26/739.54 c rapidlearning : 0.00 0 0 0 0 0
739.26/739.54 c Pricers : Time Calls Vars
739.26/739.54 c problem variables: 0.00 0 0
739.26/739.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
739.26/739.54 c relpscost : 0.00 0 0 0 0 0 0
739.26/739.54 c pscost : 0.00 0 0 0 0 0 0
739.26/739.54 c inference : 2.25 167785 0 0 0 0 335570
739.26/739.54 c mostinf : 0.00 0 0 0 0 0 0
739.26/739.54 c leastinf : 0.00 0 0 0 0 0 0
739.26/739.54 c fullstrong : 0.00 0 0 0 0 0 0
739.26/739.54 c allfullstrong : 0.00 0 0 0 0 0 0
739.26/739.54 c random : 0.00 0 0 0 0 0 0
739.26/739.54 c Primal Heuristics : Time Calls Found
739.26/739.54 c LP solutions : 0.00 - 0
739.26/739.54 c pseudo solutions : 0.00 - 0
739.26/739.54 c trivial : 0.00 1 0
739.26/739.54 c simplerounding : 0.00 0 0
739.26/739.54 c zirounding : 0.00 0 0
739.26/739.54 c rounding : 0.00 0 0
739.26/739.54 c shifting : 0.00 0 0
739.26/739.54 c intshifting : 0.00 0 0
739.26/739.54 c oneopt : 0.00 0 0
739.26/739.54 c twoopt : 0.00 0 0
739.26/739.54 c fixandinfer : 0.00 0 0
739.26/739.54 c feaspump : 0.00 0 0
739.26/739.54 c coefdiving : 0.00 0 0
739.26/739.54 c pscostdiving : 0.00 0 0
739.26/739.54 c fracdiving : 0.00 0 0
739.26/739.54 c veclendiving : 0.00 0 0
739.26/739.54 c intdiving : 0.00 0 0
739.26/739.54 c actconsdiving : 0.00 0 0
739.26/739.54 c objpscostdiving : 0.00 0 0
739.26/739.54 c rootsoldiving : 0.00 0 0
739.26/739.54 c linesearchdiving : 0.00 0 0
739.26/739.54 c guideddiving : 0.00 0 0
739.26/739.54 c octane : 0.00 0 0
739.26/739.54 c rens : 0.00 0 0
739.26/739.54 c rins : 0.00 0 0
739.26/739.54 c localbranching : 0.00 0 0
739.26/739.54 c mutation : 0.00 0 0
739.26/739.54 c crossover : 0.00 0 0
739.26/739.54 c dins : 0.00 0 0
739.26/739.54 c undercover : 0.00 0 0
739.26/739.54 c nlp : 0.00 0 0
739.26/739.54 c trysol : 0.00 0 0
739.26/739.54 c LP : Time Calls Iterations Iter/call Iter/sec
739.26/739.54 c primal LP : 0.00 0 0 0.00 -
739.26/739.54 c dual LP : 0.00 0 0 0.00 -
739.26/739.54 c lex dual LP : 0.00 0 0 0.00 -
739.26/739.54 c barrier LP : 0.00 0 0 0.00 -
739.26/739.54 c diving/probing LP: 0.00 0 0 0.00 -
739.26/739.54 c strong branching : 0.00 0 0 0.00 -
739.26/739.54 c (at root node) : - 0 0 0.00 -
739.26/739.54 c conflict analysis: 0.00 0 0 0.00 -
739.26/739.54 c B&B Tree :
739.26/739.54 c number of runs : 1
739.26/739.54 c nodes : 270760
739.26/739.54 c nodes (total) : 270760
739.26/739.54 c nodes left : 0
739.26/739.54 c max depth : 75
739.26/739.54 c max depth (total): 75
739.26/739.54 c backtracks : 108959 (40.2%)
739.26/739.54 c delayed cutoffs : 64811
739.26/739.54 c repropagations : 323762 (1263170 domain reductions, 48357 cutoffs)
739.26/739.54 c avg switch length: 21.64
739.26/739.54 c switching time : 204.35
739.26/739.54 c Solution :
739.26/739.54 c Solutions found : 0 (0 improvements)
739.26/739.54 c Primal Bound : infeasible
739.26/739.54 c Dual Bound : -
739.26/739.54 c Gap : 0.00 %
739.26/739.54 c Root Dual Bound : +0.00000000000000e+00
739.26/739.54 c Root Iterations : 0
739.36/739.64 c Time complete: 739.4.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664339-1276276961/watcher-2664339-1276276961 -o /tmp/evaluation-result-2664339-1276276961/solver-2664339-1276276961 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664339-1276276961.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.26 1.07 1.02 3/106 5385 /proc/meminfo: memFree=1568076/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=6584 CPUtime=0 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 3282504 6742016 933 1992294400 4194304 7136930 140737370698208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5385/statm: 1646 942 254 719 0 925 0 [startup+0.0925759 s] /proc/loadavg: 1.26 1.07 1.02 3/106 5385 /proc/meminfo: memFree=1568076/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=11832 CPUtime=0.09 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 4985 0 0 0 7 2 0 0 20 0 1 0 3282504 12115968 2241 1992294400 4194304 7136930 140737370698208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 2958 2241 391 719 0 2237 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11832 [startup+0.101577 s] /proc/loadavg: 1.26 1.07 1.02 3/106 5385 /proc/meminfo: memFree=1568076/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=11832 CPUtime=0.09 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 5003 0 0 0 7 2 0 0 20 0 1 0 3282504 12115968 2259 1992294400 4194304 7136930 140737370698208 18446744073709551615 4854270 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 2958 2259 391 719 0 2237 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11832 [startup+0.301598 s] /proc/loadavg: 1.26 1.07 1.02 3/106 5385 /proc/meminfo: memFree=1568076/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=12680 CPUtime=0.29 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 5216 0 0 0 24 5 0 0 20 0 1 0 3282504 12984320 2472 1992294400 4194304 7136930 140737370698208 18446744073709551615 5126170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 3170 2472 391 719 0 2449 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12680 [startup+0.70164 s] /proc/loadavg: 1.26 1.07 1.02 3/106 5385 /proc/meminfo: memFree=1568076/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=14812 CPUtime=0.7 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 5757 0 0 0 61 9 0 0 20 0 1 0 3282504 15167488 3013 1992294400 4194304 7136930 140737370698208 18446744073709551615 4702582 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 3703 3013 391 719 0 2982 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14812 [startup+1.50172 s] /proc/loadavg: 1.26 1.07 1.02 2/107 5386 /proc/meminfo: memFree=1556784/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=16768 CPUtime=1.49 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 6237 0 0 0 135 14 0 0 23 0 1 0 3282504 17170432 3493 1992294400 4194304 7136930 140737370698208 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 4192 3493 391 719 0 3471 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16768 [startup+3.10189 s] /proc/loadavg: 1.26 1.07 1.02 2/107 5386 /proc/meminfo: memFree=1553436/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=20240 CPUtime=3.09 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 7144 0 0 0 285 24 0 0 25 0 1 0 3282504 20725760 4400 1992294400 4194304 7136930 140737370698208 18446744073709551615 4392919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 5060 4400 391 719 0 4339 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20240 [startup+6.30122 s] /proc/loadavg: 1.24 1.07 1.02 2/107 5386 /proc/meminfo: memFree=1547856/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=25420 CPUtime=6.29 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 8424 0 0 0 591 38 0 0 25 0 1 0 3282504 26030080 5680 1992294400 4194304 7136930 140737370698208 18446744073709551615 4212419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 6355 5680 391 719 0 5634 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25420 [startup+12.7019 s] /proc/loadavg: 1.22 1.07 1.02 2/107 5386 /proc/meminfo: memFree=1539424/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=33468 CPUtime=12.69 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 10464 0 0 0 1198 71 0 0 25 0 1 0 3282504 34271232 7720 1992294400 4194304 7136930 140737370698208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 8367 7720 391 719 0 7646 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33468 [startup+25.5012 s] /proc/loadavg: 1.17 1.07 1.02 2/107 5388 /proc/meminfo: memFree=1527768/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=43788 CPUtime=25.49 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 13071 0 0 0 2428 121 0 0 25 0 1 0 3282504 44838912 10327 1992294400 4194304 7136930 140737370698208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 10947 10327 391 719 0 10226 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43788 [startup+51.1008 s] /proc/loadavg: 1.11 1.06 1.02 2/107 5388 /proc/meminfo: memFree=1517972/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=53544 CPUtime=51.07 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 15533 0 0 0 4917 190 0 0 25 0 1 0 3282504 54829056 12789 1992294400 4194304 7136930 140737370698208 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 13386 12789 391 719 0 12665 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53544 [startup+102.308 s] /proc/loadavg: 1.05 1.05 1.01 2/107 5390 /proc/meminfo: memFree=1498132/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=73196 CPUtime=102.26 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 20437 0 0 0 9926 300 0 0 25 0 1 0 3282504 74952704 17693 1992294400 4194304 7136930 140737370698208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 18299 17693 391 719 0 17578 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 73196 [startup+162.301 s] /proc/loadavg: 1.02 1.04 1.01 2/107 5390 /proc/meminfo: memFree=1486600/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=84460 CPUtime=162.24 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 23261 0 0 0 15828 396 0 0 25 0 1 0 3282504 86487040 20517 1992294400 4194304 7136930 140737370698208 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 21115 20517 391 719 0 20394 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 84460 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 5392 /proc/meminfo: memFree=1483748/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=87564 CPUtime=222.22 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 23998 0 0 0 21749 473 0 0 25 0 1 0 3282504 89665536 21254 1992294400 4194304 7136930 140737370698208 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 21891 21254 391 719 0 21170 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 87564 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5394 /proc/meminfo: memFree=1481268/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=90032 CPUtime=282.21 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 24599 0 0 0 27693 528 0 0 25 0 1 0 3282504 92192768 21855 1992294400 4194304 7136930 140737370698208 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 22508 21855 391 719 0 21787 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 90032 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5396 /proc/meminfo: memFree=1478788/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=92480 CPUtime=342.18 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 25166 0 0 0 33635 583 0 0 25 0 1 0 3282504 94699520 22422 1992294400 4194304 7136930 140737370698208 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 23120 22422 391 719 0 22399 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 92480 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5398 /proc/meminfo: memFree=1477424/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=94044 CPUtime=402.16 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 25509 0 0 0 39583 633 0 0 25 0 1 0 3282504 96301056 22765 1992294400 4194304 7136930 140737370698208 18446744073709551615 4210049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 23511 22765 391 719 0 22790 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 94044 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5398 /proc/meminfo: memFree=1476804/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=94632 CPUtime=462.14 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 25643 0 0 0 45538 676 0 0 25 0 1 0 3282504 96903168 22899 1992294400 4194304 7136930 140737370698208 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 23658 22899 391 719 0 22937 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 94632 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5400 /proc/meminfo: memFree=1476804/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=94632 CPUtime=522.12 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 25663 0 0 0 51497 715 0 0 25 0 1 0 3282504 96903168 22919 1992294400 4194304 7136930 140737370698208 18446744073709551615 4221389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 23658 22919 391 719 0 22937 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 94632 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5402 /proc/meminfo: memFree=1476308/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=95408 CPUtime=582.11 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 25799 0 0 0 57455 756 0 0 25 0 1 0 3282504 97697792 23055 1992294400 4194304 7136930 140737370698208 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 23852 23055 391 719 0 23131 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 95408 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5404 /proc/meminfo: memFree=1475812/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=95568 CPUtime=642.1 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 25849 0 0 0 63420 790 0 0 25 0 1 0 3282504 97861632 23105 1992294400 4194304 7136930 140737370698208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 23892 23105 391 719 0 23171 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 95568 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1475192/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96328 CPUtime=702.08 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 25995 0 0 0 69384 824 0 0 25 0 1 0 3282504 98639872 23251 1992294400 4194304 7136930 140737370698208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24082 23251 391 719 0 23361 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 96328 Solver just ended. Dumping a history of the last processes samples [startup+716.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1475068/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96328 CPUtime=716.47 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26005 0 0 0 70816 831 0 0 25 0 1 0 3282504 98639872 23261 1992294400 4194304 7136930 140737370698208 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24082 23261 391 719 0 23361 0 Current children cumulated CPU time (s) 716.47 Current children cumulated vsize (KiB) 96328 [startup+729.502 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1474820/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96716 CPUtime=729.27 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26070 0 0 0 72090 837 0 0 25 0 1 0 3282504 99037184 23326 1992294400 4194304 7136930 140737370698208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24179 23326 391 719 0 23458 0 Current children cumulated CPU time (s) 729.27 Current children cumulated vsize (KiB) 96716 [startup+735.908 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1474820/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96716 CPUtime=735.67 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26071 0 0 0 72726 841 0 0 25 0 1 0 3282504 99037184 23327 1992294400 4194304 7136930 140737370698208 18446744073709551615 4676333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24179 23327 391 719 0 23458 0 Current children cumulated CPU time (s) 735.67 Current children cumulated vsize (KiB) 96716 [startup+737.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1474820/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96716 CPUtime=737.27 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26071 0 0 0 72885 842 0 0 25 0 1 0 3282504 99037184 23327 1992294400 4194304 7136930 140737370698208 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24179 23327 391 719 0 23458 0 Current children cumulated CPU time (s) 737.27 Current children cumulated vsize (KiB) 96716 [startup+738.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1474820/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96716 CPUtime=738.06 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26071 0 0 0 72964 842 0 0 25 0 1 0 3282504 99037184 23327 1992294400 4194304 7136930 140737370698208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24179 23327 391 719 0 23458 0 Current children cumulated CPU time (s) 738.06 Current children cumulated vsize (KiB) 96716 [startup+739.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1474820/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96716 CPUtime=738.86 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26072 0 0 0 73044 842 0 0 25 0 1 0 3282504 99037184 23328 1992294400 4194304 7136930 140737370698208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24179 23328 391 719 0 23458 0 Current children cumulated CPU time (s) 738.86 Current children cumulated vsize (KiB) 96716 [startup+739.502 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1474820/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=96716 CPUtime=739.26 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26072 0 0 0 73083 843 0 0 25 0 1 0 3282504 99037184 23328 1992294400 4194304 7136930 140737370698208 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5385/statm: 24179 23328 391 719 0 23458 0 Current children cumulated CPU time (s) 739.26 Current children cumulated vsize (KiB) 96716 [startup+739.602 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5406 /proc/meminfo: memFree=1474820/2059040 swapFree=4192956/4192956 [pid=5385] ppid=5383 vsize=95936 CPUtime=739.36 /proc/5385/stat : 5385 (pbscip.linux.x8) R 5383 5385 3443 0 -1 4202496 26129 0 0 0 73093 843 0 0 25 0 1 0 3282504 98238464 23128 1992294400 4194304 7136930 140737370698208 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5385/statm: 23984 23128 396 719 0 23263 0 Current children cumulated CPU time (s) 739.36 Current children cumulated vsize (KiB) 95936 Child status: 0 Real time (s): 739.644 CPU time (s): 739.414 CPU user time (s): 730.969 CPU system time (s): 8.44472 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 96716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 730.969 system time used= 8.44472 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26136 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 10988 runsolver used 1.3148 second user time and 3.40548 second system time The end
Begin job on node017 at 2010-06-11 19:22:41 IDJOB=2664339 IDBENCH=1231 IDSOLVER=1167 FILE ID=node017/2664339-1276276961 PBS_JOBID= 11172195 Free space on /tmp= 62348 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.1111212476.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-2664339-1276276961/watcher-2664339-1276276961 -o /tmp/evaluation-result-2664339-1276276961/solver-2664339-1276276961 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664339-1276276961.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 08d0b9097a8249582d167bf6c1cdd903 RANDOM SEED=391155703 node017.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.201 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1568604 kB Buffers: 52356 kB Cached: 310628 kB SwapCached: 0 kB Active: 166392 kB Inactive: 257196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1568604 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3272 kB Writeback: 0 kB AnonPages: 60660 kB Mapped: 15436 kB Slab: 45160 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182628 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= 62344 MiB End job on node017 at 2010-06-11 19:35:01