Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1799.56 | 1800.42 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb |
MD5SUM | 2882e17c9be8b3b8a5ac8492f26b9dcd |
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 | 1.43478 |
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 | 1600 |
Total number of constraints | 328901 |
Number of constraints which are clauses | 327070 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 1770 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 700 |
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 | 280 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 825 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
4.58/4.66 c SCIP version 1.1.0.7 4.58/4.66 c LP-Solver Clp 1.8.2 4.58/4.66 c user parameter file <scip.set> not found - using default parameters 4.58/4.66 c read problem <HOME/instance-1868425-1245125801.opb> 4.58/4.66 c original problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints 5.58/5.61 c No objective function, only one solution is needed. 5.58/5.61 c start presolving problem 5.58/5.61 c presolving: 8.68/8.73 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs 9.27/9.39 c (round 2) 0 del vars, 1400 del conss, 0 chg bounds, 0 chg sides, 1824 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs 9.98/10.06 c presolving (3 rounds): 9.98/10.06 c 0 deleted vars, 1400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1944 changed coefficients 9.98/10.06 c 3140 implications, 60 cliques 9.98/10.06 c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 327501 constraints 9.98/10.06 c 1770 constraints of type <knapsack> 9.98/10.06 c 60 constraints of type <setppc> 9.98/10.06 c 1 constraints of type <linear> 9.98/10.06 c 325670 constraints of type <logicor> 9.98/10.06 c transformed objective value is always integral (scale: 1) 9.98/10.06 c Presolving Time: 3.63 9.98/10.06 c SATUNSAT-LIN 9.98/10.06 c ----------------------------------------------------------------------------------------------- 9.98/10.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 0] 9.98/10.06 c separating/flowcover/freq = c -1 9.98/10.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 0] 9.98/10.06 c separating/cmir/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/veclendiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 9.98/10.06 c heuristics/veclendiving/maxlpiterquot = c 0.075 9.98/10.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/veclendiving/freq = c -1 9.98/10.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 1] 9.98/10.06 c heuristics/simplerounding/freq = c -1 9.98/10.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/shifting/freq = c -1 9.98/10.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 1] 9.98/10.06 c heuristics/rounding/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/rootsoldiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 9.98/10.06 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 9.98/10.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 20] 9.98/10.06 c heuristics/rootsoldiving/freq = c -1 9.98/10.06 c # number of nodes added to the contingent of the total nodes 9.98/10.06 c # [type: longint, range: [0,9223372036854775807], default: 500] 9.98/10.06 c heuristics/rens/nodesofs = c 2000 9.98/10.06 c # minimum percentage of integer variables that have to be fixable 9.98/10.06 c # [type: real, range: [0,1], default: 0.5] 9.98/10.06 c heuristics/rens/minfixingrate = c 0.3 9.98/10.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 0] 9.98/10.06 c heuristics/rens/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/pscostdiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 9.98/10.06 c heuristics/pscostdiving/maxlpiterquot = c 0.075 9.98/10.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/pscostdiving/freq = c -1 9.98/10.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 1] 9.98/10.06 c heuristics/oneopt/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/objpscostdiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to total iteration number 9.98/10.06 c # [type: real, range: [0,1], default: 0.01] 9.98/10.06 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 9.98/10.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 20] 9.98/10.06 c heuristics/objpscostdiving/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/linesearchdiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 9.98/10.06 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 9.98/10.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/linesearchdiving/freq = c -1 9.98/10.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/intshifting/freq = c -1 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 9.98/10.06 c heuristics/intdiving/maxlpiterquot = c 0.075 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/guideddiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 9.98/10.06 c heuristics/guideddiving/maxlpiterquot = c 0.075 9.98/10.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/guideddiving/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/fracdiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 9.98/10.06 c heuristics/fracdiving/maxlpiterquot = c 0.075 9.98/10.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/fracdiving/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/feaspump/maxlpiterofs = c 2000 9.98/10.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 20] 9.98/10.06 c heuristics/feaspump/freq = c -1 9.98/10.06 c # minimum percentage of integer variables that have to be fixed 9.98/10.06 c # [type: real, range: [0,1], default: 0.666] 9.98/10.06 c heuristics/crossover/minfixingrate = c 0.5 9.98/10.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 9.98/10.06 c # [type: real, range: [0,1], default: 0.1] 9.98/10.06 c heuristics/crossover/nodesquot = c 0.15 9.98/10.06 c # number of nodes without incumbent change that heuristic should wait 9.98/10.06 c # [type: longint, range: [0,9223372036854775807], default: 200] 9.98/10.06 c heuristics/crossover/nwaitingnodes = c 100 9.98/10.06 c # number of nodes added to the contingent of the total nodes 9.98/10.06 c # [type: longint, range: [0,9223372036854775807], default: 500] 9.98/10.06 c heuristics/crossover/nodesofs = c 750 9.98/10.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 30] 9.98/10.06 c heuristics/crossover/freq = c -1 9.98/10.06 c # additional number of allowed LP iterations 9.98/10.06 c # [type: int, range: [0,2147483647], default: 1000] 9.98/10.06 c heuristics/coefdiving/maxlpiterofs = c 1500 9.98/10.06 c # maximal fraction of diving LP iterations compared to node LP iterations 9.98/10.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 9.98/10.06 c heuristics/coefdiving/maxlpiterquot = c 0.075 9.98/10.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: 10] 9.98/10.06 c heuristics/coefdiving/freq = c -1 9.98/10.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: -1] 9.98/10.06 c presolving/probing/maxrounds = c 0 9.98/10.06 c # should presolving try to simplify knapsacks 9.98/10.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 9.98/10.06 c constraints/knapsack/simplifyinequalities = c TRUE 9.98/10.06 c # should disaggregation of knapsack constraints be allowed in preprocessing? 9.98/10.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 9.98/10.06 c constraints/knapsack/disaggregation = c FALSE 9.98/10.06 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 9.98/10.06 c # [type: int, range: [-1,2147483647], default: -1] 9.98/10.06 c constraints/knapsack/maxnumcardlift = c 0 9.98/10.06 c # should presolving try to simplify inequalities 9.98/10.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 9.98/10.08 c constraints/linear/simplifyinequalities = c TRUE 9.98/10.08 c # maximal number of separation rounds in the root node (-1: unlimited) 9.98/10.08 c # [type: int, range: [-1,2147483647], default: -1] 9.98/10.08 c separating/maxroundsroot = c 5 9.98/10.08 c # maximal number of separation rounds per node (-1: unlimited) 9.98/10.08 c # [type: int, range: [-1,2147483647], default: 5] 9.98/10.08 c separating/maxrounds = c 1 9.98/10.08 c # solving stops, if the given number of solutions were found (-1: no limit) 9.98/10.08 c # [type: int, range: [-1,2147483647], default: -1] 9.98/10.08 c limits/solutions = c 1 9.98/10.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 9.98/10.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 9.98/10.08 c limits/memory = c 1620 9.98/10.08 c # maximal time in seconds to run 9.98/10.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 9.98/10.08 c limits/time = c 1791 9.98/10.08 c # frequency for displaying node information lines 9.98/10.08 c # [type: int, range: [-1,2147483647], default: 100] 9.98/10.08 c display/freq = c 10000 9.98/10.08 c ----------------------------------------------------------------------------------------------- 9.98/10.08 c start solving problem 9.98/10.08 c 84.31/84.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 84.31/84.50 c 78.4s| 1 | 0 | 1655 | 377M| 0 | 143 |1600 | 327k| 327k|1600 | 327k| 0 | 0 | 0 | 5.900000e+01 | -- | Inf 921.73/922.26 c 915s| 1 | 0 | 13955 | 377M| 0 | 93 |1600 | 327k| 327k|1600 | 327k| 14 | 0 | 0 | 5.900000e+01 | -- | Inf 1488.36/1489.15 c 1481s| 1 | 0 | 22889 | 378M| 0 | 98 |1600 | 327k| 327k|1600 | 327k| 30 | 0 | 0 | 5.900000e+01 | -- | Inf 1798.23/1799.15 c 1791s| 1 | 0 | 26515 | 380M| 0 | - |1600 | 327k| 327k|1600 | 327k| 47 | 0 | 0 | 5.900000e+01 | -- | Inf 1798.23/1799.18 c 1791s| 1 | 2 | 26515 | 380M| 0 | - |1600 | 327k| 327k|1600 | 327k| 47 | 0 | 0 | 5.900000e+01 | -- | Inf 1798.23/1799.18 c 1798.23/1799.18 c SCIP Status : solving was interrupted [time limit reached] 1798.23/1799.18 c Solving Time (sec) : 1791.07 1798.23/1799.18 c Solving Nodes : 1 1798.23/1799.18 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1798.23/1799.18 c Dual Bound : +5.90000000000000e+01 1798.23/1799.18 c Gap : infinite 1798.23/1799.18 c NODE 1 1798.23/1799.18 c DUAL BOUND 59 1798.23/1799.18 c PRIMAL BOUND 1e+20 1798.23/1799.18 c GAP 1e+20 1798.23/1799.18 s UNKNOWN 1798.23/1799.18 c SCIP Status : solving was interrupted [time limit reached] 1798.23/1799.18 c Solving Time : 1791.07 1798.23/1799.18 c Original Problem : 1798.23/1799.18 c Problem name : HOME/instance-1868425-1245125801.opb 1798.23/1799.18 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.23/1799.18 c Constraints : 328901 initial, 328901 maximal 1798.23/1799.18 c Presolved Problem : 1798.23/1799.18 c Problem name : t_HOME/instance-1868425-1245125801.opb 1798.23/1799.18 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.23/1799.18 c Constraints : 327501 initial, 327501 maximal 1798.23/1799.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1798.23/1799.18 c trivial : 0.00 0 0 0 0 0 0 0 0 1798.23/1799.18 c dualfix : 0.00 0 0 0 0 0 0 0 0 1798.23/1799.18 c boundshift : 0.00 0 0 0 0 0 0 0 0 1798.23/1799.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1798.23/1799.18 c implics : 0.00 0 0 0 0 0 0 0 0 1798.23/1799.18 c probing : 0.00 0 0 0 0 0 0 0 0 1798.23/1799.18 c knapsack : 0.39 0 0 0 0 0 0 0 1944 1798.23/1799.18 c setppc : 0.00 0 0 0 0 0 0 0 0 1798.23/1799.18 c linear : 1.78 0 0 0 0 0 0 0 0 1798.23/1799.18 c logicor : 1.07 0 0 0 0 0 1400 0 0 1798.23/1799.18 c root node : - 0 - - 0 - - - - 1798.23/1799.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1798.23/1799.18 c integral : 0 0 0 0 0 0 0 0 0 0 1798.23/1799.18 c knapsack : 1770 3 1 0 1 0 0 47 0 0 1798.23/1799.18 c setppc : 60 3 1 0 1 0 0 0 0 0 1798.23/1799.18 c linear : 1 3 1 0 0 0 0 0 0 0 1798.23/1799.18 c logicor : 325670 3 1 0 1 0 0 0 0 0 1798.23/1799.18 c countsols : 0 0 0 0 1 0 0 0 0 0 1798.23/1799.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1798.23/1799.18 c integral : 0.00 0.00 0.00 0.00 0.00 1798.23/1799.18 c knapsack : 0.02 0.02 0.00 0.00 0.00 1798.23/1799.18 c setppc : 0.01 0.01 0.00 0.00 0.00 1798.23/1799.18 c linear : 0.00 0.00 0.00 0.00 0.00 1798.23/1799.18 c logicor : 0.40 0.12 0.25 0.00 0.03 1798.23/1799.18 c countsols : 0.00 0.00 0.00 0.00 0.00 1798.23/1799.18 c Propagators : Time Calls Cutoffs DomReds 1798.23/1799.18 c rootredcost : 0.00 0 0 0 1798.23/1799.18 c pseudoobj : 0.00 2 0 0 1798.23/1799.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1798.23/1799.18 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1798.23/1799.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1798.23/1799.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1798.23/1799.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1798.23/1799.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1798.23/1799.18 c applied globally : - - - 0 0.0 - - - 1798.23/1799.18 c applied locally : - - - 0 0.0 - - - 1798.23/1799.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1798.23/1799.18 c cut pool : 0.00 2 - - 1 - (maximal pool size: 275) 1798.23/1799.18 c redcost : 0.00 3 0 0 0 0 1798.23/1799.18 c impliedbounds : 0.00 3 0 0 0 0 1798.23/1799.18 c intobj : 0.00 0 0 0 0 0 1798.23/1799.18 c gomory : 71.82 3 0 0 1500 0 1798.23/1799.18 c strongcg : 42.01 3 0 0 1500 0 1798.23/1799.18 c cmir : 0.00 0 0 0 0 0 1798.23/1799.18 c flowcover : 0.00 0 0 0 0 0 1798.23/1799.18 c clique : 0.01 3 0 0 0 0 1798.23/1799.18 c zerohalf : 0.00 0 0 0 0 0 1798.23/1799.18 c mcf : 0.00 0 0 0 0 0 1798.23/1799.18 c Pricers : Time Calls Vars 1798.23/1799.18 c problem variables: 0.00 0 0 1798.23/1799.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1798.23/1799.18 c relpscost : 0.00 0 0 0 0 0 0 1798.23/1799.18 c pscost : 0.00 0 0 0 0 0 0 1798.23/1799.18 c inference : 0.00 1 0 0 0 0 2 1798.23/1799.18 c mostinf : 0.00 0 0 0 0 0 0 1798.23/1799.18 c leastinf : 0.00 0 0 0 0 0 0 1798.23/1799.18 c fullstrong : 0.00 0 0 0 0 0 0 1798.23/1799.18 c allfullstrong : 0.00 0 0 0 0 0 0 1798.23/1799.18 c random : 0.00 0 0 0 0 0 0 1798.23/1799.18 c Primal Heuristics : Time Calls Found 1798.23/1799.18 c LP solutions : 0.00 - 0 1798.23/1799.18 c pseudo solutions : 0.00 - 0 1798.23/1799.18 c simplerounding : 0.00 0 0 1798.23/1799.18 c rounding : 0.00 0 0 1798.23/1799.18 c shifting : 0.00 0 0 1798.23/1799.18 c intshifting : 0.00 0 0 1798.23/1799.18 c oneopt : 0.00 0 0 1798.23/1799.18 c fixandinfer : 0.00 0 0 1798.23/1799.18 c feaspump : 0.00 0 0 1798.23/1799.18 c coefdiving : 0.00 0 0 1798.23/1799.18 c pscostdiving : 0.00 0 0 1798.23/1799.18 c fracdiving : 0.00 0 0 1798.23/1799.18 c veclendiving : 0.00 0 0 1798.23/1799.18 c intdiving : 0.00 0 0 1798.23/1799.18 c actconsdiving : 0.00 0 0 1798.23/1799.18 c objpscostdiving : 0.00 0 0 1798.23/1799.18 c rootsoldiving : 0.00 0 0 1798.23/1799.18 c linesearchdiving : 0.00 0 0 1798.23/1799.18 c guideddiving : 0.00 0 0 1798.23/1799.18 c octane : 0.00 0 0 1798.23/1799.18 c rens : 0.00 0 0 1798.23/1799.18 c rins : 0.00 0 0 1798.23/1799.18 c localbranching : 0.00 0 0 1798.23/1799.18 c mutation : 0.00 0 0 1798.23/1799.18 c crossover : 0.00 0 0 1798.23/1799.18 c dins : 0.00 0 0 1798.23/1799.18 c LP : Time Calls Iterations Iter/call Iter/sec 1798.23/1799.18 c primal LP : 0.00 0 0 0.00 - 1798.23/1799.18 c dual LP : 1670.92 4 26515 6628.75 15.87 1798.23/1799.18 c barrier LP : 0.00 0 0 0.00 - 1798.23/1799.18 c diving/probing LP: 0.00 0 0 0.00 - 1798.23/1799.18 c strong branching : 0.00 0 0 0.00 - 1798.23/1799.18 c (at root node) : - 0 0 0.00 - 1798.23/1799.18 c conflict analysis: 0.00 0 0 0.00 - 1798.23/1799.18 c B&B Tree : 1798.23/1799.18 c number of runs : 1 1798.23/1799.18 c nodes : 1 1798.23/1799.18 c nodes (total) : 1 1798.23/1799.18 c nodes left : 2 1798.23/1799.18 c max depth : 0 1798.23/1799.18 c max depth (total): 0 1798.23/1799.18 c backtracks : 0 (0.0%) 1798.23/1799.18 c delayed cutoffs : 0 1798.23/1799.18 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1798.23/1799.18 c avg switch length: 1.00 1798.23/1799.18 c switching time : 0.00 1798.23/1799.18 c Solution : 1798.23/1799.18 c Solutions found : 0 (0 improvements) 1798.23/1799.18 c Primal Bound : - 1798.23/1799.18 c Dual Bound : +5.90000000000000e+01 1798.23/1799.18 c Gap : infinite 1798.23/1799.18 c Root Dual Bound : +5.90000000000000e+01 1799.54/1800.41 c Time complete: 1799.54.
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-1868425-1245125801/watcher-1868425-1245125801 -o /tmp/evaluation-result-1868425-1245125801/solver-1868425-1245125801 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868425-1245125801.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.02 1.01 1.00 3/64 5203 /proc/meminfo: memFree=1359360/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=7616 CPUtime=0 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 647 0 0 0 0 0 0 0 18 0 1 0 180179458 7798784 631 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 1904 640 353 1256 0 643 0 [startup+0.106786 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5203 /proc/meminfo: memFree=1359360/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=14156 CPUtime=0.09 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 2512 0 0 0 9 0 0 0 18 0 1 0 180179458 14495744 2496 1992294400 4194304 9342243 548682068736 18446744073709551615 8235714 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 3539 2496 376 1256 0 2278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14156 [startup+0.2018 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5203 /proc/meminfo: memFree=1359360/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=16404 CPUtime=0.2 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 3072 0 0 0 19 1 0 0 18 0 1 0 180179458 16797696 3056 1992294400 4194304 9342243 548682068736 18446744073709551615 4363801 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 4101 3056 376 1256 0 2840 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 16404 [startup+0.301815 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5203 /proc/meminfo: memFree=1359360/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=20256 CPUtime=0.29 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 4021 0 0 0 28 1 0 0 19 0 1 0 180179458 20742144 4005 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 5064 4005 376 1256 0 3803 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20256 [startup+0.701876 s] /proc/loadavg: 1.02 1.01 1.00 3/64 5203 /proc/meminfo: memFree=1359360/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=30724 CPUtime=0.69 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 6664 0 0 0 67 2 0 0 23 0 1 0 180179458 31461376 6648 1992294400 4194304 9342243 548682068736 18446744073709551615 8169750 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 7681 6648 376 1256 0 6420 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30724 [startup+1.502 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5204 /proc/meminfo: memFree=1324472/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=51852 CPUtime=1.49 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 11916 0 0 0 145 4 0 0 25 0 1 0 180179458 53096448 11900 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 12963 11900 376 1256 0 11702 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51852 [startup+3.10124 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5204 /proc/meminfo: memFree=1295544/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=92544 CPUtime=3.08 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 22113 0 0 0 299 9 0 0 25 0 1 0 180179458 94765056 22097 1992294400 4194304 9342243 548682068736 18446744073709551615 7636332 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 23136 22097 376 1256 0 21875 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 92544 [startup+6.30173 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5204 /proc/meminfo: memFree=1019448/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=365816 CPUtime=6.28 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 90627 0 0 0 577 51 0 0 25 0 1 0 180179458 374595584 90257 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 91454 90257 459 1256 0 90193 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 365816 [startup+12.7027 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5204 /proc/meminfo: memFree=689336/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=807312 CPUtime=12.68 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 178905 0 0 0 1128 140 0 0 25 0 1 0 180179458 826687488 169712 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 201828 169712 612 1256 0 200567 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 807312 [startup+25.5017 s] /proc/loadavg: 1.01 1.01 1.00 2/65 5204 /proc/meminfo: memFree=673080/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=807312 CPUtime=25.47 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 181054 0 0 0 2405 142 0 0 25 0 1 0 180179458 826687488 171861 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 201828 171861 612 1256 0 200567 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 807312 [startup+51.1016 s] /proc/loadavg: 1.01 1.00 1.00 2/65 5204 /proc/meminfo: memFree=663416/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=807312 CPUtime=51.06 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 183470 0 0 0 4962 144 0 0 25 0 1 0 180179458 826687488 174277 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 201828 174277 612 1256 0 200567 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 807312 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=612792/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=836788 CPUtime=102.21 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 202049 0 0 0 10069 152 0 0 25 0 1 0 180179458 856870912 186882 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 209197 186882 635 1256 0 207936 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 836788 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=592376/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=836788 CPUtime=162.19 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 207164 0 0 0 16063 156 0 0 25 0 1 0 180179458 856870912 191997 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5203/statm: 209197 191997 641 1256 0 207936 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 836788 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=566712/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=879140 CPUtime=222.14 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 213567 0 0 0 22055 159 0 0 25 0 1 0 180179458 900239360 198400 1992294400 4194304 9342243 548682068736 18446744073709551615 6959737 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 219785 198400 641 1256 0 218524 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 879140 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=557944/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=908776 CPUtime=282.12 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 221911 0 0 0 28047 165 0 0 25 0 1 0 180179458 930586624 200594 1992294400 4194304 9342243 548682068736 18446744073709551615 6938251 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 227194 200594 641 1256 0 225933 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 908776 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=567288/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=918692 CPUtime=342.08 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 237689 0 0 0 34035 173 0 0 25 0 1 0 180179458 940740608 198236 1992294400 4194304 9342243 548682068736 18446744073709551615 5874616 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 229673 198236 641 1256 0 228412 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 918692 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=556024/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=920796 CPUtime=402.06 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 249552 0 0 0 40026 180 0 0 25 0 1 0 180179458 942895104 201216 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 230199 201216 641 1256 0 228938 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 920796 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=564856/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=916532 CPUtime=462.04 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 257109 0 0 0 46018 186 0 0 25 0 1 0 180179458 938528768 198847 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 229133 198847 641 1256 0 227872 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 916532 [startup+522.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 5204 /proc/meminfo: memFree=552312/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=915820 CPUtime=522 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 268683 0 0 0 52008 192 0 0 25 0 1 0 180179458 937799680 201956 1992294400 4194304 9342243 548682068736 18446744073709551615 6959720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5203/statm: 228955 201956 641 1256 0 227694 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 915820 [startup+582.302 s] /proc/loadavg: 1.05 1.02 1.00 2/65 5204 /proc/meminfo: memFree=573880/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=906572 CPUtime=581.97 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 279923 0 0 0 57997 200 0 0 25 0 1 0 180179458 928329728 196592 1992294400 4194304 9342243 548682068736 18446744073709551615 5874628 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 226643 196592 641 1256 0 225382 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 906572 [startup+642.303 s] /proc/loadavg: 1.02 1.02 1.00 2/65 5204 /proc/meminfo: memFree=573624/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=903340 CPUtime=641.95 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 287388 0 0 0 63989 206 0 0 25 0 1 0 180179458 925020160 196696 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 225835 196696 641 1256 0 224574 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 903340 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=537208/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=906096 CPUtime=1061.76 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 322605 0 0 0 105948 228 0 0 25 0 1 0 180179458 927842304 205707 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5203/statm: 226524 205707 641 1256 0 225263 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 906096 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=544696/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=912192 CPUtime=1121.73 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 330405 0 0 0 111941 232 0 0 25 0 1 0 180179458 934084608 203935 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 228048 203935 641 1256 0 226787 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 912192 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=549752/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=910608 CPUtime=1181.7 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 337993 0 0 0 117933 237 0 0 25 0 1 0 180179458 932462592 202766 1992294400 4194304 9342243 548682068736 18446744073709551615 6978070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 227652 202766 641 1256 0 226391 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 910608 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=546424/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=906104 CPUtime=1241.68 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 346936 0 0 0 123926 242 0 0 25 0 1 0 180179458 927850496 203368 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 226526 203368 641 1256 0 225265 0 Current children cumulated CPU time (s) 1241.68 Current children cumulated vsize (KiB) 906104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=550072/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=899144 CPUtime=1301.65 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 353572 0 0 0 129919 246 0 0 25 0 1 0 180179458 920723456 202471 1992294400 4194304 9342243 548682068736 18446744073709551615 5868830 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 224786 202471 641 1256 0 223525 0 Current children cumulated CPU time (s) 1301.65 Current children cumulated vsize (KiB) 899144 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=573752/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=885476 CPUtime=1361.63 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 359041 0 0 0 135912 251 0 0 25 0 1 0 180179458 906727424 196529 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 221369 196529 641 1256 0 220108 0 Current children cumulated CPU time (s) 1361.63 Current children cumulated vsize (KiB) 885476 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=557368/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=870260 CPUtime=1421.6 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 367726 0 0 0 141904 256 0 0 25 0 1 0 180179458 891146240 200633 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 217565 200633 641 1256 0 216304 0 Current children cumulated CPU time (s) 1421.6 Current children cumulated vsize (KiB) 870260 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=568824/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=858052 CPUtime=1481.57 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 369372 0 0 0 147899 258 0 0 25 0 1 0 180179458 878645248 197763 1992294400 4194304 9342243 548682068736 18446744073709551615 6963988 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 214513 197763 641 1256 0 213252 0 Current children cumulated CPU time (s) 1481.57 Current children cumulated vsize (KiB) 858052 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=562936/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=858052 CPUtime=1541.54 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 370843 0 0 0 153894 260 0 0 25 0 1 0 180179458 878645248 199234 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 214513 199234 641 1256 0 213252 0 Current children cumulated CPU time (s) 1541.54 Current children cumulated vsize (KiB) 858052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=562872/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=858052 CPUtime=1601.52 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 370874 0 0 0 159891 261 0 0 25 0 1 0 180179458 878645248 199265 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 214513 199265 641 1256 0 213252 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 858052 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=552056/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=923824 CPUtime=1661.49 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 375675 0 0 0 165885 264 0 0 25 0 1 0 180179458 945995776 201987 1992294400 4194304 9342243 548682068736 18446744073709551615 6962261 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 230956 201987 641 1256 0 229695 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 923824 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=553528/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=940424 CPUtime=1721.47 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 381300 0 0 0 171879 268 0 0 25 0 1 0 180179458 962994176 201593 1992294400 4194304 9342243 548682068736 18446744073709551615 5874682 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 235106 201593 641 1256 0 233845 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 940424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=537720/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=941044 CPUtime=1781.44 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 390442 0 0 0 177871 273 0 0 25 0 1 0 180179458 963629056 205641 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 235261 205641 641 1256 0 234000 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 941044 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=535288/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=941044 CPUtime=1791.14 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 390927 0 0 0 178841 273 0 0 25 0 1 0 180179458 963629056 206126 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 235261 206126 641 1256 0 234000 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 941044 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=534968/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=941044 CPUtime=1794.33 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 390995 0 0 0 179160 273 0 0 25 0 1 0 180179458 963629056 206194 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 235261 206194 641 1256 0 234000 0 Current children cumulated CPU time (s) 1794.33 Current children cumulated vsize (KiB) 941044 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=534584/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=941044 CPUtime=1797.53 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 391134 0 0 0 179480 273 0 0 25 0 1 0 180179458 963629056 206333 1992294400 4194304 9342243 548682068736 18446744073709551615 5874608 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5203/statm: 235261 206333 641 1256 0 234000 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 941044 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=534328/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=941044 CPUtime=1798.33 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 391156 0 0 0 179560 273 0 0 16 0 1 0 180179458 963629056 206355 1992294400 4194304 9342243 548682068736 18446744073709551615 4250774 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 235261 206355 643 1256 0 234000 0 Current children cumulated CPU time (s) 1798.33 Current children cumulated vsize (KiB) 941044 [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=534264/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=941044 CPUtime=1799.13 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 391161 0 0 0 179640 273 0 0 24 0 1 0 180179458 963629056 206360 1992294400 4194304 9342243 548682068736 18446744073709551615 5855009 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 235261 206360 648 1256 0 234000 0 Current children cumulated CPU time (s) 1799.13 Current children cumulated vsize (KiB) 941044 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5204 /proc/meminfo: memFree=534264/2055920 swapFree=4191900/4192956 [pid=5203] ppid=5201 vsize=309480 CPUtime=1799.54 /proc/5203/stat : 5203 (pbscip.linux.x8) R 5201 5203 3578 0 -1 4194304 391162 0 0 0 179669 285 0 0 25 0 1 0 180179458 316907520 48913 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0 /proc/5203/statm: 77370 48913 23384 1256 0 76109 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (KiB) 309480 Child status: 0 Real time (s): 1800.42 CPU time (s): 1799.56 CPU user time (s): 1796.69 CPU system time (s): 2.86756 CPU usage (%): 99.9523 Max. virtual memory (cumulated for all children) (KiB): 941044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.69 system time used= 2.86756 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 391168 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= 7 involuntary context switches= 5768 runsolver used 1.59476 second user time and 4.96024 second system time The end
Begin job on node34 at 2009-06-16 06:16:42 IDJOB=1868425 IDBENCH=1379 IDSOLVER=684 FILE ID=node34/1868425-1245125801 PBS_JOBID= 9363634 Free space on /tmp= 66244 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.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-1868425-1245125801/watcher-1868425-1245125801 -o /tmp/evaluation-result-1868425-1245125801/solver-1868425-1245125801 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868425-1245125801.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2882e17c9be8b3b8a5ac8492f26b9dcd RANDOM SEED=290180268 node34.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 : 3000.263 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 : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 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: 1359840 kB Buffers: 49168 kB Cached: 562572 kB SwapCached: 260 kB Active: 85524 kB Inactive: 539504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1359840 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 22924 kB Writeback: 0 kB Mapped: 21784 kB Slab: 57056 kB Committed_AS: 158088 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66232 MiB End job on node34 at 2009-06-16 06:46:42