Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1794.55 | 1795.18 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb |
MD5SUM | 28d827e98d8e81c3ff9d9e47a6238269 |
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 | 3.54846 |
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 | 4644 |
Total number of constraints | 31254 |
Number of constraints which are clauses | 30228 |
Number of constraints which are cardinality constraints (but not clauses) | 948 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 104 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.39/0.49 c SCIP version 1.1.0.7 0.39/0.49 c LP-Solver Clp 1.8.2 0.39/0.49 c user parameter file <scip.set> not found - using default parameters 0.39/0.49 c read problem <HOME/instance-1868659-1245131315.opb> 0.39/0.49 c original problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints 0.59/0.62 c No objective function, only one solution is needed. 0.59/0.62 c start presolving problem 0.59/0.62 c presolving: 0.89/0.95 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31254 upgd conss, 0 impls, 948 clqs 1.00/1.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 31254 upgd conss, 0 impls, 1380 clqs 1.00/1.10 c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 6 chg sides, 294 chg coeffs, 31254 upgd conss, 0 impls, 1380 clqs 1.09/1.15 c presolving (4 rounds): 1.09/1.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 294 changed coefficients 1.09/1.15 c 0 implications, 1380 cliques 1.09/1.15 c presolved problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints 1.09/1.15 c 78 constraints of type <knapsack> 1.09/1.15 c 948 constraints of type <setppc> 1.09/1.15 c 30228 constraints of type <logicor> 1.09/1.15 c transformed objective value is always integral (scale: 1) 1.09/1.15 c Presolving Time: 0.44 1.09/1.15 c SATUNSAT-LIN 1.09/1.15 c ----------------------------------------------------------------------------------------------- 1.09/1.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.15 c separating/flowcover/freq = c -1 1.09/1.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.15 c separating/cmir/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/veclendiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.09/1.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/veclendiving/freq = c -1 1.09/1.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/simplerounding/freq = c -1 1.09/1.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/shifting/freq = c -1 1.09/1.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/rounding/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.09/1.15 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.09/1.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.15 c heuristics/rootsoldiving/freq = c -1 1.09/1.15 c # number of nodes added to the contingent of the total nodes 1.09/1.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.09/1.15 c heuristics/rens/nodesofs = c 2000 1.09/1.15 c # minimum percentage of integer variables that have to be fixable 1.09/1.15 c # [type: real, range: [0,1], default: 0.5] 1.09/1.15 c heuristics/rens/minfixingrate = c 0.3 1.09/1.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.15 c heuristics/rens/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.09/1.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/pscostdiving/freq = c -1 1.09/1.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.15 c heuristics/oneopt/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to total iteration number 1.09/1.15 c # [type: real, range: [0,1], default: 0.01] 1.09/1.15 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.09/1.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.15 c heuristics/objpscostdiving/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.09/1.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/linesearchdiving/freq = c -1 1.09/1.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/intshifting/freq = c -1 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/intdiving/maxlpiterquot = c 0.075 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/guideddiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.09/1.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/guideddiving/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/fracdiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.09/1.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/fracdiving/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/feaspump/maxlpiterofs = c 2000 1.09/1.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.15 c heuristics/feaspump/freq = c -1 1.09/1.15 c # minimum percentage of integer variables that have to be fixed 1.09/1.15 c # [type: real, range: [0,1], default: 0.666] 1.09/1.15 c heuristics/crossover/minfixingrate = c 0.5 1.09/1.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.09/1.15 c # [type: real, range: [0,1], default: 0.1] 1.09/1.15 c heuristics/crossover/nodesquot = c 0.15 1.09/1.15 c # number of nodes without incumbent change that heuristic should wait 1.09/1.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.09/1.15 c heuristics/crossover/nwaitingnodes = c 100 1.09/1.15 c # number of nodes added to the contingent of the total nodes 1.09/1.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.09/1.15 c heuristics/crossover/nodesofs = c 750 1.09/1.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 30] 1.09/1.15 c heuristics/crossover/freq = c -1 1.09/1.15 c # additional number of allowed LP iterations 1.09/1.15 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.15 c heuristics/coefdiving/maxlpiterofs = c 1500 1.09/1.15 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.15 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.09/1.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.15 c heuristics/coefdiving/freq = c -1 1.09/1.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.15 c presolving/probing/maxrounds = c 0 1.09/1.15 c # should presolving try to simplify knapsacks 1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.09/1.15 c constraints/knapsack/simplifyinequalities = c TRUE 1.09/1.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.09/1.15 c constraints/knapsack/disaggregation = c FALSE 1.09/1.15 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.15 c constraints/knapsack/maxnumcardlift = c 0 1.09/1.15 c # should presolving try to simplify inequalities 1.09/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.09/1.16 c constraints/linear/simplifyinequalities = c TRUE 1.09/1.16 c # maximal number of separation rounds in the root node (-1: unlimited) 1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.16 c separating/maxroundsroot = c 5 1.09/1.16 c # maximal number of separation rounds per node (-1: unlimited) 1.09/1.16 c # [type: int, range: [-1,2147483647], default: 5] 1.09/1.16 c separating/maxrounds = c 1 1.09/1.16 c # solving stops, if the given number of solutions were found (-1: no limit) 1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.16 c limits/solutions = c 1 1.09/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.09/1.16 c limits/memory = c 1620 1.09/1.16 c # maximal time in seconds to run 1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.09/1.16 c limits/time = c 1791 1.09/1.16 c # frequency for displaying node information lines 1.09/1.16 c # [type: int, range: [-1,2147483647], default: 100] 1.09/1.16 c display/freq = c 10000 1.09/1.16 c ----------------------------------------------------------------------------------------------- 1.09/1.16 c start solving problem 1.09/1.16 c 6.38/6.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.38/6.46 c 5.8s| 1 | 0 | 1660 | 44M| 0 | 694 |4644 | 31k| 31k|4644 | 31k| 0 | 0 | 0 | 1.740000e+02 | -- | Inf 41.97/42.02 c 41.3s| 1 | 0 | 3439 | 52M| 0 | 869 |4644 | 31k| 31k|4644 | 31k| 42 | 0 | 0 | 1.740000e+02 | -- | Inf 92.15/92.29 c 91.5s| 1 | 0 | 5562 | 56M| 0 | 879 |4644 | 31k| 31k|4644 | 31k| 81 | 0 | 0 | 1.740000e+02 | -- | Inf 157.43/157.54 c 157s| 1 | 0 | 7800 | 61M| 0 | 918 |4644 | 31k| 31k|4644 | 31k| 102 | 0 | 0 | 1.740000e+02 | -- | Inf 219.20/219.32 c 218s| 1 | 0 | 8447 | 66M| 0 | 912 |4644 | 31k| 31k|4644 | 31k| 120 | 0 | 0 | 1.740000e+02 | -- | Inf 238.00/238.18 c 237s| 1 | 0 | 9755 | 67M| 0 | 872 |4644 | 31k| 31k|4644 | 31k| 133 | 0 | 0 | 1.740000e+02 | -- | Inf 355.75/355.99 c 355s| 1 | 2 | 9755 | 67M| 0 | 872 |4644 | 31k| 31k|4644 | 31k| 133 | 0 | 33 | 1.740000e+02 | -- | Inf 1794.36/1795.01 c 1794.36/1795.01 c SCIP Status : solving was interrupted [time limit reached] 1794.36/1795.01 c Solving Time (sec) : 1791.01 1794.36/1795.01 c Solving Nodes : 215 1794.36/1795.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1794.36/1795.01 c Dual Bound : +1.74000000000000e+02 1794.36/1795.01 c Gap : infinite 1794.36/1795.01 c NODE 215 1794.36/1795.01 c DUAL BOUND 174 1794.36/1795.01 c PRIMAL BOUND 1e+20 1794.36/1795.01 c GAP 1e+20 1794.36/1795.01 s UNKNOWN 1794.36/1795.01 c SCIP Status : solving was interrupted [time limit reached] 1794.36/1795.01 c Solving Time : 1791.01 1794.36/1795.01 c Original Problem : 1794.36/1795.01 c Problem name : HOME/instance-1868659-1245131315.opb 1794.36/1795.01 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.36/1795.01 c Constraints : 31254 initial, 31254 maximal 1794.36/1795.01 c Presolved Problem : 1794.36/1795.01 c Problem name : t_HOME/instance-1868659-1245131315.opb 1794.36/1795.01 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.36/1795.01 c Constraints : 31254 initial, 31254 maximal 1794.36/1795.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.36/1795.01 c trivial : 0.01 0 0 0 0 0 0 0 0 1794.36/1795.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 1794.36/1795.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.36/1795.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.36/1795.01 c implics : 0.00 0 0 0 0 0 0 0 0 1794.36/1795.01 c probing : 0.00 0 0 0 0 0 0 0 0 1794.36/1795.01 c knapsack : 0.03 0 0 0 0 0 0 6 294 1794.36/1795.01 c setppc : 0.02 0 0 0 0 0 0 0 0 1794.36/1795.01 c logicor : 0.14 0 0 0 0 0 0 0 0 1794.36/1795.01 c root node : - 0 - - 0 - - - - 1794.36/1795.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.36/1795.01 c integral : 0 0 0 214 0 0 0 0 0 428 1794.36/1795.01 c knapsack : 78 5 428 0 1 0 1325 74 0 0 1794.36/1795.01 c setppc : 948 5 428 0 1 0 3248 0 0 0 1794.36/1795.01 c logicor : 30228 5 167 0 1 0 15 0 0 0 1794.36/1795.01 c countsols : 0 0 0 0 1 0 0 0 0 0 1794.36/1795.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.36/1795.01 c integral : 948.90 0.00 0.00 948.90 0.00 1794.36/1795.01 c knapsack : 0.03 0.00 0.03 0.00 0.00 1794.36/1795.01 c setppc : 0.03 0.00 0.02 0.00 0.01 1794.36/1795.01 c logicor : 0.07 0.02 0.05 0.00 0.00 1794.36/1795.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.36/1795.01 c Propagators : Time Calls Cutoffs DomReds 1794.36/1795.01 c rootredcost : 0.01 0 0 0 1794.36/1795.01 c pseudoobj : 0.22 429 0 0 1794.36/1795.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.36/1795.01 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1794.36/1795.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1794.36/1795.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.36/1795.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.36/1795.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.36/1795.01 c applied globally : - - - 0 0.0 - - - 1794.36/1795.01 c applied locally : - - - 0 0.0 - - - 1794.36/1795.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.36/1795.01 c cut pool : 0.01 4 - - 24 - (maximal pool size: 640) 1794.36/1795.01 c redcost : 0.17 218 0 0 0 0 1794.36/1795.01 c impliedbounds : 0.01 5 0 0 0 0 1794.36/1795.01 c intobj : 0.00 0 0 0 0 0 1794.36/1795.01 c gomory : 113.18 5 0 0 2500 0 1794.36/1795.01 c strongcg : 69.53 5 0 0 2500 0 1794.36/1795.01 c cmir : 0.00 0 0 0 0 0 1794.36/1795.01 c flowcover : 0.00 0 0 0 0 0 1794.36/1795.01 c clique : 0.18 5 0 0 33 0 1794.36/1795.01 c zerohalf : 0.00 0 0 0 0 0 1794.36/1795.01 c mcf : 0.05 1 0 0 0 0 1794.36/1795.01 c Pricers : Time Calls Vars 1794.36/1795.01 c problem variables: 0.00 0 0 1794.36/1795.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.36/1795.01 c relpscost : 948.90 214 0 0 0 0 428 1794.36/1795.01 c pscost : 0.00 0 0 0 0 0 0 1794.36/1795.01 c inference : 0.00 1 0 0 0 0 2 1794.36/1795.01 c mostinf : 0.00 0 0 0 0 0 0 1794.36/1795.01 c leastinf : 0.00 0 0 0 0 0 0 1794.36/1795.01 c fullstrong : 0.00 0 0 0 0 0 0 1794.36/1795.01 c allfullstrong : 0.00 0 0 0 0 0 0 1794.36/1795.01 c random : 0.00 0 0 0 0 0 0 1794.36/1795.01 c Primal Heuristics : Time Calls Found 1794.36/1795.01 c LP solutions : 0.00 - 0 1794.36/1795.01 c pseudo solutions : 0.00 - 0 1794.36/1795.01 c simplerounding : 0.00 0 0 1794.36/1795.01 c rounding : 0.00 0 0 1794.36/1795.01 c shifting : 0.00 0 0 1794.36/1795.01 c intshifting : 0.00 0 0 1794.36/1795.01 c oneopt : 0.00 0 0 1794.36/1795.01 c fixandinfer : 0.00 0 0 1794.36/1795.01 c feaspump : 0.00 0 0 1794.36/1795.01 c coefdiving : 0.00 0 0 1794.36/1795.01 c pscostdiving : 0.00 0 0 1794.36/1795.01 c fracdiving : 0.00 0 0 1794.36/1795.01 c veclendiving : 0.00 0 0 1794.36/1795.01 c intdiving : 0.00 0 0 1794.36/1795.01 c actconsdiving : 0.00 0 0 1794.36/1795.01 c objpscostdiving : 0.00 0 0 1794.36/1795.01 c rootsoldiving : 0.00 0 0 1794.36/1795.01 c linesearchdiving : 0.00 0 0 1794.36/1795.01 c guideddiving : 0.00 0 0 1794.36/1795.01 c octane : 0.00 0 0 1794.36/1795.01 c rens : 0.00 0 0 1794.36/1795.01 c rins : 0.00 0 0 1794.36/1795.01 c localbranching : 0.00 0 0 1794.36/1795.01 c mutation : 0.00 0 0 1794.36/1795.01 c crossover : 0.00 0 0 1794.36/1795.01 c dins : 0.00 0 0 1794.36/1795.01 c LP : Time Calls Iterations Iter/call Iter/sec 1794.36/1795.01 c primal LP : 3.37 0 0 0.00 0.00 1794.36/1795.01 c dual LP : 652.05 220 207057 941.17 317.55 1794.36/1795.01 c barrier LP : 0.00 0 0 0.00 - 1794.36/1795.01 c diving/probing LP: 0.00 0 0 0.00 - 1794.36/1795.01 c strong branching : 948.81 501 224829 448.76 236.96 1794.36/1795.01 c (at root node) : - 33 19786 599.58 - 1794.36/1795.01 c conflict analysis: 0.00 0 0 0.00 - 1794.36/1795.01 c B&B Tree : 1794.36/1795.01 c number of runs : 1 1794.36/1795.01 c nodes : 215 1794.36/1795.01 c nodes (total) : 215 1794.36/1795.01 c nodes left : 216 1794.36/1795.01 c max depth : 29 1794.36/1795.01 c max depth (total): 29 1794.36/1795.01 c backtracks : 16 (7.4%) 1794.36/1795.01 c delayed cutoffs : 0 1794.36/1795.01 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1794.36/1795.01 c avg switch length: 2.06 1794.36/1795.01 c switching time : 3.49 1794.36/1795.01 c Solution : 1794.36/1795.01 c Solutions found : 0 (0 improvements) 1794.36/1795.01 c Primal Bound : - 1794.36/1795.01 c Dual Bound : +1.74000000000000e+02 1794.36/1795.01 c Gap : infinite 1794.36/1795.01 c Root Dual Bound : +1.74000000000000e+02 1794.47/1795.17 c Time complete: 1794.53.
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-1868659-1245131315/watcher-1868659-1245131315 -o /tmp/evaluation-result-1868659-1245131315/solver-1868659-1245131315 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868659-1245131315.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: 0.99 0.98 0.99 3/64 6708 /proc/meminfo: memFree=1677312/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=5812 CPUtime=0 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 180731479 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/6708/statm: 1453 501 332 1256 0 192 0 [startup+0.025948 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6708 /proc/meminfo: memFree=1677312/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=12784 CPUtime=0.01 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 2175 0 0 0 1 0 0 0 18 0 1 0 180731479 13090816 2159 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/6708/statm: 3196 2159 376 1256 0 1935 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12784 [startup+0.10196 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6708 /proc/meminfo: memFree=1677312/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=17068 CPUtime=0.09 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 3252 0 0 0 8 1 0 0 18 0 1 0 180731479 17477632 3236 1992294400 4194304 9342243 548682068736 18446744073709551615 7635735 0 0 4096 0 0 0 0 17 1 0 0 /proc/6708/statm: 4267 3236 376 1256 0 3006 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17068 [startup+0.301993 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6708 /proc/meminfo: memFree=1677312/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=22888 CPUtime=0.29 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 4689 0 0 0 28 1 0 0 19 0 1 0 180731479 23437312 4673 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0 /proc/6708/statm: 5722 4673 376 1256 0 4461 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22888 [startup+0.70106 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6708 /proc/meminfo: memFree=1677312/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=54476 CPUtime=0.69 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 12792 0 0 0 63 6 0 0 22 0 1 0 180731479 55783424 12422 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 13619 12422 457 1256 0 12358 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54476 [startup+1.50119 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6709 /proc/meminfo: memFree=1616568/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=103444 CPUtime=1.49 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 23072 0 0 0 132 17 0 0 18 0 1 0 180731479 105926656 21850 1992294400 4194304 9342243 548682068736 18446744073709551615 6496551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 25861 21850 608 1256 0 24600 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103444 [startup+3.10246 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6709 /proc/meminfo: memFree=1588152/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=106212 CPUtime=3.09 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 24681 0 0 0 291 18 0 0 25 0 1 0 180731479 108761088 23397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 26553 23397 611 1256 0 25292 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106212 [startup+6.30199 s] /proc/loadavg: 1.07 1.00 1.00 2/65 6709 /proc/meminfo: memFree=1584056/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=107292 CPUtime=6.28 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 25618 0 0 0 610 18 0 0 25 0 1 0 180731479 109867008 23717 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 26823 23717 611 1256 0 25562 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 107292 [startup+12.7011 s] /proc/loadavg: 1.07 1.00 1.00 2/65 6709 /proc/meminfo: memFree=1583864/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=107692 CPUtime=12.67 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 26311 0 0 0 1248 19 0 0 25 0 1 0 180731479 110276608 23874 1992294400 4194304 9342243 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 26923 23874 632 1256 0 25662 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 107692 [startup+25.5012 s] /proc/loadavg: 1.05 1.00 1.00 2/65 6709 /proc/meminfo: memFree=1576440/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=112584 CPUtime=25.47 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 28205 0 0 0 2526 21 0 0 25 0 1 0 180731479 115286016 25768 1992294400 4194304 9342243 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 28146 25768 633 1256 0 26885 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 112584 [startup+51.1014 s] /proc/loadavg: 1.03 1.00 1.00 2/65 6709 /proc/meminfo: memFree=1563704/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=129108 CPUtime=51.06 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 31375 0 0 0 5080 26 0 0 25 0 1 0 180731479 132206592 28938 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 32277 28938 645 1256 0 31016 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 129108 [startup+102.306 s] /proc/loadavg: 1.01 1.00 1.00 2/65 6709 /proc/meminfo: memFree=1553720/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=139284 CPUtime=102.26 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 34263 0 0 0 10193 33 0 0 25 0 1 0 180731479 142626816 31430 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 34821 31430 645 1256 0 33560 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 139284 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6709 /proc/meminfo: memFree=1546744/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=144912 CPUtime=162.23 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 36216 0 0 0 16185 38 0 0 25 0 1 0 180731479 148389888 33165 1992294400 4194304 9342243 548682068736 18446744073709551615 8050802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 36228 33165 645 1256 0 34967 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 144912 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1537848/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=152732 CPUtime=222.2 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 38402 0 0 0 22177 43 0 0 25 0 1 0 180731479 156397568 35351 1992294400 4194304 9342243 548682068736 18446744073709551615 4386008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 38183 35351 645 1256 0 36922 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 152732 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1534200/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=171528 CPUtime=282.19 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 44520 0 0 0 28167 52 0 0 25 0 1 0 180731479 175644672 36244 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42882 36244 650 1256 0 41621 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 171528 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1534264/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=171528 CPUtime=342.17 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 52149 0 0 0 34158 59 0 0 25 0 1 0 180731479 175644672 36244 1992294400 4194304 9342243 548682068736 18446744073709551615 6978102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42882 36244 650 1256 0 41621 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 171528 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1534008/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=168720 CPUtime=402.15 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 61998 0 0 0 40147 68 0 0 25 0 1 0 180731479 172769280 36320 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42180 36320 666 1256 0 40919 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 168720 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1532984/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=168240 CPUtime=462.12 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 73581 0 0 0 46137 75 0 0 25 0 1 0 180731479 172277760 36554 1992294400 4194304 9342243 548682068736 18446744073709551615 6960598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42060 36554 666 1256 0 40799 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 168240 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1533304/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=167340 CPUtime=522.1 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 88118 0 0 0 52125 85 0 0 25 0 1 0 180731479 171356160 36482 1992294400 4194304 9342243 548682068736 18446744073709551615 6966123 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 41835 36482 666 1256 0 40574 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 167340 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1532216/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=167256 CPUtime=582.08 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 109251 0 0 0 58107 101 0 0 25 0 1 0 180731479 171270144 36768 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 41814 36768 666 1256 0 40553 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 167256 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6711 /proc/meminfo: memFree=1532408/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=166920 CPUtime=642.07 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 135153 0 0 0 64086 121 0 0 25 0 1 0 180731479 170926080 36707 1992294400 4194304 9342243 548682068736 18446744073709551615 6960644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 41730 36707 666 1256 0 40469 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 166920 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1533560/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=155232 CPUtime=1061.91 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 222016 0 0 0 105987 204 0 0 25 0 1 0 180731479 158957568 36389 1992294400 4194304 9342243 548682068736 18446744073709551615 6960231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 38808 36389 667 1256 0 37547 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 155232 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1533560/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=155228 CPUtime=1121.89 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 225240 0 0 0 111978 211 0 0 25 0 1 0 180731479 158953472 36398 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 38807 36398 667 1256 0 37546 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 155228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1533112/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=155204 CPUtime=1181.87 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 226132 0 0 0 117970 217 0 0 25 0 1 0 180731479 158928896 36460 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 38801 36460 667 1256 0 37540 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 155204 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1533688/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=151992 CPUtime=1241.85 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 231707 0 0 0 123959 226 0 0 25 0 1 0 180731479 155639808 36299 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 37998 36299 667 1256 0 36737 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 151992 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1532984/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=168260 CPUtime=1301.83 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 232640 0 0 0 129951 232 0 0 25 0 1 0 180731479 172298240 36511 1992294400 4194304 9342243 548682068736 18446744073709551615 5868839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42065 36511 667 1256 0 40804 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 168260 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1532920/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=168284 CPUtime=1361.8 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 232974 0 0 0 135942 238 0 0 25 0 1 0 180731479 172322816 36510 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42071 36510 667 1256 0 40810 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 168284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1530552/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=170136 CPUtime=1421.79 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 234366 0 0 0 141935 244 0 0 25 0 1 0 180731479 174219264 37099 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42534 37099 667 1256 0 41273 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 170136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531896/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=168964 CPUtime=1481.76 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 236095 0 0 0 147925 251 0 0 25 0 1 0 180731479 173019136 36758 1992294400 4194304 9342243 548682068736 18446744073709551615 6978102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42241 36758 667 1256 0 40980 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 168964 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531896/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=168704 CPUtime=1541.74 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 237048 0 0 0 153917 257 0 0 25 0 1 0 180731479 172752896 36745 1992294400 4194304 9342243 548682068736 18446744073709551615 6970142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 42176 36745 667 1256 0 40915 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 168704 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1532088/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=155044 CPUtime=1601.73 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 238075 0 0 0 159910 263 0 0 25 0 1 0 180731479 158765056 36662 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 38761 36662 667 1256 0 37500 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 155044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1533304/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=155040 CPUtime=1661.71 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 244318 0 0 0 165900 271 0 0 25 0 1 0 180731479 158760960 36375 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 38760 36375 667 1256 0 37499 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 155040 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531960/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157320 CPUtime=1721.68 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246019 0 0 0 171890 278 0 0 25 0 1 0 180731479 161095680 36712 1992294400 4194304 9342243 548682068736 18446744073709551615 6968858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 39330 36712 667 1256 0 38069 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 157320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531448/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157264 CPUtime=1781.67 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246952 0 0 0 177879 288 0 0 25 0 1 0 180731479 161038336 36823 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 39316 36823 667 1256 0 38055 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 157264 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 6717 /proc/meminfo: memFree=1531448/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157264 CPUtime=1784.87 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246957 0 0 0 178199 288 0 0 25 0 1 0 180731479 161038336 36828 1992294400 4194304 9342243 548682068736 18446744073709551615 6968835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 39316 36828 667 1256 0 38055 0 Current children cumulated CPU time (s) 1784.87 Current children cumulated vsize (KiB) 157264 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531448/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157264 CPUtime=1791.26 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246961 0 0 0 178838 288 0 0 25 0 1 0 180731479 161038336 36832 1992294400 4194304 9342243 548682068736 18446744073709551615 6959735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 39316 36832 667 1256 0 38055 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 157264 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531448/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157264 CPUtime=1792.86 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246961 0 0 0 178998 288 0 0 25 0 1 0 180731479 161038336 36832 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 39316 36832 667 1256 0 38055 0 Current children cumulated CPU time (s) 1792.86 Current children cumulated vsize (KiB) 157264 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531448/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157264 CPUtime=1793.66 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246961 0 0 0 179077 289 0 0 25 0 1 0 180731479 161038336 36832 1992294400 4194304 9342243 548682068736 18446744073709551615 6962206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 39316 36832 667 1256 0 38055 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (KiB) 157264 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531448/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157264 CPUtime=1794.06 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246961 0 0 0 179117 289 0 0 25 0 1 0 180731479 161038336 36832 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6708/statm: 39316 36832 667 1256 0 38055 0 Current children cumulated CPU time (s) 1794.06 Current children cumulated vsize (KiB) 157264 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6717 /proc/meminfo: memFree=1531448/2055920 swapFree=4180828/4192956 [pid=6708] ppid=6706 vsize=157264 CPUtime=1794.47 /proc/6708/stat : 6708 (pbscip.linux.x8) R 6706 6708 6590 0 -1 4194304 246966 0 0 0 179158 289 0 0 25 0 1 0 180731479 161038336 36837 1992294400 4194304 9342243 548682068736 18446744073709551615 4211501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6708/statm: 39316 36837 672 1256 0 38055 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 157264 Child status: 0 Real time (s): 1795.18 CPU time (s): 1794.55 CPU user time (s): 1791.63 CPU system time (s): 2.91956 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 171932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.63 system time used= 2.91956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 246974 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= 2637 runsolver used 1.3178 second user time and 3.85441 second system time The end
Begin job on node31 at 2009-06-16 07:48:36 IDJOB=1868659 IDBENCH=1496 IDSOLVER=684 FILE ID=node31/1868659-1245131315 PBS_JOBID= 9363720 Free space on /tmp= 66272 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.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-1868659-1245131315/watcher-1868659-1245131315 -o /tmp/evaluation-result-1868659-1245131315/solver-1868659-1245131315 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868659-1245131315.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28d827e98d8e81c3ff9d9e47a6238269 RANDOM SEED=412917180 node31.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.258 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.258 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: 1677792 kB Buffers: 40556 kB Cached: 260788 kB SwapCached: 5132 kB Active: 46856 kB Inactive: 262584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1677792 kB SwapTotal: 4192956 kB SwapFree: 4180828 kB Dirty: 12816 kB Writeback: 0 kB Mapped: 13812 kB Slab: 54428 kB Committed_AS: 159132 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66260 MiB End job on node31 at 2009-06-16 08:18:31