Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.28 | 1800.79 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb |
MD5SUM | f3f7503aace115ec5eea1f9ed4e29626 |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2664857-1276677400.opb> 0.00/0.02 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints 0.00/0.02 c problem read 0.00/0.02 c No objective function, only one solution is needed. 0.00/0.02 c presolving settings loaded 0.00/0.04 c presolving: 0.19/0.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10280 impls, 200 clqs 0.29/0.39 c presolving (2 rounds): 0.29/0.39 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.29/0.39 c 10280 implications, 200 cliques 0.29/0.39 c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints 0.29/0.39 c 1 constraints of type <knapsack> 0.29/0.39 c 200 constraints of type <setppc> 0.29/0.39 c 1260 constraints of type <and> 0.29/0.39 c 1 constraints of type <linear> 0.29/0.39 c 100 constraints of type <logicor> 0.29/0.39 c transformed objective value is always integral (scale: 1) 0.29/0.39 c Presolving Time: 0.18 0.29/0.39 c - non default parameters ---------------------------------------------------------------------- 0.29/0.39 c # SCIP version 1.2.1.2 0.29/0.39 c 0.29/0.39 c # frequency for displaying node information lines 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 100] 0.29/0.39 c display/freq = 10000 0.29/0.39 c 0.29/0.39 c # maximal time in seconds to run 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.39 c limits/time = 1799.99 0.29/0.39 c 0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.39 c limits/memory = 1620 0.29/0.39 c 0.29/0.39 c # solving stops, if the given number of solutions were found (-1: no limit) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c limits/solutions = 1 0.29/0.39 c 0.29/0.39 c # maximal number of separation rounds per node (-1: unlimited) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 5] 0.29/0.39 c separating/maxrounds = 1 0.29/0.39 c 0.29/0.39 c # maximal number of separation rounds in the root node (-1: unlimited) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c separating/maxroundsroot = 5 0.29/0.39 c 0.29/0.39 c # should presolving try to simplify inequalities 0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.39 c constraints/linear/simplifyinequalities = TRUE 0.29/0.39 c 0.29/0.39 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.29/0.39 c constraints/knapsack/disaggregation = FALSE 0.29/0.39 c 0.29/0.39 c # should presolving try to simplify knapsacks 0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.39 c constraints/knapsack/simplifyinequalities = TRUE 0.29/0.39 c 0.29/0.39 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c presolving/probing/maxrounds = 0 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/coefdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/coefdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/coefdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 30] 0.29/0.39 c heuristics/crossover/freq = -1 0.29/0.39 c 0.29/0.39 c # number of nodes added to the contingent of the total nodes 0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.39 c heuristics/crossover/nodesofs = 750 0.29/0.39 c 0.29/0.39 c # number of nodes without incumbent change that heuristic should wait 0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.29/0.39 c heuristics/crossover/nwaitingnodes = 100 0.29/0.39 c 0.29/0.39 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.29/0.39 c # [type: real, range: [0,1], default: 0.1] 0.29/0.39 c heuristics/crossover/nodesquot = 0.15 0.29/0.39 c 0.29/0.39 c # minimum percentage of integer variables that have to be fixed 0.29/0.39 c # [type: real, range: [0,1], default: 0.666] 0.29/0.39 c heuristics/crossover/minfixingrate = 0.5 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.39 c heuristics/feaspump/freq = -1 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/feaspump/maxlpiterofs = 2000 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/fracdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/fracdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/fracdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/guideddiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/guideddiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/guideddiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/intdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/intshifting/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/linesearchdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/nlp/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.39 c heuristics/objpscostdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to total iteration number 0.29/0.39 c # [type: real, range: [0,1], default: 0.01] 0.29/0.39 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/oneopt/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/pscostdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/pscostdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c heuristics/rens/freq = -1 0.29/0.39 c 0.29/0.39 c # minimum percentage of integer variables that have to be fixable 0.29/0.39 c # [type: real, range: [0,1], default: 0.5] 0.29/0.39 c heuristics/rens/minfixingrate = 0.3 0.29/0.39 c 0.29/0.39 c # number of nodes added to the contingent of the total nodes 0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.39 c heuristics/rens/nodesofs = 2000 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.39 c heuristics/rootsoldiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.29/0.39 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/rounding/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/shifting/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/simplerounding/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c heuristics/trivial/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/trysol/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/veclendiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/veclendiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/veclendiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/zirounding/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c separating/cmir/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c separating/flowcover/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c separating/rapidlearning/freq = 0 0.29/0.39 c 0.29/0.39 c ----------------------------------------------------------------------------------------------- 0.29/0.39 c start solving 0.29/0.39 c 0.69/0.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.69/0.78 c 0.6s| 1 | 0 | 856 | - |6666k| 0 | 612 |1460 |1562 |1460 |2822 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 3.59/3.63 c 3.2s| 1 | 0 | 905 | - |8239k| 0 | 593 |1460 |1644 |1460 |2838 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 5.78/5.85 c 5.4s| 1 | 0 | 998 | - |9685k| 0 | 616 |1460 |1644 |1460 |2847 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 8.09/8.11 c 7.6s| 1 | 0 | 1079 | - | 11M| 0 | 625 |1460 |1644 |1460 |2852 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 10.48/10.56 c 10.1s| 1 | 0 | 1133 | - | 13M| 0 | 624 |1460 |1644 |1460 |2857 | 35 | 0 | 0 | 0.000000e+00 | -- | Inf 12.78/12.84 c 12.3s| 1 | 0 | 1227 | - | 16M| 0 | 628 |1460 |1644 |1460 |2865 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf 16.50/16.57 c 16.1s| 1 | 2 | 1227 | - | 16M| 0 | 628 |1460 |1644 |1460 |2865 | 43 | 0 | 10 | 0.000000e+00 | -- | Inf 1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.19/1800.75 c 1800.19/1800.75 c SCIP Status : solving was interrupted [user interrupt] 1800.19/1800.75 c Solving Time (sec) : 1790.18 1800.19/1800.75 c Solving Nodes : 3483 1800.19/1800.75 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.19/1800.75 c Dual Bound : +0.00000000000000e+00 1800.19/1800.75 c Gap : infinite 1800.19/1800.75 s UNKNOWN 1800.19/1800.75 c SCIP Status : solving was interrupted [user interrupt] 1800.19/1800.75 c Solving Time : 1790.18 1800.19/1800.75 c Original Problem : 1800.19/1800.75 c Problem name : HOME/instance-2664857-1276677400.opb 1800.19/1800.75 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.19/1800.75 c Constraints : 1562 initial, 1562 maximal 1800.19/1800.75 c Presolved Problem : 1800.19/1800.75 c Problem name : t_HOME/instance-2664857-1276677400.opb 1800.19/1800.75 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.19/1800.75 c Constraints : 1562 initial, 1943 maximal 1800.19/1800.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.19/1800.75 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c implics : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c probing : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.19/1800.75 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c and : 0.16 0 0 0 0 0 0 0 0 1800.19/1800.75 c linear : 0.01 0 0 0 0 0 0 0 0 1800.19/1800.75 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.75 c root node : - 0 - - 0 - - - - 1800.19/1800.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.19/1800.75 c integral : 0 0 0 2135 0 12 180 0 0 4086 1800.19/1800.75 c knapsack : 1 5 10006 0 0 0 0 0 0 0 1800.19/1800.75 c setppc : 200 5 10006 0 0 1 1219 0 0 0 1800.19/1800.75 c and : 1260 2998 10005 0 0 1 54328 252941 0 0 1800.19/1800.75 c linear : 1+ 6 10004 0 0 0 973 0 0 0 1800.19/1800.75 c logicor : 100+ 5 3340 0 0 0 2349 0 0 0 1800.19/1800.75 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.19/1800.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.19/1800.75 c integral : 387.89 0.00 0.00 387.89 0.00 1800.19/1800.75 c knapsack : 0.03 0.00 0.03 0.00 0.00 1800.19/1800.75 c setppc : 0.09 0.00 0.09 0.00 0.00 1800.19/1800.75 c and : 4.11 3.27 0.84 0.00 0.00 1800.19/1800.75 c linear : 0.32 0.00 0.32 0.00 0.00 1800.19/1800.75 c logicor : 0.05 0.00 0.05 0.00 0.00 1800.19/1800.75 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.19/1800.75 c Propagators : Time Calls Cutoffs DomReds 1800.19/1800.75 c vbounds : 0.00 1 0 0 1800.19/1800.75 c rootredcost : 0.01 0 0 0 1800.19/1800.75 c pseudoobj : 0.00 0 0 0 1800.19/1800.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.19/1800.75 c propagation : 0.00 2 2 2 2.5 0 0.0 - 1800.19/1800.75 c infeasible LP : 0.96 1426 247 1346 17.5 0 0.0 0 1800.19/1800.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.19/1800.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.19/1800.75 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.19/1800.75 c applied globally : - - - 299 16.7 - - - 1800.19/1800.75 c applied locally : - - - 0 0.0 - - - 1800.19/1800.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.19/1800.75 c cut pool : 0.00 4 - - 7 - (maximal pool size: 1061) 1800.19/1800.75 c redcost : 0.16 2998 0 0 0 0 1800.19/1800.75 c impliedbounds : 0.00 5 0 0 25 0 1800.19/1800.75 c intobj : 0.00 0 0 0 0 0 1800.19/1800.76 c cgmip : 0.00 0 0 0 0 0 1800.19/1800.76 c gomory : 5.88 5 0 0 0 0 1800.19/1800.76 c strongcg : 4.97 5 0 0 1864 0 1800.19/1800.76 c cmir : 0.00 0 0 0 0 0 1800.19/1800.76 c flowcover : 0.00 0 0 0 0 0 1800.19/1800.76 c clique : 0.08 5 0 0 32 0 1800.19/1800.76 c zerohalf : 0.00 0 0 0 0 0 1800.19/1800.76 c mcf : 0.00 1 0 0 0 0 1800.19/1800.76 c rapidlearning : 0.52 1 0 0 0 82 1800.19/1800.76 c Pricers : Time Calls Vars 1800.19/1800.76 c problem variables: 0.00 0 0 1800.19/1800.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.19/1800.76 c relpscost : 387.88 2135 12 180 0 0 4086 1800.19/1800.76 c pscost : 0.00 0 0 0 0 0 0 1800.19/1800.76 c inference : 0.00 0 0 0 0 0 0 1800.19/1800.76 c mostinf : 0.00 0 0 0 0 0 0 1800.19/1800.76 c leastinf : 0.00 0 0 0 0 0 0 1800.19/1800.76 c fullstrong : 0.00 0 0 0 0 0 0 1800.19/1800.76 c allfullstrong : 0.00 0 0 0 0 0 0 1800.19/1800.76 c random : 0.00 0 0 0 0 0 0 1800.19/1800.76 c Primal Heuristics : Time Calls Found 1800.19/1800.76 c LP solutions : 0.00 - 0 1800.19/1800.76 c pseudo solutions : 0.00 - 0 1800.19/1800.76 c trivial : 0.00 1 0 1800.19/1800.76 c simplerounding : 0.00 0 0 1800.19/1800.76 c zirounding : 0.00 0 0 1800.19/1800.76 c rounding : 0.00 0 0 1800.19/1800.76 c shifting : 0.00 0 0 1800.19/1800.76 c intshifting : 0.00 0 0 1800.19/1800.76 c oneopt : 0.00 0 0 1800.19/1800.76 c twoopt : 0.00 0 0 1800.19/1800.76 c fixandinfer : 0.00 0 0 1800.19/1800.76 c feaspump : 0.00 0 0 1800.19/1800.76 c coefdiving : 0.00 0 0 1800.19/1800.76 c pscostdiving : 0.00 0 0 1800.19/1800.76 c fracdiving : 0.00 0 0 1800.19/1800.76 c veclendiving : 0.00 0 0 1800.19/1800.76 c intdiving : 0.00 0 0 1800.19/1800.76 c actconsdiving : 0.00 0 0 1800.19/1800.76 c objpscostdiving : 0.00 0 0 1800.19/1800.76 c rootsoldiving : 0.00 0 0 1800.19/1800.76 c linesearchdiving : 0.00 0 0 1800.19/1800.76 c guideddiving : 0.00 0 0 1800.19/1800.76 c octane : 0.00 0 0 1800.19/1800.76 c rens : 0.00 0 0 1800.19/1800.76 c rins : 0.00 0 0 1800.19/1800.76 c localbranching : 0.00 0 0 1800.19/1800.76 c mutation : 0.00 0 0 1800.19/1800.76 c crossover : 0.00 0 0 1800.19/1800.76 c dins : 0.00 0 0 1800.19/1800.76 c undercover : 0.00 0 0 1800.19/1800.76 c nlp : 0.00 0 0 1800.19/1800.76 c trysol : 0.00 0 0 1800.19/1800.76 c LP : Time Calls Iterations Iter/call Iter/sec 1800.19/1800.76 c primal LP : 174.10 0 0 0.00 0.00 1800.19/1800.76 c dual LP : 1201.71 6558 1638615 249.87 1363.57 1800.19/1800.76 c lex dual LP : 0.00 0 0 0.00 - 1800.19/1800.76 c barrier LP : 0.00 0 0 0.00 - 1800.19/1800.76 c diving/probing LP: 0.00 0 0 0.00 - 1800.19/1800.76 c strong branching : 387.11 2144 818247 381.65 2113.73 1800.19/1800.76 c (at root node) : - 10 4750 475.00 - 1800.19/1800.76 c conflict analysis: 0.00 0 0 0.00 - 1800.19/1800.76 c B&B Tree : 1800.19/1800.76 c number of runs : 1 1800.19/1800.76 c nodes : 3483 1800.19/1800.76 c nodes (total) : 3483 1800.19/1800.76 c nodes left : 604 1800.19/1800.76 c max depth : 27 1800.19/1800.76 c max depth (total): 27 1800.19/1800.76 c backtracks : 509 (14.6%) 1800.19/1800.76 c delayed cutoffs : 0 1800.19/1800.76 c repropagations : 622 (2497 domain reductions, 0 cutoffs) 1800.19/1800.76 c avg switch length: 4.63 1800.19/1800.76 c switching time : 175.21 1800.19/1800.76 c Solution : 1800.19/1800.76 c Solutions found : 0 (0 improvements) 1800.19/1800.76 c Primal Bound : - 1800.19/1800.76 c Dual Bound : +0.00000000000000e+00 1800.19/1800.76 c Gap : infinite 1800.19/1800.76 c Root Dual Bound : +0.00000000000000e+00 1800.19/1800.76 c Root Iterations : 1227 1800.19/1800.79 c Time complete: 1800.27.
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-2664857-1276677400/watcher-2664857-1276677400 -o /tmp/evaluation-result-2664857-1276677400/solver-2664857-1276677400 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664857-1276677400.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.05 1.01 3/105 15636 /proc/meminfo: memFree=1750052/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=9288 CPUtime=0 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1123 0 0 0 0 0 0 0 25 0 1 0 9033506 9510912 1045 1992294400 4194304 9819077 140735285467664 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15636/statm: 2322 1055 371 1374 0 943 0 [startup+0.0618601 s] /proc/loadavg: 1.00 1.05 1.01 3/105 15636 /proc/meminfo: memFree=1750052/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=17536 CPUtime=0.06 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 3741 0 0 0 4 2 0 0 25 0 1 0 9033506 17956864 3051 1992294400 4194304 9819077 140735285467664 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 4384 3051 472 1374 0 3005 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 17536 [startup+0.100864 s] /proc/loadavg: 1.00 1.05 1.01 3/105 15636 /proc/meminfo: memFree=1750052/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=17536 CPUtime=0.09 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 3741 0 0 0 6 3 0 0 25 0 1 0 9033506 17956864 3051 1992294400 4194304 9819077 140735285467664 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 4384 3051 472 1374 0 3005 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17536 [startup+0.300883 s] /proc/loadavg: 1.00 1.05 1.01 3/105 15636 /proc/meminfo: memFree=1750052/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=18556 CPUtime=0.29 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 5584 0 0 0 16 13 0 0 25 0 1 0 9033506 19001344 3352 1992294400 4194304 9819077 140735285467664 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 4639 3352 505 1374 0 3260 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18556 [startup+0.700921 s] /proc/loadavg: 1.00 1.05 1.01 3/105 15636 /proc/meminfo: memFree=1750052/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=28380 CPUtime=0.69 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 8504 0 0 0 50 19 0 0 18 0 1 0 9033506 29061120 5315 1992294400 4194304 9819077 140735285467664 18446744073709551615 7297867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 7095 5315 636 1374 0 5716 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28380 [startup+1.501 s] /proc/loadavg: 1.00 1.05 1.01 2/106 15637 /proc/meminfo: memFree=1731072/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=28412 CPUtime=1.49 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 8867 0 0 0 129 20 0 0 19 0 1 0 9033506 29093888 5304 1992294400 4194304 9819077 140735285467664 18446744073709551615 6047303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 7103 5304 660 1374 0 5724 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28412 [startup+3.10115 s] /proc/loadavg: 1.00 1.05 1.01 2/106 15637 /proc/meminfo: memFree=1729956/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=44504 CPUtime=3.09 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 14405 0 0 0 275 34 0 0 23 0 1 0 9033506 45572096 9032 1992294400 4194304 9819077 140735285467664 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11126 9032 677 1374 0 9747 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44504 [startup+6.30146 s] /proc/loadavg: 1.00 1.05 1.01 2/106 15637 /proc/meminfo: memFree=1721400/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=34512 CPUtime=6.29 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 15985 0 0 0 584 45 0 0 25 0 1 0 9033506 35340288 7557 1992294400 4194304 9819077 140735285467664 18446744073709551615 6043599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 8628 7557 697 1374 0 7249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34512 [startup+12.7011 s] /proc/loadavg: 1.00 1.05 1.01 2/106 15639 /proc/meminfo: memFree=1716324/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=44264 CPUtime=12.68 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 18382 0 0 0 1220 48 0 0 25 0 1 0 9033506 45326336 9941 1992294400 4194304 9819077 140735285467664 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11066 9941 697 1374 0 9687 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44264 [startup+25.5003 s] /proc/loadavg: 1.00 1.05 1.01 2/106 15639 /proc/meminfo: memFree=1711612/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45392 CPUtime=25.49 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 23581 0 0 0 2496 53 0 0 25 0 1 0 9033506 46481408 10041 1992294400 4194304 9819077 140735285467664 18446744073709551615 7290469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11348 10041 725 1374 0 9969 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 45392 [startup+51.1008 s] /proc/loadavg: 1.00 1.04 1.01 2/106 15639 /proc/meminfo: memFree=1711612/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45640 CPUtime=51.08 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 29362 0 0 0 5048 60 0 0 25 0 1 0 9033506 46735360 10041 1992294400 4194304 9819077 140735285467664 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11410 10041 725 1374 0 10031 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45640 [startup+102.308 s] /proc/loadavg: 1.00 1.03 1.00 2/106 15641 /proc/meminfo: memFree=1711488/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=47436 CPUtime=102.27 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 34153 0 0 0 10157 70 0 0 25 0 1 0 9033506 48574464 10065 1992294400 4194304 9819077 140735285467664 18446744073709551615 7290998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11859 10065 727 1374 0 10480 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 47436 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 15643 /proc/meminfo: memFree=1711488/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45072 CPUtime=162.24 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 47966 0 0 0 16140 84 0 0 25 0 1 0 9033506 46153728 10038 1992294400 4194304 9819077 140735285467664 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11268 10038 727 1374 0 9889 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 45072 [startup+222.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 15643 /proc/meminfo: memFree=1711488/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45064 CPUtime=222.23 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 67096 0 0 0 22119 104 0 0 25 0 1 0 9033506 46145536 10039 1992294400 4194304 9819077 140735285467664 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11266 10039 727 1374 0 9887 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45064 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 15645 /proc/meminfo: memFree=1711488/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=44688 CPUtime=282.21 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 87011 0 0 0 28098 123 0 0 25 0 1 0 9033506 45760512 10033 1992294400 4194304 9819077 140735285467664 18446744073709551615 7326379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11172 10033 727 1374 0 9793 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 44688 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 15647 /proc/meminfo: memFree=1711488/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45016 CPUtime=342.2 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 106282 0 0 0 34077 143 0 0 25 0 1 0 9033506 46096384 10044 1992294400 4194304 9819077 140735285467664 18446744073709551615 7309294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11254 10044 727 1374 0 9875 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 45016 [startup+402.301 s] /proc/loadavg: 1.08 1.02 1.01 2/106 15649 /proc/meminfo: memFree=1711488/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45072 CPUtime=402.18 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 141913 0 0 0 40048 170 0 0 25 0 1 0 9033506 46153728 10037 1992294400 4194304 9819077 140735285467664 18446744073709551615 6365184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11268 10037 727 1374 0 9889 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 45072 [startup+462.301 s] /proc/loadavg: 1.10 1.03 1.00 2/106 15651 /proc/meminfo: memFree=1711488/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=44272 CPUtime=462.15 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 178936 0 0 0 46018 197 0 0 25 0 1 0 9033506 45334528 10029 1992294400 4194304 9819077 140735285467664 18446744073709551615 7283655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11068 10029 727 1374 0 9689 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 44272 [startup+522.3 s] /proc/loadavg: 1.10 1.04 1.00 2/106 15651 /proc/meminfo: memFree=1711240/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=48528 CPUtime=522.14 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 219962 0 0 0 51987 227 0 0 25 0 1 0 9033506 49692672 10114 1992294400 4194304 9819077 140735285467664 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 12132 10114 727 1374 0 10753 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 48528 [startup+582.301 s] /proc/loadavg: 1.10 1.04 1.00 2/106 15653 /proc/meminfo: memFree=1711240/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45480 CPUtime=582.13 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 259844 0 0 0 57956 257 0 0 25 0 1 0 9033506 46571520 10092 1992294400 4194304 9819077 140735285467664 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11370 10092 727 1374 0 9991 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 45480 [startup+642.301 s] /proc/loadavg: 1.09 1.05 1.00 2/106 15655 /proc/meminfo: memFree=1711116/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=48820 CPUtime=642.11 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 302703 0 0 0 63924 287 0 0 25 0 1 0 9033506 49991680 10147 1992294400 4194304 9819077 140735285467664 18446744073709551615 7318453 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 12205 10147 727 1374 0 10826 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 48820 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 15661 /proc/meminfo: memFree=1710992/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45660 CPUtime=882.05 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 481469 0 0 0 87795 410 0 0 25 0 1 0 9033506 46755840 10109 1992294400 4194304 9819077 140735285467664 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11415 10109 727 1374 0 10036 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 45660 [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 15663 /proc/meminfo: memFree=1710992/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45252 CPUtime=942.03 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 530903 0 0 0 93766 437 0 0 25 0 1 0 9033506 46338048 10083 1992294400 4194304 9819077 140735285467664 18446744073709551615 7295839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11313 10083 727 1374 0 9934 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 45252 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 15665 /proc/meminfo: memFree=1710992/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46112 CPUtime=1002.01 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 586352 0 0 0 99730 471 0 0 25 0 1 0 9033506 47218688 10127 1992294400 4194304 9819077 140735285467664 18446744073709551615 7318551 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11528 10127 727 1374 0 10149 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 46112 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 15667 /proc/meminfo: memFree=1710868/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46072 CPUtime=1061.99 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 650407 0 0 0 105692 507 0 0 25 0 1 0 9033506 47177728 10166 1992294400 4194304 9819077 140735285467664 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11518 10166 727 1374 0 10139 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 46072 [startup+1122.3 s] /proc/loadavg: 1.05 1.02 1.00 2/106 15667 /proc/meminfo: memFree=1710868/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45660 CPUtime=1121.98 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 719232 0 0 0 111652 546 0 0 25 0 1 0 9033506 46755840 10107 1992294400 4194304 9819077 140735285467664 18446744073709551615 7317192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11415 10107 727 1374 0 10036 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 45660 [startup+1182.3 s] /proc/loadavg: 1.02 1.01 1.00 2/106 15669 /proc/meminfo: memFree=1710744/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45636 CPUtime=1181.96 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 782309 0 0 0 117611 585 0 0 25 0 1 0 9033506 46731264 10084 1992294400 4194304 9819077 140735285467664 18446744073709551615 7291763 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11409 10084 727 1374 0 10030 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 45636 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15671 /proc/meminfo: memFree=1710620/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=48756 CPUtime=1241.94 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 852561 0 0 0 123568 626 0 0 25 0 1 0 9033506 49926144 10181 1992294400 4194304 9819077 140735285467664 18446744073709551615 6191199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 12189 10181 727 1374 0 10810 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 48756 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15673 /proc/meminfo: memFree=1710496/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=48736 CPUtime=1301.93 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 918868 0 0 0 129528 665 0 0 25 0 1 0 9033506 49905664 10113 1992294400 4194304 9819077 140735285467664 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 12184 10113 727 1374 0 10805 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 48736 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15675 /proc/meminfo: memFree=1710496/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=45628 CPUtime=1361.91 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 987871 0 0 0 135487 704 0 0 25 0 1 0 9033506 46723072 10104 1992294400 4194304 9819077 140735285467664 18446744073709551615 6656800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11407 10104 727 1374 0 10028 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 45628 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15675 /proc/meminfo: memFree=1710496/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46084 CPUtime=1421.9 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1053351 0 0 0 141450 740 0 0 25 0 1 0 9033506 47190016 10170 1992294400 4194304 9819077 140735285467664 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11521 10170 727 1374 0 10142 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 46084 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15686 /proc/meminfo: memFree=1709876/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46352 CPUtime=1481.86 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1124137 0 0 0 147410 776 0 0 25 0 1 0 9033506 47464448 10117 1992294400 4194304 9819077 140735285467664 18446744073709551615 7309294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11588 10117 727 1374 0 10209 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 46352 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15688 /proc/meminfo: memFree=1710124/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46048 CPUtime=1541.85 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1205845 0 0 0 153366 819 0 0 25 0 1 0 9033506 47153152 10087 1992294400 4194304 9819077 140735285467664 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11512 10091 727 1374 0 10133 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 46048 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15690 /proc/meminfo: memFree=1710124/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=49068 CPUtime=1601.84 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1290181 0 0 0 159322 862 0 0 25 0 1 0 9033506 50245632 10117 1992294400 4194304 9819077 140735285467664 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 12267 10117 727 1374 0 10888 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 49068 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15692 /proc/meminfo: memFree=1710124/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46092 CPUtime=1661.82 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1373843 0 0 0 165278 904 0 0 25 0 1 0 9033506 47198208 10137 1992294400 4194304 9819077 140735285467664 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11523 10137 727 1374 0 10144 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 46092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15692 /proc/meminfo: memFree=1710248/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46932 CPUtime=1721.8 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1458935 0 0 0 171232 948 0 0 25 0 1 0 9033506 48058368 10175 1992294400 4194304 9819077 140735285467664 18446744073709551615 7325939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11733 10175 727 1374 0 10354 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 46932 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15694 /proc/meminfo: memFree=1710124/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46484 CPUtime=1781.78 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1543432 0 0 0 177188 990 0 0 25 0 1 0 9033506 47599616 10196 1992294400 4194304 9819077 140735285467664 18446744073709551615 7289508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11621 10196 727 1374 0 10242 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 46484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15694 /proc/meminfo: memFree=1710124/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46772 CPUtime=1800.09 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1572862 0 0 0 179005 1004 0 0 25 0 1 0 9033506 47894528 10119 1992294400 4194304 9819077 140735285467664 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11693 10119 727 1374 0 10314 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 46772 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15694 /proc/meminfo: memFree=1710124/2059040 swapFree=4140808/4192956 [pid=15636] ppid=15634 vsize=46772 CPUtime=1800.19 /proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 15039 0 -1 4202496 1573042 0 0 0 179015 1004 0 0 25 0 1 0 9033506 47894528 10175 1992294400 4194304 9819077 140735285467664 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15636/statm: 11693 10175 727 1374 0 10314 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 46772 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.28 CPU user time (s): 1790.23 CPU system time (s): 10.0535 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 50336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.23 system time used= 10.0535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1573181 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= 5 involuntary context switches= 22478 runsolver used 2.84757 second user time and 8.63669 second system time The end
Begin job on node089 at 2010-06-16 10:36:40 IDJOB=2664857 IDBENCH=48305 IDSOLVER=1168 FILE ID=node089/2664857-1276677400 PBS_JOBID= 11172535 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_2_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664857-1276677400/watcher-2664857-1276677400 -o /tmp/evaluation-result-2664857-1276677400/solver-2664857-1276677400 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664857-1276677400.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED=352193696 node089.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.244 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.48 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.244 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 : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1750456 kB Buffers: 103332 kB Cached: 124764 kB SwapCached: 6556 kB Active: 98824 kB Inactive: 143164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1750456 kB SwapTotal: 4192956 kB SwapFree: 4140808 kB Dirty: 6228 kB Writeback: 0 kB AnonPages: 11264 kB Mapped: 13048 kB Slab: 44924 kB PageTables: 3916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180528 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= 62552 MiB End job on node089 at 2010-06-16 11:06:43