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.95 | 1790.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb |
MD5SUM | 7f5f10f1b8aeee16c5b46dadab8c5b22 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 1020 |
Total number of constraints | 43010 |
Number of constraints which are clauses | 42840 |
Number of constraints which are cardinality constraints (but not clauses) | 170 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 6 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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-2704162-1278549876.opb> 0.59/0.68 c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints 0.59/0.68 c problem read 0.59/0.68 c No objective function, only one solution is needed. 0.59/0.68 c presolving settings loaded 0.79/0.84 c presolving: 1.20/1.21 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43010 upgd conss, 0 impls, 170 clqs 1.20/1.25 c presolving (2 rounds): 1.20/1.25 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.20/1.25 c 0 implications, 170 cliques 1.20/1.25 c presolved problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints 1.20/1.25 c 170 constraints of type <setppc> 1.20/1.25 c 42840 constraints of type <logicor> 1.20/1.25 c transformed objective value is always integral (scale: 1) 1.20/1.25 c Presolving Time: 0.44 1.20/1.25 c - non default parameters ---------------------------------------------------------------------- 1.20/1.25 c # SCIP version 1.2.1.3 1.20/1.25 c 1.20/1.25 c # frequency for displaying node information lines 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 100] 1.20/1.25 c display/freq = 10000 1.20/1.25 c 1.20/1.25 c # maximal time in seconds to run 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.20/1.25 c limits/time = 1789.33 1.20/1.25 c 1.20/1.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.20/1.25 c limits/memory = 1620 1.20/1.25 c 1.20/1.25 c # solving stops, if the given number of solutions were found (-1: no limit) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: -1] 1.20/1.25 c limits/solutions = 1 1.20/1.25 c 1.20/1.25 c # maximal number of separation rounds per node (-1: unlimited) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 5] 1.20/1.25 c separating/maxrounds = 1 1.20/1.25 c 1.20/1.25 c # maximal number of separation rounds in the root node (-1: unlimited) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: -1] 1.20/1.25 c separating/maxroundsroot = 5 1.20/1.25 c 1.20/1.25 c # default clock type (1: CPU user seconds, 2: wall clock time) 1.20/1.25 c # [type: int, range: [1,2], default: 1] 1.20/1.25 c timing/clocktype = 2 1.20/1.25 c 1.20/1.25 c # should presolving try to simplify inequalities 1.20/1.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.20/1.25 c constraints/linear/simplifyinequalities = TRUE 1.20/1.25 c 1.20/1.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 1.20/1.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.20/1.25 c constraints/indicator/addCouplingCons = TRUE 1.20/1.25 c 1.20/1.25 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.20/1.25 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.20/1.25 c constraints/knapsack/disaggregation = FALSE 1.20/1.25 c 1.20/1.25 c # should presolving try to simplify knapsacks 1.20/1.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.20/1.25 c constraints/knapsack/simplifyinequalities = TRUE 1.20/1.25 c 1.20/1.25 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: -1] 1.20/1.25 c presolving/probing/maxrounds = 0 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.25 c heuristics/coefdiving/freq = -1 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.20/1.25 c heuristics/coefdiving/maxlpiterquot = 0.075 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/coefdiving/maxlpiterofs = 1500 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 30] 1.20/1.25 c heuristics/crossover/freq = -1 1.20/1.25 c 1.20/1.25 c # number of nodes added to the contingent of the total nodes 1.20/1.25 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.20/1.25 c heuristics/crossover/nodesofs = 750 1.20/1.25 c 1.20/1.25 c # number of nodes without incumbent change that heuristic should wait 1.20/1.25 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.20/1.25 c heuristics/crossover/nwaitingnodes = 100 1.20/1.25 c 1.20/1.25 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.20/1.25 c # [type: real, range: [0,1], default: 0.1] 1.20/1.25 c heuristics/crossover/nodesquot = 0.15 1.20/1.25 c 1.20/1.25 c # minimum percentage of integer variables that have to be fixed 1.20/1.25 c # [type: real, range: [0,1], default: 0.666] 1.20/1.25 c heuristics/crossover/minfixingrate = 0.5 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 20] 1.20/1.25 c heuristics/feaspump/freq = -1 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/feaspump/maxlpiterofs = 2000 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.25 c heuristics/fracdiving/freq = -1 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.20/1.25 c heuristics/fracdiving/maxlpiterquot = 0.075 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/fracdiving/maxlpiterofs = 1500 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.25 c heuristics/guideddiving/freq = -1 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.20/1.25 c heuristics/guideddiving/maxlpiterquot = 0.075 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/guideddiving/maxlpiterofs = 1500 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.20/1.25 c heuristics/intdiving/maxlpiterquot = 0.075 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.25 c heuristics/intshifting/freq = -1 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.25 c heuristics/linesearchdiving/freq = -1 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.20/1.25 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 1] 1.20/1.25 c heuristics/nlp/freq = -1 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 20] 1.20/1.25 c heuristics/objpscostdiving/freq = -1 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to total iteration number 1.20/1.25 c # [type: real, range: [0,1], default: 0.01] 1.20/1.25 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 1] 1.20/1.25 c heuristics/oneopt/freq = -1 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.25 c heuristics/pscostdiving/freq = -1 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.20/1.25 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/pscostdiving/maxlpiterofs = 1500 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 0] 1.20/1.25 c heuristics/rens/freq = -1 1.20/1.25 c 1.20/1.25 c # minimum percentage of integer variables that have to be fixable 1.20/1.25 c # [type: real, range: [0,1], default: 0.5] 1.20/1.25 c heuristics/rens/minfixingrate = 0.3 1.20/1.25 c 1.20/1.25 c # number of nodes added to the contingent of the total nodes 1.20/1.25 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.20/1.25 c heuristics/rens/nodesofs = 2000 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 20] 1.20/1.25 c heuristics/rootsoldiving/freq = -1 1.20/1.25 c 1.20/1.25 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.20/1.25 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.20/1.25 c 1.20/1.25 c # additional number of allowed LP iterations 1.20/1.25 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.25 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 1] 1.20/1.25 c heuristics/rounding/freq = -1 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.20/1.25 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.25 c heuristics/shifting/freq = -1 1.20/1.25 c 1.20/1.25 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: 1] 1.20/1.26 c heuristics/simplerounding/freq = -1 1.20/1.26 c 1.20/1.26 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: 0] 1.20/1.26 c heuristics/trivial/freq = -1 1.20/1.26 c 1.20/1.26 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: 1] 1.20/1.26 c heuristics/trysol/freq = -1 1.20/1.26 c 1.20/1.26 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: 10] 1.20/1.26 c heuristics/veclendiving/freq = -1 1.20/1.26 c 1.20/1.26 c # maximal fraction of diving LP iterations compared to node LP iterations 1.20/1.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.20/1.26 c heuristics/veclendiving/maxlpiterquot = 0.075 1.20/1.26 c 1.20/1.26 c # additional number of allowed LP iterations 1.20/1.26 c # [type: int, range: [0,2147483647], default: 1000] 1.20/1.26 c heuristics/veclendiving/maxlpiterofs = 1500 1.20/1.26 c 1.20/1.26 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: 1] 1.20/1.26 c heuristics/zirounding/freq = -1 1.20/1.26 c 1.20/1.26 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: 0] 1.20/1.26 c separating/cmir/freq = -1 1.20/1.26 c 1.20/1.26 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: 0] 1.20/1.26 c separating/flowcover/freq = -1 1.20/1.26 c 1.20/1.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.20/1.26 c # [type: int, range: [-1,2147483647], default: -1] 1.20/1.26 c separating/rapidlearning/freq = 0 1.20/1.26 c 1.20/1.26 c ----------------------------------------------------------------------------------------------- 1.20/1.26 c start solving 1.20/1.26 c 15.39/15.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 15.39/15.42 c 14.7s| 1 | 0 | 3081 | - | 49M| 0 | 329 |1020 | 43k|1020 | 43k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 18.19/18.29 c 17.6s| 1 | 0 | 3333 | - | 51M| 0 | 344 |1020 | 43k|1020 | 43k| 2 | 0 | 0 | 0.000000e+00 | -- | Inf 21.89/21.96 c 21.3s| 1 | 0 | 3604 | - | 53M| 0 | 352 |1020 | 43k|1020 | 43k| 4 | 0 | 0 | 0.000000e+00 | -- | Inf 27.08/27.17 c 26.5s| 1 | 0 | 3883 | - | 54M| 0 | 341 |1020 | 43k|1020 | 43k| 7 | 0 | 0 | 0.000000e+00 | -- | Inf 30.88/30.92 c 30.2s| 1 | 0 | 4219 | - | 55M| 0 | 344 |1020 | 43k|1020 | 43k| 10 | 0 | 0 | 0.000000e+00 | -- | Inf 34.27/34.31 c 33.6s| 1 | 0 | 4488 | - | 58M| 0 | 356 |1020 | 43k|1020 | 43k| 15 | 0 | 0 | 0.000000e+00 | -- | Inf 183.23/183.36 c 183s| 1 | 2 | 4488 | - | 58M| 0 | 356 |1020 | 43k|1020 | 43k| 15 | 0 | 26 | 0.000000e+00 | -- | Inf 1789.73/1790.31 c 1789.73/1790.31 c SCIP Status : solving was interrupted [time limit reached] 1789.73/1790.31 c Solving Time (sec) : 1789.62 1789.73/1790.31 c Solving Nodes : 251 1789.73/1790.31 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.73/1790.31 c Dual Bound : +0.00000000000000e+00 1789.73/1790.31 c Gap : infinite 1789.73/1790.31 s UNKNOWN 1789.73/1790.31 c SCIP Status : solving was interrupted [time limit reached] 1789.73/1790.31 c Solving Time : 1789.62 1789.73/1790.31 c Original Problem : 1789.73/1790.31 c Problem name : HOME/instance-2704162-1278549876.opb 1789.73/1790.31 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.73/1790.31 c Constraints : 43010 initial, 43010 maximal 1789.73/1790.31 c Presolved Problem : 1789.73/1790.31 c Problem name : t_HOME/instance-2704162-1278549876.opb 1789.73/1790.31 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.73/1790.31 c Constraints : 43010 initial, 43087 maximal 1789.73/1790.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.73/1790.31 c trivial : 0.00 0 0 0 0 0 0 0 0 1789.73/1790.31 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.73/1790.31 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.73/1790.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.73/1790.31 c implics : 0.00 0 0 0 0 0 0 0 0 1789.73/1790.31 c probing : 0.00 0 0 0 0 0 0 0 0 1789.73/1790.31 c setppc : 0.00 0 0 0 0 0 0 0 0 1789.73/1790.31 c logicor : 0.10 0 0 0 0 0 0 0 0 1789.73/1790.31 c root node : - 0 - - 0 - - - - 1789.73/1790.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.73/1790.31 c integral : 0 0 0 243 0 1 5 0 0 482 1789.73/1790.31 c setppc : 170 5 617 0 44 5 1028 0 0 0 1789.73/1790.31 c logicor : 42840+ 5 385 0 39 4 2713 0 0 0 1789.73/1790.31 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.73/1790.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.73/1790.31 c integral : 1084.01 0.00 0.00 1084.01 0.00 1789.73/1790.31 c setppc : 0.01 0.00 0.01 0.00 0.00 1789.73/1790.31 c logicor : 0.36 0.02 0.21 0.00 0.13 1789.73/1790.31 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.73/1790.31 c Propagators : Time Calls Cutoffs DomReds 1789.73/1790.31 c vbounds : 0.00 1 0 0 1789.73/1790.31 c rootredcost : 0.00 0 0 0 1789.73/1790.31 c pseudoobj : 0.00 0 0 0 1789.73/1790.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.73/1790.31 c propagation : 0.01 9 9 259 78.4 0 0.0 - 1789.73/1790.31 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.73/1790.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.73/1790.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.73/1790.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.73/1790.31 c applied globally : - - - 77 66.1 - - - 1789.73/1790.31 c applied locally : - - - 0 0.0 - - - 1789.73/1790.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.73/1790.31 c cut pool : 0.01 4 - - 570 - (maximal pool size: 2732) 1789.73/1790.31 c redcost : 0.01 247 0 0 0 0 1789.73/1790.31 c impliedbounds : 0.00 5 0 0 0 0 1789.73/1790.31 c intobj : 0.00 0 0 0 0 0 1789.73/1790.31 c cgmip : 0.00 0 0 0 0 0 1789.73/1790.31 c gomory : 5.62 5 0 0 2500 0 1789.73/1790.31 c strongcg : 3.84 5 0 0 2500 0 1789.73/1790.31 c cmir : 0.00 0 0 0 0 0 1789.73/1790.31 c flowcover : 0.00 0 0 0 0 0 1789.73/1790.31 c clique : 0.01 5 0 0 0 0 1789.73/1790.31 c zerohalf : 0.00 0 0 0 0 0 1789.73/1790.31 c mcf : 0.07 1 0 0 0 0 1789.73/1790.31 c rapidlearning : 0.00 0 0 0 0 0 1789.73/1790.31 c Pricers : Time Calls Vars 1789.73/1790.31 c problem variables: 0.00 0 0 1789.73/1790.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.73/1790.31 c relpscost : 1084.01 243 1 5 0 0 482 1789.73/1790.31 c pscost : 0.00 0 0 0 0 0 0 1789.73/1790.31 c inference : 0.00 1 0 0 0 0 2 1789.73/1790.31 c mostinf : 0.00 0 0 0 0 0 0 1789.73/1790.31 c leastinf : 0.00 0 0 0 0 0 0 1789.73/1790.31 c fullstrong : 0.00 0 0 0 0 0 0 1789.73/1790.31 c allfullstrong : 0.00 0 0 0 0 0 0 1789.73/1790.31 c random : 0.00 0 0 0 0 0 0 1789.73/1790.31 c Primal Heuristics : Time Calls Found 1789.73/1790.31 c LP solutions : 0.00 - 0 1789.73/1790.31 c pseudo solutions : 0.00 - 0 1789.73/1790.31 c trivial : 0.02 1 0 1789.73/1790.31 c simplerounding : 0.00 0 0 1789.73/1790.31 c zirounding : 0.00 0 0 1789.73/1790.31 c rounding : 0.00 0 0 1789.73/1790.31 c shifting : 0.00 0 0 1789.73/1790.31 c intshifting : 0.00 0 0 1789.73/1790.31 c oneopt : 0.00 0 0 1789.73/1790.31 c twoopt : 0.00 0 0 1789.73/1790.31 c fixandinfer : 0.00 0 0 1789.73/1790.31 c feaspump : 0.00 0 0 1789.73/1790.31 c coefdiving : 0.00 0 0 1789.73/1790.31 c pscostdiving : 0.00 0 0 1789.73/1790.31 c fracdiving : 0.00 0 0 1789.73/1790.31 c veclendiving : 0.00 0 0 1789.73/1790.31 c intdiving : 0.00 0 0 1789.73/1790.31 c actconsdiving : 0.00 0 0 1789.73/1790.31 c objpscostdiving : 0.00 0 0 1789.73/1790.31 c rootsoldiving : 0.00 0 0 1789.73/1790.31 c linesearchdiving : 0.00 0 0 1789.73/1790.31 c guideddiving : 0.00 0 0 1789.73/1790.31 c octane : 0.00 0 0 1789.73/1790.31 c rens : 0.00 0 0 1789.73/1790.31 c rins : 0.00 0 0 1789.73/1790.31 c localbranching : 0.00 0 0 1789.73/1790.31 c mutation : 0.00 0 0 1789.73/1790.31 c crossover : 0.00 0 0 1789.73/1790.31 c dins : 0.00 0 0 1789.73/1790.31 c undercover : 0.00 0 0 1789.73/1790.31 c nlp : 0.00 0 0 1789.73/1790.31 c trysol : 0.00 0 0 1789.73/1790.31 c LP : Time Calls Iterations Iter/call Iter/sec 1789.73/1790.31 c primal LP : 0.00 0 0 0.00 - 1789.73/1790.31 c dual LP : 691.51 248 102256 412.32 147.87 1789.73/1790.31 c lex dual LP : 0.00 0 0 0.00 - 1789.73/1790.31 c barrier LP : 0.00 0 0 0.00 - 1789.73/1790.31 c diving/probing LP: 0.00 0 0 0.00 - 1789.73/1790.31 c strong branching : 1083.95 381 176725 463.85 163.04 1789.73/1790.31 c (at root node) : - 26 22765 875.58 - 1789.73/1790.31 c conflict analysis: 0.00 0 0 0.00 - 1789.73/1790.31 c B&B Tree : 1789.73/1790.31 c number of runs : 1 1789.73/1790.31 c nodes : 251 1789.73/1790.31 c nodes (total) : 251 1789.73/1790.31 c nodes left : 233 1789.73/1790.31 c max depth : 79 1789.73/1790.31 c max depth (total): 79 1789.73/1790.31 c backtracks : 18 (7.2%) 1789.73/1790.31 c delayed cutoffs : 1 1789.73/1790.31 c repropagations : 6 (81 domain reductions, 1 cutoffs) 1789.73/1790.31 c avg switch length: 1.69 1789.73/1790.31 c switching time : 0.22 1789.73/1790.31 c Solution : 1789.73/1790.31 c Solutions found : 0 (0 improvements) 1789.73/1790.31 c Primal Bound : - 1789.73/1790.31 c Dual Bound : +0.00000000000000e+00 1789.73/1790.31 c Gap : infinite 1789.73/1790.31 c Root Dual Bound : +0.00000000000000e+00 1789.73/1790.31 c Root Iterations : 4488 1789.93/1790.50 c Time complete: 1789.93.
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-2704162-1278549876/watcher-2704162-1278549876 -o /tmp/evaluation-result-2704162-1278549876/solver-2704162-1278549876 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704162-1278549876.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 0.99 0.91 3/106 26455 /proc/meminfo: memFree=1724532/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=7904 CPUtime=0 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 1113 0 0 0 0 0 0 0 17 0 1 0 23194071 8093696 1026 1992294400 4194304 8395647 140736649558896 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26455/statm: 1976 1034 365 1026 0 946 0 [startup+0.0424509 s] /proc/loadavg: 1.00 0.99 0.91 3/106 26455 /proc/meminfo: memFree=1724532/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=12000 CPUtime=0.03 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 2287 0 0 0 3 0 0 0 17 0 1 0 23194071 12288000 2199 1992294400 4194304 8395647 140736649558896 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26455/statm: 3000 2199 390 1026 0 1970 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12000 [startup+0.101457 s] /proc/loadavg: 1.00 0.99 0.91 3/106 26455 /proc/meminfo: memFree=1724532/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=14564 CPUtime=0.1 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 2938 0 0 0 9 1 0 0 17 0 1 0 23194071 14913536 2850 1992294400 4194304 8395647 140736649558896 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26455/statm: 3641 2850 390 1026 0 2611 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14564 [startup+0.301476 s] /proc/loadavg: 1.00 0.99 0.91 3/106 26455 /proc/meminfo: memFree=1724532/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=19320 CPUtime=0.29 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 4124 0 0 0 28 1 0 0 17 0 1 0 23194071 19783680 4036 1992294400 4194304 8395647 140736649558896 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26455/statm: 4830 4036 390 1026 0 3800 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19320 [startup+0.701515 s] /proc/loadavg: 1.00 0.99 0.91 3/106 26455 /proc/meminfo: memFree=1724532/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=34456 CPUtime=0.7 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 8206 0 0 0 67 3 0 0 17 0 1 0 23194071 35282944 7764 1992294400 4194304 8395647 140736649558896 18446744073709551615 4501688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 8614 7764 410 1026 0 7584 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 34456 [startup+1.50159 s] /proc/loadavg: 1.00 0.99 0.91 2/107 26456 /proc/meminfo: memFree=1658556/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=122984 CPUtime=1.49 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 33168 0 0 0 137 12 0 0 18 0 1 0 23194071 125935616 29109 1992294400 4194304 8395647 140736649558896 18446744073709551615 6587090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 30746 29109 650 1026 0 29716 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 122984 [startup+3.10175 s] /proc/loadavg: 1.00 0.99 0.91 2/107 26456 /proc/meminfo: memFree=1608584/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=136716 CPUtime=3.09 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 35772 0 0 0 295 14 0 0 21 0 1 0 23194071 139997184 31378 1992294400 4194304 8395647 140736649558896 18446744073709551615 6496248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 34179 31378 1019 1026 0 33149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 136716 [startup+6.30106 s] /proc/loadavg: 1.16 1.03 0.92 2/107 26456 /proc/meminfo: memFree=1598168/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=140320 CPUtime=6.29 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 37369 0 0 0 613 16 0 0 25 0 1 0 23194071 143687680 32715 1992294400 4194304 8395647 140736649558896 18446744073709551615 6635648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 35080 32715 822 1026 0 34050 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 140320 [startup+12.7007 s] /proc/loadavg: 1.15 1.02 0.92 2/107 26456 /proc/meminfo: memFree=1595192/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=140320 CPUtime=12.69 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 37599 0 0 0 1252 17 0 0 25 0 1 0 23194071 143687680 32941 1992294400 4194304 8395647 140736649558896 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 35080 32941 818 1026 0 34050 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140320 [startup+25.5009 s] /proc/loadavg: 1.11 1.02 0.92 2/107 26458 /proc/meminfo: memFree=1588372/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=145952 CPUtime=25.48 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 39494 0 0 0 2526 22 0 0 25 0 1 0 23194071 149454848 34610 1992294400 4194304 8395647 140736649558896 18446744073709551615 6390464 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 36488 34610 621 1026 0 35458 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 145952 [startup+51.1014 s] /proc/loadavg: 1.07 1.02 0.92 2/107 26458 /proc/meminfo: memFree=1581180/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=152020 CPUtime=51.06 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 41169 0 0 0 5078 28 0 0 25 0 1 0 23194071 155668480 36279 1992294400 4194304 8395647 140736649558896 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 38005 36279 617 1026 0 36975 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 152020 [startup+102.308 s] /proc/loadavg: 1.03 1.02 0.92 2/107 26460 /proc/meminfo: memFree=1580808/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=152672 CPUtime=102.26 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 41237 0 0 0 10186 40 0 0 25 0 1 0 23194071 156336128 36344 1992294400 4194304 8395647 140736649558896 18446744073709551615 6635652 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 38168 36344 616 1026 0 37138 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 152672 [startup+162.301 s] /proc/loadavg: 1.01 1.01 0.92 2/107 26460 /proc/meminfo: memFree=1580808/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=152672 CPUtime=162.23 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 41242 0 0 0 16171 52 0 0 25 0 1 0 23194071 156336128 36349 1992294400 4194304 8395647 140736649558896 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 38168 36349 616 1026 0 37138 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 152672 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 26462 /proc/meminfo: memFree=1574980/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=157580 CPUtime=222.22 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 42816 0 0 0 22156 66 0 0 25 0 1 0 23194071 161361920 37882 1992294400 4194304 8395647 140736649558896 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39395 37882 673 1026 0 38365 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 157580 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 26464 /proc/meminfo: memFree=1574856/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=157580 CPUtime=282.2 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 42816 0 0 0 28143 77 0 0 25 0 1 0 23194071 161361920 37882 1992294400 4194304 8395647 140736649558896 18446744073709551615 6635637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39395 37882 673 1026 0 38365 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 157580 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 26466 /proc/meminfo: memFree=1574856/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=157580 CPUtime=342.18 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 42816 0 0 0 34130 88 0 0 25 0 1 0 23194071 161361920 37882 1992294400 4194304 8395647 140736649558896 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39395 37882 673 1026 0 38365 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 157580 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 26468 /proc/meminfo: memFree=1574856/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=157580 CPUtime=402.16 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 42818 0 0 0 40115 101 0 0 25 0 1 0 23194071 161361920 37882 1992294400 4194304 8395647 140736649558896 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39395 37882 671 1026 0 38365 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 157580 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 26468 /proc/meminfo: memFree=1574856/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=157580 CPUtime=462.14 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 42818 0 0 0 46100 114 0 0 25 0 1 0 23194071 161361920 37882 1992294400 4194304 8395647 140736649558896 18446744073709551615 6700445 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39395 37882 671 1026 0 38365 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 157580 [startup+522.301 s] /proc/loadavg: 1.06 1.01 0.93 2/107 26470 /proc/meminfo: memFree=1574856/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=157580 CPUtime=522.13 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 42832 0 0 0 52086 127 0 0 25 0 1 0 23194071 161361920 37896 1992294400 4194304 8395647 140736649558896 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39395 37896 671 1026 0 38365 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 157580 [startup+582.301 s] /proc/loadavg: 1.02 1.01 0.93 2/107 26472 /proc/meminfo: memFree=1574608/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=157580 CPUtime=582.1 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 42848 0 0 0 58071 139 0 0 25 0 1 0 23194071 161361920 37911 1992294400 4194304 8395647 140736649558896 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39395 37911 670 1026 0 38365 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 157580 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26474 /proc/meminfo: memFree=1570144/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=161836 CPUtime=642.09 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 43969 0 0 0 64060 149 0 0 25 0 1 0 23194071 165720064 38975 1992294400 4194304 8395647 140736649558896 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 40459 38975 629 1026 0 39429 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 161836 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=155740 CPUtime=1001.97 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45667 0 0 0 99980 217 0 0 25 0 1 0 23194071 159477760 37319 1992294400 4194304 8395647 140736649558896 18446744073709551615 6635648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 38935 37319 620 1026 0 37905 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 155740 [startup+1062.3 s] /proc/loadavg: 1.04 1.02 0.94 2/107 26493 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=155740 CPUtime=1061.95 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45677 0 0 0 105966 229 0 0 25 0 1 0 23194071 159477760 37320 1992294400 4194304 8395647 140736649558896 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 38935 37320 611 1026 0 37905 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 155740 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 0.94 2/107 26495 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=155740 CPUtime=1121.93 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45678 0 0 0 111951 242 0 0 25 0 1 0 23194071 159477760 37321 1992294400 4194304 8395647 140736649558896 18446744073709551615 6391382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 38935 37321 611 1026 0 37905 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 155740 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 0.94 2/107 26497 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=155740 CPUtime=1181.91 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45678 0 0 0 117938 253 0 0 25 0 1 0 23194071 159477760 37321 1992294400 4194304 8395647 140736649558896 18446744073709551615 6390530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 38935 37321 611 1026 0 37905 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 155740 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 0.94 2/107 26499 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156232 CPUtime=1241.9 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45679 0 0 0 123924 266 0 0 25 0 1 0 23194071 159981568 37322 1992294400 4194304 8395647 140736649558896 18446744073709551615 6390516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39058 37322 611 1026 0 38028 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 156232 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26501 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1301.89 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45680 0 0 0 129910 279 0 0 25 0 1 0 23194071 160157696 37323 1992294400 4194304 8395647 140736649558896 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37323 611 1026 0 38071 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 156404 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26501 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1361.87 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45682 0 0 0 135896 291 0 0 25 0 1 0 23194071 160157696 37325 1992294400 4194304 8395647 140736649558896 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37325 611 1026 0 38071 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 156404 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26503 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1421.85 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45698 0 0 0 141884 301 0 0 25 0 1 0 23194071 160157696 37341 1992294400 4194304 8395647 140736649558896 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37341 611 1026 0 38071 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 156404 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26505 /proc/meminfo: memFree=1575228/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1481.82 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45705 0 0 0 147869 313 0 0 25 0 1 0 23194071 160157696 37348 1992294400 4194304 8395647 140736649558896 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37348 611 1026 0 38071 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 156404 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26507 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1541.81 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45708 0 0 0 153855 326 0 0 25 0 1 0 23194071 160157696 37351 1992294400 4194304 8395647 140736649558896 18446744073709551615 6391382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37351 611 1026 0 38071 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 156404 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26509 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1601.79 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45708 0 0 0 159841 338 0 0 25 0 1 0 23194071 160157696 37351 1992294400 4194304 8395647 140736649558896 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37351 611 1026 0 38071 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 156404 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26509 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1661.78 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45709 0 0 0 165826 352 0 0 25 0 1 0 23194071 160157696 37352 1992294400 4194304 8395647 140736649558896 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37352 611 1026 0 38071 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 156404 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26511 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1721.75 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45713 0 0 0 171809 366 0 0 25 0 1 0 23194071 160157696 37356 1992294400 4194304 8395647 140736649558896 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37356 615 1026 0 38071 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 156404 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26513 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1781.74 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45713 0 0 0 177793 381 0 0 25 0 1 0 23194071 160157696 37356 1992294400 4194304 8395647 140736649558896 18446744073709551615 6635663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37356 615 1026 0 38071 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 156404 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 26513 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1784.93 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45713 0 0 0 178112 381 0 0 25 0 1 0 23194071 160157696 37356 1992294400 4194304 8395647 140736649558896 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37356 615 1026 0 38071 0 Current children cumulated CPU time (s) 1784.93 Current children cumulated vsize (KiB) 156404 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26513 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1788.14 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45713 0 0 0 178432 382 0 0 25 0 1 0 23194071 160157696 37356 1992294400 4194304 8395647 140736649558896 18446744073709551615 6652972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37356 615 1026 0 38071 0 Current children cumulated CPU time (s) 1788.14 Current children cumulated vsize (KiB) 156404 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26513 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1788.93 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45713 0 0 0 178511 382 0 0 25 0 1 0 23194071 160157696 37356 1992294400 4194304 8395647 140736649558896 18446744073709551615 6698072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37356 615 1026 0 38071 0 Current children cumulated CPU time (s) 1788.93 Current children cumulated vsize (KiB) 156404 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26513 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=156404 CPUtime=1789.73 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45715 0 0 0 178591 382 0 0 25 0 1 0 23194071 160157696 37358 1992294400 4194304 8395647 140736649558896 18446744073709551615 5087144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26455/statm: 39101 37358 617 1026 0 38071 0 Current children cumulated CPU time (s) 1789.73 Current children cumulated vsize (KiB) 156404 [startup+1790.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 26513 /proc/meminfo: memFree=1575352/2059040 swapFree=4139856/4192956 [pid=26455] ppid=26453 vsize=64172 CPUtime=1789.93 /proc/26455/stat : 26455 (pbscip.linux.x8) R 26453 26455 25973 0 -1 4202496 45725 0 0 0 178610 383 0 0 25 0 1 0 23194071 65712128 15277 1992294400 4194304 8395647 140736649558896 18446744073709551615 4287961 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26455/statm: 16043 15277 620 1026 0 15013 0 Current children cumulated CPU time (s) 1789.93 Current children cumulated vsize (KiB) 64172 Child status: 0 Real time (s): 1790.51 CPU time (s): 1789.95 CPU user time (s): 1786.11 CPU system time (s): 3.83942 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 169616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.11 system time used= 3.83942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45731 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 5902 runsolver used 3.02554 second user time and 8.38872 second system time The end
Begin job on node056 at 2010-07-08 02:44:36 IDJOB=2704162 IDBENCH=1369 IDSOLVER=1213 FILE ID=node056/2704162-1278549876 PBS_JOBID= 11239486 Free space on /tmp= 98464 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/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.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-2704162-1278549876/watcher-2704162-1278549876 -o /tmp/evaluation-result-2704162-1278549876/solver-2704162-1278549876 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704162-1278549876.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f5f10f1b8aeee16c5b46dadab8c5b22 RANDOM SEED=683598063 node056.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.197 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.197 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1725060 kB Buffers: 57688 kB Cached: 176148 kB SwapCached: 8168 kB Active: 114828 kB Inactive: 134028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1725060 kB SwapTotal: 4192956 kB SwapFree: 4139856 kB Dirty: 11668 kB Writeback: 0 kB AnonPages: 11776 kB Mapped: 11948 kB Slab: 63160 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181268 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= 98452 MiB End job on node056 at 2010-07-08 03:14:27