| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.2 | 1800.71 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb |
| MD5SUM | e3c4907f9ed288ddc262ad274eebff0f |
| 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.44578 |
| 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 | 282 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 831 |
| 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.89/4.95 c SCIP version 1.1.0.7
4.89/4.95 c LP-Solver Clp 1.8.2
4.89/4.95 c user parameter file <scip.set> not found - using default parameters
4.89/4.95 c read problem <HOME/instance-1868423-1245125701.opb>
4.89/4.95 c original problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints
5.89/5.90 c No objective function, only one solution is needed.
5.89/5.90 c start presolving problem
5.89/5.90 c presolving:
9.09/9.16 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.80/9.84 c (round 2) 0 del vars, 1400 del conss, 0 chg bounds, 0 chg sides, 1819 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs
10.49/10.55 c presolving (3 rounds):
10.49/10.55 c 0 deleted vars, 1400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1933 changed coefficients
10.49/10.55 c 3140 implications, 60 cliques
10.49/10.55 c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 327501 constraints
10.49/10.55 c 1770 constraints of type <knapsack>
10.49/10.55 c 60 constraints of type <setppc>
10.49/10.55 c 1 constraints of type <linear>
10.49/10.55 c 325670 constraints of type <logicor>
10.49/10.55 c transformed objective value is always integral (scale: 1)
10.49/10.55 c Presolving Time: 3.77
10.49/10.55 c SATUNSAT-LIN
10.49/10.55 c -----------------------------------------------------------------------------------------------
10.49/10.55 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 0]
10.49/10.55 c separating/flowcover/freq = c -1
10.49/10.55 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 0]
10.49/10.55 c separating/cmir/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/veclendiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.49/10.55 c heuristics/veclendiving/maxlpiterquot = c 0.075
10.49/10.55 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/veclendiving/freq = c -1
10.49/10.55 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 1]
10.49/10.55 c heuristics/simplerounding/freq = c -1
10.49/10.55 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/shifting/freq = c -1
10.49/10.55 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 1]
10.49/10.55 c heuristics/rounding/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/rootsoldiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
10.49/10.55 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
10.49/10.55 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 20]
10.49/10.55 c heuristics/rootsoldiving/freq = c -1
10.49/10.55 c # number of nodes added to the contingent of the total nodes
10.49/10.55 c # [type: longint, range: [0,9223372036854775807], default: 500]
10.49/10.55 c heuristics/rens/nodesofs = c 2000
10.49/10.55 c # minimum percentage of integer variables that have to be fixable
10.49/10.55 c # [type: real, range: [0,1], default: 0.5]
10.49/10.55 c heuristics/rens/minfixingrate = c 0.3
10.49/10.55 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 0]
10.49/10.55 c heuristics/rens/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/pscostdiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.49/10.55 c heuristics/pscostdiving/maxlpiterquot = c 0.075
10.49/10.55 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/pscostdiving/freq = c -1
10.49/10.55 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 1]
10.49/10.55 c heuristics/oneopt/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/objpscostdiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to total iteration number
10.49/10.55 c # [type: real, range: [0,1], default: 0.01]
10.49/10.55 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
10.49/10.55 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 20]
10.49/10.55 c heuristics/objpscostdiving/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/linesearchdiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.49/10.55 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
10.49/10.55 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/linesearchdiving/freq = c -1
10.49/10.55 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/intshifting/freq = c -1
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.49/10.55 c heuristics/intdiving/maxlpiterquot = c 0.075
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/guideddiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.49/10.55 c heuristics/guideddiving/maxlpiterquot = c 0.075
10.49/10.55 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/guideddiving/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/fracdiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.49/10.55 c heuristics/fracdiving/maxlpiterquot = c 0.075
10.49/10.55 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/fracdiving/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/feaspump/maxlpiterofs = c 2000
10.49/10.55 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 20]
10.49/10.55 c heuristics/feaspump/freq = c -1
10.49/10.55 c # minimum percentage of integer variables that have to be fixed
10.49/10.55 c # [type: real, range: [0,1], default: 0.666]
10.49/10.55 c heuristics/crossover/minfixingrate = c 0.5
10.49/10.55 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
10.49/10.55 c # [type: real, range: [0,1], default: 0.1]
10.49/10.55 c heuristics/crossover/nodesquot = c 0.15
10.49/10.55 c # number of nodes without incumbent change that heuristic should wait
10.49/10.55 c # [type: longint, range: [0,9223372036854775807], default: 200]
10.49/10.55 c heuristics/crossover/nwaitingnodes = c 100
10.49/10.55 c # number of nodes added to the contingent of the total nodes
10.49/10.55 c # [type: longint, range: [0,9223372036854775807], default: 500]
10.49/10.55 c heuristics/crossover/nodesofs = c 750
10.49/10.55 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 30]
10.49/10.55 c heuristics/crossover/freq = c -1
10.49/10.55 c # additional number of allowed LP iterations
10.49/10.55 c # [type: int, range: [0,2147483647], default: 1000]
10.49/10.55 c heuristics/coefdiving/maxlpiterofs = c 1500
10.49/10.55 c # maximal fraction of diving LP iterations compared to node LP iterations
10.49/10.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.49/10.55 c heuristics/coefdiving/maxlpiterquot = c 0.075
10.49/10.55 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: 10]
10.49/10.55 c heuristics/coefdiving/freq = c -1
10.49/10.55 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: -1]
10.49/10.55 c presolving/probing/maxrounds = c 0
10.49/10.55 c # should presolving try to simplify knapsacks
10.49/10.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.49/10.55 c constraints/knapsack/simplifyinequalities = c TRUE
10.49/10.55 c # should disaggregation of knapsack constraints be allowed in preprocessing?
10.49/10.55 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
10.49/10.55 c constraints/knapsack/disaggregation = c FALSE
10.49/10.55 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
10.49/10.55 c # [type: int, range: [-1,2147483647], default: -1]
10.49/10.55 c constraints/knapsack/maxnumcardlift = c 0
10.49/10.55 c # should presolving try to simplify inequalities
10.49/10.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.49/10.57 c constraints/linear/simplifyinequalities = c TRUE
10.49/10.57 c # maximal number of separation rounds in the root node (-1: unlimited)
10.49/10.57 c # [type: int, range: [-1,2147483647], default: -1]
10.49/10.57 c separating/maxroundsroot = c 5
10.49/10.57 c # maximal number of separation rounds per node (-1: unlimited)
10.49/10.57 c # [type: int, range: [-1,2147483647], default: 5]
10.49/10.57 c separating/maxrounds = c 1
10.49/10.57 c # solving stops, if the given number of solutions were found (-1: no limit)
10.49/10.57 c # [type: int, range: [-1,2147483647], default: -1]
10.49/10.57 c limits/solutions = c 1
10.49/10.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.49/10.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.49/10.57 c limits/memory = c 1620
10.49/10.57 c # maximal time in seconds to run
10.49/10.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.49/10.57 c limits/time = c 1791
10.49/10.57 c # frequency for displaying node information lines
10.49/10.57 c # [type: int, range: [-1,2147483647], default: 100]
10.49/10.57 c display/freq = c 10000
10.49/10.57 c -----------------------------------------------------------------------------------------------
10.49/10.57 c start solving problem
10.49/10.57 c
15.29/15.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.29/15.33 c 9.0s| 1 | 0 | 203 | 378M| 0 | 66 |1600 | 327k| 327k|1600 | 327k| 0 | 0 | 0 | 5.900000e+01 | -- | Inf
854.14/854.48 c 847s| 1 | 0 | 12559 | 380M| 0 | 91 |1600 | 327k| 327k|1600 | 327k| 20 | 0 | 0 | 5.900000e+01 | -- | Inf
1798.78/1799.39 c 1791s| 1 | 0 | 22091 | 381M| 0 | - |1600 | 327k| 327k|1600 | 327k| 36 | 0 | 0 | 5.900000e+01 | -- | Inf
1798.88/1799.43 c 1791s| 1 | 2 | 22091 | 381M| 0 | - |1600 | 327k| 327k|1600 | 327k| 36 | 0 | 0 | 5.900000e+01 | -- | Inf
1798.88/1799.43 c
1798.88/1799.43 c SCIP Status : solving was interrupted [time limit reached]
1798.88/1799.43 c Solving Time (sec) : 1791.05
1798.88/1799.43 c Solving Nodes : 1
1798.88/1799.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.88/1799.43 c Dual Bound : +5.90000000000000e+01
1798.88/1799.43 c Gap : infinite
1798.88/1799.43 c NODE 1
1798.88/1799.43 c DUAL BOUND 59
1798.88/1799.43 c PRIMAL BOUND 1e+20
1798.88/1799.43 c GAP 1e+20
1798.88/1799.43 s UNKNOWN
1798.88/1799.43 c SCIP Status : solving was interrupted [time limit reached]
1798.88/1799.43 c Solving Time : 1791.05
1798.88/1799.43 c Original Problem :
1798.88/1799.43 c Problem name : HOME/instance-1868423-1245125701.opb
1798.88/1799.43 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.88/1799.43 c Constraints : 328901 initial, 328901 maximal
1798.88/1799.43 c Presolved Problem :
1798.88/1799.43 c Problem name : t_HOME/instance-1868423-1245125701.opb
1798.88/1799.43 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.88/1799.43 c Constraints : 327501 initial, 327501 maximal
1798.88/1799.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.88/1799.43 c trivial : 0.00 0 0 0 0 0 0 0 0
1798.88/1799.43 c dualfix : 0.00 0 0 0 0 0 0 0 0
1798.88/1799.43 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.88/1799.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.88/1799.43 c implics : 0.00 0 0 0 0 0 0 0 0
1798.88/1799.43 c probing : 0.00 0 0 0 0 0 0 0 0
1798.88/1799.43 c knapsack : 0.41 0 0 0 0 0 0 0 1933
1798.88/1799.43 c setppc : 0.00 0 0 0 0 0 0 0 0
1798.88/1799.43 c linear : 1.85 0 0 0 0 0 0 0 0
1798.88/1799.43 c logicor : 1.10 0 0 0 0 0 1400 0 0
1798.88/1799.43 c root node : - 0 - - 0 - - - -
1798.88/1799.43 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.88/1799.43 c integral : 0 0 0 0 0 0 0 0 0 0
1798.88/1799.43 c knapsack : 1770 2 1 0 1 0 0 40 0 0
1798.88/1799.43 c setppc : 60 2 1 0 1 0 0 0 0 0
1798.88/1799.43 c linear : 1 2 1 0 0 0 0 0 0 0
1798.88/1799.43 c logicor : 325670 2 1 0 1 0 0 0 0 0
1798.88/1799.43 c countsols : 0 0 0 0 1 0 0 0 0 0
1798.88/1799.43 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.88/1799.43 c integral : 0.00 0.00 0.00 0.00 0.00
1798.88/1799.43 c knapsack : 0.01 0.01 0.00 0.00 0.00
1798.88/1799.43 c setppc : 0.00 0.00 0.00 0.00 0.00
1798.88/1799.43 c linear : 0.01 0.01 0.00 0.00 0.00
1798.88/1799.43 c logicor : 0.36 0.07 0.26 0.00 0.03
1798.88/1799.43 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.88/1799.43 c Propagators : Time Calls Cutoffs DomReds
1798.88/1799.43 c rootredcost : 0.00 0 0 0
1798.88/1799.43 c pseudoobj : 0.00 2 0 0
1798.88/1799.43 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.88/1799.43 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1798.88/1799.43 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.88/1799.43 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.88/1799.43 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.88/1799.43 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.88/1799.43 c applied globally : - - - 0 0.0 - - -
1798.88/1799.43 c applied locally : - - - 0 0.0 - - -
1798.88/1799.43 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.88/1799.43 c cut pool : 0.00 1 - - 0 - (maximal pool size: 270)
1798.88/1799.43 c redcost : 0.00 2 0 0 0 0
1798.88/1799.43 c impliedbounds : 0.00 2 0 0 0 0
1798.88/1799.43 c intobj : 0.00 0 0 0 0 0
1798.88/1799.43 c gomory : 125.14 2 0 0 1000 0
1798.88/1799.43 c strongcg : 21.40 2 0 0 1000 0
1798.88/1799.43 c cmir : 0.00 0 0 0 0 0
1798.88/1799.43 c flowcover : 0.00 0 0 0 0 0
1798.88/1799.43 c clique : 0.00 2 0 0 0 0
1798.88/1799.43 c zerohalf : 0.00 0 0 0 0 0
1798.88/1799.43 c mcf : 0.00 0 0 0 0 0
1798.88/1799.43 c Pricers : Time Calls Vars
1798.88/1799.43 c problem variables: 0.00 0 0
1798.88/1799.43 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.88/1799.43 c relpscost : 0.00 0 0 0 0 0 0
1798.88/1799.43 c pscost : 0.00 0 0 0 0 0 0
1798.88/1799.43 c inference : 0.00 1 0 0 0 0 2
1798.88/1799.43 c mostinf : 0.00 0 0 0 0 0 0
1798.88/1799.43 c leastinf : 0.00 0 0 0 0 0 0
1798.88/1799.43 c fullstrong : 0.00 0 0 0 0 0 0
1798.88/1799.43 c allfullstrong : 0.00 0 0 0 0 0 0
1798.88/1799.43 c random : 0.00 0 0 0 0 0 0
1798.88/1799.43 c Primal Heuristics : Time Calls Found
1798.88/1799.43 c LP solutions : 0.00 - 0
1798.88/1799.43 c pseudo solutions : 0.00 - 0
1798.88/1799.43 c simplerounding : 0.00 0 0
1798.88/1799.43 c rounding : 0.00 0 0
1798.88/1799.43 c shifting : 0.00 0 0
1798.88/1799.43 c intshifting : 0.00 0 0
1798.88/1799.43 c oneopt : 0.00 0 0
1798.88/1799.43 c fixandinfer : 0.00 0 0
1798.88/1799.43 c feaspump : 0.00 0 0
1798.88/1799.43 c coefdiving : 0.00 0 0
1798.88/1799.43 c pscostdiving : 0.00 0 0
1798.88/1799.43 c fracdiving : 0.00 0 0
1798.88/1799.43 c veclendiving : 0.00 0 0
1798.88/1799.43 c intdiving : 0.00 0 0
1798.88/1799.43 c actconsdiving : 0.00 0 0
1798.88/1799.43 c objpscostdiving : 0.00 0 0
1798.88/1799.43 c rootsoldiving : 0.00 0 0
1798.88/1799.43 c linesearchdiving : 0.00 0 0
1798.88/1799.43 c guideddiving : 0.00 0 0
1798.88/1799.43 c octane : 0.00 0 0
1798.88/1799.43 c rens : 0.00 0 0
1798.88/1799.43 c rins : 0.00 0 0
1798.88/1799.43 c localbranching : 0.00 0 0
1798.88/1799.43 c mutation : 0.00 0 0
1798.88/1799.43 c crossover : 0.00 0 0
1798.88/1799.43 c dins : 0.00 0 0
1798.88/1799.43 c LP : Time Calls Iterations Iter/call Iter/sec
1798.88/1799.43 c primal LP : 0.00 0 0 0.00 -
1798.88/1799.43 c dual LP : 1638.17 3 22091 7363.67 13.49
1798.88/1799.43 c barrier LP : 0.00 0 0 0.00 -
1798.88/1799.43 c diving/probing LP: 0.00 0 0 0.00 -
1798.88/1799.43 c strong branching : 0.00 0 0 0.00 -
1798.88/1799.43 c (at root node) : - 0 0 0.00 -
1798.88/1799.43 c conflict analysis: 0.00 0 0 0.00 -
1798.88/1799.43 c B&B Tree :
1798.88/1799.43 c number of runs : 1
1798.88/1799.43 c nodes : 1
1798.88/1799.43 c nodes (total) : 1
1798.88/1799.43 c nodes left : 2
1798.88/1799.43 c max depth : 0
1798.88/1799.43 c max depth (total): 0
1798.88/1799.43 c backtracks : 0 (0.0%)
1798.88/1799.43 c delayed cutoffs : 0
1798.88/1799.43 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.88/1799.43 c avg switch length: 1.00
1798.88/1799.43 c switching time : 0.00
1798.88/1799.43 c Solution :
1798.88/1799.43 c Solutions found : 0 (0 improvements)
1798.88/1799.43 c Primal Bound : -
1798.88/1799.43 c Dual Bound : +5.90000000000000e+01
1798.88/1799.43 c Gap : infinite
1798.88/1799.43 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-1868423-1245125701/watcher-1868423-1245125701 -o /tmp/evaluation-result-1868423-1245125701/solver-1868423-1245125701 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868423-1245125701.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: 2.30 1.44 1.15 3/64 3241 /proc/meminfo: memFree=1948032/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=5812 CPUtime=0 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 180171161 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 1453 501 332 1256 0 192 0 [startup+0.00897296 s] /proc/loadavg: 2.30 1.44 1.15 3/64 3241 /proc/meminfo: memFree=1948032/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=9676 CPUtime=0 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 1427 0 0 0 0 0 0 0 18 0 1 0 180171161 9908224 1411 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 2419 1420 362 1256 0 1158 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9676 [startup+0.10198 s] /proc/loadavg: 2.30 1.44 1.15 3/64 3241 /proc/meminfo: memFree=1948032/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=14156 CPUtime=0.09 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 2511 0 0 0 8 1 0 0 18 0 1 0 180171161 14495744 2495 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 3539 2495 376 1256 0 2278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14156 [startup+0.301998 s] /proc/loadavg: 2.30 1.44 1.15 3/64 3241 /proc/meminfo: memFree=1948032/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=19228 CPUtime=0.29 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 3761 0 0 0 28 1 0 0 19 0 1 0 180171161 19689472 3745 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 4807 3745 376 1256 0 3546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19228 [startup+0.701036 s] /proc/loadavg: 2.30 1.44 1.15 3/64 3241 /proc/meminfo: memFree=1948032/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=28860 CPUtime=0.69 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 6175 0 0 0 67 2 0 0 22 0 1 0 180171161 29552640 6159 1992294400 4194304 9342243 548682068736 18446744073709551615 4363801 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 7215 6159 376 1256 0 5954 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28860 [startup+1.50111 s] /proc/loadavg: 2.30 1.44 1.15 2/65 3242 /proc/meminfo: memFree=1916856/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=48376 CPUtime=1.49 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 11063 0 0 0 144 5 0 0 25 0 1 0 180171161 49537024 11047 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 12094 11047 376 1256 0 10833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48376 [startup+3.10126 s] /proc/loadavg: 2.30 1.44 1.15 2/65 3242 /proc/meminfo: memFree=1890040/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=87004 CPUtime=3.09 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 20665 0 0 0 300 9 0 0 25 0 1 0 180171161 89092096 20649 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 21751 20649 376 1256 0 20490 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 87004 [startup+6.30156 s] /proc/loadavg: 2.27 1.45 1.16 2/65 3242 /proc/meminfo: memFree=1700152/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=368628 CPUtime=6.29 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 91056 0 0 0 584 45 0 0 25 0 1 0 180171161 377475072 90686 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 92157 90686 459 1256 0 90896 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 368628 [startup+12.7022 s] /proc/loadavg: 2.17 1.44 1.16 2/65 3242 /proc/meminfo: memFree=1386944/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=804656 CPUtime=12.69 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 177412 0 0 0 1124 145 0 0 25 0 1 0 180171161 823967744 168360 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 201164 168360 612 1256 0 199903 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 804656 [startup+25.5013 s] /proc/loadavg: 1.91 1.42 1.15 2/65 3242 /proc/meminfo: memFree=1236352/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=825100 CPUtime=25.48 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 187995 0 0 0 2398 150 0 0 25 0 1 0 180171161 844902400 178271 1992294400 4194304 9342243 548682068736 18446744073709551615 6939168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 206275 178271 636 1256 0 205014 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 825100 [startup+51.1017 s] /proc/loadavg: 1.60 1.39 1.15 2/65 3242 /proc/meminfo: memFree=1221248/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=825100 CPUtime=51.06 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 191883 0 0 0 4953 153 0 0 25 0 1 0 180171161 844902400 182159 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 206275 182159 641 1256 0 205014 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 825100 [startup+102.305 s] /proc/loadavg: 1.26 1.32 1.14 2/65 3242 /proc/meminfo: memFree=1211264/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=825100 CPUtime=102.25 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 194336 0 0 0 10070 155 0 0 25 0 1 0 180171161 844902400 184612 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 206275 184612 641 1256 0 205014 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 825100 [startup+162.301 s] /proc/loadavg: 1.25 1.31 1.14 2/65 3242 /proc/meminfo: memFree=1167104/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=906520 CPUtime=162.22 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 205497 0 0 0 16063 159 0 0 25 0 1 0 180171161 928276480 195773 1992294400 4194304 9342243 548682068736 18446744073709551615 5868876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 226630 195773 641 1256 0 225369 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 906520 [startup+222.302 s] /proc/loadavg: 1.09 1.25 1.13 2/65 3242 /proc/meminfo: memFree=1159552/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=921504 CPUtime=222.21 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 221827 0 0 0 22053 168 0 0 25 0 1 0 180171161 943620096 197474 1992294400 4194304 9342243 548682068736 18446744073709551615 6938224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 230376 197474 641 1256 0 229115 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 921504 [startup+282.301 s] /proc/loadavg: 1.03 1.20 1.12 2/65 3242 /proc/meminfo: memFree=1160064/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=922152 CPUtime=282.2 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 236578 0 0 0 28043 177 0 0 25 0 1 0 180171161 944283648 197353 1992294400 4194304 9342243 548682068736 18446744073709551615 6948488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 230538 197353 641 1256 0 229277 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 922152 [startup+342.302 s] /proc/loadavg: 1.01 1.16 1.11 2/65 3242 /proc/meminfo: memFree=1182400/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=909684 CPUtime=342.18 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 246171 0 0 0 34036 182 0 0 25 0 1 0 180171161 931516416 191818 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 227421 191818 641 1256 0 226160 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 909684 [startup+402.301 s] /proc/loadavg: 1.00 1.13 1.10 2/65 3242 /proc/meminfo: memFree=1179712/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=909832 CPUtime=402.16 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 259652 0 0 0 40027 189 0 0 25 0 1 0 180171161 931667968 192580 1992294400 4194304 9342243 548682068736 18446744073709551615 5868863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 227458 192580 641 1256 0 226197 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 909832 [startup+462.302 s] /proc/loadavg: 1.00 1.10 1.09 2/65 3242 /proc/meminfo: memFree=1191552/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=907204 CPUtime=462.15 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 281173 0 0 0 46015 200 0 0 25 0 1 0 180171161 928976896 189420 1992294400 4194304 9342243 548682068736 18446744073709551615 6496551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 226801 189420 641 1256 0 225540 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 907204 [startup+522.301 s] /proc/loadavg: 1.00 1.08 1.08 2/65 3242 /proc/meminfo: memFree=1191872/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=903488 CPUtime=522.13 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 293425 0 0 0 52006 207 0 0 25 0 1 0 180171161 925171712 189435 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 225872 189435 641 1256 0 224611 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 903488 [startup+582.301 s] /proc/loadavg: 1.00 1.06 1.08 2/65 3242 /proc/meminfo: memFree=1166912/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=903488 CPUtime=582.11 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 299572 0 0 0 58001 210 0 0 25 0 1 0 180171161 925171712 195582 1992294400 4194304 9342243 548682068736 18446744073709551615 6938510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 225872 195582 641 1256 0 224611 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 903488 [startup+642.302 s] /proc/loadavg: 1.00 1.05 1.07 2/65 3242 /proc/meminfo: memFree=1182208/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=890504 CPUtime=642.1 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 320264 0 0 0 63988 222 0 0 25 0 1 0 180171161 911876096 191732 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 222626 191732 641 1256 0 221365 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 890504 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.02 1.05 2/65 3242 /proc/meminfo: memFree=1182080/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=843484 CPUtime=822.05 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 374245 0 0 0 81954 251 0 0 25 0 1 0 180171161 863727616 191747 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 210871 191747 641 1256 0 209610 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 843484 [startup+882.302 s] /proc/loadavg: 1.00 1.02 1.05 2/65 3242 /proc/meminfo: memFree=1181952/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=834296 CPUtime=882.04 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 379971 0 0 0 87949 255 0 0 25 0 1 0 180171161 854319104 191754 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 208574 191754 641 1256 0 207313 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 834296 [startup+942.301 s] /proc/loadavg: 1.07 1.03 1.05 2/65 3242 /proc/meminfo: memFree=1181888/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=834296 CPUtime=942.02 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 379971 0 0 0 93944 258 0 0 25 0 1 0 180171161 854319104 191754 1992294400 4194304 9342243 548682068736 18446744073709551615 4338500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 208574 191754 641 1256 0 207313 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 834296 [startup+1002.3 s] /proc/loadavg: 1.02 1.02 1.04 2/65 3242 /proc/meminfo: memFree=1159616/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=838504 CPUtime=1002 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 385537 0 0 0 99938 262 0 0 25 0 1 0 180171161 858628096 197320 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 209626 197320 641 1256 0 208365 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 838504 [startup+1062.3 s] /proc/loadavg: 1.01 1.02 1.03 2/65 3242 /proc/meminfo: memFree=1154944/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=838504 CPUtime=1061.98 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 386684 0 0 0 105935 263 0 0 25 0 1 0 180171161 858628096 198467 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 209626 198467 641 1256 0 208365 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 838504 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.03 2/65 3242 /proc/meminfo: memFree=1125696/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=921188 CPUtime=1121.97 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 393995 0 0 0 111930 267 0 0 25 0 1 0 180171161 943296512 205778 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 230297 205778 641 1256 0 229036 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 921188 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.02 2/65 3242 /proc/meminfo: memFree=1120768/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=958108 CPUtime=1181.95 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 401176 0 0 0 117924 271 0 0 25 0 1 0 180171161 981102592 207004 1992294400 4194304 9342243 548682068736 18446744073709551615 6938538 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 239527 207004 641 1256 0 238266 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 958108 [startup+1242.3 s] /proc/loadavg: 1.11 1.03 1.03 2/65 3242 /proc/meminfo: memFree=1120448/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=961556 CPUtime=1241.93 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 408354 0 0 0 123917 276 0 0 25 0 1 0 180171161 984633344 207057 1992294400 4194304 9342243 548682068736 18446744073709551615 6970167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 240389 207057 641 1256 0 239128 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 961556 [startup+1302.3 s] /proc/loadavg: 1.11 1.04 1.03 2/65 3242 /proc/meminfo: memFree=1119744/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=962304 CPUtime=1301.93 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 415568 0 0 0 129913 280 0 0 25 0 1 0 180171161 985399296 207205 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 240576 207205 641 1256 0 239315 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 962304 [startup+1362.3 s] /proc/loadavg: 1.04 1.03 1.02 2/65 3242 /proc/meminfo: memFree=1138304/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=962348 CPUtime=1361.9 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 419553 0 0 0 135908 282 0 0 25 0 1 0 180171161 985444352 202646 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 240587 202646 641 1256 0 239326 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 962348 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.02 2/65 3242 /proc/meminfo: memFree=1140736/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=960988 CPUtime=1421.9 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 426621 0 0 0 141903 287 0 0 25 0 1 0 180171161 984051712 201948 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 240247 201948 641 1256 0 238986 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 960988 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.01 2/65 3242 /proc/meminfo: memFree=1117568/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=960988 CPUtime=1481.87 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 432425 0 0 0 147897 290 0 0 25 0 1 0 180171161 984051712 207752 1992294400 4194304 9342243 548682068736 18446744073709551615 6965962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 240247 207752 641 1256 0 238986 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 960988 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3242 /proc/meminfo: memFree=1121408/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=957552 CPUtime=1541.85 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 439371 0 0 0 153892 293 0 0 25 0 1 0 180171161 980533248 206775 1992294400 4194304 9342243 548682068736 18446744073709551615 5868876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 239388 206775 641 1256 0 238127 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 957552 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3242 /proc/meminfo: memFree=1120832/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=958484 CPUtime=1601.84 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 446466 0 0 0 159887 297 0 0 25 0 1 0 180171161 981487616 206930 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 239621 206930 641 1256 0 238360 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 958484 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3242 /proc/meminfo: memFree=1134400/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=951712 CPUtime=1661.82 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 451142 0 0 0 165883 299 0 0 25 0 1 0 180171161 974553088 203541 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 237928 203541 641 1256 0 236667 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 951712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3242 /proc/meminfo: memFree=1115520/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=865972 CPUtime=1721.81 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 455838 0 0 0 171879 302 0 0 25 0 1 0 180171161 886755328 200460 1992294400 4194304 9342243 548682068736 18446744073709551615 6889068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 216493 200460 641 1256 0 215232 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 865972 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3242 /proc/meminfo: memFree=1125440/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=920912 CPUtime=1781.79 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 461108 0 0 0 177874 305 0 0 25 0 1 0 180171161 943013888 205730 1992294400 4194304 9342243 548682068736 18446744073709551615 6970142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3241/statm: 230228 205730 641 1256 0 228967 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 920912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3242 /proc/meminfo: memFree=1316096/2055920 swapFree=4191900/4192956 [pid=3241] ppid=3239 vsize=648724 CPUtime=1800.1 /proc/3241/stat : 3241 (pbscip.linux.x8) R 3239 3241 1126 0 -1 4194304 462012 0 0 0 179700 310 0 0 25 0 1 0 180171161 664293376 157576 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0 /proc/3241/statm: 162181 157576 828 1256 0 160920 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 648724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.71 CPU time (s): 1800.2 CPU user time (s): 1797 CPU system time (s): 3.20151 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 962348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797 system time used= 3.20151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462012 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= 3144 runsolver used 1.9487 second user time and 4.00739 second system time The end
Begin job on node14 at 2009-06-16 06:15:02 IDJOB=1868423 IDBENCH=1378 IDSOLVER=684 FILE ID=node14/1868423-1245125701 PBS_JOBID= 9363651 Free space on /tmp= 66364 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_3.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-1868423-1245125701/watcher-1868423-1245125701 -o /tmp/evaluation-result-1868423-1245125701/solver-1868423-1245125701 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868423-1245125701.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e3c4907f9ed288ddc262ad274eebff0f RANDOM SEED=1959160979 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: 1949408 kB Buffers: 2288 kB Cached: 48572 kB SwapCached: 4 kB Active: 29232 kB Inactive: 34664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1949408 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 23180 kB Writeback: 0 kB Mapped: 21780 kB Slab: 28564 kB Committed_AS: 167592 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= 66352 MiB End job on node14 at 2009-06-16 06:45:05