| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.07 | 1800.74 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb |
| MD5SUM | a6ae80bf3bd14a966c0a388701471ae7 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.54676 |
| 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 | 1600 |
| Total number of constraints | 328901 |
| Number of constraints which are clauses | 327070 |
| Number of constraints which are cardinality constraints (but not clauses) | 61 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1770 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 700 |
| 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 | 258 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 759 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
4.88/4.92 c SCIP version 1.1.0.7
4.88/4.92 c LP-Solver Clp 1.8.2
4.88/4.92 c user parameter file <scip.set> not found - using default parameters
4.88/4.92 c read problem <HOME/instance-1868419-1245125532.opb>
4.88/4.92 c original problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints
5.78/5.88 c No objective function, only one solution is needed.
5.78/5.88 c start presolving problem
5.78/5.88 c presolving:
9.08/9.18 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs
9.78/9.87 c (round 2) 0 del vars, 1400 del conss, 0 chg bounds, 0 chg sides, 1817 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs
10.48/10.58 c presolving (3 rounds):
10.48/10.58 c 0 deleted vars, 1400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1948 changed coefficients
10.48/10.58 c 3140 implications, 60 cliques
10.48/10.58 c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 327501 constraints
10.48/10.58 c 1770 constraints of type <knapsack>
10.48/10.58 c 60 constraints of type <setppc>
10.48/10.58 c 1 constraints of type <linear>
10.48/10.58 c 325670 constraints of type <logicor>
10.48/10.58 c transformed objective value is always integral (scale: 1)
10.48/10.58 c Presolving Time: 3.80
10.48/10.58 c SATUNSAT-LIN
10.48/10.58 c -----------------------------------------------------------------------------------------------
10.48/10.58 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 0]
10.48/10.58 c separating/flowcover/freq = c -1
10.48/10.58 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 0]
10.48/10.58 c separating/cmir/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/veclendiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.48/10.58 c heuristics/veclendiving/maxlpiterquot = c 0.075
10.48/10.58 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/veclendiving/freq = c -1
10.48/10.58 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 1]
10.48/10.58 c heuristics/simplerounding/freq = c -1
10.48/10.58 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/shifting/freq = c -1
10.48/10.58 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 1]
10.48/10.58 c heuristics/rounding/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/rootsoldiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
10.48/10.58 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
10.48/10.58 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 20]
10.48/10.58 c heuristics/rootsoldiving/freq = c -1
10.48/10.58 c # number of nodes added to the contingent of the total nodes
10.48/10.58 c # [type: longint, range: [0,9223372036854775807], default: 500]
10.48/10.58 c heuristics/rens/nodesofs = c 2000
10.48/10.58 c # minimum percentage of integer variables that have to be fixable
10.48/10.58 c # [type: real, range: [0,1], default: 0.5]
10.48/10.58 c heuristics/rens/minfixingrate = c 0.3
10.48/10.58 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 0]
10.48/10.58 c heuristics/rens/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/pscostdiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.48/10.58 c heuristics/pscostdiving/maxlpiterquot = c 0.075
10.48/10.58 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/pscostdiving/freq = c -1
10.48/10.58 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 1]
10.48/10.58 c heuristics/oneopt/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/objpscostdiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to total iteration number
10.48/10.58 c # [type: real, range: [0,1], default: 0.01]
10.48/10.58 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
10.48/10.58 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 20]
10.48/10.58 c heuristics/objpscostdiving/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/linesearchdiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.48/10.58 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
10.48/10.58 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/linesearchdiving/freq = c -1
10.48/10.58 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/intshifting/freq = c -1
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.48/10.58 c heuristics/intdiving/maxlpiterquot = c 0.075
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/guideddiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.48/10.58 c heuristics/guideddiving/maxlpiterquot = c 0.075
10.48/10.58 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/guideddiving/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/fracdiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.48/10.58 c heuristics/fracdiving/maxlpiterquot = c 0.075
10.48/10.58 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/fracdiving/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/feaspump/maxlpiterofs = c 2000
10.48/10.58 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 20]
10.48/10.58 c heuristics/feaspump/freq = c -1
10.48/10.58 c # minimum percentage of integer variables that have to be fixed
10.48/10.58 c # [type: real, range: [0,1], default: 0.666]
10.48/10.58 c heuristics/crossover/minfixingrate = c 0.5
10.48/10.58 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
10.48/10.58 c # [type: real, range: [0,1], default: 0.1]
10.48/10.58 c heuristics/crossover/nodesquot = c 0.15
10.48/10.58 c # number of nodes without incumbent change that heuristic should wait
10.48/10.58 c # [type: longint, range: [0,9223372036854775807], default: 200]
10.48/10.58 c heuristics/crossover/nwaitingnodes = c 100
10.48/10.58 c # number of nodes added to the contingent of the total nodes
10.48/10.58 c # [type: longint, range: [0,9223372036854775807], default: 500]
10.48/10.58 c heuristics/crossover/nodesofs = c 750
10.48/10.58 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 30]
10.48/10.58 c heuristics/crossover/freq = c -1
10.48/10.58 c # additional number of allowed LP iterations
10.48/10.58 c # [type: int, range: [0,2147483647], default: 1000]
10.48/10.58 c heuristics/coefdiving/maxlpiterofs = c 1500
10.48/10.58 c # maximal fraction of diving LP iterations compared to node LP iterations
10.48/10.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.48/10.58 c heuristics/coefdiving/maxlpiterquot = c 0.075
10.48/10.58 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: 10]
10.48/10.58 c heuristics/coefdiving/freq = c -1
10.48/10.58 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: -1]
10.48/10.58 c presolving/probing/maxrounds = c 0
10.48/10.58 c # should presolving try to simplify knapsacks
10.48/10.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.48/10.58 c constraints/knapsack/simplifyinequalities = c TRUE
10.48/10.58 c # should disaggregation of knapsack constraints be allowed in preprocessing?
10.48/10.58 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
10.48/10.58 c constraints/knapsack/disaggregation = c FALSE
10.48/10.58 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
10.48/10.58 c # [type: int, range: [-1,2147483647], default: -1]
10.48/10.58 c constraints/knapsack/maxnumcardlift = c 0
10.48/10.58 c # should presolving try to simplify inequalities
10.58/10.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.58/10.60 c constraints/linear/simplifyinequalities = c TRUE
10.58/10.60 c # maximal number of separation rounds in the root node (-1: unlimited)
10.58/10.60 c # [type: int, range: [-1,2147483647], default: -1]
10.58/10.60 c separating/maxroundsroot = c 5
10.58/10.60 c # maximal number of separation rounds per node (-1: unlimited)
10.58/10.60 c # [type: int, range: [-1,2147483647], default: 5]
10.58/10.60 c separating/maxrounds = c 1
10.58/10.60 c # solving stops, if the given number of solutions were found (-1: no limit)
10.58/10.60 c # [type: int, range: [-1,2147483647], default: -1]
10.58/10.60 c limits/solutions = c 1
10.58/10.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.58/10.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.58/10.60 c limits/memory = c 1620
10.58/10.60 c # maximal time in seconds to run
10.58/10.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.58/10.60 c limits/time = c 1791
10.58/10.60 c # frequency for displaying node information lines
10.58/10.60 c # [type: int, range: [-1,2147483647], default: 100]
10.58/10.60 c display/freq = c 10000
10.58/10.60 c -----------------------------------------------------------------------------------------------
10.58/10.60 c start solving problem
10.58/10.60 c
26.88/26.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.88/26.99 c 20.7s| 1 | 0 | 460 | 377M| 0 | 149 |1600 | 327k| 327k|1600 | 327k| 0 | 0 | 0 | 5.900000e+01 | -- | Inf
1189.34/1189.88 c 1182s| 1 | 0 | 16711 | 378M| 0 | 100 |1600 | 327k| 327k|1600 | 327k| 16 | 0 | 0 | 5.900000e+01 | -- | Inf
1798.72/1799.40 c 1791s| 1 | 0 | 24396 | 379M| 0 | - |1600 | 327k| 327k|1600 | 327k| 33 | 0 | 0 | 5.900000e+01 | -- | Inf
1798.72/1799.43 c 1791s| 1 | 2 | 24396 | 379M| 0 | - |1600 | 327k| 327k|1600 | 327k| 33 | 0 | 0 | 5.900000e+01 | -- | Inf
1798.72/1799.43 c
1798.72/1799.43 c SCIP Status : solving was interrupted [time limit reached]
1798.72/1799.43 c Solving Time (sec) : 1791.05
1798.72/1799.43 c Solving Nodes : 1
1798.72/1799.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.72/1799.43 c Dual Bound : +5.90000000000000e+01
1798.72/1799.43 c Gap : infinite
1798.72/1799.43 c NODE 1
1798.72/1799.43 c DUAL BOUND 59
1798.72/1799.43 c PRIMAL BOUND 1e+20
1798.72/1799.43 c GAP 1e+20
1798.72/1799.43 s UNKNOWN
1798.72/1799.43 c SCIP Status : solving was interrupted [time limit reached]
1798.72/1799.43 c Solving Time : 1791.05
1798.72/1799.43 c Original Problem :
1798.72/1799.43 c Problem name : HOME/instance-1868419-1245125532.opb
1798.72/1799.43 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.72/1799.43 c Constraints : 328901 initial, 328901 maximal
1798.72/1799.43 c Presolved Problem :
1798.72/1799.43 c Problem name : t_HOME/instance-1868419-1245125532.opb
1798.72/1799.43 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.72/1799.43 c Constraints : 327501 initial, 327501 maximal
1798.72/1799.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.72/1799.43 c trivial : 0.00 0 0 0 0 0 0 0 0
1798.72/1799.43 c dualfix : 0.00 0 0 0 0 0 0 0 0
1798.72/1799.43 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.72/1799.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.72/1799.43 c implics : 0.00 0 0 0 0 0 0 0 0
1798.72/1799.43 c probing : 0.00 0 0 0 0 0 0 0 0
1798.72/1799.43 c knapsack : 0.41 0 0 0 0 0 0 0 1948
1798.72/1799.43 c setppc : 0.00 0 0 0 0 0 0 0 0
1798.72/1799.43 c linear : 1.90 0 0 0 0 0 0 0 0
1798.72/1799.43 c logicor : 1.08 0 0 0 0 0 1400 0 0
1798.72/1799.43 c root node : - 0 - - 0 - - - -
1798.72/1799.43 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.72/1799.43 c integral : 0 0 0 0 0 0 0 0 0 0
1798.72/1799.43 c knapsack : 1770 2 1 0 1 0 0 43 0 0
1798.72/1799.43 c setppc : 60 2 1 0 1 0 0 0 0 0
1798.72/1799.43 c linear : 1 2 1 0 0 0 0 0 0 0
1798.72/1799.43 c logicor : 325670 2 1 0 1 0 0 0 0 0
1798.72/1799.43 c countsols : 0 0 0 0 1 0 0 0 0 0
1798.72/1799.43 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.72/1799.43 c integral : 0.00 0.00 0.00 0.00 0.00
1798.72/1799.43 c knapsack : 0.01 0.01 0.00 0.00 0.00
1798.72/1799.43 c setppc : 0.00 0.00 0.00 0.00 0.00
1798.72/1799.43 c linear : 0.00 0.00 0.00 0.00 0.00
1798.72/1799.43 c logicor : 0.39 0.08 0.28 0.00 0.03
1798.72/1799.43 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.72/1799.43 c Propagators : Time Calls Cutoffs DomReds
1798.72/1799.43 c rootredcost : 0.00 0 0 0
1798.72/1799.43 c pseudoobj : 0.00 2 0 0
1798.72/1799.43 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.72/1799.43 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1798.72/1799.43 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.72/1799.43 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.72/1799.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.72/1799.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.72/1799.44 c applied globally : - - - 0 0.0 - - -
1798.72/1799.44 c applied locally : - - - 0 0.0 - - -
1798.72/1799.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.72/1799.44 c cut pool : 0.00 1 - - 0 - (maximal pool size: 188)
1798.72/1799.44 c redcost : 0.00 2 0 0 0 0
1798.72/1799.44 c impliedbounds : 0.00 2 0 0 0 0
1798.72/1799.44 c intobj : 0.00 0 0 0 0 0
1798.72/1799.44 c gomory : 40.97 2 0 0 1000 0
1798.72/1799.44 c strongcg : 22.78 2 0 0 1000 0
1798.72/1799.44 c cmir : 0.00 0 0 0 0 0
1798.72/1799.44 c flowcover : 0.00 0 0 0 0 0
1798.72/1799.44 c clique : 0.00 2 0 0 0 0
1798.72/1799.44 c zerohalf : 0.00 0 0 0 0 0
1798.72/1799.44 c mcf : 0.00 0 0 0 0 0
1798.72/1799.44 c Pricers : Time Calls Vars
1798.72/1799.44 c problem variables: 0.00 0 0
1798.72/1799.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.72/1799.44 c relpscost : 0.00 0 0 0 0 0 0
1798.72/1799.44 c pscost : 0.00 0 0 0 0 0 0
1798.72/1799.44 c inference : 0.00 1 0 0 0 0 2
1798.72/1799.44 c mostinf : 0.00 0 0 0 0 0 0
1798.72/1799.44 c leastinf : 0.00 0 0 0 0 0 0
1798.72/1799.44 c fullstrong : 0.00 0 0 0 0 0 0
1798.72/1799.44 c allfullstrong : 0.00 0 0 0 0 0 0
1798.72/1799.44 c random : 0.00 0 0 0 0 0 0
1798.72/1799.44 c Primal Heuristics : Time Calls Found
1798.72/1799.44 c LP solutions : 0.00 - 0
1798.72/1799.44 c pseudo solutions : 0.00 - 0
1798.72/1799.44 c simplerounding : 0.00 0 0
1798.72/1799.44 c rounding : 0.00 0 0
1798.72/1799.44 c shifting : 0.00 0 0
1798.72/1799.44 c intshifting : 0.00 0 0
1798.72/1799.44 c oneopt : 0.00 0 0
1798.72/1799.44 c fixandinfer : 0.00 0 0
1798.72/1799.44 c feaspump : 0.00 0 0
1798.72/1799.44 c coefdiving : 0.00 0 0
1798.72/1799.44 c pscostdiving : 0.00 0 0
1798.72/1799.44 c fracdiving : 0.00 0 0
1798.72/1799.44 c veclendiving : 0.00 0 0
1798.72/1799.44 c intdiving : 0.00 0 0
1798.72/1799.44 c actconsdiving : 0.00 0 0
1798.72/1799.44 c objpscostdiving : 0.00 0 0
1798.72/1799.44 c rootsoldiving : 0.00 0 0
1798.72/1799.44 c linesearchdiving : 0.00 0 0
1798.72/1799.44 c guideddiving : 0.00 0 0
1798.72/1799.44 c octane : 0.00 0 0
1798.72/1799.44 c rens : 0.00 0 0
1798.72/1799.44 c rins : 0.00 0 0
1798.72/1799.44 c localbranching : 0.00 0 0
1798.72/1799.44 c mutation : 0.00 0 0
1798.72/1799.44 c crossover : 0.00 0 0
1798.72/1799.44 c dins : 0.00 0 0
1798.72/1799.44 c LP : Time Calls Iterations Iter/call Iter/sec
1798.72/1799.44 c primal LP : 0.00 0 0 0.00 -
1798.72/1799.44 c dual LP : 1720.89 3 24396 8132.00 14.18
1798.72/1799.44 c barrier LP : 0.00 0 0 0.00 -
1798.72/1799.44 c diving/probing LP: 0.00 0 0 0.00 -
1798.72/1799.44 c strong branching : 0.00 0 0 0.00 -
1798.72/1799.44 c (at root node) : - 0 0 0.00 -
1798.72/1799.44 c conflict analysis: 0.00 0 0 0.00 -
1798.72/1799.44 c B&B Tree :
1798.72/1799.44 c number of runs : 1
1798.72/1799.44 c nodes : 1
1798.72/1799.44 c nodes (total) : 1
1798.72/1799.44 c nodes left : 2
1798.72/1799.44 c max depth : 0
1798.72/1799.44 c max depth (total): 0
1798.72/1799.44 c backtracks : 0 (0.0%)
1798.72/1799.44 c delayed cutoffs : 0
1798.72/1799.44 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.72/1799.44 c avg switch length: 1.00
1798.72/1799.44 c switching time : 0.00
1798.72/1799.44 c Solution :
1798.72/1799.44 c Solutions found : 0 (0 improvements)
1798.72/1799.44 c Primal Bound : -
1798.72/1799.44 c Dual Bound : +5.90000000000000e+01
1798.72/1799.44 c Gap : infinite
1798.72/1799.44 c Root Dual Bound : +5.90000000000000e+01
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-1868419-1245125532/watcher-1868419-1245125532 -o /tmp/evaluation-result-1868419-1245125532/solver-1868419-1245125532 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868419-1245125532.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: 0.92 0.98 0.99 3/64 6607 /proc/meminfo: memFree=1937920/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=5812 CPUtime=0 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 525 0 0 0 0 0 0 0 18 0 1 0 180153935 5951488 509 1992294400 4194304 9342243 548682068736 18446744073709551615 8160080 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 1454 517 345 1256 0 193 0 [startup+0.0476011 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6607 /proc/meminfo: memFree=1937920/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=12340 CPUtime=0.03 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 1945 0 0 0 3 0 0 0 18 0 1 0 180153935 12636160 1930 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 3085 1939 376 1256 0 1824 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12340 [startup+0.101607 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6607 /proc/meminfo: memFree=1937920/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=14156 CPUtime=0.09 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 2511 0 0 0 9 0 0 0 18 0 1 0 180153935 14495744 2495 1992294400 4194304 9342243 548682068736 18446744073709551615 8247739 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 3539 2495 376 1256 0 2278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14156 [startup+0.301642 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6607 /proc/meminfo: memFree=1937920/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=19228 CPUtime=0.29 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 3761 0 0 0 28 1 0 0 19 0 1 0 180153935 19689472 3745 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 4807 3745 376 1256 0 3546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19228 [startup+0.701714 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6607 /proc/meminfo: memFree=1937920/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=28860 CPUtime=0.69 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 6175 0 0 0 67 2 0 0 22 0 1 0 180153935 29552640 6159 1992294400 4194304 9342243 548682068736 18446744073709551615 8236144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 7215 6159 376 1256 0 5954 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28860 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1906744/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=48376 CPUtime=1.48 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 11064 0 0 0 144 4 0 0 25 0 1 0 180153935 49537024 11048 1992294400 4194304 9342243 548682068736 18446744073709551615 7637141 0 0 4096 0 0 0 0 17 0 0 0 /proc/6607/statm: 12094 11048 376 1256 0 10833 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 48376 [startup+3.10115 s] /proc/loadavg: 0.92 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1879800/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=88032 CPUtime=3.09 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 20942 0 0 0 299 10 0 0 25 0 1 0 180153935 90144768 20926 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 22008 20926 376 1256 0 20747 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88032 [startup+6.30172 s] /proc/loadavg: 0.93 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1680824/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=365944 CPUtime=6.29 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 90668 0 0 0 583 46 0 0 25 0 1 0 180153935 374726656 90298 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 91486 90298 459 1256 0 90225 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 365944 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1377016/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=800148 CPUtime=12.68 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 176766 0 0 0 1120 148 0 0 25 0 1 0 180153935 819351552 167638 1992294400 4194304 9342243 548682068736 18446744073709551615 5876795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 200037 167640 604 1256 0 198776 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 800148 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1255736/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=804304 CPUtime=25.48 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 180120 0 0 0 2397 151 0 0 25 0 1 0 180153935 823607296 170992 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 201076 170992 612 1256 0 199815 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 804304 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1215032/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=834652 CPUtime=51.04 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 190974 0 0 0 4947 157 0 0 25 0 1 0 180153935 854683648 181161 1992294400 4194304 9342243 548682068736 18446744073709551615 4338500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 208663 181161 635 1256 0 207402 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 834652 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1182648/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=834652 CPUtime=102.23 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 199091 0 0 0 10061 162 0 0 25 0 1 0 180153935 854683648 189278 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 208663 189278 641 1256 0 207402 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 834652 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1154488/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=910552 CPUtime=162.2 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 212949 0 0 0 16051 169 0 0 25 0 1 0 180153935 932405248 196340 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 227638 196340 641 1256 0 226377 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 910552 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1147384/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=927208 CPUtime=222.18 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 222647 0 0 0 22043 175 0 0 25 0 1 0 180153935 949460992 198038 1992294400 4194304 9342243 548682068736 18446744073709551615 6962263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 231802 198038 641 1256 0 230541 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 927208 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1163000/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=941156 CPUtime=282.16 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 228907 0 0 0 28036 180 0 0 25 0 1 0 180153935 963743744 194140 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 235289 194140 641 1256 0 234028 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 941156 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1162040/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=941812 CPUtime=342.14 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 236829 0 0 0 34030 184 0 0 25 0 1 0 180153935 964415488 194364 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 235453 194364 641 1256 0 234192 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 941812 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1162168/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=940452 CPUtime=402.12 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 244594 0 0 0 40023 189 0 0 25 0 1 0 180153935 963022848 194347 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 235113 194347 641 1256 0 233852 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 940452 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1135992/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=926244 CPUtime=462.1 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 258057 0 0 0 46012 198 0 0 25 0 1 0 180153935 948473856 200930 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 231561 200930 641 1256 0 230300 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 926244 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1140088/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=924256 CPUtime=522.07 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 267452 0 0 0 52004 203 0 0 25 0 1 0 180153935 946438144 200024 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 231064 200024 641 1256 0 229803 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 924256 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1141240/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=923944 CPUtime=582.05 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 276998 0 0 0 57997 208 0 0 25 0 1 0 180153935 946118656 199604 1992294400 4194304 9342243 548682068736 18446744073709551615 6962170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 230986 199604 641 1256 0 229725 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 923944 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1137272/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=921724 CPUtime=642.04 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 287627 0 0 0 63989 215 0 0 25 0 1 0 180153935 943845376 200483 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 230431 200483 641 1256 0 229170 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 921724 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1142712/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=903580 CPUtime=881.95 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 312615 0 0 0 87964 231 0 0 25 0 1 0 180153935 925265920 199123 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 225895 199123 641 1256 0 224634 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 903580 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1161976/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=892980 CPUtime=941.93 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 319861 0 0 0 93956 237 0 0 25 0 1 0 180153935 914411520 194427 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 223245 194427 641 1256 0 221984 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 892980 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1145336/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=882036 CPUtime=1001.91 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 329093 0 0 0 99949 242 0 0 25 0 1 0 180153935 903204864 198447 1992294400 4194304 9342243 548682068736 18446744073709551615 6959729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 220509 198447 641 1256 0 219248 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 882036 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1148088/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=876784 CPUtime=1061.88 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 334203 0 0 0 105944 244 0 0 25 0 1 0 180153935 897826816 197753 1992294400 4194304 9342243 548682068736 18446744073709551615 6496599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 219196 197753 641 1256 0 217935 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 876784 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1160120/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=856120 CPUtime=1121.86 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 338940 0 0 0 111939 247 0 0 25 0 1 0 180153935 876666880 194724 1992294400 4194304 9342243 548682068736 18446744073709551615 6970138 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 214030 194724 641 1256 0 212769 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 856120 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1158456/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=856120 CPUtime=1181.84 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 339388 0 0 0 117936 248 0 0 25 0 1 0 180153935 876666880 195172 1992294400 4194304 9342243 548682068736 18446744073709551615 7008420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 214030 195172 641 1256 0 212769 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 856120 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1150008/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=856120 CPUtime=1241.82 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 341455 0 0 0 123931 251 0 0 25 0 1 0 180153935 876666880 197239 1992294400 4194304 9342243 548682068736 18446744073709551615 6970112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 214030 197239 641 1256 0 212769 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 856120 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1130936/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=887004 CPUtime=1301.8 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 346189 0 0 0 129926 254 0 0 25 0 1 0 180153935 908292096 201973 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 221751 201973 641 1256 0 220490 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 887004 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1120888/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=912272 CPUtime=1361.78 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 354578 0 0 0 135919 259 0 0 25 0 1 0 180153935 934166528 204493 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 228068 204493 641 1256 0 226807 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 912272 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1128888/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=936148 CPUtime=1421.76 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 361392 0 0 0 141913 263 0 0 25 0 1 0 180153935 958615552 202478 1992294400 4194304 9342243 548682068736 18446744073709551615 6496551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 234037 202478 641 1256 0 232776 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 936148 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1127736/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=924544 CPUtime=1481.74 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 370050 0 0 0 147905 269 0 0 25 0 1 0 180153935 946733056 202816 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 231136 202816 641 1256 0 229875 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 924544 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1123640/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=923892 CPUtime=1541.71 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 381116 0 0 0 153897 274 0 0 25 0 1 0 180153935 946065408 203808 1992294400 4194304 9342243 548682068736 18446744073709551615 6941476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 230973 203808 641 1256 0 229712 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 923892 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1127480/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=921552 CPUtime=1601.69 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 390421 0 0 0 159889 280 0 0 25 0 1 0 180153935 943669248 202903 1992294400 4194304 9342243 548682068736 18446744073709551615 6959577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 230388 202903 641 1256 0 229127 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 921552 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1132792/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=919984 CPUtime=1661.67 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 399045 0 0 0 165882 285 0 0 25 0 1 0 180153935 942063616 201461 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 229996 201461 641 1256 0 228735 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 919984 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6608 /proc/meminfo: memFree=1115512/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=919984 CPUtime=1721.65 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 403364 0 0 0 171877 288 0 0 25 0 1 0 180153935 942063616 205780 1992294400 4194304 9342243 548682068736 18446744073709551615 5874804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 229996 205780 641 1256 0 228735 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 919984 [startup+1782.3 s] /proc/loadavg: 1.06 1.00 1.00 2/65 6608 /proc/meminfo: memFree=1138104/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=909864 CPUtime=1781.62 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 416392 0 0 0 177868 294 0 0 25 0 1 0 180153935 931700736 200128 1992294400 4194304 9342243 548682068736 18446744073709551615 6962208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6607/statm: 227466 200128 641 1256 0 226205 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 909864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.04 1.00 1.00 2/65 6608 /proc/meminfo: memFree=1716344/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=312924 CPUtime=1800.03 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 418989 0 0 0 179697 306 0 0 25 0 1 0 180153935 320434176 63110 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 78231 63110 14753 1256 0 76970 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 312924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.04 1.00 1.00 2/65 6608 /proc/meminfo: memFree=1716344/2055920 swapFree=4182996/4192956 [pid=6607] ppid=6605 vsize=312924 CPUtime=1800.03 /proc/6607/stat : 6607 (pbscip.linux.x8) R 6605 6607 5205 0 -1 4194304 418989 0 0 0 179697 306 0 0 25 0 1 0 180153935 320434176 63110 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/6607/statm: 78231 63110 14753 1256 0 76970 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 312924 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.07 CPU user time (s): 1796.97 CPU system time (s): 3.09653 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 941812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.97 system time used= 3.09653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 418989 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= 3680 runsolver used 1.46078 second user time and 3.9104 second system time The end
Begin job on node12 at 2009-06-16 06:12:13 IDJOB=1868419 IDBENCH=1376 IDSOLVER=684 FILE ID=node12/1868419-1245125532 PBS_JOBID= 9363643 Free space on /tmp= 66224 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.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-1868419-1245125532/watcher-1868419-1245125532 -o /tmp/evaluation-result-1868419-1245125532/solver-1868419-1245125532 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868419-1245125532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a6ae80bf3bd14a966c0a388701471ae7 RANDOM SEED=294771808 node12.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.281 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.281 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: 1939168 kB Buffers: 452 kB Cached: 48112 kB SwapCached: 3728 kB Active: 37376 kB Inactive: 19036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1939168 kB SwapTotal: 4192956 kB SwapFree: 4182996 kB Dirty: 22888 kB Writeback: 0 kB Mapped: 14408 kB Slab: 46444 kB Committed_AS: 150568 kB PageTables: 1380 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= 66212 MiB End job on node12 at 2009-06-16 06:42:16