Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1795.48 | 1796.02 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb |
MD5SUM | 6441cbb759000c1a64397279f4b3f0ed |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.606907 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4662 |
Total number of constraints | 31725 |
Number of constraints which are clauses | 30696 |
Number of constraints which are cardinality constraints (but not clauses) | 951 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 102 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.49/0.50 c SCIP version 1.1.0.7 0.49/0.50 c LP-Solver Clp 1.8.2 0.49/0.50 c user parameter file <scip.set> not found - using default parameters 0.49/0.50 c read problem <HOME/instance-1868665-1245131644.opb> 0.49/0.50 c original problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints 0.59/0.62 c No objective function, only one solution is needed. 0.59/0.62 c start presolving problem 0.59/0.62 c presolving: 0.88/0.96 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31725 upgd conss, 0 impls, 951 clqs 0.99/1.04 c presolving (2 rounds): 0.99/1.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients 0.99/1.04 c 288 implications, 1395 cliques 0.99/1.04 c presolved problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints 0.99/1.04 c 78 constraints of type <knapsack> 0.99/1.04 c 951 constraints of type <setppc> 0.99/1.04 c 30696 constraints of type <logicor> 0.99/1.04 c transformed objective value is always integral (scale: 1) 0.99/1.04 c Presolving Time: 0.34 0.99/1.04 c SATUNSAT-LIN 0.99/1.04 c ----------------------------------------------------------------------------------------------- 0.99/1.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0] 0.99/1.04 c separating/flowcover/freq = c -1 0.99/1.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0] 0.99/1.04 c separating/cmir/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/veclendiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.04 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.99/1.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/veclendiving/freq = c -1 0.99/1.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1] 0.99/1.04 c heuristics/simplerounding/freq = c -1 0.99/1.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/shifting/freq = c -1 0.99/1.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1] 0.99/1.04 c heuristics/rounding/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.99/1.04 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.99/1.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20] 0.99/1.04 c heuristics/rootsoldiving/freq = c -1 0.99/1.04 c # number of nodes added to the contingent of the total nodes 0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.99/1.04 c heuristics/rens/nodesofs = c 2000 0.99/1.04 c # minimum percentage of integer variables that have to be fixable 0.99/1.04 c # [type: real, range: [0,1], default: 0.5] 0.99/1.04 c heuristics/rens/minfixingrate = c 0.3 0.99/1.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0] 0.99/1.04 c heuristics/rens/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.04 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.99/1.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/pscostdiving/freq = c -1 0.99/1.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1] 0.99/1.04 c heuristics/oneopt/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to total iteration number 0.99/1.04 c # [type: real, range: [0,1], default: 0.01] 0.99/1.04 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.99/1.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20] 0.99/1.04 c heuristics/objpscostdiving/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.04 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.99/1.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/linesearchdiving/freq = c -1 0.99/1.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/intshifting/freq = c -1 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.04 c heuristics/intdiving/maxlpiterquot = c 0.075 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/guideddiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.04 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.99/1.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/guideddiving/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/fracdiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.04 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.99/1.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/fracdiving/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/feaspump/maxlpiterofs = c 2000 0.99/1.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20] 0.99/1.04 c heuristics/feaspump/freq = c -1 0.99/1.04 c # minimum percentage of integer variables that have to be fixed 0.99/1.04 c # [type: real, range: [0,1], default: 0.666] 0.99/1.04 c heuristics/crossover/minfixingrate = c 0.5 0.99/1.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.99/1.04 c # [type: real, range: [0,1], default: 0.1] 0.99/1.04 c heuristics/crossover/nodesquot = c 0.15 0.99/1.04 c # number of nodes without incumbent change that heuristic should wait 0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.99/1.04 c heuristics/crossover/nwaitingnodes = c 100 0.99/1.04 c # number of nodes added to the contingent of the total nodes 0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.99/1.04 c heuristics/crossover/nodesofs = c 750 0.99/1.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 30] 0.99/1.04 c heuristics/crossover/freq = c -1 0.99/1.04 c # additional number of allowed LP iterations 0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.04 c heuristics/coefdiving/maxlpiterofs = c 1500 0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.04 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.99/1.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.04 c heuristics/coefdiving/freq = c -1 0.99/1.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.04 c presolving/probing/maxrounds = c 0 0.99/1.04 c # should presolving try to simplify knapsacks 0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.99/1.04 c constraints/knapsack/simplifyinequalities = c TRUE 0.99/1.04 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.99/1.04 c constraints/knapsack/disaggregation = c FALSE 0.99/1.04 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.04 c constraints/knapsack/maxnumcardlift = c 0 0.99/1.04 c # should presolving try to simplify inequalities 0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.99/1.04 c constraints/linear/simplifyinequalities = c TRUE 0.99/1.04 c # maximal number of separation rounds in the root node (-1: unlimited) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.04 c separating/maxroundsroot = c 5 0.99/1.04 c # maximal number of separation rounds per node (-1: unlimited) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 5] 0.99/1.04 c separating/maxrounds = c 1 0.99/1.04 c # solving stops, if the given number of solutions were found (-1: no limit) 0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.04 c limits/solutions = c 1 0.99/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.99/1.04 c limits/memory = c 1620 0.99/1.04 c # maximal time in seconds to run 0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.99/1.04 c limits/time = c 1791 0.99/1.04 c # frequency for displaying node information lines 0.99/1.04 c # [type: int, range: [-1,2147483647], default: 100] 0.99/1.04 c display/freq = c 10000 0.99/1.04 c ----------------------------------------------------------------------------------------------- 0.99/1.04 c start solving problem 0.99/1.04 c 6.48/6.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.48/6.54 c 5.9s| 1 | 0 | 1691 | 45M| 0 | 678 |4662 | 31k| 31k|4662 | 31k| 0 | 0 | 0 | 1.740000e+02 | -- | Inf 29.57/29.61 c 28.9s| 1 | 0 | 2038 | 56M| 0 | 622 |4662 | 31k| 31k|4662 | 31k| 32 | 0 | 0 | 1.740000e+02 | -- | Inf 53.54/53.67 c 52.9s| 1 | 0 | 3621 | 59M| 0 | 788 |4662 | 31k| 31k|4662 | 31k| 57 | 0 | 0 | 1.740000e+02 | -- | Inf 125.83/125.93 c 125s| 1 | 0 | 7249 | 63M| 0 | 839 |4662 | 31k| 31k|4662 | 31k| 86 | 0 | 0 | 1.740000e+02 | -- | Inf 187.81/187.95 c 187s| 1 | 0 | 11116 | 69M| 0 | 923 |4662 | 31k| 31k|4662 | 31k| 104 | 0 | 0 | 1.740000e+02 | -- | Inf 260.19/260.38 c 259s| 1 | 0 | 15874 | 71M| 0 | 872 |4662 | 31k| 31k|4662 | 31k| 120 | 0 | 0 | 1.740000e+02 | -- | Inf 423.14/423.38 c 422s| 1 | 2 | 15874 | 71M| 0 | 872 |4662 | 31k| 31k|4662 | 31k| 120 | 0 | 33 | 1.740000e+02 | -- | Inf 1795.25/1795.84 c 1795.25/1795.84 c SCIP Status : solving was interrupted [time limit reached] 1795.25/1795.84 c Solving Time (sec) : 1791.01 1795.25/1795.84 c Solving Nodes : 387 1795.25/1795.84 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.25/1795.84 c Dual Bound : +1.74000000000027e+02 1795.25/1795.84 c Gap : infinite 1795.25/1795.84 c NODE 387 1795.25/1795.84 c DUAL BOUND 174 1795.25/1795.84 c PRIMAL BOUND 1e+20 1795.25/1795.84 c GAP 1e+20 1795.25/1795.84 s UNKNOWN 1795.25/1795.84 c SCIP Status : solving was interrupted [time limit reached] 1795.25/1795.84 c Solving Time : 1791.01 1795.25/1795.84 c Original Problem : 1795.25/1795.84 c Problem name : HOME/instance-1868665-1245131644.opb 1795.25/1795.84 c Variables : 4662 (4662 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.25/1795.84 c Constraints : 31725 initial, 31725 maximal 1795.25/1795.84 c Presolved Problem : 1795.25/1795.84 c Problem name : t_HOME/instance-1868665-1245131644.opb 1795.25/1795.84 c Variables : 4662 (4662 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.25/1795.84 c Constraints : 31725 initial, 31725 maximal 1795.25/1795.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.25/1795.84 c trivial : 0.00 0 0 0 0 0 0 0 0 1795.25/1795.84 c dualfix : 0.00 0 0 0 0 0 0 0 0 1795.25/1795.84 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.25/1795.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.25/1795.84 c implics : 0.00 0 0 0 0 0 0 0 0 1795.25/1795.84 c probing : 0.00 0 0 0 0 0 0 0 0 1795.25/1795.84 c knapsack : 0.02 0 0 0 0 0 0 0 84 1795.25/1795.84 c setppc : 0.01 0 0 0 0 0 0 0 0 1795.25/1795.84 c logicor : 0.07 0 0 0 0 0 0 0 0 1795.25/1795.84 c root node : - 0 - - 0 - - - - 1795.25/1795.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.25/1795.84 c integral : 0 0 0 387 0 0 0 0 0 774 1795.25/1795.84 c knapsack : 78 5 774 0 0 0 1800 54 0 0 1795.25/1795.84 c setppc : 951 5 774 0 0 0 5778 0 0 0 1795.25/1795.84 c logicor : 30696 5 329 0 0 0 33 0 0 0 1795.25/1795.84 c countsols : 0 0 0 0 0 0 0 0 0 0 1795.25/1795.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.25/1795.84 c integral : 972.96 0.00 0.00 972.96 0.00 1795.25/1795.84 c knapsack : 0.01 0.00 0.01 0.00 0.00 1795.25/1795.84 c setppc : 0.02 0.00 0.02 0.00 0.00 1795.25/1795.84 c logicor : 0.08 0.00 0.08 0.00 0.00 1795.25/1795.84 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.25/1795.84 c Propagators : Time Calls Cutoffs DomReds 1795.25/1795.84 c rootredcost : 0.00 0 0 0 1795.25/1795.84 c pseudoobj : 0.37 775 0 0 1795.25/1795.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.25/1795.84 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1795.25/1795.84 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1795.25/1795.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.25/1795.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.25/1795.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.25/1795.84 c applied globally : - - - 0 0.0 - - - 1795.25/1795.84 c applied locally : - - - 0 0.0 - - - 1795.25/1795.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.25/1795.84 c cut pool : 0.03 4 - - 13 - (maximal pool size: 732) 1795.25/1795.84 c redcost : 0.32 391 0 0 0 0 1795.25/1795.84 c impliedbounds : 0.00 5 0 0 0 0 1795.25/1795.84 c intobj : 0.00 0 0 0 0 0 1795.25/1795.84 c gomory : 105.03 5 0 0 2500 0 1795.25/1795.84 c strongcg : 62.09 5 0 0 2500 0 1795.25/1795.84 c cmir : 0.00 0 0 0 0 0 1795.25/1795.84 c flowcover : 0.00 0 0 0 0 0 1795.25/1795.84 c clique : 0.15 5 0 0 30 0 1795.25/1795.84 c zerohalf : 0.00 0 0 0 0 0 1795.25/1795.84 c mcf : 0.04 1 0 0 0 0 1795.25/1795.84 c Pricers : Time Calls Vars 1795.25/1795.84 c problem variables: 0.00 0 0 1795.25/1795.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.25/1795.84 c relpscost : 972.96 387 0 0 0 0 774 1795.25/1795.84 c pscost : 0.00 0 0 0 0 0 0 1795.25/1795.84 c inference : 0.00 0 0 0 0 0 0 1795.25/1795.84 c mostinf : 0.00 0 0 0 0 0 0 1795.25/1795.84 c leastinf : 0.00 0 0 0 0 0 0 1795.25/1795.84 c fullstrong : 0.00 0 0 0 0 0 0 1795.25/1795.84 c allfullstrong : 0.00 0 0 0 0 0 0 1795.25/1795.84 c random : 0.00 0 0 0 0 0 0 1795.25/1795.84 c Primal Heuristics : Time Calls Found 1795.25/1795.84 c LP solutions : 0.00 - 0 1795.25/1795.84 c pseudo solutions : 0.00 - 0 1795.25/1795.84 c simplerounding : 0.00 0 0 1795.25/1795.84 c rounding : 0.00 0 0 1795.25/1795.84 c shifting : 0.00 0 0 1795.25/1795.84 c intshifting : 0.00 0 0 1795.25/1795.84 c oneopt : 0.00 0 0 1795.25/1795.84 c fixandinfer : 0.00 0 0 1795.25/1795.84 c feaspump : 0.00 0 0 1795.25/1795.84 c coefdiving : 0.00 0 0 1795.25/1795.84 c pscostdiving : 0.00 0 0 1795.25/1795.84 c fracdiving : 0.00 0 0 1795.25/1795.84 c veclendiving : 0.00 0 0 1795.25/1795.84 c intdiving : 0.00 0 0 1795.25/1795.84 c actconsdiving : 0.00 0 0 1795.25/1795.84 c objpscostdiving : 0.00 0 0 1795.25/1795.84 c rootsoldiving : 0.00 0 0 1795.25/1795.84 c linesearchdiving : 0.00 0 0 1795.25/1795.84 c guideddiving : 0.00 0 0 1795.25/1795.84 c octane : 0.00 0 0 1795.25/1795.84 c rens : 0.00 0 0 1795.25/1795.84 c rins : 0.00 0 0 1795.25/1795.84 c localbranching : 0.00 0 0 1795.25/1795.84 c mutation : 0.00 0 0 1795.25/1795.84 c crossover : 0.00 0 0 1795.25/1795.84 c dins : 0.00 0 0 1795.25/1795.84 c LP : Time Calls Iterations Iter/call Iter/sec 1795.25/1795.84 c primal LP : 3.61 0 0 0.00 0.00 1795.25/1795.84 c dual LP : 641.41 392 225461 575.16 351.51 1795.25/1795.84 c barrier LP : 0.00 0 0 0.00 - 1795.25/1795.84 c diving/probing LP: 0.00 0 0 0.00 - 1795.25/1795.84 c strong branching : 972.80 715 241906 338.33 248.67 1795.25/1795.84 c (at root node) : - 33 24930 755.45 - 1795.25/1795.84 c conflict analysis: 0.00 0 0 0.00 - 1795.25/1795.84 c B&B Tree : 1795.25/1795.84 c number of runs : 1 1795.25/1795.84 c nodes : 387 1795.25/1795.84 c nodes (total) : 387 1795.25/1795.84 c nodes left : 388 1795.25/1795.84 c max depth : 47 1795.25/1795.84 c max depth (total): 47 1795.25/1795.84 c backtracks : 23 (5.9%) 1795.25/1795.84 c delayed cutoffs : 0 1795.25/1795.84 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1795.25/1795.84 c avg switch length: 1.93 1795.25/1795.84 c switching time : 3.79 1795.25/1795.84 c Solution : 1795.25/1795.84 c Solutions found : 0 (0 improvements) 1795.25/1795.84 c Primal Bound : - 1795.25/1795.84 c Dual Bound : +1.74000000000027e+02 1795.25/1795.84 c Gap : infinite 1795.25/1795.84 c Root Dual Bound : +1.74000000000001e+02 1795.45/1796.01 c Time complete: 1795.46.
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-1868665-1245131644/watcher-1868665-1245131644 -o /tmp/evaluation-result-1868665-1245131644/solver-1868665-1245131644 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868665-1245131644.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 2/64 3659 /proc/meminfo: memFree=1404368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=5812 CPUtime=0 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 496 0 0 0 0 0 0 0 20 0 1 0 180764083 5951488 480 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 0 0 0 0 17 1 0 0 /proc/3659/statm: 1453 481 332 1256 0 192 0 [startup+0.0991331 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3659 /proc/meminfo: memFree=1404368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=17064 CPUtime=0.09 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 3251 0 0 0 8 1 0 0 20 0 1 0 180764083 17473536 3235 1992294400 4194304 9342243 548682068736 18446744073709551615 8235731 0 0 4096 0 0 0 0 17 1 0 0 /proc/3659/statm: 4266 3235 376 1256 0 3005 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17064 [startup+0.102133 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3659 /proc/meminfo: memFree=1404368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=17064 CPUtime=0.09 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 3251 0 0 0 8 1 0 0 20 0 1 0 180764083 17473536 3235 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 0 0 0 0 17 1 0 0 /proc/3659/statm: 4266 3235 376 1256 0 3005 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17064 [startup+0.302154 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3659 /proc/meminfo: memFree=1404368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=22884 CPUtime=0.28 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 4688 0 0 0 27 1 0 0 22 0 1 0 180764083 23433216 4672 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3659/statm: 5721 4672 376 1256 0 4460 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 22884 [startup+0.701195 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3659 /proc/meminfo: memFree=1404368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=54868 CPUtime=0.68 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 12836 0 0 0 62 6 0 0 25 0 1 0 180764083 56184832 12466 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 13717 12466 457 1256 0 12456 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 54868 [startup+1.50127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1342664/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=107524 CPUtime=1.48 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 24440 0 0 0 133 15 0 0 19 0 1 0 180764083 110104576 23127 1992294400 4194304 9342243 548682068736 18446744073709551615 6962206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 26881 23127 615 1256 0 25620 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 107524 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1313032/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=108532 CPUtime=3.08 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 25191 0 0 0 292 16 0 0 25 0 1 0 180764083 111136768 23878 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 27133 23878 615 1256 0 25872 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 108532 [startup+6.30176 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1309320/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=109620 CPUtime=6.27 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 26080 0 0 0 610 17 0 0 25 0 1 0 180764083 112250880 24168 1992294400 4194304 9342243 548682068736 18446744073709551615 6964254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 27405 24168 615 1256 0 26144 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 109620 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1309256/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=109860 CPUtime=12.67 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 26742 0 0 0 1249 18 0 0 25 0 1 0 180764083 112496640 24283 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 27465 24283 636 1256 0 26204 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 109860 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1297864/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=119256 CPUtime=25.47 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 29859 0 0 0 2527 20 0 0 25 0 1 0 180764083 122118144 27400 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 29814 27400 637 1256 0 28553 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 119256 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1282760/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=137516 CPUtime=51.05 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 33390 0 0 0 5081 24 0 0 25 0 1 0 180764083 140816384 30931 1992294400 4194304 9342243 548682068736 18446744073709551615 6938234 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 34379 30931 649 1256 0 33118 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 137516 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1277960/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=138400 CPUtime=102.23 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 34608 0 0 0 10194 29 0 0 25 0 1 0 180764083 141721600 32149 1992294400 4194304 9342243 548682068736 18446744073709551615 4272736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 34600 32149 649 1256 0 33339 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 138400 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1267400/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=150076 CPUtime=162.21 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 38277 0 0 0 16186 35 0 0 25 0 1 0 180764083 153677824 34866 1992294400 4194304 9342243 548682068736 18446744073709551615 4272784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 37519 34866 649 1256 0 36258 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 150076 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1259144/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=160924 CPUtime=222.2 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 41258 0 0 0 22179 41 0 0 25 0 1 0 180764083 164786176 36812 1992294400 4194304 9342243 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40231 36812 649 1256 0 38970 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 160924 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1255368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=178768 CPUtime=282.18 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 47636 0 0 0 28168 50 0 0 25 0 1 0 180764083 183058432 37736 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44692 37736 654 1256 0 43431 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 178768 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1255368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=178768 CPUtime=342.16 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 47644 0 0 0 34163 53 0 0 25 0 1 0 180764083 183058432 37744 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44692 37744 654 1256 0 43431 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 178768 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3660 /proc/meminfo: memFree=1255368/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=178768 CPUtime=402.15 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 47644 0 0 0 40159 56 0 0 25 0 1 0 180764083 183058432 37744 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44692 37744 654 1256 0 43431 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 178768 [startup+462.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 3666 /proc/meminfo: memFree=1255048/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=176084 CPUtime=462.13 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 69833 0 0 0 46144 69 0 0 25 0 1 0 180764083 180310016 37841 1992294400 4194304 9342243 548682068736 18446744073709551615 6363973 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44021 37841 670 1256 0 42760 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 176084 [startup+522.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 3666 /proc/meminfo: memFree=1255496/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=174920 CPUtime=522.12 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 101956 0 0 0 52125 87 0 0 25 0 1 0 180764083 179118080 37735 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 43730 37735 670 1256 0 42469 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 174920 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1255816/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=174280 CPUtime=582.09 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 130407 0 0 0 58105 104 0 0 25 0 1 0 180764083 178462720 37636 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 43570 37636 670 1256 0 42309 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 174280 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1255112/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=173612 CPUtime=642.08 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 169624 0 0 0 64078 130 0 0 25 0 1 0 180764083 177778688 37819 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 43403 37819 670 1256 0 42142 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 173612 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1254920/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=174660 CPUtime=1121.94 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 365684 0 0 0 111930 264 0 0 25 0 1 0 180764083 178851840 37870 1992294400 4194304 9342243 548682068736 18446744073709551615 6977879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 43665 37870 671 1256 0 42404 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 174660 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1255880/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=162292 CPUtime=1181.92 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 374163 0 0 0 117917 275 0 0 25 0 1 0 180764083 166187008 37668 1992294400 4194304 9342243 548682068736 18446744073709551615 6959577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40573 37668 671 1256 0 39312 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 162292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1255688/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=160348 CPUtime=1241.9 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 381948 0 0 0 123906 284 0 0 25 0 1 0 180764083 164196352 37687 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40087 37687 671 1256 0 38826 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 160348 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1254984/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=175296 CPUtime=1301.89 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 393864 0 0 0 129892 297 0 0 25 0 1 0 180764083 179503104 37864 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 43824 37864 671 1256 0 42563 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 175296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1256456/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=161352 CPUtime=1361.87 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 402630 0 0 0 135879 308 0 0 25 0 1 0 180764083 165224448 37474 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40338 37474 671 1256 0 39077 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 161352 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1255048/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=161596 CPUtime=1421.86 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 414136 0 0 0 141865 321 0 0 25 0 1 0 180764083 165474304 37771 1992294400 4194304 9342243 548682068736 18446744073709551615 6240135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40399 37771 671 1256 0 39138 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 161596 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1255304/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=161668 CPUtime=1481.84 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 419027 0 0 0 147855 329 0 0 25 0 1 0 180764083 165548032 37733 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40417 37733 671 1256 0 39156 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 161668 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1254600/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=162532 CPUtime=1541.83 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 423702 0 0 0 153845 338 0 0 25 0 1 0 180764083 166432768 37912 1992294400 4194304 9342243 548682068736 18446744073709551615 5874707 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40633 37912 671 1256 0 39372 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 162532 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1252872/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=178028 CPUtime=1601.8 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 431876 0 0 0 159833 347 0 0 25 0 1 0 180764083 182300672 38354 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44507 38354 671 1256 0 43246 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 178028 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1252488/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=178596 CPUtime=1661.79 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 439569 0 0 0 165821 358 0 0 25 0 1 0 180764083 182882304 38442 1992294400 4194304 9342243 548682068736 18446744073709551615 6040870 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44649 38442 671 1256 0 43388 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 178596 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1254856/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=162552 CPUtime=1721.77 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 448322 0 0 0 171810 367 0 0 25 0 1 0 180764083 166453248 37852 1992294400 4194304 9342243 548682068736 18446744073709551615 6970136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 40638 37852 671 1256 0 39377 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 162552 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251976/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=179880 CPUtime=1781.76 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 455830 0 0 0 177799 377 0 0 25 0 1 0 180764083 184197120 38584 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44970 38584 671 1256 0 43709 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 179880 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251912/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=179880 CPUtime=1784.96 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 457135 0 0 0 178118 378 0 0 25 0 1 0 180764083 184197120 38599 1992294400 4194304 9342243 548682068736 18446744073709551615 6953101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44970 38599 671 1256 0 43709 0 Current children cumulated CPU time (s) 1784.96 Current children cumulated vsize (KiB) 179880 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251912/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=179880 CPUtime=1791.36 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 459713 0 0 0 178756 380 0 0 25 0 1 0 180764083 184197120 38602 1992294400 4194304 9342243 548682068736 18446744073709551615 6960231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44970 38602 671 1256 0 43709 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 179880 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251848/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=179880 CPUtime=1792.95 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 459717 0 0 0 178915 380 0 0 25 0 1 0 180764083 184197120 38606 1992294400 4194304 9342243 548682068736 18446744073709551615 5868521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44970 38606 671 1256 0 43709 0 Current children cumulated CPU time (s) 1792.95 Current children cumulated vsize (KiB) 179880 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251848/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=179880 CPUtime=1794.56 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 460362 0 0 0 179075 381 0 0 25 0 1 0 180764083 184197120 38608 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44970 38608 671 1256 0 43709 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 179880 [startup+1795.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251848/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=179880 CPUtime=1794.95 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 460362 0 0 0 179114 381 0 0 25 0 1 0 180764083 184197120 38608 1992294400 4194304 9342243 548682068736 18446744073709551615 6262051 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3659/statm: 44970 38608 671 1256 0 43709 0 Current children cumulated CPU time (s) 1794.95 Current children cumulated vsize (KiB) 179880 [startup+1795.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251848/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=159564 CPUtime=1795.35 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 461006 0 0 0 179154 381 0 0 25 0 1 0 180764083 163393536 37967 1992294400 4194304 9342243 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 1 0 0 /proc/3659/statm: 39891 37967 675 1256 0 38630 0 Current children cumulated CPU time (s) 1795.35 Current children cumulated vsize (KiB) 159564 [startup+1796 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3666 /proc/meminfo: memFree=1251848/2055920 swapFree=4192812/4192956 [pid=3659] ppid=3657 vsize=95928 CPUtime=1795.45 /proc/3659/stat : 3659 (pbscip.linux.x8) R 3657 3659 3503 0 -1 4194304 461008 0 0 0 179163 382 0 0 25 0 1 0 180764083 98230272 23012 1992294400 4194304 9342243 548682068736 18446744073709551615 4814730 0 0 4096 0 0 0 0 17 1 0 0 /proc/3659/statm: 23982 23012 677 1256 0 22721 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (KiB) 95928 Child status: 0 Real time (s): 1796.02 CPU time (s): 1795.48 CPU user time (s): 1791.64 CPU system time (s): 3.84042 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 180256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.64 system time used= 3.84042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461013 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= 6 involuntary context switches= 1905 runsolver used 1.62575 second user time and 4.91425 second system time The end
Begin job on node27 at 2009-06-16 07:54:04 IDJOB=1868665 IDBENCH=1499 IDSOLVER=684 FILE ID=node27/1868665-1245131644 PBS_JOBID= 9363719 Free space on /tmp= 66288 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.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-1868665-1245131644/watcher-1868665-1245131644 -o /tmp/evaluation-result-1868665-1245131644/solver-1868665-1245131644 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868665-1245131644.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6441cbb759000c1a64397279f4b3f0ed RANDOM SEED=1438254459 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: 1404784 kB Buffers: 67172 kB Cached: 499468 kB SwapCached: 140 kB Active: 160992 kB Inactive: 420172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1404784 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 12828 kB Writeback: 0 kB Mapped: 24164 kB Slab: 55888 kB Committed_AS: 153492 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= 66276 MiB End job on node27 at 2009-06-16 08:24:00