| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.09 | 1800.54 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb |
| MD5SUM | f8964c43535341fcc69e672675167b77 |
| 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 | 713.924 |
| 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 | 490 |
| Total number of constraints | 1085 |
| Number of constraints which are clauses | 738 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 345 |
| Minimum length of a constraint | 1 |
| 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 | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 193 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665698-1276268928.opb>
0.01/0.03 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 1085 constraints
0.01/0.03 c problem read
0.01/0.03 c No objective function, only one solution is needed.
0.01/0.03 c presolving settings loaded
0.01/0.04 c presolving:
0.01/0.05 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs
0.01/0.05 c (round 2) 18 del vars, 22 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs
0.01/0.05 c (round 3) 18 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs
0.01/0.09 c (round 4) 18 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 1048 upgd conss, 526 impls, 0 clqs
0.09/0.12 c (round 5) 24 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 1048 upgd conss, 17948 impls, 6 clqs
0.09/0.12 c presolving (6 rounds):
0.09/0.12 c 24 deleted vars, 37 deleted constraints, 16 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 17948 implications, 6 cliques
0.09/0.12 c presolved problem has 466 variables (466 bin, 0 int, 0 impl, 0 cont) and 1048 constraints
0.09/0.12 c 334 constraints of type <knapsack>
0.09/0.12 c 714 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.07
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1799.98
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 1620
0.09/0.13 c
0.09/0.13 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c limits/solutions = 1
0.09/0.13 c
0.09/0.13 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.13 c separating/maxrounds = 1
0.09/0.13 c
0.09/0.13 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/maxroundsroot = 5
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.13 c constraints/knapsack/disaggregation = FALSE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c presolving/probing/maxrounds = 0
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/coefdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.13 c heuristics/crossover/freq = -1
0.09/0.13 c
0.09/0.13 c # number of nodes added to the contingent of the total nodes
0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.13 c heuristics/crossover/nodesofs = 750
0.09/0.13 c
0.09/0.13 c # number of nodes without incumbent change that heuristic should wait
0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.13 c heuristics/crossover/nwaitingnodes = 100
0.09/0.13 c
0.09/0.13 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.13 c # [type: real, range: [0,1], default: 0.1]
0.09/0.13 c heuristics/crossover/nodesquot = 0.15
0.09/0.13 c
0.09/0.13 c # minimum percentage of integer variables that have to be fixed
0.09/0.13 c # [type: real, range: [0,1], default: 0.666]
0.09/0.13 c heuristics/crossover/minfixingrate = 0.5
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.13 c heuristics/feaspump/freq = -1
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/fracdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/guideddiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/intshifting/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/linesearchdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/nlp/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.13 c heuristics/objpscostdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.13 c # [type: real, range: [0,1], default: 0.01]
0.09/0.13 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/oneopt/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/pscostdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c heuristics/rens/freq = -1
0.09/0.13 c
0.09/0.13 c # minimum percentage of integer variables that have to be fixable
0.09/0.13 c # [type: real, range: [0,1], default: 0.5]
0.09/0.13 c heuristics/rens/minfixingrate = 0.3
0.09/0.13 c
0.09/0.13 c # number of nodes added to the contingent of the total nodes
0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.13 c heuristics/rens/nodesofs = 2000
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.13 c heuristics/rootsoldiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.13 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/rounding/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/shifting/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/simplerounding/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c heuristics/trivial/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/trysol/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/veclendiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/zirounding/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c separating/cmir/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c separating/flowcover/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.1s| 1 | 0 | 407 | - |3468k| 0 | 193 | 466 |1048 | 466 |1042 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.47 c 1.4s| 1 | 0 | 1344 | - |8526k| 0 | 372 | 466 |1070 | 466 |1575 | 533 | 0 | 0 | 0.000000e+00 | -- | Inf
2.99/3.09 c 3.0s| 1 | 0 | 2617 | - | 10M| 0 | 407 | 466 |1070 | 466 |1885 | 843 | 0 | 0 | 0.000000e+00 | -- | Inf
5.09/5.10 c 5.0s| 1 | 0 | 4091 | - | 12M| 0 | 398 | 466 |1070 | 466 |2097 |1055 | 0 | 0 | 0.000000e+00 | -- | Inf
7.28/7.36 c 7.2s| 1 | 0 | 5743 | - | 14M| 0 | 396 | 466 |1070 | 466 |2250 |1208 | 0 | 0 | 0.000000e+00 | -- | Inf
9.79/9.81 c 9.7s| 1 | 0 | 7457 | - | 16M| 0 | 395 | 466 |1070 | 466 |2378 |1336 | 0 | 0 | 0.000000e+00 | -- | Inf
15.79/15.89 c 15.7s| 1 | 2 | 7457 | - | 16M| 0 | 395 | 466 |1070 | 466 |2378 |1336 | 0 | 10 | 0.000000e+00 | -- | Inf
136.07/136.14 c 134s| 10000 | 55 |296446 | 28.9 | 17M| 41 | 50 | 466 |1785 | 466 |1401 |1336 |1149 |2275 | 0.000000e+00 | -- | Inf
203.36/203.44 c 200s| 20000 | 62 |538247 | 26.5 | 17M| 46 | - | 466 |2287 | 466 |1401 |1336 |2057 |2808 | 0.000000e+00 | -- | Inf
267.75/267.89 c 262s| 30000 | 70 |774682 | 25.6 | 17M| 46 | 51 | 466 |2882 | 466 |1401 |1336 |3181 |3154 | 0.000000e+00 | -- | Inf
347.13/347.20 c 339s| 40000 | 77 | 1065k| 26.5 | 17M| 46 | - | 466 |3001 | 0 | 0 |1336 |4191 |3711 | 0.000000e+00 | -- | Inf
440.01/440.19 c 429s| 50000 | 78 | 1401k| 27.9 | 17M| 46 | 53 | 466 |2777 | 466 |1401 |1336 |5226 |4428 | 0.000000e+00 | -- | Inf
529.38/529.50 c 516s| 60000 | 80 | 1726k| 28.7 | 17M| 46 | - | 466 |2896 | 0 | 0 |1336 |6426 |5066 | 0.000000e+00 | -- | Inf
605.56/605.76 c 590s| 70000 | 84 | 2012k| 28.6 | 18M| 46 | 53 | 466 |3137 | 466 |1401 |1336 |7708 |5401 | 0.000000e+00 | -- | Inf
671.64/671.80 c 653s| 80000 | 72 | 2261k| 28.2 | 18M| 46 | - | 466 |3516 | 466 |1401 |1336 |8917 |5774 | 0.000000e+00 | -- | Inf
760.82/761.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.82/761.00 c 739s| 90000 | 72 | 2582k| 28.6 | 18M| 46 | - | 466 |3466 | 466 |1401 |1336 |9996 |6303 | 0.000000e+00 | -- | Inf
849.10/849.34 c 825s|100000 | 74 | 2915k| 29.1 | 18M| 46 | 40 | 466 |3830 | 466 |1401 |1336 | 11k|6653 | 0.000000e+00 | -- | Inf
932.87/933.15 c 905s|110000 | 75 | 3235k| 29.4 | 18M| 46 | 49 | 466 |4011 | 466 |1401 |1336 | 12k|6990 | 0.000000e+00 | -- | Inf
1005.36/1005.64 c 975s|120000 | 71 | 3509k| 29.2 | 18M| 46 | - | 466 |4299 | 466 |1401 |1336 | 13k|7302 | 0.000000e+00 | -- | Inf
1081.63/1081.91 c 1049s|130000 | 80 | 3790k| 29.1 | 18M| 46 | - | 466 |4409 | 466 |1401 |1336 | 14k|7651 | 0.000000e+00 | -- | Inf
1152.91/1153.29 c 1117s|140000 | 91 | 4068k| 29.0 | 18M| 47 | 63 | 466 |4505 | 466 |1401 |1336 | 15k|7876 | 0.000000e+00 | -- | Inf
1225.60/1225.98 c 1187s|150000 | 90 | 4350k| 29.0 | 18M| 47 | - | 466 |4854 | 0 | 0 |1336 | 16k|8095 | 0.000000e+00 | -- | Inf
1300.77/1301.19 c 1260s|160000 | 112 | 4638k| 28.9 | 19M| 47 | 61 | 466 |4988 | 466 |1401 |1336 | 17k|8343 | 0.000000e+00 | -- | Inf
1386.66/1387.04 c 1343s|170000 | 85 | 4969k| 29.2 | 19M| 47 | 83 | 466 |5266 | 466 |1401 |1336 | 18k|8503 | 0.000000e+00 | -- | Inf
1466.43/1466.86 c 1420s|180000 | 78 | 5253k| 29.1 | 19M| 47 | 64 | 466 |4945 | 466 |1401 |1336 | 19k|9190 | 0.000000e+00 | -- | Inf
1541.01/1541.43 c 1492s|190000 | 82 | 5544k| 29.1 | 19M| 47 | - | 466 |5340 | 0 | 0 |1336 | 21k|9365 | 0.000000e+00 | -- | Inf
1603.59/1604.02 c 1552s|200000 | 81 | 5786k| 28.9 | 19M| 47 | - | 466 |5337 | 466 |1401 |1336 | 22k|9515 | 0.000000e+00 | -- | Inf
1667.28/1667.74 c 1613s|210000 | 86 | 6036k| 28.7 | 19M| 47 | - | 466 |5687 | 466 |1401 |1336 | 23k|9631 | 0.000000e+00 | -- | Inf
1738.76/1739.26 c 1682s|220000 | 87 | 6325k| 28.7 | 19M| 47 | 45 | 466 |5794 | 466 |1401 |1336 | 24k|9800 | 0.000000e+00 | -- | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51 c
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time (sec) : 1740.87
1800.05/1800.51 c Solving Nodes : 228672
1800.05/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 s UNKNOWN
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1740.87
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2665698-1276268928.opb
1800.05/1800.51 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1085 initial, 1085 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2665698-1276268928.opb
1800.05/1800.51 c Variables : 466 (466 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1048 initial, 6263 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 8 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c knapsack : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.02 16 0 0 16 0 37 0 0
1800.05/1800.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 2 - - 2 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 117240 0 235 2132 0 0 231222
1800.05/1800.51 c knapsack : 334 5 783494 0 0 35737 2825764 1005 0 0
1800.05/1800.51 c linear : 0+ 5 218612 0 0 32 1456 0 0 0
1800.05/1800.51 c logicor : 714+ 5 635483 0 0 12850 1379684 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 145.23 0.00 0.00 145.23 0.00
1800.05/1800.51 c knapsack : 44.26 0.04 44.22 0.00 0.00
1800.05/1800.51 c linear : 0.37 0.00 0.37 0.00 0.00
1800.05/1800.51 c logicor : 35.91 0.00 35.91 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 0.49 1 0 0
1800.05/1800.51 c rootredcost : 0.56 0 0 0
1800.05/1800.51 c pseudoobj : 0.33 0 0 0
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 10.85 19954 19563 201998 102.4 309 21.8 -
1800.05/1800.51 c infeasible LP : 23.11 66543 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 25449 20.3 - - -
1800.05/1800.51 c applied locally : - - - 18 138.3 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.03 4 - - 90 - (maximal pool size: 2753)
1800.05/1800.51 c redcost : 1.92 116086 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.02 5 0 0 2648 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 2.38 5 0 0 133 0
1800.05/1800.51 c strongcg : 2.10 5 0 0 1630 0
1800.05/1800.51 c cmir : 0.00 0 0 0 0 0
1800.05/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.51 c clique : 0.02 5 0 0 19 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.21 1 0 0 0 22
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 144.87 117240 235 2132 0 0 231222
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.00 - 0
1800.05/1800.51 c trivial : 0.00 1 0
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 0 0
1800.05/1800.51 c rounding : 0.00 0 0
1800.05/1800.51 c shifting : 0.00 0 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c oneopt : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.00 0 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 0.00 0 0
1800.05/1800.51 c trysol : 0.00 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 1387.12 183728 6568303 35.75 4735.21
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 139.23 9972 522146 52.36 3750.24
1800.05/1800.51 c (at root node) : - 10 8895 889.50 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 228672
1800.05/1800.51 c nodes (total) : 228672
1800.05/1800.51 c nodes left : 92
1800.05/1800.51 c max depth : 47
1800.05/1800.51 c max depth (total): 47
1800.05/1800.51 c backtracks : 38469 (16.8%)
1800.05/1800.51 c delayed cutoffs : 2459
1800.05/1800.51 c repropagations : 26352 (195491 domain reductions, 2336 cutoffs)
1800.05/1800.51 c avg switch length: 2.87
1800.05/1800.51 c switching time : 34.91
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 0 (0 improvements)
1800.05/1800.51 c Primal Bound : -
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Root Iterations : 7457
1800.05/1800.54 c Time complete: 1800.08.
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-2665698-1276268928/watcher-2665698-1276268928 -o /tmp/evaluation-result-2665698-1276268928/solver-2665698-1276268928 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665698-1276268928.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 0.97 0.91 3/106 3734 /proc/meminfo: memFree=1595724/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=9288 CPUtime=0 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 1041 0 0 0 0 0 0 0 17 0 1 0 2494604 9510912 961 1992294400 4194304 9819077 140733686171920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3734/statm: 2322 971 371 1374 0 943 0 [startup+0.0265091 s] /proc/loadavg: 0.97 0.97 0.91 3/106 3734 /proc/meminfo: memFree=1595724/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=11472 CPUtime=0.01 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 1791 0 0 0 1 0 0 0 17 0 1 0 2494604 11747328 1711 1992294400 4194304 9819077 140733686171920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3734/statm: 2868 1711 386 1374 0 1489 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11472 [startup+0.101511 s] /proc/loadavg: 0.97 0.97 0.91 3/106 3734 /proc/meminfo: memFree=1595724/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=16728 CPUtime=0.09 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 4372 0 0 0 7 2 0 0 17 0 1 0 2494604 17129472 2910 1992294400 4194304 9819077 140733686171920 18446744073709551615 4862077 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 4182 2910 508 1374 0 2803 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16728 [startup+0.301513 s] /proc/loadavg: 0.97 0.97 0.91 3/106 3734 /proc/meminfo: memFree=1595724/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=22776 CPUtime=0.29 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 6819 0 0 0 27 2 0 0 17 0 1 0 2494604 23322624 4081 1992294400 4194304 9819077 140733686171920 18446744073709551615 4667257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 5694 4081 661 1374 0 4315 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22776 [startup+0.701517 s] /proc/loadavg: 0.97 0.97 0.91 3/106 3734 /proc/meminfo: memFree=1595724/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=40056 CPUtime=0.69 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 11653 0 0 0 64 5 0 0 17 0 1 0 2494604 41017344 8144 1992294400 4194304 9819077 140733686171920 18446744073709551615 6180679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10014 8144 676 1374 0 8635 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40056 [startup+1.50153 s] /proc/loadavg: 0.97 0.97 0.91 2/107 3735 /proc/meminfo: memFree=1569676/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=32448 CPUtime=1.49 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 12854 0 0 0 142 7 0 0 18 0 1 0 2494604 33226752 7023 1992294400 4194304 9819077 140733686171920 18446744073709551615 6050073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 8112 7023 696 1374 0 6733 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32448 [startup+3.10155 s] /proc/loadavg: 0.97 0.97 0.91 2/107 3735 /proc/meminfo: memFree=1569552/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=33900 CPUtime=3.09 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 13291 0 0 0 301 8 0 0 21 0 1 0 2494604 34713600 7308 1992294400 4194304 9819077 140733686171920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 8475 7308 696 1374 0 7096 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33900 [startup+6.30058 s] /proc/loadavg: 0.98 0.97 0.91 2/107 3735 /proc/meminfo: memFree=1568064/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=38936 CPUtime=6.29 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 14906 0 0 0 619 10 0 0 25 0 1 0 2494604 39870464 8446 1992294400 4194304 9819077 140733686171920 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 9734 8446 696 1374 0 8355 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38936 [startup+12.7006 s] /proc/loadavg: 0.98 0.97 0.91 2/107 3735 /proc/meminfo: memFree=1559756/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46412 CPUtime=12.69 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 23672 0 0 0 1255 14 0 0 25 0 1 0 2494604 47525888 9435 1992294400 4194304 9819077 140733686171920 18446744073709551615 7261091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11603 9435 702 1374 0 10224 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46412 [startup+25.5016 s] /proc/loadavg: 0.98 0.97 0.91 2/107 3735 /proc/meminfo: memFree=1560128/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=43192 CPUtime=25.49 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 33704 0 0 0 2529 20 0 0 25 0 1 0 2494604 44228608 9364 1992294400 4194304 9819077 140733686171920 18446744073709551615 7304812 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10798 9364 723 1374 0 9419 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43192 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.91 2/107 3735 /proc/meminfo: memFree=1560252/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=41532 CPUtime=51.08 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 48898 0 0 0 5065 43 0 0 25 0 1 0 2494604 42528768 9354 1992294400 4194304 9819077 140733686171920 18446744073709551615 6192636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10383 9354 726 1374 0 9004 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41532 [startup+102.308 s] /proc/loadavg: 1.03 0.99 0.91 2/107 3737 /proc/meminfo: memFree=1560004/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=41532 CPUtime=102.28 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 77452 0 0 0 10122 106 0 0 25 0 1 0 2494604 42528768 9354 1992294400 4194304 9819077 140733686171920 18446744073709551615 7227988 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10383 9354 726 1374 0 9004 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 41532 [startup+162.302 s] /proc/loadavg: 1.01 0.99 0.91 2/107 3739 /proc/meminfo: memFree=1560004/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=42588 CPUtime=162.27 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 198236 0 0 0 15990 237 0 0 25 0 1 0 2494604 43610112 9360 1992294400 4194304 9819077 140733686171920 18446744073709551615 6361872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10647 9360 726 1374 0 9268 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 42588 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3741 /proc/meminfo: memFree=1560004/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=42068 CPUtime=222.25 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 367971 0 0 0 21813 412 0 0 25 0 1 0 2494604 43077632 9356 1992294400 4194304 9819077 140733686171920 18446744073709551615 6371754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10517 9356 726 1374 0 9138 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 42068 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3741 /proc/meminfo: memFree=1560004/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=43140 CPUtime=282.24 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 575125 0 0 0 27616 608 0 0 25 0 1 0 2494604 44175360 9379 1992294400 4194304 9819077 140733686171920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10785 9379 726 1374 0 9406 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 43140 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3746 /proc/meminfo: memFree=1559260/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=45288 CPUtime=342.23 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 803858 0 0 0 33437 786 0 0 25 0 1 0 2494604 46374912 9383 1992294400 4194304 9819077 140733686171920 18446744073709551615 7289182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11322 9383 726 1374 0 9943 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 45288 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3748 /proc/meminfo: memFree=1559384/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=43208 CPUtime=402.21 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 1023654 0 0 0 39270 951 0 0 25 0 1 0 2494604 44244992 9372 1992294400 4194304 9819077 140733686171920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10802 9372 726 1374 0 9423 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 43208 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3750 /proc/meminfo: memFree=1559508/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=43136 CPUtime=462.2 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 1247892 0 0 0 45098 1122 0 0 25 0 1 0 2494604 44171264 9373 1992294400 4194304 9819077 140733686171920 18446744073709551615 7291738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10784 9373 726 1374 0 9405 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 43136 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3750 /proc/meminfo: memFree=1559508/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=43276 CPUtime=522.18 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 1489201 0 0 0 50914 1304 0 0 25 0 1 0 2494604 44314624 9375 1992294400 4194304 9819077 140733686171920 18446744073709551615 6205463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 10819 9375 726 1374 0 9440 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 43276 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3759 /proc/meminfo: memFree=1558764/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=44044 CPUtime=582.16 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 1758505 0 0 0 56709 1507 0 0 25 0 1 0 2494604 45101056 9511 1992294400 4194304 9819077 140733686171920 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11011 9511 726 1374 0 9632 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 44044 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3768 /proc/meminfo: memFree=1558640/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=44300 CPUtime=642.16 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 2058845 0 0 0 62478 1738 0 0 25 0 1 0 2494604 45363200 9539 1992294400 4194304 9819077 140733686171920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11075 9539 726 1374 0 9696 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 44300 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3774 /proc/meminfo: memFree=1558268/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=44640 CPUtime=882.09 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 3255013 0 0 0 85630 2579 0 0 25 0 1 0 2494604 45711360 9665 1992294400 4194304 9819077 140733686171920 18446744073709551615 7309307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11160 9665 726 1374 0 9781 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 44640 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 3/107 3776 /proc/meminfo: memFree=1558144/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=44960 CPUtime=942.07 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 3543864 0 0 0 91426 2781 0 0 25 0 1 0 2494604 46039040 9686 1992294400 4194304 9819077 140733686171920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11240 9686 726 1374 0 9861 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 44960 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3778 /proc/meminfo: memFree=1558144/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=45104 CPUtime=1002.05 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 3875350 0 0 0 97191 3014 0 0 25 0 1 0 2494604 46186496 9736 1992294400 4194304 9819077 140733686171920 18446744073709551615 5916872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11276 9736 726 1374 0 9897 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 45104 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3780 /proc/meminfo: memFree=1558020/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=45272 CPUtime=1062.04 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 4188218 0 0 0 102963 3241 0 0 25 0 1 0 2494604 46358528 9775 1992294400 4194304 9819077 140733686171920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11318 9775 726 1374 0 9939 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 45272 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3782 /proc/meminfo: memFree=1557896/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=45168 CPUtime=1122.02 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 4496025 0 0 0 108747 3455 0 0 25 0 1 0 2494604 46252032 9798 1992294400 4194304 9819077 140733686171920 18446744073709551615 6698787 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11292 9798 726 1374 0 9913 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 45168 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3782 /proc/meminfo: memFree=1557772/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=45608 CPUtime=1182 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 4804874 0 0 0 114525 3675 0 0 25 0 1 0 2494604 46702592 9851 1992294400 4194304 9819077 140733686171920 18446744073709551615 6669963 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11402 9851 726 1374 0 10023 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 45608 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3784 /proc/meminfo: memFree=1557648/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=45700 CPUtime=1241.99 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 5098143 0 0 0 120310 3889 0 0 25 0 1 0 2494604 46796800 9880 1992294400 4194304 9819077 140733686171920 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11425 9882 726 1374 0 10046 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 45700 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3786 /proc/meminfo: memFree=1557152/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=45892 CPUtime=1301.98 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 5403575 0 0 0 126094 4104 0 0 25 0 1 0 2494604 46993408 9901 1992294400 4194304 9819077 140733686171920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11473 9901 726 1374 0 10094 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 45892 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3788 /proc/meminfo: memFree=1557152/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46160 CPUtime=1361.96 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 5686041 0 0 0 131895 4301 0 0 25 0 1 0 2494604 47267840 10008 1992294400 4194304 9819077 140733686171920 18446744073709551615 7299376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11540 10008 726 1374 0 10161 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 46160 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3790 /proc/meminfo: memFree=1557152/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46140 CPUtime=1421.95 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 5989782 0 0 0 137690 4505 0 0 25 0 1 0 2494604 47247360 9985 1992294400 4194304 9819077 140733686171920 18446744073709551615 6396144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11535 9985 726 1374 0 10156 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 46140 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3790 /proc/meminfo: memFree=1556780/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46408 CPUtime=1481.93 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 6276367 0 0 0 143466 4727 0 0 25 0 1 0 2494604 47521792 10065 1992294400 4194304 9819077 140733686171920 18446744073709551615 7481153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11602 10065 726 1374 0 10223 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 46408 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3792 /proc/meminfo: memFree=1556656/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46476 CPUtime=1541.91 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 6552448 0 0 0 149256 4935 0 0 25 0 1 0 2494604 47591424 10065 1992294400 4194304 9819077 140733686171920 18446744073709551615 6090677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11619 10065 726 1374 0 10240 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 46476 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3794 /proc/meminfo: memFree=1556656/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46452 CPUtime=1601.89 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 6863785 0 0 0 155021 5168 0 0 25 0 1 0 2494604 47566848 10064 1992294400 4194304 9819077 140733686171920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11613 10064 726 1374 0 10234 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 46452 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3796 /proc/meminfo: memFree=1556656/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46416 CPUtime=1661.88 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 7180076 0 0 0 160788 5400 0 0 25 0 1 0 2494604 47529984 10067 1992294400 4194304 9819077 140733686171920 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11604 10067 726 1374 0 10225 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 46416 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3796 /proc/meminfo: memFree=1556532/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46452 CPUtime=1721.86 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 7483871 0 0 0 166567 5619 0 0 25 0 1 0 2494604 47566848 10076 1992294400 4194304 9819077 140733686171920 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11613 10076 726 1374 0 10234 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 46452 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3798 /proc/meminfo: memFree=1556160/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46616 CPUtime=1781.85 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 7786408 0 0 0 172332 5853 0 0 25 0 1 0 2494604 47734784 10130 1992294400 4194304 9819077 140733686171920 18446744073709551615 7301834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11654 10130 726 1374 0 10275 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 46616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3800 /proc/meminfo: memFree=1556160/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46288 CPUtime=1800.05 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 7876905 0 0 0 174088 5917 0 0 25 0 1 0 2494604 47398912 10174 1992294400 4194304 9819077 140733686171920 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11572 10174 726 1374 0 10193 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 46288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 3800 /proc/meminfo: memFree=1556160/2059040 swapFree=4192956/4192956 [pid=3734] ppid=3732 vsize=46288 CPUtime=1800.05 /proc/3734/stat : 3734 (pbscip.linux.x8) R 3732 3734 3354 0 -1 4202496 7876905 0 0 0 174088 5917 0 0 25 0 1 0 2494604 47398912 10174 1992294400 4194304 9819077 140733686171920 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3734/statm: 11572 10174 726 1374 0 10193 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 46288 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.09 CPU user time (s): 1740.92 CPU system time (s): 59.178 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 49220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1740.92 system time used= 59.178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7876957 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= 2 involuntary context switches= 19345 runsolver used 3.10653 second user time and 8.37773 second system time The end
Begin job on node009 at 2010-06-11 17:08:48 IDJOB=2665698 IDBENCH=1160 IDSOLVER=1168 FILE ID=node009/2665698-1276268928 PBS_JOBID= 11172202 Free space on /tmp= 62432 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665698-1276268928/watcher-2665698-1276268928 -o /tmp/evaluation-result-2665698-1276268928/solver-2665698-1276268928 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665698-1276268928.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8964c43535341fcc69e672675167b77 RANDOM SEED=1286547988 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1596252 kB Buffers: 43472 kB Cached: 294076 kB SwapCached: 0 kB Active: 153268 kB Inactive: 243400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1596252 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6212 kB Writeback: 0 kB AnonPages: 59172 kB Mapped: 15392 kB Slab: 44320 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180596 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= 62424 MiB End job on node009 at 2010-06-11 17:38:51