Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1796.09 | 1796.8 |
Name | /PURE-SAT/SAT_RACE08/ cnf/schup-l2s-abp4-1-k31.opb |
MD5SUM | 43649fafee1f178a480cf104dcf0c6a1 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 509.069 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14809 |
Total number of constraints | 48483 |
Number of constraints which are clauses | 48483 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 33 |
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 | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 64 |
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.69/0.74 c SCIP version 1.1.0.7 0.69/0.74 c LP-Solver Clp 1.8.2 0.69/0.74 c user parameter file <scip.set> not found - using default parameters 0.69/0.74 c read problem <HOME/instance-1884378-1245257631.opb> 0.69/0.74 c original problem has 14809 variables (14809 bin, 0 int, 0 impl, 0 cont) and 48483 constraints 0.89/0.95 c No objective function, only one solution is needed. 0.89/0.95 c start presolving problem 0.89/0.95 c presolving: 1.59/1.62 c (round 1) 1401 del vars, 344 del conss, 71 chg bounds, 6 chg sides, 8 chg coeffs, 0 upgd conss, 562750 impls, 0 clqs 1.68/1.71 c (round 2) 1612 del vars, 4060 del conss, 193 chg bounds, 30 chg sides, 37 chg coeffs, 0 upgd conss, 568261 impls, 0 clqs 1.68/1.76 c (round 3) 1668 del vars, 4407 del conss, 227 chg bounds, 33 chg sides, 40 chg coeffs, 0 upgd conss, 569917 impls, 0 clqs 1.79/1.80 c (round 4) 1671 del vars, 4460 del conss, 228 chg bounds, 33 chg sides, 40 chg coeffs, 0 upgd conss, 569917 impls, 0 clqs 2.19/2.22 c (round 5) 1671 del vars, 4886 del conss, 228 chg bounds, 33 chg sides, 40 chg coeffs, 43597 upgd conss, 569917 impls, 0 clqs 2.29/2.31 c presolving (6 rounds): 2.29/2.31 c 1671 deleted vars, 4886 deleted constraints, 228 tightened bounds, 0 added holes, 33 changed sides, 40 changed coefficients 2.29/2.31 c 569917 implications, 0 cliques 2.29/2.31 c presolved problem has 13138 variables (13138 bin, 0 int, 0 impl, 0 cont) and 43597 constraints 2.29/2.31 c 43597 constraints of type <logicor> 2.29/2.31 c transformed objective value is always integral (scale: 1) 2.29/2.31 c Presolving Time: 1.19 2.29/2.31 c PURESAT 2.29/2.31 c ----------------------------------------------------------------------------------------------- 2.29/2.31 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 0] 2.29/2.31 c separating/flowcover/freq = c -1 2.29/2.31 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 0] 2.29/2.31 c separating/cmir/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/veclendiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.29/2.31 c heuristics/veclendiving/maxlpiterquot = c 0.075 2.29/2.31 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/veclendiving/freq = c -1 2.29/2.31 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 1] 2.29/2.31 c heuristics/simplerounding/freq = c -1 2.29/2.31 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/shifting/freq = c -1 2.29/2.31 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 1] 2.29/2.31 c heuristics/rounding/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/rootsoldiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 2.29/2.31 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 2.29/2.31 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 20] 2.29/2.31 c heuristics/rootsoldiving/freq = c -1 2.29/2.31 c # number of nodes added to the contingent of the total nodes 2.29/2.31 c # [type: longint, range: [0,9223372036854775807], default: 500] 2.29/2.31 c heuristics/rens/nodesofs = c 2000 2.29/2.31 c # minimum percentage of integer variables that have to be fixable 2.29/2.31 c # [type: real, range: [0,1], default: 0.5] 2.29/2.31 c heuristics/rens/minfixingrate = c 0.3 2.29/2.31 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 0] 2.29/2.31 c heuristics/rens/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/pscostdiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.29/2.31 c heuristics/pscostdiving/maxlpiterquot = c 0.075 2.29/2.31 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/pscostdiving/freq = c -1 2.29/2.31 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 1] 2.29/2.31 c heuristics/oneopt/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/objpscostdiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to total iteration number 2.29/2.31 c # [type: real, range: [0,1], default: 0.01] 2.29/2.31 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 2.29/2.31 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 20] 2.29/2.31 c heuristics/objpscostdiving/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/linesearchdiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.29/2.31 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 2.29/2.31 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/linesearchdiving/freq = c -1 2.29/2.31 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/intshifting/freq = c -1 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.29/2.31 c heuristics/intdiving/maxlpiterquot = c 0.075 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/guideddiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.29/2.31 c heuristics/guideddiving/maxlpiterquot = c 0.075 2.29/2.31 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/guideddiving/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/fracdiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.29/2.31 c heuristics/fracdiving/maxlpiterquot = c 0.075 2.29/2.31 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/fracdiving/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/feaspump/maxlpiterofs = c 2000 2.29/2.31 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 20] 2.29/2.31 c heuristics/feaspump/freq = c -1 2.29/2.31 c # minimum percentage of integer variables that have to be fixed 2.29/2.31 c # [type: real, range: [0,1], default: 0.666] 2.29/2.31 c heuristics/crossover/minfixingrate = c 0.5 2.29/2.31 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 2.29/2.31 c # [type: real, range: [0,1], default: 0.1] 2.29/2.31 c heuristics/crossover/nodesquot = c 0.15 2.29/2.31 c # number of nodes without incumbent change that heuristic should wait 2.29/2.31 c # [type: longint, range: [0,9223372036854775807], default: 200] 2.29/2.31 c heuristics/crossover/nwaitingnodes = c 100 2.29/2.31 c # number of nodes added to the contingent of the total nodes 2.29/2.31 c # [type: longint, range: [0,9223372036854775807], default: 500] 2.29/2.31 c heuristics/crossover/nodesofs = c 750 2.29/2.31 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 30] 2.29/2.31 c heuristics/crossover/freq = c -1 2.29/2.31 c # additional number of allowed LP iterations 2.29/2.31 c # [type: int, range: [0,2147483647], default: 1000] 2.29/2.31 c heuristics/coefdiving/maxlpiterofs = c 1500 2.29/2.31 c # maximal fraction of diving LP iterations compared to node LP iterations 2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.29/2.31 c heuristics/coefdiving/maxlpiterquot = c 0.075 2.29/2.31 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: 10] 2.29/2.31 c heuristics/coefdiving/freq = c -1 2.29/2.31 c # priority of node selection rule <dfs> in standard mode 2.29/2.31 c # [type: int, range: [-536870912,536870911], default: 0] 2.29/2.31 c nodeselection/dfs/stdpriority = c 1000000 2.29/2.31 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 2.29/2.31 c # [type: int, range: [-1,2147483647], default: -1] 2.29/2.31 c presolving/probing/maxrounds = c 0 2.29/2.31 c # should presolving try to simplify knapsacks 2.29/2.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.29/2.31 c constraints/knapsack/simplifyinequalities = c TRUE 2.29/2.31 c # should disaggregation of knapsack constraints be allowed in preprocessing? 2.29/2.31 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 2.29/2.31 c constraints/knapsack/disaggregation = c FALSE 2.29/2.31 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 2.29/2.33 c # [type: int, range: [-1,2147483647], default: -1] 2.29/2.33 c constraints/knapsack/maxnumcardlift = c 0 2.29/2.33 c # should presolving try to simplify inequalities 2.29/2.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.29/2.33 c constraints/linear/simplifyinequalities = c TRUE 2.29/2.33 c # maximal number of separation rounds in the root node (-1: unlimited) 2.29/2.33 c # [type: int, range: [-1,2147483647], default: -1] 2.29/2.33 c separating/maxroundsroot = c 5 2.29/2.33 c # maximal number of separation rounds per node (-1: unlimited) 2.29/2.33 c # [type: int, range: [-1,2147483647], default: 5] 2.29/2.33 c separating/maxrounds = c 1 2.29/2.33 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing) 2.29/2.33 c # [type: char, range: {lafpsqd}, default: l] 2.29/2.33 c lp/pricing = c a 2.29/2.33 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 2.29/2.33 c # [type: int, range: [-1,2147483647], default: 1] 2.29/2.33 c lp/solvefreq = c 0 2.29/2.33 c # solving stops, if the given number of solutions were found (-1: no limit) 2.29/2.33 c # [type: int, range: [-1,2147483647], default: -1] 2.29/2.33 c limits/solutions = c 1 2.29/2.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 2.29/2.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 2.29/2.33 c limits/memory = c 1620 2.29/2.33 c # maximal time in seconds to run 2.29/2.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 2.29/2.33 c limits/time = c 1791 2.29/2.33 c # frequency for displaying node information lines 2.29/2.33 c # [type: int, range: [-1,2147483647], default: 100] 2.29/2.33 c display/freq = c 10000 2.29/2.33 c # should enforcement of pseudo solution be disabled? 2.29/2.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.29/2.33 c constraints/disableenfops = c TRUE 2.29/2.33 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints) 2.29/2.33 c # [type: int, range: [-1,2147483647], default: 0] 2.29/2.33 c constraints/agelimit = c 1 2.29/2.33 c # should binary conflicts be preferred? 2.29/2.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.29/2.33 c conflict/preferbinary = c TRUE 2.29/2.33 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint) 2.29/2.33 c # [type: int, range: [-1,2147483647], default: -1] 2.29/2.33 c conflict/interconss = c 0 2.29/2.33 c ----------------------------------------------------------------------------------------------- 2.29/2.33 c start solving problem 2.29/2.33 c 24.68/24.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 24.68/24.77 c 23.6s| 1 | 0 | 17342 | 92M| 0 |8158 | 13k| 43k| 43k| 13k| 43k| 0 | 0 | 0 | 3.934262e+03 | -- | Inf 38.17/38.24 c 36.9s| 1 | 0 | 20372 | 96M| 0 |8237 | 13k| 43k| 43k| 13k| 43k| 5 | 0 | 0 | 3.940053e+03 | -- | Inf 49.38/49.47 c 48.1s| 1 | 0 | 22367 | 98M| 0 |8096 | 13k| 43k| 43k| 13k| 43k| 19 | 0 | 0 | 3.946139e+03 | -- | Inf 64.26/64.34 c 63.0s| 1 | 0 | 25125 | 101M| 0 |8094 | 13k| 43k| 43k| 13k| 43k| 36 | 0 | 0 | 3.955872e+03 | -- | Inf 80.65/80.76 c 79.4s| 1 | 0 | 28134 | 102M| 0 |8008 | 13k| 43k| 43k| 13k| 43k| 55 | 0 | 0 | 3.964642e+03 | -- | Inf 112.05/112.10 c 111s| 1 | 0 | 31780 | 105M| 0 |7664 | 13k| 43k| 43k| 13k| 43k| 85 | 0 | 0 | 3.978464e+03 | -- | Inf 251.80/251.90 c 250s| 1 | 2 | 31780 | 105M| 0 |7664 | 13k| 43k| 43k| 13k| 43k| 85 | 0 | 32 | 3.978464e+03 | -- | Inf 1071.06/1071.60 c 1068s| 10000 | 22 | 31780 | 111M| 101 | - | 13k| 43k| 24k| 0 | 0 | 85 | 12k| 32 | 4.038762e+03 | -- | Inf 1795.69/1796.45 c 1795.69/1796.45 c SCIP Status : solving was interrupted [time limit reached] 1795.69/1796.45 c Solving Time (sec) : 1791.00 1795.69/1796.45 c Solving Nodes : 18188 1795.69/1796.45 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.69/1796.45 c Dual Bound : +4.03876202916546e+03 1795.69/1796.45 c Gap : infinite 1795.69/1796.45 c NODE 18188 1795.69/1796.45 c DUAL BOUND 4038.76 1795.69/1796.45 c PRIMAL BOUND 1e+20 1795.69/1796.45 c GAP 1e+20 1795.69/1796.45 s UNKNOWN 1795.69/1796.45 c SCIP Status : solving was interrupted [time limit reached] 1795.69/1796.45 c Solving Time : 1791.00 1795.69/1796.45 c Original Problem : 1795.69/1796.45 c Problem name : HOME/instance-1884378-1245257631.opb 1795.69/1796.45 c Variables : 14809 (14809 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.69/1796.45 c Constraints : 48483 initial, 48483 maximal 1795.69/1796.45 c Presolved Problem : 1795.69/1796.45 c Problem name : t_HOME/instance-1884378-1245257631.opb 1795.69/1796.45 c Variables : 13138 (13138 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.69/1796.45 c Constraints : 43597 initial, 45354 maximal 1795.69/1796.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.69/1796.45 c trivial : 0.02 4 0 0 0 0 0 0 0 1795.69/1796.45 c dualfix : 0.01 3 0 0 0 0 0 0 0 1795.69/1796.45 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.69/1796.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.69/1796.45 c implics : 0.30 0 1429 0 0 0 0 0 0 1795.69/1796.45 c probing : 0.00 0 0 0 0 0 0 0 0 1795.69/1796.45 c linear : 0.62 224 11 0 228 0 4886 33 40 1795.69/1796.45 c logicor : 0.14 0 0 0 0 0 0 0 0 1795.69/1796.45 c root node : - 1 - - 1 - - - - 1795.69/1796.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.69/1796.45 c integral : 0 0 0 1 0 0 0 0 0 2 1795.69/1796.45 c logicor : 43597+ 5 594299 0 0 9319 5988837 0 0 0 1795.69/1796.45 c countsols : 0 0 0 0 0 0 0 0 0 0 1795.69/1796.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.69/1796.45 c integral : 139.49 0.00 0.00 139.49 0.00 1795.69/1796.45 c logicor : 66.60 0.01 66.59 0.00 0.00 1795.69/1796.45 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.69/1796.45 c Propagators : Time Calls Cutoffs DomReds 1795.69/1796.45 c rootredcost : 0.59 0 0 0 1795.69/1796.45 c pseudoobj : 1368.12 601268 0 0 1795.69/1796.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.69/1796.45 c propagation : 3.22 9319 9319 9319 10.7 14590 5.4 - 1795.69/1796.45 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1795.69/1796.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.69/1796.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.69/1796.45 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.69/1796.45 c applied globally : - - - 23868 7.5 - - - 1795.69/1796.45 c applied locally : - - - 0 0.0 - - - 1795.69/1796.45 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.69/1796.45 c cut pool : 0.03 4 - - 245 - (maximal pool size: 1500) 1795.69/1796.45 c redcost : 0.01 5 0 0 0 0 1795.69/1796.45 c impliedbounds : 0.09 5 0 0 0 0 1795.69/1796.45 c intobj : 0.00 0 0 0 0 0 1795.69/1796.45 c gomory : 18.15 5 0 0 2500 0 1795.69/1796.45 c strongcg : 4.90 5 0 0 2500 0 1795.69/1796.45 c cmir : 0.00 0 0 0 0 0 1795.69/1796.45 c flowcover : 0.00 0 0 0 0 0 1795.69/1796.45 c clique : 4.42 5 0 0 34 0 1795.69/1796.45 c zerohalf : 0.00 0 0 0 0 0 1795.69/1796.45 c mcf : 0.17 1 0 0 0 0 1795.69/1796.45 c Pricers : Time Calls Vars 1795.69/1796.45 c problem variables: 0.00 0 0 1795.69/1796.45 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.69/1796.45 c relpscost : 139.49 1 0 0 0 0 2 1795.69/1796.45 c pscost : 0.00 0 0 0 0 0 0 1795.69/1796.45 c inference : 59.32 12953 0 0 0 0 25906 1795.69/1796.45 c mostinf : 0.00 0 0 0 0 0 0 1795.69/1796.45 c leastinf : 0.00 0 0 0 0 0 0 1795.69/1796.45 c fullstrong : 0.00 0 0 0 0 0 0 1795.69/1796.45 c allfullstrong : 0.00 0 0 0 0 0 0 1795.69/1796.45 c random : 0.00 0 0 0 0 0 0 1795.69/1796.45 c Primal Heuristics : Time Calls Found 1795.69/1796.45 c LP solutions : 0.00 - 0 1795.69/1796.45 c pseudo solutions : 0.00 - 0 1795.69/1796.45 c simplerounding : 0.00 0 0 1795.69/1796.45 c rounding : 0.00 0 0 1795.69/1796.45 c shifting : 0.00 0 0 1795.69/1796.45 c intshifting : 0.00 0 0 1795.69/1796.45 c oneopt : 0.00 0 0 1795.69/1796.45 c fixandinfer : 0.00 0 0 1795.69/1796.45 c feaspump : 0.00 0 0 1795.69/1796.45 c coefdiving : 0.00 0 0 1795.69/1796.45 c pscostdiving : 0.00 0 0 1795.69/1796.45 c fracdiving : 0.00 0 0 1795.69/1796.45 c veclendiving : 0.00 0 0 1795.69/1796.45 c intdiving : 0.00 0 0 1795.69/1796.45 c actconsdiving : 0.00 0 0 1795.69/1796.45 c objpscostdiving : 0.00 0 0 1795.69/1796.45 c rootsoldiving : 0.00 0 0 1795.69/1796.45 c linesearchdiving : 0.00 0 0 1795.69/1796.45 c guideddiving : 0.00 0 0 1795.69/1796.45 c octane : 0.00 0 0 1795.69/1796.45 c rens : 0.00 0 0 1795.69/1796.45 c rins : 0.00 0 0 1795.69/1796.45 c localbranching : 0.00 0 0 1795.69/1796.45 c mutation : 0.00 0 0 1795.69/1796.45 c crossover : 0.00 0 0 1795.69/1796.45 c dins : 0.00 0 0 1795.69/1796.45 c LP : Time Calls Iterations Iter/call Iter/sec 1795.69/1796.45 c primal LP : 0.10 0 0 0.00 0.00 1795.69/1796.45 c dual LP : 81.13 6 31780 5296.67 391.72 1795.69/1796.45 c barrier LP : 0.00 0 0 0.00 - 1795.69/1796.45 c diving/probing LP: 0.00 0 0 0.00 - 1795.69/1796.45 c strong branching : 139.49 32 27981 874.41 200.60 1795.69/1796.45 c (at root node) : - 32 27981 874.41 - 1795.69/1796.45 c conflict analysis: 0.00 0 0 0.00 - 1795.69/1796.45 c B&B Tree : 1795.69/1796.45 c number of runs : 1 1795.69/1796.45 c nodes : 18188 1795.69/1796.45 c nodes (total) : 18188 1795.69/1796.45 c nodes left : 20 1795.69/1796.45 c max depth : 101 1795.69/1796.45 c max depth (total): 101 1795.69/1796.45 c backtracks : 5143 (28.3%) 1795.69/1796.45 c delayed cutoffs : 7701 1795.69/1796.45 c repropagations : 20020 (2377748 domain reductions, 4085 cutoffs) 1795.69/1796.45 c avg switch length: 3.31 1795.69/1796.45 c switching time : 29.02 1795.69/1796.45 c Solution : 1795.69/1796.45 c Solutions found : 0 (0 improvements) 1795.69/1796.45 c Primal Bound : - 1795.69/1796.45 c Dual Bound : +4.03876202916546e+03 1795.69/1796.45 c Gap : infinite 1795.69/1796.45 c Root Dual Bound : +3.97846445537383e+03 1795.99/1796.80 c Time complete: 1796.08.
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-1884378-1245257631/watcher-1884378-1245257631 -o /tmp/evaluation-result-1884378-1245257631/solver-1884378-1245257631 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884378-1245257631.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.03 0.93 3/64 8688 /proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=5812 CPUtime=0 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 193363669 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/8688/statm: 1453 503 332 1256 0 192 0 [startup+0.0789601 s] /proc/loadavg: 1.02 1.03 0.93 3/64 8688 /proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=13596 CPUtime=0.07 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 2359 0 0 0 6 1 0 0 18 0 1 0 193363669 13922304 2343 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/8688/statm: 3399 2343 376 1256 0 2138 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13596 [startup+0.101964 s] /proc/loadavg: 1.02 1.03 0.93 3/64 8688 /proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=15336 CPUtime=0.09 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 2791 0 0 0 8 1 0 0 18 0 1 0 193363669 15704064 2775 1992294400 4194304 9342243 548682068736 18446744073709551615 8251439 0 0 4096 0 0 0 0 17 1 0 0 /proc/8688/statm: 3834 2775 376 1256 0 2573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15336 [startup+0.302007 s] /proc/loadavg: 1.02 1.03 0.93 3/64 8688 /proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=22676 CPUtime=0.29 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 4637 0 0 0 27 2 0 0 19 0 1 0 193363669 23220224 4621 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/8688/statm: 5669 4621 376 1256 0 4408 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22676 [startup+0.70109 s] /proc/loadavg: 1.02 1.03 0.93 3/64 8688 /proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=37216 CPUtime=0.69 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 8278 0 0 0 66 3 0 0 22 0 1 0 193363669 38109184 8262 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0 /proc/8688/statm: 9304 8262 376 1256 0 8043 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37216 [startup+1.50126 s] /proc/loadavg: 1.02 1.03 0.93 2/65 8689 /proc/meminfo: memFree=1763808/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=99256 CPUtime=1.49 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 23998 0 0 0 137 12 0 0 25 0 1 0 193363669 101638144 23628 1992294400 4194304 9342243 548682068736 18446744073709551615 5803104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 24814 23628 473 1256 0 23553 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 99256 [startup+3.1026 s] /proc/loadavg: 1.02 1.03 0.93 2/65 8689 /proc/meminfo: memFree=1726816/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=185812 CPUtime=3.09 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 43700 0 0 0 276 33 0 0 22 0 1 0 193363669 190271488 41548 1992294400 4194304 9342243 548682068736 18446744073709551615 6960250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 46453 41548 611 1256 0 45192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 185812 [startup+6.30128 s] /proc/loadavg: 1.02 1.03 0.93 2/65 8689 /proc/meminfo: memFree=1670432/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=189636 CPUtime=6.28 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 45742 0 0 0 594 34 0 0 25 0 1 0 193363669 194187264 43589 1992294400 4194304 9342243 548682068736 18446744073709551615 6959720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 47409 43589 613 1256 0 46148 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 189636 [startup+12.7016 s] /proc/loadavg: 1.02 1.03 0.93 2/65 8689 /proc/meminfo: memFree=1670112/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=192224 CPUtime=12.69 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 51175 0 0 0 1230 39 0 0 25 0 1 0 193363669 196837376 43351 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 48056 43351 613 1256 0 46795 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 192224 [startup+25.5013 s] /proc/loadavg: 1.01 1.03 0.93 2/65 8689 /proc/meminfo: memFree=1666080/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=194076 CPUtime=25.48 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 64499 0 0 0 2501 47 0 0 25 0 1 0 193363669 198733824 44960 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 48519 44960 631 1256 0 47258 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 194076 [startup+51.1017 s] /proc/loadavg: 1.01 1.02 0.93 2/65 8689 /proc/meminfo: memFree=1641696/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=223400 CPUtime=51.07 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 71184 0 0 0 5047 60 0 0 25 0 1 0 193363669 228761600 50469 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 55850 50469 645 1256 0 54589 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 223400 [startup+102.306 s] /proc/loadavg: 1.00 1.02 0.93 2/65 8689 /proc/meminfo: memFree=1629920/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=235104 CPUtime=102.25 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 76610 0 0 0 10158 67 0 0 25 0 1 0 193363669 240746496 53368 1992294400 4194304 9342243 548682068736 18446744073709551615 6342066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 58776 53368 645 1256 0 57515 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 235104 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.93 2/65 8689 /proc/meminfo: memFree=1624736/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=265600 CPUtime=162.23 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 92065 0 0 0 16145 78 0 0 25 0 1 0 193363669 271974400 54652 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 66400 54652 650 1256 0 65139 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 265600 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.93 2/65 8689 /proc/meminfo: memFree=1624736/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=265600 CPUtime=222.2 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 109905 0 0 0 22132 88 0 0 25 0 1 0 193363669 271974400 54640 1992294400 4194304 9342243 548682068736 18446744073709551615 5874994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 66400 54640 650 1256 0 65139 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 265600 [startup+282.303 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8689 /proc/meminfo: memFree=1619232/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=238960 CPUtime=282.18 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 120309 0 0 0 28118 100 0 0 25 0 1 0 193363669 244695040 56114 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 59740 56114 669 1256 0 58479 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 238960 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8689 /proc/meminfo: memFree=1610784/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=247256 CPUtime=342.15 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 122357 0 0 0 34103 112 0 0 25 0 1 0 193363669 253190144 58162 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 61814 58162 669 1256 0 60553 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 247256 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8689 /proc/meminfo: memFree=1601824/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=256300 CPUtime=402.13 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 124582 0 0 0 40087 126 0 0 25 0 1 0 193363669 262451200 60387 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 64075 60387 669 1256 0 62814 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 256300 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1595352/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=262696 CPUtime=462.1 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 126161 0 0 0 46073 137 0 0 25 0 1 0 193363669 269000704 61966 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 65674 61966 669 1256 0 64413 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 262696 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1587480/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=270964 CPUtime=522.08 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 128160 0 0 0 52059 149 0 0 25 0 1 0 193363669 277467136 63965 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 67741 63965 669 1256 0 66480 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 270964 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1582808/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=275308 CPUtime=582.05 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 129272 0 0 0 58043 162 0 0 25 0 1 0 193363669 281915392 65077 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 68827 65077 669 1256 0 67566 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 275308 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1579608/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=278512 CPUtime=642.03 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 130064 0 0 0 64029 174 0 0 25 0 1 0 193363669 285196288 65869 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 69628 65869 669 1256 0 68367 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 278512 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1539232/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=318840 CPUtime=1121.85 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 140121 0 0 0 111915 270 0 0 25 0 1 0 193363669 326492160 75926 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 79710 75926 669 1256 0 78449 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 318840 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1535200/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=322980 CPUtime=1181.82 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 141133 0 0 0 117901 281 0 0 25 0 1 0 193363669 330731520 76938 1992294400 4194304 9342243 548682068736 18446744073709551615 5432881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 80745 76938 669 1256 0 79484 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 322980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1530848/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=327080 CPUtime=1241.8 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 142172 0 0 0 123887 293 0 0 25 0 1 0 193363669 334929920 77977 1992294400 4194304 9342243 548682068736 18446744073709551615 4206517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 81770 77977 669 1256 0 80509 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 327080 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1526304/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=331648 CPUtime=1301.78 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 143293 0 0 0 129873 305 0 0 25 0 1 0 193363669 339607552 79098 1992294400 4194304 9342243 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 82912 79098 669 1256 0 81651 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 331648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1521376/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=336736 CPUtime=1361.76 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 144539 0 0 0 135860 316 0 0 25 0 1 0 193363669 344817664 80344 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 84184 80344 669 1256 0 82923 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 336736 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1518176/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=339940 CPUtime=1421.73 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 145322 0 0 0 141844 329 0 0 25 0 1 0 193363669 348098560 81127 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 84985 81127 669 1256 0 83724 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 339940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1512096/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=346228 CPUtime=1481.71 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 146816 0 0 0 147829 342 0 0 25 0 1 0 193363669 354537472 82621 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 86557 82621 669 1256 0 85296 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 346228 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1510688/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=347664 CPUtime=1541.68 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 147169 0 0 0 153815 353 0 0 25 0 1 0 193363669 356007936 82974 1992294400 4194304 9342243 548682068736 18446744073709551615 4770417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 86916 82974 669 1256 0 85655 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 347664 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1504352/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=354040 CPUtime=1601.66 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 148738 0 0 0 159801 365 0 0 25 0 1 0 193363669 362536960 84543 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 88510 84543 669 1256 0 87249 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 354040 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1499488/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=358916 CPUtime=1661.64 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 149941 0 0 0 165786 378 0 0 25 0 1 0 193363669 367529984 85746 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 89729 85746 669 1256 0 88468 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 358916 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1495392/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=362868 CPUtime=1721.61 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 150954 0 0 0 171771 390 0 0 25 0 1 0 193363669 371576832 86759 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 90717 86759 669 1256 0 89456 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 362868 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1493216/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=365164 CPUtime=1781.59 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151520 0 0 0 177759 400 0 0 25 0 1 0 193363669 373927936 87325 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 91291 87325 669 1256 0 90030 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 365164 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1492768/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=365596 CPUtime=1784.78 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151605 0 0 0 178078 400 0 0 25 0 1 0 193363669 374370304 87410 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 91399 87410 669 1256 0 90138 0 Current children cumulated CPU time (s) 1784.78 Current children cumulated vsize (KiB) 365596 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=365596 CPUtime=1791.19 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 178717 402 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 91399 87432 669 1256 0 90138 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 365596 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=365596 CPUtime=1794.38 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 179036 402 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 91399 87432 669 1256 0 90138 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (KiB) 365596 [startup+1795.9 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=365596 CPUtime=1795.19 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 179116 403 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 91399 87432 669 1256 0 90138 0 Current children cumulated CPU time (s) 1795.19 Current children cumulated vsize (KiB) 365596 [startup+1796.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=365596 CPUtime=1795.59 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 179156 403 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8688/statm: 91399 87432 669 1256 0 90138 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 365596 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=365596 CPUtime=1795.99 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151634 0 0 0 179196 403 0 0 25 0 1 0 193363669 374370304 87439 1992294400 4194304 9342243 548682068736 18446744073709551615 4401518 0 0 4096 0 0 0 0 17 1 0 0 /proc/8688/statm: 91399 87439 675 1256 0 90138 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 365596 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8695 /proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956 [pid=8688] ppid=8686 vsize=0 CPUtime=1796.08 /proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194308 151639 0 0 0 179200 408 0 0 25 0 1 0 193363669 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/8688/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1796.8 CPU time (s): 1796.09 CPU user time (s): 1792.01 CPU system time (s): 4.08738 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 365596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.01 system time used= 4.08738 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 151639 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= 3122 runsolver used 1.36979 second user time and 3.90341 second system time The end
Begin job on node13 at 2009-06-17 18:53:51 IDJOB=1884378 IDBENCH=71951 IDSOLVER=684 FILE ID=node13/1884378-1245257631 PBS_JOBID= 9372440 Free space on /tmp= 66232 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT_RACE08/cnf/schup-l2s-abp4-1-k31.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-1884378-1245257631/watcher-1884378-1245257631 -o /tmp/evaluation-result-1884378-1245257631/solver-1884378-1245257631 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884378-1245257631.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 43649fafee1f178a480cf104dcf0c6a1 RANDOM SEED=884493590 node13.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.259 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.259 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: 1841736 kB Buffers: 22244 kB Cached: 124948 kB SwapCached: 5196 kB Active: 73528 kB Inactive: 81944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841736 kB SwapTotal: 4192956 kB SwapFree: 4181924 kB Dirty: 13200 kB Writeback: 0 kB Mapped: 14356 kB Slab: 44676 kB Committed_AS: 185948 kB PageTables: 1460 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= 66220 MiB End job on node13 at 2009-06-17 19:23:48