| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1797.57 | 1798.13 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb |
| MD5SUM | c1794605d16cd8196553c490f5507fd9 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| 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 | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12452 |
| Sum of products size (including duplicates) | 24904 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.04/0.08 c SCIP version 1.1.0.7
0.04/0.08 c LP-Solver Clp 1.8.2
0.04/0.08 c user parameter file <scip.set> not found - using default parameters
0.04/0.08 c read problem <HOME/instance-1870629-1245214262.opb>
0.04/0.08 c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.09/0.14 c No objective function, only one solution is needed.
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.30/0.38 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50208 impls, 400 clqs
0.49/0.55 c presolving (2 rounds):
0.49/0.55 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.55 c 50208 implications, 400 cliques
0.49/0.55 c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.49/0.55 c 1 constraints of type <knapsack>
0.49/0.55 c 400 constraints of type <setppc>
0.49/0.55 c 6226 constraints of type <and>
0.49/0.55 c 1 constraints of type <linear>
0.49/0.55 c 200 constraints of type <logicor>
0.49/0.55 c transformed objective value is always integral (scale: 1)
0.49/0.55 c Presolving Time: 0.27
0.49/0.55 c SATUNSAT-NLC
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.55 c separating/flowcover/freq = c -1
0.49/0.55 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.55 c separating/cmir/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/veclendiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/veclendiving/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c heuristics/simplerounding/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/shifting/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c heuristics/rounding/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.55 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.49/0.55 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.55 c heuristics/rootsoldiving/freq = c -1
0.49/0.55 c # number of nodes added to the contingent of the total nodes
0.49/0.55 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.55 c heuristics/rens/nodesofs = c 2000
0.49/0.55 c # minimum percentage of integer variables that have to be fixable
0.49/0.55 c # [type: real, range: [0,1], default: 0.5]
0.49/0.55 c heuristics/rens/minfixingrate = c 0.3
0.49/0.55 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.55 c heuristics/rens/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/pscostdiving/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c heuristics/oneopt/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.55 c # [type: real, range: [0,1], default: 0.01]
0.49/0.55 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.49/0.55 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.55 c heuristics/objpscostdiving/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/linesearchdiving/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/intshifting/freq = c -1
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/intdiving/maxlpiterquot = c 0.075
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/guideddiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/guideddiving/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/fracdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/fracdiving/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/feaspump/maxlpiterofs = c 2000
0.49/0.55 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.55 c heuristics/feaspump/freq = c -1
0.49/0.55 c # minimum percentage of integer variables that have to be fixed
0.49/0.55 c # [type: real, range: [0,1], default: 0.666]
0.49/0.55 c heuristics/crossover/minfixingrate = c 0.5
0.49/0.55 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.55 c # [type: real, range: [0,1], default: 0.1]
0.49/0.55 c heuristics/crossover/nodesquot = c 0.15
0.49/0.55 c # number of nodes without incumbent change that heuristic should wait
0.49/0.55 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.55 c heuristics/crossover/nwaitingnodes = c 100
0.49/0.55 c # number of nodes added to the contingent of the total nodes
0.49/0.55 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.55 c heuristics/crossover/nodesofs = c 750
0.49/0.55 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.55 c heuristics/crossover/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/coefdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/coefdiving/freq = c -1
0.49/0.55 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c presolving/probing/maxrounds = c 0
0.49/0.55 c # should presolving try to simplify knapsacks
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/knapsack/simplifyinequalities = c TRUE
0.49/0.55 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.55 c constraints/knapsack/disaggregation = c FALSE
0.49/0.55 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c constraints/knapsack/maxnumcardlift = c 0
0.49/0.55 c # should presolving try to simplify inequalities
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/linear/simplifyinequalities = c TRUE
0.49/0.56 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c separating/maxroundsroot = c 5
0.49/0.56 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.56 c separating/maxrounds = c 1
0.49/0.56 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c limits/solutions = c 1
0.49/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/memory = c 1620
0.49/0.56 c # maximal time in seconds to run
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/time = c 1791
0.49/0.56 c # frequency for displaying node information lines
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56 c display/freq = c 10000
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c start solving problem
0.49/0.56 c
0.79/0.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c 0.5s| 1 | 0 | 196 | 29M| 0 | 160 |6626 |6828 |6828 |6626 | 13k| 0 | 0 | 0 | 8.000000e+01 | -- | Inf
1.89/1.91 c 1.6s| 1 | 0 | 347 | 29M| 0 | 161 |6626 |6828 |6828 |6626 | 13k| 3 | 0 | 0 | 8.000000e+01 | -- | Inf
7.59/7.65 c 7.3s| 1 | 0 | 390 | 29M| 0 | 166 |6626 |6828 |6828 |6626 | 13k| 4 | 0 | 0 | 8.000000e+01 | -- | Inf
15.47/15.51 c 15.2s| 1 | 0 | 395 | 29M| 0 | 166 |6626 |6828 |6828 |6626 | 13k| 5 | 0 | 0 | 8.000000e+01 | -- | Inf
23.98/24.01 c 23.6s| 1 | 0 | 442 | 29M| 0 | 166 |6626 |6828 |6828 |6626 | 13k| 6 | 0 | 0 | 8.000000e+01 | -- | Inf
59.46/59.52 c 59.1s| 1 | 2 | 442 | 29M| 0 | 166 |6626 |6828 |6828 |6626 | 13k| 6 | 0 | 33 | 8.000000e+01 | -- | Inf
1797.23/1797.86 c
1797.23/1797.86 c SCIP Status : solving was interrupted [time limit reached]
1797.23/1797.86 c Solving Time (sec) : 1791.00
1797.23/1797.86 c Solving Nodes : 9164
1797.23/1797.86 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.23/1797.86 c Dual Bound : +8.00000000000002e+01
1797.23/1797.86 c Gap : infinite
1797.23/1797.86 c NODE 9164
1797.23/1797.86 c DUAL BOUND 80
1797.23/1797.86 c PRIMAL BOUND 1e+20
1797.23/1797.86 c GAP 1e+20
1797.23/1797.86 s UNKNOWN
1797.23/1797.86 c SCIP Status : solving was interrupted [time limit reached]
1797.23/1797.86 c Solving Time : 1791.00
1797.23/1797.86 c Original Problem :
1797.23/1797.86 c Problem name : HOME/instance-1870629-1245214262.opb
1797.23/1797.86 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.86 c Constraints : 6828 initial, 6828 maximal
1797.23/1797.86 c Presolved Problem :
1797.23/1797.86 c Problem name : t_HOME/instance-1870629-1245214262.opb
1797.23/1797.86 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.86 c Constraints : 6828 initial, 6989 maximal
1797.23/1797.86 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.23/1797.86 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c implics : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c probing : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c knapsack : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c setppc : 0.01 0 0 0 0 0 0 0 0
1797.23/1797.86 c and : 0.16 0 0 0 0 0 0 0 0
1797.23/1797.86 c linear : 0.05 0 0 0 0 0 0 0 0
1797.23/1797.86 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.86 c root node : - 0 - - 0 - - - -
1797.23/1797.86 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.23/1797.86 c integral : 0 0 0 7470 0 37 404 0 0 14516
1797.23/1797.86 c knapsack : 1 5 26535 57 1 0 0 0 0 0
1797.23/1797.86 c setppc : 400 5 26535 57 1 140 104675 0 0 0
1797.23/1797.86 c and : 6226 8172 26395 57 1 45 2432196 1216623 0 0
1797.23/1797.86 c linear : 1 5 26350 0 0 0 0 0 0 0
1797.23/1797.86 c logicor : 200+ 5 8717 0 1 0 9364 0 0 0
1797.23/1797.86 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.23/1797.86 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.23/1797.86 c integral : 435.66 0.00 0.00 435.66 0.00
1797.23/1797.86 c knapsack : 0.06 0.00 0.06 0.00 0.00
1797.23/1797.86 c setppc : 1.26 0.00 1.26 0.00 0.00
1797.23/1797.86 c and : 63.19 40.38 22.64 0.17 0.00
1797.23/1797.86 c linear : 1.99 0.00 1.99 0.00 0.00
1797.23/1797.86 c logicor : 0.17 0.00 0.17 0.00 0.00
1797.23/1797.86 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.23/1797.86 c Propagators : Time Calls Cutoffs DomReds
1797.23/1797.86 c rootredcost : 0.03 0 0 0
1797.23/1797.86 c pseudoobj : 29.32 26536 0 0
1797.23/1797.86 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.23/1797.86 c propagation : 0.00 185 185 185 2.8 0 0.0 -
1797.23/1797.86 c infeasible LP : 2.70 1683 0 0 0.0 0 0.0 0
1797.23/1797.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.86 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.23/1797.86 c applied globally : - - - 185 2.8 - - -
1797.23/1797.86 c applied locally : - - - 0 0.0 - - -
1797.23/1797.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.23/1797.86 c cut pool : 0.00 4 - - 0 - (maximal pool size: 13)
1797.23/1797.86 c redcost : 9.65 8172 0 0 0 0
1797.23/1797.86 c impliedbounds : 0.00 5 0 0 0 0
1797.23/1797.86 c intobj : 0.00 0 0 0 0 0
1797.23/1797.86 c gomory : 18.55 5 0 0 570 0
1797.23/1797.86 c strongcg : 12.45 5 0 0 1077 0
1797.23/1797.86 c cmir : 0.00 0 0 0 0 0
1797.23/1797.86 c flowcover : 0.00 0 0 0 0 0
1797.23/1797.86 c clique : 0.03 5 0 0 0 0
1797.23/1797.86 c zerohalf : 0.00 0 0 0 0 0
1797.23/1797.86 c mcf : 0.22 2 0 0 0 0
1797.23/1797.86 c Pricers : Time Calls Vars
1797.23/1797.86 c problem variables: 0.00 0 0
1797.23/1797.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.23/1797.86 c relpscost : 435.60 7413 37 404 0 0 14516
1797.23/1797.86 c pscost : 0.00 0 0 0 0 0 0
1797.23/1797.86 c inference : 0.00 1 0 0 0 0 2
1797.23/1797.86 c mostinf : 0.00 0 0 0 0 0 0
1797.23/1797.86 c leastinf : 0.00 0 0 0 0 0 0
1797.23/1797.86 c fullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.86 c allfullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.86 c random : 0.00 0 0 0 0 0 0
1797.23/1797.86 c Primal Heuristics : Time Calls Found
1797.23/1797.86 c LP solutions : 0.00 - 0
1797.23/1797.86 c pseudo solutions : 0.00 - 0
1797.23/1797.86 c simplerounding : 0.00 0 0
1797.23/1797.86 c rounding : 0.00 0 0
1797.23/1797.86 c shifting : 0.00 0 0
1797.23/1797.86 c intshifting : 0.00 0 0
1797.23/1797.86 c oneopt : 0.00 0 0
1797.23/1797.86 c fixandinfer : 0.00 0 0
1797.23/1797.86 c feaspump : 0.00 0 0
1797.23/1797.86 c coefdiving : 0.00 0 0
1797.23/1797.86 c pscostdiving : 0.00 0 0
1797.23/1797.86 c fracdiving : 0.00 0 0
1797.23/1797.86 c veclendiving : 0.00 0 0
1797.23/1797.86 c intdiving : 0.00 0 0
1797.23/1797.86 c actconsdiving : 0.00 0 0
1797.23/1797.86 c objpscostdiving : 0.00 0 0
1797.23/1797.86 c rootsoldiving : 0.00 0 0
1797.23/1797.86 c linesearchdiving : 0.00 0 0
1797.23/1797.86 c guideddiving : 0.00 0 0
1797.23/1797.86 c octane : 0.00 0 0
1797.23/1797.86 c rens : 0.00 0 0
1797.23/1797.86 c rins : 0.00 0 0
1797.23/1797.86 c localbranching : 0.00 0 0
1797.23/1797.86 c mutation : 0.00 0 0
1797.23/1797.86 c crossover : 0.00 0 0
1797.23/1797.86 c dins : 0.00 0 0
1797.23/1797.86 c LP : Time Calls Iterations Iter/call Iter/sec
1797.23/1797.86 c primal LP : 242.08 1 1 1.00 0.00
1797.23/1797.86 c dual LP : 897.99 17310 2266817 130.95 2524.32
1797.23/1797.86 c barrier LP : 0.00 0 0 0.00 -
1797.23/1797.86 c diving/probing LP: 0.00 0 0 0.00 -
1797.23/1797.86 c strong branching : 434.25 14662 1090589 74.38 2511.43
1797.23/1797.86 c (at root node) : - 33 13223 400.70 -
1797.23/1797.86 c conflict analysis: 0.00 0 0 0.00 -
1797.23/1797.86 c B&B Tree :
1797.23/1797.86 c number of runs : 1
1797.23/1797.86 c nodes : 9164
1797.23/1797.86 c nodes (total) : 9164
1797.23/1797.86 c nodes left : 5355
1797.23/1797.86 c max depth : 85
1797.23/1797.86 c max depth (total): 85
1797.23/1797.86 c backtracks : 512 (5.6%)
1797.23/1797.86 c delayed cutoffs : 0
1797.23/1797.86 c repropagations : 1050 (5151 domain reductions, 0 cutoffs)
1797.23/1797.86 c avg switch length: 2.58
1797.23/1797.86 c switching time : 253.33
1797.23/1797.86 c Solution :
1797.23/1797.86 c Solutions found : 0 (0 improvements)
1797.23/1797.86 c Primal Bound : -
1797.23/1797.86 c Dual Bound : +8.00000000000002e+01
1797.23/1797.86 c Gap : infinite
1797.23/1797.86 c Root Dual Bound : +8.00000000000000e+01
1797.52/1798.12 c Time complete: 1797.56.
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-1870629-1245214262/watcher-1870629-1245214262 -o /tmp/evaluation-result-1870629-1245214262/solver-1870629-1245214262 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870629-1245214262.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16508 /proc/meminfo: memFree=1843272/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=6052 CPUtime=0 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 544 0 0 0 0 0 0 0 18 0 1 0 74149649 6197248 528 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 0 0 0 0 17 1 0 0 /proc/16508/statm: 1904 535 353 1256 0 643 0 [startup+0.0482631 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16508 /proc/meminfo: memFree=1843272/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=16104 CPUtime=0.04 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 3016 0 0 0 3 1 0 0 18 0 1 0 74149649 16490496 3000 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/16508/statm: 4026 3000 376 1256 0 2765 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 16104 [startup+0.102269 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16508 /proc/meminfo: memFree=1843272/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=24100 CPUtime=0.09 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 5348 0 0 0 7 2 0 0 18 0 1 0 74149649 24678400 4978 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 6025 4987 412 1256 0 4764 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24100 [startup+0.302293 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16508 /proc/meminfo: memFree=1843272/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=32700 CPUtime=0.3 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 7339 0 0 0 21 9 0 0 19 0 1 0 74149649 33484800 6969 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 8175 6969 446 1256 0 6914 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 32700 [startup+0.701346 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16508 /proc/meminfo: memFree=1843272/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=64296 CPUtime=0.7 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 14072 0 0 0 49 21 0 0 17 0 1 0 74149649 65839104 13649 1992294400 4194304 9342243 548682068736 18446744073709551615 6960768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 16074 13649 615 1256 0 14813 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 64296 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1784512/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=78412 CPUtime=1.49 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 17993 0 0 0 126 23 0 0 24 0 1 0 74149649 80293888 17514 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 19603 17514 640 1256 0 18342 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 78412 [startup+3.10165 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1772288/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=80788 CPUtime=3.09 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 18786 0 0 0 285 24 0 0 25 0 1 0 74149649 82726912 18306 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 20197 18306 655 1256 0 18936 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 80788 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1772032/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=80788 CPUtime=6.28 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 18874 0 0 0 603 25 0 0 25 0 1 0 74149649 82726912 18394 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 20197 18394 655 1256 0 18936 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 80788 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1771136/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=81832 CPUtime=12.69 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 19790 0 0 0 1242 27 0 0 25 0 1 0 74149649 83795968 18580 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 20458 18580 655 1256 0 19197 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81832 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1770496/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=82544 CPUtime=25.47 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 19984 0 0 0 2518 29 0 0 25 0 1 0 74149649 84525056 18771 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 20636 18771 656 1256 0 19375 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 82544 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1769216/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=90248 CPUtime=51.07 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 26909 0 0 0 5071 36 0 0 25 0 1 0 74149649 92413952 19302 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 22562 19302 661 1256 0 21301 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90248 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1768640/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=80876 CPUtime=102.26 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 29898 0 0 0 10178 48 0 0 25 0 1 0 74149649 82817024 19266 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 20219 19266 687 1256 0 18958 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 80876 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1766464/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=84832 CPUtime=162.23 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 30428 0 0 0 16163 60 0 0 25 0 1 0 74149649 86867968 19796 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 21208 19796 687 1256 0 19947 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 84832 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1765696/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=88416 CPUtime=222.21 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 36258 0 0 0 22143 78 0 0 25 0 1 0 74149649 90537984 19985 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 22104 19985 687 1256 0 20843 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 88416 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16509 /proc/meminfo: memFree=1760896/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=90120 CPUtime=282.2 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 49792 0 0 0 28121 99 0 0 25 0 1 0 74149649 92282880 21067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 22530 21067 687 1256 0 21269 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 90120 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16511 /proc/meminfo: memFree=1753280/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=98948 CPUtime=342.18 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 63785 0 0 0 34098 120 0 0 25 0 1 0 74149649 101322752 22822 1992294400 4194304 9342243 548682068736 18446744073709551615 6243114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 24737 22822 687 1256 0 23476 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 98948 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16511 /proc/meminfo: memFree=1750912/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=99592 CPUtime=402.17 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 74374 0 0 0 40079 138 0 0 25 0 1 0 74149649 101982208 23596 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 24898 23596 687 1256 0 23637 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 99592 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16511 /proc/meminfo: memFree=1747264/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=103788 CPUtime=462.15 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 88721 0 0 0 46058 157 0 0 25 0 1 0 74149649 106278912 24424 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 25947 24424 687 1256 0 24686 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 103788 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16511 /proc/meminfo: memFree=1741952/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=110964 CPUtime=522.13 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 105646 0 0 0 52036 177 0 0 25 0 1 0 74149649 113627136 25379 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 27741 25379 687 1256 0 26480 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 110964 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16511 /proc/meminfo: memFree=1738368/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=112800 CPUtime=582.11 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 121588 0 0 0 58013 198 0 0 25 0 1 0 74149649 115507200 26368 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 28200 26368 687 1256 0 26939 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 112800 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1734648/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=116724 CPUtime=642.09 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 139945 0 0 0 63985 224 0 0 25 0 1 0 74149649 119525376 27371 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 29181 27372 687 1256 0 27920 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 116724 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1701696/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=148384 CPUtime=1061.95 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 255534 0 0 0 105829 366 0 0 25 0 1 0 74149649 151945216 35208 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 37096 35208 687 1256 0 35835 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 148384 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1699904/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=151892 CPUtime=1121.93 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 275448 0 0 0 111808 385 0 0 25 0 1 0 74149649 155537408 36019 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 37973 36019 692 1256 0 36712 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 151892 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1693760/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=156348 CPUtime=1181.92 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 290940 0 0 0 117786 406 0 0 25 0 1 0 74149649 160100352 37541 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 39087 37541 692 1256 0 37826 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 156348 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1690688/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=158820 CPUtime=1241.9 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 306387 0 0 0 123762 428 0 0 25 0 1 0 74149649 162631680 37908 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 39705 37908 692 1256 0 38444 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 158820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1687744/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=161780 CPUtime=1301.89 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 322685 0 0 0 129741 448 0 0 25 0 1 0 74149649 165662720 38997 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 40445 38997 692 1256 0 39184 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 161780 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1679744/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=170816 CPUtime=1361.86 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 337303 0 0 0 135721 465 0 0 25 0 1 0 74149649 174915584 41043 1992294400 4194304 9342243 548682068736 18446744073709551615 6960746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 42704 41043 692 1256 0 41443 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 170816 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1677632/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=172824 CPUtime=1421.84 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 354118 0 0 0 141699 485 0 0 25 0 1 0 74149649 176971776 41513 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 43206 41513 692 1256 0 41945 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 172824 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1675328/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=174732 CPUtime=1481.83 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 378485 0 0 0 147673 510 0 0 25 0 1 0 74149649 178925568 42129 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 43683 42129 692 1256 0 42422 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 174732 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1671296/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=177528 CPUtime=1541.8 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 390709 0 0 0 153654 526 0 0 25 0 1 0 74149649 181788672 42683 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 44382 42683 692 1256 0 43121 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 177528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1668864/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=184592 CPUtime=1601.79 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 411394 0 0 0 159629 550 0 0 25 0 1 0 74149649 189022208 43641 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 46148 43641 692 1256 0 44887 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 184592 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1665920/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=184060 CPUtime=1661.77 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 428884 0 0 0 165605 572 0 0 25 0 1 0 74149649 188477440 44455 1992294400 4194304 9342243 548682068736 18446744073709551615 6960432 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 46015 44455 692 1256 0 44754 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 184060 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1662784/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=189240 CPUtime=1721.75 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 447814 0 0 0 171581 594 0 0 25 0 1 0 74149649 193781760 45262 1992294400 4194304 9342243 548682068736 18446744073709551615 6968776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 47310 45262 692 1256 0 46049 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 189240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1656896/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=193108 CPUtime=1781.73 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 467364 0 0 0 177556 617 0 0 25 0 1 0 74149649 197742592 46533 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 48277 46533 692 1256 0 47016 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 193108 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1656320/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=193704 CPUtime=1791.34 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 468710 0 0 0 178513 621 0 0 25 0 1 0 74149649 198352896 46782 1992294400 4194304 9342243 548682068736 18446744073709551615 6242848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 48426 46782 692 1256 0 47165 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 193704 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1655936/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=194508 CPUtime=1794.54 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 469664 0 0 0 178832 622 0 0 25 0 1 0 74149649 199176192 46872 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 48627 46872 692 1256 0 47366 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 194508 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1655488/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=194508 CPUtime=1796.13 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 469842 0 0 0 178991 622 0 0 25 0 1 0 74149649 199176192 47050 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 48627 47050 692 1256 0 47366 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 194508 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1656128/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=194152 CPUtime=1796.93 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 470082 0 0 0 179070 623 0 0 25 0 1 0 74149649 198811648 46804 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16508/statm: 48538 46804 692 1256 0 47277 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 194152 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1656128/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=194480 CPUtime=1797.33 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 470139 0 0 0 179110 623 0 0 25 0 1 0 74149649 199147520 46861 1992294400 4194304 9342243 548682068736 18446744073709551615 4211754 0 0 4096 0 0 0 0 17 1 0 0 /proc/16508/statm: 48620 46861 695 1256 0 47359 0 Current children cumulated CPU time (s) 1797.33 Current children cumulated vsize (KiB) 194480 [startup+1798.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16517 /proc/meminfo: memFree=1656128/2055920 swapFree=4186720/4192956 [pid=16508] ppid=16506 vsize=147824 CPUtime=1797.52 /proc/16508/stat : 16508 (pbscip.linux.x8) R 16506 16508 16175 0 -1 4194304 470141 0 0 0 179129 623 0 0 25 0 1 0 74149649 151371776 35993 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0 /proc/16508/statm: 36956 35993 697 1256 0 35695 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 147824 Child status: 0 Real time (s): 1798.13 CPU time (s): 1797.57 CPU user time (s): 1791.3 CPU system time (s): 6.26305 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 197588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.3 system time used= 6.26305 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 470145 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= 4596 runsolver used 2.53361 second user time and 3.9464 second system time The end
Begin job on node40 at 2009-06-17 06:51:02 IDJOB=1870629 IDBENCH=48313 IDSOLVER=684 FILE ID=node40/1870629-1245214262 PBS_JOBID= 9368405 Free space on /tmp= 66560 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_5_40.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-1870629-1245214262/watcher-1870629-1245214262 -o /tmp/evaluation-result-1870629-1245214262/solver-1870629-1245214262 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870629-1245214262.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9 RANDOM SEED=895002470 node40.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.216 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.216 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: 1843752 kB Buffers: 25548 kB Cached: 113916 kB SwapCached: 1772 kB Active: 56024 kB Inactive: 93696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843752 kB SwapTotal: 4192956 kB SwapFree: 4186720 kB Dirty: 11988 kB Writeback: 0 kB Mapped: 18444 kB Slab: 48296 kB Committed_AS: 72516 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66552 MiB End job on node40 at 2009-06-17 07:21:00