Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 1240.82 | 1241.17 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb |
MD5SUM | a1104c8fec3fd69abc0a798c3b6bfa5b |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.37079 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2152 |
Total number of constraints | 5613 |
Number of constraints which are clauses | 5137 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 476 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 35 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 129 |
Number of bits of the biggest sum of numbers | 8 |
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: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2666005-1276340969.opb> 0.10/0.11 c original problem has 2152 variables (2152 bin, 0 int, 0 impl, 0 cont) and 5613 constraints 0.10/0.11 c problem read 0.10/0.11 c No objective function, only one solution is needed. 0.10/0.11 c presolving settings loaded 0.10/0.15 c presolving: 0.19/0.24 c (round 1) 232 del vars, 207 del conss, 74 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs 0.19/0.25 c (round 2) 234 del vars, 543 del conss, 76 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs 0.19/0.26 c (round 3) 238 del vars, 553 del conss, 80 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs 0.19/0.27 c (round 4) 241 del vars, 559 del conss, 83 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs 0.19/0.28 c (round 5) 246 del vars, 568 del conss, 88 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs 0.19/0.28 c (round 6) 252 del vars, 581 del conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92422 impls, 0 clqs 0.19/0.29 c (round 7) 252 del vars, 593 del conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92682 impls, 0 clqs 0.29/0.37 c (round 8) 252 del vars, 607 del conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5006 upgd conss, 92682 impls, 0 clqs 0.29/0.39 c presolving (9 rounds): 0.29/0.39 c 252 deleted vars, 607 deleted constraints, 94 tightened bounds, 0 added holes, 238 changed sides, 506 changed coefficients 0.29/0.39 c 92682 implications, 0 cliques 0.29/0.39 c presolved problem has 1900 variables (1900 bin, 0 int, 0 impl, 0 cont) and 5006 constraints 0.29/0.39 c 472 constraints of type <knapsack> 0.29/0.39 c 4534 constraints of type <logicor> 0.29/0.39 c transformed objective value is always integral (scale: 1) 0.29/0.39 c Presolving Time: 0.21 0.29/0.39 c - non default parameters ---------------------------------------------------------------------- 0.29/0.39 c # SCIP version 1.2.1.2 0.29/0.39 c 0.29/0.39 c # frequency for displaying node information lines 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 100] 0.29/0.39 c display/freq = 10000 0.29/0.39 c 0.29/0.39 c # maximal time in seconds to run 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.39 c limits/time = 1799.89 0.29/0.39 c 0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.39 c limits/memory = 1620 0.29/0.39 c 0.29/0.39 c # solving stops, if the given number of solutions were found (-1: no limit) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c limits/solutions = 1 0.29/0.39 c 0.29/0.39 c # maximal number of separation rounds per node (-1: unlimited) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 5] 0.29/0.39 c separating/maxrounds = 1 0.29/0.39 c 0.29/0.39 c # maximal number of separation rounds in the root node (-1: unlimited) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c separating/maxroundsroot = 5 0.29/0.39 c 0.29/0.39 c # should presolving try to simplify inequalities 0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.39 c constraints/linear/simplifyinequalities = TRUE 0.29/0.39 c 0.29/0.39 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.29/0.39 c constraints/knapsack/disaggregation = FALSE 0.29/0.39 c 0.29/0.39 c # should presolving try to simplify knapsacks 0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.39 c constraints/knapsack/simplifyinequalities = TRUE 0.29/0.39 c 0.29/0.39 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c presolving/probing/maxrounds = 0 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/coefdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/coefdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/coefdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 30] 0.29/0.39 c heuristics/crossover/freq = -1 0.29/0.39 c 0.29/0.39 c # number of nodes added to the contingent of the total nodes 0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.39 c heuristics/crossover/nodesofs = 750 0.29/0.39 c 0.29/0.39 c # number of nodes without incumbent change that heuristic should wait 0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.29/0.39 c heuristics/crossover/nwaitingnodes = 100 0.29/0.39 c 0.29/0.39 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.29/0.39 c # [type: real, range: [0,1], default: 0.1] 0.29/0.39 c heuristics/crossover/nodesquot = 0.15 0.29/0.39 c 0.29/0.39 c # minimum percentage of integer variables that have to be fixed 0.29/0.39 c # [type: real, range: [0,1], default: 0.666] 0.29/0.39 c heuristics/crossover/minfixingrate = 0.5 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.39 c heuristics/feaspump/freq = -1 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/feaspump/maxlpiterofs = 2000 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/fracdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/fracdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/fracdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/guideddiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/guideddiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/guideddiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/intdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/intshifting/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/linesearchdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/nlp/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.39 c heuristics/objpscostdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to total iteration number 0.29/0.39 c # [type: real, range: [0,1], default: 0.01] 0.29/0.39 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/oneopt/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/pscostdiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/pscostdiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c heuristics/rens/freq = -1 0.29/0.39 c 0.29/0.39 c # minimum percentage of integer variables that have to be fixable 0.29/0.39 c # [type: real, range: [0,1], default: 0.5] 0.29/0.39 c heuristics/rens/minfixingrate = 0.3 0.29/0.39 c 0.29/0.39 c # number of nodes added to the contingent of the total nodes 0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.39 c heuristics/rens/nodesofs = 2000 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.39 c heuristics/rootsoldiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.29/0.39 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/rounding/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/shifting/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/simplerounding/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c heuristics/trivial/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/trysol/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.39 c heuristics/veclendiving/freq = -1 0.29/0.39 c 0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.39 c heuristics/veclendiving/maxlpiterquot = 0.075 0.29/0.39 c 0.29/0.39 c # additional number of allowed LP iterations 0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.39 c heuristics/veclendiving/maxlpiterofs = 1500 0.29/0.39 c 0.29/0.39 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.39 c heuristics/zirounding/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c separating/cmir/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.39 c separating/flowcover/freq = -1 0.29/0.39 c 0.29/0.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.39 c separating/rapidlearning/freq = 0 0.29/0.39 c 0.29/0.39 c ----------------------------------------------------------------------------------------------- 0.29/0.39 c start solving 0.29/0.40 c 0.39/0.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.39/0.47 c 0.3s| 1 | 0 | 585 | - | 13M| 0 | 512 |1900 |5006 |1900 |5006 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.16 c 0.9s| 1 | 0 | 827 | - | 14M| 0 | 566 |1900 |5138 |1900 |5081 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf 1.40/1.45 c 1.2s| 1 | 0 | 1412 | - | 14M| 0 | 912 |1900 |5138 |1900 |5142 | 145 | 0 | 0 | 0.000000e+00 | -- | Inf 3.49/3.58 c 3.3s| 1 | 0 | 2279 | - | 14M| 0 | 985 |1900 |5138 |1900 |5234 | 237 | 0 | 0 | 0.000000e+00 | -- | Inf 5.09/5.15 c 4.8s| 1 | 0 | 2987 | - | 14M| 0 |1087 |1900 |5138 |1900 |5316 | 319 | 0 | 0 | 0.000000e+00 | -- | Inf 7.39/7.44 c 7.1s| 1 | 0 | 3782 | - | 14M| 0 |1175 |1900 |5138 |1900 |5411 | 414 | 0 | 0 | 0.000000e+00 | -- | Inf 16.50/16.59 c 16.2s| 1 | 2 | 3782 | - | 14M| 0 |1175 |1900 |5138 |1900 |5411 | 414 | 0 | 26 | 0.000000e+00 | -- | Inf 641.31/641.53 c 630s| 10000 | 490 |746009 | 74.2 | 21M| 88 | 247 |1900 |8167 |1900 |5274 | 414 | 11k|2635 | 0.000000e+00 | -- | Inf 1139.37/1139.72 c 1117s| 20000 | 244 | 1492k| 74.4 | 20M| 88 | 628 |1900 |7790 |1900 |5274 | 414 | 22k|4470 | 0.000000e+00 | -- | Inf 1240.75/1241.11 c 1240.75/1241.11 c SCIP Status : problem is solved [infeasible] 1240.75/1241.11 c Solving Time (sec) : 1216.00 1240.75/1241.11 c Solving Nodes : 21807 1240.75/1241.11 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1240.75/1241.11 c Dual Bound : +1.00000000000000e+20 1240.75/1241.11 c Gap : 0.00 % 1240.75/1241.11 s UNSATISFIABLE 1240.75/1241.11 c SCIP Status : problem is solved [infeasible] 1240.75/1241.11 c Solving Time : 1216.00 1240.75/1241.11 c Original Problem : 1240.75/1241.11 c Problem name : HOME/instance-2666005-1276340969.opb 1240.75/1241.11 c Variables : 2152 (2152 binary, 0 integer, 0 implicit integer, 0 continuous) 1240.75/1241.11 c Constraints : 5613 initial, 5613 maximal 1240.75/1241.11 c Presolved Problem : 1240.75/1241.11 c Problem name : t_HOME/instance-2666005-1276340969.opb 1240.75/1241.11 c Variables : 1900 (1900 binary, 0 integer, 0 implicit integer, 0 continuous) 1240.75/1241.11 c Constraints : 5006 initial, 8876 maximal 1240.75/1241.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1240.75/1241.11 c trivial : 0.01 0 0 0 0 0 0 0 0 1240.75/1241.11 c dualfix : 0.00 0 0 0 0 0 0 0 0 1240.75/1241.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 1240.75/1241.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1240.75/1241.11 c implics : 0.03 0 152 0 0 0 0 0 0 1240.75/1241.11 c probing : 0.00 0 0 0 0 0 0 0 0 1240.75/1241.11 c knapsack : 0.00 0 0 0 0 0 0 0 0 1240.75/1241.11 c linear : 0.12 94 6 0 94 0 607 238 506 1240.75/1241.11 c logicor : 0.04 0 0 0 0 0 0 0 0 1240.75/1241.11 c root node : - 109 - - 109 - - - - 1240.75/1241.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1240.75/1241.11 c integral : 0 0 0 16900 0 24 515 0 0 33194 1240.75/1241.11 c knapsack : 472 6 252287 0 0 3101 192262 1193 0 0 1240.75/1241.11 c linear : 0+ 5 247194 0 0 9 258 5 0 0 1240.75/1241.11 c logicor : 4534+ 6 237166 0 0 6388 1254902 0 0 0 1240.75/1241.11 c countsols : 0 0 0 0 0 0 0 0 0 0 1240.75/1241.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1240.75/1241.11 c integral : 438.86 0.00 0.00 438.86 0.00 1240.75/1241.11 c knapsack : 8.85 0.03 8.82 0.00 0.00 1240.75/1241.11 c linear : 0.57 0.00 0.57 0.00 0.00 1240.75/1241.11 c logicor : 13.60 0.01 13.59 0.00 0.00 1240.75/1241.11 c countsols : 0.00 0.00 0.00 0.00 0.00 1240.75/1241.11 c Propagators : Time Calls Cutoffs DomReds 1240.75/1241.11 c vbounds : 0.13 1 0 0 1240.75/1241.11 c rootredcost : 0.16 0 0 0 1240.75/1241.11 c pseudoobj : 0.13 0 0 0 1240.75/1241.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1240.75/1241.11 c propagation : 2.09 9498 9286 55719 28.1 1792 18.3 - 1240.75/1241.11 c infeasible LP : 0.52 455 168 520 14.0 59 13.4 0 1240.75/1241.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1240.75/1241.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1240.75/1241.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1240.75/1241.11 c applied globally : - - - 24037 20.2 - - - 1240.75/1241.11 c applied locally : - - - 0 0.0 - - - 1240.75/1241.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1240.75/1241.11 c cut pool : 0.00 4 - - 172 - (maximal pool size: 977) 1240.75/1241.11 c redcost : 1.17 16644 0 0 0 0 1240.75/1241.11 c impliedbounds : 0.01 5 0 0 0 0 1240.75/1241.11 c intobj : 0.00 0 0 0 0 0 1240.75/1241.11 c cgmip : 0.00 0 0 0 0 0 1240.75/1241.11 c gomory : 2.31 5 0 0 1593 0 1240.75/1241.11 c strongcg : 1.90 5 0 0 1736 0 1240.75/1241.11 c cmir : 0.00 0 0 0 0 0 1240.75/1241.11 c flowcover : 0.00 0 0 0 0 0 1240.75/1241.11 c clique : 0.14 5 0 0 33 0 1240.75/1241.11 c zerohalf : 0.00 0 0 0 0 0 1240.75/1241.11 c mcf : 0.01 1 0 0 0 0 1240.75/1241.11 c rapidlearning : 0.37 1 0 3 0 134 1240.75/1241.11 c Pricers : Time Calls Vars 1240.75/1241.11 c problem variables: 0.00 0 0 1240.75/1241.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1240.75/1241.11 c relpscost : 438.83 16900 24 515 0 0 33194 1240.75/1241.11 c pscost : 0.00 0 0 0 0 0 0 1240.75/1241.11 c inference : 0.00 0 0 0 0 0 0 1240.75/1241.11 c mostinf : 0.00 0 0 0 0 0 0 1240.75/1241.11 c leastinf : 0.00 0 0 0 0 0 0 1240.75/1241.11 c fullstrong : 0.00 0 0 0 0 0 0 1240.75/1241.11 c allfullstrong : 0.00 0 0 0 0 0 0 1240.75/1241.11 c random : 0.00 0 0 0 0 0 0 1240.75/1241.11 c Primal Heuristics : Time Calls Found 1240.75/1241.11 c LP solutions : 0.00 - 0 1240.75/1241.11 c pseudo solutions : 0.00 - 0 1240.75/1241.11 c trivial : 0.00 1 0 1240.75/1241.11 c simplerounding : 0.00 0 0 1240.75/1241.11 c zirounding : 0.00 0 0 1240.75/1241.11 c rounding : 0.00 0 0 1240.75/1241.11 c shifting : 0.00 0 0 1240.75/1241.11 c intshifting : 0.00 0 0 1240.75/1241.11 c oneopt : 0.00 0 0 1240.75/1241.11 c twoopt : 0.00 0 0 1240.75/1241.11 c fixandinfer : 0.00 0 0 1240.75/1241.11 c feaspump : 0.00 0 0 1240.75/1241.11 c coefdiving : 0.00 0 0 1240.75/1241.11 c pscostdiving : 0.00 0 0 1240.75/1241.11 c fracdiving : 0.00 0 0 1240.75/1241.11 c veclendiving : 0.00 0 0 1240.75/1241.11 c intdiving : 0.00 0 0 1240.75/1241.11 c actconsdiving : 0.00 0 0 1240.75/1241.11 c objpscostdiving : 0.00 0 0 1240.75/1241.11 c rootsoldiving : 0.00 0 0 1240.75/1241.11 c linesearchdiving : 0.00 0 0 1240.75/1241.11 c guideddiving : 0.00 0 0 1240.75/1241.11 c octane : 0.00 0 0 1240.75/1241.11 c rens : 0.00 0 0 1240.75/1241.11 c rins : 0.00 0 0 1240.75/1241.11 c localbranching : 0.00 0 0 1240.75/1241.11 c mutation : 0.00 0 0 1240.75/1241.11 c crossover : 0.00 0 0 1240.75/1241.11 c dins : 0.00 0 0 1240.75/1241.11 c undercover : 0.00 0 0 1240.75/1241.11 c nlp : 0.00 0 0 1240.75/1241.11 c trysol : 0.00 0 0 1240.75/1241.11 c LP : Time Calls Iterations Iter/call Iter/sec 1240.75/1241.11 c primal LP : 0.00 0 0 0.00 - 1240.75/1241.11 c dual LP : 692.31 17345 1679090 96.81 2425.34 1240.75/1241.11 c lex dual LP : 0.00 0 0 0.00 - 1240.75/1241.11 c barrier LP : 0.00 0 0 0.00 - 1240.75/1241.11 c diving/probing LP: 0.00 0 0 0.00 - 1240.75/1241.11 c strong branching : 433.81 4638 739556 159.46 1704.79 1240.75/1241.11 c (at root node) : - 26 10666 410.23 - 1240.75/1241.11 c conflict analysis: 0.00 0 0 0.00 - 1240.75/1241.11 c B&B Tree : 1240.75/1241.11 c number of runs : 1 1240.75/1241.11 c nodes : 21807 1240.75/1241.11 c nodes (total) : 21807 1240.75/1241.11 c nodes left : 0 1240.75/1241.11 c max depth : 88 1240.75/1241.11 c max depth (total): 88 1240.75/1241.11 c backtracks : 5510 (25.3%) 1240.75/1241.11 c delayed cutoffs : 11388 1240.75/1241.11 c repropagations : 20528 (537600 domain reductions, 4767 cutoffs) 1240.75/1241.11 c avg switch length: 4.18 1240.75/1241.11 c switching time : 12.69 1240.75/1241.11 c Solution : 1240.75/1241.11 c Solutions found : 0 (0 improvements) 1240.75/1241.11 c Primal Bound : infeasible 1240.75/1241.11 c Dual Bound : - 1240.75/1241.11 c Gap : 0.00 % 1240.75/1241.11 c Root Dual Bound : +0.00000000000000e+00 1240.75/1241.11 c Root Iterations : 3782 1240.75/1241.16 c Time complete: 1240.81.
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-2666005-1276340969/watcher-2666005-1276340969 -o /tmp/evaluation-result-2666005-1276340969/solver-2666005-1276340969 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666005-1276340969.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.07 1.11 1.28 3/106 12430 /proc/meminfo: memFree=1512576/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=9288 CPUtime=0 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 1149 0 0 0 0 0 0 0 20 0 1 0 7753212 9510912 1069 1992294400 4194304 9819077 140733580008016 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12430/statm: 2322 1079 371 1374 0 943 0 [startup+0.0707491 s] /proc/loadavg: 1.07 1.11 1.28 3/106 12430 /proc/meminfo: memFree=1512576/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=13564 CPUtime=0.06 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 2326 0 0 0 6 0 0 0 20 0 1 0 7753212 13889536 2246 1992294400 4194304 9819077 140733580008016 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12430/statm: 3391 2246 386 1374 0 2012 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13564 [startup+0.101752 s] /proc/loadavg: 1.07 1.11 1.28 3/106 12430 /proc/meminfo: memFree=1512576/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=15840 CPUtime=0.1 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 2872 0 0 0 9 1 0 0 20 0 1 0 7753212 16220160 2792 1992294400 4194304 9819077 140733580008016 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12430/statm: 3960 2792 386 1374 0 2581 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15840 [startup+0.301772 s] /proc/loadavg: 1.07 1.11 1.28 3/106 12430 /proc/meminfo: memFree=1512576/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=31332 CPUtime=0.29 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 8474 0 0 0 24 5 0 0 20 0 1 0 7753212 32083968 6498 1992294400 4194304 9819077 140733580008016 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 7833 6498 493 1374 0 6454 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31332 [startup+0.70181 s] /proc/loadavg: 1.07 1.11 1.28 3/106 12430 /proc/meminfo: memFree=1512576/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=59108 CPUtime=0.69 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 16166 0 0 0 58 11 0 0 21 0 1 0 7753212 60526592 12779 1992294400 4194304 9819077 140733580008016 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 14777 12779 669 1374 0 13398 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 59108 [startup+1.50189 s] /proc/loadavg: 1.07 1.11 1.28 2/107 12431 /proc/meminfo: memFree=1452180/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=50732 CPUtime=1.5 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 20693 0 0 0 133 17 0 0 23 0 1 0 7753212 51949568 11580 1992294400 4194304 9819077 140733580008016 18446744073709551615 6046597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 12683 11580 694 1374 0 11304 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 50732 [startup+3.10104 s] /proc/loadavg: 1.06 1.11 1.28 2/107 12431 /proc/meminfo: memFree=1468176/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=50732 CPUtime=3.09 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 20695 0 0 0 291 18 0 0 25 0 1 0 7753212 51949568 11582 1992294400 4194304 9819077 140733580008016 18446744073709551615 6192362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 12683 11582 694 1374 0 11304 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50732 [startup+6.30135 s] /proc/loadavg: 1.06 1.11 1.28 2/107 12431 /proc/meminfo: memFree=1467928/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=50732 CPUtime=6.29 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 20695 0 0 0 609 20 0 0 25 0 1 0 7753212 51949568 11582 1992294400 4194304 9819077 140733580008016 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 12683 11582 694 1374 0 11304 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50732 [startup+12.701 s] /proc/loadavg: 1.05 1.11 1.28 2/107 12431 /proc/meminfo: memFree=1467804/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=55244 CPUtime=12.69 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 21679 0 0 0 1246 23 0 0 25 0 1 0 7753212 56569856 11663 1992294400 4194304 9819077 140733580008016 18446744073709551615 7293557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 13811 11663 700 1374 0 12432 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55244 [startup+25.5012 s] /proc/loadavg: 1.05 1.10 1.27 2/107 12431 /proc/meminfo: memFree=1467680/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=54216 CPUtime=25.48 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 24863 0 0 0 2520 28 0 0 25 0 1 0 7753212 55517184 11672 1992294400 4194304 9819077 140733580008016 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 13554 11672 705 1374 0 12175 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54216 [startup+51.1016 s] /proc/loadavg: 1.03 1.09 1.27 2/107 12433 /proc/meminfo: memFree=1467680/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=55236 CPUtime=51.08 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 32001 0 0 0 5069 39 0 0 25 0 1 0 7753212 56561664 11722 1992294400 4194304 9819077 140733580008016 18446744073709551615 7312705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 13809 11722 705 1374 0 12430 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55236 [startup+102.309 s] /proc/loadavg: 1.01 1.07 1.25 2/107 12433 /proc/meminfo: memFree=1467432/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=50736 CPUtime=102.27 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 54012 0 0 0 10162 65 0 0 25 0 1 0 7753212 51953664 11652 1992294400 4194304 9819077 140733580008016 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 12684 11652 719 1374 0 11305 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 50736 [startup+162.301 s] /proc/loadavg: 1.00 1.06 1.23 2/107 12435 /proc/meminfo: memFree=1466440/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=60236 CPUtime=162.25 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 110593 0 0 0 16101 124 0 0 25 0 1 0 7753212 61681664 12027 1992294400 4194304 9819077 140733580008016 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 15059 12027 722 1374 0 13680 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 60236 [startup+222.301 s] /proc/loadavg: 1.00 1.05 1.21 2/107 12437 /proc/meminfo: memFree=1466316/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=56184 CPUtime=222.23 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 311227 0 0 0 21977 246 0 0 25 0 1 0 7753212 57532416 11984 1992294400 4194304 9819077 140733580008016 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 14046 11984 722 1374 0 12667 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 56184 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.20 3/107 12439 /proc/meminfo: memFree=1462968/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=57560 CPUtime=282.21 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 540326 0 0 0 27847 374 0 0 25 0 1 0 7753212 58941440 12181 1992294400 4194304 9819077 140733580008016 18446744073709551615 7311749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 14390 12181 722 1374 0 13011 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 57560 [startup+342.302 s] /proc/loadavg: 1.00 1.03 1.18 2/107 12439 /proc/meminfo: memFree=1461480/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=58840 CPUtime=342.19 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 797663 0 0 0 33703 516 0 0 25 0 1 0 7753212 60252160 12503 1992294400 4194304 9819077 140733580008016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 14710 12503 722 1374 0 13331 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 58840 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.17 2/107 12441 /proc/meminfo: memFree=1461604/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=66336 CPUtime=402.18 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 997770 0 0 0 39592 626 0 0 25 0 1 0 7753212 67928064 13639 1992294400 4194304 9819077 140733580008016 18446744073709551615 7298630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 16584 13639 722 1374 0 15205 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 66336 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.16 2/107 12443 /proc/meminfo: memFree=1462224/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=66420 CPUtime=462.16 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 1210202 0 0 0 45468 748 0 0 25 0 1 0 7753212 68014080 13776 1992294400 4194304 9819077 140733580008016 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 16605 13776 722 1374 0 15226 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 66420 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.14 2/107 12445 /proc/meminfo: memFree=1461232/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=62000 CPUtime=522.15 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 1477685 0 0 0 51330 885 0 0 25 0 1 0 7753212 63488000 13331 1992294400 4194304 9819077 140733580008016 18446744073709551615 7317634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 15500 13331 722 1374 0 14121 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 62000 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.13 2/107 12447 /proc/meminfo: memFree=1459248/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=69532 CPUtime=582.12 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 1719234 0 0 0 57197 1015 0 0 25 0 1 0 7753212 71200768 14179 1992294400 4194304 9819077 140733580008016 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 17383 14180 722 1374 0 16004 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 69532 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.12 2/107 12447 /proc/meminfo: memFree=1457512/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=65388 CPUtime=642.12 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 1962938 0 0 0 63051 1161 0 0 25 0 1 0 7753212 66957312 14143 1992294400 4194304 9819077 140733580008016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 16347 14143 722 1374 0 14968 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 65388 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.11 2/107 12449 /proc/meminfo: memFree=1452924/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=67268 CPUtime=702.09 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 2190741 0 0 0 68919 1290 0 0 25 0 1 0 7753212 68882432 14592 1992294400 4194304 9819077 140733580008016 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 16817 14592 722 1374 0 15438 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 67268 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12451 /proc/meminfo: memFree=1454784/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=68244 CPUtime=762.09 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 2452323 0 0 0 74774 1435 0 0 25 0 1 0 7753212 69881856 14859 1992294400 4194304 9819077 140733580008016 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 17061 14859 722 1374 0 15682 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 68244 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.09 2/107 12453 /proc/meminfo: memFree=1453420/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=75316 CPUtime=822.06 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 2717687 0 0 0 80625 1581 0 0 25 0 1 0 7753212 77123584 15357 1992294400 4194304 9819077 140733580008016 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18829 15357 722 1374 0 17450 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 75316 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 12455 /proc/meminfo: memFree=1450196/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=75220 CPUtime=882.04 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 2992428 0 0 0 86474 1730 0 0 25 0 1 0 7753212 77025280 15970 1992294400 4194304 9819077 140733580008016 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18805 15970 722 1374 0 17426 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 75220 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 12455 /proc/meminfo: memFree=1451932/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=70936 CPUtime=942.03 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 3262353 0 0 0 92331 1872 0 0 25 0 1 0 7753212 72638464 15510 1992294400 4194304 9819077 140733580008016 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 17734 15510 722 1374 0 16355 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 70936 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 12457 /proc/meminfo: memFree=1451436/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=71280 CPUtime=1002.01 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 3487633 0 0 0 98205 1996 0 0 25 0 1 0 7753212 72990720 15595 1992294400 4194304 9819077 140733580008016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 17820 15595 722 1374 0 16441 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 71280 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 12459 /proc/meminfo: memFree=1448088/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=72172 CPUtime=1061.99 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 3689681 0 0 0 104086 2113 0 0 25 0 1 0 7753212 73904128 15773 1992294400 4194304 9819077 140733580008016 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18043 15773 722 1374 0 16664 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 72172 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 12461 /proc/meminfo: memFree=1449576/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=78936 CPUtime=1121.98 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 3908670 0 0 0 109956 2242 0 0 25 0 1 0 7753212 80830464 16145 1992294400 4194304 9819077 140733580008016 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 19734 16145 722 1374 0 18355 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 78936 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1448336/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=74112 CPUtime=1181.96 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4093045 0 0 0 115844 2352 0 0 25 0 1 0 7753212 75890688 16327 1992294400 4194304 9819077 140733580008016 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18528 16327 722 1374 0 17149 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 74112 Solver just ended. Dumping a history of the last processes samples [startup+1203.1 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1446724/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=74544 CPUtime=1202.76 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4167462 0 0 0 117879 2397 0 0 25 0 1 0 7753212 76333056 16412 1992294400 4194304 9819077 140733580008016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18636 16412 722 1374 0 17257 0 Current children cumulated CPU time (s) 1202.76 Current children cumulated vsize (KiB) 74544 [startup+1215.9 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1448088/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=74700 CPUtime=1215.55 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4213632 0 0 0 119134 2421 0 0 25 0 1 0 7753212 76492800 16431 1992294400 4194304 9819077 140733580008016 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18675 16431 722 1374 0 17296 0 Current children cumulated CPU time (s) 1215.55 Current children cumulated vsize (KiB) 74700 [startup+1228.71 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1445112/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=80276 CPUtime=1228.35 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4263475 0 0 0 120389 2446 0 0 25 0 1 0 7753212 82202624 17205 1992294400 4194304 9819077 140733580008016 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 20069 17205 722 1374 0 18690 0 Current children cumulated CPU time (s) 1228.35 Current children cumulated vsize (KiB) 80276 [startup+1235.1 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1446972/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=81048 CPUtime=1234.74 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4286101 0 0 0 121018 2456 0 0 25 0 1 0 7753212 82993152 17311 1992294400 4194304 9819077 140733580008016 18446744073709551615 6656802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 20262 17311 722 1374 0 18883 0 Current children cumulated CPU time (s) 1234.74 Current children cumulated vsize (KiB) 81048 [startup+1238.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1447592/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=79072 CPUtime=1237.94 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4295988 0 0 0 121333 2461 0 0 25 0 1 0 7753212 80969728 17162 1992294400 4194304 9819077 140733580008016 18446744073709551615 7228920 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 19768 17163 722 1374 0 18389 0 Current children cumulated CPU time (s) 1237.94 Current children cumulated vsize (KiB) 79072 [startup+1239.9 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1447592/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=75176 CPUtime=1239.54 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4300516 0 0 0 121491 2463 0 0 25 0 1 0 7753212 76980224 16548 1992294400 4194304 9819077 140733580008016 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18794 16548 722 1374 0 17415 0 Current children cumulated CPU time (s) 1239.54 Current children cumulated vsize (KiB) 75176 [startup+1240.7 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1447468/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=75108 CPUtime=1240.35 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4302404 0 0 0 121570 2465 0 0 25 0 1 0 7753212 76910592 16600 1992294400 4194304 9819077 140733580008016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 18777 16600 722 1374 0 17398 0 Current children cumulated CPU time (s) 1240.35 Current children cumulated vsize (KiB) 75108 [startup+1241.1 s] /proc/loadavg: 1.00 1.00 1.05 2/107 12463 /proc/meminfo: memFree=1447468/2059040 swapFree=4192956/4192956 [pid=12430] ppid=12428 vsize=73664 CPUtime=1240.75 /proc/12430/stat : 12430 (pbscip.linux.x8) R 12428 12430 12185 0 -1 4202496 4303622 0 0 0 121609 2466 0 0 25 0 1 0 7753212 75431936 16470 1992294400 4194304 9819077 140733580008016 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12430/statm: 17709 16409 722 1374 0 16330 0 Current children cumulated CPU time (s) 1240.75 Current children cumulated vsize (KiB) 73664 Child status: 0 Real time (s): 1241.17 CPU time (s): 1240.82 CPU user time (s): 1216.15 CPU system time (s): 24.6732 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 81328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1216.15 system time used= 24.6732 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4303708 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= 2 involuntary context switches= 16658 runsolver used 2.14367 second user time and 5.76912 second system time The end
Begin job on node018 at 2010-06-12 13:09:29 IDJOB=2666005 IDBENCH=1491 IDSOLVER=1168 FILE ID=node018/2666005-1276340969 PBS_JOBID= 11173183 Free space on /tmp= 62292 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666005-1276340969/watcher-2666005-1276340969 -o /tmp/evaluation-result-2666005-1276340969/solver-2666005-1276340969 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666005-1276340969.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1104c8fec3fd69abc0a798c3b6bfa5b RANDOM SEED=1713855545 node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1513104 kB Buffers: 115036 kB Cached: 287436 kB SwapCached: 0 kB Active: 151720 kB Inactive: 310080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1513104 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6340 kB Writeback: 0 kB AnonPages: 59320 kB Mapped: 15388 kB Slab: 62468 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180304 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= 62288 MiB End job on node018 at 2010-06-12 13:30:10