Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1795.8 | 1796.26 |
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.29/0.39 c SCIP version 1.1.0.7 0.29/0.39 c LP-Solver SoPlex 1.4.1 0.29/0.39 c user parameter file <scip.set> not found - using default parameters 0.29/0.39 c read problem <HOME/instance-1868638-1245130282.opb> 0.29/0.39 c original problem has 9051 variables (9051 bin, 0 int, 0 impl, 0 cont) and 25833 constraints 0.49/0.51 c No objective function, only one solution is needed. 0.49/0.51 c start presolving problem 0.49/0.51 c presolving: 1.00/1.03 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.08 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.32 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.39/1.45 c presolving (4 rounds): 1.39/1.45 c 1261 deleted vars, 3459 deleted constraints, 556 tightened bounds, 0 added holes, 446 changed sides, 928 changed coefficients 1.39/1.45 c 514811 implications, 0 cliques 1.39/1.45 c presolved problem has 7790 variables (7790 bin, 0 int, 0 impl, 0 cont) and 22374 constraints 1.39/1.45 c 892 constraints of type <knapsack> 1.39/1.45 c 21482 constraints of type <logicor> 1.39/1.45 c transformed objective value is always integral (scale: 1) 1.39/1.45 c Presolving Time: 0.86 1.39/1.45 c SATUNSAT-LIN 1.39/1.45 c ----------------------------------------------------------------------------------------------- 1.39/1.45 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.45 c separating/flowcover/freq = c -1 1.39/1.45 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.45 c separating/cmir/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/veclendiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/veclendiving/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.45 c heuristics/simplerounding/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/shifting/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.45 c heuristics/rounding/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.39/1.45 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.39/1.45 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.45 c heuristics/rootsoldiving/freq = c -1 1.39/1.45 c # number of nodes added to the contingent of the total nodes 1.39/1.45 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.45 c heuristics/rens/nodesofs = c 2000 1.39/1.45 c # minimum percentage of integer variables that have to be fixable 1.39/1.45 c # [type: real, range: [0,1], default: 0.5] 1.39/1.45 c heuristics/rens/minfixingrate = c 0.3 1.39/1.45 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.45 c heuristics/rens/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/pscostdiving/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.45 c heuristics/oneopt/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to total iteration number 1.39/1.45 c # [type: real, range: [0,1], default: 0.01] 1.39/1.45 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.39/1.45 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.45 c heuristics/objpscostdiving/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/linesearchdiving/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/intshifting/freq = c -1 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/intdiving/maxlpiterquot = c 0.075 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/guideddiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/guideddiving/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/fracdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/fracdiving/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/feaspump/maxlpiterofs = c 2000 1.39/1.45 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.45 c heuristics/feaspump/freq = c -1 1.39/1.45 c # minimum percentage of integer variables that have to be fixed 1.39/1.45 c # [type: real, range: [0,1], default: 0.666] 1.39/1.45 c heuristics/crossover/minfixingrate = c 0.5 1.39/1.45 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.39/1.45 c # [type: real, range: [0,1], default: 0.1] 1.39/1.45 c heuristics/crossover/nodesquot = c 0.15 1.39/1.45 c # number of nodes without incumbent change that heuristic should wait 1.39/1.45 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.39/1.45 c heuristics/crossover/nwaitingnodes = c 100 1.39/1.45 c # number of nodes added to the contingent of the total nodes 1.39/1.45 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.45 c heuristics/crossover/nodesofs = c 750 1.39/1.45 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 30] 1.39/1.45 c heuristics/crossover/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/coefdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/coefdiving/freq = c -1 1.39/1.45 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.45 c presolving/probing/maxrounds = c 0 1.39/1.45 c # should presolving try to simplify knapsacks 1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.45 c constraints/knapsack/simplifyinequalities = c TRUE 1.39/1.45 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.39/1.45 c constraints/knapsack/disaggregation = c FALSE 1.39/1.45 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.45 c constraints/knapsack/maxnumcardlift = c 0 1.39/1.45 c # should presolving try to simplify inequalities 1.39/1.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.46 c constraints/linear/simplifyinequalities = c TRUE 1.39/1.46 c # maximal number of separation rounds in the root node (-1: unlimited) 1.39/1.46 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.46 c separating/maxroundsroot = c 5 1.39/1.46 c # maximal number of separation rounds per node (-1: unlimited) 1.39/1.46 c # [type: int, range: [-1,2147483647], default: 5] 1.39/1.46 c separating/maxrounds = c 1 1.39/1.46 c # solving stops, if the given number of solutions were found (-1: no limit) 1.39/1.46 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.46 c limits/solutions = c 1 1.39/1.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.39/1.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.46 c limits/memory = c 1620 1.39/1.46 c # maximal time in seconds to run 1.39/1.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.46 c limits/time = c 1791 1.39/1.46 c # frequency for displaying node information lines 1.39/1.46 c # [type: int, range: [-1,2147483647], default: 100] 1.39/1.46 c display/freq = c 10000 1.39/1.46 c ----------------------------------------------------------------------------------------------- 1.39/1.46 c start solving problem 1.39/1.46 c 5.19/5.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.19/5.28 c 4.7s| 1 | 0 | 2207 | 60M| 0 |1294 |7790 | 22k| 22k|7790 | 22k| 0 | 0 | 0 | 4.543755e+02 | -- | Inf 9.59/9.69 c 9.0s| 1 | 0 | 3068 | 61M| 0 |1274 |7790 | 22k| 22k|7790 | 22k| 99 | 0 | 0 | 5.073298e+02 | -- | Inf 13.49/13.58 c 12.9s| 1 | 0 | 3761 | 62M| 0 |1299 |7790 | 22k| 22k|7790 | 22k| 216 | 0 | 0 | 5.340095e+02 | -- | Inf 18.29/18.33 c 17.6s| 1 | 0 | 4609 | 63M| 0 |1337 |7790 | 22k| 22k|7790 | 22k| 352 | 0 | 0 | 5.526058e+02 | -- | Inf 29.88/29.90 c 29.1s| 1 | 0 | 5566 | 64M| 0 |1391 |7790 | 22k| 22k|7790 | 22k| 507 | 0 | 0 | 6.165529e+02 | -- | Inf 46.37/46.48 c 45.7s| 1 | 0 | 6357 | 64M| 0 |1366 |7790 | 22k| 22k|7790 | 22k| 582 | 0 | 0 | 6.231292e+02 | -- | Inf 72.76/72.87 c 72.0s| 1 | 2 | 6357 | 64M| 0 |1366 |7790 | 22k| 22k|7790 | 22k| 582 | 0 | 17 | 6.231292e+02 | -- | Inf 1795.53/1796.04 c 1795.53/1796.04 c SCIP Status : solving was interrupted [time limit reached] 1795.53/1796.04 c Solving Time (sec) : 1791.55 1795.53/1796.04 c Solving Nodes : 3019 1795.53/1796.04 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.53/1796.04 c Dual Bound : +7.33449515351300e+02 1795.53/1796.04 c Gap : infinite 1795.53/1796.04 c NODE 3019 1795.53/1796.04 c DUAL BOUND 733.45 1795.53/1796.04 c PRIMAL BOUND 1e+20 1795.53/1796.04 c GAP 1e+20 1795.53/1796.04 s UNKNOWN 1795.53/1796.04 c SCIP Status : solving was interrupted [time limit reached] 1795.53/1796.04 c Solving Time : 1791.55 1795.53/1796.04 c Original Problem : 1795.53/1796.04 c Problem name : HOME/instance-1868638-1245130282.opb 1795.53/1796.04 c Variables : 9051 (9051 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.53/1796.04 c Constraints : 25833 initial, 25833 maximal 1795.53/1796.04 c Presolved Problem : 1795.53/1796.04 c Problem name : t_HOME/instance-1868638-1245130282.opb 1795.53/1796.04 c Variables : 7790 (7790 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.53/1796.04 c Constraints : 22374 initial, 23921 maximal 1795.53/1796.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.53/1796.04 c trivial : 0.00 0 0 0 0 0 0 0 0 1795.53/1796.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 1795.53/1796.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.53/1796.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.53/1796.04 c implics : 0.09 0 702 0 0 0 0 0 0 1795.53/1796.04 c probing : 0.00 0 0 0 0 0 0 0 0 1795.53/1796.04 c knapsack : 0.08 0 0 0 0 0 0 0 0 1795.53/1796.04 c linear : 0.54 556 3 0 556 0 3459 446 928 1795.53/1796.04 c logicor : 0.09 0 0 0 0 0 0 0 0 1795.53/1796.04 c root node : - 0 - - 0 - - - - 1795.53/1796.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.53/1796.04 c integral : 0 0 0 2538 0 1 34 0 0 5054 1795.53/1796.04 c knapsack : 892 5 60466 0 0 2 469 1000 0 0 1795.53/1796.04 c logicor : 21482+ 5 59352 0 0 778 499470 0 0 0 1795.53/1796.04 c countsols : 0 0 0 0 0 0 0 0 0 0 1795.53/1796.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.53/1796.04 c integral : 788.97 0.00 0.00 788.97 0.00 1795.53/1796.04 c knapsack : 7.46 0.01 7.45 0.00 0.00 1795.53/1796.04 c logicor : 5.80 0.02 5.78 0.00 0.00 1795.53/1796.04 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.53/1796.04 c Propagators : Time Calls Cutoffs DomReds 1795.53/1796.04 c rootredcost : 0.08 0 0 0 1795.53/1796.04 c pseudoobj : 71.69 60544 0 0 1795.53/1796.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.53/1796.04 c propagation : 0.44 780 779 7534 50.9 251 12.0 - 1795.53/1796.04 c infeasible LP : 0.25 43 43 139 25.5 17 12.8 0 1795.53/1796.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.53/1796.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.53/1796.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.53/1796.04 c applied globally : - - - 3410 37.2 - - - 1795.53/1796.04 c applied locally : - - - 0 0.0 - - - 1795.53/1796.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.53/1796.04 c cut pool : 0.01 4 - - 584 - (maximal pool size: 2532) 1795.53/1796.04 c redcost : 3.31 2534 0 0 0 0 1795.53/1796.04 c impliedbounds : 0.02 5 0 0 0 0 1795.53/1796.04 c intobj : 0.00 0 0 0 0 0 1795.53/1796.04 c gomory : 15.15 5 0 0 2066 0 1795.53/1796.04 c strongcg : 11.65 5 0 0 2110 0 1795.53/1796.04 c cmir : 0.00 0 0 0 0 0 1795.53/1796.04 c flowcover : 0.00 0 0 0 0 0 1795.53/1796.04 c clique : 0.73 5 0 0 40 0 1795.53/1796.04 c zerohalf : 0.00 0 0 0 0 0 1795.53/1796.04 c mcf : 0.21 1 0 0 0 0 1795.53/1796.04 c Pricers : Time Calls Vars 1795.53/1796.04 c problem variables: 0.00 0 0 1795.53/1796.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.53/1796.04 c relpscost : 788.97 2538 1 34 0 0 5054 1795.53/1796.04 c pscost : 0.00 0 0 0 0 0 0 1795.53/1796.04 c inference : 0.00 0 0 0 0 0 0 1795.53/1796.04 c mostinf : 0.00 0 0 0 0 0 0 1795.53/1796.04 c leastinf : 0.00 0 0 0 0 0 0 1795.53/1796.04 c fullstrong : 0.00 0 0 0 0 0 0 1795.53/1796.04 c allfullstrong : 0.00 0 0 0 0 0 0 1795.53/1796.04 c random : 0.00 0 0 0 0 0 0 1795.53/1796.04 c Primal Heuristics : Time Calls Found 1795.53/1796.04 c LP solutions : 0.00 - 0 1795.53/1796.04 c pseudo solutions : 0.00 - 0 1795.53/1796.04 c simplerounding : 0.00 0 0 1795.53/1796.04 c rounding : 0.00 0 0 1795.53/1796.04 c shifting : 0.00 0 0 1795.53/1796.04 c intshifting : 0.00 0 0 1795.53/1796.04 c oneopt : 0.00 0 0 1795.53/1796.04 c fixandinfer : 0.00 0 0 1795.53/1796.04 c feaspump : 0.00 0 0 1795.53/1796.04 c coefdiving : 0.00 0 0 1795.53/1796.04 c pscostdiving : 0.00 0 0 1795.53/1796.04 c fracdiving : 0.00 0 0 1795.53/1796.04 c veclendiving : 0.00 0 0 1795.53/1796.04 c intdiving : 0.00 0 0 1795.53/1796.04 c actconsdiving : 0.00 0 0 1795.53/1796.04 c objpscostdiving : 0.00 0 0 1795.53/1796.04 c rootsoldiving : 0.00 0 0 1795.53/1796.04 c linesearchdiving : 0.00 0 0 1795.53/1796.04 c guideddiving : 0.00 0 0 1795.53/1796.04 c octane : 0.00 0 0 1795.53/1796.04 c rens : 0.00 0 0 1795.53/1796.04 c rins : 0.00 0 0 1795.53/1796.04 c localbranching : 0.00 0 0 1795.53/1796.04 c mutation : 0.00 0 0 1795.53/1796.04 c crossover : 0.00 0 0 1795.53/1796.04 c dins : 0.00 0 0 1795.53/1796.04 c LP : Time Calls Iterations Iter/call Iter/sec 1795.53/1796.04 c primal LP : 0.01 0 0 0.00 0.00 1795.53/1796.04 c dual LP : 849.04 2580 329997 127.91 388.67 1795.53/1796.04 c barrier LP : 0.00 0 0 0.00 - 1795.53/1796.04 c diving/probing LP: 0.00 0 0 0.00 - 1795.53/1796.04 c strong branching : 787.35 1058 274217 259.18 348.28 1795.53/1796.04 c (at root node) : - 17 7259 427.00 - 1795.53/1796.04 c conflict analysis: 0.00 0 0 0.00 - 1795.53/1796.04 c B&B Tree : 1795.53/1796.04 c number of runs : 1 1795.53/1796.04 c nodes : 3019 1795.53/1796.04 c nodes (total) : 3019 1795.53/1796.04 c nodes left : 1007 1795.53/1796.04 c max depth : 91 1795.53/1796.04 c max depth (total): 91 1795.53/1796.04 c backtracks : 427 (14.1%) 1795.53/1796.04 c delayed cutoffs : 1029 1795.53/1796.04 c repropagations : 1998 (81072 domain reductions, 332 cutoffs) 1795.53/1796.04 c avg switch length: 3.89 1795.53/1796.04 c switching time : 4.79 1795.53/1796.04 c Solution : 1795.53/1796.04 c Solutions found : 0 (0 improvements) 1795.53/1796.04 c Primal Bound : - 1795.53/1796.04 c Dual Bound : +7.33449515351300e+02 1795.53/1796.04 c Gap : infinite 1795.53/1796.04 c Root Dual Bound : +6.23129179198082e+02 1795.73/1796.25 c Time complete: 1795.79.
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-1868638-1245130282/watcher-1868638-1245130282 -o /tmp/evaluation-result-1868638-1245130282/solver-1868638-1245130282 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868638-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 1683 /proc/meminfo: memFree=1955272/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=4648 CPUtime=0 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 489 0 0 0 0 0 0 0 18 0 1 0 180628374 4759552 474 1992294400 4194304 7823515 548682068736 18446744073709551615 6884513 0 0 4096 0 0 0 0 17 1 0 0 /proc/1683/statm: 1162 485 318 886 0 272 0 [startup+0.033159 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1683 /proc/meminfo: memFree=1955272/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=9956 CPUtime=0.02 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 1806 0 0 0 2 0 0 0 18 0 1 0 180628374 10194944 1788 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/1683/statm: 2489 1788 351 886 0 1599 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9956 [startup+0.101165 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1683 /proc/meminfo: memFree=1955272/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=14568 CPUtime=0.09 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 2946 0 0 0 9 0 0 0 18 0 1 0 180628374 14917632 2928 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/1683/statm: 3642 2928 351 886 0 2752 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14568 [startup+0.301183 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1683 /proc/meminfo: memFree=1955272/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=22444 CPUtime=0.29 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 4915 0 0 0 28 1 0 0 19 0 1 0 180628374 22982656 4897 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0 /proc/1683/statm: 5611 4897 351 886 0 4721 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22444 [startup+0.701223 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1683 /proc/meminfo: memFree=1955272/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=61428 CPUtime=0.69 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 14763 0 0 0 63 6 0 0 23 0 1 0 180628374 62902272 14391 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 15357 14391 432 886 0 14467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61428 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1888896/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=87812 CPUtime=1.49 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 22214 0 0 0 134 15 0 0 17 0 1 0 180628374 89919488 21087 1992294400 4194304 7823515 548682068736 18446744073709551615 4556881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 21953 21087 488 886 0 21063 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 87812 [startup+3.10145 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1851776/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=114880 CPUtime=3.09 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 28312 0 0 0 291 18 0 0 25 0 1 0 180628374 117637120 26970 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 28720 26970 522 886 0 27830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 114880 [startup+6.30176 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1847168/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=115840 CPUtime=6.29 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 28799 0 0 0 609 20 0 0 25 0 1 0 180628374 118620160 27444 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 28960 27444 540 886 0 28070 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 115840 [startup+12.7024 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1837280/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=124320 CPUtime=12.68 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 31693 0 0 0 1235 33 0 0 25 0 1 0 180628374 127303680 29954 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 31080 29954 553 886 0 30190 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 124320 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1834208/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=127592 CPUtime=25.49 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 32467 0 0 0 2512 37 0 0 25 0 1 0 180628374 130654208 30728 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 31898 30728 553 886 0 31008 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 127592 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1831392/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=130612 CPUtime=51.07 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33181 0 0 0 5064 43 0 0 25 0 1 0 180628374 133746688 31442 1992294400 4194304 7823515 548682068736 18446744073709551615 6206241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 32653 31442 556 886 0 31763 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 130612 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1831008/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=130612 CPUtime=102.25 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33281 0 0 0 10175 50 0 0 25 0 1 0 180628374 133746688 31542 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 32653 31542 557 886 0 31763 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 130612 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1830880/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=130612 CPUtime=162.24 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33293 0 0 0 16166 58 0 0 25 0 1 0 180628374 133746688 31554 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 32653 31554 557 886 0 31763 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 130612 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1830432/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=130904 CPUtime=222.23 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33395 0 0 0 22155 68 0 0 25 0 1 0 180628374 134045696 31656 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 32726 31656 557 886 0 31836 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 130904 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1830496/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=130904 CPUtime=282.21 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33395 0 0 0 28143 78 0 0 25 0 1 0 180628374 134045696 31656 1992294400 4194304 7823515 548682068736 18446744073709551615 5920339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 32726 31656 557 886 0 31836 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 130904 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1830432/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=130904 CPUtime=342.2 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33395 0 0 0 34132 88 0 0 25 0 1 0 180628374 134045696 31656 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 32726 31656 557 886 0 31836 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 130904 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1830240/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=130904 CPUtime=402.18 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33439 0 0 0 40120 98 0 0 25 0 1 0 180628374 134045696 31700 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 32726 31700 557 886 0 31836 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 130904 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1828064/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=133528 CPUtime=462.16 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 33976 0 0 0 46108 108 0 0 25 0 1 0 180628374 136732672 32237 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 33382 32237 563 886 0 32492 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 133528 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1824864/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=136232 CPUtime=522.15 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 34756 0 0 0 52096 119 0 0 25 0 1 0 180628374 139501568 33017 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 34058 33017 563 886 0 33168 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 136232 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1827296/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=135488 CPUtime=582.13 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 35300 0 0 0 58085 128 0 0 25 0 1 0 180628374 138739712 32415 1992294400 4194304 7823515 548682068736 18446744073709551615 6908032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 33872 32415 563 886 0 32982 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 135488 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1822880/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=138336 CPUtime=642.13 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 36525 0 0 0 64073 140 0 0 25 0 1 0 180628374 141656064 33511 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 34584 33511 563 886 0 33694 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 138336 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1809696/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=151268 CPUtime=1122 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 43594 0 0 0 111967 233 0 0 25 0 1 0 180628374 154898432 36760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 37817 36760 563 886 0 36927 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 151268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1684 /proc/meminfo: memFree=1808736/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=152184 CPUtime=1181.99 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 43815 0 0 0 117954 245 0 0 25 0 1 0 180628374 155836416 36981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 38046 36981 563 886 0 37156 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 152184 [startup+1242.3 s] /proc/loadavg: 1.08 1.02 1.01 2/65 1686 /proc/meminfo: memFree=1807328/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=153492 CPUtime=1241.98 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 44146 0 0 0 123940 258 0 0 25 0 1 0 180628374 157175808 37312 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 38373 37312 563 886 0 37483 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 153492 [startup+1302.3 s] /proc/loadavg: 1.10 1.03 1.00 2/65 1686 /proc/meminfo: memFree=1805984/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=154748 CPUtime=1301.96 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 44470 0 0 0 129927 269 0 0 25 0 1 0 180628374 158461952 37636 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 38687 37636 563 886 0 37797 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 154748 [startup+1362.3 s] /proc/loadavg: 1.10 1.04 1.00 2/65 1686 /proc/meminfo: memFree=1803872/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=156896 CPUtime=1361.95 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 44994 0 0 0 135912 283 0 0 25 0 1 0 180628374 160661504 38160 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 39224 38160 563 886 0 38334 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 156896 [startup+1422.31 s] /proc/loadavg: 1.04 1.03 1.00 2/65 1686 /proc/meminfo: memFree=1802848/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=157804 CPUtime=1421.93 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 45231 0 0 0 141899 294 0 0 25 0 1 0 180628374 161591296 38397 1992294400 4194304 7823515 548682068736 18446744073709551615 6211136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 39451 38397 563 886 0 38561 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 157804 [startup+1482.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 1686 /proc/meminfo: memFree=1802336/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=158368 CPUtime=1481.91 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 45350 0 0 0 147886 305 0 0 25 0 1 0 180628374 162168832 38516 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 39592 38516 563 886 0 38702 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 158368 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1686 /proc/meminfo: memFree=1800096/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=160548 CPUtime=1541.9 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 45897 0 0 0 153874 316 0 0 25 0 1 0 180628374 164401152 39063 1992294400 4194304 7823515 548682068736 18446744073709551615 4253560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 40137 39063 563 886 0 39247 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 160548 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1686 /proc/meminfo: memFree=1798624/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=162052 CPUtime=1601.89 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 46258 0 0 0 159862 327 0 0 25 0 1 0 180628374 165941248 39424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 40513 39424 563 886 0 39623 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 162052 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1686 /proc/meminfo: memFree=1798432/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=162052 CPUtime=1661.87 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 46313 0 0 0 165849 338 0 0 25 0 1 0 180628374 165941248 39479 1992294400 4194304 7823515 548682068736 18446744073709551615 6211154 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 40513 39479 563 886 0 39623 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 162052 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1686 /proc/meminfo: memFree=1795872/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=164768 CPUtime=1721.86 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 46944 0 0 0 171835 351 0 0 25 0 1 0 180628374 168722432 40110 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 41192 40110 563 886 0 40302 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 164768 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1795352/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=164948 CPUtime=1781.83 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47021 0 0 0 177821 362 0 0 25 0 1 0 180628374 168906752 40187 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 41237 40187 563 886 0 40347 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 164948 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1795352/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=164948 CPUtime=1785.03 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47023 0 0 0 178140 363 0 0 25 0 1 0 180628374 168906752 40189 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 41237 40189 563 886 0 40347 0 Current children cumulated CPU time (s) 1785.03 Current children cumulated vsize (KiB) 164948 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1794912/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=165800 CPUtime=1791.44 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47129 0 0 0 178779 365 0 0 25 0 1 0 180628374 169779200 40295 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 41450 40295 563 886 0 40560 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 165800 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1794912/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=165800 CPUtime=1793.03 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47130 0 0 0 178938 365 0 0 25 0 1 0 180628374 169779200 40296 1992294400 4194304 7823515 548682068736 18446744073709551615 6110670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 41450 40296 563 886 0 40560 0 Current children cumulated CPU time (s) 1793.03 Current children cumulated vsize (KiB) 165800 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1794912/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=165800 CPUtime=1794.63 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47131 0 0 0 179098 365 0 0 25 0 1 0 180628374 169779200 40297 1992294400 4194304 7823515 548682068736 18446744073709551615 6212176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 41450 40297 563 886 0 40560 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 165800 [startup+1795.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1794912/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=165800 CPUtime=1795.43 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47131 0 0 0 179178 365 0 0 25 0 1 0 180628374 169779200 40297 1992294400 4194304 7823515 548682068736 18446744073709551615 6109349 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1683/statm: 41450 40297 563 886 0 40560 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (KiB) 165800 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1794912/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=165800 CPUtime=1795.63 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47135 0 0 0 179198 365 0 0 25 0 1 0 180628374 169779200 40301 1992294400 4194304 7823515 548682068736 18446744073709551615 4806023 0 0 4096 0 0 0 0 17 1 0 0 /proc/1683/statm: 41450 40301 567 886 0 40560 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (KiB) 165800 [startup+1796.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1693 /proc/meminfo: memFree=1794912/2055920 swapFree=4181652/4192956 [pid=1683] ppid=1681 vsize=165800 CPUtime=1795.73 /proc/1683/stat : 1683 (pbscip.linux.x8) R 1681 1683 1289 0 -1 4194304 47136 0 0 0 179208 365 0 0 25 0 1 0 180628374 169779200 40302 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0 /proc/1683/statm: 41450 40302 568 886 0 40560 0 Current children cumulated CPU time (s) 1795.73 Current children cumulated vsize (KiB) 165800 Child status: 0 Real time (s): 1796.26 CPU time (s): 1795.8 CPU user time (s): 1792.12 CPU system time (s): 3.68244 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 165800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.12 system time used= 3.68244 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47140 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= 2264 runsolver used 2.00169 second user time and 4.06538 second system time The end
Begin job on node18 at 2009-06-16 07:31:22 IDJOB=1868638 IDBENCH=1486 IDSOLVER=683 FILE ID=node18/1868638-1245130282 PBS_JOBID= 9363698 Free space on /tmp= 66172 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) 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.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868638-1245130282/watcher-1868638-1245130282 -o /tmp/evaluation-result-1868638-1245130282/solver-1868638-1245130282 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868638-1245130282.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d796017ccd28821dde70ee2d87448ada RANDOM SEED=2107958847 node18.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.236 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.236 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: 1955688 kB Buffers: 5652 kB Cached: 50092 kB SwapCached: 5524 kB Active: 40672 kB Inactive: 22888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1955688 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 10896 kB Writeback: 0 kB Mapped: 12840 kB Slab: 22684 kB Committed_AS: 139660 kB PageTables: 1376 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= 66164 MiB End job on node18 at 2009-06-16 08:01:18