Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.24 | 1800.71 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb |
MD5SUM | bcdf4c9a1de867d3db370c95867fefb5 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.66275 |
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 | 4632 |
Total number of constraints | 30964 |
Number of constraints which are clauses | 29940 |
Number of constraints which are cardinality constraints (but not clauses) | 946 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 104 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664581-1276342620.opb> 0.49/0.58 c original problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints 0.49/0.58 c problem read 0.49/0.58 c No objective function, only one solution is needed. 0.49/0.58 c presolving settings loaded 0.49/0.58 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.69/0.72 c presolving: 1.00/1.10 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30964 upgd conss, 0 impls, 946 clqs 1.10/1.19 c presolving (2 rounds): 1.10/1.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients 1.10/1.19 c 0 implications, 1462 cliques 1.10/1.19 c presolved problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints 1.10/1.19 c 78 constraints of type <knapsack> 1.10/1.19 c 946 constraints of type <setppc> 1.10/1.19 c 29940 constraints of type <logicor> 1.10/1.19 c transformed objective value is always integral (scale: 1) 1.10/1.19 c Presolving Time: 0.40 1.10/1.19 c - non default parameters ---------------------------------------------------------------------- 1.10/1.19 c # SCIP version 1.2.1.2 1.10/1.19 c 1.10/1.19 c # frequency for displaying node information lines 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 100] 1.10/1.19 c display/freq = 10000 1.10/1.19 c 1.10/1.19 c # maximal time in seconds to run 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.19 c limits/time = 1799.43 1.10/1.19 c 1.10/1.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.19 c limits/memory = 1620 1.10/1.19 c 1.10/1.19 c # solving stops, if the given number of solutions were found (-1: no limit) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c limits/solutions = 1 1.10/1.19 c 1.10/1.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c lp/solvefreq = -1 1.10/1.19 c 1.10/1.19 c # maximal number of separation rounds per node (-1: unlimited) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 5] 1.10/1.19 c separating/maxrounds = 1 1.10/1.19 c 1.10/1.19 c # maximal number of separation rounds in the root node (-1: unlimited) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c separating/maxroundsroot = 5 1.10/1.19 c 1.10/1.19 c # should presolving try to simplify inequalities 1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.19 c constraints/linear/simplifyinequalities = TRUE 1.10/1.19 c 1.10/1.19 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.10/1.19 c constraints/knapsack/disaggregation = FALSE 1.10/1.19 c 1.10/1.19 c # should presolving try to simplify knapsacks 1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.19 c constraints/knapsack/simplifyinequalities = TRUE 1.10/1.19 c 1.10/1.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c presolving/probing/maxrounds = 0 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/coefdiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/coefdiving/maxlpiterquot = 0.075 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/coefdiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 30] 1.10/1.19 c heuristics/crossover/freq = -1 1.10/1.19 c 1.10/1.19 c # number of nodes added to the contingent of the total nodes 1.10/1.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.19 c heuristics/crossover/nodesofs = 750 1.10/1.19 c 1.10/1.19 c # number of nodes without incumbent change that heuristic should wait 1.10/1.19 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.10/1.19 c heuristics/crossover/nwaitingnodes = 100 1.10/1.19 c 1.10/1.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.10/1.19 c # [type: real, range: [0,1], default: 0.1] 1.10/1.19 c heuristics/crossover/nodesquot = 0.15 1.10/1.19 c 1.10/1.19 c # minimum percentage of integer variables that have to be fixed 1.10/1.19 c # [type: real, range: [0,1], default: 0.666] 1.10/1.19 c heuristics/crossover/minfixingrate = 0.5 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.19 c heuristics/feaspump/freq = -1 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/feaspump/maxlpiterofs = 2000 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/fracdiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/fracdiving/maxlpiterquot = 0.075 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/fracdiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/guideddiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/guideddiving/maxlpiterquot = 0.075 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/guideddiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/intdiving/maxlpiterquot = 0.075 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/intshifting/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/linesearchdiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/nlp/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.19 c heuristics/objpscostdiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to total iteration number 1.10/1.19 c # [type: real, range: [0,1], default: 0.01] 1.10/1.19 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/oneopt/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/pscostdiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/pscostdiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.19 c heuristics/rens/freq = -1 1.10/1.19 c 1.10/1.19 c # minimum percentage of integer variables that have to be fixable 1.10/1.19 c # [type: real, range: [0,1], default: 0.5] 1.10/1.19 c heuristics/rens/minfixingrate = 0.3 1.10/1.19 c 1.10/1.19 c # number of nodes added to the contingent of the total nodes 1.10/1.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.19 c heuristics/rens/nodesofs = 2000 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.19 c heuristics/rootsoldiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.10/1.19 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/rounding/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/shifting/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/simplerounding/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.19 c heuristics/trivial/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/trysol/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/veclendiving/freq = -1 1.10/1.19 c 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/veclendiving/maxlpiterquot = 0.075 1.10/1.19 c 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/veclendiving/maxlpiterofs = 1500 1.10/1.19 c 1.10/1.19 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/zirounding/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.19 c separating/cmir/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.19 c separating/flowcover/freq = -1 1.10/1.19 c 1.10/1.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c separating/rapidlearning/freq = 0 1.10/1.19 c 1.10/1.19 c ----------------------------------------------------------------------------------------------- 1.10/1.19 c start solving 1.10/1.19 c 1.19/1.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.19/1.23 c 0.5s| 1 | 2 | 0 | - | 29M| 0 | - |4632 | 30k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 95.17/95.22 c 94.3s| 10000 | 9920 | 0 | 0.0 | 34M|2719 | - |4632 | 31k| 0 | 0 | 0 | 136 | 0 | 0.000000e+00 | -- | Inf 256.43/256.53 c 255s| 20000 | 19850 | 0 | 0.0 | 38M|2719 | - |4632 | 31k| 0 | 0 | 0 | 385 | 0 | 0.000000e+00 | -- | Inf 458.78/458.92 c 457s| 30000 | 29753 | 0 | 0.0 | 42M|2719 | - |4632 | 31k| 0 | 0 | 0 | 879 | 0 | 0.000000e+00 | -- | Inf 667.53/667.77 c 666s| 40000 | 39622 | 0 | 0.0 | 45M|2719 | - |4632 | 31k| 0 | 0 | 0 |1466 | 0 | 0.000000e+00 | -- | Inf 876.37/876.61 c 875s| 50000 | 49508 | 0 | 0.0 | 49M|2719 | - |4632 | 31k| 0 | 0 | 0 |1973 | 0 | 0.000000e+00 | -- | Inf 1085.01/1085.31 c 1083s| 60000 | 59402 | 0 | 0.0 | 53M|2719 | - |4632 | 31k| 0 | 0 | 0 |2468 | 0 | 0.000000e+00 | -- | Inf 1291.27/1291.68 c 1289s| 70000 | 69229 | 0 | 0.0 | 56M|2719 | - |4632 | 31k| 0 | 0 | 0 |3151 | 0 | 0.000000e+00 | -- | Inf 1496.10/1496.54 c 1494s| 80000 | 79096 | 0 | 0.0 | 60M|2719 | - |4632 | 31k| 0 | 0 | 0 |3780 | 0 | 0.000000e+00 | -- | Inf 1694.95/1695.45 c 1692s| 90000 | 88897 | 0 | 0.0 | 64M|2719 | - |4632 | 31k| 0 | 0 | 0 |4652 | 0 | 0.000000e+00 | -- | Inf 1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.03/1800.51 c 1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.51 c Solving Time (sec) : 1797.07 1800.03/1800.51 c Solving Nodes : 95494 1800.03/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.03/1800.51 c Dual Bound : +0.00000000000000e+00 1800.03/1800.51 c Gap : infinite 1800.03/1800.51 s UNKNOWN 1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.51 c Solving Time : 1797.07 1800.03/1800.51 c Original Problem : 1800.03/1800.51 c Problem name : HOME/instance-2664581-1276342620.opb 1800.03/1800.51 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.51 c Constraints : 30964 initial, 30964 maximal 1800.03/1800.51 c Presolved Problem : 1800.03/1800.51 c Problem name : t_HOME/instance-2664581-1276342620.opb 1800.03/1800.51 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.51 c Constraints : 30964 initial, 31952 maximal 1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c knapsack : 0.01 0 0 0 0 0 0 0 84 1800.03/1800.51 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.03/1800.51 c logicor : 0.07 0 0 0 0 0 0 0 0 1800.03/1800.51 c root node : - 0 - - 0 - - - - 1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0 1800.03/1800.51 c knapsack : 78 0 118513 0 95066 449 69980 0 0 0 1800.03/1800.51 c setppc : 946 0 118064 0 95066 89 109602 0 0 0 1800.03/1800.51 c logicor : 29940+ 0 23651 0 95066 116 17499 0 0 0 1800.03/1800.51 c countsols : 0 0 0 0 95066 0 0 0 0 0 1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00 1800.03/1800.51 c knapsack : 22.20 0.00 1.80 0.00 20.40 1800.03/1800.51 c setppc : 65.69 0.00 11.54 0.00 54.15 1800.03/1800.51 c logicor : 1498.15 0.00 2.81 0.00 1495.34 1800.03/1800.51 c countsols : 0.14 0.00 0.00 0.00 0.14 1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.51 c vbounds : 0.16 1 0 0 1800.03/1800.51 c rootredcost : 0.12 0 0 0 1800.03/1800.51 c pseudoobj : 0.05 0 0 0 1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.51 c propagation : 0.49 654 654 10043 113.9 41 32.5 - 1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.03/1800.51 c applied globally : - - - 5095 68.2 - - - 1800.03/1800.51 c applied locally : - - - 0 0.0 - - - 1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.03/1800.51 c redcost : 0.00 0 0 0 0 0 1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0 1800.03/1800.51 c intobj : 0.00 0 0 0 0 0 1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.03/1800.51 c gomory : 0.00 0 0 0 0 0 1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0 1800.03/1800.51 c cmir : 0.00 0 0 0 0 0 1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.03/1800.51 c clique : 0.00 0 0 0 0 0 1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.51 c mcf : 0.00 0 0 0 0 0 1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0 1800.03/1800.51 c Pricers : Time Calls Vars 1800.03/1800.51 c problem variables: 0.00 0 0 1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0 1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.51 c inference : 200.84 95066 0 0 0 0 190132 1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.51 c random : 0.00 0 0 0 0 0 0 1800.03/1800.51 c Primal Heuristics : Time Calls Found 1800.03/1800.51 c LP solutions : 0.00 - 0 1800.03/1800.51 c pseudo solutions : 0.00 - 0 1800.03/1800.51 c trivial : 0.01 1 0 1800.03/1800.51 c simplerounding : 0.00 0 0 1800.03/1800.51 c zirounding : 0.00 0 0 1800.03/1800.51 c rounding : 0.00 0 0 1800.03/1800.51 c shifting : 0.00 0 0 1800.03/1800.51 c intshifting : 0.00 0 0 1800.03/1800.51 c oneopt : 0.00 0 0 1800.03/1800.51 c twoopt : 0.00 0 0 1800.03/1800.51 c fixandinfer : 0.00 0 0 1800.03/1800.51 c feaspump : 0.00 0 0 1800.03/1800.51 c coefdiving : 0.00 0 0 1800.03/1800.51 c pscostdiving : 0.00 0 0 1800.03/1800.51 c fracdiving : 0.00 0 0 1800.03/1800.51 c veclendiving : 0.00 0 0 1800.03/1800.51 c intdiving : 0.00 0 0 1800.03/1800.51 c actconsdiving : 0.00 0 0 1800.03/1800.51 c objpscostdiving : 0.00 0 0 1800.03/1800.51 c rootsoldiving : 0.00 0 0 1800.03/1800.51 c linesearchdiving : 0.00 0 0 1800.03/1800.51 c guideddiving : 0.00 0 0 1800.03/1800.51 c octane : 0.00 0 0 1800.03/1800.51 c rens : 0.00 0 0 1800.03/1800.51 c rins : 0.00 0 0 1800.03/1800.51 c localbranching : 0.00 0 0 1800.03/1800.51 c mutation : 0.00 0 0 1800.03/1800.51 c crossover : 0.00 0 0 1800.03/1800.51 c dins : 0.00 0 0 1800.03/1800.51 c undercover : 0.00 0 0 1800.03/1800.51 c nlp : 0.00 0 0 1800.03/1800.51 c trysol : 0.00 0 0 1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.51 c primal LP : 0.00 0 0 0.00 - 1800.03/1800.51 c dual LP : 0.00 0 0 0.00 - 1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.03/1800.51 c strong branching : 0.00 0 0 0.00 - 1800.03/1800.51 c (at root node) : - 0 0 0.00 - 1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.51 c B&B Tree : 1800.03/1800.51 c number of runs : 1 1800.03/1800.51 c nodes : 95494 1800.03/1800.51 c nodes (total) : 95494 1800.03/1800.51 c nodes left : 94299 1800.03/1800.51 c max depth : 2719 1800.03/1800.51 c max depth (total): 2719 1800.03/1800.51 c backtracks : 267 (0.3%) 1800.03/1800.51 c delayed cutoffs : 340 1800.03/1800.51 c repropagations : 2206 (12697 domain reductions, 226 cutoffs) 1800.03/1800.51 c avg switch length: 2.15 1800.03/1800.51 c switching time : 3.78 1800.03/1800.51 c Solution : 1800.03/1800.51 c Solutions found : 0 (0 improvements) 1800.03/1800.51 c Primal Bound : - 1800.03/1800.51 c Dual Bound : +0.00000000000000e+00 1800.03/1800.51 c Gap : infinite 1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00 1800.03/1800.51 c Root Iterations : 0 1800.23/1800.71 c Time complete: 1800.23.
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-2664581-1276342620/watcher-2664581-1276342620 -o /tmp/evaluation-result-2664581-1276342620/solver-2664581-1276342620 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664581-1276342620.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.21 1.06 1.01 3/106 13454 /proc/meminfo: memFree=1859856/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=6584 CPUtime=0 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 1002 0 0 0 0 0 0 0 20 0 1 0 9865949 6742016 924 1992294400 4194304 7136930 140735061926288 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13454/statm: 1646 934 254 719 0 925 0 [startup+0.020462 s] /proc/loadavg: 1.21 1.06 1.01 3/106 13454 /proc/meminfo: memFree=1859856/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=10564 CPUtime=0.01 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 2123 0 0 0 1 0 0 0 20 0 1 0 9865949 10817536 2045 1992294400 4194304 7136930 140735061926288 18446744073709551615 6334946 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13454/statm: 2641 2045 268 719 0 1920 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10564 [startup+0.10047 s] /proc/loadavg: 1.21 1.06 1.01 3/106 13454 /proc/meminfo: memFree=1859856/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=14544 CPUtime=0.09 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 3121 0 0 0 8 1 0 0 20 0 1 0 9865949 14893056 3043 1992294400 4194304 7136930 140735061926288 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13454/statm: 3636 3043 268 719 0 2915 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14544 [startup+0.30049 s] /proc/loadavg: 1.21 1.06 1.01 3/106 13454 /proc/meminfo: memFree=1859856/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=18776 CPUtime=0.29 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 4163 0 0 0 28 1 0 0 20 0 1 0 9865949 19226624 4085 1992294400 4194304 7136930 140735061926288 18446744073709551615 6343248 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13454/statm: 4694 4085 268 719 0 3973 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18776 [startup+0.70053 s] /proc/loadavg: 1.21 1.06 1.01 3/106 13454 /proc/meminfo: memFree=1859856/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=51600 CPUtime=0.69 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 12778 0 0 0 64 5 0 0 21 0 1 0 9865949 52838400 12346 1992294400 4194304 7136930 140735061926288 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 12900 12346 302 719 0 12179 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51600 [startup+1.50061 s] /proc/loadavg: 1.21 1.06 1.01 2/107 13455 /proc/meminfo: memFree=1801940/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=59360 CPUtime=1.49 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 18977 0 0 0 135 14 0 0 23 0 1 0 9865949 60784640 14093 1992294400 4194304 7136930 140735061926288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 14840 14093 384 719 0 14119 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59360 [startup+3.10078 s] /proc/loadavg: 1.21 1.06 1.01 2/107 13455 /proc/meminfo: memFree=1804668/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=59360 CPUtime=3.09 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 18977 0 0 0 294 15 0 0 25 0 1 0 9865949 60784640 14093 1992294400 4194304 7136930 140735061926288 18446744073709551615 4642986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 14840 14093 384 719 0 14119 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59360 [startup+6.3011 s] /proc/loadavg: 1.19 1.06 1.01 2/107 13455 /proc/meminfo: memFree=1804544/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=59360 CPUtime=6.29 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 18983 0 0 0 614 15 0 0 25 0 1 0 9865949 60784640 14099 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 14840 14099 389 719 0 14119 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59360 [startup+12.7008 s] /proc/loadavg: 1.17 1.05 1.01 2/107 13455 /proc/meminfo: memFree=1803800/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=60524 CPUtime=12.69 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 19277 0 0 0 1252 17 0 0 25 0 1 0 9865949 61976576 14393 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 15131 14393 389 719 0 14410 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60524 [startup+25.5021 s] /proc/loadavg: 1.13 1.05 1.01 2/107 13455 /proc/meminfo: memFree=1802808/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=60944 CPUtime=25.49 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 19390 0 0 0 2528 21 0 0 25 0 1 0 9865949 62406656 14506 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 15236 14506 389 719 0 14515 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60944 [startup+51.1017 s] /proc/loadavg: 1.09 1.05 1.01 2/107 13457 /proc/meminfo: memFree=1799832/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=63900 CPUtime=51.08 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 20142 0 0 0 5081 27 0 0 25 0 1 0 9865949 65433600 15258 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 15975 15258 389 719 0 15254 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 63900 [startup+102.309 s] /proc/loadavg: 1.04 1.04 1.00 2/107 13457 /proc/meminfo: memFree=1798592/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=64936 CPUtime=102.27 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 20406 0 0 0 10192 35 0 0 25 0 1 0 9865949 66494464 15522 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 16234 15522 389 719 0 15513 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64936 [startup+162.302 s] /proc/loadavg: 1.01 1.03 1.00 2/107 13459 /proc/meminfo: memFree=1797228/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=66376 CPUtime=162.25 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 20763 0 0 0 16179 46 0 0 25 0 1 0 9865949 67969024 15879 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 16594 15879 389 719 0 15873 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 66376 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13461 /proc/meminfo: memFree=1795616/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=67820 CPUtime=222.23 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 21146 0 0 0 22169 54 0 0 25 0 1 0 9865949 69447680 16262 1992294400 4194304 7136930 140735061926288 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 16955 16262 389 719 0 16234 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 67820 [startup+282.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13463 /proc/meminfo: memFree=1794252/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=69132 CPUtime=282.22 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 21477 0 0 0 28159 63 0 0 25 0 1 0 9865949 70791168 16593 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 17283 16593 389 719 0 16562 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 69132 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13463 /proc/meminfo: memFree=1793260/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=70048 CPUtime=342.21 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 21721 0 0 0 34150 71 0 0 25 0 1 0 9865949 71729152 16837 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 17512 16837 389 719 0 16791 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 70048 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13465 /proc/meminfo: memFree=1791524/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=71692 CPUtime=402.19 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 22133 0 0 0 40142 77 0 0 25 0 1 0 9865949 73412608 17249 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 17923 17249 389 719 0 17202 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 71692 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13467 /proc/meminfo: memFree=1790408/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=72760 CPUtime=462.17 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 22412 0 0 0 46133 84 0 0 25 0 1 0 9865949 74506240 17528 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 18190 17528 389 719 0 17469 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 72760 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13469 /proc/meminfo: memFree=1789540/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=73444 CPUtime=522.16 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 22613 0 0 0 52125 91 0 0 25 0 1 0 9865949 75206656 17729 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 18361 17729 389 719 0 17640 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 73444 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13471 /proc/meminfo: memFree=1787928/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=74900 CPUtime=582.14 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 22972 0 0 0 58117 97 0 0 25 0 1 0 9865949 76697600 18088 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 18725 18088 389 719 0 18004 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 74900 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13471 /proc/meminfo: memFree=1786812/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=76012 CPUtime=642.14 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 23271 0 0 0 64110 104 0 0 25 0 1 0 9865949 77836288 18387 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 19003 18387 389 719 0 18282 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 76012 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13479 /proc/meminfo: memFree=1779496/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=82828 CPUtime=942.05 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 25021 0 0 0 94068 137 0 0 25 0 1 0 9865949 84815872 20137 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 20707 20137 389 719 0 19986 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 82828 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13481 /proc/meminfo: memFree=1778380/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=83828 CPUtime=1002.04 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 25285 0 0 0 100059 145 0 0 25 0 1 0 9865949 85839872 20401 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 20957 20401 389 719 0 20236 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 83828 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13483 /proc/meminfo: memFree=1776768/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=85348 CPUtime=1062.02 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 25686 0 0 0 106050 152 0 0 25 0 1 0 9865949 87396352 20802 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 21337 20802 389 719 0 20616 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 85348 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13485 /proc/meminfo: memFree=1775776/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=86264 CPUtime=1122.01 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 25911 0 0 0 112043 158 0 0 25 0 1 0 9865949 88334336 21027 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 21566 21027 389 719 0 20845 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 86264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13487 /proc/meminfo: memFree=1774536/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=87380 CPUtime=1181.99 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 26210 0 0 0 118034 165 0 0 25 0 1 0 9865949 89477120 21326 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 21845 21326 389 719 0 21124 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 87380 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13487 /proc/meminfo: memFree=1773048/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=90728 CPUtime=1241.98 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 26550 0 0 0 124025 173 0 0 25 0 1 0 9865949 92905472 21666 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 22682 21666 389 719 0 21961 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 90728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13489 /proc/meminfo: memFree=1771312/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=92400 CPUtime=1301.96 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 26970 0 0 0 130015 181 0 0 25 0 1 0 9865949 94617600 22086 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 23100 22086 389 719 0 22379 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 92400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13491 /proc/meminfo: memFree=1770320/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=93356 CPUtime=1361.95 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 27229 0 0 0 136005 190 0 0 25 0 1 0 9865949 95596544 22345 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 23339 22345 389 719 0 22618 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 93356 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13493 /proc/meminfo: memFree=1768584/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=95060 CPUtime=1421.94 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 27645 0 0 0 141999 195 0 0 25 0 1 0 9865949 97341440 22761 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 23765 22761 389 719 0 23044 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 95060 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13504 /proc/meminfo: memFree=1765608/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=97500 CPUtime=1481.9 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 28267 0 0 0 147989 201 0 0 25 0 1 0 9865949 99840000 23383 1992294400 4194304 7136930 140735061926288 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 24375 23383 389 719 0 23654 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 97500 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13504 /proc/meminfo: memFree=1765360/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=97856 CPUtime=1541.89 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 28361 0 0 0 153980 209 0 0 25 0 1 0 9865949 100204544 23477 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 24464 23477 389 719 0 23743 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 97856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13506 /proc/meminfo: memFree=1763748/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=99408 CPUtime=1601.87 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 28781 0 0 0 159970 217 0 0 25 0 1 0 9865949 101793792 23897 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 24852 23897 389 719 0 24131 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 99408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13508 /proc/meminfo: memFree=1762136/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=101036 CPUtime=1661.85 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 29180 0 0 0 165961 224 0 0 25 0 1 0 9865949 103460864 24296 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 25259 24296 389 719 0 24538 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 101036 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13510 /proc/meminfo: memFree=1760772/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=102276 CPUtime=1721.84 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 29519 0 0 0 171951 233 0 0 25 0 1 0 9865949 104730624 24635 1992294400 4194304 7136930 140735061926288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 25569 24635 389 719 0 24848 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 102276 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13512 /proc/meminfo: memFree=1760028/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=102928 CPUtime=1781.82 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 29671 0 0 0 177943 239 0 0 25 0 1 0 9865949 105398272 24787 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 25732 24787 389 719 0 25011 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 102928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13512 /proc/meminfo: memFree=1758664/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=104124 CPUtime=1800.03 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 29991 0 0 0 179762 241 0 0 25 0 1 0 9865949 106622976 25107 1992294400 4194304 7136930 140735061926288 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13454/statm: 26031 25107 389 719 0 25310 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 104124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 3/108 13513 /proc/meminfo: memFree=1762624/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=94312 CPUtime=1800.13 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 30012 0 0 0 179772 241 0 0 25 0 1 0 9865949 96575488 22675 1992294400 4194304 7136930 140735061926288 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13454/statm: 23578 22675 394 719 0 22857 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 94312 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 3/108 13513 /proc/meminfo: memFree=1762624/2059040 swapFree=4135540/4192956 [pid=13454] ppid=13452 vsize=11004 CPUtime=1800.23 /proc/13454/stat : 13454 (pbscip.linux.x8) R 13452 13454 13116 0 -1 4202496 30021 0 0 0 179781 242 0 0 25 0 1 0 9865949 11268096 2283 1992294400 4194304 7136930 140735061926288 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13454/statm: 2702 2283 403 719 0 1981 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 11004 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.24 CPU user time (s): 1797.81 CPU system time (s): 2.42563 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 104124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.81 system time used= 2.42563 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30021 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= 16119 runsolver used 2.83857 second user time and 8.64668 second system time The end
Begin job on node002 at 2010-06-12 13:37:00 IDJOB=2664581 IDBENCH=1497 IDSOLVER=1167 FILE ID=node002/2664581-1276342620 PBS_JOBID= 11173182 Free space on /tmp= 62396 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664581-1276342620/watcher-2664581-1276342620 -o /tmp/evaluation-result-2664581-1276342620/solver-2664581-1276342620 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664581-1276342620.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bcdf4c9a1de867d3db370c95867fefb5 RANDOM SEED=1028210117 node002.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.242 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1860260 kB Buffers: 13676 kB Cached: 111148 kB SwapCached: 17716 kB Active: 102432 kB Inactive: 42140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1860260 kB SwapTotal: 4192956 kB SwapFree: 4135540 kB Dirty: 4548 kB Writeback: 0 kB AnonPages: 10656 kB Mapped: 9124 kB Slab: 32328 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181532 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= 62396 MiB End job on node002 at 2010-06-12 14:07:02