| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1798.19 | 1804.98 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_1_40.opb |
| MD5SUM | 6f80de356bf70dde8dfbe2efc2cb9dee |
| 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) | 12408 |
| Sum of products size (including duplicates) | 24816 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
0.07/0.08 c SCIP version 1.1.0.7
0.07/0.08 c LP-Solver Clp 1.8.2
0.07/0.08 c user parameter file <scip.set> not found - using default parameters
0.07/0.08 c read problem <HOME/instance-1870677-1245215497.opb>
0.07/0.08 c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6806 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.29/0.39 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50032 impls, 400 clqs
0.49/0.56 c presolving (2 rounds):
0.49/0.56 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56 c 50032 implications, 400 cliques
0.49/0.56 c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6806 constraints
0.49/0.56 c 1 constraints of type <knapsack>
0.49/0.56 c 400 constraints of type <setppc>
0.49/0.56 c 6204 constraints of type <and>
0.49/0.56 c 1 constraints of type <linear>
0.49/0.56 c 200 constraints of type <logicor>
0.49/0.56 c transformed objective value is always integral (scale: 1)
0.49/0.56 c Presolving Time: 0.28
0.49/0.56 c SATUNSAT-NLC
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/flowcover/freq = c -1
0.49/0.56 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/cmir/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/veclendiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/veclendiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/simplerounding/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/shifting/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/rounding/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.49/0.56 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/rootsoldiving/freq = c -1
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/rens/nodesofs = c 2000
0.49/0.56 c # minimum percentage of integer variables that have to be fixable
0.49/0.56 c # [type: real, range: [0,1], default: 0.5]
0.49/0.56 c heuristics/rens/minfixingrate = c 0.3
0.49/0.56 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c heuristics/rens/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/pscostdiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/oneopt/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.56 c # [type: real, range: [0,1], default: 0.01]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.49/0.56 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/objpscostdiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/linesearchdiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/intshifting/freq = c -1
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/intdiving/maxlpiterquot = c 0.075
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/guideddiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/guideddiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/fracdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/fracdiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/feaspump/maxlpiterofs = c 2000
0.49/0.56 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/feaspump/freq = c -1
0.49/0.56 c # minimum percentage of integer variables that have to be fixed
0.49/0.56 c # [type: real, range: [0,1], default: 0.666]
0.49/0.56 c heuristics/crossover/minfixingrate = c 0.5
0.49/0.56 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.56 c # [type: real, range: [0,1], default: 0.1]
0.49/0.56 c heuristics/crossover/nodesquot = c 0.15
0.49/0.56 c # number of nodes without incumbent change that heuristic should wait
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.56 c heuristics/crossover/nwaitingnodes = c 100
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/crossover/nodesofs = c 750
0.49/0.56 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.56 c heuristics/crossover/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/coefdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/coefdiving/freq = c -1
0.49/0.56 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c presolving/probing/maxrounds = c 0
0.49/0.56 c # should presolving try to simplify knapsacks
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/knapsack/simplifyinequalities = c TRUE
0.49/0.56 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.56 c constraints/knapsack/disaggregation = c FALSE
0.49/0.56 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c constraints/knapsack/maxnumcardlift = c 0
0.49/0.56 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = c TRUE
0.49/0.57 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/maxroundsroot = c 5
0.49/0.57 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.57 c separating/maxrounds = c 1
0.49/0.57 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c limits/solutions = c 1
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = c 1620
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = c 1791
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = c 10000
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving problem
0.49/0.57 c
0.79/0.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.82 c 0.6s| 1 | 0 | 199 | 29M| 0 | 160 |6604 |6806 |6806 |6604 | 13k| 0 | 0 | 0 | 8.000000e+01 | -- | Inf
1.78/1.84 c 1.5s| 1 | 0 | 357 | 29M| 0 | 160 |6604 |6806 |6806 |6604 | 13k| 2 | 0 | 0 | 8.000000e+01 | -- | Inf
3.09/3.13 c 2.8s| 1 | 0 | 506 | 29M| 0 | 161 |6604 |6806 |6806 |6604 | 13k| 4 | 0 | 0 | 8.000000e+01 | -- | Inf
3.78/3.82 c 3.5s| 1 | 0 | 570 | 29M| 0 | 162 |6604 |6806 |6806 |6604 | 13k| 5 | 0 | 0 | 8.000000e+01 | -- | Inf
28.22/28.48 c 27.9s| 1 | 2 | 570 | 29M| 0 | 162 |6604 |6806 |6806 |6604 | 13k| 5 | 0 | 33 | 8.000000e+01 | -- | Inf
1797.92/1804.72 c
1797.92/1804.72 c SCIP Status : solving was interrupted [time limit reached]
1797.92/1804.72 c Solving Time (sec) : 1791.01
1797.92/1804.72 c Solving Nodes : 7427
1797.92/1804.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.92/1804.72 c Dual Bound : +8.00000000000003e+01
1797.92/1804.72 c Gap : infinite
1797.92/1804.72 c NODE 7427
1797.92/1804.72 c DUAL BOUND 80
1797.92/1804.72 c PRIMAL BOUND 1e+20
1797.92/1804.72 c GAP 1e+20
1797.92/1804.72 s UNKNOWN
1797.92/1804.72 c SCIP Status : solving was interrupted [time limit reached]
1797.92/1804.72 c Solving Time : 1791.01
1797.92/1804.72 c Original Problem :
1797.92/1804.72 c Problem name : HOME/instance-1870677-1245215497.opb
1797.92/1804.72 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.92/1804.72 c Constraints : 6806 initial, 6806 maximal
1797.92/1804.72 c Presolved Problem :
1797.92/1804.72 c Problem name : t_HOME/instance-1870677-1245215497.opb
1797.92/1804.72 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.92/1804.72 c Constraints : 6806 initial, 6894 maximal
1797.92/1804.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.92/1804.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.92/1804.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.92/1804.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.92/1804.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.92/1804.72 c implics : 0.01 0 0 0 0 0 0 0 0
1797.92/1804.72 c probing : 0.00 0 0 0 0 0 0 0 0
1797.92/1804.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1797.92/1804.72 c setppc : 0.01 0 0 0 0 0 0 0 0
1797.92/1804.72 c and : 0.17 0 0 0 0 0 0 0 0
1797.92/1804.72 c linear : 0.05 0 0 0 0 0 0 0 0
1797.92/1804.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.92/1804.72 c root node : - 0 - - 0 - - - -
1797.92/1804.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.92/1804.72 c integral : 0 0 0 4949 0 36 410 0 0 9508
1797.92/1804.72 c knapsack : 1 4 21573 11 1 0 0 0 0 0
1797.92/1804.72 c setppc : 400 4 21573 11 1 50 132493 0 0 0
1797.92/1804.72 c and : 6204 5705 21523 11 1 43 2983785 659566 0 0
1797.92/1804.72 c linear : 1 4 21480 0 0 0 0 0 0 0
1797.92/1804.72 c logicor : 200+ 4 7211 0 1 0 5499 0 0 0
1797.92/1804.72 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.92/1804.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.92/1804.72 c integral : 434.77 0.00 0.00 434.77 0.00
1797.92/1804.72 c knapsack : 0.05 0.00 0.05 0.00 0.00
1797.92/1804.72 c setppc : 1.17 0.00 1.17 0.00 0.00
1797.92/1804.72 c and : 46.69 25.14 21.49 0.06 0.00
1797.92/1804.72 c linear : 1.55 0.00 1.55 0.00 0.00
1797.92/1804.72 c logicor : 0.13 0.00 0.13 0.00 0.00
1797.92/1804.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.92/1804.72 c Propagators : Time Calls Cutoffs DomReds
1797.92/1804.72 c rootredcost : 0.01 0 0 0
1797.92/1804.72 c pseudoobj : 24.91 21574 0 0
1797.92/1804.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.92/1804.72 c propagation : 0.00 93 93 93 2.5 0 0.0 -
1797.92/1804.72 c infeasible LP : 3.80 2543 0 0 0.0 0 0.0 0
1797.92/1804.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.92/1804.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.92/1804.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.92/1804.72 c applied globally : - - - 93 2.5 - - -
1797.92/1804.72 c applied locally : - - - 0 0.0 - - -
1797.92/1804.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.92/1804.72 c cut pool : 0.00 3 - - 0 - (maximal pool size: 12)
1797.92/1804.72 c redcost : 6.86 5705 0 0 0 0
1797.92/1804.72 c impliedbounds : 0.01 4 0 0 0 0
1797.92/1804.72 c intobj : 0.00 0 0 0 0 0
1797.92/1804.72 c gomory : 4.95 4 0 0 1500 0
1797.92/1804.72 c strongcg : 4.07 4 0 0 1500 0
1797.92/1804.72 c cmir : 0.00 0 0 0 0 0
1797.92/1804.72 c flowcover : 0.00 0 0 0 0 0
1797.92/1804.72 c clique : 0.04 4 0 0 0 0
1797.92/1804.72 c zerohalf : 0.00 0 0 0 0 0
1797.92/1804.72 c mcf : 0.21 2 0 0 0 0
1797.92/1804.72 c Pricers : Time Calls Vars
1797.92/1804.72 c problem variables: 0.00 0 0
1797.92/1804.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.92/1804.72 c relpscost : 434.77 4938 36 410 0 0 9508
1797.92/1804.72 c pscost : 0.00 0 0 0 0 0 0
1797.92/1804.72 c inference : 0.00 1 0 0 0 0 2
1797.92/1804.72 c mostinf : 0.00 0 0 0 0 0 0
1797.92/1804.72 c leastinf : 0.00 0 0 0 0 0 0
1797.92/1804.72 c fullstrong : 0.00 0 0 0 0 0 0
1797.92/1804.72 c allfullstrong : 0.00 0 0 0 0 0 0
1797.92/1804.72 c random : 0.00 0 0 0 0 0 0
1797.92/1804.72 c Primal Heuristics : Time Calls Found
1797.92/1804.72 c LP solutions : 0.00 - 0
1797.92/1804.72 c pseudo solutions : 0.00 - 0
1797.92/1804.72 c simplerounding : 0.00 0 0
1797.92/1804.72 c rounding : 0.00 0 0
1797.92/1804.72 c shifting : 0.00 0 0
1797.92/1804.72 c intshifting : 0.00 0 0
1797.92/1804.72 c oneopt : 0.00 0 0
1797.92/1804.72 c fixandinfer : 0.00 0 0
1797.92/1804.72 c feaspump : 0.00 0 0
1797.92/1804.72 c coefdiving : 0.00 0 0
1797.92/1804.72 c pscostdiving : 0.00 0 0
1797.92/1804.72 c fracdiving : 0.00 0 0
1797.92/1804.72 c veclendiving : 0.00 0 0
1797.92/1804.72 c intdiving : 0.00 0 0
1797.92/1804.72 c actconsdiving : 0.00 0 0
1797.92/1804.72 c objpscostdiving : 0.00 0 0
1797.92/1804.72 c rootsoldiving : 0.00 0 0
1797.92/1804.72 c linesearchdiving : 0.00 0 0
1797.92/1804.72 c guideddiving : 0.00 0 0
1797.92/1804.72 c octane : 0.00 0 0
1797.92/1804.72 c rens : 0.00 0 0
1797.92/1804.72 c rins : 0.00 0 0
1797.92/1804.72 c localbranching : 0.00 0 0
1797.92/1804.72 c mutation : 0.00 0 0
1797.92/1804.72 c crossover : 0.00 0 0
1797.92/1804.72 c dins : 0.00 0 0
1797.92/1804.72 c LP : Time Calls Iterations Iter/call Iter/sec
1797.92/1804.72 c primal LP : 239.79 0 0 0.00 0.00
1797.92/1804.72 c dual LP : 962.97 13174 2060250 156.39 2139.47
1797.92/1804.72 c barrier LP : 0.00 0 0 0.00 -
1797.92/1804.72 c diving/probing LP: 0.00 0 0 0.00 -
1797.92/1804.72 c strong branching : 433.42 11437 999977 87.43 2307.18
1797.92/1804.72 c (at root node) : - 33 9694 293.76 -
1797.92/1804.72 c conflict analysis: 0.00 0 0 0.00 -
1797.92/1804.72 c B&B Tree :
1797.92/1804.72 c number of runs : 1
1797.92/1804.72 c nodes : 7427
1797.92/1804.72 c nodes (total) : 7427
1797.92/1804.72 c nodes left : 2082
1797.92/1804.72 c max depth : 62
1797.92/1804.72 c max depth (total): 62
1797.92/1804.72 c backtracks : 566 (7.6%)
1797.92/1804.72 c delayed cutoffs : 2
1797.92/1804.72 c repropagations : 1079 (2938 domain reductions, 0 cutoffs)
1797.92/1804.72 c avg switch length: 3.02
1797.92/1804.72 c switching time : 251.73
1797.92/1804.72 c Solution :
1797.92/1804.72 c Solutions found : 0 (0 improvements)
1797.92/1804.72 c Primal Bound : -
1797.92/1804.72 c Dual Bound : +8.00000000000003e+01
1797.92/1804.72 c Gap : infinite
1797.92/1804.72 c Root Dual Bound : +8.00000000000001e+01
1798.10/1804.97 c Time complete: 1798.18.
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-1870677-1245215497/watcher-1870677-1245215497 -o /tmp/evaluation-result-1870677-1245215497/solver-1870677-1245215497 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870677-1245215497.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.78 1.69 1.59 3/72 12070 /proc/meminfo: memFree=1781824/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=7616 CPUtime=0 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 632 0 0 0 0 0 0 0 18 0 1 0 189143646 7798784 616 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/12070/statm: 1904 625 353 1256 0 643 0 [startup+0.081645 s] /proc/loadavg: 1.78 1.69 1.59 3/72 12070 /proc/meminfo: memFree=1781824/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=17612 CPUtime=0.07 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 3372 0 0 0 6 1 0 0 18 0 1 0 189143646 18034688 3355 1992294400 4194304 9342243 548682068736 18446744073709551615 4401508 0 0 4096 0 0 0 0 17 1 0 0 /proc/12070/statm: 4403 3355 376 1256 0 3142 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17612 [startup+0.101646 s] /proc/loadavg: 1.78 1.69 1.59 3/72 12070 /proc/meminfo: memFree=1781824/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=23936 CPUtime=0.09 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 5346 0 0 0 7 2 0 0 18 0 1 0 189143646 24510464 4976 1992294400 4194304 9342243 548682068736 18446744073709551615 8251424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 5984 4976 408 1256 0 4723 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23936 [startup+0.301666 s] /proc/loadavg: 1.78 1.69 1.59 3/72 12070 /proc/meminfo: memFree=1781824/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=32884 CPUtime=0.29 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 7382 0 0 0 19 10 0 0 19 0 1 0 189143646 33673216 7012 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 8221 7012 446 1256 0 6960 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32884 [startup+0.701845 s] /proc/loadavg: 1.78 1.69 1.59 3/72 12070 /proc/meminfo: memFree=1781824/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=64320 CPUtime=0.69 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 14066 0 0 0 48 21 0 0 23 0 1 0 189143646 65863680 13645 1992294400 4194304 9342243 548682068736 18446744073709551615 5868848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 16080 13645 615 1256 0 14819 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64320 [startup+1.50279 s] /proc/loadavg: 1.78 1.69 1.59 2/73 12071 /proc/meminfo: memFree=1723576/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=75904 CPUtime=1.49 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 17400 0 0 0 125 24 0 0 25 0 1 0 189143646 77725696 16922 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 18976 16922 654 1256 0 17715 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75904 [startup+3.10195 s] /proc/loadavg: 1.78 1.69 1.59 2/73 12071 /proc/meminfo: memFree=1711864/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=88424 CPUtime=3.09 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 21166 0 0 0 283 26 0 0 25 0 1 0 189143646 90546176 20688 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 22106 20688 655 1256 0 20845 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88424 [startup+6.30127 s] /proc/loadavg: 1.72 1.68 1.58 2/73 12071 /proc/meminfo: memFree=1697656/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=91368 CPUtime=6.28 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 22038 0 0 0 601 27 0 0 25 0 1 0 189143646 93560832 21560 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 22842 21560 656 1256 0 21581 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 91368 [startup+12.7021 s] /proc/loadavg: 1.66 1.66 1.58 2/73 12071 /proc/meminfo: memFree=1697664/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=96548 CPUtime=12.67 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 22185 0 0 0 1238 29 0 0 25 0 1 0 189143646 98865152 21612 1992294400 4194304 9342243 548682068736 18446744073709551615 6978102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 24137 21612 661 1256 0 22876 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 96548 [startup+25.5014 s] /proc/loadavg: 1.58 1.65 1.58 3/73 12071 /proc/meminfo: memFree=1697728/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=96548 CPUtime=25.32 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 22857 0 0 0 2499 33 0 0 25 0 1 0 189143646 98865152 21612 1992294400 4194304 9342243 548682068736 18446744073709551615 6967249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 24137 21612 661 1256 0 22876 0 Current children cumulated CPU time (s) 25.32 Current children cumulated vsize (KiB) 96548 [startup+51.1019 s] /proc/loadavg: 1.56 1.64 1.58 2/73 12071 /proc/meminfo: memFree=1697728/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=90344 CPUtime=50.64 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 23026 0 0 0 5021 43 0 0 25 0 1 0 189143646 92512256 21613 1992294400 4194304 9342243 548682068736 18446744073709551615 6240145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 22586 21613 687 1256 0 21325 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 90344 [startup+102.313 s] /proc/loadavg: 1.43 1.60 1.56 4/73 12071 /proc/meminfo: memFree=1697664/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=90344 CPUtime=101.49 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 23033 0 0 0 10089 60 0 0 25 0 1 0 189143646 92512256 21620 1992294400 4194304 9342243 548682068736 18446744073709551615 6941387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 22586 21620 687 1256 0 21325 0 Current children cumulated CPU time (s) 101.49 Current children cumulated vsize (KiB) 90344 [startup+162.302 s] /proc/loadavg: 1.93 1.70 1.60 2/73 12071 /proc/meminfo: memFree=1697792/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=90344 CPUtime=161.45 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 23036 0 0 0 16074 71 0 0 25 0 1 0 189143646 92512256 21623 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 22586 21623 687 1256 0 21325 0 Current children cumulated CPU time (s) 161.45 Current children cumulated vsize (KiB) 90344 [startup+222.302 s] /proc/loadavg: 1.76 1.70 1.60 2/73 12071 /proc/meminfo: memFree=1697664/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=91212 CPUtime=221.19 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 23043 0 0 0 22034 85 0 0 25 0 1 0 189143646 93401088 21630 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 22803 21630 687 1256 0 21542 0 Current children cumulated CPU time (s) 221.19 Current children cumulated vsize (KiB) 91212 [startup+282.302 s] /proc/loadavg: 1.53 1.65 1.59 4/73 12071 /proc/meminfo: memFree=1697344/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=91196 CPUtime=281.17 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 26100 0 0 0 28016 101 0 0 25 0 1 0 189143646 93384704 21384 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 22799 21384 687 1256 0 21538 0 Current children cumulated CPU time (s) 281.17 Current children cumulated vsize (KiB) 91196 [startup+342.307 s] /proc/loadavg: 1.52 1.62 1.58 4/73 12071 /proc/meminfo: memFree=1693056/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=99660 CPUtime=341.15 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 43800 0 0 0 33991 124 0 0 25 0 1 0 189143646 102051840 22771 1992294400 4194304 9342243 548682068736 18446744073709551615 6978229 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 24915 22771 687 1256 0 23654 0 Current children cumulated CPU time (s) 341.15 Current children cumulated vsize (KiB) 99660 [startup+402.302 s] /proc/loadavg: 1.65 1.64 1.59 4/73 12071 /proc/meminfo: memFree=1689408/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=100656 CPUtime=401.13 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 58331 0 0 0 39968 145 0 0 25 0 1 0 189143646 103071744 23684 1992294400 4194304 9342243 548682068736 18446744073709551615 5734766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 25164 23684 687 1256 0 23903 0 Current children cumulated CPU time (s) 401.13 Current children cumulated vsize (KiB) 100656 [startup+462.302 s] /proc/loadavg: 2.00 1.73 1.62 3/73 12071 /proc/meminfo: memFree=1686336/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=102796 CPUtime=461.1 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 71991 0 0 0 45947 163 0 0 25 0 1 0 189143646 105263104 24205 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 25699 24205 687 1256 0 24438 0 Current children cumulated CPU time (s) 461.1 Current children cumulated vsize (KiB) 102796 [startup+522.303 s] /proc/loadavg: 1.97 1.78 1.64 2/73 12071 /proc/meminfo: memFree=1683712/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=109172 CPUtime=521.07 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 89323 0 0 0 51922 185 0 0 25 0 1 0 189143646 111792128 25150 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 27293 25150 687 1256 0 26032 0 Current children cumulated CPU time (s) 521.07 Current children cumulated vsize (KiB) 109172 [startup+582.302 s] /proc/loadavg: 1.78 1.76 1.64 3/73 12071 /proc/meminfo: memFree=1678976/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=111616 CPUtime=580.77 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 102940 0 0 0 57868 209 0 0 25 0 1 0 189143646 114294784 26241 1992294400 4194304 9342243 548682068736 18446744073709551615 6040756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 27904 26241 687 1256 0 26643 0 Current children cumulated CPU time (s) 580.77 Current children cumulated vsize (KiB) 111616 [startup+642.302 s] /proc/loadavg: 1.76 1.77 1.65 2/73 12071 /proc/meminfo: memFree=1675712/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=114160 CPUtime=640.15 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 119861 0 0 0 63780 235 0 0 25 0 1 0 189143646 116899840 27054 1992294400 4194304 9342243 548682068736 18446744073709551615 6938991 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12070/statm: 28540 27054 687 1256 0 27279 0 Current children cumulated CPU time (s) 640.15 Current children cumulated vsize (KiB) 114160 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1646400/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=144396 CPUtime=1117.77 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 236931 0 0 0 111344 433 0 0 25 0 1 0 189143646 147861504 34476 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 36099 34476 687 1256 0 34838 0 Current children cumulated CPU time (s) 1117.77 Current children cumulated vsize (KiB) 144396 [startup+1182.3 s] /proc/loadavg: 1.69 1.72 1.65 4/73 12071 /proc/meminfo: memFree=1642368/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=147824 CPUtime=1177.75 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 249444 0 0 0 117325 450 0 0 25 0 1 0 189143646 151371776 35295 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 36956 35295 687 1256 0 35695 0 Current children cumulated CPU time (s) 1177.75 Current children cumulated vsize (KiB) 147824 [startup+1242.3 s] /proc/loadavg: 1.72 1.72 1.65 2/73 12071 /proc/meminfo: memFree=1639104/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=151320 CPUtime=1237.07 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 259280 0 0 0 123232 475 0 0 25 0 1 0 189143646 154951680 36186 1992294400 4194304 9342243 548682068736 18446744073709551615 5874800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 37830 36186 687 1256 0 36569 0 Current children cumulated CPU time (s) 1237.07 Current children cumulated vsize (KiB) 151320 [startup+1302.3 s] /proc/loadavg: 1.56 1.67 1.64 3/73 12071 /proc/meminfo: memFree=1637440/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=154448 CPUtime=1296.6 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 275367 0 0 0 129160 500 0 0 25 0 1 0 189143646 158154752 36529 1992294400 4194304 9342243 548682068736 18446744073709551615 6960586 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 38612 36529 687 1256 0 37351 0 Current children cumulated CPU time (s) 1296.6 Current children cumulated vsize (KiB) 154448 [startup+1362.31 s] /proc/loadavg: 1.51 1.63 1.62 4/73 12071 /proc/meminfo: memFree=1635584/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=155760 CPUtime=1356.45 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 289077 0 0 0 135125 520 0 0 25 0 1 0 189143646 159498240 37099 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 38940 37099 687 1256 0 37679 0 Current children cumulated CPU time (s) 1356.45 Current children cumulated vsize (KiB) 155760 [startup+1422.32 s] /proc/loadavg: 1.49 1.60 1.61 4/73 12071 /proc/meminfo: memFree=1631040/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=161812 CPUtime=1416.45 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 313263 0 0 0 141097 548 0 0 25 0 1 0 189143646 165695488 38185 1992294400 4194304 9342243 548682068736 18446744073709551615 6938963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 40453 38185 687 1256 0 39192 0 Current children cumulated CPU time (s) 1416.45 Current children cumulated vsize (KiB) 161812 [startup+1482.31 s] /proc/loadavg: 1.34 1.54 1.59 3/73 12071 /proc/meminfo: memFree=1627776/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=162932 CPUtime=1476.39 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 327856 0 0 0 147068 571 0 0 25 0 1 0 189143646 166842368 38922 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 40733 38922 687 1256 0 39472 0 Current children cumulated CPU time (s) 1476.39 Current children cumulated vsize (KiB) 162932 [startup+1542.32 s] /proc/loadavg: 1.42 1.53 1.58 3/73 12071 /proc/meminfo: memFree=1622656/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=169248 CPUtime=1536.37 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 339685 0 0 0 153047 590 0 0 25 0 1 0 189143646 173309952 40196 1992294400 4194304 9342243 548682068736 18446744073709551615 6080947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 42312 40196 687 1256 0 41051 0 Current children cumulated CPU time (s) 1536.37 Current children cumulated vsize (KiB) 169248 [startup+1602.3 s] /proc/loadavg: 1.75 1.60 1.60 2/73 12071 /proc/meminfo: memFree=1618880/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=172852 CPUtime=1596.19 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 352691 0 0 0 159008 611 0 0 25 0 1 0 189143646 177000448 41225 1992294400 4194304 9342243 548682068736 18446744073709551615 6935819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 43213 41225 687 1256 0 41952 0 Current children cumulated CPU time (s) 1596.19 Current children cumulated vsize (KiB) 172852 [startup+1662.3 s] /proc/loadavg: 1.82 1.65 1.62 4/73 12071 /proc/meminfo: memFree=1618112/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=174612 CPUtime=1655.62 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 376391 0 0 0 164921 641 0 0 25 0 1 0 189143646 178802688 41371 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 43653 41371 687 1256 0 42392 0 Current children cumulated CPU time (s) 1655.62 Current children cumulated vsize (KiB) 174612 [startup+1722.3 s] /proc/loadavg: 1.54 1.61 1.61 2/73 12071 /proc/meminfo: memFree=1613632/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=177692 CPUtime=1715.58 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 394038 0 0 0 170896 662 0 0 25 0 1 0 189143646 181956608 42333 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 44423 42333 687 1256 0 43162 0 Current children cumulated CPU time (s) 1715.58 Current children cumulated vsize (KiB) 177692 [startup+1782.3 s] /proc/loadavg: 1.37 1.56 1.59 2/73 12071 /proc/meminfo: memFree=1610816/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180000 CPUtime=1775.55 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 407574 0 0 0 176873 682 0 0 25 0 1 0 189143646 184320000 43178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 45000 43178 687 1256 0 43739 0 Current children cumulated CPU time (s) 1775.55 Current children cumulated vsize (KiB) 180000 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.31 1.54 1.58 2/73 12071 /proc/meminfo: memFree=1610304/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180268 CPUtime=1785.16 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 408576 0 0 0 177832 684 0 0 25 0 1 0 189143646 184594432 43252 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 45067 43252 687 1256 0 43806 0 Current children cumulated CPU time (s) 1785.16 Current children cumulated vsize (KiB) 180268 [startup+1798.3 s] /proc/loadavg: 1.29 1.53 1.58 2/73 12071 /proc/meminfo: memFree=1610880/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180088 CPUtime=1791.55 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 410331 0 0 0 178469 686 0 0 25 0 1 0 189143646 184410112 43089 1992294400 4194304 9342243 548682068736 18446744073709551615 6960836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 45022 43089 687 1256 0 43761 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (KiB) 180088 [startup+1801.5 s] /proc/loadavg: 1.26 1.52 1.57 3/73 12071 /proc/meminfo: memFree=1610752/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180388 CPUtime=1794.75 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 410558 0 0 0 178788 687 0 0 25 0 1 0 189143646 184717312 43276 1992294400 4194304 9342243 548682068736 18446744073709551615 6039476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 45097 43276 687 1256 0 43836 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (KiB) 180388 [startup+1803.1 s] /proc/loadavg: 1.26 1.52 1.57 2/73 12071 /proc/meminfo: memFree=1609792/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180684 CPUtime=1796.33 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 410679 0 0 0 178945 688 0 0 25 0 1 0 189143646 185020416 43397 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 45171 43397 687 1256 0 43910 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (KiB) 180684 [startup+1803.9 s] /proc/loadavg: 1.26 1.52 1.57 3/73 12071 /proc/meminfo: memFree=1611136/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180280 CPUtime=1797.13 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 410981 0 0 0 179025 688 0 0 25 0 1 0 189143646 184606720 43009 1992294400 4194304 9342243 548682068736 18446744073709551615 6960598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 45070 43009 687 1256 0 43809 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 180280 [startup+1804.7 s] /proc/loadavg: 1.26 1.52 1.57 3/73 12071 /proc/meminfo: memFree=1611136/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180628 CPUtime=1797.92 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 411059 0 0 0 179104 688 0 0 25 0 1 0 189143646 184963072 43057 1992294400 4194304 9342243 548682068736 18446744073709551615 6966563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12070/statm: 45157 43057 687 1256 0 43896 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 180628 [startup+1804.9 s] /proc/loadavg: 1.26 1.52 1.57 3/73 12071 /proc/meminfo: memFree=1611136/2055920 swapFree=4182192/4192956 [pid=12070] ppid=12068 vsize=180628 CPUtime=1798.1 /proc/12070/stat : 12070 (pbscip.linux.x8) R 12068 12070 11788 0 -1 4194304 411063 0 0 0 179122 688 0 0 25 0 1 0 189143646 184963072 43061 1992294400 4194304 9342243 548682068736 18446744073709551615 4237366 0 0 4096 0 0 0 0 17 1 0 0 /proc/12070/statm: 45157 43061 691 1256 0 43896 0 Current children cumulated CPU time (s) 1798.1 Current children cumulated vsize (KiB) 180628 Child status: 0 Real time (s): 1804.98 CPU time (s): 1798.19 CPU user time (s): 1791.27 CPU system time (s): 6.91695 CPU usage (%): 99.6241 Max. virtual memory (cumulated for all children) (KiB): 184416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.27 system time used= 6.91695 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 411068 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 22332 runsolver used 2.02469 second user time and 5.8921 second system time The end
Begin job on node70 at 2009-06-17 07:11:37 IDJOB=1870677 IDBENCH=48337 IDSOLVER=684 FILE ID=node70/1870677-1245215497 PBS_JOBID= 9368375 Free space on /tmp= 66400 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_1_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-1870677-1245215497/watcher-1870677-1245215497 -o /tmp/evaluation-result-1870677-1245215497/solver-1870677-1245215497 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870677-1245215497.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f80de356bf70dde8dfbe2efc2cb9dee RANDOM SEED=378698527 node70.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.241 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.241 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: 1782496 kB Buffers: 29920 kB Cached: 155344 kB SwapCached: 4864 kB Active: 60640 kB Inactive: 150048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782496 kB SwapTotal: 4192956 kB SwapFree: 4182192 kB Dirty: 11888 kB Writeback: 0 kB Mapped: 32948 kB Slab: 47824 kB Committed_AS: 599296 kB PageTables: 2048 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= 66388 MiB End job on node70 at 2009-06-17 07:41:42