Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.22 | 1800.67 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_2_15.opb |
MD5SUM | b437bd5db918ab114396d43dfca73285 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
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 | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6148 |
Sum of products size (including duplicates) | 12296 |
Number of different products | 3074 |
Sum of products size | 6148 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2666358-1276683847.opb> 0.00/0.05 c original problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.09 c presolving: 0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24792 impls, 200 clqs 0.49/0.51 c presolving (2 rounds): 0.49/0.51 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.49/0.51 c 24792 implications, 200 cliques 0.49/0.51 c presolved problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints 0.49/0.51 c 1 constraints of type <knapsack> 0.49/0.51 c 200 constraints of type <setppc> 0.49/0.51 c 3074 constraints of type <and> 0.49/0.51 c 1 constraints of type <linear> 0.49/0.51 c 100 constraints of type <logicor> 0.49/0.51 c transformed objective value is always integral (scale: 1) 0.49/0.51 c Presolving Time: 0.25 0.49/0.51 c - non default parameters ---------------------------------------------------------------------- 0.49/0.51 c # SCIP version 1.2.1.2 0.49/0.51 c 0.49/0.51 c # frequency for displaying node information lines 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 100] 0.49/0.51 c display/freq = 10000 0.49/0.51 c 0.49/0.51 c # maximal time in seconds to run 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.51 c limits/time = 1799.96 0.49/0.51 c 0.49/0.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.51 c limits/memory = 1620 0.49/0.51 c 0.49/0.51 c # solving stops, if the given number of solutions were found (-1: no limit) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.51 c limits/solutions = 1 0.49/0.51 c 0.49/0.51 c # maximal number of separation rounds per node (-1: unlimited) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 5] 0.49/0.51 c separating/maxrounds = 1 0.49/0.51 c 0.49/0.51 c # maximal number of separation rounds in the root node (-1: unlimited) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.51 c separating/maxroundsroot = 5 0.49/0.51 c 0.49/0.51 c # should presolving try to simplify inequalities 0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.51 c constraints/linear/simplifyinequalities = TRUE 0.49/0.51 c 0.49/0.51 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.49/0.51 c constraints/knapsack/disaggregation = FALSE 0.49/0.51 c 0.49/0.51 c # should presolving try to simplify knapsacks 0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.51 c constraints/knapsack/simplifyinequalities = TRUE 0.49/0.51 c 0.49/0.51 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.51 c presolving/probing/maxrounds = 0 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/coefdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/coefdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/coefdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 30] 0.49/0.51 c heuristics/crossover/freq = -1 0.49/0.51 c 0.49/0.51 c # number of nodes added to the contingent of the total nodes 0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.51 c heuristics/crossover/nodesofs = 750 0.49/0.51 c 0.49/0.51 c # number of nodes without incumbent change that heuristic should wait 0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.49/0.51 c heuristics/crossover/nwaitingnodes = 100 0.49/0.51 c 0.49/0.51 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.49/0.51 c # [type: real, range: [0,1], default: 0.1] 0.49/0.51 c heuristics/crossover/nodesquot = 0.15 0.49/0.51 c 0.49/0.51 c # minimum percentage of integer variables that have to be fixed 0.49/0.51 c # [type: real, range: [0,1], default: 0.666] 0.49/0.51 c heuristics/crossover/minfixingrate = 0.5 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.51 c heuristics/feaspump/freq = -1 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/feaspump/maxlpiterofs = 2000 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/fracdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/fracdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/fracdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/guideddiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/guideddiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/guideddiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/intdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/intshifting/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/linesearchdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/nlp/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.51 c heuristics/objpscostdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to total iteration number 0.49/0.51 c # [type: real, range: [0,1], default: 0.01] 0.49/0.51 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/oneopt/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/pscostdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/pscostdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c heuristics/rens/freq = -1 0.49/0.51 c 0.49/0.51 c # minimum percentage of integer variables that have to be fixable 0.49/0.51 c # [type: real, range: [0,1], default: 0.5] 0.49/0.51 c heuristics/rens/minfixingrate = 0.3 0.49/0.51 c 0.49/0.51 c # number of nodes added to the contingent of the total nodes 0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.51 c heuristics/rens/nodesofs = 2000 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.51 c heuristics/rootsoldiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.49/0.51 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/rounding/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/shifting/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/simplerounding/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c heuristics/trivial/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/trysol/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/veclendiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/veclendiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/veclendiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/zirounding/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c separating/cmir/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c separating/flowcover/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.51 c separating/rapidlearning/freq = 0 0.49/0.51 c 0.49/0.51 c ----------------------------------------------------------------------------------------------- 0.49/0.51 c start solving 0.49/0.51 c 0.70/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.70/0.71 c 0.5s| 1 | 0 | 341 | - | 14M| 0 | 200 |3274 |3376 |3274 |6450 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 3.20/3.20 c 2.7s| 1 | 0 | 464 | - | 15M| 0 | 206 |3274 |3376 |3274 |6464 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 5.49/5.58 c 5.1s| 1 | 0 | 574 | - | 16M| 0 | 203 |3274 |3376 |3274 |6473 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 7.79/7.82 c 7.3s| 1 | 0 | 632 | - | 16M| 0 | 212 |3274 |3376 |3274 |6480 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 10.39/10.44 c 9.9s| 1 | 0 | 691 | - | 17M| 0 | 202 |3274 |3376 |3274 |6487 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf 13.10/13.15 c 12.6s| 1 | 0 | 801 | - | 18M| 0 | 208 |3274 |3376 |3274 |6494 | 44 | 0 | 0 | 0.000000e+00 | -- | Inf 19.29/19.31 c 18.7s| 1 | 2 | 801 | - | 18M| 0 | 208 |3274 |3376 |3274 |6494 | 44 | 0 | 10 | 0.000000e+00 | -- | Inf 790.39/790.61 c 780s| 10000 | 357 | 1433k| 143.2 | 28M| 33 | 109 |3274 |6441 |3274 | 966 | 272k| 12k|7967 | 0.000000e+00 | -- | Inf 1465.62/1466.01 c 1446s| 20000 | 772 | 2787k| 139.4 | 36M| 46 | 74 |3274 |7270 |3274 | 997 | 539k| 24k| 13k| 0.000000e+00 | -- | Inf 1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.55 c 1800.04/1800.55 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.55 c Solving Time (sec) : 1776.22 1800.04/1800.55 c Solving Nodes : 25963 1800.04/1800.55 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.55 c Dual Bound : +0.00000000000000e+00 1800.04/1800.55 c Gap : infinite 1800.04/1800.55 s UNKNOWN 1800.04/1800.55 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.55 c Solving Time : 1776.22 1800.04/1800.55 c Original Problem : 1800.04/1800.55 c Problem name : HOME/instance-2666358-1276683847.opb 1800.04/1800.55 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.55 c Constraints : 3376 initial, 3376 maximal 1800.04/1800.55 c Presolved Problem : 1800.04/1800.55 c Problem name : t_HOME/instance-2666358-1276683847.opb 1800.04/1800.55 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.55 c Constraints : 3376 initial, 7808 maximal 1800.04/1800.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.55 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c probing : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.55 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c and : 0.21 0 0 0 0 0 0 0 0 1800.04/1800.55 c linear : 0.02 0 0 0 0 0 0 0 0 1800.04/1800.55 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.55 c root node : - 0 - - 0 - - - - 1800.04/1800.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.55 c integral : 0 0 0 15175 0 38 2446 0 0 27450 1800.04/1800.55 c knapsack : 1 5 117952 17 0 0 0 0 0 0 1800.04/1800.55 c setppc : 200 5 117952 17 0 474 214747 0 0 0 1800.04/1800.55 c and : 3074 19890 117478 17 0 189 3425103 673751 0 0 1800.04/1800.55 c linear : 1 5 117289 0 0 0 0 0 0 0 1800.04/1800.55 c logicor : 100+ 5 45852 0 0 85 46713 0 0 0 1800.04/1800.55 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.55 c integral : 417.88 0.00 0.00 417.88 0.00 1800.04/1800.55 c knapsack : 0.54 0.01 0.53 0.00 0.00 1800.04/1800.55 c setppc : 1.20 0.00 1.20 0.00 0.00 1800.04/1800.55 c and : 33.11 16.69 16.41 0.01 0.00 1800.04/1800.55 c linear : 2.62 0.00 2.62 0.00 0.00 1800.04/1800.55 c logicor : 5.29 0.00 5.29 0.00 0.00 1800.04/1800.55 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.55 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.55 c vbounds : 0.11 1 0 0 1800.04/1800.55 c rootredcost : 0.04 0 0 0 1800.04/1800.55 c pseudoobj : 0.07 0 0 0 1800.04/1800.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.55 c propagation : 0.08 748 741 1522 25.1 53 55.3 - 1800.04/1800.55 c infeasible LP : 28.88 11580 11497 116069 48.6 114 7.0 0 1800.04/1800.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.55 c applied globally : - - - 32571 52.2 - - - 1800.04/1800.55 c applied locally : - - - 0 0.0 - - - 1800.04/1800.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.55 c cut pool : 0.00 4 - - 6 - (maximal pool size: 510) 1800.04/1800.55 c redcost : 4.55 19890 0 0 0 0 1800.04/1800.55 c impliedbounds : 0.00 5 0 0 16 0 1800.04/1800.55 c intobj : 0.00 0 0 0 0 0 1800.04/1800.55 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.55 c gomory : 9.29 5 0 0 0 0 1800.04/1800.55 c strongcg : 1.81 5 0 0 2500 0 1800.04/1800.55 c cmir : 0.00 0 0 0 0 0 1800.04/1800.55 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.55 c clique : 0.03 5 0 0 31 0 1800.04/1800.55 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.55 c mcf : 0.19 3 0 0 30 0 1800.04/1800.55 c rapidlearning : 0.35 1 0 0 0 0 1800.04/1800.55 c Pricers : Time Calls Vars 1800.04/1800.55 c problem variables: 0.00 0 0 1800.04/1800.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.55 c relpscost : 417.81 15158 38 2446 0 0 27450 1800.04/1800.55 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.55 c inference : 0.00 0 0 0 0 0 0 1800.04/1800.55 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.55 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.55 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.55 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.55 c random : 0.00 0 0 0 0 0 0 1800.04/1800.55 c Primal Heuristics : Time Calls Found 1800.04/1800.55 c LP solutions : 0.00 - 0 1800.04/1800.55 c pseudo solutions : 0.00 - 0 1800.04/1800.55 c trivial : 0.00 1 0 1800.04/1800.55 c simplerounding : 0.00 0 0 1800.04/1800.55 c zirounding : 0.00 0 0 1800.04/1800.55 c rounding : 0.00 0 0 1800.04/1800.55 c shifting : 0.00 0 0 1800.04/1800.55 c intshifting : 0.00 0 0 1800.04/1800.55 c oneopt : 0.00 0 0 1800.04/1800.55 c twoopt : 0.00 0 0 1800.04/1800.55 c fixandinfer : 0.00 0 0 1800.04/1800.55 c feaspump : 0.00 0 0 1800.04/1800.55 c coefdiving : 0.00 0 0 1800.04/1800.55 c pscostdiving : 0.00 0 0 1800.04/1800.55 c fracdiving : 0.00 0 0 1800.04/1800.55 c veclendiving : 0.00 0 0 1800.04/1800.55 c intdiving : 0.00 0 0 1800.04/1800.55 c actconsdiving : 0.00 0 0 1800.04/1800.55 c objpscostdiving : 0.00 0 0 1800.04/1800.55 c rootsoldiving : 0.00 0 0 1800.04/1800.55 c linesearchdiving : 0.00 0 0 1800.04/1800.55 c guideddiving : 0.00 0 0 1800.04/1800.55 c octane : 0.00 0 0 1800.04/1800.55 c rens : 0.00 0 0 1800.04/1800.55 c rins : 0.00 0 0 1800.04/1800.55 c localbranching : 0.00 0 0 1800.04/1800.55 c mutation : 0.00 0 0 1800.04/1800.55 c crossover : 0.00 0 0 1800.04/1800.55 c dins : 0.00 0 0 1800.04/1800.55 c undercover : 0.00 0 0 1800.04/1800.55 c nlp : 0.00 0 0 1800.04/1800.55 c trysol : 0.00 0 0 1800.04/1800.55 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.55 c primal LP : 21.26 0 0 0.00 0.00 1800.04/1800.55 c dual LP : 1147.49 46624 3515730 75.41 3063.84 1800.04/1800.55 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.55 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.55 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.55 c strong branching : 416.40 14993 1185897 79.10 2847.98 1800.04/1800.55 c (at root node) : - 10 5740 574.00 - 1800.04/1800.55 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.55 c B&B Tree : 1800.04/1800.55 c number of runs : 1 1800.04/1800.55 c nodes : 25963 1800.04/1800.55 c nodes (total) : 25963 1800.04/1800.55 c nodes left : 923 1800.04/1800.55 c max depth : 47 1800.04/1800.55 c max depth (total): 47 1800.04/1800.55 c backtracks : 5017 (19.3%) 1800.04/1800.55 c delayed cutoffs : 565 1800.04/1800.55 c repropagations : 33229 (301424 domain reductions, 128 cutoffs) 1800.04/1800.55 c avg switch length: 5.48 1800.04/1800.55 c switching time : 54.51 1800.04/1800.55 c Solution : 1800.04/1800.55 c Solutions found : 0 (0 improvements) 1800.04/1800.55 c Primal Bound : - 1800.04/1800.55 c Dual Bound : +0.00000000000000e+00 1800.04/1800.55 c Gap : infinite 1800.04/1800.55 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.55 c Root Iterations : 801 1800.15/1800.67 c Time complete: 1800.2.
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-2666358-1276683847/watcher-2666358-1276683847 -o /tmp/evaluation-result-2666358-1276683847/solver-2666358-1276683847 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666358-1276683847.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.99 3/106 10342 /proc/meminfo: memFree=1734840/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=7724 CPUtime=0 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 1007 0 0 0 0 0 0 0 20 0 1 0 42041085 7909376 927 1992294400 4194304 8223781 140736011698672 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10342/statm: 1931 936 348 984 0 944 0 [startup+0.0983159 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10342 /proc/meminfo: memFree=1734840/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=20848 CPUtime=0.09 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 4617 0 0 0 8 1 0 0 20 0 1 0 42041085 21348352 4173 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 5212 4173 426 984 0 4225 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20848 [startup+0.101317 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10342 /proc/meminfo: memFree=1734840/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=21148 CPUtime=0.09 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 4666 0 0 0 8 1 0 0 20 0 1 0 42041085 21655552 4222 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 5287 4222 426 984 0 4300 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21148 [startup+0.301336 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10342 /proc/meminfo: memFree=1734840/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=22524 CPUtime=0.29 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 5542 0 0 0 19 10 0 0 20 0 1 0 42041085 23064576 4584 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 5631 4584 444 984 0 4644 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22524 [startup+0.701373 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10342 /proc/meminfo: memFree=1734840/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=38436 CPUtime=0.7 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 11488 0 0 0 49 21 0 0 21 0 1 0 42041085 39358464 8593 1992294400 4194304 8223781 140736011698672 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 9609 8593 540 984 0 8622 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 38436 [startup+1.50145 s] /proc/loadavg: 1.08 1.00 1.00 2/107 10343 /proc/meminfo: memFree=1701972/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=38736 CPUtime=1.49 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 11717 0 0 0 128 21 0 0 23 0 1 0 42041085 39665664 8690 1992294400 4194304 8223781 140736011698672 18446744073709551615 6051943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 9684 8690 557 984 0 8697 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38736 [startup+3.1016 s] /proc/loadavg: 1.08 1.00 1.00 2/107 10343 /proc/meminfo: memFree=1701848/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=42688 CPUtime=3.09 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 20812 0 0 0 263 46 0 0 25 0 1 0 42041085 43712512 9763 1992294400 4194304 8223781 140736011698672 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 10672 9763 595 984 0 9685 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42688 [startup+6.30091 s] /proc/loadavg: 1.07 1.00 1.00 2/107 10343 /proc/meminfo: memFree=1694284/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=47024 CPUtime=6.29 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 22429 0 0 0 581 48 0 0 25 0 1 0 42041085 48152576 10788 1992294400 4194304 8223781 140736011698672 18446744073709551615 6051943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 11756 10788 587 984 0 10769 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47024 [startup+12.7005 s] /proc/loadavg: 1.07 1.00 1.00 2/107 10343 /proc/meminfo: memFree=1690440/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=50180 CPUtime=12.68 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 23636 0 0 0 1218 50 0 0 25 0 1 0 42041085 51384320 11542 1992294400 4194304 8223781 140736011698672 18446744073709551615 6300071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 12545 11542 587 984 0 11558 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 50180 [startup+25.5007 s] /proc/loadavg: 1.06 1.00 1.00 2/107 10343 /proc/meminfo: memFree=1687836/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=52172 CPUtime=25.48 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 31101 0 0 0 2486 62 0 0 25 0 1 0 42041085 53424128 12076 1992294400 4194304 8223781 140736011698672 18446744073709551615 6569794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 13043 12076 593 984 0 12056 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52172 [startup+51.1012 s] /proc/loadavg: 1.03 1.00 1.00 2/107 10345 /proc/meminfo: memFree=1687340/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=53452 CPUtime=51.08 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 32578 0 0 0 5017 91 0 0 25 0 1 0 42041085 54734848 12375 1992294400 4194304 8223781 140736011698672 18446744073709551615 6569811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 13363 12375 593 984 0 12376 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53452 [startup+102.308 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10345 /proc/meminfo: memFree=1679652/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=60776 CPUtime=102.27 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 59046 0 0 0 10067 160 0 0 25 0 1 0 42041085 62234624 14192 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 15194 14192 593 984 0 14207 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60776 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10347 /proc/meminfo: memFree=1672708/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=67920 CPUtime=162.25 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 86676 0 0 0 15981 244 0 0 25 0 1 0 42041085 69550080 15973 1992294400 4194304 8223781 140736011698672 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 16980 15973 593 984 0 15993 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 67920 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10349 /proc/meminfo: memFree=1664772/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=75404 CPUtime=222.24 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 114305 0 0 0 21894 330 0 0 25 0 1 0 42041085 77213696 17849 1992294400 4194304 8223781 140736011698672 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 18851 17849 593 984 0 17864 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 75404 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10351 /proc/meminfo: memFree=1660184/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=79752 CPUtime=282.22 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 146814 0 0 0 27803 419 0 0 25 0 1 0 42041085 81666048 18947 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 19938 18947 593 984 0 18951 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 79752 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10351 /proc/meminfo: memFree=1656092/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=84068 CPUtime=342.21 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 170803 0 0 0 33725 496 0 0 25 0 1 0 42041085 86085632 20020 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 21017 20020 593 984 0 20030 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 84068 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10353 /proc/meminfo: memFree=1651504/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=88772 CPUtime=402.19 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 194075 0 0 0 39650 569 0 0 25 0 1 0 42041085 90902528 21152 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 22193 21152 593 984 0 21206 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 88772 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10355 /proc/meminfo: memFree=1648156/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=91932 CPUtime=462.17 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 213257 0 0 0 45571 646 0 0 25 0 1 0 42041085 94138368 21942 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 22983 21942 593 984 0 21996 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 91932 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10357 /proc/meminfo: memFree=1644932/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=95708 CPUtime=522.16 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 243585 0 0 0 51490 726 0 0 25 0 1 0 42041085 98004992 22780 1992294400 4194304 8223781 140736011698672 18446744073709551615 6456039 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 23927 22780 593 984 0 22940 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 95708 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10359 /proc/meminfo: memFree=1641956/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=98736 CPUtime=582.14 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 271607 0 0 0 57398 816 0 0 25 0 1 0 42041085 101105664 23480 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 24684 23480 593 984 0 23697 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 98736 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10359 /proc/meminfo: memFree=1638732/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=101888 CPUtime=642.13 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 289033 0 0 0 63327 886 0 0 25 0 1 0 42041085 104333312 24275 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 25472 24275 593 984 0 24485 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 101888 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10370 /proc/meminfo: memFree=1627572/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=112412 CPUtime=882.07 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 385125 0 0 0 87024 1183 0 0 25 0 1 0 42041085 115109888 26826 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 28103 26826 593 984 0 27116 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 112412 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10370 /proc/meminfo: memFree=1624596/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=115840 CPUtime=942.05 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 411472 0 0 0 92941 1264 0 0 25 0 1 0 42041085 118620160 27612 1992294400 4194304 8223781 140736011698672 18446744073709551615 6536466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 28960 27612 593 984 0 27973 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 115840 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10372 /proc/meminfo: memFree=1621992/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=118808 CPUtime=1002.03 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 436541 0 0 0 98863 1340 0 0 25 0 1 0 42041085 121659392 28281 1992294400 4194304 8223781 140736011698672 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 29702 28281 593 984 0 28715 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 118808 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 10374 /proc/meminfo: memFree=1618768/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=121752 CPUtime=1062.03 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 462260 0 0 0 104782 1421 0 0 25 0 1 0 42041085 124674048 29023 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 30438 29023 593 984 0 29451 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 121752 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10376 /proc/meminfo: memFree=1617900/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=123048 CPUtime=1122.01 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 484480 0 0 0 110708 1493 0 0 25 0 1 0 42041085 126001152 29316 1992294400 4194304 8223781 140736011698672 18446744073709551615 6003239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 30762 29316 593 984 0 29775 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 123048 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10378 /proc/meminfo: memFree=1616164/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=124876 CPUtime=1181.99 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 501198 0 0 0 116630 1569 0 0 25 0 1 0 42041085 127873024 29778 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 31219 29778 593 984 0 30232 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 124876 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10378 /proc/meminfo: memFree=1614800/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=125996 CPUtime=1241.98 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 528969 0 0 0 122547 1651 0 0 25 0 1 0 42041085 129019904 30059 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 31499 30059 593 984 0 30512 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 125996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10380 /proc/meminfo: memFree=1611948/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=129196 CPUtime=1301.97 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 549252 0 0 0 128467 1730 0 0 25 0 1 0 42041085 132296704 30794 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 32299 30794 593 984 0 31312 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 129196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10382 /proc/meminfo: memFree=1610212/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=131232 CPUtime=1361.95 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 570606 0 0 0 134386 1809 0 0 25 0 1 0 42041085 134381568 31283 1992294400 4194304 8223781 140736011698672 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 32808 31283 593 984 0 31821 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 131232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10384 /proc/meminfo: memFree=1608476/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=132980 CPUtime=1421.94 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 593532 0 0 0 140305 1889 0 0 25 0 1 0 42041085 136171520 31690 1992294400 4194304 8223781 140736011698672 18446744073709551615 5913465 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 33245 31690 593 984 0 32258 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 132980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10386 /proc/meminfo: memFree=1606492/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=134680 CPUtime=1481.92 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 622189 0 0 0 146219 1973 0 0 25 0 1 0 42041085 137912320 32110 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 33670 32110 593 984 0 32683 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 134680 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10386 /proc/meminfo: memFree=1605004/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=136216 CPUtime=1541.91 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 639428 0 0 0 152141 2050 0 0 25 0 1 0 42041085 139485184 32483 1992294400 4194304 8223781 140736011698672 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 34054 32483 593 984 0 33067 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 136216 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10388 /proc/meminfo: memFree=1602648/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=138940 CPUtime=1601.89 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 660218 0 0 0 158063 2126 0 0 25 0 1 0 42041085 142274560 33074 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 34735 33074 593 984 0 33748 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 138940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10390 /proc/meminfo: memFree=1600416/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=141552 CPUtime=1661.88 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 679947 0 0 0 163984 2204 0 0 25 0 1 0 42041085 144949248 33670 1992294400 4194304 8223781 140736011698672 18446744073709551615 6520517 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 35388 33670 593 984 0 34401 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 141552 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 10392 /proc/meminfo: memFree=1598556/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=143040 CPUtime=1721.86 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 697645 0 0 0 169908 2278 0 0 25 0 1 0 42041085 146472960 34038 1992294400 4194304 8223781 140736011698672 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 35760 34038 593 984 0 34773 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 143040 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 10394 /proc/meminfo: memFree=1596820/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=144484 CPUtime=1781.84 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 726626 0 0 0 175825 2359 0 0 25 0 1 0 42041085 147951616 34416 1992294400 4194304 8223781 140736011698672 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 36121 34416 593 984 0 35134 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 144484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10394 /proc/meminfo: memFree=1596696/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=145012 CPUtime=1800.04 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 733054 0 0 0 177621 2383 0 0 25 0 1 0 42041085 148492288 34510 1992294400 4194304 8223781 140736011698672 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10342/statm: 36253 34510 593 984 0 35266 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 145012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.01 1.00 1.00 2/108 10395 /proc/meminfo: memFree=1596688/2059040 swapFree=4140256/4192956 [pid=10342] ppid=10340 vsize=144856 CPUtime=1800.15 /proc/10342/stat : 10342 (pbscip.linux.x8) R 10340 10342 10203 0 -1 4202496 733079 0 0 0 177632 2383 0 0 25 0 1 0 42041085 148332544 34463 1992294400 4194304 8223781 140736011698672 18446744073709551615 6027074 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10342/statm: 36214 34463 594 984 0 35227 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 144856 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.22 CPU user time (s): 1776.36 CPU system time (s): 23.8594 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 145040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.36 system time used= 23.8594 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 733083 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= 4 involuntary context switches= 4683 runsolver used 3.13852 second user time and 8.34373 second system time The end
Begin job on node018 at 2010-06-16 12:24:07 IDJOB=2666358 IDBENCH=48376 IDSOLVER=1169 FILE ID=node018/2666358-1276683847 PBS_JOBID= 11172585 Free space on /tmp= 62488 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_2_15.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-2666358-1276683847/watcher-2666358-1276683847 -o /tmp/evaluation-result-2666358-1276683847/solver-2666358-1276683847 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666358-1276683847.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b437bd5db918ab114396d43dfca73285 RANDOM SEED=1533589438 node018.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.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1735492 kB Buffers: 113388 kB Cached: 121396 kB SwapCached: 6364 kB Active: 102092 kB Inactive: 146256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1735492 kB SwapTotal: 4192956 kB SwapFree: 4140256 kB Dirty: 4636 kB Writeback: 0 kB AnonPages: 11632 kB Mapped: 13044 kB Slab: 53556 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180092 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 node018 at 2010-06-16 12:54:10