Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.33 | 1800.11 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb |
MD5SUM | d796017ccd28821dde70ee2d87448ada |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | 0.543916 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9051 |
Total number of constraints | 25833 |
Number of constraints which are clauses | 24941 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 892 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
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.40 c SCIP version 1.1.0.7 0.39/0.40 c LP-Solver Clp 1.8.2 0.39/0.40 c user parameter file <scip.set> not found - using default parameters 0.39/0.40 c read problem <HOME/instance-1868639-1245130282.opb> 0.39/0.40 c original problem has 9051 variables (9051 bin, 0 int, 0 impl, 0 cont) and 25833 constraints 0.49/0.53 c No objective function, only one solution is needed. 0.49/0.53 c start presolving problem 0.49/0.53 c presolving: 1.00/1.04 c (round 1) 1258 del vars, 1969 del conss, 553 chg bounds, 446 chg sides, 928 chg coeffs, 0 upgd conss, 514575 impls, 0 clqs 1.00/1.09 c (round 2) 1261 del vars, 3454 del conss, 556 chg bounds, 446 chg sides, 928 chg coeffs, 0 upgd conss, 514811 impls, 0 clqs 1.29/1.33 c (round 3) 1261 del vars, 3459 del conss, 556 chg bounds, 446 chg sides, 928 chg coeffs, 22374 upgd conss, 514811 impls, 0 clqs 1.40/1.47 c presolving (4 rounds): 1.40/1.47 c 1261 deleted vars, 3459 deleted constraints, 556 tightened bounds, 0 added holes, 446 changed sides, 928 changed coefficients 1.40/1.47 c 514811 implications, 0 cliques 1.40/1.47 c presolved problem has 7790 variables (7790 bin, 0 int, 0 impl, 0 cont) and 22374 constraints 1.40/1.47 c 892 constraints of type <knapsack> 1.40/1.47 c 21482 constraints of type <logicor> 1.40/1.47 c transformed objective value is always integral (scale: 1) 1.40/1.47 c Presolving Time: 0.85 1.40/1.47 c SATUNSAT-LIN 1.40/1.47 c ----------------------------------------------------------------------------------------------- 1.40/1.47 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 0] 1.40/1.47 c separating/flowcover/freq = c -1 1.40/1.47 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 0] 1.40/1.47 c separating/cmir/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/veclendiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.40/1.47 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.40/1.47 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/veclendiving/freq = c -1 1.40/1.47 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 1] 1.40/1.47 c heuristics/simplerounding/freq = c -1 1.40/1.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/shifting/freq = c -1 1.40/1.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 1] 1.40/1.47 c heuristics/rounding/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.40/1.47 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.40/1.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 20] 1.40/1.47 c heuristics/rootsoldiving/freq = c -1 1.40/1.47 c # number of nodes added to the contingent of the total nodes 1.40/1.47 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.40/1.47 c heuristics/rens/nodesofs = c 2000 1.40/1.47 c # minimum percentage of integer variables that have to be fixable 1.40/1.47 c # [type: real, range: [0,1], default: 0.5] 1.40/1.47 c heuristics/rens/minfixingrate = c 0.3 1.40/1.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 0] 1.40/1.47 c heuristics/rens/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.40/1.47 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.40/1.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/pscostdiving/freq = c -1 1.40/1.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 1] 1.40/1.47 c heuristics/oneopt/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to total iteration number 1.40/1.47 c # [type: real, range: [0,1], default: 0.01] 1.40/1.47 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.40/1.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 20] 1.40/1.47 c heuristics/objpscostdiving/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.40/1.47 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.40/1.47 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/linesearchdiving/freq = c -1 1.40/1.47 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/intshifting/freq = c -1 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.40/1.47 c heuristics/intdiving/maxlpiterquot = c 0.075 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/guideddiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.40/1.47 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.40/1.47 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/guideddiving/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/fracdiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.40/1.47 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.40/1.47 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/fracdiving/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/feaspump/maxlpiterofs = c 2000 1.40/1.47 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 20] 1.40/1.47 c heuristics/feaspump/freq = c -1 1.40/1.47 c # minimum percentage of integer variables that have to be fixed 1.40/1.47 c # [type: real, range: [0,1], default: 0.666] 1.40/1.47 c heuristics/crossover/minfixingrate = c 0.5 1.40/1.47 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.40/1.47 c # [type: real, range: [0,1], default: 0.1] 1.40/1.47 c heuristics/crossover/nodesquot = c 0.15 1.40/1.47 c # number of nodes without incumbent change that heuristic should wait 1.40/1.47 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.40/1.47 c heuristics/crossover/nwaitingnodes = c 100 1.40/1.47 c # number of nodes added to the contingent of the total nodes 1.40/1.47 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.40/1.47 c heuristics/crossover/nodesofs = c 750 1.40/1.47 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 30] 1.40/1.47 c heuristics/crossover/freq = c -1 1.40/1.47 c # additional number of allowed LP iterations 1.40/1.47 c # [type: int, range: [0,2147483647], default: 1000] 1.40/1.47 c heuristics/coefdiving/maxlpiterofs = c 1500 1.40/1.47 c # maximal fraction of diving LP iterations compared to node LP iterations 1.40/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.40/1.47 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.40/1.47 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: 10] 1.40/1.47 c heuristics/coefdiving/freq = c -1 1.40/1.47 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: -1] 1.40/1.47 c presolving/probing/maxrounds = c 0 1.40/1.47 c # should presolving try to simplify knapsacks 1.40/1.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.40/1.47 c constraints/knapsack/simplifyinequalities = c TRUE 1.40/1.47 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.40/1.47 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.40/1.47 c constraints/knapsack/disaggregation = c FALSE 1.40/1.47 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.40/1.47 c # [type: int, range: [-1,2147483647], default: -1] 1.40/1.47 c constraints/knapsack/maxnumcardlift = c 0 1.40/1.47 c # should presolving try to simplify inequalities 1.40/1.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.40/1.48 c constraints/linear/simplifyinequalities = c TRUE 1.40/1.48 c # maximal number of separation rounds in the root node (-1: unlimited) 1.40/1.48 c # [type: int, range: [-1,2147483647], default: -1] 1.40/1.48 c separating/maxroundsroot = c 5 1.40/1.48 c # maximal number of separation rounds per node (-1: unlimited) 1.40/1.48 c # [type: int, range: [-1,2147483647], default: 5] 1.40/1.48 c separating/maxrounds = c 1 1.40/1.48 c # solving stops, if the given number of solutions were found (-1: no limit) 1.40/1.48 c # [type: int, range: [-1,2147483647], default: -1] 1.40/1.48 c limits/solutions = c 1 1.40/1.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.40/1.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.40/1.48 c limits/memory = c 1620 1.40/1.48 c # maximal time in seconds to run 1.40/1.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.40/1.48 c limits/time = c 1791 1.40/1.48 c # frequency for displaying node information lines 1.40/1.48 c # [type: int, range: [-1,2147483647], default: 100] 1.40/1.48 c display/freq = c 10000 1.40/1.48 c ----------------------------------------------------------------------------------------------- 1.40/1.48 c start solving problem 1.40/1.48 c 2.29/2.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.29/2.32 c 1.7s| 1 | 0 | 1968 | 60M| 0 |1299 |7790 | 22k| 22k|7790 | 22k| 0 | 0 | 0 | 4.543755e+02 | -- | Inf 5.29/5.39 c 4.7s| 1 | 0 | 2649 | 61M| 0 |1295 |7790 | 22k| 22k|7790 | 22k| 99 | 0 | 0 | 5.063923e+02 | -- | Inf 8.10/8.12 c 7.4s| 1 | 0 | 3314 | 62M| 0 |1309 |7790 | 22k| 22k|7790 | 22k| 210 | 0 | 0 | 5.331221e+02 | -- | Inf 11.19/11.23 c 10.5s| 1 | 0 | 4113 | 63M| 0 |1381 |7790 | 22k| 22k|7790 | 22k| 309 | 0 | 0 | 5.509771e+02 | -- | Inf 20.39/20.44 c 19.7s| 1 | 0 | 5205 | 63M| 0 |1349 |7790 | 22k| 22k|7790 | 22k| 468 | 0 | 0 | 6.134640e+02 | -- | Inf 25.49/25.54 c 24.8s| 1 | 0 | 6356 | 65M| 0 |1327 |7790 | 22k| 22k|7790 | 22k| 534 | 0 | 0 | 6.196583e+02 | -- | Inf 52.79/52.89 c 52.1s| 1 | 2 | 6356 | 65M| 0 |1327 |7790 | 22k| 22k|7790 | 22k| 534 | 0 | 29 | 6.196583e+02 | -- | Inf 1800.02/1799.85 c 1800.02/1799.85 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1799.85 c Solving Time (sec) : 1788.94 1800.02/1799.85 c Solving Nodes : 8540 1800.02/1799.85 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1799.85 c Dual Bound : +7.40164975997446e+02 1800.02/1799.85 c Gap : infinite 1800.02/1799.85 c NODE 8540 1800.02/1799.85 c DUAL BOUND 740.165 1800.02/1799.85 c PRIMAL BOUND 1e+20 1800.02/1799.85 c GAP 1e+20 1800.02/1799.85 s UNKNOWN 1800.02/1799.85 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1799.85 c Solving Time : 1788.94 1800.02/1799.85 c Original Problem : 1800.02/1799.85 c Problem name : HOME/instance-1868639-1245130282.opb 1800.02/1799.85 c Variables : 9051 (9051 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1799.85 c Constraints : 25833 initial, 25833 maximal 1800.02/1799.85 c Presolved Problem : 1800.02/1799.85 c Problem name : t_HOME/instance-1868639-1245130282.opb 1800.02/1799.85 c Variables : 7790 (7790 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1799.85 c Constraints : 22374 initial, 24954 maximal 1800.02/1799.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1799.85 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.02/1799.85 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1799.85 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1799.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1799.85 c implics : 0.09 0 702 0 0 0 0 0 0 1800.02/1799.85 c probing : 0.00 0 0 0 0 0 0 0 0 1800.02/1799.85 c knapsack : 0.09 0 0 0 0 0 0 0 0 1800.02/1799.85 c linear : 0.52 556 3 0 556 0 3459 446 928 1800.02/1799.85 c logicor : 0.08 0 0 0 0 0 0 0 0 1800.02/1799.85 c root node : - 0 - - 0 - - - - 1800.02/1799.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1799.85 c integral : 0 0 0 6431 0 18 200 0 0 12704 1800.02/1799.85 c knapsack : 892 5 186843 0 0 8 656 1000 0 0 1800.02/1799.85 c logicor : 21482+ 5 183810 0 0 3064 1882860 0 0 0 1800.02/1799.85 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.02/1799.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1799.85 c integral : 499.91 0.00 0.00 499.91 0.00 1800.02/1799.85 c knapsack : 23.87 0.01 23.86 0.00 0.00 1800.02/1799.85 c logicor : 22.66 0.03 22.63 0.00 0.00 1800.02/1799.85 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1799.85 c Propagators : Time Calls Cutoffs DomReds 1800.02/1799.85 c rootredcost : 0.15 0 0 0 1800.02/1799.85 c pseudoobj : 221.37 186981 0 0 1800.02/1799.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1799.85 c propagation : 2.34 3072 3071 30892 61.3 871 13.5 - 1800.02/1799.85 c infeasible LP : 0.50 307 0 0 0.0 0 0.0 0 1800.02/1799.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1799.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1799.85 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1799.85 c applied globally : - - - 11582 42.1 - - - 1800.02/1799.85 c applied locally : - - - 0 0.0 - - - 1800.02/1799.85 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1799.85 c cut pool : 0.00 4 - - 647 - (maximal pool size: 2700) 1800.02/1799.85 c redcost : 8.47 6384 0 0 0 0 1800.02/1799.85 c impliedbounds : 0.01 5 0 0 0 0 1800.02/1799.85 c intobj : 0.00 0 0 0 0 0 1800.02/1799.85 c gomory : 8.89 5 0 0 2500 0 1800.02/1799.85 c strongcg : 4.94 5 0 0 2500 0 1800.02/1799.85 c cmir : 0.00 0 0 0 0 0 1800.02/1799.85 c flowcover : 0.00 0 0 0 0 0 1800.02/1799.85 c clique : 0.75 5 0 0 38 0 1800.02/1799.85 c zerohalf : 0.00 0 0 0 0 0 1800.02/1799.85 c mcf : 0.16 1 0 0 0 0 1800.02/1799.85 c Pricers : Time Calls Vars 1800.02/1799.85 c problem variables: 0.00 0 0 1800.02/1799.85 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1799.85 c relpscost : 499.87 6431 18 200 0 0 12704 1800.02/1799.85 c pscost : 0.00 0 0 0 0 0 0 1800.02/1799.85 c inference : 0.00 0 0 0 0 0 0 1800.02/1799.85 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1799.85 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1799.85 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1799.85 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1799.85 c random : 0.00 0 0 0 0 0 0 1800.02/1799.85 c Primal Heuristics : Time Calls Found 1800.02/1799.85 c LP solutions : 0.00 - 0 1800.02/1799.85 c pseudo solutions : 0.00 - 0 1800.02/1799.85 c simplerounding : 0.00 0 0 1800.02/1799.85 c rounding : 0.00 0 0 1800.02/1799.85 c shifting : 0.00 0 0 1800.02/1799.85 c intshifting : 0.00 0 0 1800.02/1799.85 c oneopt : 0.00 0 0 1800.02/1799.85 c fixandinfer : 0.00 0 0 1800.02/1799.85 c feaspump : 0.00 0 0 1800.02/1799.85 c coefdiving : 0.00 0 0 1800.02/1799.85 c pscostdiving : 0.00 0 0 1800.02/1799.85 c fracdiving : 0.00 0 0 1800.02/1799.85 c veclendiving : 0.00 0 0 1800.02/1799.85 c intdiving : 0.00 0 0 1800.02/1799.85 c actconsdiving : 0.00 0 0 1800.02/1799.85 c objpscostdiving : 0.00 0 0 1800.02/1799.85 c rootsoldiving : 0.00 0 0 1800.02/1799.85 c linesearchdiving : 0.00 0 0 1800.02/1799.85 c guideddiving : 0.00 0 0 1800.02/1799.85 c octane : 0.00 0 0 1800.02/1799.85 c rens : 0.00 0 0 1800.02/1799.85 c rins : 0.00 0 0 1800.02/1799.85 c localbranching : 0.00 0 0 1800.02/1799.85 c mutation : 0.00 0 0 1800.02/1799.85 c crossover : 0.00 0 0 1800.02/1799.85 c dins : 0.00 0 0 1800.02/1799.85 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1799.85 c primal LP : 0.47 0 0 0.00 0.00 1800.02/1799.85 c dual LP : 913.09 6727 996204 148.09 1091.02 1800.02/1799.85 c barrier LP : 0.00 0 0 0.00 - 1800.02/1799.85 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1799.85 c strong branching : 496.16 2595 611847 235.78 1233.16 1800.02/1799.85 c (at root node) : - 29 13252 456.97 - 1800.02/1799.85 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1799.85 c B&B Tree : 1800.02/1799.85 c number of runs : 1 1800.02/1799.85 c nodes : 8540 1800.02/1799.85 c nodes (total) : 8540 1800.02/1799.85 c nodes left : 1592 1800.02/1799.85 c max depth : 74 1800.02/1799.85 c max depth (total): 74 1800.02/1799.85 c backtracks : 1652 (19.3%) 1800.02/1799.85 c delayed cutoffs : 2573 1800.02/1799.85 c repropagations : 6128 (443042 domain reductions, 1209 cutoffs) 1800.02/1799.85 c avg switch length: 4.41 1800.02/1799.85 c switching time : 15.63 1800.02/1799.85 c Solution : 1800.02/1799.85 c Solutions found : 0 (0 improvements) 1800.02/1799.85 c Primal Bound : - 1800.02/1799.85 c Dual Bound : +7.40164975997446e+02 1800.02/1799.85 c Gap : infinite 1800.02/1799.85 c Root Dual Bound : +6.19658325625578e+02 1800.31/1800.10 c Time complete: 1800.32.
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-1868639-1245130282/watcher-1868639-1245130282 -o /tmp/evaluation-result-1868639-1245130282/solver-1868639-1245130282 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868639-1245130282.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29008 /proc/meminfo: memFree=1771528/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=5812 CPUtime=0 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 180628660 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/29008/statm: 1453 502 332 1256 0 192 0 [startup+0.038353 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29008 /proc/meminfo: memFree=1771528/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=11468 CPUtime=0.03 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1838 0 0 0 3 0 0 0 18 0 1 0 180628660 11743232 1822 1992294400 4194304 9342243 548682068736 18446744073709551615 5858574 0 0 4096 0 0 0 0 17 1 0 0 /proc/29008/statm: 2867 1822 376 1256 0 1606 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11468 [startup+0.101334 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29008 /proc/meminfo: memFree=1771528/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=15880 CPUtime=0.09 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 2956 0 0 0 8 1 0 0 18 0 1 0 180628660 16261120 2940 1992294400 4194304 9342243 548682068736 18446744073709551615 8221248 0 0 4096 0 0 0 0 17 1 0 0 /proc/29008/statm: 3970 2940 376 1256 0 2709 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15880 [startup+0.301276 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29008 /proc/meminfo: memFree=1771528/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=22712 CPUtime=0.3 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 4663 0 0 0 28 2 0 0 19 0 1 0 180628660 23257088 4647 1992294400 4194304 9342243 548682068736 18446744073709551615 8169891 0 0 4096 0 0 0 0 17 1 0 0 /proc/29008/statm: 5678 4647 376 1256 0 4417 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 22712 [startup+0.701162 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29008 /proc/meminfo: memFree=1771528/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=61444 CPUtime=0.69 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 14512 0 0 0 62 7 0 0 23 0 1 0 180628660 62918656 14142 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 15361 14142 474 1256 0 14100 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61444 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1705088/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=88436 CPUtime=1.5 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 22097 0 0 0 132 18 0 0 17 0 1 0 180628660 90558464 20972 1992294400 4194304 9342243 548682068736 18446744073709551615 5102614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 22109 20972 515 1256 0 20848 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 88436 [startup+3.10147 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1667136/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=118896 CPUtime=3.09 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 28011 0 0 0 289 20 0 0 25 0 1 0 180628660 121749504 26825 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 29724 26825 641 1256 0 28463 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 118896 [startup+6.30156 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1661512/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=122092 CPUtime=6.29 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 29209 0 0 0 597 32 0 0 25 0 1 0 180628660 125022208 28023 1992294400 4194304 9342243 548682068736 18446744073709551615 4345935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 30523 28023 654 1256 0 29262 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 122092 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1655632/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=128364 CPUtime=12.69 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 30714 0 0 0 1236 33 0 0 25 0 1 0 180628660 131444736 29528 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 32091 29528 654 1256 0 30830 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 128364 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1651280/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=132568 CPUtime=25.49 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 31802 0 0 0 2513 36 0 0 25 0 1 0 180628660 135749632 30616 1992294400 4194304 9342243 548682068736 18446744073709551615 6342056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 33142 30616 654 1256 0 31881 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 132568 [startup+51.1017 s] /proc/loadavg: 1.06 1.02 1.00 2/65 29009 /proc/meminfo: memFree=1650128/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=145004 CPUtime=51.08 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 37989 0 0 0 5066 42 0 0 25 0 1 0 180628660 148484096 30929 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 36251 30929 659 1256 0 34990 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 145004 [startup+102.305 s] /proc/loadavg: 1.02 1.01 1.00 2/65 29009 /proc/meminfo: memFree=1644944/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=146576 CPUtime=102.29 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 60266 0 0 0 10169 60 0 0 25 0 1 0 180628660 150093824 32236 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 36644 32236 673 1256 0 35383 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 146576 [startup+162.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1645008/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=146968 CPUtime=162.3 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 178726 0 0 0 16105 125 0 0 25 0 1 0 180628660 150495232 32211 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 36742 32211 673 1256 0 35481 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 146968 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1645968/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=139940 CPUtime=222.31 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 253598 0 0 0 22065 166 0 0 25 0 1 0 180628660 143298560 32017 1992294400 4194304 9342243 548682068736 18446744073709551615 4253576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 34985 32017 680 1256 0 33724 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 139940 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1645712/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=141600 CPUtime=282.31 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 303516 0 0 0 28028 203 0 0 25 0 1 0 180628660 144998400 32040 1992294400 4194304 9342243 548682068736 18446744073709551615 6496567 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 35400 32040 680 1256 0 34139 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 141600 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1642640/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=145120 CPUtime=342.32 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 355917 0 0 0 33992 240 0 0 25 0 1 0 180628660 148602880 32802 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 36280 32802 680 1256 0 35019 0 Current children cumulated CPU time (s) 342.32 Current children cumulated vsize (KiB) 145120 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1639760/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=146820 CPUtime=402.33 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 372848 0 0 0 39975 258 0 0 25 0 1 0 180628660 150343680 33523 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 36705 33523 680 1256 0 35444 0 Current children cumulated CPU time (s) 402.33 Current children cumulated vsize (KiB) 146820 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1635280/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=151956 CPUtime=462.34 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 399896 0 0 0 45953 281 0 0 25 0 1 0 180628660 155602944 34639 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 37989 34639 680 1256 0 36728 0 Current children cumulated CPU time (s) 462.34 Current children cumulated vsize (KiB) 151956 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1633104/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=155316 CPUtime=522.35 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 436518 0 0 0 51924 311 0 0 25 0 1 0 180628660 159043584 35177 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 38829 35177 680 1256 0 37568 0 Current children cumulated CPU time (s) 522.35 Current children cumulated vsize (KiB) 155316 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1630224/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=170804 CPUtime=582.35 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 512313 0 0 0 57874 361 0 0 25 0 1 0 180628660 174903296 35930 1992294400 4194304 9342243 548682068736 18446744073709551615 6978062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 42701 35930 680 1256 0 41440 0 Current children cumulated CPU time (s) 582.35 Current children cumulated vsize (KiB) 170804 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29009 /proc/meminfo: memFree=1627344/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=162064 CPUtime=642.36 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 566901 0 0 0 63839 397 0 0 25 0 1 0 180628660 165953536 36607 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 40516 36607 680 1256 0 39255 0 Current children cumulated CPU time (s) 642.36 Current children cumulated vsize (KiB) 162064 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 3/65 29009 /proc/meminfo: memFree=1605968/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=192560 CPUtime=942.41 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 819055 0 0 0 93663 578 0 0 25 0 1 0 180628660 197181440 41919 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 48140 41919 680 1256 0 46879 0 Current children cumulated CPU time (s) 942.41 Current children cumulated vsize (KiB) 192560 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1606992/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=181748 CPUtime=1002.41 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 866810 0 0 0 99630 611 0 0 25 0 1 0 180628660 186109952 41484 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 45437 41484 680 1256 0 44176 0 Current children cumulated CPU time (s) 1002.41 Current children cumulated vsize (KiB) 181748 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1599888/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=197772 CPUtime=1062.42 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 927604 0 0 0 105592 650 0 0 25 0 1 0 180628660 202518528 43346 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 49443 43346 680 1256 0 48182 0 Current children cumulated CPU time (s) 1062.42 Current children cumulated vsize (KiB) 197772 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1600208/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=189720 CPUtime=1122.43 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 966996 0 0 0 111555 688 0 0 25 0 1 0 180628660 194273280 43361 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 47430 43361 680 1256 0 46169 0 Current children cumulated CPU time (s) 1122.43 Current children cumulated vsize (KiB) 189720 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1593936/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=191776 CPUtime=1182.43 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1022962 0 0 0 117516 727 0 0 25 0 1 0 180628660 196378624 44899 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 47944 44899 680 1256 0 46683 0 Current children cumulated CPU time (s) 1182.43 Current children cumulated vsize (KiB) 191776 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1594512/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=193480 CPUtime=1242.45 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1057177 0 0 0 123486 759 0 0 25 0 1 0 180628660 198123520 44780 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 48370 44780 680 1256 0 47109 0 Current children cumulated CPU time (s) 1242.45 Current children cumulated vsize (KiB) 193480 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1589648/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=197124 CPUtime=1302.45 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1084163 0 0 0 129463 782 0 0 25 0 1 0 180628660 201854976 45919 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 49281 45919 680 1256 0 48020 0 Current children cumulated CPU time (s) 1302.45 Current children cumulated vsize (KiB) 197124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1585232/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=199828 CPUtime=1362.46 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1106404 0 0 0 135443 803 0 0 25 0 1 0 180628660 204623872 47016 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 49957 47016 680 1256 0 48696 0 Current children cumulated CPU time (s) 1362.46 Current children cumulated vsize (KiB) 199828 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1582224/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=203224 CPUtime=1422.47 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1131317 0 0 0 141416 831 0 0 25 0 1 0 180628660 208101376 47779 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 50806 47779 680 1256 0 49545 0 Current children cumulated CPU time (s) 1422.47 Current children cumulated vsize (KiB) 203224 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1579920/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=208420 CPUtime=1482.48 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1185600 0 0 0 147378 870 0 0 25 0 1 0 180628660 213422080 48267 1992294400 4194304 9342243 548682068736 18446744073709551615 6938946 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 52105 48267 680 1256 0 50844 0 Current children cumulated CPU time (s) 1482.48 Current children cumulated vsize (KiB) 208420 [startup+1542.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 29011 /proc/meminfo: memFree=1580560/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=206504 CPUtime=1542.48 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1248520 0 0 0 153331 917 0 0 25 0 1 0 180628660 211460096 48241 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 51626 48241 680 1256 0 50365 0 Current children cumulated CPU time (s) 1542.48 Current children cumulated vsize (KiB) 206504 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 29011 /proc/meminfo: memFree=1580240/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=209004 CPUtime=1602.49 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1323362 0 0 0 159285 964 0 0 25 0 1 0 180628660 214020096 48292 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 52251 48292 680 1256 0 50990 0 Current children cumulated CPU time (s) 1602.49 Current children cumulated vsize (KiB) 209004 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1574800/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=212696 CPUtime=1662.5 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1392172 0 0 0 165243 1007 0 0 25 0 1 0 180628660 217800704 49661 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 53174 49661 680 1256 0 51913 0 Current children cumulated CPU time (s) 1662.5 Current children cumulated vsize (KiB) 212696 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29011 /proc/meminfo: memFree=1570640/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=229248 CPUtime=1722.5 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1442681 0 0 0 171208 1042 0 0 25 0 1 0 180628660 234749952 51450 1992294400 4194304 9342243 548682068736 18446744073709551615 6018146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 57312 51450 680 1256 0 56051 0 Current children cumulated CPU time (s) 1722.5 Current children cumulated vsize (KiB) 229248 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29017 /proc/meminfo: memFree=1567760/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=218020 CPUtime=1782.51 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1464367 0 0 0 177187 1064 0 0 25 0 1 0 180628660 223252480 51403 1992294400 4194304 9342243 548682068736 18446744073709551615 4253576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 54505 51403 680 1256 0 53244 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (KiB) 218020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29017 /proc/meminfo: memFree=1567952/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=217996 CPUtime=1800.02 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1477976 0 0 0 178927 1075 0 0 25 0 1 0 180628660 223227904 51323 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29008/statm: 54499 51323 680 1256 0 53238 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 217996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29017 /proc/meminfo: memFree=1567952/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=217996 CPUtime=1800.21 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1477985 0 0 0 178946 1075 0 0 25 0 1 0 180628660 223227904 51332 1992294400 4194304 9342243 548682068736 18446744073709551615 5855112 0 0 4096 0 0 0 0 17 1 0 0 /proc/29008/statm: 54499 51332 685 1256 0 53238 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 217996 [startup+1800.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29017 /proc/meminfo: memFree=1567952/2055920 swapFree=4191900/4192956 [pid=29008] ppid=29006 vsize=71012 CPUtime=1800.31 /proc/29008/stat : 29008 (pbscip.linux.x8) R 29006 29008 28863 0 -1 4194304 1477986 0 0 0 178953 1078 0 0 25 0 1 0 180628660 72716288 16884 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/29008/statm: 17753 16884 8557 1256 0 16492 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 71012 Child status: 0 Real time (s): 1800.11 CPU time (s): 1800.33 CPU user time (s): 1789.54 CPU system time (s): 10.7924 CPU usage (%): 100.012 Max. virtual memory (cumulated for all children) (KiB): 230928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.54 system time used= 10.7924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1477990 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 2683 runsolver used 1.34579 second user time and 3.86641 second system time The end
Begin job on node16 at 2009-06-16 07:31:22 IDJOB=1868639 IDBENCH=1486 IDSOLVER=684 FILE ID=node16/1868639-1245130282 PBS_JOBID= 9363699 Free space on /tmp= 66280 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.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-1868639-1245130282/watcher-1868639-1245130282 -o /tmp/evaluation-result-1868639-1245130282/solver-1868639-1245130282 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868639-1245130282.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d796017ccd28821dde70ee2d87448ada RANDOM SEED=1029466422 node16.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.214 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.214 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: 1772008 kB Buffers: 41344 kB Cached: 163824 kB SwapCached: 260 kB Active: 67464 kB Inactive: 150420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772008 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 12484 kB Writeback: 0 kB Mapped: 21208 kB Slab: 52004 kB Committed_AS: 149088 kB PageTables: 1440 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= 66268 MiB End job on node16 at 2009-06-16 08:01:24