Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 1218.45 | 1218.91 |
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: SoPlex 1.4.2] [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-2667435-1276341016.opb> 0.09/0.12 c original problem has 2152 variables (2152 bin, 0 int, 0 impl, 0 cont) and 5613 constraints 0.09/0.12 c problem read 0.09/0.12 c No objective function, only one solution is needed. 0.09/0.12 c presolving settings loaded 0.09/0.16 c presolving: 0.19/0.25 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.26 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.27 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.28 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.29 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.29/0.30 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.38 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.39/0.41 c presolving (9 rounds): 0.39/0.41 c 252 deleted vars, 607 deleted constraints, 94 tightened bounds, 0 added holes, 238 changed sides, 506 changed coefficients 0.39/0.41 c 92682 implications, 0 cliques 0.39/0.41 c presolved problem has 1900 variables (1900 bin, 0 int, 0 impl, 0 cont) and 5006 constraints 0.39/0.41 c 472 constraints of type <knapsack> 0.39/0.41 c 4534 constraints of type <logicor> 0.39/0.41 c transformed objective value is always integral (scale: 1) 0.39/0.41 c Presolving Time: 0.22 0.39/0.41 c - non default parameters ---------------------------------------------------------------------- 0.39/0.41 c # SCIP version 1.2.1.2 0.39/0.41 c 0.39/0.41 c # frequency for displaying node information lines 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100] 0.39/0.41 c display/freq = 10000 0.39/0.41 c 0.39/0.41 c # maximal time in seconds to run 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.41 c limits/time = 1799.88 0.39/0.41 c 0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.41 c limits/memory = 1620 0.39/0.41 c 0.39/0.41 c # solving stops, if the given number of solutions were found (-1: no limit) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.41 c limits/solutions = 1 0.39/0.41 c 0.39/0.41 c # maximal number of separation rounds per node (-1: unlimited) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 5] 0.39/0.41 c separating/maxrounds = 1 0.39/0.41 c 0.39/0.41 c # maximal number of separation rounds in the root node (-1: unlimited) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.41 c separating/maxroundsroot = 5 0.39/0.41 c 0.39/0.41 c # should presolving try to simplify inequalities 0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.41 c constraints/linear/simplifyinequalities = TRUE 0.39/0.41 c 0.39/0.41 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.39/0.41 c constraints/knapsack/disaggregation = FALSE 0.39/0.41 c 0.39/0.41 c # should presolving try to simplify knapsacks 0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE 0.39/0.41 c 0.39/0.41 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.41 c presolving/probing/maxrounds = 0 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/coefdiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.41 c heuristics/coefdiving/maxlpiterquot = 0.075 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/coefdiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 30] 0.39/0.41 c heuristics/crossover/freq = -1 0.39/0.41 c 0.39/0.41 c # number of nodes added to the contingent of the total nodes 0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.41 c heuristics/crossover/nodesofs = 750 0.39/0.41 c 0.39/0.41 c # number of nodes without incumbent change that heuristic should wait 0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.39/0.41 c heuristics/crossover/nwaitingnodes = 100 0.39/0.41 c 0.39/0.41 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.39/0.41 c # [type: real, range: [0,1], default: 0.1] 0.39/0.41 c heuristics/crossover/nodesquot = 0.15 0.39/0.41 c 0.39/0.41 c # minimum percentage of integer variables that have to be fixed 0.39/0.41 c # [type: real, range: [0,1], default: 0.666] 0.39/0.41 c heuristics/crossover/minfixingrate = 0.5 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.41 c heuristics/feaspump/freq = -1 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/feaspump/maxlpiterofs = 2000 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/fracdiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.41 c heuristics/fracdiving/maxlpiterquot = 0.075 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/fracdiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/guideddiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.41 c heuristics/guideddiving/maxlpiterquot = 0.075 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/guideddiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.41 c heuristics/intdiving/maxlpiterquot = 0.075 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/intshifting/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/linesearchdiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.41 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.41 c heuristics/nlp/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.41 c heuristics/objpscostdiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to total iteration number 0.39/0.41 c # [type: real, range: [0,1], default: 0.01] 0.39/0.41 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.41 c heuristics/oneopt/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/pscostdiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.41 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/pscostdiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.41 c heuristics/rens/freq = -1 0.39/0.41 c 0.39/0.41 c # minimum percentage of integer variables that have to be fixable 0.39/0.41 c # [type: real, range: [0,1], default: 0.5] 0.39/0.41 c heuristics/rens/minfixingrate = 0.3 0.39/0.41 c 0.39/0.41 c # number of nodes added to the contingent of the total nodes 0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.41 c heuristics/rens/nodesofs = 2000 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.41 c heuristics/rootsoldiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.39/0.41 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.41 c heuristics/rounding/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/shifting/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.41 c heuristics/simplerounding/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.41 c heuristics/trivial/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.41 c heuristics/trysol/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.41 c heuristics/veclendiving/freq = -1 0.39/0.41 c 0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.41 c heuristics/veclendiving/maxlpiterquot = 0.075 0.39/0.41 c 0.39/0.41 c # additional number of allowed LP iterations 0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.41 c heuristics/veclendiving/maxlpiterofs = 1500 0.39/0.41 c 0.39/0.41 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.41 c heuristics/zirounding/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.41 c separating/cmir/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.41 c separating/flowcover/freq = -1 0.39/0.41 c 0.39/0.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.41 c separating/rapidlearning/freq = 0 0.39/0.41 c 0.39/0.41 c ----------------------------------------------------------------------------------------------- 0.39/0.41 c start solving 0.39/0.41 c 0.49/0.51 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.51 c 0.3s| 1 | 0 | 953 | - | 13M| 0 | 726 |1900 |5006 |1900 |5006 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.04 c 1.8s| 1 | 0 | 2214 | - | 14M| 0 | 743 |1900 |5216 |1900 |5083 | 86 | 0 | 0 | 0.000000e+00 | -- | Inf 3.20/3.21 c 2.9s| 1 | 0 | 3662 | - | 15M| 0 | 848 |1900 |5216 |1900 |5175 | 178 | 0 | 0 | 0.000000e+00 | -- | Inf 5.09/5.13 c 4.8s| 1 | 0 | 4342 | - | 15M| 0 | 884 |1900 |5216 |1900 |5241 | 244 | 0 | 0 | 0.000000e+00 | -- | Inf 6.49/6.53 c 6.2s| 1 | 0 | 5499 | - | 15M| 0 | 943 |1900 |5216 |1900 |5341 | 344 | 0 | 0 | 0.000000e+00 | -- | Inf 9.18/9.21 c 8.9s| 1 | 0 | 7089 | - | 15M| 0 |1018 |1900 |5216 |1900 |5445 | 448 | 0 | 0 | 0.000000e+00 | -- | Inf 16.78/16.83 c 16.5s| 1 | 2 | 7089 | - | 15M| 0 |1018 |1900 |5216 |1900 |5445 | 448 | 0 | 14 | 0.000000e+00 | -- | Inf 706.72/707.03 c 695s| 10000 | 40 |685396 | 67.8 | 18M| 83 | 243 |1900 |9768 |1900 |5303 | 448 | 13k|2585 | 0.000000e+00 | -- | Inf 1218.33/1218.85 c 1218.33/1218.85 c SCIP Status : problem is solved [infeasible] 1218.33/1218.85 c Solving Time (sec) : 1197.61 1218.33/1218.85 c Solving Nodes : 18943 1218.33/1218.85 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1218.33/1218.85 c Dual Bound : +1.00000000000000e+20 1218.33/1218.85 c Gap : 0.00 % 1218.33/1218.85 s UNSATISFIABLE 1218.33/1218.85 c SCIP Status : problem is solved [infeasible] 1218.33/1218.85 c Solving Time : 1197.61 1218.33/1218.85 c Original Problem : 1218.33/1218.85 c Problem name : HOME/instance-2667435-1276341016.opb 1218.33/1218.85 c Variables : 2152 (2152 binary, 0 integer, 0 implicit integer, 0 continuous) 1218.33/1218.85 c Constraints : 5613 initial, 5613 maximal 1218.33/1218.85 c Presolved Problem : 1218.33/1218.85 c Problem name : t_HOME/instance-2667435-1276341016.opb 1218.33/1218.85 c Variables : 1900 (1900 binary, 0 integer, 0 implicit integer, 0 continuous) 1218.33/1218.85 c Constraints : 5006 initial, 12370 maximal 1218.33/1218.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1218.33/1218.85 c trivial : 0.00 0 0 0 0 0 0 0 0 1218.33/1218.85 c dualfix : 0.00 0 0 0 0 0 0 0 0 1218.33/1218.85 c boundshift : 0.00 0 0 0 0 0 0 0 0 1218.33/1218.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1218.33/1218.85 c implics : 0.02 0 152 0 0 0 0 0 0 1218.33/1218.85 c probing : 0.00 0 0 0 0 0 0 0 0 1218.33/1218.85 c knapsack : 0.00 0 0 0 0 0 0 0 0 1218.33/1218.85 c linear : 0.14 94 6 0 94 0 607 238 506 1218.33/1218.85 c logicor : 0.04 0 0 0 0 0 0 0 0 1218.33/1218.85 c root node : - 322 - - 322 - - - - 1218.33/1218.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1218.33/1218.85 c integral : 0 0 0 14470 0 62 567 0 0 28354 1218.33/1218.85 c knapsack : 472 6 240650 0 0 2525 204012 1200 0 0 1218.33/1218.85 c linear : 0+ 5 237425 0 0 15 290 16 0 0 1218.33/1218.85 c logicor : 4534+ 6 227543 0 0 6558 1208625 0 0 0 1218.33/1218.85 c countsols : 0 0 0 0 0 0 0 0 0 0 1218.33/1218.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1218.33/1218.85 c integral : 405.09 0.00 0.00 405.09 0.00 1218.33/1218.85 c knapsack : 8.58 0.04 8.54 0.00 0.00 1218.33/1218.85 c linear : 0.75 0.01 0.74 0.00 0.00 1218.33/1218.85 c logicor : 13.21 0.00 13.21 0.00 0.00 1218.33/1218.85 c countsols : 0.00 0.00 0.00 0.00 0.00 1218.33/1218.85 c Propagators : Time Calls Cutoffs DomReds 1218.33/1218.85 c vbounds : 0.11 1 0 0 1218.33/1218.85 c rootredcost : 0.12 0 0 0 1218.33/1218.85 c pseudoobj : 0.08 0 0 0 1218.33/1218.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1218.33/1218.85 c propagation : 2.33 9098 8846 65386 31.2 2029 15.6 - 1218.33/1218.85 c infeasible LP : 0.12 70 70 244 18.1 13 17.7 0 1218.33/1218.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1218.33/1218.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1218.33/1218.85 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1218.33/1218.85 c applied globally : - - - 26065 22.9 - - - 1218.33/1218.85 c applied locally : - - - 0 0.0 - - - 1218.33/1218.85 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1218.33/1218.85 c cut pool : 0.00 4 - - 151 - (maximal pool size: 1334) 1218.33/1218.85 c redcost : 1.03 14264 0 0 0 0 1218.33/1218.85 c impliedbounds : 0.00 5 0 0 0 0 1218.33/1218.85 c intobj : 0.00 0 0 0 0 0 1218.33/1218.85 c cgmip : 0.00 0 0 0 0 0 1218.33/1218.85 c gomory : 1.99 5 0 0 2033 0 1218.33/1218.85 c strongcg : 1.55 5 0 0 2081 0 1218.33/1218.85 c cmir : 0.00 0 0 0 0 0 1218.33/1218.85 c flowcover : 0.00 0 0 0 0 0 1218.33/1218.85 c clique : 0.14 5 0 0 33 0 1218.33/1218.85 c zerohalf : 0.00 0 0 0 0 0 1218.33/1218.85 c mcf : 0.02 1 0 0 0 0 1218.33/1218.85 c rapidlearning : 0.49 1 0 3 0 212 1218.33/1218.85 c Pricers : Time Calls Vars 1218.33/1218.85 c problem variables: 0.00 0 0 1218.33/1218.85 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1218.33/1218.85 c relpscost : 405.08 14470 62 567 0 0 28354 1218.33/1218.85 c pscost : 0.00 0 0 0 0 0 0 1218.33/1218.85 c inference : 0.00 0 0 0 0 0 0 1218.33/1218.85 c mostinf : 0.00 0 0 0 0 0 0 1218.33/1218.85 c leastinf : 0.00 0 0 0 0 0 0 1218.33/1218.85 c fullstrong : 0.00 0 0 0 0 0 0 1218.33/1218.85 c allfullstrong : 0.00 0 0 0 0 0 0 1218.33/1218.85 c random : 0.00 0 0 0 0 0 0 1218.33/1218.85 c Primal Heuristics : Time Calls Found 1218.33/1218.85 c LP solutions : 0.00 - 0 1218.33/1218.85 c pseudo solutions : 0.00 - 0 1218.33/1218.85 c trivial : 0.01 1 0 1218.33/1218.85 c simplerounding : 0.00 0 0 1218.33/1218.85 c zirounding : 0.00 0 0 1218.33/1218.85 c rounding : 0.00 0 0 1218.33/1218.85 c shifting : 0.00 0 0 1218.33/1218.85 c intshifting : 0.00 0 0 1218.33/1218.85 c oneopt : 0.00 0 0 1218.33/1218.85 c twoopt : 0.00 0 0 1218.33/1218.85 c fixandinfer : 0.00 0 0 1218.33/1218.85 c feaspump : 0.00 0 0 1218.33/1218.85 c coefdiving : 0.00 0 0 1218.33/1218.85 c pscostdiving : 0.00 0 0 1218.33/1218.85 c fracdiving : 0.00 0 0 1218.33/1218.85 c veclendiving : 0.00 0 0 1218.33/1218.85 c intdiving : 0.00 0 0 1218.33/1218.85 c actconsdiving : 0.00 0 0 1218.33/1218.85 c objpscostdiving : 0.00 0 0 1218.33/1218.85 c rootsoldiving : 0.00 0 0 1218.33/1218.85 c linesearchdiving : 0.00 0 0 1218.33/1218.85 c guideddiving : 0.00 0 0 1218.33/1218.85 c octane : 0.00 0 0 1218.33/1218.85 c rens : 0.00 0 0 1218.33/1218.85 c rins : 0.00 0 0 1218.33/1218.85 c localbranching : 0.00 0 0 1218.33/1218.85 c mutation : 0.00 0 0 1218.33/1218.85 c crossover : 0.00 0 0 1218.33/1218.85 c dins : 0.00 0 0 1218.33/1218.85 c undercover : 0.00 0 0 1218.33/1218.85 c nlp : 0.00 0 0 1218.33/1218.85 c trysol : 0.00 0 0 1218.33/1218.85 c LP : Time Calls Iterations Iter/call Iter/sec 1218.33/1218.85 c primal LP : 0.00 0 0 0.00 - 1218.33/1218.85 c dual LP : 709.93 14533 1280068 88.08 1803.09 1218.33/1218.85 c lex dual LP : 0.00 0 0 0.00 - 1218.33/1218.85 c barrier LP : 0.00 0 0 0.00 - 1218.33/1218.85 c diving/probing LP: 0.00 0 0 0.00 - 1218.33/1218.85 c strong branching : 401.06 4198 581921 138.62 1450.96 1218.33/1218.85 c (at root node) : - 14 8143 581.64 - 1218.33/1218.85 c conflict analysis: 0.00 0 0 0.00 - 1218.33/1218.85 c B&B Tree : 1218.33/1218.85 c number of runs : 1 1218.33/1218.85 c nodes : 18943 1218.33/1218.85 c nodes (total) : 18943 1218.33/1218.85 c nodes left : 0 1218.33/1218.85 c max depth : 83 1218.33/1218.85 c max depth (total): 83 1218.33/1218.85 c backtracks : 4779 (25.2%) 1218.33/1218.85 c delayed cutoffs : 9412 1218.33/1218.85 c repropagations : 17089 (550050 domain reductions, 4464 cutoffs) 1218.33/1218.85 c avg switch length: 3.35 1218.33/1218.85 c switching time : 11.89 1218.33/1218.85 c Solution : 1218.33/1218.85 c Solutions found : 0 (0 improvements) 1218.33/1218.85 c Primal Bound : infeasible 1218.33/1218.85 c Dual Bound : - 1218.33/1218.85 c Gap : 0.00 % 1218.33/1218.85 c Root Dual Bound : +0.00000000000000e+00 1218.33/1218.85 c Root Iterations : 7089 1218.43/1218.91 c Time complete: 1218.43.
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-2667435-1276341016/watcher-2667435-1276341016 -o /tmp/evaluation-result-2667435-1276341016/solver-2667435-1276341016 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667435-1276341016.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.05 1.22 1.12 2/106 10524 /proc/meminfo: memFree=1755748/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=7724 CPUtime=0 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1034 0 0 0 0 0 0 0 23 0 1 0 7757955 7909376 953 1992294400 4194304 8223781 140736710003280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10524/statm: 1931 964 348 984 0 944 0 [startup+0.0870689 s] /proc/loadavg: 1.05 1.22 1.12 2/106 10524 /proc/meminfo: memFree=1755748/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=11996 CPUtime=0.08 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2307 0 0 0 8 0 0 0 23 0 1 0 7757955 12283904 2226 1992294400 4194304 8223781 140736710003280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10524/statm: 2999 2226 363 984 0 2012 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11996 [startup+0.10107 s] /proc/loadavg: 1.05 1.22 1.12 2/106 10524 /proc/meminfo: memFree=1755748/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=13132 CPUtime=0.09 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2600 0 0 0 9 0 0 0 23 0 1 0 7757955 13447168 2519 1992294400 4194304 8223781 140736710003280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10524/statm: 3283 2519 363 984 0 2296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13132 [startup+0.301107 s] /proc/loadavg: 1.05 1.22 1.12 2/106 10524 /proc/meminfo: memFree=1755748/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=29052 CPUtime=0.29 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 8179 0 0 0 26 3 0 0 24 0 1 0 7757955 29749248 6192 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 7263 6192 445 984 0 6276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29052 [startup+0.701182 s] /proc/loadavg: 1.05 1.22 1.12 2/106 10524 /proc/meminfo: memFree=1755748/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=41580 CPUtime=0.69 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 12852 0 0 0 63 6 0 0 25 0 1 0 7757955 42577920 9340 1992294400 4194304 8223781 140736710003280 18446744073709551615 6299742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 10395 9340 553 984 0 9408 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41580 [startup+1.50133 s] /proc/loadavg: 1.05 1.22 1.12 2/107 10525 /proc/meminfo: memFree=1698824/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=50764 CPUtime=1.49 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 21256 0 0 0 134 15 0 0 25 0 1 0 7757955 51982336 11757 1992294400 4194304 8223781 140736710003280 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 12691 11757 584 984 0 11704 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 50764 [startup+3.10063 s] /proc/loadavg: 1.05 1.22 1.12 2/107 10525 /proc/meminfo: memFree=1710108/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=50932 CPUtime=3.09 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 21298 0 0 0 292 17 0 0 25 0 1 0 7757955 52154368 11799 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 12733 11799 584 984 0 11746 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50932 [startup+6.30123 s] /proc/loadavg: 1.04 1.21 1.12 2/107 10525 /proc/meminfo: memFree=1709860/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=51180 CPUtime=6.29 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 21376 0 0 0 610 19 0 0 25 0 1 0 7757955 52408320 11877 1992294400 4194304 8223781 140736710003280 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 12795 11877 584 984 0 11808 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51180 [startup+12.7014 s] /proc/loadavg: 1.04 1.21 1.12 2/107 10525 /proc/meminfo: memFree=1709736/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=51340 CPUtime=12.68 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 21413 0 0 0 1245 23 0 0 25 0 1 0 7757955 52572160 11913 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 12835 11913 584 984 0 11848 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 51340 [startup+25.5008 s] /proc/loadavg: 1.03 1.20 1.11 2/107 10525 /proc/meminfo: memFree=1709736/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=51340 CPUtime=25.48 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 21413 0 0 0 2519 29 0 0 25 0 1 0 7757955 52572160 11913 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 12835 11913 584 984 0 11848 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51340 [startup+51.1006 s] /proc/loadavg: 1.09 1.20 1.11 2/107 10525 /proc/meminfo: memFree=1709736/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=51340 CPUtime=51.07 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 21413 0 0 0 5066 41 0 0 25 0 1 0 7757955 52572160 11913 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 12835 11913 584 984 0 11848 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 51340 [startup+102.308 s] /proc/loadavg: 1.04 1.17 1.10 2/107 10527 /proc/meminfo: memFree=1709488/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=51340 CPUtime=102.26 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 21419 0 0 0 10153 73 0 0 25 0 1 0 7757955 52572160 11919 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 12835 11919 587 984 0 11848 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51340 [startup+162.301 s] /proc/loadavg: 1.01 1.13 1.09 2/107 10529 /proc/meminfo: memFree=1708992/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=52188 CPUtime=162.23 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 25125 0 0 0 16099 124 0 0 25 0 1 0 7757955 53440512 12063 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 13047 12063 587 984 0 12060 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 52188 [startup+222.301 s] /proc/loadavg: 1.00 1.11 1.08 2/107 10531 /proc/meminfo: memFree=1708000/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=53268 CPUtime=222.21 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 132129 0 0 0 22002 219 0 0 25 0 1 0 7757955 54546432 12245 1992294400 4194304 8223781 140736710003280 18446744073709551615 6328937 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 13317 12245 587 984 0 12330 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 53268 [startup+282.302 s] /proc/loadavg: 1.00 1.08 1.08 2/107 10531 /proc/meminfo: memFree=1706760/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=54464 CPUtime=282.19 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 274057 0 0 0 27893 326 0 0 25 0 1 0 7757955 55771136 12548 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 13616 12548 587 984 0 12629 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 54464 [startup+342.301 s] /proc/loadavg: 1.00 1.07 1.07 2/107 10533 /proc/meminfo: memFree=1705520/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=55736 CPUtime=342.16 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 414388 0 0 0 33773 443 0 0 25 0 1 0 7757955 57073664 12821 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 13934 12821 587 984 0 12947 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 55736 [startup+402.301 s] /proc/loadavg: 1.00 1.05 1.07 2/107 10535 /proc/meminfo: memFree=1704404/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=57024 CPUtime=402.14 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 561003 0 0 0 39662 552 0 0 25 0 1 0 7757955 58392576 13149 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 14256 13149 587 984 0 13269 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 57024 [startup+462.301 s] /proc/loadavg: 1.00 1.04 1.06 2/107 10537 /proc/meminfo: memFree=1702296/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=58812 CPUtime=462.11 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 707780 0 0 0 45549 662 0 0 25 0 1 0 7757955 60223488 13569 1992294400 4194304 8223781 140736710003280 18446744073709551615 6446975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 14703 13569 587 984 0 13716 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 58812 [startup+522.3 s] /proc/loadavg: 1.00 1.03 1.06 2/107 10537 /proc/meminfo: memFree=1701924/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=59292 CPUtime=522.09 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 921373 0 0 0 51406 803 0 0 25 0 1 0 7757955 60715008 13707 1992294400 4194304 8223781 140736710003280 18446744073709551615 7232313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 14823 13690 587 984 0 13836 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 59292 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.05 2/107 10539 /proc/meminfo: memFree=1701304/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=59896 CPUtime=582.07 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1082110 0 0 0 57283 924 0 0 25 0 1 0 7757955 61333504 13858 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 14974 13858 587 984 0 13987 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 59896 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.04 2/107 10541 /proc/meminfo: memFree=1700312/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=60740 CPUtime=642.05 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1207517 0 0 0 63176 1029 0 0 25 0 1 0 7757955 62197760 14122 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15185 14122 587 984 0 14198 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 60740 [startup+702.301 s] /proc/loadavg: 1.00 1.01 1.04 2/107 10543 /proc/meminfo: memFree=1699940/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=61028 CPUtime=702.03 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1332167 0 0 0 69074 1129 0 0 25 0 1 0 7757955 62492672 14192 1992294400 4194304 8223781 140736710003280 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15257 14192 588 984 0 14270 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 61028 [startup+762.308 s] /proc/loadavg: 1.00 1.01 1.03 2/107 10545 /proc/meminfo: memFree=1699320/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=61744 CPUtime=762.01 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1489936 0 0 0 74952 1249 0 0 25 0 1 0 7757955 63225856 14285 1992294400 4194304 8223781 140736710003280 18446744073709551615 6567955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15436 14285 587 984 0 14449 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 61744 [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10545 /proc/meminfo: memFree=1698700/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=62356 CPUtime=821.97 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1646756 0 0 0 80828 1369 0 0 25 0 1 0 7757955 63852544 14475 1992294400 4194304 8223781 140736710003280 18446744073709551615 6569794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15589 14475 587 984 0 14602 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 62356 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 10547 /proc/meminfo: memFree=1698204/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=63012 CPUtime=881.96 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1791724 0 0 0 86716 1480 0 0 25 0 1 0 7757955 64524288 14606 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15753 14606 587 984 0 14766 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 63012 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10549 /proc/meminfo: memFree=1697832/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=63288 CPUtime=941.93 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 1941162 0 0 0 92601 1592 0 0 25 0 1 0 7757955 64806912 14696 1992294400 4194304 8223781 140736710003280 18446744073709551615 6250733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15822 14696 587 984 0 14835 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 63288 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10551 /proc/meminfo: memFree=1697584/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=63564 CPUtime=1001.9 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2085158 0 0 0 98488 1702 0 0 25 0 1 0 7757955 65089536 14739 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15891 14739 587 984 0 14904 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 63564 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10553 /proc/meminfo: memFree=1697460/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=63644 CPUtime=1061.89 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2206840 0 0 0 104387 1802 0 0 25 0 1 0 7757955 65171456 14775 1992294400 4194304 8223781 140736710003280 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 15911 14775 587 984 0 14924 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 63644 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10553 /proc/meminfo: memFree=1696468/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64036 CPUtime=1121.86 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2314475 0 0 0 110290 1896 0 0 25 0 1 0 7757955 65572864 14979 1992294400 4194304 8223781 140736710003280 18446744073709551615 6436943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16009 14979 587 984 0 15022 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 64036 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10555 /proc/meminfo: memFree=1696096/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64460 CPUtime=1181.84 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2427108 0 0 0 116190 1994 0 0 25 0 1 0 7757955 66007040 15052 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16115 15052 587 984 0 15128 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 64460 Solver just ended. Dumping a history of the last processes samples [startup+1203.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=1695972/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64756 CPUtime=1202.63 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2483919 0 0 0 118225 2038 0 0 25 0 1 0 7757955 66310144 15071 1992294400 4194304 8223781 140736710003280 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16189 15071 587 984 0 15202 0 Current children cumulated CPU time (s) 1202.63 Current children cumulated vsize (KiB) 64756 [startup+1209.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=1695972/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64740 CPUtime=1209.03 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2498670 0 0 0 118855 2048 0 0 25 0 1 0 7757955 66293760 15080 1992294400 4194304 8223781 140736710003280 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16185 15080 587 984 0 15198 0 Current children cumulated CPU time (s) 1209.03 Current children cumulated vsize (KiB) 64740 [startup+1215.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=1695972/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64780 CPUtime=1215.43 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2513896 0 0 0 119483 2060 0 0 25 0 1 0 7757955 66334720 15120 1992294400 4194304 8223781 140736710003280 18446744073709551615 6591930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16195 15120 587 984 0 15208 0 Current children cumulated CPU time (s) 1215.43 Current children cumulated vsize (KiB) 64780 [startup+1217.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=1695972/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64708 CPUtime=1217.03 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2518289 0 0 0 119639 2064 0 0 25 0 1 0 7757955 66260992 15129 1992294400 4194304 8223781 140736710003280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16177 15129 587 984 0 15190 0 Current children cumulated CPU time (s) 1217.03 Current children cumulated vsize (KiB) 64708 [startup+1218.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=1695848/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64812 CPUtime=1217.83 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2519201 0 0 0 119718 2065 0 0 25 0 1 0 7757955 66367488 15102 1992294400 4194304 8223781 140736710003280 18446744073709551615 6569863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16203 15102 587 984 0 15216 0 Current children cumulated CPU time (s) 1217.83 Current children cumulated vsize (KiB) 64812 [startup+1218.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=1695972/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=64804 CPUtime=1218.23 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2519832 0 0 0 119758 2065 0 0 25 0 1 0 7757955 66359296 15117 1992294400 4194304 8223781 140736710003280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10524/statm: 16201 15117 587 984 0 15214 0 Current children cumulated CPU time (s) 1218.23 Current children cumulated vsize (KiB) 64804 [startup+1218.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=1695972/2059040 swapFree=4165036/4192956 [pid=10524] ppid=10522 vsize=44532 CPUtime=1218.43 /proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 10400 0 -1 4202496 2520267 0 0 0 119777 2066 0 0 25 0 1 0 7757955 45600768 10650 1992294400 4194304 8223781 140736710003280 18446744073709551615 6207256 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10524/statm: 11133 10650 589 984 0 10146 0 Current children cumulated CPU time (s) 1218.43 Current children cumulated vsize (KiB) 44532 Child status: 0 Real time (s): 1218.91 CPU time (s): 1218.45 CPU user time (s): 1197.78 CPU system time (s): 20.6709 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 69880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1197.78 system time used= 20.6709 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2520271 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= 14520 runsolver used 2.12768 second user time and 5.64714 second system time The end
Begin job on node019 at 2010-06-12 13:10:16 IDJOB=2667435 IDBENCH=1491 IDSOLVER=1169 FILE ID=node019/2667435-1276341016 PBS_JOBID= 11173190 Free space on /tmp= 62356 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2667435-1276341016/watcher-2667435-1276341016 -o /tmp/evaluation-result-2667435-1276341016/solver-2667435-1276341016 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667435-1276341016.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1104c8fec3fd69abc0a798c3b6bfa5b RANDOM SEED=1262678601 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1756276 kB Buffers: 77240 kB Cached: 125252 kB SwapCached: 1408 kB Active: 99580 kB Inactive: 135528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1756276 kB SwapTotal: 4192956 kB SwapFree: 4165036 kB Dirty: 4740 kB Writeback: 0 kB AnonPages: 31288 kB Mapped: 15432 kB Slab: 45924 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182436 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= 62352 MiB End job on node019 at 2010-06-12 13:30:35