Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1794.91 | 1795.36 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb |
MD5SUM | 732cdc3fa8b0bf0f47e882c13d928a6d |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 4626 |
Total number of constraints | 30747 |
Number of constraints which are clauses | 29724 |
Number of constraints which are cardinality constraints (but not clauses) | 945 |
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 | 101 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.39/0.48 c SCIP version 1.1.0.7 0.39/0.48 c LP-Solver SoPlex 1.4.1 0.39/0.48 c user parameter file <scip.set> not found - using default parameters 0.39/0.48 c read problem <HOME/instance-1868662-1245131412.opb> 0.39/0.48 c original problem has 4626 variables (4626 bin, 0 int, 0 impl, 0 cont) and 30747 constraints 0.59/0.60 c No objective function, only one solution is needed. 0.59/0.60 c start presolving problem 0.59/0.60 c presolving: 0.89/0.92 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30747 upgd conss, 0 impls, 945 clqs 0.89/1.00 c presolving (2 rounds): 0.89/1.00 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 132 changed coefficients 0.89/1.00 c 264 implications, 1383 cliques 0.89/1.00 c presolved problem has 4626 variables (4626 bin, 0 int, 0 impl, 0 cont) and 30747 constraints 0.89/1.00 c 78 constraints of type <knapsack> 0.89/1.00 c 945 constraints of type <setppc> 0.89/1.00 c 29724 constraints of type <logicor> 0.89/1.00 c transformed objective value is always integral (scale: 1) 0.99/1.00 c Presolving Time: 0.35 0.99/1.00 c SATUNSAT-LIN 0.99/1.00 c ----------------------------------------------------------------------------------------------- 0.99/1.00 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 0] 0.99/1.00 c separating/flowcover/freq = c -1 0.99/1.00 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 0] 0.99/1.00 c separating/cmir/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/veclendiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.00 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.99/1.00 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/veclendiving/freq = c -1 0.99/1.00 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 1] 0.99/1.00 c heuristics/simplerounding/freq = c -1 0.99/1.00 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/shifting/freq = c -1 0.99/1.00 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 1] 0.99/1.00 c heuristics/rounding/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.99/1.00 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.99/1.00 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 20] 0.99/1.00 c heuristics/rootsoldiving/freq = c -1 0.99/1.00 c # number of nodes added to the contingent of the total nodes 0.99/1.00 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.99/1.00 c heuristics/rens/nodesofs = c 2000 0.99/1.00 c # minimum percentage of integer variables that have to be fixable 0.99/1.00 c # [type: real, range: [0,1], default: 0.5] 0.99/1.00 c heuristics/rens/minfixingrate = c 0.3 0.99/1.00 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 0] 0.99/1.00 c heuristics/rens/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.00 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.99/1.00 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/pscostdiving/freq = c -1 0.99/1.00 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 1] 0.99/1.00 c heuristics/oneopt/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to total iteration number 0.99/1.00 c # [type: real, range: [0,1], default: 0.01] 0.99/1.00 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.99/1.00 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 20] 0.99/1.00 c heuristics/objpscostdiving/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.00 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.99/1.00 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/linesearchdiving/freq = c -1 0.99/1.00 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/intshifting/freq = c -1 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.00 c heuristics/intdiving/maxlpiterquot = c 0.075 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/guideddiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.00 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.99/1.00 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/guideddiving/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/fracdiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.00 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.99/1.00 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/fracdiving/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/feaspump/maxlpiterofs = c 2000 0.99/1.00 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 20] 0.99/1.00 c heuristics/feaspump/freq = c -1 0.99/1.00 c # minimum percentage of integer variables that have to be fixed 0.99/1.00 c # [type: real, range: [0,1], default: 0.666] 0.99/1.00 c heuristics/crossover/minfixingrate = c 0.5 0.99/1.00 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.99/1.00 c # [type: real, range: [0,1], default: 0.1] 0.99/1.00 c heuristics/crossover/nodesquot = c 0.15 0.99/1.00 c # number of nodes without incumbent change that heuristic should wait 0.99/1.00 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.99/1.00 c heuristics/crossover/nwaitingnodes = c 100 0.99/1.00 c # number of nodes added to the contingent of the total nodes 0.99/1.00 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.99/1.00 c heuristics/crossover/nodesofs = c 750 0.99/1.00 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 30] 0.99/1.00 c heuristics/crossover/freq = c -1 0.99/1.00 c # additional number of allowed LP iterations 0.99/1.00 c # [type: int, range: [0,2147483647], default: 1000] 0.99/1.00 c heuristics/coefdiving/maxlpiterofs = c 1500 0.99/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.99/1.00 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.99/1.00 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 10] 0.99/1.00 c heuristics/coefdiving/freq = c -1 0.99/1.00 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.00 c presolving/probing/maxrounds = c 0 0.99/1.00 c # should presolving try to simplify knapsacks 0.99/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.99/1.00 c constraints/knapsack/simplifyinequalities = c TRUE 0.99/1.00 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.99/1.00 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.99/1.00 c constraints/knapsack/disaggregation = c FALSE 0.99/1.00 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.00 c constraints/knapsack/maxnumcardlift = c 0 0.99/1.00 c # should presolving try to simplify inequalities 0.99/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.99/1.01 c constraints/linear/simplifyinequalities = c TRUE 0.99/1.01 c # maximal number of separation rounds in the root node (-1: unlimited) 0.99/1.01 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.01 c separating/maxroundsroot = c 5 0.99/1.01 c # maximal number of separation rounds per node (-1: unlimited) 0.99/1.01 c # [type: int, range: [-1,2147483647], default: 5] 0.99/1.01 c separating/maxrounds = c 1 0.99/1.01 c # solving stops, if the given number of solutions were found (-1: no limit) 0.99/1.01 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.01 c limits/solutions = c 1 0.99/1.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.99/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.99/1.01 c limits/memory = c 1620 0.99/1.01 c # maximal time in seconds to run 0.99/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.99/1.01 c limits/time = c 1791 0.99/1.01 c # frequency for displaying node information lines 0.99/1.01 c # [type: int, range: [-1,2147483647], default: 100] 0.99/1.01 c display/freq = c 10000 0.99/1.01 c ----------------------------------------------------------------------------------------------- 0.99/1.01 c start solving problem 0.99/1.01 c 9.28/9.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 9.28/9.33 c 8.7s| 1 | 0 | 2805 | 43M| 0 | 539 |4626 | 30k| 30k|4626 | 30k| 0 | 0 | 0 | 1.740000e+02 | -- | Inf 20.18/20.26 c 19.6s| 1 | 0 | 3919 | 51M| 0 | 607 |4626 | 30k| 30k|4626 | 30k| 47 | 0 | 0 | 1.740000e+02 | -- | Inf 32.38/32.43 c 31.7s| 1 | 0 | 4858 | 58M| 0 | 622 |4626 | 30k| 30k|4626 | 30k| 78 | 0 | 0 | 1.740000e+02 | -- | Inf 55.06/55.13 c 54.4s| 1 | 0 | 6024 | 64M| 0 | 632 |4626 | 30k| 30k|4626 | 30k| 101 | 0 | 0 | 1.740000e+02 | -- | Inf 89.35/89.41 c 88.6s| 1 | 0 | 6946 | 72M| 0 | 668 |4626 | 30k| 30k|4626 | 30k| 127 | 0 | 0 | 1.740000e+02 | -- | Inf 110.65/110.74 c 110s| 1 | 0 | 8198 | 76M| 0 | 675 |4626 | 30k| 30k|4626 | 30k| 152 | 0 | 0 | 1.740000e+02 | -- | Inf 233.82/233.93 c 233s| 1 | 2 | 8198 | 76M| 0 | 675 |4626 | 30k| 30k|4626 | 30k| 152 | 0 | 25 | 1.740000e+02 | -- | Inf 1794.65/1795.18 c 1794.65/1795.18 c SCIP Status : solving was interrupted [time limit reached] 1794.65/1795.18 c Solving Time (sec) : 1792.00 1794.65/1795.18 c Solving Nodes : 199 1794.65/1795.18 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1794.65/1795.18 c Dual Bound : +1.74000000000001e+02 1794.65/1795.18 c Gap : infinite 1794.65/1795.18 c NODE 199 1794.65/1795.18 c DUAL BOUND 174 1794.65/1795.18 c PRIMAL BOUND 1e+20 1794.65/1795.18 c GAP 1e+20 1794.65/1795.18 s UNKNOWN 1794.65/1795.18 c SCIP Status : solving was interrupted [time limit reached] 1794.65/1795.18 c Solving Time : 1792.00 1794.65/1795.18 c Original Problem : 1794.65/1795.18 c Problem name : HOME/instance-1868662-1245131412.opb 1794.65/1795.18 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.65/1795.18 c Constraints : 30747 initial, 30747 maximal 1794.65/1795.18 c Presolved Problem : 1794.65/1795.18 c Problem name : t_HOME/instance-1868662-1245131412.opb 1794.65/1795.18 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.65/1795.18 c Constraints : 30747 initial, 30747 maximal 1794.65/1795.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.65/1795.18 c trivial : 0.00 0 0 0 0 0 0 0 0 1794.65/1795.18 c dualfix : 0.00 0 0 0 0 0 0 0 0 1794.65/1795.18 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.65/1795.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.65/1795.18 c implics : 0.01 0 0 0 0 0 0 0 0 1794.65/1795.18 c probing : 0.00 0 0 0 0 0 0 0 0 1794.65/1795.18 c knapsack : 0.02 0 0 0 0 0 0 0 132 1794.65/1795.18 c setppc : 0.01 0 0 0 0 0 0 0 0 1794.65/1795.18 c logicor : 0.07 0 0 0 0 0 0 0 0 1794.65/1795.18 c root node : - 0 - - 0 - - - - 1794.65/1795.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.65/1795.18 c integral : 0 0 0 199 0 0 0 0 0 398 1794.65/1795.18 c knapsack : 78 5 394 0 0 0 719 62 0 0 1794.65/1795.18 c setppc : 945 5 394 0 0 0 2823 0 0 0 1794.65/1795.18 c logicor : 29724 5 131 0 0 0 21 0 0 0 1794.65/1795.18 c countsols : 0 0 0 0 0 0 0 0 0 0 1794.65/1795.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.65/1795.18 c integral : 1034.80 0.00 0.00 1034.80 0.00 1794.65/1795.18 c knapsack : 0.03 0.02 0.01 0.00 0.00 1794.65/1795.18 c setppc : 0.01 0.00 0.01 0.00 0.00 1794.65/1795.18 c logicor : 0.06 0.01 0.05 0.00 0.00 1794.65/1795.18 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.65/1795.18 c Propagators : Time Calls Cutoffs DomReds 1794.65/1795.18 c rootredcost : 0.00 0 0 0 1794.65/1795.18 c pseudoobj : 0.21 395 0 0 1794.65/1795.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.65/1795.18 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1794.65/1795.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1794.65/1795.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.65/1795.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.65/1795.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.65/1795.18 c applied globally : - - - 0 0.0 - - - 1794.65/1795.18 c applied locally : - - - 0 0.0 - - - 1794.65/1795.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.65/1795.18 c cut pool : 0.02 4 - - 12 - (maximal pool size: 921) 1794.65/1795.18 c redcost : 0.13 203 0 0 0 0 1794.65/1795.18 c impliedbounds : 0.00 5 0 0 0 0 1794.65/1795.18 c intobj : 0.00 0 0 0 0 0 1794.65/1795.18 c gomory : 54.43 5 0 0 2500 0 1794.65/1795.18 c strongcg : 17.38 5 0 0 2500 0 1794.65/1795.18 c cmir : 0.00 0 0 0 0 0 1794.65/1795.18 c flowcover : 0.00 0 0 0 0 0 1794.65/1795.18 c clique : 0.11 5 0 0 31 0 1794.65/1795.18 c zerohalf : 0.00 0 0 0 0 0 1794.65/1795.18 c mcf : 0.04 1 0 0 0 0 1794.65/1795.18 c Pricers : Time Calls Vars 1794.65/1795.18 c problem variables: 0.00 0 0 1794.65/1795.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.65/1795.18 c relpscost : 1034.80 199 0 0 0 0 398 1794.65/1795.18 c pscost : 0.00 0 0 0 0 0 0 1794.65/1795.18 c inference : 0.00 0 0 0 0 0 0 1794.65/1795.18 c mostinf : 0.00 0 0 0 0 0 0 1794.65/1795.18 c leastinf : 0.00 0 0 0 0 0 0 1794.65/1795.18 c fullstrong : 0.00 0 0 0 0 0 0 1794.65/1795.18 c allfullstrong : 0.00 0 0 0 0 0 0 1794.65/1795.18 c random : 0.00 0 0 0 0 0 0 1794.65/1795.18 c Primal Heuristics : Time Calls Found 1794.65/1795.18 c LP solutions : 0.00 - 0 1794.65/1795.18 c pseudo solutions : 0.00 - 0 1794.65/1795.18 c simplerounding : 0.00 0 0 1794.65/1795.18 c rounding : 0.00 0 0 1794.65/1795.18 c shifting : 0.00 0 0 1794.65/1795.18 c intshifting : 0.00 0 0 1794.65/1795.18 c oneopt : 0.00 0 0 1794.65/1795.18 c fixandinfer : 0.00 0 0 1794.65/1795.18 c feaspump : 0.00 0 0 1794.65/1795.18 c coefdiving : 0.00 0 0 1794.65/1795.18 c pscostdiving : 0.00 0 0 1794.65/1795.18 c fracdiving : 0.00 0 0 1794.65/1795.18 c veclendiving : 0.00 0 0 1794.65/1795.18 c intdiving : 0.00 0 0 1794.65/1795.18 c actconsdiving : 0.00 0 0 1794.65/1795.18 c objpscostdiving : 0.00 0 0 1794.65/1795.18 c rootsoldiving : 0.00 0 0 1794.65/1795.18 c linesearchdiving : 0.00 0 0 1794.65/1795.18 c guideddiving : 0.00 0 0 1794.65/1795.18 c octane : 0.00 0 0 1794.65/1795.18 c rens : 0.00 0 0 1794.65/1795.18 c rins : 0.00 0 0 1794.65/1795.19 c localbranching : 0.00 0 0 1794.65/1795.19 c mutation : 0.00 0 0 1794.65/1795.19 c crossover : 0.00 0 0 1794.65/1795.19 c dins : 0.00 0 0 1794.65/1795.19 c LP : Time Calls Iterations Iter/call Iter/sec 1794.65/1795.19 c primal LP : 0.02 0 0 0.00 0.00 1794.65/1795.19 c dual LP : 681.14 204 123341 604.61 181.08 1794.65/1795.19 c barrier LP : 0.00 0 0 0.00 - 1794.65/1795.19 c diving/probing LP: 0.00 0 0 0.00 - 1794.65/1795.19 c strong branching : 1034.69 270 186357 690.21 180.11 1794.65/1795.19 c (at root node) : - 25 22093 883.72 - 1794.65/1795.19 c conflict analysis: 0.00 0 0 0.00 - 1794.65/1795.19 c B&B Tree : 1794.65/1795.19 c number of runs : 1 1794.65/1795.19 c nodes : 199 1794.65/1795.19 c nodes (total) : 199 1794.65/1795.19 c nodes left : 200 1794.65/1795.19 c max depth : 29 1794.65/1795.19 c max depth (total): 29 1794.65/1795.19 c backtracks : 13 (6.5%) 1794.65/1795.19 c delayed cutoffs : 0 1794.65/1795.19 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1794.65/1795.19 c avg switch length: 1.96 1794.65/1795.19 c switching time : 0.12 1794.65/1795.19 c Solution : 1794.65/1795.19 c Solutions found : 0 (0 improvements) 1794.65/1795.19 c Primal Bound : - 1794.65/1795.19 c Dual Bound : +1.74000000000001e+02 1794.65/1795.19 c Gap : infinite 1794.65/1795.19 c Root Dual Bound : +1.74000000000000e+02 1794.84/1795.35 c Time complete: 1794.89.
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-1868662-1245131412/watcher-1868662-1245131412 -o /tmp/evaluation-result-1868662-1245131412/solver-1868662-1245131412 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868662-1245131412.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.04 1.01 1.00 3/64 32456 /proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=4324 CPUtime=0 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 180742213 4427776 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6962474 0 0 4096 0 0 0 0 17 1 0 0 /proc/32456/statm: 1122 471 306 886 0 232 0 [startup+0.0339359 s] /proc/loadavg: 1.04 1.01 1.00 3/64 32456 /proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=11548 CPUtime=0.02 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 2225 0 0 0 2 0 0 0 18 0 1 0 180742213 11825152 2207 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0 /proc/32456/statm: 2887 2207 351 886 0 1997 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11548 [startup+0.101941 s] /proc/loadavg: 1.04 1.01 1.00 3/64 32456 /proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=16532 CPUtime=0.09 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 3292 0 0 0 8 1 0 0 18 0 1 0 180742213 16928768 3274 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0 /proc/32456/statm: 4133 3283 351 886 0 3243 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16532 [startup+0.301956 s] /proc/loadavg: 1.04 1.01 1.00 3/64 32456 /proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=21388 CPUtime=0.29 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 4661 0 0 0 28 1 0 0 19 0 1 0 180742213 21901312 4643 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/32456/statm: 5347 4643 351 886 0 4457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21388 [startup+0.70199 s] /proc/loadavg: 1.04 1.01 1.00 3/64 32456 /proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=53060 CPUtime=0.69 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 12690 0 0 0 63 6 0 0 22 0 1 0 180742213 54333440 12318 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 13265 12318 415 886 0 12375 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53060 [startup+1.50105 s] /proc/loadavg: 1.04 1.01 1.00 2/65 32457 /proc/meminfo: memFree=1710632/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=98404 CPUtime=1.48 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 23891 0 0 0 135 13 0 0 25 0 1 0 180742213 100765696 22141 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 24601 22141 513 886 0 23711 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 98404 [startup+3.10218 s] /proc/loadavg: 1.04 1.01 1.00 2/65 32457 /proc/meminfo: memFree=1681640/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=102164 CPUtime=3.09 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 25124 0 0 0 294 15 0 0 25 0 1 0 180742213 104615936 23269 1992294400 4194304 7823515 548682068736 18446744073709551615 6212330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 25541 23269 516 886 0 24651 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102164 [startup+6.30145 s] /proc/loadavg: 1.03 1.01 1.00 2/65 32457 /proc/meminfo: memFree=1677032/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=103344 CPUtime=6.29 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 25727 0 0 0 613 16 0 0 25 0 1 0 180742213 105824256 23852 1992294400 4194304 7823515 548682068736 18446744073709551615 5924519 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 25836 23852 516 886 0 24946 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 103344 [startup+12.702 s] /proc/loadavg: 1.03 1.01 1.00 2/65 32457 /proc/meminfo: memFree=1676008/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=104156 CPUtime=12.68 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 26005 0 0 0 1252 16 0 0 25 0 1 0 180742213 106655744 24130 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 26039 24130 535 886 0 25149 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 104156 [startup+25.502 s] /proc/loadavg: 1.02 1.01 1.00 2/65 32459 /proc/meminfo: memFree=1656808/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=123556 CPUtime=25.48 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 30970 0 0 0 2528 20 0 0 25 0 1 0 180742213 126521344 28992 1992294400 4194304 7823515 548682068736 18446744073709551615 4272794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 30889 28992 548 886 0 29999 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 123556 [startup+51.1011 s] /proc/loadavg: 1.01 1.01 1.00 2/65 32459 /proc/meminfo: memFree=1627688/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=152540 CPUtime=51.06 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 38722 0 0 0 5080 26 0 0 25 0 1 0 180742213 156200960 36227 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 38135 36227 548 886 0 37245 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 152540 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1614888/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=167136 CPUtime=102.25 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 41933 0 0 0 10192 33 0 0 25 0 1 0 180742213 171147264 39438 1992294400 4194304 7823515 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 41784 39438 548 886 0 40894 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 167136 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1611944/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=169788 CPUtime=162.24 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 42660 0 0 0 16183 41 0 0 25 0 1 0 180742213 173862912 40165 1992294400 4194304 7823515 548682068736 18446744073709551615 6211600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 42447 40165 551 886 0 41557 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 169788 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1611880/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=169788 CPUtime=222.21 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 42661 0 0 0 22175 46 0 0 25 0 1 0 180742213 173862912 40166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 42447 40166 551 886 0 41557 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 169788 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1609576/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=171652 CPUtime=282.21 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43238 0 0 0 28167 54 0 0 25 0 1 0 180742213 175771648 40743 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 42913 40743 554 886 0 42023 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 171652 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1609448/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=171652 CPUtime=342.19 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43271 0 0 0 34158 61 0 0 25 0 1 0 180742213 175771648 40776 1992294400 4194304 7823515 548682068736 18446744073709551615 6205834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 42913 40776 554 886 0 42023 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 171652 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1609064/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=402.17 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43354 0 0 0 40150 67 0 0 25 0 1 0 180742213 176295936 40859 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40859 554 886 0 42151 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 172164 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1609000/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=462.16 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43357 0 0 0 46142 74 0 0 25 0 1 0 180742213 176295936 40862 1992294400 4194304 7823515 548682068736 18446744073709551615 6237757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40862 554 886 0 42151 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 172164 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1608936/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=522.14 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43359 0 0 0 52134 80 0 0 25 0 1 0 180742213 176295936 40864 1992294400 4194304 7823515 548682068736 18446744073709551615 6211646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40864 554 886 0 42151 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 172164 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1608936/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=582.13 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43362 0 0 0 58126 87 0 0 25 0 1 0 180742213 176295936 40867 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40867 554 886 0 42151 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 172164 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32459 /proc/meminfo: memFree=1608936/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=642.12 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43363 0 0 0 64117 95 0 0 25 0 1 0 180742213 176295936 40868 1992294400 4194304 7823515 548682068736 18446744073709551615 6211732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40868 554 886 0 42151 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 172164 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1608680/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1062.01 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43373 0 0 0 106059 142 0 0 25 0 1 0 180742213 176295936 40878 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40878 555 886 0 42151 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 172164 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608616/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1122 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43373 0 0 0 112052 148 0 0 25 0 1 0 180742213 176295936 40878 1992294400 4194304 7823515 548682068736 18446744073709551615 6211732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40878 555 886 0 42151 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 172164 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608616/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1181.98 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43373 0 0 0 118044 154 0 0 25 0 1 0 180742213 176295936 40878 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40878 555 886 0 42151 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 172164 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608552/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1241.97 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43373 0 0 0 124034 163 0 0 25 0 1 0 180742213 176295936 40878 1992294400 4194304 7823515 548682068736 18446744073709551615 6211042 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40878 555 886 0 42151 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 172164 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608488/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1301.96 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43374 0 0 0 130026 170 0 0 25 0 1 0 180742213 176295936 40879 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40879 555 886 0 42151 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 172164 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608488/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1361.94 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43374 0 0 0 136018 176 0 0 25 0 1 0 180742213 176295936 40879 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40879 555 886 0 42151 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 172164 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608488/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1421.94 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43375 0 0 0 142011 183 0 0 25 0 1 0 180742213 176295936 40880 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40880 555 886 0 42151 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 172164 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608488/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1481.91 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43375 0 0 0 148003 188 0 0 25 0 1 0 180742213 176295936 40880 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40880 555 886 0 42151 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 172164 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1608360/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172164 CPUtime=1541.91 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43403 0 0 0 153994 197 0 0 25 0 1 0 180742213 176295936 40908 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43041 40908 555 886 0 42151 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 172164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607976/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172456 CPUtime=1601.89 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43497 0 0 0 159986 203 0 0 25 0 1 0 180742213 176594944 41002 1992294400 4194304 7823515 548682068736 18446744073709551615 6211608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43114 41002 555 886 0 42224 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 172456 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607720/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1661.88 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43543 0 0 0 165979 209 0 0 25 0 1 0 180742213 176914432 41048 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41048 555 886 0 42302 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 172768 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607720/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1721.86 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43550 0 0 0 171969 217 0 0 25 0 1 0 180742213 176914432 41055 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41055 555 886 0 42302 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 172768 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607592/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1781.85 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43557 0 0 0 177960 225 0 0 25 0 1 0 180742213 176914432 41062 1992294400 4194304 7823515 548682068736 18446744073709551615 6211331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41062 555 886 0 42302 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 172768 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 32465 /proc/meminfo: memFree=1607592/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1785.05 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43557 0 0 0 178279 226 0 0 25 0 1 0 180742213 176914432 41062 1992294400 4194304 7823515 548682068736 18446744073709551615 6180591 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41062 555 886 0 42302 0 Current children cumulated CPU time (s) 1785.05 Current children cumulated vsize (KiB) 172768 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607592/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1791.44 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43557 0 0 0 178918 226 0 0 25 0 1 0 180742213 176914432 41062 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41062 555 886 0 42302 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 172768 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607592/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1793.05 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43557 0 0 0 179078 227 0 0 25 0 1 0 180742213 176914432 41062 1992294400 4194304 7823515 548682068736 18446744073709551615 6211346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41062 555 886 0 42302 0 Current children cumulated CPU time (s) 1793.05 Current children cumulated vsize (KiB) 172768 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607592/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1793.85 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43557 0 0 0 179158 227 0 0 25 0 1 0 180742213 176914432 41062 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41062 555 886 0 42302 0 Current children cumulated CPU time (s) 1793.85 Current children cumulated vsize (KiB) 172768 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607592/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1794.65 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43557 0 0 0 179238 227 0 0 25 0 1 0 180742213 176914432 41062 1992294400 4194304 7823515 548682068736 18446744073709551615 5924484 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32456/statm: 43192 41062 555 886 0 42302 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 172768 [startup+1795.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32465 /proc/meminfo: memFree=1607592/2055920 swapFree=4191900/4192956 [pid=32456] ppid=32454 vsize=172768 CPUtime=1794.84 /proc/32456/stat : 32456 (pbscip.linux.x8) R 32454 32456 32098 0 -1 4194304 43563 0 0 0 179257 227 0 0 25 0 1 0 180742213 176914432 41068 1992294400 4194304 7823515 548682068736 18446744073709551615 4240638 0 0 4096 0 0 0 0 17 0 0 0 /proc/32456/statm: 43192 41068 560 886 0 42302 0 Current children cumulated CPU time (s) 1794.84 Current children cumulated vsize (KiB) 172768 Child status: 0 Real time (s): 1795.36 CPU time (s): 1794.91 CPU user time (s): 1792.61 CPU system time (s): 2.29765 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 172768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.61 system time used= 2.29765 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43568 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= 2 involuntary context switches= 1882 runsolver used 1.58676 second user time and 4.01439 second system time The end
Begin job on node3 at 2009-06-16 07:50:12 IDJOB=1868662 IDBENCH=1498 IDSOLVER=683 FILE ID=node3/1868662-1245131412 PBS_JOBID= 9363696 Free space on /tmp= 66316 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/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.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-1868662-1245131412/watcher-1868662-1245131412 -o /tmp/evaluation-result-1868662-1245131412/solver-1868662-1245131412 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868662-1245131412.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 732cdc3fa8b0bf0f47e882c13d928a6d RANDOM SEED=475033726 node3.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: 1771344 kB Buffers: 21548 kB Cached: 191712 kB SwapCached: 260 kB Active: 55928 kB Inactive: 170684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771344 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11080 kB Writeback: 0 kB Mapped: 21804 kB Slab: 44032 kB Committed_AS: 150348 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= 66308 MiB End job on node3 at 2009-06-16 08:20:08