Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.76 | 1790.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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2704274-1278550613.opb> 0.10/0.10 c original problem has 2152 variables (2152 bin, 0 int, 0 impl, 0 cont) and 5613 constraints 0.10/0.10 c problem read 0.10/0.10 c No objective function, only one solution is needed. 0.10/0.10 c presolving settings loaded 0.10/0.13 c presolving: 0.20/0.22 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.20/0.23 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.20/0.24 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.20/0.24 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.20/0.25 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.20/0.25 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.20/0.25 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.31 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.34 c presolving (9 rounds): 0.29/0.34 c 252 deleted vars, 607 deleted constraints, 94 tightened bounds, 0 added holes, 238 changed sides, 506 changed coefficients 0.29/0.34 c 92682 implications, 0 cliques 0.29/0.34 c presolved problem has 1900 variables (1900 bin, 0 int, 0 impl, 0 cont) and 5006 constraints 0.29/0.34 c 472 constraints of type <knapsack> 0.29/0.34 c 3029 constraints of type <setppc> 0.29/0.34 c 1505 constraints of type <logicor> 0.29/0.34 c transformed objective value is always integral (scale: 1) 0.29/0.34 c Presolving Time: 0.22 0.29/0.34 c - non default parameters ---------------------------------------------------------------------- 0.29/0.34 c # SCIP version 1.2.1.3 0.29/0.34 c 0.29/0.34 c # frequency for displaying node information lines 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 100] 0.29/0.34 c display/freq = 10000 0.29/0.34 c 0.29/0.34 c # maximal time in seconds to run 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.34 c limits/time = 1789.9 0.29/0.34 c 0.29/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.34 c limits/memory = 1620 0.29/0.34 c 0.29/0.34 c # solving stops, if the given number of solutions were found (-1: no limit) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.34 c limits/solutions = 1 0.29/0.34 c 0.29/0.34 c # maximal number of separation rounds per node (-1: unlimited) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 5] 0.29/0.34 c separating/maxrounds = 1 0.29/0.34 c 0.29/0.34 c # maximal number of separation rounds in the root node (-1: unlimited) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.34 c separating/maxroundsroot = 5 0.29/0.34 c 0.29/0.34 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.29/0.34 c # [type: int, range: [1,2], default: 1] 0.29/0.34 c timing/clocktype = 2 0.29/0.34 c 0.29/0.34 c # should presolving try to simplify inequalities 0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.34 c constraints/linear/simplifyinequalities = TRUE 0.29/0.34 c 0.29/0.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.34 c constraints/indicator/addCouplingCons = TRUE 0.29/0.34 c 0.29/0.34 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.29/0.34 c constraints/knapsack/disaggregation = FALSE 0.29/0.34 c 0.29/0.34 c # should presolving try to simplify knapsacks 0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.34 c constraints/knapsack/simplifyinequalities = TRUE 0.29/0.34 c 0.29/0.34 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.34 c presolving/probing/maxrounds = 0 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.34 c heuristics/coefdiving/freq = -1 0.29/0.34 c 0.29/0.34 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.34 c heuristics/coefdiving/maxlpiterquot = 0.075 0.29/0.34 c 0.29/0.34 c # additional number of allowed LP iterations 0.29/0.34 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.34 c heuristics/coefdiving/maxlpiterofs = 1500 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 30] 0.29/0.34 c heuristics/crossover/freq = -1 0.29/0.34 c 0.29/0.34 c # number of nodes added to the contingent of the total nodes 0.29/0.34 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.34 c heuristics/crossover/nodesofs = 750 0.29/0.34 c 0.29/0.34 c # number of nodes without incumbent change that heuristic should wait 0.29/0.34 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.29/0.34 c heuristics/crossover/nwaitingnodes = 100 0.29/0.34 c 0.29/0.34 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.29/0.34 c # [type: real, range: [0,1], default: 0.1] 0.29/0.34 c heuristics/crossover/nodesquot = 0.15 0.29/0.34 c 0.29/0.34 c # minimum percentage of integer variables that have to be fixed 0.29/0.34 c # [type: real, range: [0,1], default: 0.666] 0.29/0.34 c heuristics/crossover/minfixingrate = 0.5 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.34 c heuristics/feaspump/freq = -1 0.29/0.34 c 0.29/0.34 c # additional number of allowed LP iterations 0.29/0.34 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.34 c heuristics/feaspump/maxlpiterofs = 2000 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.34 c heuristics/fracdiving/freq = -1 0.29/0.34 c 0.29/0.34 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.34 c heuristics/fracdiving/maxlpiterquot = 0.075 0.29/0.34 c 0.29/0.34 c # additional number of allowed LP iterations 0.29/0.34 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.34 c heuristics/fracdiving/maxlpiterofs = 1500 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.34 c heuristics/guideddiving/freq = -1 0.29/0.34 c 0.29/0.34 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.34 c heuristics/guideddiving/maxlpiterquot = 0.075 0.29/0.34 c 0.29/0.34 c # additional number of allowed LP iterations 0.29/0.34 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.34 c heuristics/guideddiving/maxlpiterofs = 1500 0.29/0.34 c 0.29/0.34 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.34 c heuristics/intdiving/maxlpiterquot = 0.075 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.34 c heuristics/intshifting/freq = -1 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.34 c heuristics/linesearchdiving/freq = -1 0.29/0.34 c 0.29/0.34 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.34 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.29/0.34 c 0.29/0.34 c # additional number of allowed LP iterations 0.29/0.34 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.34 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.34 c heuristics/nlp/freq = -1 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.34 c heuristics/objpscostdiving/freq = -1 0.29/0.34 c 0.29/0.34 c # maximal fraction of diving LP iterations compared to total iteration number 0.29/0.34 c # [type: real, range: [0,1], default: 0.01] 0.29/0.34 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.29/0.34 c 0.29/0.34 c # additional number of allowed LP iterations 0.29/0.34 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.34 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.34 c heuristics/oneopt/freq = -1 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.34 c heuristics/pscostdiving/freq = -1 0.29/0.34 c 0.29/0.34 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.34 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.29/0.34 c 0.29/0.34 c # additional number of allowed LP iterations 0.29/0.34 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.34 c heuristics/pscostdiving/maxlpiterofs = 1500 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.29/0.34 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.34 c heuristics/rens/freq = -1 0.29/0.34 c 0.29/0.34 c # minimum percentage of integer variables that have to be fixable 0.29/0.34 c # [type: real, range: [0,1], default: 0.5] 0.29/0.34 c heuristics/rens/minfixingrate = 0.3 0.29/0.34 c 0.29/0.34 c # number of nodes added to the contingent of the total nodes 0.29/0.34 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.34 c heuristics/rens/nodesofs = 2000 0.29/0.34 c 0.29/0.34 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.35 c heuristics/rootsoldiving/freq = -1 0.29/0.35 c 0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.29/0.35 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.29/0.35 c 0.29/0.35 c # additional number of allowed LP iterations 0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.35 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.29/0.35 c 0.29/0.35 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.35 c heuristics/rounding/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.35 c heuristics/shifting/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.35 c heuristics/simplerounding/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.35 c heuristics/trivial/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.35 c heuristics/trysol/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.35 c heuristics/veclendiving/freq = -1 0.29/0.35 c 0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.35 c heuristics/veclendiving/maxlpiterquot = 0.075 0.29/0.35 c 0.29/0.35 c # additional number of allowed LP iterations 0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.35 c heuristics/veclendiving/maxlpiterofs = 1500 0.29/0.35 c 0.29/0.35 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.35 c heuristics/zirounding/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.35 c separating/cmir/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.35 c separating/flowcover/freq = -1 0.29/0.35 c 0.29/0.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.35 c separating/rapidlearning/freq = 0 0.29/0.35 c 0.29/0.35 c ----------------------------------------------------------------------------------------------- 0.29/0.35 c start solving 0.29/0.35 c 0.49/0.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.49/0.50 c 0.4s| 1 | 0 | 1087 | - | 13M| 0 | 770 |1900 |5006 |1900 |5006 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.73 c 1.6s| 1 | 0 | 1718 | - | 13M| 0 | 726 |1900 |5243 |1900 |5096 | 99 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.58 c 2.5s| 1 | 0 | 2694 | - | 14M| 0 | 816 |1900 |5243 |1900 |5190 | 193 | 0 | 0 | 0.000000e+00 | -- | Inf 4.49/4.56 c 4.5s| 1 | 0 | 3849 | - | 14M| 0 | 914 |1900 |5243 |1900 |5286 | 289 | 0 | 0 | 0.000000e+00 | -- | Inf 6.60/6.67 c 6.6s| 1 | 0 | 4787 | - | 14M| 0 | 859 |1900 |5243 |1900 |5364 | 367 | 0 | 0 | 0.000000e+00 | -- | Inf 8.89/8.97 c 8.9s| 1 | 0 | 5786 | - | 14M| 0 | 813 |1900 |5243 |1900 |5438 | 441 | 0 | 0 | 0.000000e+00 | -- | Inf 24.10/24.19 c 24.1s| 1 | 2 | 5786 | - | 14M| 0 | 813 |1900 |5243 |1900 |5438 | 441 | 0 | 24 | 0.000000e+00 | -- | Inf 876.28/876.58 c 876s| 10000 | 59 |818951 | 81.3 | 18M| 63 | 289 |1900 |9182 |1900 |5312 | 441 | 12k|3186 | 0.000000e+00 | -- | Inf 1388.76/1389.16 c 1389s| 20000 | 41 | 1460k| 72.8 | 19M| 63 | - |1900 |9910 | 0 | 0 | 441 | 25k|5197 | 0.000000e+00 | -- | Inf 1789.68/1790.11 c 1789.68/1790.11 c SCIP Status : solving was interrupted [time limit reached] 1789.68/1790.11 c Solving Time (sec) : 1790.00 1789.68/1790.11 c Solving Nodes : 26711 1789.68/1790.11 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.68/1790.11 c Dual Bound : +0.00000000000000e+00 1789.68/1790.11 c Gap : infinite 1789.68/1790.11 s UNKNOWN 1789.68/1790.11 c SCIP Status : solving was interrupted [time limit reached] 1789.68/1790.11 c Solving Time : 1790.00 1789.68/1790.11 c Original Problem : 1789.68/1790.11 c Problem name : HOME/instance-2704274-1278550613.opb 1789.68/1790.11 c Variables : 2152 (2152 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.68/1790.11 c Constraints : 5613 initial, 5613 maximal 1789.68/1790.11 c Presolved Problem : 1789.68/1790.11 c Problem name : t_HOME/instance-2704274-1278550613.opb 1789.68/1790.11 c Variables : 1900 (1900 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.68/1790.11 c Constraints : 5006 initial, 12839 maximal 1789.68/1790.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.68/1790.11 c trivial : 0.00 0 0 0 0 0 0 0 0 1789.68/1790.11 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.68/1790.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.68/1790.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.68/1790.11 c implics : 0.01 0 152 0 0 0 0 0 0 1789.68/1790.11 c probing : 0.00 0 0 0 0 0 0 0 0 1789.68/1790.11 c knapsack : 0.01 0 0 0 0 0 0 0 0 1789.68/1790.11 c setppc : 0.01 0 0 0 0 0 0 0 0 1789.68/1790.11 c linear : 0.13 94 6 0 94 0 607 238 506 1789.68/1790.11 c logicor : 0.03 0 0 0 0 0 0 0 0 1789.68/1790.11 c root node : - 60 - - 60 - - - - 1789.68/1790.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.68/1790.11 c integral : 0 0 0 20905 0 39 1809 0 0 40342 1789.68/1790.11 c knapsack : 472 6 235221 0 0 4229 289334 1205 0 0 1789.68/1790.11 c setppc : 3029 6 230992 0 0 1974 826343 0 0 0 1789.68/1790.11 c linear : 0+ 5 228922 0 0 6 487 38 0 0 1789.68/1790.11 c logicor : 1505+ 6 197150 0 0 6449 526645 0 0 0 1789.68/1790.11 c countsols : 0 0 0 0 0 0 0 0 0 0 1789.68/1790.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.68/1790.11 c integral : 621.44 0.00 0.00 621.44 0.00 1789.68/1790.11 c knapsack : 12.34 0.03 12.31 0.00 0.00 1789.68/1790.11 c setppc : 12.25 0.00 12.24 0.00 0.00 1789.68/1790.11 c linear : 0.63 0.00 0.63 0.00 0.00 1789.68/1790.11 c logicor : 11.12 0.00 11.12 0.00 0.00 1789.68/1790.11 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.68/1790.11 c Propagators : Time Calls Cutoffs DomReds 1789.68/1790.11 c vbounds : 0.10 1 0 0 1789.68/1790.11 c rootredcost : 0.10 0 0 0 1789.68/1790.11 c pseudoobj : 0.07 0 0 0 1789.68/1790.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.68/1790.11 c propagation : 3.52 12658 12530 111136 32.4 1754 17.9 - 1789.68/1790.11 c infeasible LP : 0.31 204 204 908 19.0 81 14.7 0 1789.68/1790.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.68/1790.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.68/1790.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.68/1790.11 c applied globally : - - - 33934 23.5 - - - 1789.68/1790.11 c applied locally : - - - 0 0.0 - - - 1789.68/1790.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.68/1790.11 c cut pool : 0.00 4 - - 284 - (maximal pool size: 1126) 1789.68/1790.11 c redcost : 1.34 20231 0 0 0 0 1789.68/1790.11 c impliedbounds : 0.01 5 0 0 0 0 1789.68/1790.11 c intobj : 0.00 0 0 0 0 0 1789.68/1790.11 c cgmip : 0.00 0 0 0 0 0 1789.68/1790.11 c gomory : 2.33 5 0 0 1348 0 1789.68/1790.11 c strongcg : 2.02 5 0 0 1840 0 1789.68/1790.11 c cmir : 0.00 0 0 0 0 0 1789.68/1790.11 c flowcover : 0.00 0 0 0 0 0 1789.68/1790.11 c clique : 0.12 5 0 0 36 0 1789.68/1790.11 c zerohalf : 0.00 0 0 0 0 0 1789.68/1790.11 c mcf : 0.01 1 0 0 0 0 1789.68/1790.11 c rapidlearning : 0.60 1 0 3 0 246 1789.68/1790.11 c Pricers : Time Calls Vars 1789.68/1790.11 c problem variables: 0.00 0 0 1789.68/1790.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.68/1790.11 c relpscost : 621.39 20905 39 1809 0 0 40342 1789.68/1790.11 c pscost : 0.00 0 0 0 0 0 0 1789.68/1790.11 c inference : 0.00 0 0 0 0 0 0 1789.68/1790.11 c mostinf : 0.00 0 0 0 0 0 0 1789.68/1790.11 c leastinf : 0.00 0 0 0 0 0 0 1789.68/1790.11 c fullstrong : 0.00 0 0 0 0 0 0 1789.68/1790.11 c allfullstrong : 0.00 0 0 0 0 0 0 1789.68/1790.11 c random : 0.00 0 0 0 0 0 0 1789.68/1790.11 c Primal Heuristics : Time Calls Found 1789.68/1790.11 c LP solutions : 0.00 - 0 1789.68/1790.11 c pseudo solutions : 0.00 - 0 1789.68/1790.11 c trivial : 0.00 1 0 1789.68/1790.11 c simplerounding : 0.00 0 0 1789.68/1790.11 c zirounding : 0.00 0 0 1789.68/1790.11 c rounding : 0.00 0 0 1789.68/1790.11 c shifting : 0.00 0 0 1789.68/1790.11 c intshifting : 0.00 0 0 1789.68/1790.11 c oneopt : 0.00 0 0 1789.68/1790.11 c twoopt : 0.00 0 0 1789.68/1790.11 c fixandinfer : 0.00 0 0 1789.68/1790.11 c feaspump : 0.00 0 0 1789.68/1790.11 c coefdiving : 0.00 0 0 1789.68/1790.11 c pscostdiving : 0.00 0 0 1789.68/1790.11 c fracdiving : 0.00 0 0 1789.68/1790.11 c veclendiving : 0.00 0 0 1789.68/1790.11 c intdiving : 0.00 0 0 1789.68/1790.11 c actconsdiving : 0.00 0 0 1789.68/1790.11 c objpscostdiving : 0.00 0 0 1789.68/1790.11 c rootsoldiving : 0.00 0 0 1789.68/1790.11 c linesearchdiving : 0.00 0 0 1789.68/1790.11 c guideddiving : 0.00 0 0 1789.68/1790.11 c octane : 0.00 0 0 1789.68/1790.11 c rens : 0.00 0 0 1789.68/1790.11 c rins : 0.00 0 0 1789.68/1790.11 c localbranching : 0.00 0 0 1789.68/1790.11 c mutation : 0.00 0 0 1789.68/1790.11 c crossover : 0.00 0 0 1789.68/1790.11 c dins : 0.00 0 0 1789.68/1790.11 c undercover : 0.00 0 0 1789.68/1790.11 c nlp : 0.00 0 0 1789.68/1790.11 c trysol : 0.00 0 0 1789.68/1790.11 c LP : Time Calls Iterations Iter/call Iter/sec 1789.68/1790.11 c primal LP : 0.00 0 0 0.00 - 1789.68/1790.11 c dual LP : 1052.00 21101 1924311 91.20 1829.20 1789.68/1790.11 c lex dual LP : 0.00 0 0 0.00 - 1789.68/1790.11 c barrier LP : 0.00 0 0 0.00 - 1789.68/1790.11 c diving/probing LP: 0.00 0 0 0.00 - 1789.68/1790.11 c strong branching : 616.18 6082 846847 139.24 1374.35 1789.68/1790.11 c (at root node) : - 24 17780 740.83 - 1789.68/1790.11 c conflict analysis: 0.00 0 0 0.00 - 1789.68/1790.11 c B&B Tree : 1789.68/1790.11 c number of runs : 1 1789.68/1790.11 c nodes : 26711 1789.68/1790.11 c nodes (total) : 26711 1789.68/1790.11 c nodes left : 21 1789.68/1790.11 c max depth : 63 1789.68/1790.11 c max depth (total): 63 1789.68/1790.11 c backtracks : 6878 (25.7%) 1789.68/1790.11 c delayed cutoffs : 13611 1789.68/1790.11 c repropagations : 23938 (669233 domain reductions, 6361 cutoffs) 1789.68/1790.11 c avg switch length: 3.25 1789.68/1790.11 c switching time : 16.04 1789.68/1790.11 c Solution : 1789.68/1790.11 c Solutions found : 0 (0 improvements) 1789.68/1790.11 c Primal Bound : - 1789.68/1790.11 c Dual Bound : +0.00000000000000e+00 1789.68/1790.11 c Gap : infinite 1789.68/1790.11 c Root Dual Bound : +0.00000000000000e+00 1789.68/1790.11 c Root Iterations : 5786 1789.68/1790.17 c Time complete: 1789.75.
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-2704274-1278550613/watcher-2704274-1278550613 -o /tmp/evaluation-result-2704274-1278550613/solver-2704274-1278550613 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704274-1278550613.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.94 3/106 26480 /proc/meminfo: memFree=1877688/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=7904 CPUtime=0 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 1109 0 0 0 0 0 0 0 18 0 1 0 23267968 8093696 1021 1992294400 4194304 8395647 140736419303856 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26480/statm: 1976 1029 365 1026 0 946 0 [startup+0.0133111 s] /proc/loadavg: 0.92 0.98 0.94 3/106 26480 /proc/meminfo: memFree=1877688/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=10204 CPUtime=0 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 1843 0 0 0 0 0 0 0 18 0 1 0 23267968 10448896 1754 1992294400 4194304 8395647 140736419303856 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26480/statm: 2551 1754 390 1026 0 1521 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10204 [startup+0.101315 s] /proc/loadavg: 0.92 0.98 0.94 3/106 26480 /proc/meminfo: memFree=1877688/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=16236 CPUtime=0.1 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 3333 0 0 0 9 1 0 0 20 0 1 0 23267968 16625664 3244 1992294400 4194304 8395647 140736419303856 18446744073709551615 7370176 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26480/statm: 4059 3244 390 1026 0 3029 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16236 [startup+0.301329 s] /proc/loadavg: 0.92 0.98 0.94 3/106 26480 /proc/meminfo: memFree=1877688/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=32376 CPUtime=0.29 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 7490 0 0 0 27 2 0 0 20 0 1 0 23267968 33153024 7047 1992294400 4194304 8395647 140736419303856 18446744073709551615 6345173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 8094 7047 484 1026 0 7064 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32376 [startup+0.701355 s] /proc/loadavg: 0.92 0.98 0.94 3/106 26480 /proc/meminfo: memFree=1877688/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=41432 CPUtime=0.69 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 10066 0 0 0 66 3 0 0 20 0 1 0 23267968 42426368 9480 1992294400 4194304 8395647 140736419303856 18446744073709551615 6440486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 10358 9480 613 1026 0 9328 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41432 [startup+1.50141 s] /proc/loadavg: 0.92 0.98 0.94 2/107 26481 /proc/meminfo: memFree=1817292/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1.49 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17029 0 0 0 139 10 0 0 23 0 1 0 23267968 71692288 16383 1992294400 4194304 8395647 140736419303856 18446744073709551615 7380400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16383 630 1026 0 16473 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 70012 [startup+3.10051 s] /proc/loadavg: 0.92 0.98 0.94 2/107 26481 /proc/meminfo: memFree=1814316/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=3.09 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17029 0 0 0 298 11 0 0 25 0 1 0 23267968 71692288 16383 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16383 630 1026 0 16473 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 70012 [startup+6.30073 s] /proc/loadavg: 0.93 0.98 0.94 2/107 26481 /proc/meminfo: memFree=1813820/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=6.29 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17029 0 0 0 615 14 0 0 25 0 1 0 23267968 71692288 16383 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16383 630 1026 0 16473 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 70012 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.94 2/107 26481 /proc/meminfo: memFree=1813820/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=12.68 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17030 0 0 0 1252 16 0 0 25 0 1 0 23267968 71692288 16384 1992294400 4194304 8395647 140736419303856 18446744073709551615 6701870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16384 630 1026 0 16473 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 70012 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.94 2/107 26481 /proc/meminfo: memFree=1813820/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=25.48 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17031 0 0 0 2526 22 0 0 25 0 1 0 23267968 71692288 16385 1992294400 4194304 8395647 140736419303856 18446744073709551615 6586922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16385 631 1026 0 16473 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70012 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.94 2/107 26481 /proc/meminfo: memFree=1813820/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=51.06 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17031 0 0 0 5070 36 0 0 25 0 1 0 23267968 71692288 16385 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16385 631 1026 0 16473 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 70012 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.94 2/107 26483 /proc/meminfo: memFree=1813820/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=102.27 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17031 0 0 0 10163 64 0 0 25 0 1 0 23267968 71692288 16385 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16385 631 1026 0 16473 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 70012 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26485 /proc/meminfo: memFree=1813820/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=162.24 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17035 0 0 0 16125 99 0 0 25 0 1 0 23267968 71692288 16389 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16389 632 1026 0 16473 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 70012 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26487 /proc/meminfo: memFree=1813448/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=222.23 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17127 0 0 0 22084 139 0 0 25 0 1 0 23267968 71692288 16481 1992294400 4194304 8395647 140736419303856 18446744073709551615 6696735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16481 632 1026 0 16473 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 70012 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26496 /proc/meminfo: memFree=1812332/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=282.21 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17299 0 0 0 28044 177 0 0 25 0 1 0 23267968 71692288 16653 1992294400 4194304 8395647 140736419303856 18446744073709551615 6585987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16653 632 1026 0 16473 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 70012 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26498 /proc/meminfo: memFree=1812332/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=342.19 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17299 0 0 0 34003 216 0 0 25 0 1 0 23267968 71692288 16653 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16653 632 1026 0 16473 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 70012 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26500 /proc/meminfo: memFree=1812332/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=402.19 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17299 0 0 0 39964 255 0 0 25 0 1 0 23267968 71692288 16653 1992294400 4194304 8395647 140736419303856 18446744073709551615 6445929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16653 632 1026 0 16473 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 70012 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26502 /proc/meminfo: memFree=1812332/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=462.17 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17299 0 0 0 45924 293 0 0 25 0 1 0 23267968 71692288 16653 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16653 632 1026 0 16473 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 70012 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26503 /proc/meminfo: memFree=1812332/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=522.16 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17299 0 0 0 51884 332 0 0 25 0 1 0 23267968 71692288 16653 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16653 632 1026 0 16473 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 70012 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26504 /proc/meminfo: memFree=1812332/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=582.15 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17304 0 0 0 57843 372 0 0 25 0 1 0 23267968 71692288 16658 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16658 632 1026 0 16473 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 70012 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26506 /proc/meminfo: memFree=1812332/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=642.14 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17304 0 0 0 63804 410 0 0 25 0 1 0 23267968 71692288 16658 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16658 632 1026 0 16473 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 70012 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1812084/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1002.05 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17307 0 0 0 99580 625 0 0 25 0 1 0 23267968 71692288 16661 1992294400 4194304 8395647 140736419303856 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16661 632 1026 0 16473 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 70012 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26518 /proc/meminfo: memFree=1811960/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1062.04 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17307 0 0 0 105541 663 0 0 25 0 1 0 23267968 71692288 16661 1992294400 4194304 8395647 140736419303856 18446744073709551615 6586864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16661 632 1026 0 16473 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 70012 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26519 /proc/meminfo: memFree=1811960/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1122.02 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17307 0 0 0 111499 703 0 0 25 0 1 0 23267968 71692288 16661 1992294400 4194304 8395647 140736419303856 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16661 632 1026 0 16473 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 70012 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26520 /proc/meminfo: memFree=1811836/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1182.01 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17376 0 0 0 117461 740 0 0 25 0 1 0 23267968 71692288 16730 1992294400 4194304 8395647 140736419303856 18446744073709551615 6470700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16730 632 1026 0 16473 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 70012 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.94 2/107 26522 /proc/meminfo: memFree=1811712/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1241.99 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17383 0 0 0 123420 779 0 0 25 0 1 0 23267968 71692288 16737 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16737 632 1026 0 16473 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 70012 [startup+1302.3 s] /proc/loadavg: 1.03 1.00 0.94 2/107 26524 /proc/meminfo: memFree=1811588/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1302 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17383 0 0 0 129384 816 0 0 25 0 1 0 23267968 71692288 16737 1992294400 4194304 8395647 140736419303856 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16737 632 1026 0 16473 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 70012 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 0.95 2/107 26526 /proc/meminfo: memFree=1811588/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1361.97 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17383 0 0 0 135340 857 0 0 25 0 1 0 23267968 71692288 16737 1992294400 4194304 8395647 140736419303856 18446744073709551615 6653577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16737 632 1026 0 16473 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 70012 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 0.95 2/107 26531 /proc/meminfo: memFree=1810844/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1421.96 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17383 0 0 0 141298 898 0 0 25 0 1 0 23267968 71692288 16737 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16737 632 1026 0 16473 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 70012 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26531 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1481.95 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17383 0 0 0 147260 935 0 0 25 0 1 0 23267968 71692288 16737 1992294400 4194304 8395647 140736419303856 18446744073709551615 6470683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16737 632 1026 0 16473 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 70012 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26533 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1541.93 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17383 0 0 0 153223 970 0 0 25 0 1 0 23267968 71692288 16737 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16737 632 1026 0 16473 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 70012 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26535 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1601.92 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17387 0 0 0 159184 1008 0 0 25 0 1 0 23267968 71692288 16741 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16741 632 1026 0 16473 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 70012 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26537 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1661.91 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 165147 1044 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6585950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 70012 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26539 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1721.89 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 171111 1078 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6698332 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 70012 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26539 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1781.88 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 177072 1116 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6701772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 70012 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26539 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1785.08 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 177391 1117 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1785.08 Current children cumulated vsize (KiB) 70012 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26539 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1788.28 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 177709 1119 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1788.28 Current children cumulated vsize (KiB) 70012 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26539 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1789.08 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 177788 1120 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6587099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1789.08 Current children cumulated vsize (KiB) 70012 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26539 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1789.48 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 177828 1120 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6698218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (KiB) 70012 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.95 2/107 26539 /proc/meminfo: memFree=1810968/2059040 swapFree=4121688/4192956 [pid=26480] ppid=26478 vsize=70012 CPUtime=1789.68 /proc/26480/stat : 26480 (pbscip.linux.x8) R 26478 26480 25688 0 -1 4202496 17388 0 0 0 177848 1120 0 0 25 0 1 0 23267968 71692288 16742 1992294400 4194304 8395647 140736419303856 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26480/statm: 17503 16742 632 1026 0 16473 0 Current children cumulated CPU time (s) 1789.68 Current children cumulated vsize (KiB) 70012 Child status: 0 Real time (s): 1790.17 CPU time (s): 1789.76 CPU user time (s): 1778.54 CPU system time (s): 11.2163 CPU usage (%): 99.977 Max. virtual memory (cumulated for all children) (KiB): 70012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.54 system time used= 11.2163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17393 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= 6792 runsolver used 2.99554 second user time and 8.41272 second system time The end
Begin job on node052 at 2010-07-08 02:56:53 IDJOB=2704274 IDBENCH=1491 IDSOLVER=1213 FILE ID=node052/2704274-1278550613 PBS_JOBID= 11239489 Free space on /tmp= 62496 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704274-1278550613/watcher-2704274-1278550613 -o /tmp/evaluation-result-2704274-1278550613/solver-2704274-1278550613 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704274-1278550613.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1104c8fec3fd69abc0a798c3b6bfa5b RANDOM SEED=972736417 node052.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.213 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.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1878216 kB Buffers: 8796 kB Cached: 91704 kB SwapCached: 24780 kB Active: 54804 kB Inactive: 71720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1878216 kB SwapTotal: 4192956 kB SwapFree: 4121688 kB Dirty: 10552 kB Writeback: 0 kB AnonPages: 10696 kB Mapped: 7004 kB Slab: 32396 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180768 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= 62484 MiB End job on node052 at 2010-07-08 03:26:44