| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1794.37 | 1794.83 |
| 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 Clp 1.8.2
0.39/0.48 c user parameter file <scip.set> not found - using default parameters
0.39/0.48 c read problem <HOME/instance-1868663-1245131502.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.61 c No objective function, only one solution is needed.
0.59/0.61 c start presolving problem
0.59/0.61 c presolving:
0.89/0.94 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
1.00/1.01 c presolving (2 rounds):
1.00/1.01 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 132 changed coefficients
1.00/1.01 c 264 implications, 1383 cliques
1.00/1.01 c presolved problem has 4626 variables (4626 bin, 0 int, 0 impl, 0 cont) and 30747 constraints
1.00/1.01 c 78 constraints of type <knapsack>
1.00/1.01 c 945 constraints of type <setppc>
1.00/1.01 c 29724 constraints of type <logicor>
1.00/1.01 c transformed objective value is always integral (scale: 1)
1.00/1.01 c Presolving Time: 0.34
1.00/1.01 c SATUNSAT-LIN
1.00/1.01 c -----------------------------------------------------------------------------------------------
1.00/1.01 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.01 c separating/flowcover/freq = c -1
1.00/1.01 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.01 c separating/cmir/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/veclendiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/veclendiving/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.01 c heuristics/simplerounding/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/shifting/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.01 c heuristics/rounding/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.00/1.01 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.00/1.01 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.01 c heuristics/rootsoldiving/freq = c -1
1.00/1.01 c # number of nodes added to the contingent of the total nodes
1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.00/1.01 c heuristics/rens/nodesofs = c 2000
1.00/1.01 c # minimum percentage of integer variables that have to be fixable
1.00/1.01 c # [type: real, range: [0,1], default: 0.5]
1.00/1.01 c heuristics/rens/minfixingrate = c 0.3
1.00/1.01 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.01 c heuristics/rens/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/pscostdiving/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.01 c heuristics/oneopt/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to total iteration number
1.00/1.01 c # [type: real, range: [0,1], default: 0.01]
1.00/1.01 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.00/1.01 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.01 c heuristics/objpscostdiving/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/linesearchdiving/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/intshifting/freq = c -1
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/intdiving/maxlpiterquot = c 0.075
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/guideddiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/guideddiving/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/fracdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/fracdiving/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/feaspump/maxlpiterofs = c 2000
1.00/1.01 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.01 c heuristics/feaspump/freq = c -1
1.00/1.01 c # minimum percentage of integer variables that have to be fixed
1.00/1.01 c # [type: real, range: [0,1], default: 0.666]
1.00/1.01 c heuristics/crossover/minfixingrate = c 0.5
1.00/1.01 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.00/1.01 c # [type: real, range: [0,1], default: 0.1]
1.00/1.01 c heuristics/crossover/nodesquot = c 0.15
1.00/1.01 c # number of nodes without incumbent change that heuristic should wait
1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.00/1.01 c heuristics/crossover/nwaitingnodes = c 100
1.00/1.01 c # number of nodes added to the contingent of the total nodes
1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.00/1.01 c heuristics/crossover/nodesofs = c 750
1.00/1.01 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 30]
1.00/1.01 c heuristics/crossover/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/coefdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/coefdiving/freq = c -1
1.00/1.01 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.01 c presolving/probing/maxrounds = c 0
1.00/1.01 c # should presolving try to simplify knapsacks
1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.01 c constraints/knapsack/simplifyinequalities = c TRUE
1.00/1.01 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.00/1.01 c constraints/knapsack/disaggregation = c FALSE
1.00/1.01 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.01 c constraints/knapsack/maxnumcardlift = c 0
1.00/1.01 c # should presolving try to simplify inequalities
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/linear/simplifyinequalities = c TRUE
1.00/1.02 c # maximal number of separation rounds in the root node (-1: unlimited)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.02 c separating/maxroundsroot = c 5
1.00/1.02 c # maximal number of separation rounds per node (-1: unlimited)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: 5]
1.00/1.02 c separating/maxrounds = c 1
1.00/1.02 c # solving stops, if the given number of solutions were found (-1: no limit)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.02 c limits/solutions = c 1
1.00/1.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.02 c limits/memory = c 1620
1.00/1.02 c # maximal time in seconds to run
1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.02 c limits/time = c 1791
1.00/1.02 c # frequency for displaying node information lines
1.00/1.02 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.02 c display/freq = c 10000
1.00/1.02 c -----------------------------------------------------------------------------------------------
1.00/1.02 c start solving problem
1.00/1.02 c
6.60/6.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.63 c 6.0s| 1 | 0 | 1746 | 43M| 0 | 683 |4626 | 30k| 30k|4626 | 30k| 0 | 0 | 0 | 1.740000e+02 | -- | Inf
21.79/21.83 c 21.1s| 1 | 0 | 3371 | 51M| 0 | 874 |4626 | 30k| 30k|4626 | 30k| 47 | 0 | 0 | 1.740000e+02 | -- | Inf
79.65/79.77 c 79.0s| 1 | 0 | 4839 | 54M| 0 | 924 |4626 | 30k| 30k|4626 | 30k| 85 | 0 | 0 | 1.740000e+02 | -- | Inf
156.15/156.29 c 155s| 1 | 0 | 5888 | 56M| 0 | 946 |4626 | 30k| 30k|4626 | 30k| 109 | 0 | 0 | 1.740000e+02 | -- | Inf
180.24/180.37 c 179s| 1 | 0 | 7792 | 56M| 0 | 911 |4626 | 30k| 30k|4626 | 30k| 123 | 0 | 0 | 1.740000e+02 | -- | Inf
285.61/285.73 c 285s| 1 | 0 | 9916 | 57M| 0 | 945 |4626 | 30k| 30k|4626 | 30k| 145 | 0 | 0 | 1.740000e+02 | -- | Inf
419.57/419.74 c 419s| 1 | 2 | 9916 | 57M| 0 | 945 |4626 | 30k| 30k|4626 | 30k| 145 | 0 | 33 | 1.740000e+02 | -- | Inf
1794.13/1794.67 c
1794.13/1794.67 c SCIP Status : solving was interrupted [time limit reached]
1794.13/1794.67 c Solving Time (sec) : 1791.01
1794.13/1794.67 c Solving Nodes : 193
1794.13/1794.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.13/1794.67 c Dual Bound : +1.74000000000002e+02
1794.13/1794.67 c Gap : infinite
1794.13/1794.67 c NODE 193
1794.13/1794.67 c DUAL BOUND 174
1794.13/1794.67 c PRIMAL BOUND 1e+20
1794.13/1794.67 c GAP 1e+20
1794.13/1794.67 s UNKNOWN
1794.13/1794.67 c SCIP Status : solving was interrupted [time limit reached]
1794.13/1794.67 c Solving Time : 1791.01
1794.13/1794.67 c Original Problem :
1794.13/1794.67 c Problem name : HOME/instance-1868663-1245131502.opb
1794.13/1794.67 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.13/1794.67 c Constraints : 30747 initial, 30747 maximal
1794.13/1794.67 c Presolved Problem :
1794.13/1794.67 c Problem name : t_HOME/instance-1868663-1245131502.opb
1794.13/1794.67 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.13/1794.67 c Constraints : 30747 initial, 30747 maximal
1794.13/1794.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.13/1794.67 c trivial : 0.02 0 0 0 0 0 0 0 0
1794.13/1794.67 c dualfix : 0.00 0 0 0 0 0 0 0 0
1794.13/1794.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.13/1794.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.13/1794.67 c implics : 0.00 0 0 0 0 0 0 0 0
1794.13/1794.67 c probing : 0.00 0 0 0 0 0 0 0 0
1794.13/1794.67 c knapsack : 0.01 0 0 0 0 0 0 0 132
1794.13/1794.67 c setppc : 0.01 0 0 0 0 0 0 0 0
1794.13/1794.67 c logicor : 0.07 0 0 0 0 0 0 0 0
1794.13/1794.67 c root node : - 0 - - 0 - - - -
1794.13/1794.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.13/1794.67 c integral : 0 0 0 193 0 0 0 0 0 386
1794.13/1794.67 c knapsack : 78 5 385 0 0 0 1207 87 0 0
1794.13/1794.67 c setppc : 945 5 385 0 0 0 2690 0 0 0
1794.13/1794.67 c logicor : 29724 5 118 0 0 0 20 0 0 0
1794.13/1794.67 c countsols : 0 0 0 0 0 0 0 0 0 0
1794.13/1794.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.13/1794.67 c integral : 941.21 0.00 0.00 941.21 0.00
1794.13/1794.67 c knapsack : 0.02 0.00 0.02 0.00 0.00
1794.13/1794.67 c setppc : 0.08 0.00 0.08 0.00 0.00
1794.13/1794.67 c logicor : 0.05 0.01 0.04 0.00 0.00
1794.13/1794.67 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.13/1794.67 c Propagators : Time Calls Cutoffs DomReds
1794.13/1794.67 c rootredcost : 0.00 0 0 0
1794.13/1794.67 c pseudoobj : 0.16 386 0 0
1794.13/1794.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.13/1794.67 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.13/1794.67 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.13/1794.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.13/1794.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.13/1794.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.13/1794.67 c applied globally : - - - 0 0.0 - - -
1794.13/1794.67 c applied locally : - - - 0 0.0 - - -
1794.13/1794.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.13/1794.67 c cut pool : 0.03 4 - - 24 - (maximal pool size: 486)
1794.13/1794.67 c redcost : 0.15 197 0 0 0 0
1794.13/1794.67 c impliedbounds : 0.00 5 0 0 0 0
1794.13/1794.67 c intobj : 0.00 0 0 0 0 0
1794.13/1794.67 c gomory : 131.12 5 0 0 2500 0
1794.13/1794.67 c strongcg : 99.68 5 0 0 2500 0
1794.13/1794.67 c cmir : 0.00 0 0 0 0 0
1794.13/1794.67 c flowcover : 0.00 0 0 0 0 0
1794.13/1794.67 c clique : 0.19 5 0 0 34 0
1794.13/1794.67 c zerohalf : 0.00 0 0 0 0 0
1794.13/1794.67 c mcf : 0.04 1 0 0 0 0
1794.13/1794.67 c Pricers : Time Calls Vars
1794.13/1794.67 c problem variables: 0.00 0 0
1794.13/1794.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.13/1794.67 c relpscost : 941.20 193 0 0 0 0 386
1794.13/1794.67 c pscost : 0.00 0 0 0 0 0 0
1794.13/1794.67 c inference : 0.00 0 0 0 0 0 0
1794.13/1794.67 c mostinf : 0.00 0 0 0 0 0 0
1794.13/1794.67 c leastinf : 0.00 0 0 0 0 0 0
1794.13/1794.67 c fullstrong : 0.00 0 0 0 0 0 0
1794.13/1794.67 c allfullstrong : 0.00 0 0 0 0 0 0
1794.13/1794.67 c random : 0.00 0 0 0 0 0 0
1794.13/1794.67 c Primal Heuristics : Time Calls Found
1794.13/1794.67 c LP solutions : 0.00 - 0
1794.13/1794.67 c pseudo solutions : 0.00 - 0
1794.13/1794.67 c simplerounding : 0.00 0 0
1794.13/1794.67 c rounding : 0.00 0 0
1794.13/1794.67 c shifting : 0.00 0 0
1794.13/1794.67 c intshifting : 0.00 0 0
1794.13/1794.67 c oneopt : 0.00 0 0
1794.13/1794.67 c fixandinfer : 0.00 0 0
1794.13/1794.67 c feaspump : 0.00 0 0
1794.13/1794.67 c coefdiving : 0.00 0 0
1794.13/1794.67 c pscostdiving : 0.00 0 0
1794.13/1794.67 c fracdiving : 0.00 0 0
1794.13/1794.67 c veclendiving : 0.00 0 0
1794.13/1794.67 c intdiving : 0.00 0 0
1794.13/1794.67 c actconsdiving : 0.00 0 0
1794.13/1794.67 c objpscostdiving : 0.00 0 0
1794.13/1794.67 c rootsoldiving : 0.00 0 0
1794.13/1794.67 c linesearchdiving : 0.00 0 0
1794.13/1794.67 c guideddiving : 0.00 0 0
1794.13/1794.67 c octane : 0.00 0 0
1794.13/1794.67 c rens : 0.00 0 0
1794.13/1794.67 c rins : 0.00 0 0
1794.13/1794.67 c localbranching : 0.00 0 0
1794.13/1794.67 c mutation : 0.00 0 0
1794.13/1794.67 c crossover : 0.00 0 0
1794.13/1794.67 c dins : 0.00 0 0
1794.13/1794.67 c LP : Time Calls Iterations Iter/call Iter/sec
1794.13/1794.67 c primal LP : 3.64 0 0 0.00 0.00
1794.13/1794.67 c dual LP : 612.01 198 187255 945.73 305.97
1794.13/1794.67 c barrier LP : 0.00 0 0 0.00 -
1794.13/1794.67 c diving/probing LP: 0.00 0 0 0.00 -
1794.13/1794.67 c strong branching : 941.13 459 217227 473.26 230.82
1794.13/1794.67 c (at root node) : - 33 22220 673.33 -
1794.13/1794.67 c conflict analysis: 0.00 0 0 0.00 -
1794.13/1794.67 c B&B Tree :
1794.13/1794.67 c number of runs : 1
1794.13/1794.67 c nodes : 193
1794.13/1794.67 c nodes (total) : 193
1794.13/1794.67 c nodes left : 194
1794.13/1794.67 c max depth : 29
1794.13/1794.67 c max depth (total): 29
1794.13/1794.67 c backtracks : 14 (7.3%)
1794.13/1794.67 c delayed cutoffs : 0
1794.13/1794.67 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.13/1794.67 c avg switch length: 1.90
1794.13/1794.67 c switching time : 3.70
1794.13/1794.67 c Solution :
1794.13/1794.67 c Solutions found : 0 (0 improvements)
1794.13/1794.67 c Primal Bound : -
1794.13/1794.67 c Dual Bound : +1.74000000000002e+02
1794.13/1794.67 c Gap : infinite
1794.13/1794.67 c Root Dual Bound : +1.74000000000002e+02
1794.33/1794.83 c Time complete: 1794.36.
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-1868663-1245131502/watcher-1868663-1245131502 -o /tmp/evaluation-result-1868663-1245131502/solver-1868663-1245131502 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868663-1245131502.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3484 /proc/meminfo: memFree=1942712/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=5812 CPUtime=0 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 180751160 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/3484/statm: 1453 501 332 1256 0 192 0 [startup+0.0073579 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3484 /proc/meminfo: memFree=1942712/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=8648 CPUtime=0 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 1102 0 0 0 0 0 0 0 18 0 1 0 180751160 8855552 1086 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/3484/statm: 2162 1095 362 1256 0 901 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8648 [startup+0.101366 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3484 /proc/meminfo: memFree=1942712/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=17080 CPUtime=0.09 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 3254 0 0 0 8 1 0 0 18 0 1 0 180751160 17489920 3238 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0 /proc/3484/statm: 4270 3238 376 1256 0 3009 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17080 [startup+0.301383 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3484 /proc/meminfo: memFree=1942712/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=22900 CPUtime=0.29 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 4692 0 0 0 27 2 0 0 19 0 1 0 180751160 23449600 4676 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3484/statm: 5725 4676 376 1256 0 4464 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22900 [startup+0.701421 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3484 /proc/meminfo: memFree=1942712/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=54236 CPUtime=0.69 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 12731 0 0 0 62 7 0 0 22 0 1 0 180751160 55537664 12361 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 13559 12361 457 1256 0 12298 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54236 [startup+1.50149 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1882096/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=104272 CPUtime=1.49 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 23872 0 0 0 134 15 0 0 19 0 1 0 180751160 106774528 22587 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 26068 22587 615 1256 0 24807 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 104272 [startup+3.10164 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1853616/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=105344 CPUtime=3.09 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 24556 0 0 0 293 16 0 0 25 0 1 0 180751160 107872256 23271 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 26336 23271 615 1256 0 25075 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 105344 [startup+6.30194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1850032/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=106912 CPUtime=6.29 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 25541 0 0 0 613 16 0 0 25 0 1 0 180751160 109477888 23669 1992294400 4194304 9342243 548682068736 18446744073709551615 6964387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 26728 23669 615 1256 0 25467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106912 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1842160/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=113192 CPUtime=12.69 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 28184 0 0 0 1250 19 0 0 25 0 1 0 180751160 115908608 25753 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 28298 25753 637 1256 0 27037 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 113192 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1837488/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=120316 CPUtime=25.48 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 29265 0 0 0 2527 21 0 0 25 0 1 0 180751160 123203584 26834 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 30079 26834 649 1256 0 28818 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 120316 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1837488/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=120316 CPUtime=51.06 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 29296 0 0 0 5083 23 0 0 25 0 1 0 180751160 123203584 26865 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 30079 26865 649 1256 0 28818 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 120316 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1827056/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=131796 CPUtime=102.25 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 31880 0 0 0 10198 27 0 0 25 0 1 0 180751160 134959104 29449 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 32949 29449 649 1256 0 31688 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 131796 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1826224/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=131796 CPUtime=162.23 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 32083 0 0 0 16192 31 0 0 25 0 1 0 180751160 134959104 29652 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 32949 29652 649 1256 0 31688 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 131796 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1823536/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=134040 CPUtime=222.22 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 33185 0 0 0 22185 37 0 0 25 0 1 0 180751160 137256960 30300 1992294400 4194304 9342243 548682068736 18446744073709551615 4252370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 33510 30300 649 1256 0 32249 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 134040 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1820272/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=138068 CPUtime=282.21 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 35366 0 0 0 28179 42 0 0 25 0 1 0 180751160 141381632 31205 1992294400 4194304 9342243 548682068736 18446744073709551615 6978070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 34517 31205 649 1256 0 33256 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 138068 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1819504/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=152152 CPUtime=342.2 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 45946 0 0 0 34169 51 0 0 25 0 1 0 180751160 155803648 31295 1992294400 4194304 9342243 548682068736 18446744073709551615 5874682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 38038 31295 654 1256 0 36777 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 152152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1819440/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=152152 CPUtime=402.18 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 57097 0 0 0 40159 59 0 0 25 0 1 0 180751160 155803648 31297 1992294400 4194304 9342243 548682068736 18446744073709551615 6960624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 38038 31297 654 1256 0 36777 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 152152 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1816816/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=150432 CPUtime=462.16 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 70986 0 0 0 46148 68 0 0 25 0 1 0 180751160 154042368 31969 1992294400 4194304 9342243 548682068736 18446744073709551615 6960752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37608 31969 670 1256 0 36347 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 150432 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3485 /proc/meminfo: memFree=1816048/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=149144 CPUtime=522.15 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 88674 0 0 0 52134 81 0 0 25 0 1 0 180751160 152723456 32148 1992294400 4194304 9342243 548682068736 18446744073709551615 6040819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37286 32148 670 1256 0 36025 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 149144 [startup+582.301 s] /proc/loadavg: 1.06 1.01 1.00 2/65 3491 /proc/meminfo: memFree=1815400/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=147936 CPUtime=582.13 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 103905 0 0 0 58120 93 0 0 25 0 1 0 180751160 151486464 32291 1992294400 4194304 9342243 548682068736 18446744073709551615 6960706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 36984 32291 670 1256 0 35723 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 147936 [startup+642.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3491 /proc/meminfo: memFree=1815336/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=147844 CPUtime=642.12 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 122089 0 0 0 64107 105 0 0 25 0 1 0 180751160 151392256 32308 1992294400 4194304 9342243 548682068736 18446744073709551615 6978122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 36961 32308 670 1256 0 35700 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 147844 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1816304/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=134336 CPUtime=1121.99 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 209448 0 0 0 112011 188 0 0 25 0 1 0 180751160 137560064 31974 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 33584 31974 670 1256 0 32323 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 134336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1816240/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=134336 CPUtime=1181.98 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 215939 0 0 0 118002 196 0 0 25 0 1 0 180751160 137560064 31974 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 33584 31974 670 1256 0 32323 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 134336 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1816176/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=136332 CPUtime=1241.97 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 218461 0 0 0 123993 204 0 0 25 0 1 0 180751160 139603968 31977 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 34083 31977 670 1256 0 32822 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 136332 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1816176/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=136344 CPUtime=1301.96 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 222853 0 0 0 129985 211 0 0 25 0 1 0 180751160 139616256 31983 1992294400 4194304 9342243 548682068736 18446744073709551615 6966386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 34086 31983 670 1256 0 32825 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 136344 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1816176/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=135400 CPUtime=1361.94 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 225702 0 0 0 135976 218 0 0 25 0 1 0 180751160 138649600 31977 1992294400 4194304 9342243 548682068736 18446744073709551615 6356816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 33850 31977 670 1256 0 32589 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 135400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1816112/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=135392 CPUtime=1421.92 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 229103 0 0 0 141968 224 0 0 25 0 1 0 180751160 138641408 31975 1992294400 4194304 9342243 548682068736 18446744073709551615 6040560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 33848 31975 670 1256 0 32587 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 135392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1814832/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=149304 CPUtime=1481.9 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 233932 0 0 0 147959 231 0 0 25 0 1 0 180751160 152887296 32338 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37326 32338 670 1256 0 36065 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 149304 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1815024/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=148672 CPUtime=1541.89 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 236024 0 0 0 153951 238 0 0 25 0 1 0 180751160 152240128 32265 1992294400 4194304 9342243 548682068736 18446744073709551615 6935828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37168 32265 670 1256 0 35907 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 148672 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1814256/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=149348 CPUtime=1601.88 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 238800 0 0 0 159943 245 0 0 25 0 1 0 180751160 152932352 32462 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37337 32462 670 1256 0 36076 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 149348 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1814192/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=149332 CPUtime=1661.86 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 245652 0 0 0 165932 254 0 0 25 0 1 0 180751160 152915968 32464 1992294400 4194304 9342243 548682068736 18446744073709551615 6960746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37333 32464 670 1256 0 36072 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 149332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1815984/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=136344 CPUtime=1721.85 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 250497 0 0 0 171922 263 0 0 25 0 1 0 180751160 139616256 31988 1992294400 4194304 9342243 548682068736 18446744073709551615 6966563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 34086 31988 670 1256 0 32825 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 136344 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1815920/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=136432 CPUtime=1781.83 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 257106 0 0 0 177912 271 0 0 25 0 1 0 180751160 139706368 31985 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 34108 31985 670 1256 0 32847 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 136432 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 3491 /proc/meminfo: memFree=1815920/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=136432 CPUtime=1785.03 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 257106 0 0 0 178232 271 0 0 25 0 1 0 180751160 139706368 31985 1992294400 4194304 9342243 548682068736 18446744073709551615 6938251 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 34108 31985 670 1256 0 32847 0 Current children cumulated CPU time (s) 1785.03 Current children cumulated vsize (KiB) 136432 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1815920/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=149964 CPUtime=1788.23 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 257727 0 0 0 178551 272 0 0 25 0 1 0 180751160 153563136 32606 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37491 32606 670 1256 0 36230 0 Current children cumulated CPU time (s) 1788.23 Current children cumulated vsize (KiB) 149964 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1813872/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=145884 CPUtime=1791.44 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 258757 0 0 0 178871 273 0 0 25 0 1 0 180751160 149385216 32449 1992294400 4194304 9342243 548682068736 18446744073709551615 6224099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 36471 32449 670 1256 0 35210 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 145884 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1813872/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=149596 CPUtime=1793.04 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 258833 0 0 0 179031 273 0 0 25 0 1 0 180751160 153186304 32525 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37399 32525 670 1256 0 36138 0 Current children cumulated CPU time (s) 1793.04 Current children cumulated vsize (KiB) 149596 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1813936/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=149596 CPUtime=1793.83 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 259374 0 0 0 179110 273 0 0 25 0 1 0 180751160 153186304 32522 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3484/statm: 37399 32522 670 1256 0 36138 0 Current children cumulated CPU time (s) 1793.83 Current children cumulated vsize (KiB) 149596 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1813936/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=134336 CPUtime=1794.23 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 259391 0 0 0 179150 273 0 0 25 0 1 0 180751160 137560064 31997 1992294400 4194304 9342243 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 1 0 0 /proc/3484/statm: 33584 31997 674 1256 0 32323 0 Current children cumulated CPU time (s) 1794.23 Current children cumulated vsize (KiB) 134336 [startup+1794.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3491 /proc/meminfo: memFree=1813936/2055920 swapFree=4191900/4192956 [pid=3484] ppid=3482 vsize=116884 CPUtime=1794.33 /proc/3484/stat : 3484 (pbscip.linux.x8) R 3482 3484 3327 0 -1 4194304 259393 0 0 0 179160 273 0 0 25 0 1 0 180751160 119689216 27998 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0 /proc/3484/statm: 29221 27998 676 1256 0 27960 0 Current children cumulated CPU time (s) 1794.33 Current children cumulated vsize (KiB) 116884 Child status: 0 Real time (s): 1794.83 CPU time (s): 1794.37 CPU user time (s): 1791.61 CPU system time (s): 2.75758 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 152520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.61 system time used= 2.75758 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 259398 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= 2819 runsolver used 1.61975 second user time and 4.12737 second system time The end
Begin job on node14 at 2009-06-16 07:51:42 IDJOB=1868663 IDBENCH=1498 IDSOLVER=684 FILE ID=node14/1868663-1245131502 PBS_JOBID= 9363721 Free space on /tmp= 66372 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 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.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868663-1245131502/watcher-1868663-1245131502 -o /tmp/evaluation-result-1868663-1245131502/solver-1868663-1245131502 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868663-1245131502.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 732cdc3fa8b0bf0f47e882c13d928a6d RANDOM SEED=1540511934 node14.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.234 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.234 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: 1943128 kB Buffers: 6400 kB Cached: 51352 kB SwapCached: 388 kB Active: 40372 kB Inactive: 30696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1943128 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 12796 kB Writeback: 0 kB Mapped: 21740 kB Slab: 27644 kB Committed_AS: 170440 kB PageTables: 1452 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= 66364 MiB End job on node14 at 2009-06-16 08:21:37