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.17 | 1800.73 |
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: 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-2664928-1276683829.opb> 0.00/0.04 c original problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints 0.00/0.04 c problem read 0.00/0.04 c No objective function, only one solution is needed. 0.00/0.04 c presolving settings loaded 0.00/0.08 c presolving: 0.29/0.30 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.50 c presolving (2 rounds): 0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.49/0.50 c 24792 implications, 200 cliques 0.49/0.50 c presolved problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints 0.49/0.50 c 1 constraints of type <knapsack> 0.49/0.50 c 200 constraints of type <setppc> 0.49/0.50 c 3074 constraints of type <and> 0.49/0.50 c 1 constraints of type <linear> 0.49/0.50 c 100 constraints of type <logicor> 0.49/0.50 c transformed objective value is always integral (scale: 1) 0.49/0.50 c Presolving Time: 0.24 0.49/0.50 c - non default parameters ---------------------------------------------------------------------- 0.49/0.50 c # SCIP version 1.2.1.2 0.49/0.50 c 0.49/0.50 c # frequency for displaying node information lines 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100] 0.49/0.50 c display/freq = 10000 0.49/0.50 c 0.49/0.50 c # maximal time in seconds to run 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.50 c limits/time = 1799.97 0.49/0.50 c 0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.50 c limits/memory = 1620 0.49/0.50 c 0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c limits/solutions = 1 0.49/0.50 c 0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5] 0.49/0.50 c separating/maxrounds = 1 0.49/0.50 c 0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c separating/maxroundsroot = 5 0.49/0.50 c 0.49/0.50 c # should presolving try to simplify inequalities 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.50 c constraints/linear/simplifyinequalities = TRUE 0.49/0.50 c 0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.49/0.50 c constraints/knapsack/disaggregation = FALSE 0.49/0.50 c 0.49/0.50 c # should presolving try to simplify knapsacks 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE 0.49/0.50 c 0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c presolving/probing/maxrounds = 0 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/coefdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/coefdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/coefdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30] 0.49/0.50 c heuristics/crossover/freq = -1 0.49/0.50 c 0.49/0.50 c # number of nodes added to the contingent of the total nodes 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.50 c heuristics/crossover/nodesofs = 750 0.49/0.50 c 0.49/0.50 c # number of nodes without incumbent change that heuristic should wait 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.49/0.50 c heuristics/crossover/nwaitingnodes = 100 0.49/0.50 c 0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.49/0.50 c # [type: real, range: [0,1], default: 0.1] 0.49/0.50 c heuristics/crossover/nodesquot = 0.15 0.49/0.50 c 0.49/0.50 c # minimum percentage of integer variables that have to be fixed 0.49/0.50 c # [type: real, range: [0,1], default: 0.666] 0.49/0.50 c heuristics/crossover/minfixingrate = 0.5 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.50 c heuristics/feaspump/freq = -1 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/feaspump/maxlpiterofs = 2000 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/fracdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/fracdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/fracdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/guideddiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/guideddiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/guideddiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/intdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/intshifting/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/linesearchdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/nlp/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.50 c heuristics/objpscostdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to total iteration number 0.49/0.50 c # [type: real, range: [0,1], default: 0.01] 0.49/0.50 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/oneopt/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/pscostdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/pscostdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c heuristics/rens/freq = -1 0.49/0.50 c 0.49/0.50 c # minimum percentage of integer variables that have to be fixable 0.49/0.50 c # [type: real, range: [0,1], default: 0.5] 0.49/0.50 c heuristics/rens/minfixingrate = 0.3 0.49/0.50 c 0.49/0.50 c # number of nodes added to the contingent of the total nodes 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.50 c heuristics/rens/nodesofs = 2000 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.50 c heuristics/rootsoldiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.49/0.50 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/rounding/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/shifting/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/simplerounding/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c heuristics/trivial/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/trysol/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/veclendiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/veclendiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/veclendiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/zirounding/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c separating/cmir/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c separating/flowcover/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c separating/rapidlearning/freq = 0 0.49/0.50 c 0.49/0.50 c ----------------------------------------------------------------------------------------------- 0.49/0.50 c start solving 0.49/0.50 c 0.59/0.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.59/0.68 c 0.4s| 1 | 0 | 256 | - | 14M| 0 | 218 |3274 |3376 |3274 |6450 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 2.89/2.95 c 2.4s| 1 | 0 | 286 | - | 15M| 0 | 218 |3274 |3376 |3274 |6459 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.73 c 4.2s| 1 | 0 | 331 | - | 15M| 0 | 236 |3274 |3376 |3274 |6465 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 6.50/6.56 c 6.0s| 1 | 0 | 396 | - | 16M| 0 | 265 |3274 |3376 |3274 |6473 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 8.70/8.71 c 8.2s| 1 | 0 | 437 | - | 17M| 0 | 273 |3274 |3376 |3274 |6481 | 31 | 0 | 0 | 0.000000e+00 | -- | Inf 10.90/11.00 c 10.4s| 1 | 0 | 500 | - | 17M| 0 | 302 |3274 |3376 |3274 |6488 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf 11.00/11.06 c 10.5s| 1 | 0 | 508 | - | 17M| 0 | 302 |3274 |3376 |3274 |6490 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf 17.28/17.33 c 16.7s| 1 | 2 | 508 | - | 17M| 0 | 302 |3274 |3376 |3274 |6490 | 40 | 0 | 10 | 0.000000e+00 | -- | Inf 403.17/403.39 c 392s| 10000 | 169 |696786 | 69.6 | 22M| 34 | - |3274 |4501 |3274 | 802 | 431k|3199 |7987 | 0.000000e+00 | -- | Inf 672.18/672.44 c 651s| 20000 | 256 | 1254k| 62.7 | 25M| 41 | - |3274 |5013 |3274 | 863 | 781k|7467 | 12k| 0.000000e+00 | -- | Inf 931.31/931.61 c 900s| 30000 | 370 | 1806k| 60.2 | 26M| 41 | 38 |3274 |5055 |3274 | 806 |1107k| 11k| 15k| 0.000000e+00 | -- | Inf 1182.32/1182.78 c 1142s| 40000 | 476 | 2372k| 59.3 | 29M| 41 | - |3274 |5142 |3274 | 839 |1434k| 15k| 17k| 0.000000e+00 | -- | Inf 1456.25/1456.77 c 1406s| 50000 | 573 | 2971k| 59.4 | 31M| 41 | - |3274 |4989 |3274 | 779 |1776k| 18k| 20k| 0.000000e+00 | -- | Inf 1737.65/1738.27 c 1678s| 60000 | 568 | 3599k| 60.0 | 31M| 41 | - |3274 |4978 |3274 | 861 |2114k| 22k| 23k| 0.000000e+00 | -- | Inf 1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.63 c 1800.05/1800.63 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.63 c Solving Time (sec) : 1737.68 1800.05/1800.63 c Solving Nodes : 62162 1800.05/1800.63 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.05/1800.63 c Dual Bound : +0.00000000000000e+00 1800.05/1800.63 c Gap : infinite 1800.05/1800.63 s UNKNOWN 1800.05/1800.63 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.63 c Solving Time : 1737.68 1800.05/1800.63 c Original Problem : 1800.05/1800.63 c Problem name : HOME/instance-2664928-1276683829.opb 1800.05/1800.63 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.63 c Constraints : 3376 initial, 3376 maximal 1800.05/1800.63 c Presolved Problem : 1800.05/1800.63 c Problem name : t_HOME/instance-2664928-1276683829.opb 1800.05/1800.63 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.63 c Constraints : 3376 initial, 5331 maximal 1800.05/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.63 c and : 0.18 0 0 0 0 0 0 0 0 1800.05/1800.63 c linear : 0.02 0 0 0 0 0 0 0 0 1800.05/1800.63 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.63 c root node : - 0 - - 0 - - - - 1800.05/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.63 c integral : 0 0 0 34125 0 42 3064 0 0 62798 1800.05/1800.63 c knapsack : 1 5 219228 317 0 55 395 0 0 0 1800.05/1800.63 c setppc : 200 5 219229 317 0 976 440037 0 0 0 1800.05/1800.63 c and : 3074 54684 218253 317 0 192 5695653 2187018 0 0 1800.05/1800.63 c linear : 1 5 218058 0 0 3 61 0 0 0 1800.05/1800.63 c logicor : 100+ 5 93948 0 0 114 96836 0 0 0 1800.05/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.05/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.63 c integral : 185.56 0.00 0.00 185.56 0.00 1800.05/1800.63 c knapsack : 1.36 0.00 1.36 0.00 0.00 1800.05/1800.63 c setppc : 2.91 0.00 2.90 0.01 0.00 1800.05/1800.63 c and : 54.81 29.05 25.69 0.07 0.00 1800.05/1800.63 c linear : 5.65 0.00 5.65 0.00 0.00 1800.05/1800.63 c logicor : 5.35 0.01 5.34 0.00 0.00 1800.05/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.63 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.63 c vbounds : 0.19 1 0 0 1800.05/1800.63 c rootredcost : 0.17 0 0 0 1800.05/1800.63 c pseudoobj : 0.07 0 0 0 1800.05/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.63 c propagation : 0.07 1340 1334 2831 29.6 87 57.2 - 1800.05/1800.63 c infeasible LP : 38.69 29425 5711 55780 55.8 87 6.1 0 1800.05/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.63 c applied globally : - - - 22906 61.8 - - - 1800.05/1800.63 c applied locally : - - - 0 0.0 - - - 1800.05/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.63 c cut pool : 0.00 4 - - 14 - (maximal pool size: 490) 1800.05/1800.63 c redcost : 12.26 54684 0 0 0 0 1800.05/1800.63 c impliedbounds : 0.00 5 0 0 1 0 1800.05/1800.63 c intobj : 0.00 0 0 0 0 0 1800.05/1800.63 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.63 c gomory : 7.78 5 0 0 0 0 1800.05/1800.63 c strongcg : 1.49 5 0 0 2500 0 1800.05/1800.63 c cmir : 0.00 0 0 0 0 0 1800.05/1800.63 c flowcover : 0.00 0 0 0 0 0 1800.05/1800.63 c clique : 0.04 5 0 0 31 0 1800.05/1800.63 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.63 c mcf : 0.11 2 0 0 6 0 1800.05/1800.63 c rapidlearning : 0.34 1 0 0 0 0 1800.05/1800.63 c Pricers : Time Calls Vars 1800.05/1800.63 c problem variables: 0.00 0 0 1800.05/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.63 c relpscost : 185.45 33808 42 3064 0 0 62798 1800.05/1800.63 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.63 c inference : 0.00 0 0 0 0 0 0 1800.05/1800.63 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.63 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.63 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.63 c random : 0.00 0 0 0 0 0 0 1800.05/1800.63 c Primal Heuristics : Time Calls Found 1800.05/1800.63 c LP solutions : 0.00 - 0 1800.05/1800.63 c pseudo solutions : 0.00 - 0 1800.05/1800.63 c trivial : 0.00 1 0 1800.05/1800.63 c simplerounding : 0.00 0 0 1800.05/1800.63 c zirounding : 0.00 0 0 1800.05/1800.63 c rounding : 0.00 0 0 1800.05/1800.63 c shifting : 0.00 0 0 1800.05/1800.63 c intshifting : 0.00 0 0 1800.05/1800.63 c oneopt : 0.00 0 0 1800.05/1800.63 c twoopt : 0.00 0 0 1800.05/1800.63 c fixandinfer : 0.00 0 0 1800.05/1800.63 c feaspump : 0.00 0 0 1800.05/1800.63 c coefdiving : 0.00 0 0 1800.05/1800.63 c pscostdiving : 0.00 0 0 1800.05/1800.63 c fracdiving : 0.00 0 0 1800.05/1800.63 c veclendiving : 0.00 0 0 1800.05/1800.63 c intdiving : 0.00 0 0 1800.05/1800.63 c actconsdiving : 0.00 0 0 1800.05/1800.63 c objpscostdiving : 0.00 0 0 1800.05/1800.63 c rootsoldiving : 0.00 0 0 1800.05/1800.63 c linesearchdiving : 0.00 0 0 1800.05/1800.63 c guideddiving : 0.00 0 0 1800.05/1800.63 c octane : 0.00 0 0 1800.05/1800.63 c rens : 0.00 0 0 1800.05/1800.63 c rins : 0.00 0 0 1800.05/1800.63 c localbranching : 0.00 0 0 1800.05/1800.63 c mutation : 0.00 0 0 1800.05/1800.63 c crossover : 0.00 0 0 1800.05/1800.63 c dins : 0.00 0 0 1800.05/1800.63 c undercover : 0.00 0 0 1800.05/1800.63 c nlp : 0.00 0 0 1800.05/1800.63 c trysol : 0.00 0 0 1800.05/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.63 c primal LP : 171.50 0 0 0.00 0.00 1800.05/1800.63 c dual LP : 1046.18 118190 3731364 31.57 3566.66 1800.05/1800.63 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.63 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.63 c diving/probing LP: 0.00 0 0 0.00 - 1800.05/1800.63 c strong branching : 182.90 24332 720348 29.60 3938.48 1800.05/1800.63 c (at root node) : - 10 5999 599.90 - 1800.05/1800.63 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.63 c B&B Tree : 1800.05/1800.63 c number of runs : 1 1800.05/1800.63 c nodes : 62162 1800.05/1800.63 c nodes (total) : 62162 1800.05/1800.63 c nodes left : 582 1800.05/1800.63 c max depth : 41 1800.05/1800.63 c max depth (total): 41 1800.05/1800.63 c backtracks : 10904 (17.5%) 1800.05/1800.63 c delayed cutoffs : 55 1800.05/1800.63 c repropagations : 30794 (128809 domain reductions, 44 cutoffs) 1800.05/1800.63 c avg switch length: 3.67 1800.05/1800.63 c switching time : 217.47 1800.05/1800.63 c Solution : 1800.05/1800.63 c Solutions found : 0 (0 improvements) 1800.05/1800.63 c Primal Bound : - 1800.05/1800.63 c Dual Bound : +0.00000000000000e+00 1800.05/1800.63 c Gap : infinite 1800.05/1800.63 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.63 c Root Iterations : 508 1800.15/1800.73 c Time complete: 1800.16.
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-2664928-1276683829/watcher-2664928-1276683829 -o /tmp/evaluation-result-2664928-1276683829/solver-2664928-1276683829 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664928-1276683829.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 17222 /proc/meminfo: memFree=1521884/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=8260 CPUtime=0 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 1024 0 0 0 0 0 0 0 17 0 1 0 9673610 8458240 945 1992294400 4194304 9819077 140733405979904 18446744073709551615 4388181 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17222/statm: 2322 953 371 1374 0 943 0 [startup+0.086484 s] /proc/loadavg: 0.99 0.98 0.99 3/106 17222 /proc/meminfo: memFree=1521884/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=21956 CPUtime=0.08 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 4604 0 0 0 7 1 0 0 17 0 1 0 9673610 22482944 4171 1992294400 4194304 9819077 140733405979904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 5489 4171 465 1374 0 4110 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 21956 [startup+0.100486 s] /proc/loadavg: 0.99 0.98 0.99 3/106 17222 /proc/meminfo: memFree=1521884/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=22760 CPUtime=0.09 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 4789 0 0 0 8 1 0 0 17 0 1 0 9673610 23306240 4356 1992294400 4194304 9819077 140733405979904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 5690 4356 472 1374 0 4311 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22760 [startup+0.300508 s] /proc/loadavg: 0.99 0.98 0.99 3/106 17222 /proc/meminfo: memFree=1521884/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=25600 CPUtime=0.29 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 6044 0 0 0 19 10 0 0 17 0 1 0 9673610 26214400 5097 1992294400 4194304 9819077 140733405979904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 6400 5097 496 1374 0 5021 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25600 [startup+0.700552 s] /proc/loadavg: 0.99 0.98 0.99 3/106 17222 /proc/meminfo: memFree=1521884/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=42944 CPUtime=0.69 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 11612 0 0 0 47 22 0 0 17 0 1 0 9673610 43974656 8655 1992294400 4194304 9819077 140733405979904 18446744073709551615 8494881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 10736 8655 659 1374 0 9357 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42944 [startup+1.50064 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17223 /proc/meminfo: memFree=1489760/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=42944 CPUtime=1.49 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 11612 0 0 0 127 22 0 0 18 0 1 0 9673610 43974656 8655 1992294400 4194304 9819077 140733405979904 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 10736 8655 659 1374 0 9357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42944 [startup+3.10082 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17223 /proc/meminfo: memFree=1488768/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=46824 CPUtime=3.09 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 20759 0 0 0 262 47 0 0 21 0 1 0 9673610 47947776 9748 1992294400 4194304 9819077 140733405979904 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 11706 9748 695 1374 0 10327 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46824 [startup+6.30117 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17223 /proc/meminfo: memFree=1481080/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=50864 CPUtime=6.29 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 21917 0 0 0 580 49 0 0 25 0 1 0 9673610 52084736 10715 1992294400 4194304 9819077 140733405979904 18446744073709551615 6032680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 12716 10715 695 1374 0 11337 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50864 [startup+12.7009 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17223 /proc/meminfo: memFree=1471904/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=63608 CPUtime=12.69 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 27972 0 0 0 1215 54 0 0 25 0 1 0 9673610 65134592 12929 1992294400 4194304 9819077 140733405979904 18446744073709551615 6566465 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 15902 12929 701 1374 0 14523 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63608 [startup+25.5003 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17225 /proc/meminfo: memFree=1474260/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=56392 CPUtime=25.48 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 47970 0 0 0 2477 71 0 0 25 0 1 0 9673610 57745408 12418 1992294400 4194304 9819077 140733405979904 18446744073709551615 6698996 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 14098 12418 727 1374 0 12719 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56392 [startup+51.1011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17225 /proc/meminfo: memFree=1472896/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=58472 CPUtime=51.07 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 166413 0 0 0 4943 164 0 0 25 0 1 0 9673610 59875328 12822 1992294400 4194304 9819077 140733405979904 18446744073709551615 7212342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 14618 12824 727 1374 0 13239 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 58472 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17227 /proc/meminfo: memFree=1468680/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=60768 CPUtime=102.27 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 387370 0 0 0 9914 313 0 0 25 0 1 0 9673610 62226432 13785 1992294400 4194304 9819077 140733405979904 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 15192 13785 727 1374 0 13813 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60768 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17227 /proc/meminfo: memFree=1465084/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=63884 CPUtime=162.25 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 596185 0 0 0 15756 469 0 0 25 0 1 0 9673610 65417216 14694 1992294400 4194304 9819077 140733405979904 18446744073709551615 7302675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 15971 14694 727 1374 0 14592 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 63884 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17229 /proc/meminfo: memFree=1462480/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=67124 CPUtime=222.23 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 821283 0 0 0 21597 626 0 0 25 0 1 0 9673610 68734976 15295 1992294400 4194304 9819077 140733405979904 18446744073709551615 4660993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 16781 15295 727 1374 0 15402 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 67124 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17231 /proc/meminfo: memFree=1460744/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=68704 CPUtime=282.21 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 1052468 0 0 0 27423 798 0 0 25 0 1 0 9673610 70352896 15690 1992294400 4194304 9819077 140733405979904 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 17176 15690 727 1374 0 15797 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 68704 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17233 /proc/meminfo: memFree=1458884/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=70772 CPUtime=342.18 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 1298259 0 0 0 33247 971 0 0 25 0 1 0 9673610 72470528 16125 1992294400 4194304 9819077 140733405979904 18446744073709551615 7292309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 17693 16125 727 1374 0 16314 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 70772 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17235 /proc/meminfo: memFree=1457024/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=72272 CPUtime=402.16 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 1523763 0 0 0 39079 1137 0 0 25 0 1 0 9673610 74006528 16614 1992294400 4194304 9819077 140733405979904 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 18068 16614 727 1374 0 16689 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 72272 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17235 /proc/meminfo: memFree=1455784/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=73896 CPUtime=462.15 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 1779069 0 0 0 44891 1324 0 0 25 0 1 0 9673610 75669504 16935 1992294400 4194304 9819077 140733405979904 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 18474 16935 728 1374 0 17095 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 73896 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17237 /proc/meminfo: memFree=1453180/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=76364 CPUtime=522.13 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 2114723 0 0 0 50650 1563 0 0 25 0 1 0 9673610 78196736 17574 1992294400 4194304 9819077 140733405979904 18446744073709551615 7302683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 19091 17574 728 1374 0 17712 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 76364 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17242 /proc/meminfo: memFree=1450452/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=78356 CPUtime=582.1 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 2456540 0 0 0 56399 1811 0 0 25 0 1 0 9673610 80236544 18073 1992294400 4194304 9819077 140733405979904 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 19589 18073 728 1374 0 18210 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 78356 [startup+642.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17244 /proc/meminfo: memFree=1448592/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=80724 CPUtime=642.09 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 2791210 0 0 0 62165 2044 0 0 25 0 1 0 9673610 82661376 18588 1992294400 4194304 9819077 140733405979904 18446744073709551615 4651872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 20181 18588 728 1374 0 18802 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 80724 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17250 /proc/meminfo: memFree=1443632/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=84976 CPUtime=882.02 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 4085673 0 0 0 85262 2940 0 0 25 0 1 0 9673610 87015424 19690 1992294400 4194304 9819077 140733405979904 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 21244 19690 728 1374 0 19865 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 84976 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17252 /proc/meminfo: memFree=1442020/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=86820 CPUtime=942 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 4406539 0 0 0 91034 3166 0 0 25 0 1 0 9673610 88903680 20150 1992294400 4194304 9819077 140733405979904 18446744073709551615 6592529 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 21705 20150 728 1374 0 20326 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 86820 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17254 /proc/meminfo: memFree=1441028/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=88052 CPUtime=1001.98 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 4718746 0 0 0 96820 3378 0 0 25 0 1 0 9673610 90165248 20415 1992294400 4194304 9819077 140733405979904 18446744073709551615 7309104 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 22013 20415 728 1374 0 20634 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 88052 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17254 /proc/meminfo: memFree=1439540/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=89428 CPUtime=1061.96 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 5033463 0 0 0 102597 3599 0 0 25 0 1 0 9673610 91574272 20716 1992294400 4194304 9819077 140733405979904 18446744073709551615 7291693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 22357 20716 728 1374 0 20978 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 89428 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 3/107 17256 /proc/meminfo: memFree=1437804/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=90848 CPUtime=1121.94 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 5359586 0 0 0 108370 3824 0 0 25 0 1 0 9673610 93028352 21172 1992294400 4194304 9819077 140733405979904 18446744073709551615 6363157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 22712 21172 728 1374 0 21333 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 90848 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17258 /proc/meminfo: memFree=1437184/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=91864 CPUtime=1181.92 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 5673578 0 0 0 114146 4046 0 0 25 0 1 0 9673610 94068736 21322 1992294400 4194304 9819077 140733405979904 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 22966 21322 728 1374 0 21587 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 91864 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 3/107 17260 /proc/meminfo: memFree=1436192/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=92564 CPUtime=1241.91 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 5998230 0 0 0 119925 4266 0 0 25 0 1 0 9673610 94785536 21556 1992294400 4194304 9819077 140733405979904 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 23141 21556 728 1374 0 21762 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 92564 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17262 /proc/meminfo: memFree=1434704/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=94288 CPUtime=1301.89 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 6303071 0 0 0 125711 4478 0 0 25 0 1 0 9673610 96550912 21930 1992294400 4194304 9819077 140733405979904 18446744073709551615 6567238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 23572 21930 728 1374 0 22193 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 94288 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17262 /proc/meminfo: memFree=1433960/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=94760 CPUtime=1361.87 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 6621859 0 0 0 131484 4703 0 0 25 0 1 0 9673610 97034240 22066 1992294400 4194304 9819077 140733405979904 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 23690 22066 728 1374 0 22311 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 94760 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17264 /proc/meminfo: memFree=1432348/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=96180 CPUtime=1421.86 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 6938375 0 0 0 137261 4925 0 0 25 0 1 0 9673610 98488320 22547 1992294400 4194304 9819077 140733405979904 18446744073709551615 6093344 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 24045 22547 728 1374 0 22666 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 96180 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17266 /proc/meminfo: memFree=1432100/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=96972 CPUtime=1481.84 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 7224449 0 0 0 143049 5135 0 0 25 0 1 0 9673610 99299328 22628 1992294400 4194304 9819077 140733405979904 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 24243 22628 728 1374 0 22864 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 96972 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17268 /proc/meminfo: memFree=1431108/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=100204 CPUtime=1541.82 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 7521384 0 0 0 148845 5337 0 0 25 0 1 0 9673610 102608896 22809 1992294400 4194304 9819077 140733405979904 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 24607 22800 728 1374 0 23228 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 100204 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17270 /proc/meminfo: memFree=1430364/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=98116 CPUtime=1601.8 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 7833875 0 0 0 154631 5549 0 0 25 0 1 0 9673610 100470784 22887 1992294400 4194304 9819077 140733405979904 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 24529 22887 728 1374 0 23150 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 98116 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17270 /proc/meminfo: memFree=1429372/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=99384 CPUtime=1661.78 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 8131706 0 0 0 160423 5755 0 0 25 0 1 0 9673610 101769216 23230 1992294400 4194304 9819077 140733405979904 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 24846 23230 728 1374 0 23467 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 99384 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 3/107 17272 /proc/meminfo: memFree=1428628/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=99552 CPUtime=1721.76 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 8413598 0 0 0 166218 5958 0 0 25 0 1 0 9673610 101941248 23352 1992294400 4194304 9819077 140733405979904 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 24995 23354 728 1374 0 23616 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 99552 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17274 /proc/meminfo: memFree=1428256/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=100264 CPUtime=1781.73 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 8722817 0 0 0 171998 6175 0 0 25 0 1 0 9673610 102670336 23422 1992294400 4194304 9819077 140733405979904 18446744073709551615 7486745 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 25066 23422 728 1374 0 23687 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 100264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17274 /proc/meminfo: memFree=1428380/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=100192 CPUtime=1800.05 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 8815656 0 0 0 173769 6236 0 0 25 0 1 0 9673610 102596608 23443 1992294400 4194304 9819077 140733405979904 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17222/statm: 25048 23443 728 1374 0 23669 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 100192 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: 0.99 0.98 0.99 2/107 17274 /proc/meminfo: memFree=1428380/2059040 swapFree=4192956/4192956 [pid=17222] ppid=17220 vsize=80536 CPUtime=1800.15 /proc/17222/stat : 17222 (pbscip.linux.x8) R 17220 17222 16567 0 -1 4202496 8815776 0 0 0 173779 6236 0 0 25 0 1 0 9673610 82468864 19312 1992294400 4194304 9819077 140733405979904 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17222/statm: 20134 19156 731 1374 0 18755 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 80536 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.17 CPU user time (s): 1737.8 CPU system time (s): 62.3745 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 102924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1737.8 system time used= 62.3745 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8815780 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3227 runsolver used 2.88856 second user time and 8.59369 second system time The end
Begin job on node059 at 2010-06-16 12:23:49 IDJOB=2664928 IDBENCH=48376 IDSOLVER=1168 FILE ID=node059/2664928-1276683829 PBS_JOBID= 11172543 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_25_2_15.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-2664928-1276683829/watcher-2664928-1276683829 -o /tmp/evaluation-result-2664928-1276683829/solver-2664928-1276683829 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664928-1276683829.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b437bd5db918ab114396d43dfca73285 RANDOM SEED=1873524020 node059.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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1522412 kB Buffers: 132056 kB Cached: 261880 kB SwapCached: 0 kB Active: 159516 kB Inactive: 293796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1522412 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6276 kB Writeback: 0 kB AnonPages: 59408 kB Mapped: 15456 kB Slab: 61536 kB PageTables: 3940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180724 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= 62548 MiB End job on node059 at 2010-06-16 12:53:52