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.8 | 1801.31 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb |
MD5SUM | bcdf4c9a1de867d3db370c95867fefb5 |
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 | 1.66275 |
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 | 4632 |
Total number of constraints | 30964 |
Number of constraints which are clauses | 29940 |
Number of constraints which are cardinality constraints (but not clauses) | 946 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 104 |
Number of bits of the biggest sum of numbers | 7 |
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-2666011-1276342653.opb> 0.49/0.56 c original problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints 0.49/0.56 c problem read 0.49/0.56 c No objective function, only one solution is needed. 0.49/0.56 c presolving settings loaded 0.59/0.69 c presolving: 0.99/1.07 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30964 upgd conss, 0 impls, 946 clqs 1.09/1.15 c presolving (2 rounds): 1.09/1.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients 1.09/1.15 c 0 implications, 1462 cliques 1.09/1.15 c presolved problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints 1.09/1.15 c 78 constraints of type <knapsack> 1.09/1.15 c 946 constraints of type <setppc> 1.09/1.15 c 29940 constraints of type <logicor> 1.09/1.15 c transformed objective value is always integral (scale: 1) 1.09/1.15 c Presolving Time: 0.40 1.09/1.15 c - non default parameters ---------------------------------------------------------------------- 1.09/1.15 c # SCIP version 1.2.1.2 1.09/1.15 c 1.09/1.15 c # frequency for displaying node information lines 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 100] 1.09/1.15 c display/freq = 10000 1.09/1.15 c 1.09/1.15 c # maximal time in seconds to run 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.09/1.15 c limits/time = 1799.45 1.09/1.15 c 1.09/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.09/1.15 c limits/memory = 1620 1.09/1.15 c 1.09/1.15 c # solving stops, if the given number of solutions were found (-1: no limit) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.15 c limits/solutions = 1 1.09/1.15 c 1.09/1.15 c # maximal number of separation rounds per node (-1: unlimited) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 5] 1.09/1.15 c separating/maxrounds = 1 1.09/1.15 c 1.09/1.15 c # maximal number of separation rounds in the root node (-1: unlimited) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.15 c separating/maxroundsroot = 5 1.09/1.15 c 1.09/1.15 c # should presolving try to simplify inequalities 1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.09/1.15 c constraints/linear/simplifyinequalities = TRUE 1.09/1.15 c 1.09/1.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.09/1.15 c constraints/knapsack/disaggregation = FALSE 1.09/1.15 c 1.09/1.15 c # should presolving try to simplify knapsacks 1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.09/1.15 c constraints/knapsack/simplifyinequalities = TRUE 1.09/1.15 c 1.09/1.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.15 c presolving/probing/maxrounds = 0 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/coefdiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/coefdiving/maxlpiterquot = 0.075 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/coefdiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 30] 1.09/1.15 c heuristics/crossover/freq = -1 1.09/1.15 c 1.09/1.15 c # number of nodes added to the contingent of the total nodes 1.09/1.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.09/1.15 c heuristics/crossover/nodesofs = 750 1.09/1.15 c 1.09/1.15 c # number of nodes without incumbent change that heuristic should wait 1.09/1.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.09/1.15 c heuristics/crossover/nwaitingnodes = 100 1.09/1.15 c 1.09/1.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.09/1.15 c # [type: real, range: [0,1], default: 0.1] 1.09/1.15 c heuristics/crossover/nodesquot = 0.15 1.09/1.15 c 1.09/1.15 c # minimum percentage of integer variables that have to be fixed 1.09/1.15 c # [type: real, range: [0,1], default: 0.666] 1.09/1.15 c heuristics/crossover/minfixingrate = 0.5 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.15 c heuristics/feaspump/freq = -1 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/feaspump/maxlpiterofs = 2000 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/fracdiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/fracdiving/maxlpiterquot = 0.075 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/fracdiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/guideddiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/guideddiving/maxlpiterquot = 0.075 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/guideddiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/intdiving/maxlpiterquot = 0.075 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/intshifting/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/linesearchdiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/nlp/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.15 c heuristics/objpscostdiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to total iteration number 1.09/1.15 c # [type: real, range: [0,1], default: 0.01] 1.09/1.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/oneopt/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/pscostdiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/pscostdiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.15 c heuristics/rens/freq = -1 1.09/1.15 c 1.09/1.15 c # minimum percentage of integer variables that have to be fixable 1.09/1.15 c # [type: real, range: [0,1], default: 0.5] 1.09/1.15 c heuristics/rens/minfixingrate = 0.3 1.09/1.15 c 1.09/1.15 c # number of nodes added to the contingent of the total nodes 1.09/1.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.09/1.15 c heuristics/rens/nodesofs = 2000 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.15 c heuristics/rootsoldiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.09/1.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/rounding/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/shifting/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/simplerounding/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.15 c heuristics/trivial/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/trysol/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/veclendiving/freq = -1 1.09/1.15 c 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/veclendiving/maxlpiterquot = 0.075 1.09/1.15 c 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/veclendiving/maxlpiterofs = 1500 1.09/1.15 c 1.09/1.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/zirounding/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.15 c separating/cmir/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.15 c separating/flowcover/freq = -1 1.09/1.15 c 1.09/1.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.15 c separating/rapidlearning/freq = 0 1.09/1.15 c 1.09/1.15 c ----------------------------------------------------------------------------------------------- 1.09/1.15 c start solving 1.09/1.16 c 13.58/13.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.58/13.68 c 12.8s| 1 | 0 | 3446 | - | 44M| 0 | 691 |4632 | 30k|4632 | 30k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 284.60/284.77 c 283s| 1 | 0 | 35744 | - | 57M| 0 | 615 |4632 | 30k|4632 | 31k| 62 | 0 | 0 | 0.000000e+00 | -- | Inf 522.74/522.98 c 520s| 1 | 0 | 65915 | - | 73M| 0 | 645 |4632 | 30k|4632 | 31k| 104 | 0 | 0 | 0.000000e+00 | -- | Inf 758.18/758.40 c 754s| 1 | 0 | 95579 | - | 87M| 0 | 607 |4632 | 30k|4632 | 31k| 152 | 0 | 0 | 0.000000e+00 | -- | Inf 995.71/996.09 c 990s| 1 | 0 |125271 | - | 101M| 0 | 589 |4632 | 30k|4632 | 31k| 196 | 0 | 0 | 0.000000e+00 | -- | Inf 1253.24/1253.64 c 1247s| 1 | 0 |156846 | - | 114M| 0 | 571 |4632 | 30k|4632 | 31k| 229 | 0 | 0 | 0.000000e+00 | -- | Inf 1396.51/1396.90 c 1389s| 1 | 2 |156846 | - | 114M| 0 | 571 |4632 | 30k|4632 | 31k| 229 | 0 | 33 | 0.000000e+00 | -- | Inf 1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.58/1801.13 c 1800.58/1801.13 c SCIP Status : solving was interrupted [user interrupt] 1800.58/1801.13 c Solving Time (sec) : 1784.74 1800.58/1801.13 c Solving Nodes : 16 1800.58/1801.13 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.58/1801.13 c Dual Bound : +0.00000000000000e+00 1800.58/1801.13 c Gap : infinite 1800.58/1801.13 s UNKNOWN 1800.58/1801.13 c SCIP Status : solving was interrupted [user interrupt] 1800.58/1801.13 c Solving Time : 1784.74 1800.58/1801.13 c Original Problem : 1800.58/1801.13 c Problem name : HOME/instance-2666011-1276342653.opb 1800.58/1801.13 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.58/1801.13 c Constraints : 30964 initial, 30964 maximal 1800.58/1801.13 c Presolved Problem : 1800.58/1801.13 c Problem name : t_HOME/instance-2666011-1276342653.opb 1800.58/1801.13 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.58/1801.13 c Constraints : 30964 initial, 30964 maximal 1800.58/1801.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.58/1801.13 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.58/1801.13 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.58/1801.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.58/1801.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.58/1801.13 c implics : 0.00 0 0 0 0 0 0 0 0 1800.58/1801.13 c probing : 0.00 0 0 0 0 0 0 0 0 1800.58/1801.13 c knapsack : 0.02 0 0 0 0 0 0 0 84 1800.58/1801.13 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.58/1801.13 c logicor : 0.08 0 0 0 0 0 0 0 0 1800.58/1801.13 c root node : - 0 - - 0 - - - - 1800.58/1801.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.58/1801.13 c integral : 0 0 0 16 0 0 0 0 0 32 1800.58/1801.13 c knapsack : 78 5 28 0 0 0 116 285 0 0 1800.58/1801.13 c setppc : 946 5 28 0 0 0 174 0 0 0 1800.58/1801.13 c logicor : 29940 5 12 0 0 0 0 0 0 0 1800.58/1801.13 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.58/1801.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.58/1801.13 c integral : 527.27 0.00 0.00 527.27 0.00 1800.58/1801.13 c knapsack : 0.03 0.02 0.01 0.00 0.00 1800.58/1801.13 c setppc : 0.00 0.00 0.00 0.00 0.00 1800.58/1801.13 c logicor : 0.03 0.00 0.03 0.00 0.00 1800.58/1801.13 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.58/1801.13 c Propagators : Time Calls Cutoffs DomReds 1800.58/1801.13 c vbounds : 0.00 1 0 0 1800.58/1801.13 c rootredcost : 0.00 0 0 0 1800.58/1801.13 c pseudoobj : 0.00 0 0 0 1800.58/1801.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.58/1801.13 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.58/1801.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.58/1801.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.58/1801.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.58/1801.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.58/1801.13 c applied globally : - - - 0 0.0 - - - 1800.58/1801.13 c applied locally : - - - 0 0.0 - - - 1800.58/1801.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.58/1801.13 c cut pool : 0.05 4 - - 3 - (maximal pool size: 1885) 1800.58/1801.13 c redcost : 0.00 20 0 0 0 0 1800.58/1801.13 c impliedbounds : 0.00 5 0 0 0 0 1800.58/1801.13 c intobj : 0.00 0 0 0 0 0 1800.58/1801.13 c cgmip : 0.00 0 0 0 0 0 1800.58/1801.13 c gomory : 13.62 5 0 0 2500 0 1800.58/1801.13 c strongcg : 6.77 5 0 0 2500 0 1800.58/1801.13 c cmir : 0.00 0 0 0 0 0 1800.58/1801.13 c flowcover : 0.00 0 0 0 0 0 1800.58/1801.13 c clique : 0.11 5 0 0 30 0 1800.58/1801.13 c zerohalf : 0.00 0 0 0 0 0 1800.58/1801.13 c mcf : 0.05 1 0 0 0 0 1800.58/1801.13 c rapidlearning : 0.00 0 0 0 0 0 1800.58/1801.13 c Pricers : Time Calls Vars 1800.58/1801.13 c problem variables: 0.00 0 0 1800.58/1801.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.58/1801.13 c relpscost : 527.27 16 0 0 0 0 32 1800.58/1801.13 c pscost : 0.00 0 0 0 0 0 0 1800.58/1801.13 c inference : 0.00 0 0 0 0 0 0 1800.58/1801.13 c mostinf : 0.00 0 0 0 0 0 0 1800.58/1801.13 c leastinf : 0.00 0 0 0 0 0 0 1800.58/1801.13 c fullstrong : 0.00 0 0 0 0 0 0 1800.58/1801.13 c allfullstrong : 0.00 0 0 0 0 0 0 1800.58/1801.13 c random : 0.00 0 0 0 0 0 0 1800.58/1801.13 c Primal Heuristics : Time Calls Found 1800.58/1801.13 c LP solutions : 0.00 - 0 1800.58/1801.13 c pseudo solutions : 0.00 - 0 1800.58/1801.13 c trivial : 0.01 1 0 1800.58/1801.13 c simplerounding : 0.00 0 0 1800.58/1801.13 c zirounding : 0.00 0 0 1800.58/1801.13 c rounding : 0.00 0 0 1800.58/1801.13 c shifting : 0.00 0 0 1800.58/1801.13 c intshifting : 0.00 0 0 1800.58/1801.13 c oneopt : 0.00 0 0 1800.58/1801.13 c twoopt : 0.00 0 0 1800.58/1801.13 c fixandinfer : 0.00 0 0 1800.58/1801.13 c feaspump : 0.00 0 0 1800.58/1801.13 c coefdiving : 0.00 0 0 1800.58/1801.13 c pscostdiving : 0.00 0 0 1800.58/1801.13 c fracdiving : 0.00 0 0 1800.58/1801.13 c veclendiving : 0.00 0 0 1800.58/1801.13 c intdiving : 0.00 0 0 1800.58/1801.13 c actconsdiving : 0.00 0 0 1800.58/1801.13 c objpscostdiving : 0.00 0 0 1800.58/1801.13 c rootsoldiving : 0.00 0 0 1800.58/1801.13 c linesearchdiving : 0.00 0 0 1800.58/1801.13 c guideddiving : 0.00 0 0 1800.58/1801.13 c octane : 0.00 0 0 1800.58/1801.13 c rens : 0.00 0 0 1800.58/1801.13 c rins : 0.00 0 0 1800.58/1801.13 c localbranching : 0.00 0 0 1800.58/1801.13 c mutation : 0.00 0 0 1800.58/1801.13 c crossover : 0.00 0 0 1800.58/1801.13 c dins : 0.00 0 0 1800.58/1801.13 c undercover : 0.00 0 0 1800.58/1801.13 c nlp : 0.00 0 0 1800.58/1801.13 c trysol : 0.00 0 0 1800.58/1801.13 c LP : Time Calls Iterations Iter/call Iter/sec 1800.58/1801.13 c primal LP : 0.03 0 0 0.00 0.00 1800.58/1801.13 c dual LP : 1235.54 21 159418 7591.33 129.03 1800.58/1801.13 c lex dual LP : 0.00 0 0 0.00 - 1800.58/1801.13 c barrier LP : 0.00 0 0 0.00 - 1800.58/1801.13 c diving/probing LP: 0.00 0 0 0.00 - 1800.58/1801.13 c strong branching : 527.25 626 149540 238.88 283.62 1800.58/1801.13 c (at root node) : - 33 32826 994.73 - 1800.58/1801.13 c conflict analysis: 0.00 0 0 0.00 - 1800.58/1801.13 c B&B Tree : 1800.58/1801.13 c number of runs : 1 1800.58/1801.13 c nodes : 16 1800.58/1801.13 c nodes (total) : 16 1800.58/1801.13 c nodes left : 17 1800.58/1801.13 c max depth : 7 1800.58/1801.13 c max depth (total): 7 1800.58/1801.13 c backtracks : 2 (12.5%) 1800.58/1801.13 c delayed cutoffs : 0 1800.58/1801.13 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.58/1801.13 c avg switch length: 1.88 1800.58/1801.13 c switching time : 0.04 1800.58/1801.13 c Solution : 1800.58/1801.13 c Solutions found : 0 (0 improvements) 1800.58/1801.13 c Primal Bound : - 1800.58/1801.13 c Dual Bound : +0.00000000000000e+00 1800.58/1801.13 c Gap : infinite 1800.58/1801.13 c Root Dual Bound : +0.00000000000000e+00 1800.58/1801.13 c Root Iterations : 156846 1800.78/1801.30 c Time complete: 1800.78.
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-2666011-1276342653/watcher-2666011-1276342653 -o /tmp/evaluation-result-2666011-1276342653/solver-2666011-1276342653 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666011-1276342653.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.00 1.00 1.00 3/106 9835 /proc/meminfo: memFree=1495664/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=9288 CPUtime=0 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 1095 0 0 0 0 0 0 0 22 0 1 0 9867032 9510912 1015 1992294400 4194304 9819077 140736133874736 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9835/statm: 2322 1026 371 1374 0 943 0 [startup+0.0110479 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9835 /proc/meminfo: memFree=1495664/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=10560 CPUtime=0 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 1561 0 0 0 0 0 0 0 22 0 1 0 9867032 10813440 1481 1992294400 4194304 9819077 140736133874736 18446744073709551615 5652217 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9835/statm: 2640 1486 386 1374 0 1261 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10560 [startup+0.101058 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9835 /proc/meminfo: memFree=1495664/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=17248 CPUtime=0.09 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 3255 0 0 0 8 1 0 0 22 0 1 0 9867032 17661952 3175 1992294400 4194304 9819077 140736133874736 18446744073709551615 5649697 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9835/statm: 4312 3175 386 1374 0 2933 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17248 [startup+0.301079 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9835 /proc/meminfo: memFree=1495664/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=22512 CPUtime=0.29 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 4546 0 0 0 27 2 0 0 22 0 1 0 9867032 23052288 4466 1992294400 4194304 9819077 140736133874736 18446744073709551615 8586086 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9835/statm: 5628 4466 386 1374 0 4249 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22512 [startup+0.701123 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9835 /proc/meminfo: memFree=1495664/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=55944 CPUtime=0.69 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 13099 0 0 0 65 4 0 0 24 0 1 0 9867032 57286656 12665 1992294400 4194304 9819077 140736133874736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 13986 12665 478 1374 0 12607 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55944 [startup+1.50121 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9836 /proc/meminfo: memFree=1440848/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=105016 CPUtime=1.49 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 27255 0 0 0 134 15 0 0 25 0 1 0 9867032 107536384 21859 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 26254 21859 629 1374 0 24875 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 105016 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9836 /proc/meminfo: memFree=1408980/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=107412 CPUtime=3.09 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 30527 0 0 0 291 18 0 0 25 0 1 0 9867032 109989888 22365 1992294400 4194304 9819077 140736133874736 18446744073709551615 7294771 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 26853 22365 632 1374 0 25474 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 107412 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9836 /proc/meminfo: memFree=1409600/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=108952 CPUtime=6.29 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 34244 0 0 0 608 21 0 0 25 0 1 0 9867032 111566848 22589 1992294400 4194304 9819077 140736133874736 18446744073709551615 7326177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 27238 22589 632 1374 0 25859 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 108952 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9838 /proc/meminfo: memFree=1406500/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=109040 CPUtime=12.68 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 41418 0 0 0 1242 26 0 0 25 0 1 0 9867032 111656960 22283 1992294400 4194304 9819077 140736133874736 18446744073709551615 7294720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 27260 22283 632 1374 0 25881 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 109040 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9838 /proc/meminfo: memFree=1384676/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=134116 CPUtime=25.48 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 56285 0 0 0 2512 36 0 0 25 0 1 0 9867032 137334784 28333 1992294400 4194304 9819077 140736133874736 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 33529 28333 666 1374 0 32150 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 134116 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9838 /proc/meminfo: memFree=1386660/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=140348 CPUtime=51.06 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 76405 0 0 0 5056 50 0 0 25 0 1 0 9867032 143716352 28156 1992294400 4194304 9819077 140736133874736 18446744073709551615 7300423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 35087 28156 666 1374 0 33708 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 140348 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9840 /proc/meminfo: memFree=1382072/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=140768 CPUtime=102.25 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 109112 0 0 0 10154 71 0 0 25 0 1 0 9867032 144146432 28903 1992294400 4194304 9819077 140736133874736 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 35192 28903 666 1374 0 33813 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 140768 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9842 /proc/meminfo: memFree=1386164/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=139492 CPUtime=162.23 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 147541 0 0 0 16121 102 0 0 25 0 1 0 9867032 142839808 28329 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 34873 28329 666 1374 0 33494 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 139492 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9842 /proc/meminfo: memFree=1384180/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=137332 CPUtime=222.21 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 187778 0 0 0 22093 128 0 0 25 0 1 0 9867032 140627968 28391 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 34333 28391 666 1374 0 32954 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 137332 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9844 /proc/meminfo: memFree=1386412/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=131292 CPUtime=282.2 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 227467 0 0 0 28062 158 0 0 25 0 1 0 9867032 134443008 27983 1992294400 4194304 9819077 140736133874736 18446744073709551615 7309045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 32823 27983 666 1374 0 31444 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 131292 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9846 /proc/meminfo: memFree=1366944/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=156772 CPUtime=342.18 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 272357 0 0 0 34031 187 0 0 25 0 1 0 9867032 160534528 32661 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 39193 32661 666 1374 0 37814 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 156772 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9848 /proc/meminfo: memFree=1370044/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=155872 CPUtime=402.17 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 307747 0 0 0 40005 212 0 0 25 0 1 0 9867032 159612928 32432 1992294400 4194304 9819077 140736133874736 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 38968 32432 666 1374 0 37589 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 155872 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9850 /proc/meminfo: memFree=1370168/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=153180 CPUtime=462.16 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 341862 0 0 0 45976 240 0 0 25 0 1 0 9867032 156856320 31916 1992294400 4194304 9819077 140736133874736 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 38295 31916 666 1374 0 36916 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 153180 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9850 /proc/meminfo: memFree=1370044/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=147356 CPUtime=522.13 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 377580 0 0 0 51946 267 0 0 25 0 1 0 9867032 150892544 31445 1992294400 4194304 9819077 140736133874736 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 36839 31445 666 1374 0 35460 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 147356 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9852 /proc/meminfo: memFree=1350080/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=172728 CPUtime=582.12 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 421043 0 0 0 57912 300 0 0 25 0 1 0 9867032 176873472 36870 1992294400 4194304 9819077 140736133874736 18446744073709551615 7298114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 43182 36870 666 1374 0 41803 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 172728 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9854 /proc/meminfo: memFree=1353180/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=171960 CPUtime=642.11 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 458669 0 0 0 63884 327 0 0 25 0 1 0 9867032 176087040 36007 1992294400 4194304 9819077 140736133874736 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 42990 36007 666 1374 0 41611 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 171960 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9864 /proc/meminfo: memFree=1325652/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=193300 CPUtime=1002.01 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 698848 0 0 0 99695 506 0 0 25 0 1 0 9867032 197939200 42923 1992294400 4194304 9819077 140736133874736 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 48325 42923 666 1374 0 46946 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 193300 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9866 /proc/meminfo: memFree=1324660/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=203084 CPUtime=1062 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 737820 0 0 0 105664 536 0 0 25 0 1 0 9867032 207958016 43780 1992294400 4194304 9819077 140736133874736 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 50771 43780 666 1374 0 49392 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 203084 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9866 /proc/meminfo: memFree=1322180/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=202000 CPUtime=1121.98 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 772904 0 0 0 111640 558 0 0 25 0 1 0 9867032 206848000 43741 1992294400 4194304 9819077 140736133874736 18446744073709551615 7295711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 50500 43741 666 1374 0 49121 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 202000 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9868 /proc/meminfo: memFree=1327388/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=199440 CPUtime=1181.97 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 807534 0 0 0 117612 585 0 0 25 0 1 0 9867032 204226560 43088 1992294400 4194304 9819077 140736133874736 18446744073709551615 7309071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 49860 43088 666 1374 0 48481 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 199440 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9870 /proc/meminfo: memFree=1327016/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=193384 CPUtime=1241.94 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 841184 0 0 0 123581 613 0 0 25 0 1 0 9867032 198025216 42726 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 48346 42726 666 1374 0 46967 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 193384 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9872 /proc/meminfo: memFree=1323420/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=212204 CPUtime=1301.93 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 898342 0 0 0 129541 652 0 0 25 0 1 0 9867032 217296896 43323 1992294400 4194304 9819077 140736133874736 18446744073709551615 7298615 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 53051 43323 675 1374 0 51672 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 212204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9874 /proc/meminfo: memFree=1323792/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=212204 CPUtime=1361.92 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 958098 0 0 0 135496 696 0 0 25 0 1 0 9867032 217296896 43107 1992294400 4194304 9819077 140736133874736 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 53051 43107 675 1374 0 51672 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 212204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9883 /proc/meminfo: memFree=1325032/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=209836 CPUtime=1421.89 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 1060763 0 0 0 141433 756 0 0 25 0 1 0 9867032 214872064 42855 1992294400 4194304 9819077 140736133874736 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52459 42855 684 1374 0 51080 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 209836 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9885 /proc/meminfo: memFree=1325776/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=210184 CPUtime=1481.87 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 1282857 0 0 0 147322 865 0 0 25 0 1 0 9867032 215228416 42643 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52546 42643 685 1374 0 51167 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 210184 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9887 /proc/meminfo: memFree=1325280/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=210400 CPUtime=1541.85 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 1603803 0 0 0 153171 1014 0 0 25 0 1 0 9867032 215449600 42691 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52600 42691 685 1374 0 51221 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 210400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9889 /proc/meminfo: memFree=1324660/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=211520 CPUtime=1601.84 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 1905920 0 0 0 159031 1153 0 0 25 0 1 0 9867032 216596480 43008 1992294400 4194304 9819077 140736133874736 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52880 43008 699 1374 0 51501 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 211520 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9891 /proc/meminfo: memFree=1324660/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=211444 CPUtime=1661.82 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 2099120 0 0 0 164930 1252 0 0 25 0 1 0 9867032 216518656 42994 1992294400 4194304 9819077 140736133874736 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52861 42994 699 1374 0 51482 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 211444 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9891 /proc/meminfo: memFree=1323668/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=211952 CPUtime=1721.8 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 2389029 0 0 0 170790 1390 0 0 25 0 1 0 9867032 217038848 43042 1992294400 4194304 9819077 140736133874736 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52988 43042 699 1374 0 51609 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 211952 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9893 /proc/meminfo: memFree=1324536/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=211904 CPUtime=1781.79 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 2617662 0 0 0 176676 1503 0 0 25 0 1 0 9867032 216989696 43074 1992294400 4194304 9819077 140736133874736 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52976 43074 699 1374 0 51597 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 211904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9893 /proc/meminfo: memFree=1324536/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=211780 CPUtime=1800.1 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 2690351 0 0 0 178475 1535 0 0 25 0 1 0 9867032 216862720 43030 1992294400 4194304 9819077 140736133874736 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52945 43030 699 1374 0 51566 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 211780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9893 /proc/meminfo: memFree=1324536/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=211904 CPUtime=1800.48 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 2691051 0 0 0 178513 1535 0 0 25 0 1 0 9867032 216989696 43066 1992294400 4194304 9819077 140736133874736 18446744073709551615 7304805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9835/statm: 52976 43066 699 1374 0 51597 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (KiB) 211904 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9893 /proc/meminfo: memFree=1324536/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=144012 CPUtime=1800.68 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 2691641 0 0 0 178532 1536 0 0 25 0 1 0 9867032 147468288 30215 1992294400 4194304 9819077 140736133874736 18446744073709551615 6027304 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9835/statm: 36003 30215 703 1374 0 34624 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (KiB) 144012 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9893 /proc/meminfo: memFree=1324536/2059040 swapFree=4192956/4192956 [pid=9835] ppid=9833 vsize=30024 CPUtime=1800.78 /proc/9835/stat : 9835 (pbscip.linux.x8) R 9833 9835 9595 0 -1 4202496 2691645 0 0 0 178541 1537 0 0 25 0 1 0 9867032 30744576 6725 1992294400 4194304 9819077 140736133874736 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9835/statm: 7506 6725 707 1374 0 6127 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 30024 Child status: 0 Real time (s): 1801.31 CPU time (s): 1800.8 CPU user time (s): 1785.42 CPU system time (s): 15.3807 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 214196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.42 system time used= 15.3807 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2691654 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= 8 involuntary context switches= 5896 runsolver used 2.84457 second user time and 8.64869 second system time The end
Begin job on node009 at 2010-06-12 13:37:33 IDJOB=2666011 IDBENCH=1497 IDSOLVER=1168 FILE ID=node009/2666011-1276342653 PBS_JOBID= 11173189 Free space on /tmp= 62440 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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.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-2666011-1276342653/watcher-2666011-1276342653 -o /tmp/evaluation-result-2666011-1276342653/solver-2666011-1276342653 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666011-1276342653.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bcdf4c9a1de867d3db370c95867fefb5 RANDOM SEED=1326080071 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: 1496192 kB Buffers: 106152 kB Cached: 327828 kB SwapCached: 0 kB Active: 181984 kB Inactive: 311132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1496192 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7256 kB Writeback: 0 kB AnonPages: 59188 kB Mapped: 15412 kB Slab: 47988 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180436 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= 62436 MiB End job on node009 at 2010-06-12 14:07:35