Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1800.06 | 1800.59 |
Name | /PURE-SAT/SAT09/ APPLICATIONS/crypto/md5gen/gus-md5-05.opb |
MD5SUM | c79e2b52997719dd86cf500df603b103 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 19.784 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 68827 |
Total number of constraints | 224473 |
Number of constraints which are clauses | 224473 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
3.39/3.42 c SCIP version 1.1.0.7 3.39/3.42 c LP-Solver Clp 1.8.2 3.39/3.42 c user parameter file <scip.set> not found - using default parameters 3.39/3.42 c read problem <HOME/instance-1885328-1245265781.opb> 3.39/3.42 c original problem has 68827 variables (68827 bin, 0 int, 0 impl, 0 cont) and 224473 constraints 4.39/4.43 c No objective function, only one solution is needed. 4.39/4.43 c start presolving problem 4.39/4.43 c presolving: 5.50/5.59 c (round 1) 5521 del vars, 699 del conss, 289 chg bounds, 32 chg sides, 36 chg coeffs, 0 upgd conss, 359210 impls, 0 clqs 6.09/6.18 c (round 2) 5589 del vars, 11339 del conss, 301 chg bounds, 32 chg sides, 36 chg coeffs, 0 upgd conss, 360644 impls, 0 clqs 6.29/6.36 c (round 3) 5608 del vars, 11465 del conss, 305 chg bounds, 36 chg sides, 44 chg coeffs, 0 upgd conss, 361548 impls, 0 clqs 6.50/6.54 c (round 4) 5613 del vars, 11501 del conss, 307 chg bounds, 40 chg sides, 52 chg coeffs, 0 upgd conss, 361896 impls, 0 clqs 6.69/6.72 c (round 5) 5621 del vars, 11523 del conss, 309 chg bounds, 40 chg sides, 52 chg coeffs, 0 upgd conss, 361972 impls, 0 clqs 8.29/8.39 c (round 6) 5621 del vars, 11539 del conss, 309 chg bounds, 40 chg sides, 52 chg coeffs, 212934 upgd conss, 361972 impls, 0 clqs 8.89/8.93 c presolving (7 rounds): 8.89/8.93 c 5621 deleted vars, 11539 deleted constraints, 309 tightened bounds, 0 added holes, 40 changed sides, 52 changed coefficients 8.89/8.93 c 361972 implications, 0 cliques 8.89/8.93 c presolved problem has 63206 variables (63206 bin, 0 int, 0 impl, 0 cont) and 212934 constraints 8.89/8.93 c 212934 constraints of type <logicor> 8.89/8.93 c transformed objective value is always integral (scale: 1) 8.89/8.93 c Presolving Time: 3.62 8.89/8.93 c PURESAT 8.89/8.93 c ----------------------------------------------------------------------------------------------- 8.89/8.93 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 0] 8.89/8.93 c separating/flowcover/freq = c -1 8.89/8.93 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 0] 8.89/8.93 c separating/cmir/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/veclendiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.89/8.93 c heuristics/veclendiving/maxlpiterquot = c 0.075 8.89/8.93 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/veclendiving/freq = c -1 8.89/8.93 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 1] 8.89/8.93 c heuristics/simplerounding/freq = c -1 8.89/8.93 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/shifting/freq = c -1 8.89/8.93 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 1] 8.89/8.93 c heuristics/rounding/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/rootsoldiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 8.89/8.93 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 8.89/8.93 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 20] 8.89/8.93 c heuristics/rootsoldiving/freq = c -1 8.89/8.93 c # number of nodes added to the contingent of the total nodes 8.89/8.93 c # [type: longint, range: [0,9223372036854775807], default: 500] 8.89/8.93 c heuristics/rens/nodesofs = c 2000 8.89/8.93 c # minimum percentage of integer variables that have to be fixable 8.89/8.93 c # [type: real, range: [0,1], default: 0.5] 8.89/8.93 c heuristics/rens/minfixingrate = c 0.3 8.89/8.93 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 0] 8.89/8.93 c heuristics/rens/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/pscostdiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.89/8.93 c heuristics/pscostdiving/maxlpiterquot = c 0.075 8.89/8.93 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/pscostdiving/freq = c -1 8.89/8.93 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 1] 8.89/8.93 c heuristics/oneopt/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/objpscostdiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to total iteration number 8.89/8.93 c # [type: real, range: [0,1], default: 0.01] 8.89/8.93 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 8.89/8.93 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 20] 8.89/8.93 c heuristics/objpscostdiving/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/linesearchdiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.89/8.93 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 8.89/8.93 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/linesearchdiving/freq = c -1 8.89/8.93 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/intshifting/freq = c -1 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.89/8.93 c heuristics/intdiving/maxlpiterquot = c 0.075 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/guideddiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.89/8.93 c heuristics/guideddiving/maxlpiterquot = c 0.075 8.89/8.93 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/guideddiving/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/fracdiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.89/8.93 c heuristics/fracdiving/maxlpiterquot = c 0.075 8.89/8.93 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/fracdiving/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/feaspump/maxlpiterofs = c 2000 8.89/8.93 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 20] 8.89/8.93 c heuristics/feaspump/freq = c -1 8.89/8.93 c # minimum percentage of integer variables that have to be fixed 8.89/8.93 c # [type: real, range: [0,1], default: 0.666] 8.89/8.93 c heuristics/crossover/minfixingrate = c 0.5 8.89/8.93 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 8.89/8.93 c # [type: real, range: [0,1], default: 0.1] 8.89/8.93 c heuristics/crossover/nodesquot = c 0.15 8.89/8.93 c # number of nodes without incumbent change that heuristic should wait 8.89/8.93 c # [type: longint, range: [0,9223372036854775807], default: 200] 8.89/8.93 c heuristics/crossover/nwaitingnodes = c 100 8.89/8.93 c # number of nodes added to the contingent of the total nodes 8.89/8.93 c # [type: longint, range: [0,9223372036854775807], default: 500] 8.89/8.93 c heuristics/crossover/nodesofs = c 750 8.89/8.93 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 30] 8.89/8.93 c heuristics/crossover/freq = c -1 8.89/8.93 c # additional number of allowed LP iterations 8.89/8.93 c # [type: int, range: [0,2147483647], default: 1000] 8.89/8.93 c heuristics/coefdiving/maxlpiterofs = c 1500 8.89/8.93 c # maximal fraction of diving LP iterations compared to node LP iterations 8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.89/8.93 c heuristics/coefdiving/maxlpiterquot = c 0.075 8.89/8.93 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: 10] 8.89/8.93 c heuristics/coefdiving/freq = c -1 8.89/8.93 c # priority of node selection rule <dfs> in standard mode 8.89/8.93 c # [type: int, range: [-536870912,536870911], default: 0] 8.89/8.93 c nodeselection/dfs/stdpriority = c 1000000 8.89/8.93 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 8.89/8.93 c # [type: int, range: [-1,2147483647], default: -1] 8.89/8.93 c presolving/probing/maxrounds = c 0 8.89/8.93 c # should presolving try to simplify knapsacks 8.89/8.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 8.89/8.93 c constraints/knapsack/simplifyinequalities = c TRUE 8.89/8.93 c # should disaggregation of knapsack constraints be allowed in preprocessing? 8.89/8.93 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 8.89/8.93 c constraints/knapsack/disaggregation = c FALSE 8.89/8.93 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 8.89/8.99 c # [type: int, range: [-1,2147483647], default: -1] 8.89/8.99 c constraints/knapsack/maxnumcardlift = c 0 8.89/8.99 c # should presolving try to simplify inequalities 8.89/8.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 8.89/8.99 c constraints/linear/simplifyinequalities = c TRUE 8.89/8.99 c # maximal number of separation rounds in the root node (-1: unlimited) 8.89/8.99 c # [type: int, range: [-1,2147483647], default: -1] 8.89/8.99 c separating/maxroundsroot = c 5 8.89/8.99 c # maximal number of separation rounds per node (-1: unlimited) 8.89/8.99 c # [type: int, range: [-1,2147483647], default: 5] 8.89/8.99 c separating/maxrounds = c 1 8.89/8.99 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing) 8.89/8.99 c # [type: char, range: {lafpsqd}, default: l] 8.89/8.99 c lp/pricing = c a 8.89/8.99 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 8.89/8.99 c # [type: int, range: [-1,2147483647], default: 1] 8.89/8.99 c lp/solvefreq = c 0 8.89/8.99 c # solving stops, if the given number of solutions were found (-1: no limit) 8.89/8.99 c # [type: int, range: [-1,2147483647], default: -1] 8.89/8.99 c limits/solutions = c 1 8.89/8.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 8.89/8.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 8.89/8.99 c limits/memory = c 1620 8.89/8.99 c # maximal time in seconds to run 8.89/8.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 8.89/8.99 c limits/time = c 1791 8.89/8.99 c # frequency for displaying node information lines 8.89/8.99 c # [type: int, range: [-1,2147483647], default: 100] 8.89/8.99 c display/freq = c 10000 8.89/8.99 c # should enforcement of pseudo solution be disabled? 8.89/8.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 8.89/8.99 c constraints/disableenfops = c TRUE 8.89/8.99 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints) 8.89/8.99 c # [type: int, range: [-1,2147483647], default: 0] 8.89/8.99 c constraints/agelimit = c 1 8.89/8.99 c # should binary conflicts be preferred? 8.89/8.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 8.89/8.99 c conflict/preferbinary = c TRUE 8.89/8.99 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint) 8.89/8.99 c # [type: int, range: [-1,2147483647], default: -1] 8.89/8.99 c conflict/interconss = c 0 8.89/8.99 c ----------------------------------------------------------------------------------------------- 8.89/8.99 c start solving problem 8.89/8.99 c 1798.67/1799.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1798.67/1799.26 c 1791s| 1 | 0 | 99783 | 403M| 0 | - | 63k| 212k| 212k| 63k| 212k| 0 | 0 | 0 | 5.229000e+03 | -- | Inf 1798.67/1799.29 c 1791s| 1 | 2 | 99783 | 403M| 0 | - | 63k| 212k| 212k| 63k| 212k| 0 | 0 | 0 | 5.229000e+03 | -- | Inf 1798.67/1799.29 c 1798.67/1799.29 c SCIP Status : solving was interrupted [time limit reached] 1798.67/1799.29 c Solving Time (sec) : 1791.10 1798.67/1799.29 c Solving Nodes : 1 1798.67/1799.29 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1798.67/1799.29 c Dual Bound : +5.22900000000000e+03 1798.67/1799.29 c Gap : infinite 1798.67/1799.29 c NODE 1 1798.67/1799.29 c DUAL BOUND 5229 1798.67/1799.29 c PRIMAL BOUND 1e+20 1798.67/1799.29 c GAP 1e+20 1798.67/1799.29 s UNKNOWN 1798.67/1799.29 c SCIP Status : solving was interrupted [time limit reached] 1798.67/1799.29 c Solving Time : 1791.10 1798.67/1799.29 c Original Problem : 1798.67/1799.29 c Problem name : HOME/instance-1885328-1245265781.opb 1798.67/1799.29 c Variables : 68827 (68827 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.67/1799.29 c Constraints : 224473 initial, 224473 maximal 1798.67/1799.29 c Presolved Problem : 1798.67/1799.29 c Problem name : t_HOME/instance-1885328-1245265781.opb 1798.67/1799.29 c Variables : 63206 (63206 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.67/1799.29 c Constraints : 212934 initial, 212934 maximal 1798.67/1799.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1798.67/1799.29 c trivial : 0.08 22 0 0 0 0 0 0 0 1798.67/1799.29 c dualfix : 0.07 0 0 0 0 0 0 0 0 1798.67/1799.29 c boundshift : 0.00 0 0 0 0 0 0 0 0 1798.67/1799.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1798.67/1799.29 c implics : 0.22 0 5308 0 0 0 0 0 0 1798.67/1799.29 c probing : 0.00 0 0 0 0 0 0 0 0 1798.67/1799.29 c linear : 2.34 291 0 0 309 0 11539 40 52 1798.67/1799.29 c logicor : 0.37 0 0 0 0 0 0 0 0 1798.67/1799.29 c root node : - 0 - - 0 - - - - 1798.67/1799.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1798.67/1799.29 c integral : 0 0 0 0 0 0 0 0 0 0 1798.67/1799.29 c logicor : 212934 0 1 0 0 0 0 0 0 0 1798.67/1799.29 c countsols : 0 0 0 0 0 0 0 0 0 0 1798.67/1799.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1798.67/1799.29 c integral : 0.00 0.00 0.00 0.00 0.00 1798.67/1799.29 c logicor : 0.24 0.00 0.24 0.00 0.00 1798.67/1799.29 c countsols : 0.00 0.00 0.00 0.00 0.00 1798.67/1799.29 c Propagators : Time Calls Cutoffs DomReds 1798.67/1799.29 c rootredcost : 0.00 0 0 0 1798.67/1799.29 c pseudoobj : 0.02 1 0 0 1798.67/1799.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1798.67/1799.29 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1798.67/1799.29 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1798.67/1799.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1798.67/1799.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1798.67/1799.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1798.67/1799.29 c applied globally : - - - 0 0.0 - - - 1798.67/1799.29 c applied locally : - - - 0 0.0 - - - 1798.67/1799.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1798.67/1799.29 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1798.67/1799.29 c redcost : 0.00 0 0 0 0 0 1798.67/1799.29 c impliedbounds : 0.00 0 0 0 0 0 1798.67/1799.29 c intobj : 0.00 0 0 0 0 0 1798.67/1799.29 c gomory : 0.00 0 0 0 0 0 1798.67/1799.29 c strongcg : 0.00 0 0 0 0 0 1798.67/1799.29 c cmir : 0.00 0 0 0 0 0 1798.67/1799.29 c flowcover : 0.00 0 0 0 0 0 1798.67/1799.29 c clique : 0.00 0 0 0 0 0 1798.67/1799.29 c zerohalf : 0.00 0 0 0 0 0 1798.67/1799.29 c mcf : 0.00 0 0 0 0 0 1798.67/1799.29 c Pricers : Time Calls Vars 1798.67/1799.29 c problem variables: 0.00 0 0 1798.67/1799.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1798.67/1799.29 c relpscost : 0.00 0 0 0 0 0 0 1798.67/1799.29 c pscost : 0.00 0 0 0 0 0 0 1798.67/1799.29 c inference : 0.02 1 0 0 0 0 2 1798.67/1799.29 c mostinf : 0.00 0 0 0 0 0 0 1798.67/1799.29 c leastinf : 0.00 0 0 0 0 0 0 1798.67/1799.29 c fullstrong : 0.00 0 0 0 0 0 0 1798.67/1799.29 c allfullstrong : 0.00 0 0 0 0 0 0 1798.67/1799.29 c random : 0.00 0 0 0 0 0 0 1798.67/1799.29 c Primal Heuristics : Time Calls Found 1798.67/1799.29 c LP solutions : 0.00 - 0 1798.67/1799.29 c pseudo solutions : 0.00 - 0 1798.67/1799.29 c simplerounding : 0.00 0 0 1798.67/1799.29 c rounding : 0.00 0 0 1798.67/1799.29 c shifting : 0.00 0 0 1798.67/1799.29 c intshifting : 0.00 0 0 1798.67/1799.29 c oneopt : 0.00 0 0 1798.67/1799.29 c fixandinfer : 0.00 0 0 1798.67/1799.29 c feaspump : 0.00 0 0 1798.67/1799.29 c coefdiving : 0.00 0 0 1798.67/1799.29 c pscostdiving : 0.00 0 0 1798.67/1799.29 c fracdiving : 0.00 0 0 1798.67/1799.29 c veclendiving : 0.00 0 0 1798.67/1799.29 c intdiving : 0.00 0 0 1798.67/1799.29 c actconsdiving : 0.00 0 0 1798.67/1799.29 c objpscostdiving : 0.00 0 0 1798.67/1799.29 c rootsoldiving : 0.00 0 0 1798.67/1799.29 c linesearchdiving : 0.00 0 0 1798.67/1799.29 c guideddiving : 0.00 0 0 1798.67/1799.29 c octane : 0.00 0 0 1798.67/1799.29 c rens : 0.00 0 0 1798.67/1799.29 c rins : 0.00 0 0 1798.67/1799.29 c localbranching : 0.00 0 0 1798.67/1799.29 c mutation : 0.00 0 0 1798.67/1799.29 c crossover : 0.00 0 0 1798.67/1799.29 c dins : 0.00 0 0 1798.67/1799.29 c LP : Time Calls Iterations Iter/call Iter/sec 1798.67/1799.29 c primal LP : 0.00 0 0 0.00 - 1798.67/1799.29 c dual LP : 1785.65 1 99783 99783.00 55.88 1798.67/1799.29 c barrier LP : 0.00 0 0 0.00 - 1798.67/1799.29 c diving/probing LP: 0.00 0 0 0.00 - 1798.67/1799.29 c strong branching : 0.00 0 0 0.00 - 1798.67/1799.29 c (at root node) : - 0 0 0.00 - 1798.67/1799.29 c conflict analysis: 0.00 0 0 0.00 - 1798.67/1799.29 c B&B Tree : 1798.67/1799.29 c number of runs : 1 1798.67/1799.29 c nodes : 1 1798.67/1799.29 c nodes (total) : 1 1798.67/1799.29 c nodes left : 2 1798.67/1799.29 c max depth : 0 1798.67/1799.29 c max depth (total): 0 1798.67/1799.29 c backtracks : 0 (0.0%) 1798.67/1799.29 c delayed cutoffs : 0 1798.67/1799.29 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1798.67/1799.29 c avg switch length: 1.00 1798.67/1799.29 c switching time : 0.00 1798.67/1799.29 c Solution : 1798.67/1799.29 c Solutions found : 0 (0 improvements) 1798.67/1799.29 c Primal Bound : - 1798.67/1799.29 c Dual Bound : +5.22900000000000e+03 1798.67/1799.29 c Gap : infinite 1798.67/1799.29 c Root Dual Bound : +5.22900000000000e+03 1799.97/1800.58 c Time complete: 1800.05.
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-1885328-1245265781/watcher-1885328-1245265781 -o /tmp/evaluation-result-1885328-1245265781/solver-1885328-1245265781 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885328-1245265781.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9543 /proc/meminfo: memFree=1739264/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=7616 CPUtime=0 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 579 0 0 0 0 0 0 0 20 0 1 0 194177782 7798784 563 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 1904 573 353 1256 0 643 0 [startup+0.0867559 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9543 /proc/meminfo: memFree=1739264/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=17096 CPUtime=0.08 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 3233 0 0 0 7 1 0 0 20 0 1 0 194177782 17506304 3217 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 4274 3217 376 1256 0 3013 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17096 [startup+0.101755 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9543 /proc/meminfo: memFree=1739264/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=18192 CPUtime=0.09 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 3517 0 0 0 8 1 0 0 20 0 1 0 194177782 18628608 3501 1992294400 4194304 9342243 548682068736 18446744073709551615 8235951 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 4548 3501 376 1256 0 3287 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18192 [startup+0.301775 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9543 /proc/meminfo: memFree=1739264/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=26848 CPUtime=0.29 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 5670 0 0 0 27 2 0 0 22 0 1 0 194177782 27492352 5654 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 6712 5654 376 1256 0 5451 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26848 [startup+0.701816 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9543 /proc/meminfo: memFree=1739264/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=50912 CPUtime=0.69 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 11712 0 0 0 65 4 0 0 25 0 1 0 194177782 52133888 11696 1992294400 4194304 9342243 548682068736 18446744073709551615 8169962 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 12728 11696 376 1256 0 11467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50912 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1679480/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=81104 CPUtime=1.49 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 19020 0 0 0 141 8 0 0 25 0 1 0 194177782 83050496 19004 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 20276 19013 376 1256 0 19015 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 81104 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1642360/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=127708 CPUtime=3.09 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 30807 0 0 0 296 13 0 0 25 0 1 0 194177782 130772992 30791 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 31927 30791 376 1256 0 30666 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 127708 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1412344/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=346208 CPUtime=6.29 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 85578 0 0 0 557 72 0 0 25 0 1 0 194177782 354516992 85208 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 86552 85208 473 1256 0 85291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 346208 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1116408/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=693740 CPUtime=12.69 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 165352 0 0 0 1109 160 0 0 25 0 1 0 194177782 710389760 157122 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 173435 157122 610 1256 0 172174 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 693740 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1079736/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=719416 CPUtime=25.48 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 173347 0 0 0 2382 166 0 0 25 0 1 0 194177782 736681984 165117 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 179854 165117 611 1256 0 178593 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 719416 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1091768/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=726100 CPUtime=51.06 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 180490 0 0 0 4934 172 0 0 25 0 1 0 194177782 743526400 162128 1992294400 4194304 9342243 548682068736 18446744073709551615 6962328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 181525 162128 611 1256 0 180264 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 726100 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1088440/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=729668 CPUtime=102.24 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 196108 0 0 0 10044 180 0 0 25 0 1 0 194177782 747180032 162959 1992294400 4194304 9342243 548682068736 18446744073709551615 6964086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 182417 162959 611 1256 0 181156 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 729668 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1087544/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=731412 CPUtime=162.22 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 212888 0 0 0 16032 190 0 0 25 0 1 0 194177782 748965888 163301 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 182853 163301 611 1256 0 181592 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 731412 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1086008/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=731712 CPUtime=222.21 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 224187 0 0 0 22022 199 0 0 25 0 1 0 194177782 749273088 163558 1992294400 4194304 9342243 548682068736 18446744073709551615 6342032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 182928 163558 611 1256 0 181667 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 731712 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1084920/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=732080 CPUtime=282.2 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 235407 0 0 0 28014 206 0 0 25 0 1 0 194177782 749649920 163851 1992294400 4194304 9342243 548682068736 18446744073709551615 5874616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 183020 163851 611 1256 0 181759 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 732080 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1082872/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=733132 CPUtime=342.18 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 251524 0 0 0 34003 215 0 0 25 0 1 0 194177782 750727168 164333 1992294400 4194304 9342243 548682068736 18446744073709551615 6970136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 183283 164333 611 1256 0 182022 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 733132 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1081272/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=734248 CPUtime=402.16 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 268869 0 0 0 39990 226 0 0 25 0 1 0 194177782 751869952 164783 1992294400 4194304 9342243 548682068736 18446744073709551615 6363948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 183562 164783 611 1256 0 182301 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 734248 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1080888/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=734500 CPUtime=462.14 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 290133 0 0 0 45977 237 0 0 25 0 1 0 194177782 752128000 164849 1992294400 4194304 9342243 548682068736 18446744073709551615 6040684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 183625 164849 611 1256 0 182364 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 734500 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1082360/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=736364 CPUtime=522.13 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 308537 0 0 0 51965 248 0 0 25 0 1 0 194177782 754036736 164449 1992294400 4194304 9342243 548682068736 18446744073709551615 6964172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184091 164449 611 1256 0 182830 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 736364 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1079224/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=736564 CPUtime=582.11 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 319127 0 0 0 57955 256 0 0 25 0 1 0 194177782 754241536 165220 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184141 165220 611 1256 0 182880 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 736564 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1081720/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=736732 CPUtime=642.1 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 337210 0 0 0 63942 268 0 0 25 0 1 0 194177782 754413568 164572 1992294400 4194304 9342243 548682068736 18446744073709551615 6960761 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184183 164572 611 1256 0 182922 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 736732 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1077816/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=738412 CPUtime=1061.97 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 451148 0 0 0 105863 334 0 0 25 0 1 0 194177782 756133888 165623 1992294400 4194304 9342243 548682068736 18446744073709551615 5868784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184603 165623 611 1256 0 183342 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 738412 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1079864/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=738516 CPUtime=1121.95 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 461896 0 0 0 111855 340 0 0 25 0 1 0 194177782 756240384 165051 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184629 165051 611 1256 0 183368 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 738516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1077880/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=738600 CPUtime=1181.94 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 473239 0 0 0 117847 347 0 0 25 0 1 0 194177782 756326400 165575 1992294400 4194304 9342243 548682068736 18446744073709551615 6938291 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184650 165575 611 1256 0 183389 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 738600 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1078968/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=738688 CPUtime=1241.93 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 488774 0 0 0 123838 355 0 0 25 0 1 0 194177782 756416512 165239 1992294400 4194304 9342243 548682068736 18446744073709551615 6959555 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184672 165239 611 1256 0 183411 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 738688 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1075384/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=738736 CPUtime=1301.91 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 500485 0 0 0 129830 361 0 0 25 0 1 0 194177782 756465664 166109 1992294400 4194304 9342243 548682068736 18446744073709551615 5874309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184684 166109 611 1256 0 183423 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 738736 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1079736/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=738816 CPUtime=1361.89 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 515395 0 0 0 135820 369 0 0 25 0 1 0 194177782 756547584 165050 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184704 165050 611 1256 0 183443 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 738816 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1076216/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=739712 CPUtime=1421.88 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 527794 0 0 0 141811 377 0 0 25 0 1 0 194177782 757465088 165887 1992294400 4194304 9342243 548682068736 18446744073709551615 6358263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184928 165887 611 1256 0 183667 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 739712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1082872/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=739784 CPUtime=1481.86 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 544508 0 0 0 147799 387 0 0 25 0 1 0 194177782 757538816 165121 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184946 165121 611 1256 0 183685 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 739784 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1076920/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=739836 CPUtime=1541.84 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 556566 0 0 0 153790 394 0 0 25 0 1 0 194177782 757592064 165692 1992294400 4194304 9342243 548682068736 18446744073709551615 6964505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 184959 165692 611 1256 0 183698 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 739836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1073336/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741560 CPUtime=1601.83 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 578496 0 0 0 159776 407 0 0 25 0 1 0 194177782 759357440 166678 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 185390 166678 611 1256 0 184129 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 741560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1077560/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741608 CPUtime=1661.81 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 600638 0 0 0 165763 418 0 0 25 0 1 0 194177782 759406592 165516 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 185402 165516 611 1256 0 184141 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 741608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1075064/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741644 CPUtime=1721.79 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 618311 0 0 0 171751 428 0 0 25 0 1 0 194177782 759443456 166231 1992294400 4194304 9342243 548682068736 18446744073709551615 5869941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 185411 166231 611 1256 0 184150 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 741644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1076728/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741700 CPUtime=1781.78 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 630390 0 0 0 177743 435 0 0 25 0 1 0 194177782 759500800 165716 1992294400 4194304 9342243 548682068736 18446744073709551615 6040653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 185425 165716 611 1256 0 184164 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 741700 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1077816/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741708 CPUtime=1791.38 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 635963 0 0 0 178700 438 0 0 25 0 1 0 194177782 759508992 165444 1992294400 4194304 9342243 548682068736 18446744073709551615 6959725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 185427 165444 611 1256 0 184166 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 741708 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1077432/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741708 CPUtime=1794.58 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 636055 0 0 0 179020 438 0 0 25 0 1 0 194177782 759508992 165536 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 185427 165536 611 1256 0 184166 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 741708 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1077112/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741708 CPUtime=1797.77 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 636174 0 0 0 179339 438 0 0 25 0 1 0 194177782 759508992 165655 1992294400 4194304 9342243 548682068736 18446744073709551615 6040563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9543/statm: 185427 165655 611 1256 0 184166 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 741708 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1075960/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=741708 CPUtime=1799.37 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 636444 0 0 0 179499 438 0 0 25 0 1 0 194177782 759508992 165925 1992294400 4194304 9342243 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 185427 165925 628 1256 0 184166 0 Current children cumulated CPU time (s) 1799.37 Current children cumulated vsize (KiB) 741708 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1075960/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=739880 CPUtime=1799.77 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 636444 0 0 0 179539 438 0 0 25 0 1 0 194177782 757637120 165486 1992294400 4194304 9342243 548682068736 18446744073709551615 5854315 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 184970 165486 628 1256 0 183709 0 Current children cumulated CPU time (s) 1799.77 Current children cumulated vsize (KiB) 739880 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9544 /proc/meminfo: memFree=1075960/2055920 swapFree=4192812/4192956 [pid=9543] ppid=9541 vsize=404652 CPUtime=1799.97 /proc/9543/stat : 9543 (pbscip.linux.x8) R 9541 9543 8843 0 -1 4194304 636445 0 0 0 179554 443 0 0 25 0 1 0 194177782 414363648 99576 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0 /proc/9543/statm: 100907 99576 674 1256 0 99646 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 404652 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.06 CPU user time (s): 1795.57 CPU system time (s): 4.49132 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 741708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.57 system time used= 4.49132 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 636452 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= 5 involuntary context switches= 3543 runsolver used 1.60376 second user time and 4.95625 second system time The end
Begin job on node27 at 2009-06-17 21:09:41 IDJOB=1885328 IDBENCH=72046 IDSOLVER=684 FILE ID=node27/1885328-1245265781 PBS_JOBID= 9372426 Free space on /tmp= 66252 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-05.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885328-1245265781/watcher-1885328-1245265781 -o /tmp/evaluation-result-1885328-1245265781/solver-1885328-1245265781 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885328-1245265781.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c79e2b52997719dd86cf500df603b103 RANDOM SEED=4812358 node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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 : 2800.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5521.40 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 : 2800.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1739688 kB Buffers: 42080 kB Cached: 181776 kB SwapCached: 0 kB Active: 119264 kB Inactive: 119044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1739688 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 18912 kB Writeback: 0 kB Mapped: 24228 kB Slab: 63764 kB Committed_AS: 201008 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66240 MiB End job on node27 at 2009-06-17 21:39:42