| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1794.31 | 1795.13 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_2_80.opb |
| MD5SUM | f309126dc76153b39022a856cb65e640 |
| 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 | 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) | 74976 |
| Sum of products size (including duplicates) | 149952 |
| Number of different products | 37488 |
| Sum of products size | 74976 |
0.29/0.40 c SCIP version 1.1.0.7
0.29/0.40 c LP-Solver Clp 1.8.2
0.29/0.40 c user parameter file <scip.set> not found - using default parameters
0.29/0.40 c read problem <HOME/instance-1870715-1245216736.opb>
0.29/0.40 c original problem has 38488 variables (38488 bin, 0 int, 0 impl, 0 cont) and 38990 constraints
0.69/0.77 c No objective function, only one solution is needed.
0.69/0.77 c start presolving problem
0.69/0.77 c presolving:
1.99/2.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 299256 impls, 1000 clqs
2.89/2.91 c presolving (2 rounds):
2.89/2.91 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.89/2.91 c 299256 implications, 1000 cliques
2.89/2.91 c presolved problem has 38488 variables (38488 bin, 0 int, 0 impl, 0 cont) and 38990 constraints
2.89/2.91 c 1 constraints of type <knapsack>
2.89/2.91 c 1000 constraints of type <setppc>
2.89/2.91 c 37488 constraints of type <and>
2.89/2.91 c 1 constraints of type <linear>
2.89/2.91 c 500 constraints of type <logicor>
2.89/2.91 c transformed objective value is always integral (scale: 1)
2.89/2.91 c Presolving Time: 2.04
2.89/2.91 c SATUNSAT-NLC
2.89/2.91 c -----------------------------------------------------------------------------------------------
2.89/2.91 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.91 c separating/flowcover/freq = c -1
2.89/2.91 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.91 c separating/cmir/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/veclendiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.91 c heuristics/veclendiving/maxlpiterquot = c 0.075
2.89/2.91 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/veclendiving/freq = c -1
2.89/2.91 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.91 c heuristics/simplerounding/freq = c -1
2.89/2.91 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/shifting/freq = c -1
2.89/2.91 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.91 c heuristics/rounding/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.89/2.91 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.89/2.91 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.91 c heuristics/rootsoldiving/freq = c -1
2.89/2.91 c # number of nodes added to the contingent of the total nodes
2.89/2.91 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.89/2.91 c heuristics/rens/nodesofs = c 2000
2.89/2.91 c # minimum percentage of integer variables that have to be fixable
2.89/2.91 c # [type: real, range: [0,1], default: 0.5]
2.89/2.91 c heuristics/rens/minfixingrate = c 0.3
2.89/2.91 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.91 c heuristics/rens/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/pscostdiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.91 c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.89/2.91 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/pscostdiving/freq = c -1
2.89/2.91 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.91 c heuristics/oneopt/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to total iteration number
2.89/2.91 c # [type: real, range: [0,1], default: 0.01]
2.89/2.91 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.89/2.91 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.91 c heuristics/objpscostdiving/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.91 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.89/2.91 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/linesearchdiving/freq = c -1
2.89/2.91 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/intshifting/freq = c -1
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.91 c heuristics/intdiving/maxlpiterquot = c 0.075
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/guideddiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.91 c heuristics/guideddiving/maxlpiterquot = c 0.075
2.89/2.91 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/guideddiving/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/fracdiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.91 c heuristics/fracdiving/maxlpiterquot = c 0.075
2.89/2.91 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/fracdiving/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/feaspump/maxlpiterofs = c 2000
2.89/2.91 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.91 c heuristics/feaspump/freq = c -1
2.89/2.91 c # minimum percentage of integer variables that have to be fixed
2.89/2.91 c # [type: real, range: [0,1], default: 0.666]
2.89/2.91 c heuristics/crossover/minfixingrate = c 0.5
2.89/2.91 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.89/2.91 c # [type: real, range: [0,1], default: 0.1]
2.89/2.91 c heuristics/crossover/nodesquot = c 0.15
2.89/2.91 c # number of nodes without incumbent change that heuristic should wait
2.89/2.91 c # [type: longint, range: [0,9223372036854775807], default: 200]
2.89/2.91 c heuristics/crossover/nwaitingnodes = c 100
2.89/2.91 c # number of nodes added to the contingent of the total nodes
2.89/2.91 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.89/2.91 c heuristics/crossover/nodesofs = c 750
2.89/2.91 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 30]
2.89/2.91 c heuristics/crossover/freq = c -1
2.89/2.91 c # additional number of allowed LP iterations
2.89/2.91 c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.91 c heuristics/coefdiving/maxlpiterofs = c 1500
2.89/2.91 c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.91 c heuristics/coefdiving/maxlpiterquot = c 0.075
2.89/2.91 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.91 c heuristics/coefdiving/freq = c -1
2.89/2.91 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.91 c presolving/probing/maxrounds = c 0
2.89/2.91 c # should presolving try to simplify knapsacks
2.89/2.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.91 c constraints/knapsack/simplifyinequalities = c TRUE
2.89/2.91 c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.89/2.91 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.89/2.91 c constraints/knapsack/disaggregation = c FALSE
2.89/2.91 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.91 c constraints/knapsack/maxnumcardlift = c 0
2.89/2.91 c # should presolving try to simplify inequalities
2.89/2.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.94 c constraints/linear/simplifyinequalities = c TRUE
2.89/2.94 c # maximal number of separation rounds in the root node (-1: unlimited)
2.89/2.94 c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.94 c separating/maxroundsroot = c 5
2.89/2.94 c # maximal number of separation rounds per node (-1: unlimited)
2.89/2.94 c # [type: int, range: [-1,2147483647], default: 5]
2.89/2.94 c separating/maxrounds = c 1
2.89/2.94 c # solving stops, if the given number of solutions were found (-1: no limit)
2.89/2.94 c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.94 c limits/solutions = c 1
2.89/2.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.89/2.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.94 c limits/memory = c 1620
2.89/2.94 c # maximal time in seconds to run
2.89/2.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.94 c limits/time = c 1791
2.89/2.94 c # frequency for displaying node information lines
2.89/2.94 c # [type: int, range: [-1,2147483647], default: 100]
2.89/2.94 c display/freq = c 10000
2.89/2.94 c -----------------------------------------------------------------------------------------------
2.89/2.94 c start solving problem
2.89/2.94 c
5.28/5.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.28/5.36 c 4.5s| 1 | 0 | 373 | 172M| 0 | 320 | 38k| 38k| 38k| 38k| 76k| 0 | 0 | 0 | 1.600000e+02 | -- | Inf
17.18/17.26 c 16.3s| 1 | 0 | 902 | 172M| 0 | 321 | 38k| 38k| 38k| 38k| 76k| 3 | 0 | 0 | 1.600000e+02 | -- | Inf
265.46/265.65 c 264s| 1 | 0 | 1207 | 172M| 0 | 322 | 38k| 38k| 38k| 38k| 76k| 4 | 0 | 0 | 1.600000e+02 | -- | Inf
276.86/277.10 c 276s| 1 | 0 | 1774 | 172M| 0 | 324 | 38k| 38k| 38k| 38k| 76k| 7 | 0 | 0 | 1.600000e+02 | -- | Inf
574.72/575.06 c 573s| 1 | 0 | 1776 | 172M| 0 | 324 | 38k| 38k| 38k| 38k| 76k| 8 | 0 | 0 | 1.600000e+02 | -- | Inf
1084.19/1084.79 c 1083s| 1 | 2 | 1776 | 172M| 0 | 324 | 38k| 38k| 38k| 38k| 76k| 8 | 0 | 33 | 1.600000e+02 | -- | Inf
1793.47/1794.30 c
1793.47/1794.30 c SCIP Status : solving was interrupted [time limit reached]
1793.47/1794.30 c Solving Time (sec) : 1791.05
1793.47/1794.30 c Solving Nodes : 966
1793.47/1794.30 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.47/1794.30 c Dual Bound : +1.60000000000001e+02
1793.47/1794.30 c Gap : infinite
1793.47/1794.30 c NODE 966
1793.47/1794.30 c DUAL BOUND 160
1793.47/1794.30 c PRIMAL BOUND 1e+20
1793.47/1794.30 c GAP 1e+20
1793.47/1794.30 s UNKNOWN
1793.47/1794.30 c SCIP Status : solving was interrupted [time limit reached]
1793.47/1794.30 c Solving Time : 1791.05
1793.47/1794.30 c Original Problem :
1793.47/1794.30 c Problem name : HOME/instance-1870715-1245216736.opb
1793.47/1794.30 c Variables : 38488 (38488 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.47/1794.30 c Constraints : 38990 initial, 38990 maximal
1793.47/1794.30 c Presolved Problem :
1793.47/1794.30 c Problem name : t_HOME/instance-1870715-1245216736.opb
1793.47/1794.30 c Variables : 38488 (38488 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.47/1794.30 c Constraints : 38990 initial, 39055 maximal
1793.47/1794.30 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.47/1794.30 c trivial : 0.01 0 0 0 0 0 0 0 0
1793.47/1794.30 c dualfix : 0.02 0 0 0 0 0 0 0 0
1793.47/1794.30 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.47/1794.30 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.47/1794.30 c implics : 0.02 0 0 0 0 0 0 0 0
1793.47/1794.30 c probing : 0.00 0 0 0 0 0 0 0 0
1793.47/1794.30 c knapsack : 0.03 0 0 0 0 0 0 0 0
1793.47/1794.30 c setppc : 0.05 0 0 0 0 0 0 0 0
1793.47/1794.30 c and : 1.41 0 0 0 0 0 0 0 0
1793.47/1794.30 c linear : 0.28 0 0 0 0 0 0 0 0
1793.47/1794.30 c logicor : 0.01 0 0 0 0 0 0 0 0
1793.47/1794.30 c root node : - 0 - - 0 - - - -
1793.47/1794.30 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.47/1794.30 c integral : 0 0 0 901 0 2 5 0 0 1622
1793.47/1794.30 c knapsack : 1 5 3223 87 1 0 0 0 0 0
1793.47/1794.30 c setppc : 1000 5 3223 87 1 59 24682 0 0 0
1793.47/1794.30 c and : 37488 898 3164 87 1 6 1231143 973446 0 0
1793.47/1794.30 c linear : 1 5 3158 0 0 0 0 0 0 0
1793.47/1794.30 c logicor : 500+ 5 1149 0 1 0 724 0 0 0
1793.47/1794.30 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.47/1794.30 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.47/1794.30 c integral : 423.65 0.00 0.00 423.65 0.00
1793.47/1794.30 c knapsack : 0.02 0.00 0.02 0.00 0.00
1793.47/1794.30 c setppc : 0.39 0.01 0.35 0.02 0.01
1793.47/1794.30 c and : 53.84 32.94 18.21 2.67 0.02
1793.47/1794.30 c linear : 0.62 0.03 0.59 0.00 0.00
1793.47/1794.30 c logicor : 0.04 0.00 0.04 0.00 0.00
1793.47/1794.30 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.47/1794.30 c Propagators : Time Calls Cutoffs DomReds
1793.47/1794.30 c rootredcost : 0.00 0 0 0
1793.47/1794.30 c pseudoobj : 21.77 3224 0 0
1793.47/1794.30 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.47/1794.30 c propagation : 0.00 65 65 65 2.9 0 0.0 -
1793.47/1794.30 c infeasible LP : 0.59 87 0 0 0.0 0 0.0 0
1793.47/1794.30 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.47/1794.30 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.47/1794.30 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.47/1794.30 c applied globally : - - - 65 2.9 - - -
1793.47/1794.30 c applied locally : - - - 0 0.0 - - -
1793.47/1794.30 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.47/1794.30 c cut pool : 0.00 4 - - 1 - (maximal pool size: 16)
1793.47/1794.30 c redcost : 6.54 898 0 0 0 0
1793.47/1794.30 c impliedbounds : 0.06 5 0 0 0 0
1793.47/1794.30 c intobj : 0.00 0 0 0 0 0
1793.47/1794.30 c gomory : 474.60 5 0 0 1000 0
1793.47/1794.30 c strongcg : 382.09 5 0 0 1154 0
1793.47/1794.30 c cmir : 0.00 0 0 0 0 0
1793.47/1794.30 c flowcover : 0.00 0 0 0 0 0
1793.47/1794.30 c clique : 0.27 5 0 0 0 0
1793.47/1794.30 c zerohalf : 0.00 0 0 0 0 0
1793.47/1794.30 c mcf : 2.93 2 0 0 0 0
1793.47/1794.30 c Pricers : Time Calls Vars
1793.47/1794.30 c problem variables: 0.00 0 0
1793.47/1794.30 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.47/1794.30 c relpscost : 423.63 814 2 5 0 0 1622
1793.47/1794.30 c pscost : 0.00 0 0 0 0 0 0
1793.47/1794.30 c inference : 0.02 1 0 0 0 0 2
1793.47/1794.30 c mostinf : 0.00 0 0 0 0 0 0
1793.47/1794.30 c leastinf : 0.00 0 0 0 0 0 0
1793.47/1794.30 c fullstrong : 0.00 0 0 0 0 0 0
1793.47/1794.30 c allfullstrong : 0.00 0 0 0 0 0 0
1793.47/1794.30 c random : 0.00 0 0 0 0 0 0
1793.47/1794.30 c Primal Heuristics : Time Calls Found
1793.47/1794.30 c LP solutions : 0.00 - 0
1793.47/1794.30 c pseudo solutions : 0.00 - 0
1793.47/1794.30 c simplerounding : 0.00 0 0
1793.47/1794.30 c rounding : 0.00 0 0
1793.47/1794.30 c shifting : 0.00 0 0
1793.47/1794.30 c intshifting : 0.00 0 0
1793.47/1794.30 c oneopt : 0.00 0 0
1793.47/1794.30 c fixandinfer : 0.00 0 0
1793.47/1794.30 c feaspump : 0.00 0 0
1793.47/1794.30 c coefdiving : 0.00 0 0
1793.47/1794.30 c pscostdiving : 0.00 0 0
1793.47/1794.30 c fracdiving : 0.00 0 0
1793.47/1794.30 c veclendiving : 0.00 0 0
1793.47/1794.30 c intdiving : 0.00 0 0
1793.47/1794.30 c actconsdiving : 0.00 0 0
1793.47/1794.30 c objpscostdiving : 0.00 0 0
1793.47/1794.30 c rootsoldiving : 0.00 0 0
1793.47/1794.30 c linesearchdiving : 0.00 0 0
1793.47/1794.30 c guideddiving : 0.00 0 0
1793.47/1794.30 c octane : 0.00 0 0
1793.47/1794.30 c rens : 0.00 0 0
1793.47/1794.30 c rins : 0.00 0 0
1793.47/1794.30 c localbranching : 0.00 0 0
1793.47/1794.30 c mutation : 0.00 0 0
1793.47/1794.30 c crossover : 0.00 0 0
1793.47/1794.30 c dins : 0.00 0 0
1793.47/1794.30 c LP : Time Calls Iterations Iter/call Iter/sec
1793.47/1794.30 c primal LP : 86.88 0 0 0.00 0.00
1793.47/1794.30 c dual LP : 282.77 1886 316391 167.76 1118.90
1793.47/1794.30 c barrier LP : 0.00 0 0 0.00 -
1793.47/1794.30 c diving/probing LP: 0.00 0 0 0.00 -
1793.47/1794.30 c strong branching : 423.33 7157 175669 24.55 414.97
1793.47/1794.30 c (at root node) : - 33 16040 486.06 -
1793.47/1794.30 c conflict analysis: 0.00 0 0 0.00 -
1793.47/1794.30 c B&B Tree :
1793.47/1794.30 c number of runs : 1
1793.47/1794.30 c nodes : 966
1793.47/1794.30 c nodes (total) : 966
1793.47/1794.30 c nodes left : 659
1793.47/1794.30 c max depth : 37
1793.47/1794.30 c max depth (total): 37
1793.47/1794.30 c backtracks : 64 (6.6%)
1793.47/1794.30 c delayed cutoffs : 0
1793.47/1794.30 c repropagations : 606 (5874 domain reductions, 0 cutoffs)
1793.47/1794.30 c avg switch length: 3.57
1793.47/1794.30 c switching time : 94.71
1793.47/1794.30 c Solution :
1793.47/1794.30 c Solutions found : 0 (0 improvements)
1793.47/1794.30 c Primal Bound : -
1793.47/1794.30 c Dual Bound : +1.60000000000001e+02
1793.47/1794.30 c Gap : infinite
1793.47/1794.30 c Root Dual Bound : +1.60000000000001e+02
1794.27/1795.13 c Time complete: 1794.3.
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-1870715-1245216736/watcher-1870715-1245216736 -o /tmp/evaluation-result-1870715-1245216736/solver-1870715-1245216736 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870715-1245216736.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/64 12723 /proc/meminfo: memFree=1845440/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=7616 CPUtime=0 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 651 0 0 0 0 0 0 0 18 0 1 0 189274383 7798784 635 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0 /proc/12723/statm: 1904 647 354 1256 0 643 0 [startup+0.063136 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12723 /proc/meminfo: memFree=1845440/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=19820 CPUtime=0.05 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 3878 0 0 0 4 1 0 0 18 0 1 0 189274383 20295680 3862 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 0 0 0 /proc/12723/statm: 4955 3862 376 1256 0 3694 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 19820 [startup+0.10114 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12723 /proc/meminfo: memFree=1845440/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=25080 CPUtime=0.09 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 5211 0 0 0 8 1 0 0 18 0 1 0 189274383 25681920 5195 1992294400 4194304 9342243 548682068736 18446744073709551615 8193808 0 0 4096 0 0 0 0 17 0 0 0 /proc/12723/statm: 6270 5195 376 1256 0 5009 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25080 [startup+0.301178 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12723 /proc/meminfo: memFree=1845440/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=46528 CPUtime=0.29 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 10580 0 0 0 26 3 0 0 19 0 1 0 189274383 47644672 10564 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 0 0 0 /proc/12723/statm: 11632 10564 376 1256 0 10371 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46528 [startup+0.701251 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12723 /proc/meminfo: memFree=1845440/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=103468 CPUtime=0.69 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 25243 0 0 0 60 9 0 0 23 0 1 0 189274383 105951232 24799 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 25867 24799 426 1256 0 24606 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 103468 [startup+1.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1742584/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=118904 CPUtime=1.49 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 28869 0 0 0 136 13 0 0 25 0 1 0 189274383 121757696 28425 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 29726 28425 446 1256 0 28465 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 118904 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1717304/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=163664 CPUtime=3.09 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 40754 0 0 0 275 34 0 0 18 0 1 0 189274383 167591936 39430 1992294400 4194304 9342243 548682068736 18446744073709551615 5858489 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 40916 39430 528 1256 0 39655 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 163664 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1584120/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=299416 CPUtime=6.28 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 70083 0 0 0 581 47 0 0 25 0 1 0 189274383 306601984 67178 1992294400 4194304 9342243 548682068736 18446744073709551615 4298214 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 74854 67178 637 1256 0 73593 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 299416 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1548792/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=323164 CPUtime=12.68 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 77553 0 0 0 1208 60 0 0 25 0 1 0 189274383 330919936 74648 1992294400 4194304 9342243 548682068736 18446744073709551615 6960339 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 80791 74648 654 1256 0 79530 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 323164 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1544824/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=323164 CPUtime=25.47 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 78519 0 0 0 2485 62 0 0 25 0 1 0 189274383 330919936 75614 1992294400 4194304 9342243 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 80791 75614 654 1256 0 79530 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 323164 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1544760/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=323164 CPUtime=51.07 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 78519 0 0 0 5043 64 0 0 25 0 1 0 189274383 330919936 75614 1992294400 4194304 9342243 548682068736 18446744073709551615 4386008 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 80791 75614 654 1256 0 79530 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 323164 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1544696/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=323164 CPUtime=102.24 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 78519 0 0 0 10156 68 0 0 25 0 1 0 189274383 330919936 75614 1992294400 4194304 9342243 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 80791 75614 654 1256 0 79530 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 323164 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1544696/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=323164 CPUtime=162.21 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 78519 0 0 0 16148 73 0 0 25 0 1 0 189274383 330919936 75614 1992294400 4194304 9342243 548682068736 18446744073709551615 4274480 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 80791 75614 654 1256 0 79530 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 323164 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1544440/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=323164 CPUtime=222.18 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 78636 0 0 0 22141 77 0 0 25 0 1 0 189274383 330919936 75731 1992294400 4194304 9342243 548682068736 18446744073709551615 4386026 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 80791 75731 654 1256 0 79530 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 323164 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1518840/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=342348 CPUtime=282.15 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 85035 0 0 0 28130 85 0 0 25 0 1 0 189274383 350564352 82130 1992294400 4194304 9342243 548682068736 18446744073709551615 4339156 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 85587 82130 654 1256 0 84326 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 342348 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1518776/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=342348 CPUtime=342.13 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 85035 0 0 0 34126 87 0 0 25 0 1 0 189274383 350564352 82130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 85587 82130 654 1256 0 84326 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 342348 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1518776/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=342348 CPUtime=402.1 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 85035 0 0 0 40121 89 0 0 25 0 1 0 189274383 350564352 82130 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 85587 82130 654 1256 0 84326 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 342348 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1518712/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=342348 CPUtime=462.07 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 85035 0 0 0 46114 93 0 0 25 0 1 0 189274383 350564352 82130 1992294400 4194304 9342243 548682068736 18446744073709551615 4274204 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 85587 82130 654 1256 0 84326 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 342348 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1518712/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=342348 CPUtime=522.04 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 85035 0 0 0 52107 97 0 0 25 0 1 0 189274383 350564352 82130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 85587 82130 654 1256 0 84326 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 342348 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1517816/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=342348 CPUtime=582.01 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 85283 0 0 0 58100 101 0 0 25 0 1 0 189274383 350564352 82378 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 85587 82378 654 1256 0 84326 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 342348 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1517752/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=342348 CPUtime=641.99 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 85283 0 0 0 64094 105 0 0 25 0 1 0 189274383 350564352 82378 1992294400 4194304 9342243 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 85587 82378 654 1256 0 84326 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 342348 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1513208/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=374420 CPUtime=1061.81 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 119137 0 0 0 106044 137 0 0 25 0 1 0 189274383 383406080 83513 1992294400 4194304 9342243 548682068736 18446744073709551615 5874747 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 93605 83513 659 1256 0 92344 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 374420 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12724 /proc/meminfo: memFree=1517368/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=337348 CPUtime=1121.77 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 122508 0 0 0 112036 141 0 0 25 0 1 0 189274383 345444352 82444 1992294400 4194304 9342243 548682068736 18446744073709551615 6348581 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 84337 82444 682 1256 0 83076 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 337348 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1517176/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=337348 CPUtime=1181.74 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 122509 0 0 0 118029 145 0 0 25 0 1 0 189274383 345444352 82445 1992294400 4194304 9342243 548682068736 18446744073709551615 6974252 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 84337 82445 682 1256 0 83076 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 337348 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1517176/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=337348 CPUtime=1241.72 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 122515 0 0 0 124023 149 0 0 25 0 1 0 189274383 345444352 82451 1992294400 4194304 9342243 548682068736 18446744073709551615 6983147 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 84337 82451 686 1256 0 83076 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 337348 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1517112/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=337348 CPUtime=1301.7 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 122516 0 0 0 130016 154 0 0 25 0 1 0 189274383 345444352 82452 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 84337 82452 687 1256 0 83076 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 337348 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1517176/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=337348 CPUtime=1361.67 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 122516 0 0 0 136009 158 0 0 25 0 1 0 189274383 345444352 82452 1992294400 4194304 9342243 548682068736 18446744073709551615 5734727 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 84337 82452 687 1256 0 83076 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 337348 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1517112/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=337348 CPUtime=1421.65 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 122522 0 0 0 142002 163 0 0 25 0 1 0 189274383 345444352 82458 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 84337 82458 687 1256 0 83076 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 337348 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1516984/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=339600 CPUtime=1481.61 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 122585 0 0 0 147993 168 0 0 25 0 1 0 189274383 347750400 82521 1992294400 4194304 9342243 548682068736 18446744073709551615 6087956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 84900 82521 687 1256 0 83639 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 339600 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1507832/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=352948 CPUtime=1541.59 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 124879 0 0 0 153984 175 0 0 25 0 1 0 189274383 361418752 84815 1992294400 4194304 9342243 548682068736 18446744073709551615 6348962 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 88237 84815 687 1256 0 86976 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 352948 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1501048/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=354680 CPUtime=1601.56 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 126837 0 0 0 159974 182 0 0 25 0 1 0 189274383 363192320 82973 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 88670 82973 687 1256 0 87409 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 354680 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1495096/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=363112 CPUtime=1661.54 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 138700 0 0 0 165961 193 0 0 25 0 1 0 189274383 371826688 88127 1992294400 4194304 9342243 548682068736 18446744073709551615 4898424 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 90778 88127 687 1256 0 89517 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 363112 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12726 /proc/meminfo: memFree=1488760/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=369196 CPUtime=1721.51 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 140177 0 0 0 171952 199 0 0 25 0 1 0 189274383 378056704 89604 1992294400 4194304 9342243 548682068736 18446744073709551615 6213652 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 92299 89604 687 1256 0 91038 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 369196 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12732 /proc/meminfo: memFree=1485112/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=372304 CPUtime=1781.48 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 141048 0 0 0 177943 205 0 0 25 0 1 0 189274383 381239296 90475 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 93076 90475 687 1256 0 91815 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 372304 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12732 /proc/meminfo: memFree=1485048/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=372304 CPUtime=1784.68 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 141056 0 0 0 178263 205 0 0 25 0 1 0 189274383 381239296 90483 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 93076 90483 687 1256 0 91815 0 Current children cumulated CPU time (s) 1784.68 Current children cumulated vsize (KiB) 372304 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12732 /proc/meminfo: memFree=1481976/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=377168 CPUtime=1791.07 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 141827 0 0 0 178901 206 0 0 25 0 1 0 189274383 386220032 91254 1992294400 4194304 9342243 548682068736 18446744073709551615 6341862 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 94292 91254 687 1256 0 93031 0 Current children cumulated CPU time (s) 1791.07 Current children cumulated vsize (KiB) 377168 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12732 /proc/meminfo: memFree=1481976/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=377168 CPUtime=1792.67 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 141829 0 0 0 179061 206 0 0 25 0 1 0 189274383 386220032 91256 1992294400 4194304 9342243 548682068736 18446744073709551615 6965296 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 94292 91256 687 1256 0 93031 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (KiB) 377168 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12732 /proc/meminfo: memFree=1481976/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=377168 CPUtime=1793.47 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 141833 0 0 0 179141 206 0 0 25 0 1 0 189274383 386220032 91260 1992294400 4194304 9342243 548682068736 18446744073709551615 4769590 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12723/statm: 94292 91260 687 1256 0 93031 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (KiB) 377168 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12732 /proc/meminfo: memFree=1481976/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=377168 CPUtime=1793.87 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 141836 0 0 0 179181 206 0 0 25 0 1 0 189274383 386220032 91263 1992294400 4194304 9342243 548682068736 18446744073709551615 4301922 0 0 4096 0 0 0 0 17 1 0 0 /proc/12723/statm: 94292 91263 690 1256 0 93031 0 Current children cumulated CPU time (s) 1793.87 Current children cumulated vsize (KiB) 377168 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12732 /proc/meminfo: memFree=1661816/2055920 swapFree=4188244/4192956 [pid=12723] ppid=12721 vsize=317544 CPUtime=1794.27 /proc/12723/stat : 12723 (pbscip.linux.x8) R 12721 12723 12398 0 -1 4194304 141838 0 0 0 179218 209 0 0 25 0 1 0 189274383 325165056 46228 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0 /proc/12723/statm: 79386 46228 4234 1256 0 78125 0 Current children cumulated CPU time (s) 1794.27 Current children cumulated vsize (KiB) 317544 Child status: 0 Real time (s): 1795.13 CPU time (s): 1794.31 CPU user time (s): 1792.18 CPU system time (s): 2.12168 CPU usage (%): 99.9538 Max. virtual memory (cumulated for all children) (KiB): 377168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.18 system time used= 2.12168 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141842 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= 6 involuntary context switches= 5522 runsolver used 1.61375 second user time and 4.92825 second system time The end
Begin job on node7 at 2009-06-17 07:32:16 IDJOB=1870715 IDBENCH=48356 IDSOLVER=684 FILE ID=node7/1870715-1245216736 PBS_JOBID= 9368393 Free space on /tmp= 66272 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_60_2_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-1870715-1245216736/watcher-1870715-1245216736 -o /tmp/evaluation-result-1870715-1245216736/solver-1870715-1245216736 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870715-1245216736.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f309126dc76153b39022a856cb65e640 RANDOM SEED=785258757 node7.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.274 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.274 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: 1845920 kB Buffers: 49208 kB Cached: 94024 kB SwapCached: 2424 kB Active: 80732 kB Inactive: 74352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845920 kB SwapTotal: 4192956 kB SwapFree: 4188244 kB Dirty: 12696 kB Writeback: 0 kB Mapped: 18792 kB Slab: 40880 kB Committed_AS: 177020 kB PageTables: 1444 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= 66260 MiB End job on node7 at 2009-06-17 08:02:11