Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1795.58 | 1796.11 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb |
MD5SUM | b656932a938990470d09f3771b5047c2 |
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 | 555.424 |
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 | 1650 |
Total number of constraints | 113164 |
Number of constraints which are clauses | 112614 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
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 | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 9 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.89/1.97 c SCIP version 1.1.0.7 1.89/1.97 c LP-Solver Clp 1.8.2 1.89/1.97 c user parameter file <scip.set> not found - using default parameters 1.89/1.97 c read problem <HOME/instance-1868407-1245124815.opb> 1.89/1.97 c original problem has 1650 variables (1650 bin, 0 int, 0 impl, 0 cont) and 113164 constraints 2.39/2.49 c No objective function, only one solution is needed. 2.39/2.49 c start presolving problem 2.39/2.49 c presolving: 3.69/3.78 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 113164 upgd conss, 0 impls, 550 clqs 3.89/3.95 c presolving (2 rounds): 3.89/3.95 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 3.89/3.95 c 0 implications, 550 cliques 3.89/3.95 c presolved problem has 1650 variables (1650 bin, 0 int, 0 impl, 0 cont) and 113164 constraints 3.89/3.95 c 550 constraints of type <setppc> 3.89/3.95 c 112614 constraints of type <logicor> 3.89/3.95 c transformed objective value is always integral (scale: 1) 3.89/3.95 c Presolving Time: 1.15 3.89/3.95 c SATUNSAT-LIN 3.89/3.95 c ----------------------------------------------------------------------------------------------- 3.89/3.95 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 0] 3.89/3.95 c separating/flowcover/freq = c -1 3.89/3.95 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 0] 3.89/3.95 c separating/cmir/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/veclendiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.95 c heuristics/veclendiving/maxlpiterquot = c 0.075 3.89/3.95 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/veclendiving/freq = c -1 3.89/3.95 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.95 c heuristics/simplerounding/freq = c -1 3.89/3.95 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/shifting/freq = c -1 3.89/3.95 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.95 c heuristics/rounding/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/rootsoldiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 3.89/3.95 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 3.89/3.95 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 20] 3.89/3.95 c heuristics/rootsoldiving/freq = c -1 3.89/3.95 c # number of nodes added to the contingent of the total nodes 3.89/3.95 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.89/3.95 c heuristics/rens/nodesofs = c 2000 3.89/3.95 c # minimum percentage of integer variables that have to be fixable 3.89/3.95 c # [type: real, range: [0,1], default: 0.5] 3.89/3.95 c heuristics/rens/minfixingrate = c 0.3 3.89/3.95 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 0] 3.89/3.95 c heuristics/rens/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/pscostdiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.95 c heuristics/pscostdiving/maxlpiterquot = c 0.075 3.89/3.95 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/pscostdiving/freq = c -1 3.89/3.95 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.95 c heuristics/oneopt/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/objpscostdiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to total iteration number 3.89/3.95 c # [type: real, range: [0,1], default: 0.01] 3.89/3.95 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 3.89/3.95 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 20] 3.89/3.95 c heuristics/objpscostdiving/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/linesearchdiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.95 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 3.89/3.95 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/linesearchdiving/freq = c -1 3.89/3.95 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/intshifting/freq = c -1 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.95 c heuristics/intdiving/maxlpiterquot = c 0.075 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/guideddiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.95 c heuristics/guideddiving/maxlpiterquot = c 0.075 3.89/3.95 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/guideddiving/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/fracdiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.95 c heuristics/fracdiving/maxlpiterquot = c 0.075 3.89/3.95 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/fracdiving/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/feaspump/maxlpiterofs = c 2000 3.89/3.95 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 20] 3.89/3.95 c heuristics/feaspump/freq = c -1 3.89/3.95 c # minimum percentage of integer variables that have to be fixed 3.89/3.95 c # [type: real, range: [0,1], default: 0.666] 3.89/3.95 c heuristics/crossover/minfixingrate = c 0.5 3.89/3.95 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 3.89/3.95 c # [type: real, range: [0,1], default: 0.1] 3.89/3.95 c heuristics/crossover/nodesquot = c 0.15 3.89/3.95 c # number of nodes without incumbent change that heuristic should wait 3.89/3.95 c # [type: longint, range: [0,9223372036854775807], default: 200] 3.89/3.95 c heuristics/crossover/nwaitingnodes = c 100 3.89/3.95 c # number of nodes added to the contingent of the total nodes 3.89/3.95 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.89/3.95 c heuristics/crossover/nodesofs = c 750 3.89/3.95 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 30] 3.89/3.95 c heuristics/crossover/freq = c -1 3.89/3.95 c # additional number of allowed LP iterations 3.89/3.95 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.95 c heuristics/coefdiving/maxlpiterofs = c 1500 3.89/3.95 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.95 c heuristics/coefdiving/maxlpiterquot = c 0.075 3.89/3.95 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.95 c heuristics/coefdiving/freq = c -1 3.89/3.95 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.95 c presolving/probing/maxrounds = c 0 3.89/3.95 c # should presolving try to simplify knapsacks 3.89/3.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.89/3.95 c constraints/knapsack/simplifyinequalities = c TRUE 3.89/3.95 c # should disaggregation of knapsack constraints be allowed in preprocessing? 3.89/3.95 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 3.89/3.95 c constraints/knapsack/disaggregation = c FALSE 3.89/3.95 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 3.89/3.95 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.95 c constraints/knapsack/maxnumcardlift = c 0 3.89/3.95 c # should presolving try to simplify inequalities 3.89/3.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.89/3.96 c constraints/linear/simplifyinequalities = c TRUE 3.89/3.96 c # maximal number of separation rounds in the root node (-1: unlimited) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.96 c separating/maxroundsroot = c 5 3.89/3.96 c # maximal number of separation rounds per node (-1: unlimited) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 5] 3.89/3.96 c separating/maxrounds = c 1 3.89/3.96 c # solving stops, if the given number of solutions were found (-1: no limit) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.96 c limits/solutions = c 1 3.89/3.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.89/3.96 c limits/memory = c 1620 3.89/3.96 c # maximal time in seconds to run 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.89/3.96 c limits/time = c 1791 3.89/3.96 c # frequency for displaying node information lines 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 100] 3.89/3.96 c display/freq = c 10000 3.89/3.96 c ----------------------------------------------------------------------------------------------- 3.89/3.96 c start solving problem 3.89/3.96 c 15.29/15.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 15.29/15.37 c 12.8s| 1 | 0 | 1153 | 154M| 0 |1100 |1650 | 113k| 113k|1650 | 113k| 0 | 0 | 0 | 5.500000e+02 | -- | Inf 269.91/270.06 c 267s| 1 | 0 | 3411 | 161M| 0 |1100 |1650 | 113k| 113k|1650 | 113k| 1 | 0 | 0 | 5.500000e+02 | -- | Inf 1573.93/1574.40 c 1570s| 1 | 0 | 36408 | 167M| 0 |1090 |1650 | 113k| 113k|1650 | 113k| 2 | 0 | 0 | 5.500000e+02 | -- | Inf 1673.40/1673.98 c 1670s| 1 | 0 | 38456 | 174M| 0 |1090 |1650 | 113k| 113k|1650 | 113k| 3 | 0 | 0 | 5.500000e+02 | -- | Inf 1774.67/1775.25 c 1771s| 1 | 0 | 40527 | 179M| 0 |1090 |1650 | 113k| 113k|1650 | 113k| 4 | 0 | 0 | 5.500000e+02 | -- | Inf 1794.96/1795.52 c 1791s| 1 | 2 | 40527 | 179M| 0 |1090 |1650 | 113k| 113k|1650 | 113k| 4 | 0 | 0 | 5.500000e+02 | -- | Inf 1794.96/1795.52 c 1794.96/1795.52 c SCIP Status : solving was interrupted [time limit reached] 1794.96/1795.52 c Solving Time (sec) : 1791.02 1794.96/1795.52 c Solving Nodes : 1 1794.96/1795.52 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1794.96/1795.52 c Dual Bound : +5.50000000000000e+02 1794.96/1795.52 c Gap : infinite 1794.96/1795.52 c NODE 1 1794.96/1795.52 c DUAL BOUND 550 1794.96/1795.52 c PRIMAL BOUND 1e+20 1794.96/1795.52 c GAP 1e+20 1794.96/1795.52 s UNKNOWN 1794.96/1795.52 c SCIP Status : solving was interrupted [time limit reached] 1794.96/1795.52 c Solving Time : 1791.02 1794.96/1795.52 c Original Problem : 1794.96/1795.52 c Problem name : HOME/instance-1868407-1245124815.opb 1794.96/1795.52 c Variables : 1650 (1650 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.96/1795.52 c Constraints : 113164 initial, 113164 maximal 1794.96/1795.52 c Presolved Problem : 1794.96/1795.52 c Problem name : t_HOME/instance-1868407-1245124815.opb 1794.96/1795.52 c Variables : 1650 (1650 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.96/1795.52 c Constraints : 113164 initial, 113164 maximal 1794.96/1795.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.96/1795.52 c trivial : 0.00 0 0 0 0 0 0 0 0 1794.96/1795.52 c dualfix : 0.00 0 0 0 0 0 0 0 0 1794.96/1795.52 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.96/1795.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.96/1795.52 c implics : 0.00 0 0 0 0 0 0 0 0 1794.96/1795.52 c probing : 0.00 0 0 0 0 0 0 0 0 1794.96/1795.52 c setppc : 0.00 0 0 0 0 0 0 0 0 1794.96/1795.52 c logicor : 0.25 0 0 0 0 0 0 0 0 1794.96/1795.52 c root node : - 0 - - 0 - - - - 1794.96/1795.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.96/1795.52 c integral : 0 0 0 1 0 0 0 0 0 2 1794.96/1795.52 c setppc : 550 5 1 0 0 0 0 0 0 0 1794.96/1795.52 c logicor : 112614 5 1 0 0 0 0 0 0 0 1794.96/1795.52 c countsols : 0 0 0 0 0 0 0 0 0 0 1794.96/1795.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.96/1795.52 c integral : 0.00 0.00 0.00 0.00 0.00 1794.96/1795.52 c setppc : 0.00 0.00 0.00 0.00 0.00 1794.96/1795.52 c logicor : 0.21 0.07 0.14 0.00 0.00 1794.96/1795.52 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.96/1795.52 c Propagators : Time Calls Cutoffs DomReds 1794.96/1795.52 c rootredcost : 0.00 0 0 0 1794.96/1795.52 c pseudoobj : 0.00 2 0 0 1794.96/1795.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.96/1795.52 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1794.96/1795.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1794.96/1795.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.96/1795.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.96/1795.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.96/1795.52 c applied globally : - - - 0 0.0 - - - 1794.96/1795.52 c applied locally : - - - 0 0.0 - - - 1794.96/1795.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.96/1795.52 c cut pool : 0.02 4 - - 4 - (maximal pool size: 1918) 1794.96/1795.52 c redcost : 0.00 5 0 0 0 0 1794.96/1795.52 c impliedbounds : 0.00 5 0 0 0 0 1794.96/1795.52 c intobj : 0.00 0 0 0 0 0 1794.96/1795.52 c gomory : 395.56 5 0 0 0 0 1794.96/1795.52 c strongcg : 8.01 5 0 0 2000 0 1794.96/1795.52 c cmir : 0.00 0 0 0 0 0 1794.96/1795.52 c flowcover : 0.00 0 0 0 0 0 1794.96/1795.52 c clique : 0.11 5 0 0 0 0 1794.96/1795.52 c zerohalf : 0.00 0 0 0 0 0 1794.96/1795.52 c mcf : 0.39 1 0 0 0 0 1794.96/1795.52 c Pricers : Time Calls Vars 1794.96/1795.52 c problem variables: 0.00 0 0 1794.96/1795.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.96/1795.52 c relpscost : 0.00 1 0 0 0 0 2 1794.96/1795.52 c pscost : 0.00 0 0 0 0 0 0 1794.96/1795.52 c inference : 0.00 0 0 0 0 0 0 1794.96/1795.52 c mostinf : 0.00 0 0 0 0 0 0 1794.96/1795.52 c leastinf : 0.00 0 0 0 0 0 0 1794.96/1795.52 c fullstrong : 0.00 0 0 0 0 0 0 1794.96/1795.52 c allfullstrong : 0.00 0 0 0 0 0 0 1794.96/1795.52 c random : 0.00 0 0 0 0 0 0 1794.96/1795.52 c Primal Heuristics : Time Calls Found 1794.96/1795.52 c LP solutions : 0.00 - 0 1794.96/1795.52 c pseudo solutions : 0.00 - 0 1794.96/1795.52 c simplerounding : 0.00 0 0 1794.96/1795.52 c rounding : 0.00 0 0 1794.96/1795.52 c shifting : 0.00 0 0 1794.96/1795.52 c intshifting : 0.00 0 0 1794.96/1795.52 c oneopt : 0.00 0 0 1794.96/1795.52 c fixandinfer : 0.00 0 0 1794.96/1795.52 c feaspump : 0.00 0 0 1794.96/1795.52 c coefdiving : 0.00 0 0 1794.96/1795.52 c pscostdiving : 0.00 0 0 1794.96/1795.52 c fracdiving : 0.00 0 0 1794.96/1795.52 c veclendiving : 0.00 0 0 1794.96/1795.52 c intdiving : 0.00 0 0 1794.96/1795.52 c actconsdiving : 0.00 0 0 1794.96/1795.52 c objpscostdiving : 0.00 0 0 1794.96/1795.52 c rootsoldiving : 0.00 0 0 1794.96/1795.52 c linesearchdiving : 0.00 0 0 1794.96/1795.52 c guideddiving : 0.00 0 0 1794.96/1795.52 c octane : 0.00 0 0 1794.96/1795.52 c rens : 0.00 0 0 1794.96/1795.52 c rins : 0.00 0 0 1794.96/1795.52 c localbranching : 0.00 0 0 1794.96/1795.52 c mutation : 0.00 0 0 1794.96/1795.52 c crossover : 0.00 0 0 1794.96/1795.52 c dins : 0.00 0 0 1794.96/1795.52 c LP : Time Calls Iterations Iter/call Iter/sec 1794.96/1795.52 c primal LP : 0.00 0 0 0.00 - 1794.96/1795.52 c dual LP : 1384.41 5 40527 8105.40 29.27 1794.96/1795.52 c barrier LP : 0.00 0 0 0.00 - 1794.96/1795.52 c diving/probing LP: 0.00 0 0 0.00 - 1794.96/1795.52 c strong branching : 0.00 0 0 0.00 - 1794.96/1795.52 c (at root node) : - 0 0 0.00 - 1794.96/1795.52 c conflict analysis: 0.00 0 0 0.00 - 1794.96/1795.52 c B&B Tree : 1794.96/1795.52 c number of runs : 1 1794.96/1795.52 c nodes : 1 1794.96/1795.52 c nodes (total) : 1 1794.96/1795.52 c nodes left : 2 1794.96/1795.52 c max depth : 0 1794.96/1795.52 c max depth (total): 0 1794.96/1795.52 c backtracks : 0 (0.0%) 1794.96/1795.52 c delayed cutoffs : 0 1794.96/1795.52 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1794.96/1795.52 c avg switch length: 1.00 1794.96/1795.52 c switching time : 0.00 1794.96/1795.52 c Solution : 1794.96/1795.52 c Solutions found : 0 (0 improvements) 1794.96/1795.52 c Primal Bound : - 1794.96/1795.52 c Dual Bound : +5.50000000000000e+02 1794.96/1795.52 c Gap : infinite 1794.96/1795.52 c Root Dual Bound : +5.50000000000000e+02 1795.57/1796.10 c Time complete: 1795.57.
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-1868407-1245124815/watcher-1868407-1245124815 -o /tmp/evaluation-result-1868407-1245124815/solver-1868407-1245124815 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868407-1245124815.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1588 /proc/meminfo: memFree=1763184/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=5812 CPUtime=0 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 522 0 0 0 0 0 0 0 18 0 1 0 180082254 5951488 507 1992294400 4194304 9342243 548682068736 18446744073709551615 8142400 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 1454 516 345 1256 0 193 0 [startup+0.032571 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1588 /proc/meminfo: memFree=1763184/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=12136 CPUtime=0.02 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 1952 0 0 0 2 0 0 0 18 0 1 0 180082254 12427264 1936 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 3034 1945 376 1256 0 1773 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12136 [startup+0.102576 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1588 /proc/meminfo: memFree=1763184/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=14764 CPUtime=0.09 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 2668 0 0 0 9 0 0 0 18 0 1 0 180082254 15118336 2652 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 3691 2652 376 1256 0 2430 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14764 [startup+0.301598 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1588 /proc/meminfo: memFree=1763184/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=19108 CPUtime=0.29 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 3732 0 0 0 28 1 0 0 19 0 1 0 180082254 19566592 3716 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 4777 3716 376 1256 0 3516 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19108 [startup+0.701641 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1588 /proc/meminfo: memFree=1763184/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=27884 CPUtime=0.69 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 5950 0 0 0 67 2 0 0 22 0 1 0 180082254 28553216 5934 1992294400 4194304 9342243 548682068736 18446744073709551615 8235699 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 6971 5934 376 1256 0 5710 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27884 [startup+1.50173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1589 /proc/meminfo: memFree=1734504/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=45452 CPUtime=1.49 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 10321 0 0 0 146 3 0 0 25 0 1 0 180082254 46542848 10305 1992294400 4194304 9342243 548682068736 18446744073709551615 8236229 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 11363 10305 376 1256 0 10102 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45452 [startup+3.10191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1589 /proc/meminfo: memFree=1679144/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=191364 CPUtime=3.09 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 50408 0 0 0 281 28 0 0 25 0 1 0 180082254 195956736 46634 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 47841 46634 463 1256 0 46580 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 191364 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1589 /proc/meminfo: memFree=1440104/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=370656 CPUtime=6.29 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 85698 0 0 0 571 58 0 0 25 0 1 0 180082254 379551744 81670 1992294400 4194304 9342243 548682068736 18446744073709551615 6960768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 92664 81670 599 1256 0 91403 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 370656 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1589 /proc/meminfo: memFree=1421928/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=418132 CPUtime=12.69 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 89889 0 0 0 1208 61 0 0 25 0 1 0 180082254 428167168 85861 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 104533 85861 601 1256 0 103272 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 418132 [startup+25.5024 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1589 /proc/meminfo: memFree=1413928/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=427676 CPUtime=25.48 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 94806 0 0 0 2484 64 0 0 25 0 1 0 180082254 437940224 87710 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 106919 87710 627 1256 0 105658 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 427676 [startup+51.1023 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1413864/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=427676 CPUtime=51.07 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 94806 0 0 0 5041 66 0 0 25 0 1 0 180082254 437940224 87710 1992294400 4194304 9342243 548682068736 18446744073709551615 8245168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 106919 87710 627 1256 0 105658 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 427676 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1413928/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=427676 CPUtime=102.27 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 94806 0 0 0 10156 71 0 0 25 0 1 0 180082254 437940224 87710 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 106919 87710 627 1256 0 105658 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 427676 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1413928/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=427676 CPUtime=162.24 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 94806 0 0 0 16148 76 0 0 25 0 1 0 180082254 437940224 87710 1992294400 4194304 9342243 548682068736 18446744073709551615 6952853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 106919 87710 627 1256 0 105658 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 427676 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1387112/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=451492 CPUtime=222.23 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 102293 0 0 0 22141 82 0 0 25 0 1 0 180082254 462327808 94417 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 112873 94417 644 1256 0 111612 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 451492 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1399016/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=451484 CPUtime=282.2 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 110856 0 0 0 28132 88 0 0 25 0 1 0 180082254 462319616 91427 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 112871 91427 644 1256 0 111610 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 451484 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1398952/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=451484 CPUtime=342.19 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 110856 0 0 0 34127 92 0 0 25 0 1 0 180082254 462319616 91427 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 112871 91427 644 1256 0 111610 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 451484 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1398952/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=451484 CPUtime=402.17 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 110856 0 0 0 40122 95 0 0 25 0 1 0 180082254 462319616 91427 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 112871 91427 644 1256 0 111610 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 451484 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1378152/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=465768 CPUtime=462.16 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 116053 0 0 0 46114 102 0 0 25 0 1 0 180082254 476946432 96624 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 116442 96624 644 1256 0 115181 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 465768 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1366632/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=483876 CPUtime=522.13 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 120396 0 0 0 52108 105 0 0 25 0 1 0 180082254 495489024 99665 1992294400 4194304 9342243 548682068736 18446744073709551615 5868788 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 120969 99665 644 1256 0 119708 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 483876 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1346408/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=503120 CPUtime=582.12 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 133027 0 0 0 58097 115 0 0 25 0 1 0 180082254 515194880 104557 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 125780 104557 644 1256 0 124519 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 503120 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1343144/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=503684 CPUtime=642.11 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 141222 0 0 0 64090 121 0 0 25 0 1 0 180082254 515772416 105335 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 125921 105335 644 1256 0 124660 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 503684 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1353960/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=479264 CPUtime=1061.98 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 204708 0 0 0 106028 170 0 0 25 0 1 0 180082254 490766336 102583 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 119816 102583 644 1256 0 118555 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 479264 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1354792/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=478684 CPUtime=1121.97 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 207421 0 0 0 112024 173 0 0 25 0 1 0 180082254 490172416 102366 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 119671 102366 644 1256 0 118410 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 478684 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1354408/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=478284 CPUtime=1181.95 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 209707 0 0 0 118020 175 0 0 25 0 1 0 180082254 489762816 102469 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 119571 102469 644 1256 0 118310 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 478284 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1354216/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=477700 CPUtime=1241.93 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 211852 0 0 0 124016 177 0 0 25 0 1 0 180082254 489164800 102492 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 119425 102492 644 1256 0 118164 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 477700 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1354664/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=477124 CPUtime=1301.92 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 214493 0 0 0 130012 180 0 0 25 0 1 0 180082254 488574976 102356 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 119281 102356 644 1256 0 118020 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 477124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1353384/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=476492 CPUtime=1361.9 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 216210 0 0 0 136008 182 0 0 25 0 1 0 180082254 487927808 102672 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 119123 102672 644 1256 0 117862 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 476492 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1353192/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=468608 CPUtime=1421.88 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 217130 0 0 0 142004 184 0 0 25 0 1 0 180082254 479854592 102712 1992294400 4194304 9342243 548682068736 18446744073709551615 6962206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 117152 102712 644 1256 0 115891 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 468608 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1353128/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=468608 CPUtime=1481.86 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 217147 0 0 0 148001 185 0 0 25 0 1 0 180082254 479854592 102729 1992294400 4194304 9342243 548682068736 18446744073709551615 5868863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 117152 102729 644 1256 0 115891 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 468608 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1353000/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=468608 CPUtime=1541.84 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 217172 0 0 0 153998 186 0 0 25 0 1 0 180082254 479854592 102754 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 117152 102754 644 1256 0 115891 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 468608 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1350504/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=468608 CPUtime=1601.82 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 217787 0 0 0 159990 192 0 0 25 0 1 0 180082254 479854592 103369 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 117152 103369 644 1256 0 115891 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 468608 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1350120/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=468608 CPUtime=1661.8 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 217872 0 0 0 165987 193 0 0 25 0 1 0 180082254 479854592 103454 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 117152 103454 644 1256 0 115891 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 468608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1341864/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=473112 CPUtime=1721.79 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 219936 0 0 0 171978 201 0 0 25 0 1 0 180082254 484466688 105518 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 118278 105518 644 1256 0 117017 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 473112 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1340456/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=473112 CPUtime=1781.77 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 220264 0 0 0 177974 203 0 0 25 0 1 0 180082254 484466688 105846 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 118278 105846 644 1256 0 117017 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 473112 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 1594 /proc/meminfo: memFree=1340456/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=473112 CPUtime=1784.97 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 220264 0 0 0 178294 203 0 0 25 0 1 0 180082254 484466688 105846 1992294400 4194304 9342243 548682068736 18446744073709551615 6939152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 118278 105846 644 1256 0 117017 0 Current children cumulated CPU time (s) 1784.97 Current children cumulated vsize (KiB) 473112 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1340456/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=473112 CPUtime=1791.37 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 220264 0 0 0 178932 205 0 0 25 0 1 0 180082254 484466688 105846 1992294400 4194304 9342243 548682068736 18446744073709551615 6939168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 118278 105846 644 1256 0 117017 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 473112 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1340456/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=473112 CPUtime=1792.97 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 220264 0 0 0 179092 205 0 0 25 0 1 0 180082254 484466688 105846 1992294400 4194304 9342243 548682068736 18446744073709551615 6237448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 118278 105846 644 1256 0 117017 0 Current children cumulated CPU time (s) 1792.97 Current children cumulated vsize (KiB) 473112 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1340456/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=473112 CPUtime=1794.57 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 220264 0 0 0 179252 205 0 0 25 0 1 0 180082254 484466688 105846 1992294400 4194304 9342243 548682068736 18446744073709551615 4338830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1588/statm: 118278 105846 644 1256 0 117017 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 473112 [startup+1795.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1340456/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=473112 CPUtime=1795.36 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 220278 0 0 0 179331 205 0 0 25 0 1 0 180082254 484466688 105860 1992294400 4194304 9342243 548682068736 18446744073709551615 4211392 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 118278 105860 656 1256 0 117017 0 Current children cumulated CPU time (s) 1795.36 Current children cumulated vsize (KiB) 473112 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1594 /proc/meminfo: memFree=1340456/2055920 swapFree=4191900/4192956 [pid=1588] ppid=1586 vsize=44492 CPUtime=1795.57 /proc/1588/stat : 1588 (pbscip.linux.x8) R 1586 1588 501 0 -1 4194304 220283 0 0 0 179345 212 0 0 25 0 1 0 180082254 45559808 10479 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/1588/statm: 11123 10479 6733 1256 0 9862 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (KiB) 44492 Child status: 0 Real time (s): 1796.11 CPU time (s): 1795.58 CPU user time (s): 1793.45 CPU system time (s): 2.12868 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 503708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.45 system time used= 2.12868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 220286 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2902 runsolver used 1.55576 second user time and 3.9194 second system time The end
Begin job on node9 at 2009-06-16 06:00:16 IDJOB=1868407 IDBENCH=1370 IDSOLVER=684 FILE ID=node9/1868407-1245124815 PBS_JOBID= 9363670 Free space on /tmp= 66156 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/vdw/normalized-vdw_k3_l5_n550.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-1868407-1245124815/watcher-1868407-1245124815 -o /tmp/evaluation-result-1868407-1245124815/solver-1868407-1245124815 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868407-1245124815.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b656932a938990470d09f3771b5047c2 RANDOM SEED=2088159662 node9.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.231 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.231 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: 1763600 kB Buffers: 28844 kB Cached: 196452 kB SwapCached: 260 kB Active: 83032 kB Inactive: 155056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763600 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 17268 kB Writeback: 0 kB Mapped: 21944 kB Slab: 40252 kB Committed_AS: 148652 kB PageTables: 1392 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= 66144 MiB End job on node9 at 2009-06-16 06:30:12