Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.73 | 1790.2 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb |
MD5SUM | 6441cbb759000c1a64397279f4b3f0ed |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.463928 |
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 | 4662 |
Total number of constraints | 31725 |
Number of constraints which are clauses | 30696 |
Number of constraints which are cardinality constraints (but not clauses) | 951 |
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 | 102 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2704282-1278550887.opb> 0.49/0.52 c original problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints 0.49/0.52 c problem read 0.49/0.52 c No objective function, only one solution is needed. 0.49/0.52 c presolving settings loaded 0.60/0.66 c presolving: 0.89/0.96 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31725 upgd conss, 0 impls, 951 clqs 1.00/1.01 c presolving (2 rounds): 1.00/1.01 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients 1.00/1.01 c 288 implications, 1395 cliques 1.00/1.01 c presolved problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints 1.00/1.01 c 78 constraints of type <knapsack> 1.00/1.01 c 951 constraints of type <setppc> 1.00/1.01 c 30696 constraints of type <logicor> 1.00/1.01 c transformed objective value is always integral (scale: 1) 1.00/1.01 c Presolving Time: 0.38 1.00/1.01 c - non default parameters ---------------------------------------------------------------------- 1.00/1.01 c # SCIP version 1.2.1.3 1.00/1.01 c 1.00/1.01 c # frequency for displaying node information lines 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 100] 1.00/1.01 c display/freq = 10000 1.00/1.01 c 1.00/1.01 c # maximal time in seconds to run 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.00/1.01 c limits/time = 1789.49 1.00/1.01 c 1.00/1.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.00/1.01 c limits/memory = 1620 1.00/1.01 c 1.00/1.01 c # solving stops, if the given number of solutions were found (-1: no limit) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.01 c limits/solutions = 1 1.00/1.01 c 1.00/1.01 c # maximal number of separation rounds per node (-1: unlimited) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 5] 1.00/1.01 c separating/maxrounds = 1 1.00/1.01 c 1.00/1.01 c # maximal number of separation rounds in the root node (-1: unlimited) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.01 c separating/maxroundsroot = 5 1.00/1.01 c 1.00/1.01 c # default clock type (1: CPU user seconds, 2: wall clock time) 1.00/1.01 c # [type: int, range: [1,2], default: 1] 1.00/1.01 c timing/clocktype = 2 1.00/1.01 c 1.00/1.01 c # should presolving try to simplify inequalities 1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.00/1.01 c constraints/linear/simplifyinequalities = TRUE 1.00/1.01 c 1.00/1.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.00/1.01 c constraints/indicator/addCouplingCons = TRUE 1.00/1.01 c 1.00/1.01 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.00/1.01 c constraints/knapsack/disaggregation = FALSE 1.00/1.01 c 1.00/1.01 c # should presolving try to simplify knapsacks 1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.00/1.01 c constraints/knapsack/simplifyinequalities = TRUE 1.00/1.01 c 1.00/1.01 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.01 c presolving/probing/maxrounds = 0 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.01 c heuristics/coefdiving/freq = -1 1.00/1.01 c 1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.01 c heuristics/coefdiving/maxlpiterquot = 0.075 1.00/1.01 c 1.00/1.01 c # additional number of allowed LP iterations 1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.01 c heuristics/coefdiving/maxlpiterofs = 1500 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 30] 1.00/1.01 c heuristics/crossover/freq = -1 1.00/1.01 c 1.00/1.01 c # number of nodes added to the contingent of the total nodes 1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.00/1.01 c heuristics/crossover/nodesofs = 750 1.00/1.01 c 1.00/1.01 c # number of nodes without incumbent change that heuristic should wait 1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.00/1.01 c heuristics/crossover/nwaitingnodes = 100 1.00/1.01 c 1.00/1.01 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.00/1.01 c # [type: real, range: [0,1], default: 0.1] 1.00/1.01 c heuristics/crossover/nodesquot = 0.15 1.00/1.01 c 1.00/1.01 c # minimum percentage of integer variables that have to be fixed 1.00/1.01 c # [type: real, range: [0,1], default: 0.666] 1.00/1.01 c heuristics/crossover/minfixingrate = 0.5 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20] 1.00/1.01 c heuristics/feaspump/freq = -1 1.00/1.01 c 1.00/1.01 c # additional number of allowed LP iterations 1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.01 c heuristics/feaspump/maxlpiterofs = 2000 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.01 c heuristics/fracdiving/freq = -1 1.00/1.01 c 1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.01 c heuristics/fracdiving/maxlpiterquot = 0.075 1.00/1.01 c 1.00/1.01 c # additional number of allowed LP iterations 1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.01 c heuristics/fracdiving/maxlpiterofs = 1500 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.01 c heuristics/guideddiving/freq = -1 1.00/1.01 c 1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.01 c heuristics/guideddiving/maxlpiterquot = 0.075 1.00/1.01 c 1.00/1.01 c # additional number of allowed LP iterations 1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.01 c heuristics/guideddiving/maxlpiterofs = 1500 1.00/1.01 c 1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.01 c heuristics/intdiving/maxlpiterquot = 0.075 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.01 c heuristics/intshifting/freq = -1 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.01 c heuristics/linesearchdiving/freq = -1 1.00/1.01 c 1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.01 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.00/1.01 c 1.00/1.01 c # additional number of allowed LP iterations 1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.01 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.01 c heuristics/nlp/freq = -1 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20] 1.00/1.01 c heuristics/objpscostdiving/freq = -1 1.00/1.01 c 1.00/1.01 c # maximal fraction of diving LP iterations compared to total iteration number 1.00/1.01 c # [type: real, range: [0,1], default: 0.01] 1.00/1.01 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.00/1.01 c 1.00/1.01 c # additional number of allowed LP iterations 1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.01 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.01 c heuristics/oneopt/freq = -1 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.01 c heuristics/pscostdiving/freq = -1 1.00/1.01 c 1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.01 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.00/1.01 c 1.00/1.01 c # additional number of allowed LP iterations 1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.01 c heuristics/pscostdiving/maxlpiterofs = 1500 1.00/1.01 c 1.00/1.01 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.00/1.01 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.01 c heuristics/rens/freq = -1 1.00/1.01 c 1.00/1.01 c # minimum percentage of integer variables that have to be fixable 1.00/1.02 c # [type: real, range: [0,1], default: 0.5] 1.00/1.02 c heuristics/rens/minfixingrate = 0.3 1.00/1.02 c 1.00/1.02 c # number of nodes added to the contingent of the total nodes 1.00/1.02 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.00/1.02 c heuristics/rens/nodesofs = 2000 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 20] 1.00/1.02 c heuristics/rootsoldiving/freq = -1 1.00/1.02 c 1.00/1.02 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.00/1.02 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.00/1.02 c 1.00/1.02 c # additional number of allowed LP iterations 1.00/1.02 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.02 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.02 c heuristics/rounding/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.02 c heuristics/shifting/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.02 c heuristics/simplerounding/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.02 c heuristics/trivial/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.02 c heuristics/trysol/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.02 c heuristics/veclendiving/freq = -1 1.00/1.02 c 1.00/1.02 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.02 c heuristics/veclendiving/maxlpiterquot = 0.075 1.00/1.02 c 1.00/1.02 c # additional number of allowed LP iterations 1.00/1.02 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.02 c heuristics/veclendiving/maxlpiterofs = 1500 1.00/1.02 c 1.00/1.02 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.02 c heuristics/zirounding/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.02 c separating/cmir/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.02 c separating/flowcover/freq = -1 1.00/1.02 c 1.00/1.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.02 c separating/rapidlearning/freq = 0 1.00/1.02 c 1.00/1.02 c ----------------------------------------------------------------------------------------------- 1.00/1.02 c start solving 1.00/1.02 c 19.08/19.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 19.08/19.14 c 18.6s| 1 | 0 | 5656 | - | 45M| 0 | 651 |4662 | 31k|4662 | 31k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 42.58/42.67 c 42.1s| 1 | 0 | 9015 | - | 57M| 0 | 693 |4662 | 31k|4662 | 31k| 63 | 0 | 0 | 0.000000e+00 | -- | Inf 82.67/82.79 c 82.3s| 1 | 0 | 13961 | - | 67M| 0 | 723 |4662 | 31k|4662 | 31k| 108 | 0 | 0 | 0.000000e+00 | -- | Inf 113.16/113.29 c 113s| 1 | 0 | 16800 | - | 78M| 0 | 725 |4662 | 31k|4662 | 31k| 141 | 0 | 0 | 0.000000e+00 | -- | Inf 155.86/155.91 c 155s| 1 | 0 | 21671 | - | 89M| 0 | 739 |4662 | 31k|4662 | 31k| 162 | 0 | 0 | 0.000000e+00 | -- | Inf 194.84/194.92 c 194s| 1 | 0 | 25874 | - | 101M| 0 | 728 |4662 | 31k|4662 | 31k| 179 | 0 | 0 | 0.000000e+00 | -- | Inf 343.11/343.29 c 343s| 1 | 2 | 25874 | - | 101M| 0 | 728 |4662 | 31k|4662 | 31k| 179 | 0 | 32 | 0.000000e+00 | -- | Inf 1789.52/1790.03 c 1789.52/1790.03 c SCIP Status : solving was interrupted [time limit reached] 1789.52/1790.03 c Solving Time (sec) : 1789.50 1789.52/1790.03 c Solving Nodes : 75 1789.52/1790.03 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.52/1790.03 c Dual Bound : +0.00000000000000e+00 1789.52/1790.03 c Gap : infinite 1789.52/1790.03 s UNKNOWN 1789.52/1790.03 c SCIP Status : solving was interrupted [time limit reached] 1789.52/1790.03 c Solving Time : 1789.50 1789.52/1790.03 c Original Problem : 1789.52/1790.03 c Problem name : HOME/instance-2704282-1278550887.opb 1789.52/1790.03 c Variables : 4662 (4662 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.52/1790.03 c Constraints : 31725 initial, 31725 maximal 1789.52/1790.03 c Presolved Problem : 1789.52/1790.03 c Problem name : t_HOME/instance-2704282-1278550887.opb 1789.52/1790.03 c Variables : 4662 (4662 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.52/1790.03 c Constraints : 31725 initial, 31725 maximal 1789.52/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.52/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0 1789.52/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.52/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.52/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.52/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0 1789.52/1790.03 c probing : 0.00 0 0 0 0 0 0 0 0 1789.52/1790.03 c knapsack : 0.01 0 0 0 0 0 0 0 84 1789.52/1790.03 c setppc : 0.01 0 0 0 0 0 0 0 0 1789.52/1790.03 c logicor : 0.07 0 0 0 0 0 0 0 0 1789.52/1790.03 c root node : - 0 - - 0 - - - - 1789.52/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.52/1790.03 c integral : 0 0 0 74 0 0 0 0 0 148 1789.52/1790.03 c knapsack : 78 5 145 0 1 0 287 270 0 0 1789.52/1790.03 c setppc : 951 5 145 0 1 0 802 0 0 0 1789.52/1790.03 c logicor : 30696 5 80 0 1 0 25 0 0 0 1789.52/1790.03 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.52/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.52/1790.03 c integral : 995.91 0.00 0.00 995.91 0.00 1789.52/1790.03 c knapsack : 0.02 0.01 0.00 0.00 0.00 1789.52/1790.03 c setppc : 0.01 0.00 0.01 0.00 0.00 1789.52/1790.03 c logicor : 0.05 0.02 0.03 0.00 0.00 1789.52/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.52/1790.03 c Propagators : Time Calls Cutoffs DomReds 1789.52/1790.03 c vbounds : 0.00 1 0 0 1789.52/1790.03 c rootredcost : 0.00 0 0 0 1789.52/1790.03 c pseudoobj : 0.00 0 0 0 1789.52/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.52/1790.03 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.52/1790.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.52/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.52/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.52/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.52/1790.03 c applied globally : - - - 0 0.0 - - - 1789.52/1790.03 c applied locally : - - - 0 0.0 - - - 1789.52/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.52/1790.03 c cut pool : 0.04 4 - - 8 - (maximal pool size: 1447) 1789.52/1790.03 c redcost : 0.05 78 0 0 0 0 1789.52/1790.03 c impliedbounds : 0.00 5 0 0 10 0 1789.52/1790.03 c intobj : 0.00 0 0 0 0 0 1789.52/1790.03 c cgmip : 0.00 0 0 0 0 0 1789.52/1790.03 c gomory : 70.23 5 0 0 1341 0 1789.52/1790.03 c strongcg : 10.60 5 0 0 2500 0 1789.52/1790.03 c cmir : 0.00 0 0 0 0 0 1789.52/1790.03 c flowcover : 0.00 0 0 0 0 0 1789.52/1790.03 c clique : 0.11 5 0 0 27 0 1789.52/1790.03 c zerohalf : 0.00 0 0 0 0 0 1789.52/1790.03 c mcf : 0.05 1 0 0 0 0 1789.52/1790.03 c rapidlearning : 0.00 0 0 0 0 0 1789.52/1790.03 c Pricers : Time Calls Vars 1789.52/1790.03 c problem variables: 0.00 0 0 1789.52/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.52/1790.03 c relpscost : 995.91 74 0 0 0 0 148 1789.52/1790.03 c pscost : 0.00 0 0 0 0 0 0 1789.52/1790.03 c inference : 0.00 1 0 0 0 0 2 1789.52/1790.03 c mostinf : 0.00 0 0 0 0 0 0 1789.52/1790.03 c leastinf : 0.00 0 0 0 0 0 0 1789.52/1790.03 c fullstrong : 0.00 0 0 0 0 0 0 1789.52/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0 1789.52/1790.03 c random : 0.00 0 0 0 0 0 0 1789.52/1790.03 c Primal Heuristics : Time Calls Found 1789.52/1790.03 c LP solutions : 0.00 - 0 1789.52/1790.03 c pseudo solutions : 0.00 - 0 1789.52/1790.03 c trivial : 0.01 1 0 1789.52/1790.03 c simplerounding : 0.00 0 0 1789.52/1790.03 c zirounding : 0.00 0 0 1789.52/1790.03 c rounding : 0.00 0 0 1789.52/1790.03 c shifting : 0.00 0 0 1789.52/1790.03 c intshifting : 0.00 0 0 1789.52/1790.03 c oneopt : 0.00 0 0 1789.52/1790.03 c twoopt : 0.00 0 0 1789.52/1790.03 c fixandinfer : 0.00 0 0 1789.52/1790.03 c feaspump : 0.00 0 0 1789.52/1790.03 c coefdiving : 0.00 0 0 1789.52/1790.03 c pscostdiving : 0.00 0 0 1789.52/1790.03 c fracdiving : 0.00 0 0 1789.52/1790.03 c veclendiving : 0.00 0 0 1789.52/1790.03 c intdiving : 0.00 0 0 1789.52/1790.03 c actconsdiving : 0.00 0 0 1789.52/1790.03 c objpscostdiving : 0.00 0 0 1789.52/1790.03 c rootsoldiving : 0.00 0 0 1789.52/1790.03 c linesearchdiving : 0.00 0 0 1789.52/1790.03 c guideddiving : 0.00 0 0 1789.52/1790.03 c octane : 0.00 0 0 1789.52/1790.03 c rens : 0.00 0 0 1789.52/1790.03 c rins : 0.00 0 0 1789.52/1790.03 c localbranching : 0.00 0 0 1789.52/1790.03 c mutation : 0.00 0 0 1789.52/1790.03 c crossover : 0.00 0 0 1789.52/1790.03 c dins : 0.00 0 0 1789.52/1790.03 c undercover : 0.00 0 0 1789.52/1790.03 c nlp : 0.00 0 0 1789.52/1790.03 c trysol : 0.00 0 0 1789.52/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec 1789.52/1790.03 c primal LP : 0.02 0 0 0.00 0.00 1789.52/1790.03 c dual LP : 710.42 80 152136 1901.70 214.15 1789.52/1790.03 c lex dual LP : 0.00 0 0 0.00 - 1789.52/1790.03 c barrier LP : 0.00 0 0 0.00 - 1789.52/1790.03 c diving/probing LP: 0.00 0 0 0.00 - 1789.52/1790.03 c strong branching : 995.86 219 213273 973.85 214.16 1789.52/1790.03 c (at root node) : - 32 32000 1000.00 - 1789.52/1790.03 c conflict analysis: 0.00 0 0 0.00 - 1789.52/1790.03 c B&B Tree : 1789.52/1790.03 c number of runs : 1 1789.52/1790.03 c nodes : 75 1789.52/1790.03 c nodes (total) : 75 1789.52/1790.03 c nodes left : 76 1789.52/1790.03 c max depth : 29 1789.52/1790.03 c max depth (total): 29 1789.52/1790.03 c backtracks : 10 (13.3%) 1789.52/1790.03 c delayed cutoffs : 0 1789.52/1790.03 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.52/1790.03 c avg switch length: 1.68 1789.52/1790.03 c switching time : 0.08 1789.52/1790.03 c Solution : 1789.52/1790.03 c Solutions found : 0 (0 improvements) 1789.52/1790.03 c Primal Bound : - 1789.52/1790.03 c Dual Bound : +0.00000000000000e+00 1789.52/1790.03 c Gap : infinite 1789.52/1790.03 c Root Dual Bound : +0.00000000000000e+00 1789.52/1790.03 c Root Iterations : 25874 1789.62/1790.20 c Time complete: 1789.72.
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-2704282-1278550887/watcher-2704282-1278550887 -o /tmp/evaluation-result-2704282-1278550887/solver-2704282-1278550887 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704282-1278550887.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 0.94 3/106 27009 /proc/meminfo: memFree=1672976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=7904 CPUtime=0 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 1083 0 0 0 0 0 0 0 20 0 1 0 23299667 8093696 994 1992294400 4194304 8395647 140735523095920 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27009/statm: 1976 1003 365 1026 0 946 0 [startup+0.0291119 s] /proc/loadavg: 1.00 1.00 0.94 3/106 27009 /proc/meminfo: memFree=1672976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=13092 CPUtime=0.01 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 2571 0 0 0 1 0 0 0 20 0 1 0 23299667 13406208 2482 1992294400 4194304 8395647 140735523095920 18446744073709551615 7301285 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27009/statm: 3273 2482 390 1026 0 2243 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13092 [startup+0.101121 s] /proc/loadavg: 1.00 1.00 0.94 3/106 27009 /proc/meminfo: memFree=1672976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=17368 CPUtime=0.09 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 3643 0 0 0 8 1 0 0 20 0 1 0 23299667 17784832 3554 1992294400 4194304 8395647 140735523095920 18446744073709551615 6345045 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27009/statm: 4342 3554 390 1026 0 3312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17368 [startup+0.30114 s] /proc/loadavg: 1.00 1.00 0.94 3/106 27009 /proc/meminfo: memFree=1672976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=22996 CPUtime=0.29 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 5029 0 0 0 28 1 0 0 20 0 1 0 23299667 23547904 4940 1992294400 4194304 8395647 140735523095920 18446744073709551615 6767029 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27009/statm: 5749 4940 390 1026 0 4719 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22996 [startup+0.701184 s] /proc/loadavg: 1.00 1.00 0.94 3/106 27009 /proc/meminfo: memFree=1672976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=56152 CPUtime=0.69 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 13413 0 0 0 65 4 0 0 21 0 1 0 23299667 57499648 12970 1992294400 4194304 8395647 140735523095920 18446744073709551615 5028126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 14038 12970 458 1026 0 13008 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 56152 [startup+1.50127 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27010 /proc/meminfo: memFree=1608116/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=106576 CPUtime=1.49 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 25875 0 0 0 141 8 0 0 23 0 1 0 23299667 109133824 24027 1992294400 4194304 8395647 140735523095920 18446744073709551615 6752542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 26644 24027 577 1026 0 25614 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 106576 [startup+3.10045 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27010 /proc/meminfo: memFree=1576248/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=110400 CPUtime=3.09 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 26997 0 0 0 300 9 0 0 25 0 1 0 23299667 113049600 25059 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697250 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 27600 25059 589 1026 0 26570 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 110400 [startup+6.30079 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27010 /proc/meminfo: memFree=1571040/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=112520 CPUtime=6.29 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 28003 0 0 0 619 10 0 0 25 0 1 0 23299667 115220480 26015 1992294400 4194304 8395647 140735523095920 18446744073709551615 6752552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 28130 26015 618 1026 0 27100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 112520 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27010 /proc/meminfo: memFree=1569552/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=112520 CPUtime=12.69 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 28219 0 0 0 1258 11 0 0 25 0 1 0 23299667 115220480 26227 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 28130 26227 614 1026 0 27100 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 112520 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27011 /proc/meminfo: memFree=1569428/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=112520 CPUtime=25.48 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 28268 0 0 0 2533 15 0 0 25 0 1 0 23299667 115220480 26267 1992294400 4194304 8395647 140735523095920 18446744073709551615 6198182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 28130 26267 626 1026 0 27100 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 112520 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27011 /proc/meminfo: memFree=1549092/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=133016 CPUtime=51.08 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 33396 0 0 0 5086 22 0 0 25 0 1 0 23299667 136208384 31338 1992294400 4194304 8395647 140735523095920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 33254 31338 613 1026 0 32224 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 133016 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27013 /proc/meminfo: memFree=1514372/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=167700 CPUtime=102.28 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 42599 0 0 0 10190 38 0 0 25 0 1 0 23299667 171724800 40006 1992294400 4194304 8395647 140735523095920 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 41925 40006 612 1026 0 40895 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 167700 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27014 /proc/meminfo: memFree=1501352/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=181300 CPUtime=162.25 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 45849 0 0 0 16175 50 0 0 25 0 1 0 23299667 185651200 43254 1992294400 4194304 8395647 140735523095920 18446744073709551615 6198204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 45325 43254 610 1026 0 44295 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 181300 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27016 /proc/meminfo: memFree=1489448/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=194004 CPUtime=222.24 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 48806 0 0 0 22160 64 0 0 25 0 1 0 23299667 198660096 46211 1992294400 4194304 8395647 140735523095920 18446744073709551615 6503050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48501 46211 612 1026 0 47471 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 194004 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27017 /proc/meminfo: memFree=1489324/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=194004 CPUtime=282.22 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 48809 0 0 0 28144 78 0 0 25 0 1 0 23299667 198660096 46214 1992294400 4194304 8395647 140735523095920 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48501 46214 612 1026 0 47471 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 194004 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27019 /proc/meminfo: memFree=1489324/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=194004 CPUtime=342.2 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 48812 0 0 0 34129 91 0 0 25 0 1 0 23299667 198660096 46217 1992294400 4194304 8395647 140735523095920 18446744073709551615 6698227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48501 46217 612 1026 0 47471 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 194004 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27021 /proc/meminfo: memFree=1486968/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=402.19 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49386 0 0 0 40113 106 0 0 25 0 1 0 23299667 199725056 46791 1992294400 4194304 8395647 140735523095920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46791 614 1026 0 47731 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 195044 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27022 /proc/meminfo: memFree=1486968/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=462.17 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49390 0 0 0 46098 119 0 0 25 0 1 0 23299667 199725056 46795 1992294400 4194304 8395647 140735523095920 18446744073709551615 6390530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46795 614 1026 0 47731 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 195044 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27024 /proc/meminfo: memFree=1486844/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=522.16 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49394 0 0 0 52083 133 0 0 25 0 1 0 23299667 199725056 46799 1992294400 4194304 8395647 140735523095920 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46799 614 1026 0 47731 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 195044 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27025 /proc/meminfo: memFree=1486844/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=582.14 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49394 0 0 0 58069 145 0 0 25 0 1 0 23299667 199725056 46799 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46799 614 1026 0 47731 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 195044 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27027 /proc/meminfo: memFree=1486720/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=642.13 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49394 0 0 0 64055 158 0 0 25 0 1 0 23299667 199725056 46799 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46799 614 1026 0 47731 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 195044 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1486472/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1002.02 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49396 0 0 0 99967 235 0 0 25 0 1 0 23299667 199725056 46800 1992294400 4194304 8395647 140735523095920 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46800 613 1026 0 47731 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 195044 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27041 /proc/meminfo: memFree=1485976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1062.02 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49396 0 0 0 105953 249 0 0 25 0 1 0 23299667 199725056 46800 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46800 613 1026 0 47731 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 195044 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27043 /proc/meminfo: memFree=1485976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1122 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49396 0 0 0 111940 260 0 0 25 0 1 0 23299667 199725056 46800 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46800 613 1026 0 47731 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 195044 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27044 /proc/meminfo: memFree=1485976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1181.98 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49396 0 0 0 117927 271 0 0 25 0 1 0 23299667 199725056 46800 1992294400 4194304 8395647 140735523095920 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46800 613 1026 0 47731 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 195044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27046 /proc/meminfo: memFree=1485976/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1241.96 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49396 0 0 0 123913 283 0 0 25 0 1 0 23299667 199725056 46800 1992294400 4194304 8395647 140735523095920 18446744073709551615 6585960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46800 613 1026 0 47731 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 195044 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27048 /proc/meminfo: memFree=1485852/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1301.96 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49397 0 0 0 129901 295 0 0 25 0 1 0 23299667 199725056 46801 1992294400 4194304 8395647 140735523095920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46801 613 1026 0 47731 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 195044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27049 /proc/meminfo: memFree=1485852/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1361.93 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49397 0 0 0 135887 306 0 0 25 0 1 0 23299667 199725056 46801 1992294400 4194304 8395647 140735523095920 18446744073709551615 6670405 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46801 613 1026 0 47731 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 195044 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27051 /proc/meminfo: memFree=1485852/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1421.93 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49398 0 0 0 141876 317 0 0 25 0 1 0 23299667 199725056 46802 1992294400 4194304 8395647 140735523095920 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46802 613 1026 0 47731 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 195044 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27052 /proc/meminfo: memFree=1485728/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1481.9 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49398 0 0 0 147861 329 0 0 25 0 1 0 23299667 199725056 46802 1992294400 4194304 8395647 140735523095920 18446744073709551615 6698030 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46802 613 1026 0 47731 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 195044 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27054 /proc/meminfo: memFree=1485728/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1541.88 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49401 0 0 0 153848 340 0 0 25 0 1 0 23299667 199725056 46805 1992294400 4194304 8395647 140735523095920 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46805 613 1026 0 47731 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 195044 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27056 /proc/meminfo: memFree=1485604/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1601.87 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 159835 352 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 195044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27057 /proc/meminfo: memFree=1485604/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1661.86 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 165821 365 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 195044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27059 /proc/meminfo: memFree=1485604/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1721.84 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 171807 377 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 195044 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27060 /proc/meminfo: memFree=1485480/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1781.82 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 177794 388 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 195044 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27060 /proc/meminfo: memFree=1485480/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1785.02 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 178113 389 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 6670396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 195044 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27060 /proc/meminfo: memFree=1485480/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1788.22 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 178432 390 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 195044 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27060 /proc/meminfo: memFree=1485480/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1789.02 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 178512 390 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 6698072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1789.02 Current children cumulated vsize (KiB) 195044 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27060 /proc/meminfo: memFree=1485480/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1789.42 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49402 0 0 0 178552 390 0 0 25 0 1 0 23299667 199725056 46806 1992294400 4194304 8395647 140735523095920 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46806 613 1026 0 47731 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (KiB) 195044 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27060 /proc/meminfo: memFree=1485480/2059040 swapFree=4152912/4192956 [pid=27009] ppid=27007 vsize=195044 CPUtime=1789.62 /proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 26331 0 -1 4202496 49408 0 0 0 178572 390 0 0 25 0 1 0 23299667 199725056 46812 1992294400 4194304 8395647 140735523095920 18446744073709551615 6150528 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27009/statm: 48761 46812 619 1026 0 47731 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (KiB) 195044 Child status: 0 Real time (s): 1790.2 CPU time (s): 1789.73 CPU user time (s): 1785.81 CPU system time (s): 3.9234 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 195044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.81 system time used= 3.9234 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49417 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= 7 involuntary context switches= 10186 runsolver used 3.05653 second user time and 8.35373 second system time The end
Begin job on node035 at 2010-07-08 03:01:27 IDJOB=2704282 IDBENCH=1499 IDSOLVER=1213 FILE ID=node035/2704282-1278550887 PBS_JOBID= 11239504 Free space on /tmp= 62492 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 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-12,16.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-2704282-1278550887/watcher-2704282-1278550887 -o /tmp/evaluation-result-2704282-1278550887/solver-2704282-1278550887 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704282-1278550887.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6441cbb759000c1a64397279f4b3f0ed RANDOM SEED=1794755847 node035.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.212 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.42 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.212 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: 1673380 kB Buffers: 64448 kB Cached: 211580 kB SwapCached: 3096 kB Active: 153964 kB Inactive: 145204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1673380 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 11576 kB Writeback: 0 kB AnonPages: 20392 kB Mapped: 12812 kB Slab: 64464 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179272 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= 62480 MiB End job on node035 at 2010-07-08 03:31:17