Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.97 | 1801.54 |
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: SoPlex 1.4.2] [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-2667441-1276342877.opb> 0.49/0.57 c original problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints 0.49/0.57 c problem read 0.49/0.57 c No objective function, only one solution is needed. 0.49/0.57 c presolving settings loaded 0.69/0.70 c presolving: 1.00/1.09 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.10/1.17 c presolving (2 rounds): 1.10/1.17 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients 1.10/1.17 c 0 implications, 1462 cliques 1.10/1.17 c presolved problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints 1.10/1.17 c 78 constraints of type <knapsack> 1.10/1.17 c 946 constraints of type <setppc> 1.10/1.17 c 29940 constraints of type <logicor> 1.10/1.17 c transformed objective value is always integral (scale: 1) 1.10/1.17 c Presolving Time: 0.41 1.10/1.17 c - non default parameters ---------------------------------------------------------------------- 1.10/1.17 c # SCIP version 1.2.1.2 1.10/1.17 c 1.10/1.17 c # frequency for displaying node information lines 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 100] 1.10/1.17 c display/freq = 10000 1.10/1.17 c 1.10/1.17 c # maximal time in seconds to run 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.17 c limits/time = 1799.44 1.10/1.17 c 1.10/1.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.17 c limits/memory = 1620 1.10/1.17 c 1.10/1.17 c # solving stops, if the given number of solutions were found (-1: no limit) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.17 c limits/solutions = 1 1.10/1.17 c 1.10/1.17 c # maximal number of separation rounds per node (-1: unlimited) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 5] 1.10/1.17 c separating/maxrounds = 1 1.10/1.17 c 1.10/1.17 c # maximal number of separation rounds in the root node (-1: unlimited) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.17 c separating/maxroundsroot = 5 1.10/1.17 c 1.10/1.17 c # should presolving try to simplify inequalities 1.10/1.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.17 c constraints/linear/simplifyinequalities = TRUE 1.10/1.17 c 1.10/1.17 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.10/1.17 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.10/1.17 c constraints/knapsack/disaggregation = FALSE 1.10/1.17 c 1.10/1.17 c # should presolving try to simplify knapsacks 1.10/1.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.17 c constraints/knapsack/simplifyinequalities = TRUE 1.10/1.17 c 1.10/1.17 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.17 c presolving/probing/maxrounds = 0 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.17 c heuristics/coefdiving/freq = -1 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.17 c heuristics/coefdiving/maxlpiterquot = 0.075 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/coefdiving/maxlpiterofs = 1500 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 30] 1.10/1.17 c heuristics/crossover/freq = -1 1.10/1.17 c 1.10/1.17 c # number of nodes added to the contingent of the total nodes 1.10/1.17 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.17 c heuristics/crossover/nodesofs = 750 1.10/1.17 c 1.10/1.17 c # number of nodes without incumbent change that heuristic should wait 1.10/1.17 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.10/1.17 c heuristics/crossover/nwaitingnodes = 100 1.10/1.17 c 1.10/1.17 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.10/1.17 c # [type: real, range: [0,1], default: 0.1] 1.10/1.17 c heuristics/crossover/nodesquot = 0.15 1.10/1.17 c 1.10/1.17 c # minimum percentage of integer variables that have to be fixed 1.10/1.17 c # [type: real, range: [0,1], default: 0.666] 1.10/1.17 c heuristics/crossover/minfixingrate = 0.5 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.17 c heuristics/feaspump/freq = -1 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/feaspump/maxlpiterofs = 2000 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.17 c heuristics/fracdiving/freq = -1 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.17 c heuristics/fracdiving/maxlpiterquot = 0.075 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/fracdiving/maxlpiterofs = 1500 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.17 c heuristics/guideddiving/freq = -1 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.17 c heuristics/guideddiving/maxlpiterquot = 0.075 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/guideddiving/maxlpiterofs = 1500 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.17 c heuristics/intdiving/maxlpiterquot = 0.075 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.17 c heuristics/intshifting/freq = -1 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.17 c heuristics/linesearchdiving/freq = -1 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.17 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.17 c heuristics/nlp/freq = -1 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.17 c heuristics/objpscostdiving/freq = -1 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to total iteration number 1.10/1.17 c # [type: real, range: [0,1], default: 0.01] 1.10/1.17 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.17 c heuristics/oneopt/freq = -1 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.17 c heuristics/pscostdiving/freq = -1 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.17 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/pscostdiving/maxlpiterofs = 1500 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.17 c heuristics/rens/freq = -1 1.10/1.17 c 1.10/1.17 c # minimum percentage of integer variables that have to be fixable 1.10/1.17 c # [type: real, range: [0,1], default: 0.5] 1.10/1.17 c heuristics/rens/minfixingrate = 0.3 1.10/1.17 c 1.10/1.17 c # number of nodes added to the contingent of the total nodes 1.10/1.17 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.17 c heuristics/rens/nodesofs = 2000 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.10/1.17 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.17 c heuristics/rootsoldiving/freq = -1 1.10/1.17 c 1.10/1.17 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.17 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.10/1.17 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.10/1.17 c 1.10/1.17 c # additional number of allowed LP iterations 1.10/1.17 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.17 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.10/1.17 c 1.10/1.17 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.18 c heuristics/rounding/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/shifting/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.18 c heuristics/simplerounding/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.18 c heuristics/trivial/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.18 c heuristics/trysol/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/veclendiving/freq = -1 1.10/1.18 c 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/veclendiving/maxlpiterquot = 0.075 1.10/1.18 c 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/veclendiving/maxlpiterofs = 1500 1.10/1.18 c 1.10/1.18 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.18 c heuristics/zirounding/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.18 c separating/cmir/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.18 c separating/flowcover/freq = -1 1.10/1.18 c 1.10/1.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.18 c separating/rapidlearning/freq = 0 1.10/1.18 c 1.10/1.18 c ----------------------------------------------------------------------------------------------- 1.10/1.18 c start solving 1.10/1.18 c 16.29/16.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 16.29/16.31 c 15.5s| 1 | 0 | 4933 | - | 44M| 0 | 629 |4632 | 30k|4632 | 30k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 53.88/53.93 c 50.5s| 1 | 0 | 9525 | - | 58M| 0 | 655 |4632 | 30k|4632 | 31k| 68 | 0 | 0 | 0.000000e+00 | -- | Inf 85.45/85.55 c 79.4s| 1 | 0 | 12856 | - | 69M| 0 | 675 |4632 | 30k|4632 | 31k| 113 | 0 | 0 | 0.000000e+00 | -- | Inf 126.46/126.51 c 117s| 1 | 0 | 17435 | - | 79M| 0 | 669 |4632 | 30k|4632 | 31k| 149 | 0 | 0 | 0.000000e+00 | -- | Inf 154.74/154.85 c 143s| 1 | 0 | 19336 | - | 89M| 0 | 708 |4632 | 30k|4632 | 31k| 165 | 0 | 0 | 0.000000e+00 | -- | Inf 193.23/193.37 c 178s| 1 | 0 | 22798 | - | 99M| 0 | 706 |4632 | 30k|4632 | 31k| 181 | 0 | 0 | 0.000000e+00 | -- | Inf 348.97/349.19 c 332s| 1 | 2 | 22798 | - | 99M| 0 | 706 |4632 | 30k|4632 | 31k| 181 | 0 | 33 | 0.000000e+00 | -- | Inf 1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.71/1801.35 c 1800.71/1801.35 c SCIP Status : solving was interrupted [user interrupt] 1800.71/1801.35 c Solving Time (sec) : 1774.83 1800.71/1801.35 c Solving Nodes : 213 1800.71/1801.35 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.71/1801.35 c Dual Bound : +0.00000000000000e+00 1800.71/1801.35 c Gap : infinite 1800.71/1801.35 s UNKNOWN 1800.71/1801.35 c SCIP Status : solving was interrupted [user interrupt] 1800.71/1801.35 c Solving Time : 1774.83 1800.71/1801.35 c Original Problem : 1800.71/1801.35 c Problem name : HOME/instance-2667441-1276342877.opb 1800.71/1801.35 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.71/1801.35 c Constraints : 30964 initial, 30964 maximal 1800.71/1801.35 c Presolved Problem : 1800.71/1801.35 c Problem name : t_HOME/instance-2667441-1276342877.opb 1800.71/1801.35 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.71/1801.35 c Constraints : 30964 initial, 31042 maximal 1800.71/1801.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.71/1801.35 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.71/1801.35 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.71/1801.35 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.71/1801.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.71/1801.35 c implics : 0.00 0 0 0 0 0 0 0 0 1800.71/1801.35 c probing : 0.00 0 0 0 0 0 0 0 0 1800.71/1801.35 c knapsack : 0.01 0 0 0 0 0 0 0 84 1800.71/1801.35 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.71/1801.35 c logicor : 0.08 0 0 0 0 0 0 0 0 1800.71/1801.35 c root node : - 0 - - 0 - - - - 1800.71/1801.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.71/1801.35 c integral : 0 0 0 204 0 0 0 0 0 408 1800.71/1801.35 c knapsack : 78 5 529 0 0 0 1057 295 0 0 1800.71/1801.35 c setppc : 946 5 529 0 0 0 2111 0 0 0 1800.71/1801.35 c logicor : 29940+ 5 313 0 0 0 274 0 0 0 1800.71/1801.35 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.71/1801.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.71/1801.35 c integral : 1002.09 0.00 0.00 1002.09 0.00 1800.71/1801.35 c knapsack : 0.05 0.03 0.02 0.00 0.00 1800.71/1801.35 c setppc : 0.02 0.00 0.02 0.00 0.00 1800.71/1801.35 c logicor : 0.06 0.01 0.05 0.00 0.00 1800.71/1801.35 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.71/1801.35 c Propagators : Time Calls Cutoffs DomReds 1800.71/1801.35 c vbounds : 0.00 1 0 0 1800.71/1801.35 c rootredcost : 0.00 0 0 0 1800.71/1801.35 c pseudoobj : 0.00 0 0 0 1800.71/1801.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.71/1801.35 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.71/1801.35 c infeasible LP : 0.04 9 9 161 85.0 0 0.0 0 1800.71/1801.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.71/1801.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.71/1801.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.71/1801.35 c applied globally : - - - 78 76.3 - - - 1800.71/1801.35 c applied locally : - - - 0 0.0 - - - 1800.71/1801.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.71/1801.35 c cut pool : 0.02 4 - - 11 - (maximal pool size: 1374) 1800.71/1801.35 c redcost : 0.11 208 0 0 0 0 1800.71/1801.35 c impliedbounds : 0.01 5 0 0 0 0 1800.71/1801.35 c intobj : 0.00 0 0 0 0 0 1800.71/1801.35 c cgmip : 0.00 0 0 0 0 0 1800.71/1801.35 c gomory : 69.10 5 0 0 860 0 1800.71/1801.35 c strongcg : 11.19 5 0 0 2500 0 1800.71/1801.35 c cmir : 0.00 0 0 0 0 0 1800.71/1801.35 c flowcover : 0.00 0 0 0 0 0 1800.71/1801.35 c clique : 0.11 5 0 0 29 0 1800.71/1801.35 c zerohalf : 0.00 0 0 0 0 0 1800.71/1801.35 c mcf : 0.05 1 0 0 0 0 1800.71/1801.35 c rapidlearning : 0.00 0 0 0 0 0 1800.71/1801.35 c Pricers : Time Calls Vars 1800.71/1801.35 c problem variables: 0.00 0 0 1800.71/1801.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.71/1801.35 c relpscost : 1002.09 204 0 0 0 0 408 1800.71/1801.35 c pscost : 0.00 0 0 0 0 0 0 1800.71/1801.35 c inference : 0.00 0 0 0 0 0 0 1800.71/1801.35 c mostinf : 0.00 0 0 0 0 0 0 1800.71/1801.35 c leastinf : 0.00 0 0 0 0 0 0 1800.71/1801.35 c fullstrong : 0.00 0 0 0 0 0 0 1800.71/1801.35 c allfullstrong : 0.00 0 0 0 0 0 0 1800.71/1801.35 c random : 0.00 0 0 0 0 0 0 1800.71/1801.35 c Primal Heuristics : Time Calls Found 1800.71/1801.35 c LP solutions : 0.00 - 0 1800.71/1801.35 c pseudo solutions : 0.00 - 0 1800.71/1801.35 c trivial : 0.01 1 0 1800.71/1801.35 c simplerounding : 0.00 0 0 1800.71/1801.35 c zirounding : 0.00 0 0 1800.71/1801.35 c rounding : 0.00 0 0 1800.71/1801.35 c shifting : 0.00 0 0 1800.71/1801.35 c intshifting : 0.00 0 0 1800.71/1801.35 c oneopt : 0.00 0 0 1800.71/1801.35 c twoopt : 0.00 0 0 1800.71/1801.35 c fixandinfer : 0.00 0 0 1800.71/1801.35 c feaspump : 0.00 0 0 1800.71/1801.35 c coefdiving : 0.00 0 0 1800.71/1801.35 c pscostdiving : 0.00 0 0 1800.71/1801.35 c fracdiving : 0.00 0 0 1800.71/1801.35 c veclendiving : 0.00 0 0 1800.71/1801.35 c intdiving : 0.00 0 0 1800.71/1801.35 c actconsdiving : 0.00 0 0 1800.71/1801.35 c objpscostdiving : 0.00 0 0 1800.71/1801.35 c rootsoldiving : 0.00 0 0 1800.71/1801.35 c linesearchdiving : 0.00 0 0 1800.71/1801.35 c guideddiving : 0.00 0 0 1800.71/1801.35 c octane : 0.00 0 0 1800.71/1801.35 c rens : 0.00 0 0 1800.71/1801.35 c rins : 0.00 0 0 1800.71/1801.35 c localbranching : 0.00 0 0 1800.71/1801.35 c mutation : 0.00 0 0 1800.71/1801.35 c crossover : 0.00 0 0 1800.71/1801.35 c dins : 0.00 0 0 1800.71/1801.35 c undercover : 0.00 0 0 1800.71/1801.35 c nlp : 0.00 0 0 1800.71/1801.35 c trysol : 0.00 0 0 1800.71/1801.35 c LP : Time Calls Iterations Iter/call Iter/sec 1800.71/1801.35 c primal LP : 0.02 0 0 0.00 0.00 1800.71/1801.35 c dual LP : 688.31 216 157619 729.72 228.99 1800.71/1801.35 c lex dual LP : 0.00 0 0 0.00 - 1800.71/1801.35 c barrier LP : 0.00 0 0 0.00 - 1800.71/1801.35 c diving/probing LP: 0.00 0 0 0.00 - 1800.71/1801.35 c strong branching : 1002.04 246 218155 886.81 217.71 1800.71/1801.35 c (at root node) : - 33 32951 998.52 - 1800.71/1801.35 c conflict analysis: 0.00 0 0 0.00 - 1800.71/1801.35 c B&B Tree : 1800.71/1801.35 c number of runs : 1 1800.71/1801.35 c nodes : 213 1800.71/1801.35 c nodes (total) : 213 1800.71/1801.35 c nodes left : 196 1800.71/1801.35 c max depth : 107 1800.71/1801.35 c max depth (total): 107 1800.71/1801.35 c backtracks : 9 (4.2%) 1800.71/1801.35 c delayed cutoffs : 0 1800.71/1801.35 c repropagations : 35 (22 domain reductions, 0 cutoffs) 1800.71/1801.35 c avg switch length: 1.76 1800.71/1801.35 c switching time : 0.14 1800.71/1801.35 c Solution : 1800.71/1801.35 c Solutions found : 0 (0 improvements) 1800.71/1801.35 c Primal Bound : - 1800.71/1801.35 c Dual Bound : +0.00000000000000e+00 1800.71/1801.35 c Gap : infinite 1800.71/1801.35 c Root Dual Bound : +0.00000000000000e+00 1800.71/1801.35 c Root Iterations : 22798 1800.91/1801.54 c Time complete: 1800.96.
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-2667441-1276342877/watcher-2667441-1276342877 -o /tmp/evaluation-result-2667441-1276342877/solver-2667441-1276342877 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667441-1276342877.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.92 0.98 0.99 3/106 10795 /proc/meminfo: memFree=1571668/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=7724 CPUtime=0 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 9891477 7909376 961 1992294400 4194304 8223781 140733588723552 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10795/statm: 1931 971 348 984 0 944 0 [startup+0.0927449 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10795 /proc/meminfo: memFree=1571668/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=15688 CPUtime=0.09 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 3223 0 0 0 8 1 0 0 20 0 1 0 9891477 16064512 3142 1992294400 4194304 8223781 140733588723552 18446744073709551615 5647838 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10795/statm: 3922 3142 363 984 0 2935 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15688 [startup+0.101745 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10795 /proc/meminfo: memFree=1571668/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=15688 CPUtime=0.09 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 3224 0 0 0 8 1 0 0 20 0 1 0 9891477 16064512 3143 1992294400 4194304 8223781 140733588723552 18446744073709551615 5902678 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10795/statm: 3922 3143 363 984 0 2935 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15688 [startup+0.301767 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10795 /proc/meminfo: memFree=1571668/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=20948 CPUtime=0.29 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4524 0 0 0 28 1 0 0 20 0 1 0 9891477 21450752 4443 1992294400 4194304 8223781 140733588723552 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10795/statm: 5237 4443 363 984 0 4250 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20948 [startup+0.701812 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10795 /proc/meminfo: memFree=1571668/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=54556 CPUtime=0.69 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 13046 0 0 0 65 4 0 0 20 0 1 0 9891477 55865344 12575 1992294400 4194304 8223781 140733588723552 18446744073709551615 4332258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 13639 12575 412 984 0 12652 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54556 [startup+1.5019 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10796 /proc/meminfo: memFree=1513628/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=97068 CPUtime=1.49 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 28708 0 0 0 132 17 0 0 22 0 1 0 9891477 99397632 22465 1992294400 4194304 8223781 140733588723552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 24267 22465 534 984 0 23280 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 97068 [startup+3.10108 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10796 /proc/meminfo: memFree=1481512/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=99712 CPUtime=3.09 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 29874 0 0 0 291 18 0 0 25 0 1 0 9891477 102105088 23052 1992294400 4194304 8223781 140733588723552 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 24928 23052 538 984 0 23941 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99712 [startup+6.30143 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10796 /proc/meminfo: memFree=1480396/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=100604 CPUtime=6.29 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 31199 0 0 0 609 20 0 0 25 0 1 0 9891477 103018496 23185 1992294400 4194304 8223781 140733588723552 18446744073709551615 6537740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 25151 23185 538 984 0 24164 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 100604 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10798 /proc/meminfo: memFree=1479652/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=100796 CPUtime=12.69 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 33876 0 0 0 1247 22 0 0 25 0 1 0 9891477 103215104 23303 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 25199 23303 538 984 0 24212 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 100796 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/107 10798 /proc/meminfo: memFree=1480148/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=100304 CPUtime=25.48 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 467542 0 0 0 2374 174 0 0 25 0 1 0 9891477 102711296 23189 1992294400 4194304 8223781 140733588723552 18446744073709551615 6299976 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 25076 23189 553 984 0 24089 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 100304 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 10798 /proc/meminfo: memFree=1456588/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=127636 CPUtime=51.07 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 752814 0 0 0 4824 283 0 0 25 0 1 0 9891477 130699264 29082 1992294400 4194304 8223781 140733588723552 18446744073709551615 6571368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 31909 29082 586 984 0 30922 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 127636 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 10800 /proc/meminfo: memFree=1440592/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=143820 CPUtime=102.26 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 2304800 0 0 0 9407 819 0 0 25 0 1 0 9891477 147271680 33105 1992294400 4194304 8223781 140733588723552 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 35955 33105 586 984 0 34968 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 143820 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10802 /proc/meminfo: memFree=1413560/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=171916 CPUtime=162.24 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 3594281 0 0 0 14939 1285 0 0 25 0 1 0 9891477 176041984 39858 1992294400 4194304 8223781 140733588723552 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 42979 39858 586 984 0 41992 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 171916 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10802 /proc/meminfo: memFree=1399796/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185980 CPUtime=222.22 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4211265 0 0 0 20703 1519 0 0 25 0 1 0 9891477 190443520 43297 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46495 43297 589 984 0 45508 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 185980 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10804 /proc/meminfo: memFree=1399920/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185764 CPUtime=282.2 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4261705 0 0 0 26657 1563 0 0 25 0 1 0 9891477 190222336 43309 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46441 43309 589 984 0 45454 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 185764 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10806 /proc/meminfo: memFree=1399680/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185528 CPUtime=342.18 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4309667 0 0 0 32610 1608 0 0 25 0 1 0 9891477 189980672 42968 1992294400 4194304 8223781 140733588723552 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46382 42968 589 984 0 45395 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 185528 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10808 /proc/meminfo: memFree=1399680/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185212 CPUtime=402.16 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4361049 0 0 0 38568 1648 0 0 25 0 1 0 9891477 189657088 43262 1992294400 4194304 8223781 140733588723552 18446744073709551615 6358944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46303 43262 592 984 0 45316 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 185212 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10810 /proc/meminfo: memFree=1400672/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185120 CPUtime=462.14 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4412301 0 0 0 44525 1689 0 0 25 0 1 0 9891477 189562880 43266 1992294400 4194304 8223781 140733588723552 18446744073709551615 6562513 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46280 43266 592 984 0 45293 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 185120 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10810 /proc/meminfo: memFree=1399432/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185344 CPUtime=522.11 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4463179 0 0 0 50483 1728 0 0 25 0 1 0 9891477 189792256 43259 1992294400 4194304 8223781 140733588723552 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46336 43259 577 984 0 45349 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 185344 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10812 /proc/meminfo: memFree=1399432/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185456 CPUtime=582.1 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4512021 0 0 0 56439 1771 0 0 25 0 1 0 9891477 189906944 43269 1992294400 4194304 8223781 140733588723552 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46364 43269 577 984 0 45377 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 185456 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10814 /proc/meminfo: memFree=1399804/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185196 CPUtime=642.09 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4560586 0 0 0 62399 1810 0 0 25 0 1 0 9891477 189640704 43275 1992294400 4194304 8223781 140733588723552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46299 43275 577 984 0 45312 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 185196 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10824 /proc/meminfo: memFree=1399184/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185464 CPUtime=1001.96 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4882341 0 0 0 98133 2063 0 0 25 0 1 0 9891477 189915136 43297 1992294400 4194304 8223781 140733588723552 18446744073709551615 6520839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46366 43297 577 984 0 45379 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 185464 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10824 /proc/meminfo: memFree=1398936/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185600 CPUtime=1061.94 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4924809 0 0 0 104097 2097 0 0 25 0 1 0 9891477 190054400 43357 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46400 43357 577 984 0 45413 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 185600 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10826 /proc/meminfo: memFree=1398812/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185608 CPUtime=1121.92 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 4971411 0 0 0 110057 2135 0 0 25 0 1 0 9891477 190062592 43345 1992294400 4194304 8223781 140733588723552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46402 43345 577 984 0 45415 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 185608 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10828 /proc/meminfo: memFree=1398688/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185912 CPUtime=1181.91 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5026668 0 0 0 116017 2174 0 0 25 0 1 0 9891477 190373888 43080 1992294400 4194304 8223781 140733588723552 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46478 43080 577 984 0 45491 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 185912 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10839 /proc/meminfo: memFree=1397944/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=186088 CPUtime=1241.88 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5073752 0 0 0 121978 2210 0 0 25 0 1 0 9891477 190554112 43408 1992294400 4194304 8223781 140733588723552 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46522 43408 577 984 0 45535 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 186088 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10841 /proc/meminfo: memFree=1397944/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=186088 CPUtime=1301.87 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5113538 0 0 0 127944 2243 0 0 25 0 1 0 9891477 190554112 43431 1992294400 4194304 8223781 140733588723552 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46522 43431 577 984 0 45535 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 186088 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10841 /proc/meminfo: memFree=1398812/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=185828 CPUtime=1361.85 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5149955 0 0 0 133910 2275 0 0 25 0 1 0 9891477 190287872 43344 1992294400 4194304 8223781 140733588723552 18446744073709551615 6559356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46457 43344 577 984 0 45470 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 185828 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10843 /proc/meminfo: memFree=1397820/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=186236 CPUtime=1421.83 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5194616 0 0 0 139871 2312 0 0 25 0 1 0 9891477 190705664 43440 1992294400 4194304 8223781 140733588723552 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46559 43440 577 984 0 45572 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 186236 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10845 /proc/meminfo: memFree=1397944/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=186108 CPUtime=1481.81 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5223295 0 0 0 145835 2346 0 0 25 0 1 0 9891477 190574592 43433 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46527 43433 577 984 0 45540 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 186108 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10847 /proc/meminfo: memFree=1397696/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=186448 CPUtime=1541.8 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5256981 0 0 0 151801 2379 0 0 25 0 1 0 9891477 190922752 43533 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46612 43533 581 984 0 45625 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 186448 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10849 /proc/meminfo: memFree=1397820/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=186208 CPUtime=1601.77 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5296121 0 0 0 157761 2416 0 0 25 0 1 0 9891477 190676992 43503 1992294400 4194304 8223781 140733588723552 18446744073709551615 6559658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46552 43503 581 984 0 45565 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 186208 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10851 /proc/meminfo: memFree=1397200/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=187364 CPUtime=1661.76 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5324335 0 0 0 163727 2449 0 0 25 0 1 0 9891477 191860736 43652 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46841 43652 581 984 0 45854 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 187364 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10851 /proc/meminfo: memFree=1397200/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=187332 CPUtime=1721.74 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5365821 0 0 0 169685 2489 0 0 25 0 1 0 9891477 191827968 43667 1992294400 4194304 8223781 140733588723552 18446744073709551615 6569946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46833 43667 581 984 0 45846 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 187332 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10853 /proc/meminfo: memFree=1397572/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=187068 CPUtime=1781.72 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5403012 0 0 0 175646 2526 0 0 25 0 1 0 9891477 191557632 43356 1992294400 4194304 8223781 140733588723552 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46767 43356 581 984 0 45780 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 187068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10853 /proc/meminfo: memFree=1396952/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=187340 CPUtime=1800.03 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5415055 0 0 0 177464 2539 0 0 25 0 1 0 9891477 191836160 43679 1992294400 4194304 8223781 140733588723552 18446744073709551615 6568157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46835 43679 581 984 0 45848 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 187340 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: 0.99 0.98 0.99 2/107 10853 /proc/meminfo: memFree=1396952/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=187340 CPUtime=1800.41 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5415062 0 0 0 177502 2539 0 0 25 0 1 0 9891477 191836160 43686 1992294400 4194304 8223781 140733588723552 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10795/statm: 46835 43686 581 984 0 45848 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 187340 [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10853 /proc/meminfo: memFree=1396952/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=180832 CPUtime=1800.82 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5415546 0 0 0 177542 2540 0 0 25 0 1 0 9891477 185171968 42075 1992294400 4194304 8223781 140733588723552 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10795/statm: 45208 42075 584 984 0 44221 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 180832 [startup+1801.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10853 /proc/meminfo: memFree=1396952/2059040 swapFree=4192956/4192956 [pid=10795] ppid=10793 vsize=138640 CPUtime=1800.91 /proc/10795/stat : 10795 (pbscip.linux.x8) R 10793 10795 10215 0 -1 4202496 5415546 0 0 0 177551 2540 0 0 25 0 1 0 9891477 141967360 31533 1992294400 4194304 8223781 140733588723552 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10795/statm: 34660 31533 584 984 0 33673 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 138640 Child status: 0 Real time (s): 1801.54 CPU time (s): 1800.97 CPU user time (s): 1775.54 CPU system time (s): 25.4241 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 191276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.54 system time used= 25.4241 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5415557 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= 3811 runsolver used 3.11653 second user time and 8.37673 second system time The end
Begin job on node005 at 2010-06-12 13:41:18 IDJOB=2667441 IDBENCH=1497 IDSOLVER=1169 FILE ID=node005/2667441-1276342877 PBS_JOBID= 11173176 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667441-1276342877/watcher-2667441-1276342877 -o /tmp/evaluation-result-2667441-1276342877/solver-2667441-1276342877 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667441-1276342877.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bcdf4c9a1de867d3db370c95867fefb5 RANDOM SEED=1997964423 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1572196 kB Buffers: 115436 kB Cached: 242140 kB SwapCached: 0 kB Active: 151740 kB Inactive: 265040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1572196 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5616 kB Writeback: 0 kB AnonPages: 59308 kB Mapped: 15368 kB Slab: 48212 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182564 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= 62528 MiB End job on node005 at 2010-06-12 14:11:20