| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1794.34 | 1794.82 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_1_80.opb |
| MD5SUM | 1315caae01d69a106b6850eece7eb42e |
| 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 | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| 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 | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31432 |
| Sum of products size (including duplicates) | 62864 |
| Number of different products | 15716 |
| Sum of products size | 31432 |
0.09/0.19 c SCIP version 1.1.0.7
0.09/0.19 c LP-Solver Clp 1.8.2
0.09/0.19 c user parameter file <scip.set> not found - using default parameters
0.09/0.19 c read problem <HOME/instance-1870707-1245216417.opb>
0.09/0.19 c original problem has 16716 variables (16716 bin, 0 int, 0 impl, 0 cont) and 17218 constraints
0.29/0.36 c No objective function, only one solution is needed.
0.29/0.36 c start presolving problem
0.29/0.36 c presolving:
0.80/0.85 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126728 impls, 1000 clqs
1.10/1.18 c presolving (2 rounds):
1.10/1.18 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.18 c 126728 implications, 1000 cliques
1.10/1.18 c presolved problem has 16716 variables (16716 bin, 0 int, 0 impl, 0 cont) and 17218 constraints
1.10/1.18 c 1 constraints of type <knapsack>
1.10/1.18 c 1000 constraints of type <setppc>
1.10/1.18 c 15716 constraints of type <and>
1.10/1.18 c 1 constraints of type <linear>
1.10/1.18 c 500 constraints of type <logicor>
1.10/1.18 c transformed objective value is always integral (scale: 1)
1.10/1.18 c Presolving Time: 0.69
1.10/1.18 c SATUNSAT-NLC
1.10/1.18 c -----------------------------------------------------------------------------------------------
1.10/1.18 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.18 c separating/flowcover/freq = c -1
1.10/1.18 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.18 c separating/cmir/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/veclendiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.18 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.10/1.18 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/veclendiving/freq = c -1
1.10/1.18 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.18 c heuristics/simplerounding/freq = c -1
1.10/1.18 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/shifting/freq = c -1
1.10/1.18 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.18 c heuristics/rounding/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.10/1.18 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.10/1.18 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.18 c heuristics/rootsoldiving/freq = c -1
1.10/1.18 c # number of nodes added to the contingent of the total nodes
1.10/1.18 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.18 c heuristics/rens/nodesofs = c 2000
1.10/1.18 c # minimum percentage of integer variables that have to be fixable
1.10/1.18 c # [type: real, range: [0,1], default: 0.5]
1.10/1.18 c heuristics/rens/minfixingrate = c 0.3
1.10/1.18 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.18 c heuristics/rens/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.18 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.10/1.18 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/pscostdiving/freq = c -1
1.10/1.18 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.18 c heuristics/oneopt/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to total iteration number
1.10/1.18 c # [type: real, range: [0,1], default: 0.01]
1.10/1.18 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.10/1.18 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.18 c heuristics/objpscostdiving/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.18 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.10/1.18 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/linesearchdiving/freq = c -1
1.10/1.18 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/intshifting/freq = c -1
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.18 c heuristics/intdiving/maxlpiterquot = c 0.075
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/guideddiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.18 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.10/1.18 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/guideddiving/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/fracdiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.18 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.10/1.18 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/fracdiving/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/feaspump/maxlpiterofs = c 2000
1.10/1.18 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.18 c heuristics/feaspump/freq = c -1
1.10/1.18 c # minimum percentage of integer variables that have to be fixed
1.10/1.18 c # [type: real, range: [0,1], default: 0.666]
1.10/1.18 c heuristics/crossover/minfixingrate = c 0.5
1.10/1.18 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.10/1.18 c # [type: real, range: [0,1], default: 0.1]
1.10/1.18 c heuristics/crossover/nodesquot = c 0.15
1.10/1.18 c # number of nodes without incumbent change that heuristic should wait
1.10/1.18 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.10/1.18 c heuristics/crossover/nwaitingnodes = c 100
1.10/1.18 c # number of nodes added to the contingent of the total nodes
1.10/1.18 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.18 c heuristics/crossover/nodesofs = c 750
1.10/1.18 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 30]
1.10/1.18 c heuristics/crossover/freq = c -1
1.10/1.18 c # additional number of allowed LP iterations
1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.18 c heuristics/coefdiving/maxlpiterofs = c 1500
1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.18 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.10/1.18 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.18 c heuristics/coefdiving/freq = c -1
1.10/1.18 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.18 c presolving/probing/maxrounds = c 0
1.10/1.18 c # should presolving try to simplify knapsacks
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/knapsack/simplifyinequalities = c TRUE
1.10/1.18 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.10/1.18 c constraints/knapsack/disaggregation = c FALSE
1.10/1.18 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.18 c constraints/knapsack/maxnumcardlift = c 0
1.10/1.18 c # should presolving try to simplify inequalities
1.10/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.20 c constraints/linear/simplifyinequalities = c TRUE
1.10/1.20 c # maximal number of separation rounds in the root node (-1: unlimited)
1.10/1.20 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.20 c separating/maxroundsroot = c 5
1.10/1.20 c # maximal number of separation rounds per node (-1: unlimited)
1.10/1.20 c # [type: int, range: [-1,2147483647], default: 5]
1.10/1.20 c separating/maxrounds = c 1
1.10/1.20 c # solving stops, if the given number of solutions were found (-1: no limit)
1.10/1.20 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.20 c limits/solutions = c 1
1.10/1.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.20 c limits/memory = c 1620
1.10/1.20 c # maximal time in seconds to run
1.10/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.20 c limits/time = c 1791
1.10/1.20 c # frequency for displaying node information lines
1.10/1.20 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.20 c display/freq = c 10000
1.10/1.20 c -----------------------------------------------------------------------------------------------
1.10/1.20 c start solving problem
1.10/1.20 c
2.20/2.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.20/2.25 c 1.8s| 1 | 0 | 454 | 74M| 0 | 306 | 16k| 17k| 17k| 16k| 32k| 0 | 0 | 0 | 1.600000e+02 | -- | Inf
6.49/6.56 c 6.0s| 1 | 0 | 765 | 74M| 0 | 321 | 16k| 17k| 17k| 16k| 32k| 2 | 0 | 0 | 1.600000e+02 | -- | Inf
18.49/18.51 c 17.9s| 1 | 0 | 1968 | 74M| 0 | 338 | 16k| 17k| 17k| 16k| 32k| 4 | 0 | 0 | 1.600000e+02 | -- | Inf
61.87/61.91 c 61.3s| 1 | 0 | 1987 | 75M| 0 | 342 | 16k| 17k| 17k| 16k| 32k| 5 | 0 | 0 | 1.600000e+02 | -- | Inf
107.96/108.06 c 107s| 1 | 0 | 2097 | 75M| 0 | 343 | 16k| 17k| 17k| 16k| 32k| 6 | 0 | 0 | 1.600000e+02 | -- | Inf
159.55/159.65 c 159s| 1 | 0 | 2300 | 75M| 0 | 344 | 16k| 17k| 17k| 16k| 32k| 7 | 0 | 0 | 1.600000e+02 | -- | Inf
243.93/244.07 c 243s| 1 | 2 | 2300 | 75M| 0 | 344 | 16k| 17k| 17k| 16k| 32k| 7 | 0 | 33 | 1.600000e+02 | -- | Inf
1793.91/1794.43 c
1793.91/1794.43 c SCIP Status : solving was interrupted [time limit reached]
1793.91/1794.43 c Solving Time (sec) : 1791.03
1793.91/1794.43 c Solving Nodes : 3071
1793.91/1794.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.91/1794.43 c Dual Bound : +1.60000000000001e+02
1793.91/1794.43 c Gap : infinite
1793.91/1794.43 c NODE 3071
1793.91/1794.43 c DUAL BOUND 160
1793.91/1794.43 c PRIMAL BOUND 1e+20
1793.91/1794.43 c GAP 1e+20
1793.91/1794.43 s UNKNOWN
1793.91/1794.43 c SCIP Status : solving was interrupted [time limit reached]
1793.91/1794.43 c Solving Time : 1791.03
1793.91/1794.43 c Original Problem :
1793.91/1794.43 c Problem name : HOME/instance-1870707-1245216417.opb
1793.91/1794.43 c Variables : 16716 (16716 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.91/1794.43 c Constraints : 17218 initial, 17218 maximal
1793.91/1794.43 c Presolved Problem :
1793.91/1794.43 c Problem name : t_HOME/instance-1870707-1245216417.opb
1793.91/1794.43 c Variables : 16716 (16716 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.91/1794.43 c Constraints : 17218 initial, 17269 maximal
1793.91/1794.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.91/1794.43 c trivial : 0.00 0 0 0 0 0 0 0 0
1793.91/1794.43 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.91/1794.43 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.91/1794.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.91/1794.43 c implics : 0.00 0 0 0 0 0 0 0 0
1793.91/1794.43 c probing : 0.00 0 0 0 0 0 0 0 0
1793.91/1794.43 c knapsack : 0.03 0 0 0 0 0 0 0 0
1793.91/1794.43 c setppc : 0.02 0 0 0 0 0 0 0 0
1793.91/1794.43 c and : 0.40 0 0 0 0 0 0 0 0
1793.91/1794.43 c linear : 0.13 0 0 0 0 0 0 0 0
1793.91/1794.43 c logicor : 0.01 0 0 0 0 0 0 0 0
1793.91/1794.43 c root node : - 0 - - 0 - - - -
1793.91/1794.43 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.91/1794.43 c integral : 0 0 0 3014 0 0 4 0 0 5998
1793.91/1794.43 c knapsack : 1 5 9843 11 1 0 0 0 0 0
1793.91/1794.43 c setppc : 1000 5 9843 11 1 22 21029 0 0 0
1793.91/1794.43 c and : 15716 3005 9821 11 1 29 553719 455658 0 0
1793.91/1794.43 c linear : 1 5 9792 0 0 0 0 0 0 0
1793.91/1794.43 c logicor : 500+ 5 3364 0 1 0 2826 0 0 0
1793.91/1794.43 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.91/1794.43 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.91/1794.43 c integral : 412.87 0.00 0.00 412.87 0.00
1793.91/1794.43 c knapsack : 0.00 0.00 0.00 0.00 0.00
1793.91/1794.43 c setppc : 1.25 0.00 1.25 0.00 0.00
1793.91/1794.43 c and : 65.22 47.41 17.65 0.15 0.01
1793.91/1794.43 c linear : 1.77 0.02 1.75 0.00 0.00
1793.91/1794.43 c logicor : 0.10 0.00 0.10 0.00 0.00
1793.91/1794.43 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.91/1794.43 c Propagators : Time Calls Cutoffs DomReds
1793.91/1794.43 c rootredcost : 0.02 0 0 0
1793.91/1794.43 c pseudoobj : 28.77 9844 0 0
1793.91/1794.43 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.91/1794.43 c propagation : 0.00 51 51 51 2.4 0 0.0 -
1793.91/1794.43 c infeasible LP : 0.06 20 0 0 0.0 0 0.0 0
1793.91/1794.43 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.91/1794.43 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.91/1794.43 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.91/1794.43 c applied globally : - - - 51 2.4 - - -
1793.91/1794.43 c applied locally : - - - 0 0.0 - - -
1793.91/1794.43 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.91/1794.43 c cut pool : 0.00 4 - - 0 - (maximal pool size: 20)
1793.91/1794.43 c redcost : 9.44 3005 0 0 0 0
1793.91/1794.43 c impliedbounds : 0.03 5 0 0 0 0
1793.91/1794.43 c intobj : 0.00 0 0 0 0 0
1793.91/1794.43 c gomory : 136.00 5 0 0 1000 0
1793.91/1794.43 c strongcg : 9.83 5 0 0 2500 0
1793.91/1794.43 c cmir : 0.00 0 0 0 0 0
1793.91/1794.43 c flowcover : 0.00 0 0 0 0 0
1793.91/1794.43 c clique : 0.19 5 0 0 0 0
1793.91/1794.43 c zerohalf : 0.00 0 0 0 0 0
1793.91/1794.43 c mcf : 1.23 2 0 0 0 0
1793.91/1794.43 c Pricers : Time Calls Vars
1793.91/1794.43 c problem variables: 0.00 0 0
1793.91/1794.43 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.91/1794.43 c relpscost : 412.86 3003 0 4 0 0 5998
1793.91/1794.43 c pscost : 0.00 0 0 0 0 0 0
1793.91/1794.43 c inference : 0.01 1 0 0 0 0 2
1793.91/1794.43 c mostinf : 0.00 0 0 0 0 0 0
1793.91/1794.43 c leastinf : 0.00 0 0 0 0 0 0
1793.91/1794.43 c fullstrong : 0.00 0 0 0 0 0 0
1793.91/1794.43 c allfullstrong : 0.00 0 0 0 0 0 0
1793.91/1794.43 c random : 0.00 0 0 0 0 0 0
1793.91/1794.43 c Primal Heuristics : Time Calls Found
1793.91/1794.43 c LP solutions : 0.00 - 0
1793.91/1794.43 c pseudo solutions : 0.00 - 0
1793.91/1794.43 c simplerounding : 0.00 0 0
1793.91/1794.43 c rounding : 0.00 0 0
1793.91/1794.43 c shifting : 0.00 0 0
1793.91/1794.43 c intshifting : 0.00 0 0
1793.91/1794.43 c oneopt : 0.00 0 0
1793.91/1794.43 c fixandinfer : 0.00 0 0
1793.91/1794.43 c feaspump : 0.00 0 0
1793.91/1794.43 c coefdiving : 0.00 0 0
1793.91/1794.43 c pscostdiving : 0.00 0 0
1793.91/1794.43 c fracdiving : 0.00 0 0
1793.91/1794.43 c veclendiving : 0.00 0 0
1793.91/1794.43 c intdiving : 0.00 0 0
1793.91/1794.43 c actconsdiving : 0.00 0 0
1793.91/1794.43 c objpscostdiving : 0.00 0 0
1793.91/1794.43 c rootsoldiving : 0.00 0 0
1793.91/1794.43 c linesearchdiving : 0.00 0 0
1793.91/1794.43 c guideddiving : 0.00 0 0
1793.91/1794.43 c octane : 0.00 0 0
1793.91/1794.43 c rens : 0.00 0 0
1793.91/1794.43 c rins : 0.00 0 0
1793.91/1794.43 c localbranching : 0.00 0 0
1793.91/1794.43 c mutation : 0.00 0 0
1793.91/1794.43 c crossover : 0.00 0 0
1793.91/1794.43 c dins : 0.00 0 0
1793.91/1794.43 c LP : Time Calls Iterations Iter/call Iter/sec
1793.91/1794.43 c primal LP : 420.57 0 0 0.00 0.00
1793.91/1794.43 c dual LP : 638.47 6040 733263 121.40 1148.47
1793.91/1794.43 c barrier LP : 0.00 0 0 0.00 -
1793.91/1794.43 c diving/probing LP: 0.00 0 0 0.00 -
1793.91/1794.43 c strong branching : 411.90 8318 424185 51.00 1029.83
1793.91/1794.43 c (at root node) : - 33 13913 421.61 -
1793.91/1794.43 c conflict analysis: 0.00 0 0 0.00 -
1793.91/1794.43 c B&B Tree :
1793.91/1794.43 c number of runs : 1
1793.91/1794.43 c nodes : 3071
1793.91/1794.43 c nodes (total) : 3071
1793.91/1794.43 c nodes left : 2930
1793.91/1794.43 c max depth : 85
1793.91/1794.43 c max depth (total): 85
1793.91/1794.43 c backtracks : 74 (2.4%)
1793.91/1794.43 c delayed cutoffs : 0
1793.91/1794.43 c repropagations : 931 (1108 domain reductions, 0 cutoffs)
1793.91/1794.43 c avg switch length: 2.98
1793.91/1794.43 c switching time : 427.73
1793.91/1794.43 c Solution :
1793.91/1794.43 c Solutions found : 0 (0 improvements)
1793.91/1794.43 c Primal Bound : -
1793.91/1794.43 c Dual Bound : +1.60000000000001e+02
1793.91/1794.43 c Gap : infinite
1793.91/1794.43 c Root Dual Bound : +1.60000000000001e+02
1794.31/1794.82 c Time complete: 1794.33.
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-1870707-1245216417/watcher-1870707-1245216417 -o /tmp/evaluation-result-1870707-1245216417/solver-1870707-1245216417 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870707-1245216417.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/67 12378 /proc/meminfo: memFree=1843040/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=7616 CPUtime=0 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 559 0 0 0 0 0 0 0 18 0 1 0 178131033 7798784 543 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/12378/statm: 1904 553 354 1256 0 643 0 [startup+0.0477789 s] /proc/loadavg: 1.00 1.00 1.00 3/67 12378 /proc/meminfo: memFree=1843040/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=16652 CPUtime=0.04 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 3136 0 0 0 3 1 0 0 18 0 1 0 178131033 17051648 3120 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/12378/statm: 4163 3120 376 1256 0 2902 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 16652 [startup+0.101783 s] /proc/loadavg: 1.00 1.00 1.00 3/67 12378 /proc/meminfo: memFree=1843040/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=23688 CPUtime=0.09 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 4897 0 0 0 8 1 0 0 18 0 1 0 178131033 24256512 4881 1992294400 4194304 9342243 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0 /proc/12378/statm: 5922 4881 376 1256 0 4661 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23688 [startup+0.3018 s] /proc/loadavg: 1.00 1.00 1.00 3/67 12378 /proc/meminfo: memFree=1843040/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=52668 CPUtime=0.29 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 12510 0 0 0 24 5 0 0 19 0 1 0 178131033 53932032 12140 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 13167 12140 416 1256 0 11906 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52668 [startup+0.701836 s] /proc/loadavg: 1.00 1.00 1.00 3/67 12378 /proc/meminfo: memFree=1843040/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=61868 CPUtime=0.69 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 14605 0 0 0 55 14 0 0 22 0 1 0 178131033 63352832 14235 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 15467 14235 464 1256 0 14206 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61868 [startup+1.50291 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1780248/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=134764 CPUtime=1.49 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 29797 0 0 0 121 28 0 0 18 0 1 0 178131033 137998336 29252 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 33691 29252 615 1256 0 32430 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 134764 [startup+3.10105 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1725400/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=145120 CPUtime=3.09 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 34459 0 0 0 279 30 0 0 25 0 1 0 178131033 148602880 32597 1992294400 4194304 9342243 548682068736 18446744073709551615 6939179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 36280 32597 639 1256 0 35019 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 145120 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1699288/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=154996 CPUtime=6.29 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 38433 0 0 0 593 36 0 0 25 0 1 0 178131033 158715904 36450 1992294400 4194304 9342243 548682068736 18446744073709551615 6960221 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 38749 36450 656 1256 0 37488 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 154996 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1679584/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=175716 CPUtime=12.69 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 43357 0 0 0 1230 39 0 0 25 0 1 0 178131033 179933184 41372 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 43929 41372 656 1256 0 42668 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 175716 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1677600/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=176896 CPUtime=25.48 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 43855 0 0 0 2507 41 0 0 25 0 1 0 178131033 181141504 41870 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 44224 41870 656 1256 0 42963 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 176896 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 3/68 12379 /proc/meminfo: memFree=1677664/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=176896 CPUtime=51.08 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 43855 0 0 0 5064 44 0 0 25 0 1 0 178131033 181141504 41870 1992294400 4194304 9342243 548682068736 18446744073709551615 4340637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 44224 41870 656 1256 0 42963 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 176896 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1673312/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=177336 CPUtime=102.27 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 44945 0 0 0 10176 51 0 0 25 0 1 0 178131033 181592064 42960 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 44334 42960 656 1256 0 43073 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 177336 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1670560/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=201764 CPUtime=162.25 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 47947 0 0 0 16167 58 0 0 25 0 1 0 178131033 206606336 43709 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 50441 43709 661 1256 0 49180 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 201764 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1669088/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=201760 CPUtime=222.23 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 51127 0 0 0 22159 64 0 0 25 0 1 0 178131033 206602240 43985 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 50440 43985 661 1256 0 49179 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 201760 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1669344/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=185052 CPUtime=282.21 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 52128 0 0 0 28151 70 0 0 25 0 1 0 178131033 189493248 43897 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 46263 43897 678 1256 0 45002 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 185052 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1669280/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=185052 CPUtime=342.2 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 52133 0 0 0 34143 77 0 0 25 0 1 0 178131033 189493248 43902 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 46263 43902 683 1256 0 45002 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 185052 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1669280/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=185052 CPUtime=402.18 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 52153 0 0 0 40134 84 0 0 25 0 1 0 178131033 189493248 43922 1992294400 4194304 9342243 548682068736 18446744073709551615 6960303 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 46263 43922 683 1256 0 45002 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 185052 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1669216/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=185052 CPUtime=462.17 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 52188 0 0 0 46126 91 0 0 25 0 1 0 178131033 189493248 43957 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 46263 43957 683 1256 0 45002 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 185052 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1668832/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=185052 CPUtime=522.15 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 52281 0 0 0 52119 96 0 0 25 0 1 0 178131033 189493248 44050 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 46263 44050 683 1256 0 45002 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 185052 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1668448/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=185052 CPUtime=582.14 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 52367 0 0 0 58113 101 0 0 25 0 1 0 178131033 189493248 44136 1992294400 4194304 9342243 548682068736 18446744073709551615 4903340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 46263 44136 683 1256 0 45002 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 185052 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12379 /proc/meminfo: memFree=1668000/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=185052 CPUtime=642.12 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 52471 0 0 0 64106 106 0 0 25 0 1 0 178131033 189493248 44240 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 46263 44240 683 1256 0 45002 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 185052 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1661024/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=199908 CPUtime=1121.99 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 76098 0 0 0 112038 161 0 0 25 0 1 0 178131033 204705792 45906 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 49977 45906 687 1256 0 48716 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 199908 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1660256/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=191860 CPUtime=1181.97 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 79617 0 0 0 118028 169 0 0 25 0 1 0 178131033 196464640 46232 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 47965 46232 687 1256 0 46704 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 191860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1653984/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=204280 CPUtime=1241.95 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 87522 0 0 0 124017 178 0 0 25 0 1 0 178131033 209182720 47665 1992294400 4194304 9342243 548682068736 18446744073709551615 6918734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 51070 47665 687 1256 0 49809 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 204280 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1654880/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=198212 CPUtime=1301.95 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 91306 0 0 0 130009 186 0 0 25 0 1 0 178131033 202969088 47437 1992294400 4194304 9342243 548682068736 18446744073709551615 6974274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 49553 47437 687 1256 0 48292 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 198212 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1654560/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=201060 CPUtime=1361.93 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 96020 0 0 0 135998 195 0 0 25 0 1 0 178131033 205885440 47513 1992294400 4194304 9342243 548682068736 18446744073709551615 6960746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 50265 47513 687 1256 0 49004 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 201060 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1652704/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=203964 CPUtime=1421.91 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 105723 0 0 0 141986 205 0 0 25 0 1 0 178131033 208859136 47942 1992294400 4194304 9342243 548682068736 18446744073709551615 6973396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 50991 47942 687 1256 0 49730 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 203964 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1648608/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=212592 CPUtime=1481.89 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 121394 0 0 0 147969 220 0 0 25 0 1 0 178131033 217694208 48931 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 53148 48931 687 1256 0 51887 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 212592 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1648032/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=208164 CPUtime=1541.87 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 132541 0 0 0 153953 234 0 0 25 0 1 0 178131033 213159936 49096 1992294400 4194304 9342243 548682068736 18446744073709551615 4898414 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 52041 49096 687 1256 0 50780 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 208164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1645088/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=209316 CPUtime=1601.86 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 138944 0 0 0 159943 243 0 0 25 0 1 0 178131033 214339584 49968 1992294400 4194304 9342243 548682068736 18446744073709551615 6039459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 52329 49968 687 1256 0 51068 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 209316 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1642208/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=220772 CPUtime=1661.84 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 147033 0 0 0 165931 253 0 0 25 0 1 0 178131033 226070528 50545 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 55193 50545 687 1256 0 53932 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 220772 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1639328/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=212076 CPUtime=1721.83 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 151091 0 0 0 171920 263 0 0 25 0 1 0 178131033 217165824 51307 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 53019 51307 687 1256 0 51758 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 212076 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1634976/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=223708 CPUtime=1781.81 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 160463 0 0 0 177908 273 0 0 25 0 1 0 178131033 229076992 51947 1992294400 4194304 9342243 548682068736 18446744073709551615 6864888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 55927 51947 687 1256 0 54666 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 223708 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1638880/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=216108 CPUtime=1785.01 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 161657 0 0 0 178227 274 0 0 25 0 1 0 178131033 221294592 51420 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 54027 51420 687 1256 0 52766 0 Current children cumulated CPU time (s) 1785.01 Current children cumulated vsize (KiB) 216108 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1638240/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=216108 CPUtime=1788.21 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 161759 0 0 0 178547 274 0 0 25 0 1 0 178131033 221294592 51522 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 54027 51522 687 1256 0 52766 0 Current children cumulated CPU time (s) 1788.21 Current children cumulated vsize (KiB) 216108 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1637472/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=216108 CPUtime=1791.41 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 161966 0 0 0 178867 274 0 0 25 0 1 0 178131033 221294592 51729 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 54027 51729 687 1256 0 52766 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 216108 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1636448/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=216108 CPUtime=1793.01 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 162248 0 0 0 179026 275 0 0 25 0 1 0 178131033 221294592 52011 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 54027 52011 687 1256 0 52766 0 Current children cumulated CPU time (s) 1793.01 Current children cumulated vsize (KiB) 216108 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1636192/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=216108 CPUtime=1793.81 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 162306 0 0 0 179106 275 0 0 25 0 1 0 178131033 221294592 52069 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12378/statm: 54027 52069 687 1256 0 52766 0 Current children cumulated CPU time (s) 1793.81 Current children cumulated vsize (KiB) 216108 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1636192/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=216108 CPUtime=1794.21 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 162344 0 0 0 179146 275 0 0 25 0 1 0 178131033 221294592 52107 1992294400 4194304 9342243 548682068736 18446744073709551615 4243063 0 0 4096 0 0 0 0 17 1 0 0 /proc/12378/statm: 54027 52107 691 1256 0 52766 0 Current children cumulated CPU time (s) 1794.21 Current children cumulated vsize (KiB) 216108 [startup+1794.8 s] /proc/loadavg: 1.00 1.00 1.00 2/68 12381 /proc/meminfo: memFree=1636192/2055920 swapFree=4192956/4192956 [pid=12378] ppid=12376 vsize=152500 CPUtime=1794.31 /proc/12378/stat : 12378 (pbscip.linux.x8) R 12376 12378 12088 0 -1 4194304 162345 0 0 0 179155 276 0 0 25 0 1 0 178131033 156160000 36996 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/12378/statm: 38125 36996 5715 1256 0 36864 0 Current children cumulated CPU time (s) 1794.31 Current children cumulated vsize (KiB) 152500 Child status: 0 Real time (s): 1794.82 CPU time (s): 1794.34 CPU user time (s): 1791.55 CPU system time (s): 2.78957 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 224708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.55 system time used= 2.78958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162349 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= 4710 runsolver used 1.59476 second user time and 4.93825 second system time The end
Begin job on node68 at 2009-06-17 07:26:57 IDJOB=1870707 IDBENCH=48352 IDSOLVER=684 FILE ID=node68/1870707-1245216417 PBS_JOBID= 9368394 Free space on /tmp= 66472 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_500_25_1_80.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-1870707-1245216417/watcher-1870707-1245216417 -o /tmp/evaluation-result-1870707-1245216417/solver-1870707-1245216417 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870707-1245216417.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1315caae01d69a106b6850eece7eb42e RANDOM SEED=2033751072 node68.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.238 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.238 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: 1843456 kB Buffers: 21440 kB Cached: 106196 kB SwapCached: 0 kB Active: 45736 kB Inactive: 98324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843456 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 12148 kB Writeback: 0 kB Mapped: 26496 kB Slab: 53936 kB Committed_AS: 96052 kB PageTables: 1564 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= 66460 MiB End job on node68 at 2009-06-17 07:56:52