Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1794.01 | 1794.55 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb |
MD5SUM | 28d827e98d8e81c3ff9d9e47a6238269 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 13.5089 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4644 |
Total number of constraints | 31254 |
Number of constraints which are clauses | 30228 |
Number of constraints which are cardinality constraints (but not clauses) | 948 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 104 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2704279-1278550674.opb> 0.49/0.51 c original problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints 0.49/0.51 c problem read 0.49/0.51 c No objective function, only one solution is needed. 0.49/0.51 c presolving settings loaded 0.59/0.65 c presolving: 0.89/0.94 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31254 upgd conss, 0 impls, 948 clqs 0.89/0.99 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 31254 upgd conss, 0 impls, 1380 clqs 1.00/1.04 c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 6 chg sides, 294 chg coeffs, 31254 upgd conss, 0 impls, 1380 clqs 1.00/1.08 c presolving (4 rounds): 1.00/1.08 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 294 changed coefficients 1.00/1.08 c 0 implications, 1380 cliques 1.00/1.08 c presolved problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints 1.00/1.08 c 78 constraints of type <knapsack> 1.00/1.08 c 948 constraints of type <setppc> 1.00/1.08 c 30228 constraints of type <logicor> 1.00/1.08 c transformed objective value is always integral (scale: 1) 1.00/1.08 c Presolving Time: 0.46 1.00/1.08 c - non default parameters ---------------------------------------------------------------------- 1.00/1.08 c # SCIP version 1.2.1.3 1.00/1.08 c 1.00/1.08 c # frequency for displaying node information lines 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 100] 1.00/1.08 c display/freq = 10000 1.00/1.08 c 1.00/1.08 c # maximal time in seconds to run 1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.00/1.08 c limits/time = 1789.49 1.00/1.08 c 1.00/1.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.00/1.08 c limits/memory = 1620 1.00/1.08 c 1.00/1.08 c # solving stops, if the given number of solutions were found (-1: no limit) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.08 c limits/solutions = 1 1.00/1.08 c 1.00/1.08 c # maximal number of separation rounds per node (-1: unlimited) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 5] 1.00/1.08 c separating/maxrounds = 1 1.00/1.08 c 1.00/1.08 c # maximal number of separation rounds in the root node (-1: unlimited) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.08 c separating/maxroundsroot = 5 1.00/1.08 c 1.00/1.08 c # default clock type (1: CPU user seconds, 2: wall clock time) 1.00/1.08 c # [type: int, range: [1,2], default: 1] 1.00/1.08 c timing/clocktype = 2 1.00/1.08 c 1.00/1.08 c # should presolving try to simplify inequalities 1.00/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.00/1.08 c constraints/linear/simplifyinequalities = TRUE 1.00/1.08 c 1.00/1.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 1.00/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.00/1.08 c constraints/indicator/addCouplingCons = TRUE 1.00/1.08 c 1.00/1.08 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.00/1.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.00/1.08 c constraints/knapsack/disaggregation = FALSE 1.00/1.08 c 1.00/1.08 c # should presolving try to simplify knapsacks 1.00/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.00/1.08 c constraints/knapsack/simplifyinequalities = TRUE 1.00/1.08 c 1.00/1.08 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.08 c presolving/probing/maxrounds = 0 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.08 c heuristics/coefdiving/freq = -1 1.00/1.08 c 1.00/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.08 c heuristics/coefdiving/maxlpiterquot = 0.075 1.00/1.08 c 1.00/1.08 c # additional number of allowed LP iterations 1.00/1.08 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.08 c heuristics/coefdiving/maxlpiterofs = 1500 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 30] 1.00/1.08 c heuristics/crossover/freq = -1 1.00/1.08 c 1.00/1.08 c # number of nodes added to the contingent of the total nodes 1.00/1.08 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.00/1.08 c heuristics/crossover/nodesofs = 750 1.00/1.08 c 1.00/1.08 c # number of nodes without incumbent change that heuristic should wait 1.00/1.08 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.00/1.08 c heuristics/crossover/nwaitingnodes = 100 1.00/1.08 c 1.00/1.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.00/1.08 c # [type: real, range: [0,1], default: 0.1] 1.00/1.08 c heuristics/crossover/nodesquot = 0.15 1.00/1.08 c 1.00/1.08 c # minimum percentage of integer variables that have to be fixed 1.00/1.08 c # [type: real, range: [0,1], default: 0.666] 1.00/1.08 c heuristics/crossover/minfixingrate = 0.5 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 20] 1.00/1.08 c heuristics/feaspump/freq = -1 1.00/1.08 c 1.00/1.08 c # additional number of allowed LP iterations 1.00/1.08 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.08 c heuristics/feaspump/maxlpiterofs = 2000 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.08 c heuristics/fracdiving/freq = -1 1.00/1.08 c 1.00/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.08 c heuristics/fracdiving/maxlpiterquot = 0.075 1.00/1.08 c 1.00/1.08 c # additional number of allowed LP iterations 1.00/1.08 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.08 c heuristics/fracdiving/maxlpiterofs = 1500 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.08 c heuristics/guideddiving/freq = -1 1.00/1.08 c 1.00/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.08 c heuristics/guideddiving/maxlpiterquot = 0.075 1.00/1.08 c 1.00/1.08 c # additional number of allowed LP iterations 1.00/1.08 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.08 c heuristics/guideddiving/maxlpiterofs = 1500 1.00/1.08 c 1.00/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.08 c heuristics/intdiving/maxlpiterquot = 0.075 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.08 c heuristics/intshifting/freq = -1 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.08 c heuristics/linesearchdiving/freq = -1 1.00/1.08 c 1.00/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.00/1.08 c 1.00/1.08 c # additional number of allowed LP iterations 1.00/1.08 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.08 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.08 c heuristics/nlp/freq = -1 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 20] 1.00/1.08 c heuristics/objpscostdiving/freq = -1 1.00/1.08 c 1.00/1.08 c # maximal fraction of diving LP iterations compared to total iteration number 1.00/1.08 c # [type: real, range: [0,1], default: 0.01] 1.00/1.08 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.00/1.08 c 1.00/1.08 c # additional number of allowed LP iterations 1.00/1.08 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.08 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.00/1.08 c 1.00/1.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.00/1.08 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.09 c heuristics/oneopt/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.09 c heuristics/pscostdiving/freq = -1 1.00/1.09 c 1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.09 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.00/1.09 c 1.00/1.09 c # additional number of allowed LP iterations 1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.09 c heuristics/pscostdiving/maxlpiterofs = 1500 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.09 c heuristics/rens/freq = -1 1.00/1.09 c 1.00/1.09 c # minimum percentage of integer variables that have to be fixable 1.00/1.09 c # [type: real, range: [0,1], default: 0.5] 1.00/1.09 c heuristics/rens/minfixingrate = 0.3 1.00/1.09 c 1.00/1.09 c # number of nodes added to the contingent of the total nodes 1.00/1.09 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.00/1.09 c heuristics/rens/nodesofs = 2000 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 20] 1.00/1.09 c heuristics/rootsoldiving/freq = -1 1.00/1.09 c 1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.00/1.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.00/1.09 c 1.00/1.09 c # additional number of allowed LP iterations 1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.09 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.09 c heuristics/rounding/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.09 c heuristics/shifting/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.09 c heuristics/simplerounding/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.09 c heuristics/trivial/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.09 c heuristics/trysol/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 10] 1.00/1.09 c heuristics/veclendiving/freq = -1 1.00/1.09 c 1.00/1.09 c # maximal fraction of diving LP iterations compared to node LP iterations 1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.00/1.09 c heuristics/veclendiving/maxlpiterquot = 0.075 1.00/1.09 c 1.00/1.09 c # additional number of allowed LP iterations 1.00/1.09 c # [type: int, range: [0,2147483647], default: 1000] 1.00/1.09 c heuristics/veclendiving/maxlpiterofs = 1500 1.00/1.09 c 1.00/1.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1] 1.00/1.09 c heuristics/zirounding/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.09 c separating/cmir/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0] 1.00/1.09 c separating/flowcover/freq = -1 1.00/1.09 c 1.00/1.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.00/1.09 c # [type: int, range: [-1,2147483647], default: -1] 1.00/1.09 c separating/rapidlearning/freq = 0 1.00/1.09 c 1.00/1.09 c ----------------------------------------------------------------------------------------------- 1.00/1.09 c start solving 1.00/1.09 c 13.99/14.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.99/14.09 c 13.6s| 1 | 0 | 4548 | - | 44M| 0 | 564 |4644 | 31k|4644 | 31k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 40.58/40.70 c 40.2s| 1 | 0 | 8644 | - | 56M| 0 | 623 |4644 | 31k|4644 | 31k| 72 | 0 | 0 | 0.000000e+00 | -- | Inf 72.07/72.16 c 71.6s| 1 | 0 | 12569 | - | 67M| 0 | 635 |4644 | 31k|4644 | 31k| 117 | 0 | 0 | 0.000000e+00 | -- | Inf 102.66/102.74 c 102s| 1 | 0 | 15958 | - | 77M| 0 | 729 |4644 | 31k|4644 | 31k| 153 | 0 | 0 | 0.000000e+00 | -- | Inf 140.45/140.51 c 140s| 1 | 0 | 20109 | - | 87M| 0 | 713 |4644 | 31k|4644 | 31k| 181 | 0 | 0 | 0.000000e+00 | -- | Inf 182.94/183.00 c 182s| 1 | 0 | 25483 | - | 99M| 0 | 747 |4644 | 31k|4644 | 31k| 222 | 0 | 0 | 0.000000e+00 | -- | Inf 326.69/326.87 c 326s| 1 | 2 | 25483 | - | 99M| 0 | 747 |4644 | 31k|4644 | 31k| 222 | 0 | 32 | 0.000000e+00 | -- | Inf 1793.75/1794.37 c 1793.75/1794.37 c SCIP Status : solving was interrupted [time limit reached] 1793.75/1794.37 c Solving Time (sec) : 1793.86 1793.75/1794.37 c Solving Nodes : 120 1793.75/1794.37 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1793.75/1794.37 c Dual Bound : +0.00000000000000e+00 1793.75/1794.37 c Gap : infinite 1793.75/1794.37 s UNKNOWN 1793.75/1794.37 c SCIP Status : solving was interrupted [time limit reached] 1793.75/1794.37 c Solving Time : 1793.86 1793.75/1794.37 c Original Problem : 1793.75/1794.37 c Problem name : HOME/instance-2704279-1278550674.opb 1793.75/1794.37 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous) 1793.75/1794.37 c Constraints : 31254 initial, 31254 maximal 1793.75/1794.37 c Presolved Problem : 1793.75/1794.37 c Problem name : t_HOME/instance-2704279-1278550674.opb 1793.75/1794.37 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous) 1793.75/1794.37 c Constraints : 31254 initial, 31254 maximal 1793.75/1794.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1793.75/1794.37 c trivial : 0.00 0 0 0 0 0 0 0 0 1793.75/1794.37 c dualfix : 0.00 0 0 0 0 0 0 0 0 1793.75/1794.37 c boundshift : 0.00 0 0 0 0 0 0 0 0 1793.75/1794.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1793.75/1794.37 c implics : 0.00 0 0 0 0 0 0 0 0 1793.75/1794.37 c probing : 0.00 0 0 0 0 0 0 0 0 1793.75/1794.37 c knapsack : 0.02 0 0 0 0 0 0 6 294 1793.75/1794.37 c setppc : 0.01 0 0 0 0 0 0 0 0 1793.75/1794.37 c logicor : 0.13 0 0 0 0 0 0 0 0 1793.75/1794.37 c root node : - 0 - - 0 - - - - 1793.75/1794.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1793.75/1794.37 c integral : 0 0 0 120 0 0 0 0 0 240 1793.75/1794.37 c knapsack : 78 5 254 0 0 0 602 380 0 0 1793.75/1794.37 c setppc : 948 5 254 0 0 0 1269 0 0 0 1793.75/1794.37 c logicor : 30228 5 140 0 0 0 103 0 0 0 1793.75/1794.37 c countsols : 0 0 0 0 0 0 0 0 0 0 1793.75/1794.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1793.75/1794.37 c integral : 981.13 0.00 0.00 981.13 0.00 1793.75/1794.37 c knapsack : 0.02 0.01 0.01 0.00 0.00 1793.75/1794.37 c setppc : 0.03 0.00 0.03 0.00 0.00 1793.75/1794.37 c logicor : 0.05 0.01 0.04 0.00 0.00 1793.75/1794.37 c countsols : 0.00 0.00 0.00 0.00 0.00 1793.75/1794.37 c Propagators : Time Calls Cutoffs DomReds 1793.75/1794.37 c vbounds : 0.00 1 0 0 1793.75/1794.37 c rootredcost : 0.00 0 0 0 1793.75/1794.37 c pseudoobj : 0.00 0 0 0 1793.75/1794.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1793.75/1794.37 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1793.75/1794.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1793.75/1794.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1793.75/1794.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1793.75/1794.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1793.75/1794.37 c applied globally : - - - 0 0.0 - - - 1793.75/1794.37 c applied locally : - - - 0 0.0 - - - 1793.75/1794.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1793.75/1794.37 c cut pool : 0.03 4 - - 78 - (maximal pool size: 1463) 1793.75/1794.37 c redcost : 0.06 124 0 0 0 0 1793.75/1794.37 c impliedbounds : 0.01 5 0 0 0 0 1793.75/1794.37 c intobj : 0.00 0 0 0 0 0 1793.75/1794.37 c cgmip : 0.00 0 0 0 0 0 1793.75/1794.37 c gomory : 63.14 5 0 0 964 0 1793.75/1794.37 c strongcg : 11.49 5 0 0 2500 0 1793.75/1794.37 c cmir : 0.00 0 0 0 0 0 1793.75/1794.37 c flowcover : 0.00 0 0 0 0 0 1793.75/1794.37 c clique : 0.10 5 0 0 33 0 1793.75/1794.37 c zerohalf : 0.00 0 0 0 0 0 1793.75/1794.37 c mcf : 0.05 1 0 0 0 0 1793.75/1794.37 c rapidlearning : 0.00 0 0 0 0 0 1793.75/1794.37 c Pricers : Time Calls Vars 1793.75/1794.37 c problem variables: 0.00 0 0 1793.75/1794.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1793.75/1794.37 c relpscost : 981.13 120 0 0 0 0 240 1793.75/1794.37 c pscost : 0.00 0 0 0 0 0 0 1793.75/1794.37 c inference : 0.00 0 0 0 0 0 0 1793.75/1794.37 c mostinf : 0.00 0 0 0 0 0 0 1793.75/1794.37 c leastinf : 0.00 0 0 0 0 0 0 1793.75/1794.37 c fullstrong : 0.00 0 0 0 0 0 0 1793.75/1794.37 c allfullstrong : 0.00 0 0 0 0 0 0 1793.75/1794.37 c random : 0.00 0 0 0 0 0 0 1793.75/1794.37 c Primal Heuristics : Time Calls Found 1793.75/1794.37 c LP solutions : 0.00 - 0 1793.75/1794.37 c pseudo solutions : 0.00 - 0 1793.75/1794.37 c trivial : 0.01 1 0 1793.75/1794.37 c simplerounding : 0.00 0 0 1793.75/1794.37 c zirounding : 0.00 0 0 1793.75/1794.37 c rounding : 0.00 0 0 1793.75/1794.37 c shifting : 0.00 0 0 1793.75/1794.37 c intshifting : 0.00 0 0 1793.75/1794.37 c oneopt : 0.00 0 0 1793.75/1794.37 c twoopt : 0.00 0 0 1793.75/1794.37 c fixandinfer : 0.00 0 0 1793.75/1794.37 c feaspump : 0.00 0 0 1793.75/1794.37 c coefdiving : 0.00 0 0 1793.75/1794.37 c pscostdiving : 0.00 0 0 1793.75/1794.37 c fracdiving : 0.00 0 0 1793.75/1794.37 c veclendiving : 0.00 0 0 1793.75/1794.37 c intdiving : 0.00 0 0 1793.75/1794.37 c actconsdiving : 0.00 0 0 1793.75/1794.37 c objpscostdiving : 0.00 0 0 1793.75/1794.37 c rootsoldiving : 0.00 0 0 1793.75/1794.37 c linesearchdiving : 0.00 0 0 1793.75/1794.37 c guideddiving : 0.00 0 0 1793.75/1794.37 c octane : 0.00 0 0 1793.75/1794.37 c rens : 0.00 0 0 1793.75/1794.37 c rins : 0.00 0 0 1793.75/1794.37 c localbranching : 0.00 0 0 1793.75/1794.37 c mutation : 0.00 0 0 1793.75/1794.37 c crossover : 0.00 0 0 1793.75/1794.37 c dins : 0.00 0 0 1793.75/1794.37 c undercover : 0.00 0 0 1793.75/1794.37 c nlp : 0.00 0 0 1793.75/1794.37 c trysol : 0.00 0 0 1793.75/1794.37 c LP : Time Calls Iterations Iter/call Iter/sec 1793.75/1794.37 c primal LP : 0.02 0 0 0.00 0.00 1793.75/1794.37 c dual LP : 734.99 125 166855 1334.84 227.02 1793.75/1794.37 c lex dual LP : 0.00 0 0 0.00 - 1793.75/1794.37 c barrier LP : 0.00 0 0 0.00 - 1793.75/1794.37 c diving/probing LP: 0.00 0 0 0.00 - 1793.75/1794.37 c strong branching : 981.07 221 216106 977.86 220.28 1793.75/1794.37 c (at root node) : - 32 31002 968.81 - 1793.75/1794.37 c conflict analysis: 0.00 0 0 0.00 - 1793.75/1794.37 c B&B Tree : 1793.75/1794.37 c number of runs : 1 1793.75/1794.37 c nodes : 120 1793.75/1794.37 c nodes (total) : 120 1793.75/1794.37 c nodes left : 121 1793.75/1794.37 c max depth : 65 1793.75/1794.37 c max depth (total): 65 1793.75/1794.37 c backtracks : 8 (6.7%) 1793.75/1794.37 c delayed cutoffs : 0 1793.75/1794.37 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1793.75/1794.37 c avg switch length: 1.48 1793.75/1794.37 c switching time : 0.10 1793.75/1794.37 c Solution : 1793.75/1794.37 c Solutions found : 0 (0 improvements) 1793.75/1794.37 c Primal Bound : - 1793.75/1794.37 c Dual Bound : +0.00000000000000e+00 1793.75/1794.37 c Gap : infinite 1793.75/1794.37 c Root Dual Bound : +0.00000000000000e+00 1793.75/1794.37 c Root Iterations : 25483 1793.95/1794.54 c Time complete: 1794.
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-2704279-1278550674/watcher-2704279-1278550674 -o /tmp/evaluation-result-2704279-1278550674/solver-2704279-1278550674 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704279-1278550674.opb -t 1800 -m 1800 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 0.91 3/106 32439 /proc/meminfo: memFree=1606312/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=7904 CPUtime=0 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 1109 0 0 0 0 0 0 0 23 0 1 0 23279811 8093696 1020 1992294400 4194304 8395647 140735536614528 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32439/statm: 1976 1028 365 1026 0 946 0 [startup+0.0300131 s] /proc/loadavg: 1.00 1.00 0.91 3/106 32439 /proc/meminfo: memFree=1606312/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=13088 CPUtime=0.02 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 2571 0 0 0 1 1 0 0 23 0 1 0 23279811 13402112 2482 1992294400 4194304 8395647 140735536614528 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32439/statm: 3272 2482 390 1026 0 2242 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13088 [startup+0.101019 s] /proc/loadavg: 1.00 1.00 0.91 3/106 32439 /proc/meminfo: memFree=1606312/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=17372 CPUtime=0.09 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 3642 0 0 0 8 1 0 0 23 0 1 0 23279811 17788928 3553 1992294400 4194304 8395647 140735536614528 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32439/statm: 4343 3553 390 1026 0 3313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17372 [startup+0.301039 s] /proc/loadavg: 1.00 1.00 0.91 3/106 32439 /proc/meminfo: memFree=1606312/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=23000 CPUtime=0.29 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 5028 0 0 0 28 1 0 0 23 0 1 0 23279811 23552000 4939 1992294400 4194304 8395647 140735536614528 18446744073709551615 6348982 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32439/statm: 5750 4939 390 1026 0 4720 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23000 [startup+0.701079 s] /proc/loadavg: 1.00 1.00 0.91 3/106 32439 /proc/meminfo: memFree=1606312/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=55808 CPUtime=0.69 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 13320 0 0 0 65 4 0 0 25 0 1 0 23279811 57147392 12877 1992294400 4194304 8395647 140735536614528 18446744073709551615 5005948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 13952 12877 458 1026 0 12922 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55808 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32440 /proc/meminfo: memFree=1543560/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=103364 CPUtime=1.49 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 25183 0 0 0 140 9 0 0 25 0 1 0 23279811 105844736 23324 1992294400 4194304 8395647 140735536614528 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 25841 23324 573 1026 0 24811 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103364 [startup+3.10032 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32440 /proc/meminfo: memFree=1511692/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=107056 CPUtime=3.09 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 26330 0 0 0 299 10 0 0 25 0 1 0 23279811 109625344 24397 1992294400 4194304 8395647 140735536614528 18446744073709551615 6391382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 26764 24397 593 1026 0 25734 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 107056 [startup+6.30064 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32441 /proc/meminfo: memFree=1508220/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=107548 CPUtime=6.29 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 26846 0 0 0 618 11 0 0 25 0 1 0 23279811 110129152 24891 1992294400 4194304 8395647 140735536614528 18446744073709551615 6669642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 26887 24891 592 1026 0 25857 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 107548 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32441 /proc/meminfo: memFree=1506608/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=108368 CPUtime=12.69 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 27234 0 0 0 1256 13 0 0 25 0 1 0 23279811 110968832 25264 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 27092 25264 579 1026 0 26062 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 108368 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32441 /proc/meminfo: memFree=1481436/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=134008 CPUtime=25.49 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 34249 0 0 0 2529 20 0 0 25 0 1 0 23279811 137224192 31776 1992294400 4194304 8395647 140735536614528 18446744073709551615 6698072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 33502 31776 644 1026 0 32472 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 134008 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32442 /proc/meminfo: memFree=1480196/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=134176 CPUtime=51.08 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 34419 0 0 0 5081 27 0 0 25 0 1 0 23279811 137396224 31942 1992294400 4194304 8395647 140735536614528 18446744073709551615 6198176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 33544 31942 640 1026 0 32514 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 134176 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32443 /proc/meminfo: memFree=1444980/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=169556 CPUtime=102.27 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 43198 0 0 0 10182 45 0 0 25 0 1 0 23279811 173625344 40689 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 42389 40689 608 1026 0 41359 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 169556 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32445 /proc/meminfo: memFree=1422536/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193000 CPUtime=162.24 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 48807 0 0 0 16161 63 0 0 25 0 1 0 23279811 197632000 46297 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48250 46297 607 1026 0 47220 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 193000 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 32455 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=222.22 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49060 0 0 0 22144 78 0 0 25 0 1 0 23279811 198012928 46550 1992294400 4194304 8395647 140735536614528 18446744073709551615 6693725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46550 609 1026 0 47313 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 193372 [startup+282.301 s] /proc/loadavg: 1.06 1.01 0.92 2/107 32457 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=282.2 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49067 0 0 0 28126 94 0 0 25 0 1 0 23279811 198012928 46557 1992294400 4194304 8395647 140735536614528 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46557 609 1026 0 47313 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 193372 [startup+342.301 s] /proc/loadavg: 1.02 1.01 0.92 3/107 32459 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=342.18 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49072 0 0 0 34108 110 0 0 25 0 1 0 23279811 198012928 46562 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46562 611 1026 0 47313 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 193372 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32460 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=402.16 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49072 0 0 0 40091 125 0 0 25 0 1 0 23279811 198012928 46562 1992294400 4194304 8395647 140735536614528 18446744073709551615 6696005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46562 611 1026 0 47313 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 193372 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32462 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=462.15 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49073 0 0 0 46074 141 0 0 25 0 1 0 23279811 198012928 46563 1992294400 4194304 8395647 140735536614528 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46563 611 1026 0 47313 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 193372 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32463 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=522.13 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49073 0 0 0 52056 157 0 0 25 0 1 0 23279811 198012928 46563 1992294400 4194304 8395647 140735536614528 18446744073709551615 6698084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46563 611 1026 0 47313 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 193372 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32465 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=582.11 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49073 0 0 0 58041 170 0 0 25 0 1 0 23279811 198012928 46563 1992294400 4194304 8395647 140735536614528 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46563 611 1026 0 47313 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 193372 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32467 /proc/meminfo: memFree=1420800/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193372 CPUtime=642.1 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49073 0 0 0 64026 184 0 0 25 0 1 0 23279811 198012928 46563 1992294400 4194304 8395647 140735536614528 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48343 46563 611 1026 0 47313 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 193372 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1420180/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1061.98 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 105909 289 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 193980 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32479 /proc/meminfo: memFree=1420180/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1121.96 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 111893 303 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6698030 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 193980 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32481 /proc/meminfo: memFree=1420180/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1181.94 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 117878 316 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 193980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32483 /proc/meminfo: memFree=1420056/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1241.93 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 123861 332 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 193980 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32487 /proc/meminfo: memFree=1419560/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1301.91 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 129844 347 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 193980 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32489 /proc/meminfo: memFree=1419560/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1361.89 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 135826 363 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6390464 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 193980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32490 /proc/meminfo: memFree=1419560/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1421.88 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 141811 377 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6586940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 193980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32492 /proc/meminfo: memFree=1419560/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1481.86 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 147792 394 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 193980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32494 /proc/meminfo: memFree=1419808/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1541.83 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 153774 409 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 193980 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32495 /proc/meminfo: memFree=1419808/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=193980 CPUtime=1601.82 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49210 0 0 0 159756 426 0 0 25 0 1 0 23279811 198635520 46700 1992294400 4194304 8395647 140735536614528 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48495 46700 611 1026 0 47465 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 193980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32497 /proc/meminfo: memFree=1419312/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1661.79 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 165737 442 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6698218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 194960 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32498 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1721.77 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 171719 458 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 194960 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32500 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1781.75 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 177703 472 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 194960 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32500 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1784.96 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 178023 473 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1784.96 Current children cumulated vsize (KiB) 194960 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32500 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1788.15 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 178342 473 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6390493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1788.15 Current children cumulated vsize (KiB) 194960 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32500 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1791.36 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 178662 474 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 194960 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32500 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1792.95 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 178820 475 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1792.95 Current children cumulated vsize (KiB) 194960 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32500 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1793.75 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49352 0 0 0 178900 475 0 0 25 0 1 0 23279811 199639040 46842 1992294400 4194304 8395647 140735536614528 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46842 611 1026 0 47710 0 Current children cumulated CPU time (s) 1793.75 Current children cumulated vsize (KiB) 194960 [startup+1794.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 32500 /proc/meminfo: memFree=1419188/2059040 swapFree=4139504/4192956 [pid=32439] ppid=32437 vsize=194960 CPUtime=1793.95 /proc/32439/stat : 32439 (pbscip.linux.x8) R 32437 32439 31762 0 -1 4202496 49359 0 0 0 178920 475 0 0 25 0 1 0 23279811 199639040 46849 1992294400 4194304 8395647 140735536614528 18446744073709551615 6345866 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32439/statm: 48740 46849 618 1026 0 47710 0 Current children cumulated CPU time (s) 1793.95 Current children cumulated vsize (KiB) 194960 Child status: 0 Real time (s): 1794.55 CPU time (s): 1794.01 CPU user time (s): 1789.23 CPU system time (s): 4.77227 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 194960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.23 system time used= 4.77227 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49367 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= 6778 runsolver used 3.11653 second user time and 8.32573 second system time The end
Begin job on node017 at 2010-07-08 02:57:54 IDJOB=2704279 IDBENCH=1496 IDSOLVER=1213 FILE ID=node017/2704279-1278550674 PBS_JOBID= 11239515 Free space on /tmp= 62476 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704279-1278550674/watcher-2704279-1278550674 -o /tmp/evaluation-result-2704279-1278550674/solver-2704279-1278550674 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704279-1278550674.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28d827e98d8e81c3ff9d9e47a6238269 RANDOM SEED=484510434 node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.220 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 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.220 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1606840 kB Buffers: 54568 kB Cached: 295340 kB SwapCached: 7120 kB Active: 156028 kB Inactive: 207900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1606840 kB SwapTotal: 4192956 kB SwapFree: 4139504 kB Dirty: 11420 kB Writeback: 0 kB AnonPages: 11424 kB Mapped: 11856 kB Slab: 66412 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179676 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62464 MiB End job on node017 at 2010-07-08 03:27:49