Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.22 | 1800.71 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | d484bc8efed557f17788965b19feafe5 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4602 |
Total number of constraints | 30179 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 941 |
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 | 103 |
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-2664584-1276344456.opb> 0.49/0.57 c original problem has 4602 variables (4602 bin, 0 int, 0 impl, 0 cont) and 30179 constraints 0.49/0.57 c problem read 0.49/0.57 c No objective function, only one solution is needed. 0.49/0.57 c presolving settings loaded 0.49/0.57 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.70 c presolving: 1.00/1.08 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30179 upgd conss, 0 impls, 941 clqs 1.10/1.16 c presolving (2 rounds): 1.10/1.16 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 108 changed coefficients 1.10/1.16 c 0 implications, 1505 cliques 1.10/1.16 c presolved problem has 4602 variables (4602 bin, 0 int, 0 impl, 0 cont) and 30179 constraints 1.10/1.16 c 78 constraints of type <knapsack> 1.10/1.16 c 941 constraints of type <setppc> 1.10/1.16 c 29160 constraints of type <logicor> 1.10/1.16 c transformed objective value is always integral (scale: 1) 1.10/1.16 c Presolving Time: 0.39 1.10/1.16 c - non default parameters ---------------------------------------------------------------------- 1.10/1.16 c # SCIP version 1.2.1.2 1.10/1.16 c 1.10/1.16 c # frequency for displaying node information lines 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 100] 1.10/1.16 c display/freq = 10000 1.10/1.16 c 1.10/1.16 c # maximal time in seconds to run 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.16 c limits/time = 1799.44 1.10/1.16 c 1.10/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.16 c limits/memory = 1620 1.10/1.16 c 1.10/1.16 c # solving stops, if the given number of solutions were found (-1: no limit) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.16 c limits/solutions = 1 1.10/1.16 c 1.10/1.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.16 c lp/solvefreq = -1 1.10/1.16 c 1.10/1.16 c # maximal number of separation rounds per node (-1: unlimited) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 5] 1.10/1.16 c separating/maxrounds = 1 1.10/1.16 c 1.10/1.16 c # maximal number of separation rounds in the root node (-1: unlimited) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.16 c separating/maxroundsroot = 5 1.10/1.16 c 1.10/1.16 c # should presolving try to simplify inequalities 1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.16 c constraints/linear/simplifyinequalities = TRUE 1.10/1.16 c 1.10/1.16 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.10/1.16 c constraints/knapsack/disaggregation = FALSE 1.10/1.16 c 1.10/1.16 c # should presolving try to simplify knapsacks 1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.16 c constraints/knapsack/simplifyinequalities = TRUE 1.10/1.16 c 1.10/1.16 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.16 c presolving/probing/maxrounds = 0 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/coefdiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.16 c heuristics/coefdiving/maxlpiterquot = 0.075 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/coefdiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 30] 1.10/1.16 c heuristics/crossover/freq = -1 1.10/1.16 c 1.10/1.16 c # number of nodes added to the contingent of the total nodes 1.10/1.16 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.16 c heuristics/crossover/nodesofs = 750 1.10/1.16 c 1.10/1.16 c # number of nodes without incumbent change that heuristic should wait 1.10/1.16 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.10/1.16 c heuristics/crossover/nwaitingnodes = 100 1.10/1.16 c 1.10/1.16 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.10/1.16 c # [type: real, range: [0,1], default: 0.1] 1.10/1.16 c heuristics/crossover/nodesquot = 0.15 1.10/1.16 c 1.10/1.16 c # minimum percentage of integer variables that have to be fixed 1.10/1.16 c # [type: real, range: [0,1], default: 0.666] 1.10/1.16 c heuristics/crossover/minfixingrate = 0.5 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.16 c heuristics/feaspump/freq = -1 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/feaspump/maxlpiterofs = 2000 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/fracdiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.16 c heuristics/fracdiving/maxlpiterquot = 0.075 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/fracdiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/guideddiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.16 c heuristics/guideddiving/maxlpiterquot = 0.075 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/guideddiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.16 c heuristics/intdiving/maxlpiterquot = 0.075 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/intshifting/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/linesearchdiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.16 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.16 c heuristics/nlp/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.16 c heuristics/objpscostdiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to total iteration number 1.10/1.16 c # [type: real, range: [0,1], default: 0.01] 1.10/1.16 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.16 c heuristics/oneopt/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/pscostdiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.16 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/pscostdiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.16 c heuristics/rens/freq = -1 1.10/1.16 c 1.10/1.16 c # minimum percentage of integer variables that have to be fixable 1.10/1.16 c # [type: real, range: [0,1], default: 0.5] 1.10/1.16 c heuristics/rens/minfixingrate = 0.3 1.10/1.16 c 1.10/1.16 c # number of nodes added to the contingent of the total nodes 1.10/1.16 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.16 c heuristics/rens/nodesofs = 2000 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.16 c heuristics/rootsoldiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.10/1.16 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.16 c heuristics/rounding/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/shifting/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.16 c heuristics/simplerounding/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.16 c heuristics/trivial/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.16 c heuristics/trysol/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.16 c heuristics/veclendiving/freq = -1 1.10/1.16 c 1.10/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.16 c heuristics/veclendiving/maxlpiterquot = 0.075 1.10/1.16 c 1.10/1.16 c # additional number of allowed LP iterations 1.10/1.16 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.16 c heuristics/veclendiving/maxlpiterofs = 1500 1.10/1.16 c 1.10/1.16 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.16 c heuristics/zirounding/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.16 c separating/cmir/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.16 c separating/flowcover/freq = -1 1.10/1.16 c 1.10/1.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.10/1.16 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.16 c separating/rapidlearning/freq = 0 1.10/1.16 c 1.10/1.16 c ----------------------------------------------------------------------------------------------- 1.10/1.16 c start solving 1.10/1.17 c 1.19/1.20 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.20 c 0.5s| 1 | 2 | 0 | - | 29M| 0 | - |4602 | 30k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 88.56/88.68 c 87.8s| 10000 | 9765 | 0 | 0.0 | 34M|3030 | - |4602 | 30k| 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf 269.42/269.56 c 268s| 20000 | 19573 | 0 | 0.0 | 38M|3030 | - |4602 | 30k| 0 | 0 | 0 | 815 | 0 | 0.000000e+00 | -- | Inf 470.16/470.39 c 469s| 30000 | 29370 | 0 | 0.0 | 41M|3030 | - |4602 | 30k| 0 | 0 | 0 |1752 | 0 | 0.000000e+00 | -- | Inf 673.61/673.80 c 672s| 40000 | 39169 | 0 | 0.0 | 45M|3030 | - |4602 | 30k| 0 | 0 | 0 |2751 | 0 | 0.000000e+00 | -- | Inf 876.95/877.28 c 875s| 50000 | 48969 | 0 | 0.0 | 49M|3030 | - |4602 | 30k| 0 | 0 | 0 |3807 | 0 | 0.000000e+00 | -- | Inf 1076.20/1076.53 c 1074s| 60000 | 58697 | 0 | 0.0 | 53M|3030 | - |4602 | 30k| 0 | 0 | 0 |5047 | 0 | 0.000000e+00 | -- | Inf 1267.75/1268.12 c 1266s| 70000 | 68391 | 0 | 0.0 | 57M|3030 | - |4602 | 31k| 0 | 0 | 0 |6432 | 0 | 0.000000e+00 | -- | Inf 1466.49/1466.97 c 1464s| 80000 | 77796 | 0 | 0.0 | 61M|3030 | - |4602 | 30k| 0 | 0 | 0 |7601 | 0 | 0.000000e+00 | -- | Inf 1689.04/1689.55 c 1686s| 90000 | 87517 | 0 | 0.0 | 64M|3030 | - |4602 | 30k| 0 | 0 | 0 |8655 | 0 | 0.000000e+00 | -- | Inf 1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.01/1800.51 c 1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.51 c Solving Time (sec) : 1797.09 1800.01/1800.51 c Solving Nodes : 94865 1800.01/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.01/1800.51 c Dual Bound : +0.00000000000000e+00 1800.01/1800.51 c Gap : infinite 1800.01/1800.51 s UNKNOWN 1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.51 c Solving Time : 1797.09 1800.01/1800.51 c Original Problem : 1800.01/1800.51 c Problem name : HOME/instance-2664584-1276344456.opb 1800.01/1800.51 c Variables : 4602 (4602 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.51 c Constraints : 30179 initial, 30179 maximal 1800.01/1800.51 c Presolved Problem : 1800.01/1800.51 c Problem name : t_HOME/instance-2664584-1276344456.opb 1800.01/1800.51 c Variables : 4602 (4602 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.51 c Constraints : 30179 initial, 31417 maximal 1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c dualfix : 0.01 0 0 0 0 0 0 0 0 1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c knapsack : 0.01 0 0 0 0 0 0 0 108 1800.01/1800.51 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.01/1800.51 c logicor : 0.07 0 0 0 0 0 0 0 0 1800.01/1800.51 c root node : - 0 - - 0 - - - - 1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.01/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0 1800.01/1800.51 c knapsack : 78 0 122789 0 94054 1141 97718 0 0 0 1800.01/1800.51 c setppc : 941 0 121648 0 94054 121 138261 0 0 0 1800.01/1800.51 c logicor : 29160+ 0 24553 0 94054 48 21017 0 0 0 1800.01/1800.51 c countsols : 0 0 0 0 94054 0 0 0 0 0 1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00 1800.01/1800.51 c knapsack : 24.03 0.00 2.17 0.00 21.86 1800.01/1800.51 c setppc : 62.32 0.00 11.96 0.00 50.36 1800.01/1800.51 c logicor : 1489.20 0.00 3.56 0.00 1485.64 1800.01/1800.51 c countsols : 0.14 0.00 0.00 0.00 0.14 1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.01/1800.51 c vbounds : 0.07 1 0 0 1800.01/1800.51 c rootredcost : 0.13 0 0 0 1800.01/1800.51 c pseudoobj : 0.08 0 0 0 1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.01/1800.51 c propagation : 0.56 1310 1310 13986 71.1 19 29.6 - 1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.01/1800.51 c applied globally : - - - 9119 59.0 - - - 1800.01/1800.51 c applied locally : - - - 0 0.0 - - - 1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.01/1800.51 c redcost : 0.00 0 0 0 0 0 1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0 1800.01/1800.51 c intobj : 0.00 0 0 0 0 0 1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.01/1800.51 c gomory : 0.00 0 0 0 0 0 1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0 1800.01/1800.51 c cmir : 0.00 0 0 0 0 0 1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.01/1800.51 c clique : 0.00 0 0 0 0 0 1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.01/1800.51 c mcf : 0.00 0 0 0 0 0 1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0 1800.01/1800.51 c Pricers : Time Calls Vars 1800.01/1800.51 c problem variables: 0.00 0 0 1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0 1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.01/1800.51 c inference : 210.64 94054 0 0 0 0 188108 1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.51 c random : 0.00 0 0 0 0 0 0 1800.01/1800.51 c Primal Heuristics : Time Calls Found 1800.01/1800.51 c LP solutions : 0.00 - 0 1800.01/1800.51 c pseudo solutions : 0.00 - 0 1800.01/1800.51 c trivial : 0.01 1 0 1800.01/1800.51 c simplerounding : 0.00 0 0 1800.01/1800.51 c zirounding : 0.00 0 0 1800.01/1800.51 c rounding : 0.00 0 0 1800.01/1800.51 c shifting : 0.00 0 0 1800.01/1800.51 c intshifting : 0.00 0 0 1800.01/1800.51 c oneopt : 0.00 0 0 1800.01/1800.51 c twoopt : 0.00 0 0 1800.01/1800.51 c fixandinfer : 0.00 0 0 1800.01/1800.51 c feaspump : 0.00 0 0 1800.01/1800.51 c coefdiving : 0.00 0 0 1800.01/1800.51 c pscostdiving : 0.00 0 0 1800.01/1800.51 c fracdiving : 0.00 0 0 1800.01/1800.51 c veclendiving : 0.00 0 0 1800.01/1800.51 c intdiving : 0.00 0 0 1800.01/1800.51 c actconsdiving : 0.00 0 0 1800.01/1800.51 c objpscostdiving : 0.00 0 0 1800.01/1800.51 c rootsoldiving : 0.00 0 0 1800.01/1800.51 c linesearchdiving : 0.00 0 0 1800.01/1800.51 c guideddiving : 0.00 0 0 1800.01/1800.51 c octane : 0.00 0 0 1800.01/1800.51 c rens : 0.00 0 0 1800.01/1800.51 c rins : 0.00 0 0 1800.01/1800.51 c localbranching : 0.00 0 0 1800.01/1800.51 c mutation : 0.00 0 0 1800.01/1800.51 c crossover : 0.00 0 0 1800.01/1800.51 c dins : 0.00 0 0 1800.01/1800.51 c undercover : 0.00 0 0 1800.01/1800.51 c nlp : 0.00 0 0 1800.01/1800.51 c trysol : 0.00 0 0 1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.01/1800.51 c primal LP : 0.00 0 0 0.00 - 1800.01/1800.51 c dual LP : 0.00 0 0 0.00 - 1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.01/1800.51 c strong branching : 0.00 0 0 0.00 - 1800.01/1800.51 c (at root node) : - 0 0 0.00 - 1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.01/1800.51 c B&B Tree : 1800.01/1800.51 c number of runs : 1 1800.01/1800.51 c nodes : 94865 1800.01/1800.51 c nodes (total) : 94865 1800.01/1800.51 c nodes left : 92298 1800.01/1800.51 c max depth : 3030 1800.01/1800.51 c max depth (total): 3030 1800.01/1800.51 c backtracks : 511 (0.5%) 1800.01/1800.51 c delayed cutoffs : 946 1800.01/1800.51 c repropagations : 2946 (26584 domain reductions, 499 cutoffs) 1800.01/1800.51 c avg switch length: 2.26 1800.01/1800.51 c switching time : 3.80 1800.01/1800.51 c Solution : 1800.01/1800.51 c Solutions found : 0 (0 improvements) 1800.01/1800.51 c Primal Bound : - 1800.01/1800.51 c Dual Bound : +0.00000000000000e+00 1800.01/1800.51 c Gap : infinite 1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00 1800.01/1800.51 c Root Iterations : 0 1800.21/1800.70 c Time complete: 1800.21.
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-2664584-1276344456/watcher-2664584-1276344456 -o /tmp/evaluation-result-2664584-1276344456/solver-2664584-1276344456 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664584-1276344456.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9920 /proc/meminfo: memFree=1497652/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=6584 CPUtime=0 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 10047372 6742016 920 1992294400 4194304 7136930 140733431857168 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9920/statm: 1646 929 254 719 0 925 0 [startup+0.014686 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9920 /proc/meminfo: memFree=1497652/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=9172 CPUtime=0 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 1746 0 0 0 0 0 0 0 20 0 1 0 10047372 9392128 1670 1992294400 4194304 7136930 140733431857168 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9920/statm: 2293 1683 268 719 0 1572 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+0.101695 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9920 /proc/meminfo: memFree=1497652/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=13432 CPUtime=0.09 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 2851 0 0 0 8 1 0 0 20 0 1 0 10047372 13754368 2774 1992294400 4194304 7136930 140733431857168 18446744073709551615 6350519 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9920/statm: 3358 2774 268 719 0 2637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13432 [startup+0.301717 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9920 /proc/meminfo: memFree=1497652/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=18832 CPUtime=0.29 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 4177 0 0 0 28 1 0 0 20 0 1 0 10047372 19283968 4100 1992294400 4194304 7136930 140733431857168 18446744073709551615 4240592 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9920/statm: 4708 4100 268 719 0 3987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18832 [startup+0.700762 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9920 /proc/meminfo: memFree=1497652/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=52976 CPUtime=0.69 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 12861 0 0 0 64 5 0 0 21 0 1 0 10047372 54247424 12430 1992294400 4194304 7136930 140733431857168 18446744073709551615 4415313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 13244 12430 313 719 0 12523 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52976 [startup+1.50085 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9921 /proc/meminfo: memFree=1439860/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=59624 CPUtime=1.49 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 18966 0 0 0 134 15 0 0 23 0 1 0 10047372 61054976 14127 1992294400 4194304 7136930 140733431857168 18446744073709551615 4643143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 14906 14127 384 719 0 14185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59624 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9921 /proc/meminfo: memFree=1442340/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=59624 CPUtime=3.09 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 18966 0 0 0 293 16 0 0 25 0 1 0 10047372 61054976 14127 1992294400 4194304 7136930 140733431857168 18446744073709551615 5121833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 14906 14127 384 719 0 14185 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59624 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9921 /proc/meminfo: memFree=1442092/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=59624 CPUtime=6.29 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 18972 0 0 0 612 17 0 0 25 0 1 0 10047372 61054976 14133 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 14906 14133 389 719 0 14185 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59624 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9923 /proc/meminfo: memFree=1441348/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=60272 CPUtime=12.69 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 19137 0 0 0 1250 19 0 0 25 0 1 0 10047372 61718528 14298 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 15068 14298 389 719 0 14347 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60272 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9923 /proc/meminfo: memFree=1440480/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=61208 CPUtime=25.48 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 19379 0 0 0 2525 23 0 0 25 0 1 0 10047372 62676992 14540 1992294400 4194304 7136930 140733431857168 18446744073709551615 4414778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 15302 14540 389 719 0 14581 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61208 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9923 /proc/meminfo: memFree=1437380/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=64164 CPUtime=51.08 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 20134 0 0 0 5078 30 0 0 25 0 1 0 10047372 65703936 15295 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 16041 15295 389 719 0 15320 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64164 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9925 /proc/meminfo: memFree=1436388/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=65200 CPUtime=102.27 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 20391 0 0 0 10188 39 0 0 25 0 1 0 10047372 66764800 15552 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 16300 15552 389 719 0 15579 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 65200 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9927 /proc/meminfo: memFree=1434776/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=66504 CPUtime=162.24 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 20745 0 0 0 16177 47 0 0 25 0 1 0 10047372 68100096 15906 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 16626 15906 389 719 0 15905 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 66504 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9927 /proc/meminfo: memFree=1433784/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=67684 CPUtime=222.23 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 21031 0 0 0 22169 54 0 0 25 0 1 0 10047372 69308416 16192 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 16921 16192 389 719 0 16200 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 67684 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9929 /proc/meminfo: memFree=1432668/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=68748 CPUtime=282.21 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 21316 0 0 0 28161 60 0 0 25 0 1 0 10047372 70397952 16477 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 17187 16477 389 719 0 16466 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 68748 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9931 /proc/meminfo: memFree=1430932/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=70344 CPUtime=342.2 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 21724 0 0 0 34152 68 0 0 25 0 1 0 10047372 72032256 16885 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 17586 16885 389 719 0 16865 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 70344 [startup+402.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 9936 /proc/meminfo: memFree=1428824/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=71716 CPUtime=402.17 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 22074 0 0 0 40143 74 0 0 25 0 1 0 10047372 73437184 17235 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 17929 17235 389 719 0 17208 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 71716 [startup+462.302 s] /proc/loadavg: 1.02 1.01 1.00 2/107 9938 /proc/meminfo: memFree=1427212/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=73264 CPUtime=462.16 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 22474 0 0 0 46134 82 0 0 25 0 1 0 10047372 75022336 17635 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 18316 17635 389 719 0 17595 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 73264 [startup+522.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 9938 /proc/meminfo: memFree=1426344/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=74240 CPUtime=522.15 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 22723 0 0 0 52128 87 0 0 25 0 1 0 10047372 76021760 17884 1992294400 4194304 7136930 140733431857168 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 18560 17884 389 719 0 17839 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 74240 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 9940 /proc/meminfo: memFree=1425352/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=75024 CPUtime=582.13 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 22955 0 0 0 58120 93 0 0 25 0 1 0 10047372 76824576 18116 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 18756 18116 389 719 0 18035 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 75024 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9942 /proc/meminfo: memFree=1423492/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=76964 CPUtime=642.12 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 23436 0 0 0 64111 101 0 0 25 0 1 0 10047372 78811136 18597 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 19241 18597 389 719 0 18520 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 76964 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9950 /proc/meminfo: memFree=1417540/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=82916 CPUtime=942.03 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 24962 0 0 0 94068 135 0 0 25 0 1 0 10047372 84905984 20123 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 20729 20123 389 719 0 20008 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 82916 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9952 /proc/meminfo: memFree=1415928/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=84508 CPUtime=1002.02 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 25374 0 0 0 100061 141 0 0 25 0 1 0 10047372 86536192 20535 1992294400 4194304 7136930 140733431857168 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 21127 20535 389 719 0 20406 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 84508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9954 /proc/meminfo: memFree=1414564/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=85848 CPUtime=1062 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 25727 0 0 0 106052 148 0 0 25 0 1 0 10047372 87908352 20888 1992294400 4194304 7136930 140733431857168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 21462 20888 389 719 0 20741 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 85848 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9954 /proc/meminfo: memFree=1414068/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=86348 CPUtime=1121.99 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 25860 0 0 0 112042 157 0 0 25 0 1 0 10047372 88420352 21021 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 21587 21021 389 719 0 20866 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 86348 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9956 /proc/meminfo: memFree=1411836/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=88484 CPUtime=1181.97 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 26407 0 0 0 118033 164 0 0 25 0 1 0 10047372 90607616 21568 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 22121 21568 389 719 0 21400 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 88484 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1409852/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=92208 CPUtime=1241.95 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 26848 0 0 0 124024 171 0 0 25 0 1 0 10047372 94420992 22009 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 23052 22009 389 719 0 22331 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 92208 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9960 /proc/meminfo: memFree=1407372/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=94668 CPUtime=1301.94 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 27471 0 0 0 130015 179 0 0 25 0 1 0 10047372 96940032 22632 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 23667 22632 389 719 0 22946 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 94668 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9962 /proc/meminfo: memFree=1406256/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=95968 CPUtime=1361.92 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 27781 0 0 0 136004 188 0 0 25 0 1 0 10047372 98271232 22942 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 23992 22942 389 719 0 23271 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 95968 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9962 /proc/meminfo: memFree=1405016/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=97060 CPUtime=1421.91 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 28058 0 0 0 141995 196 0 0 25 0 1 0 10047372 99389440 23219 1992294400 4194304 7136930 140733431857168 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 24265 23219 389 719 0 23544 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 97060 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9964 /proc/meminfo: memFree=1404024/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=98120 CPUtime=1481.89 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 28334 0 0 0 147987 202 0 0 25 0 1 0 10047372 100474880 23495 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 24530 23495 389 719 0 23809 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 98120 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9966 /proc/meminfo: memFree=1402908/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=98952 CPUtime=1541.87 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 28578 0 0 0 153977 210 0 0 25 0 1 0 10047372 101326848 23739 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 24738 23739 389 719 0 24017 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 98952 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9968 /proc/meminfo: memFree=1401172/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=100836 CPUtime=1601.86 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 29025 0 0 0 159970 216 0 0 25 0 1 0 10047372 103256064 24186 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 25209 24186 389 719 0 24488 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 100836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9970 /proc/meminfo: memFree=1400428/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=101484 CPUtime=1661.84 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 29216 0 0 0 165962 222 0 0 25 0 1 0 10047372 103919616 24377 1992294400 4194304 7136930 140733431857168 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 25371 24377 389 719 0 24650 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 101484 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9970 /proc/meminfo: memFree=1399312/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=102512 CPUtime=1721.82 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 29465 0 0 0 171953 229 0 0 25 0 1 0 10047372 104972288 24626 1992294400 4194304 7136930 140733431857168 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 25628 24626 389 719 0 24907 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 102512 [startup+1782.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 9972 /proc/meminfo: memFree=1397700/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=103720 CPUtime=1781.81 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 29805 0 0 0 177944 237 0 0 25 0 1 0 10047372 106209280 24966 1992294400 4194304 7136930 140733431857168 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 25930 24966 389 719 0 25209 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 103720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.01 1.00 2/107 9972 /proc/meminfo: memFree=1397700/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=103720 CPUtime=1800.01 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 29809 0 0 0 179762 239 0 0 25 0 1 0 10047372 106209280 24970 1992294400 4194304 7136930 140733431857168 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9920/statm: 25930 24970 389 719 0 25209 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 103720 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.03 1.01 1.00 2/108 9973 /proc/meminfo: memFree=1400544/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=95608 CPUtime=1800.12 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 29866 0 0 0 179773 239 0 0 25 0 1 0 10047372 97902592 22929 1992294400 4194304 7136930 140733431857168 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9920/statm: 23869 22800 394 719 0 23148 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 95608 [startup+1800.71 s] /proc/loadavg: 1.03 1.01 1.00 2/108 9973 /proc/meminfo: memFree=1400544/2059040 swapFree=4192956/4192956 [pid=9920] ppid=9918 vsize=6332 CPUtime=1800.21 /proc/9920/stat : 9920 (pbscip.linux.x8) R 9918 9920 9595 0 -1 4202496 29875 0 0 0 179781 240 0 0 25 0 1 0 10047372 6483968 1164 1992294400 4194304 7136930 140733431857168 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9920/statm: 1583 975 403 719 0 862 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 6332 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.22 CPU user time (s): 1797.82 CPU system time (s): 2.40863 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 103720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.82 system time used= 2.40863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29875 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 3042 runsolver used 2.67159 second user time and 8.81666 second system time The end
Begin job on node009 at 2010-06-12 14:07:36 IDJOB=2664584 IDBENCH=1500 IDSOLVER=1167 FILE ID=node009/2664584-1276344456 PBS_JOBID= 11173189 Free space on /tmp= 62440 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-11,19,21.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-2664584-1276344456/watcher-2664584-1276344456 -o /tmp/evaluation-result-2664584-1276344456/solver-2664584-1276344456 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664584-1276344456.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d484bc8efed557f17788965b19feafe5 RANDOM SEED=1222011989 node009.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.199 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1498180 kB Buffers: 107088 kB Cached: 324852 kB SwapCached: 0 kB Active: 179392 kB Inactive: 311792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1498180 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4268 kB Writeback: 12 kB AnonPages: 59128 kB Mapped: 15428 kB Slab: 47904 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181308 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= 62440 MiB End job on node009 at 2010-06-12 14:37:39