| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1796.53 | 1797.03 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb |
| MD5SUM | f3f7503aace115ec5eea1f9ed4e29626 |
| 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 | 200 |
| Total number of constraints | 302 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2520 |
| Sum of products size (including duplicates) | 5040 |
| Number of different products | 1260 |
| Sum of products size | 2520 |
0.01/0.02 c SCIP version 1.1.0.7
0.01/0.02 c LP-Solver Clp 1.8.2
0.01/0.02 c user parameter file <scip.set> not found - using default parameters
0.01/0.02 c read problem <HOME/instance-1870613-1245213852.opb>
0.01/0.02 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.01/0.04 c No objective function, only one solution is needed.
0.01/0.04 c start presolving problem
0.01/0.04 c presolving:
0.09/0.18 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10280 impls, 200 clqs
0.29/0.32 c presolving (2 rounds):
0.29/0.32 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.32 c 10280 implications, 200 cliques
0.29/0.32 c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.29/0.32 c 1 constraints of type <knapsack>
0.29/0.32 c 200 constraints of type <setppc>
0.29/0.32 c 1260 constraints of type <and>
0.29/0.32 c 1 constraints of type <linear>
0.29/0.32 c 100 constraints of type <logicor>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.10
0.29/0.32 c SATUNSAT-NLC
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c separating/flowcover/freq = c -1
0.29/0.32 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c separating/cmir/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/veclendiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/veclendiving/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c heuristics/simplerounding/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/shifting/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c heuristics/rounding/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.32 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.29/0.32 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.32 c heuristics/rootsoldiving/freq = c -1
0.29/0.32 c # number of nodes added to the contingent of the total nodes
0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.32 c heuristics/rens/nodesofs = c 2000
0.29/0.32 c # minimum percentage of integer variables that have to be fixable
0.29/0.32 c # [type: real, range: [0,1], default: 0.5]
0.29/0.32 c heuristics/rens/minfixingrate = c 0.3
0.29/0.32 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c heuristics/rens/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/pscostdiving/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c heuristics/oneopt/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.32 c # [type: real, range: [0,1], default: 0.01]
0.29/0.32 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.29/0.32 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.32 c heuristics/objpscostdiving/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/linesearchdiving/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/intshifting/freq = c -1
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/intdiving/maxlpiterquot = c 0.075
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/guideddiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/guideddiving/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/fracdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/fracdiving/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/feaspump/maxlpiterofs = c 2000
0.29/0.32 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.32 c heuristics/feaspump/freq = c -1
0.29/0.32 c # minimum percentage of integer variables that have to be fixed
0.29/0.32 c # [type: real, range: [0,1], default: 0.666]
0.29/0.32 c heuristics/crossover/minfixingrate = c 0.5
0.29/0.32 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.32 c # [type: real, range: [0,1], default: 0.1]
0.29/0.32 c heuristics/crossover/nodesquot = c 0.15
0.29/0.32 c # number of nodes without incumbent change that heuristic should wait
0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.32 c heuristics/crossover/nwaitingnodes = c 100
0.29/0.32 c # number of nodes added to the contingent of the total nodes
0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.32 c heuristics/crossover/nodesofs = c 750
0.29/0.32 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.32 c heuristics/crossover/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/coefdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/coefdiving/freq = c -1
0.29/0.32 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c presolving/probing/maxrounds = c 0
0.29/0.32 c # should presolving try to simplify knapsacks
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/knapsack/simplifyinequalities = c TRUE
0.29/0.32 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c constraints/knapsack/disaggregation = c FALSE
0.29/0.32 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c constraints/knapsack/maxnumcardlift = c 0
0.29/0.32 c # should presolving try to simplify inequalities
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/linear/simplifyinequalities = c TRUE
0.29/0.32 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c separating/maxroundsroot = c 5
0.29/0.32 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.32 c separating/maxrounds = c 1
0.29/0.32 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c limits/solutions = c 1
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/memory = c 1620
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/time = c 1791
0.29/0.32 c # frequency for displaying node information lines
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.32 c display/freq = c 10000
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving problem
0.29/0.32 c
0.29/0.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.38 c 0.2s| 1 | 0 | 197 |6549k| 0 | 160 |1460 |1562 |1562 |1460 |2822 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
0.69/0.78 c 0.6s| 1 | 0 | 376 |6599k| 0 | 161 |1460 |1562 |1562 |1460 |2824 | 2 | 0 | 0 | 8.000000e+01 | -- | Inf
1.29/1.39 c 1.2s| 1 | 0 | 450 |6644k| 0 | 162 |1460 |1562 |1562 |1460 |2825 | 3 | 0 | 0 | 8.000000e+01 | -- | Inf
2.09/2.11 c 1.9s| 1 | 0 | 582 |6718k| 0 | 162 |1460 |1562 |1562 |1460 |2826 | 4 | 0 | 0 | 8.000000e+01 | -- | Inf
2.69/2.74 c 2.5s| 1 | 0 | 608 |6744k| 0 | 164 |1460 |1562 |1562 |1460 |2827 | 5 | 0 | 0 | 8.000000e+01 | -- | Inf
6.28/6.31 c 6.0s| 1 | 2 | 608 |6745k| 0 | 164 |1460 |1562 |1562 |1460 |2827 | 5 | 0 | 33 | 8.000000e+01 | -- | Inf
1394.60/1395.07 c 1390s| 10000 | 1609 | 3432k| 13M| 89 | 387 |1460 |1571 |1157 |1460 | 839 | 510k| 14 | 10k| 8.000000e+01 | -- | Inf
1796.39/1796.98 c
1796.39/1796.98 c SCIP Status : solving was interrupted [time limit reached]
1796.39/1796.98 c Solving Time (sec) : 1791.00
1796.39/1796.98 c Solving Nodes : 12937
1796.39/1796.98 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.39/1796.98 c Dual Bound : +8.00000000000002e+01
1796.39/1796.98 c Gap : infinite
1796.39/1796.98 c NODE 12937
1796.39/1796.98 c DUAL BOUND 80
1796.39/1796.98 c PRIMAL BOUND 1e+20
1796.39/1796.98 c GAP 1e+20
1796.39/1796.98 s UNKNOWN
1796.39/1796.98 c SCIP Status : solving was interrupted [time limit reached]
1796.39/1796.98 c Solving Time : 1791.00
1796.39/1796.98 c Original Problem :
1796.39/1796.98 c Problem name : HOME/instance-1870613-1245213852.opb
1796.39/1796.98 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.39/1796.98 c Constraints : 1562 initial, 1562 maximal
1796.39/1796.98 c Presolved Problem :
1796.39/1796.98 c Problem name : t_HOME/instance-1870613-1245213852.opb
1796.39/1796.98 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.39/1796.98 c Constraints : 1562 initial, 1574 maximal
1796.39/1796.98 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.39/1796.98 c trivial : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c dualfix : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c implics : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c probing : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c knapsack : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c setppc : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c and : 0.09 0 0 0 0 0 0 0 0
1796.39/1796.98 c linear : 0.01 0 0 0 0 0 0 0 0
1796.39/1796.98 c logicor : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.98 c root node : - 0 - - 0 - - - -
1796.39/1796.98 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.39/1796.98 c integral : 0 0 0 7377 0 20 44 0 0 14676
1796.39/1796.98 c knapsack : 1 5 33167 1 1 0 0 0 0 0
1796.39/1796.98 c setppc : 200 5 33167 1 1 2 108028 0 0 0
1796.39/1796.98 c and : 1260 9830 33165 1 1 14 1302685 906857 0 0
1796.39/1796.98 c linear : 1 5 33151 0 0 0 0 0 0 0
1796.39/1796.98 c logicor : 100+ 5 12094 0 1 0 9683 0 0 0
1796.39/1796.98 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.39/1796.98 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.39/1796.98 c integral : 269.81 0.00 0.00 269.81 0.00
1796.39/1796.98 c knapsack : 0.02 0.00 0.02 0.00 0.00
1796.39/1796.98 c setppc : 0.65 0.00 0.65 0.00 0.00
1796.39/1796.98 c and : 16.95 10.61 6.34 0.00 0.00
1796.39/1796.98 c linear : 0.64 0.00 0.64 0.00 0.00
1796.39/1796.98 c logicor : 0.11 0.00 0.11 0.00 0.00
1796.39/1796.98 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.39/1796.98 c Propagators : Time Calls Cutoffs DomReds
1796.39/1796.98 c rootredcost : 0.02 0 0 0
1796.39/1796.98 c pseudoobj : 3.54 33168 0 0
1796.39/1796.98 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.39/1796.98 c propagation : 0.00 16 16 16 2.1 0 0.0 -
1796.39/1796.98 c infeasible LP : 2.23 5562 0 0 0.0 0 0.0 0
1796.39/1796.98 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.98 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.98 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.39/1796.98 c applied globally : - - - 16 2.1 - - -
1796.39/1796.98 c applied locally : - - - 0 0.0 - - -
1796.39/1796.98 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.39/1796.98 c cut pool : 0.00 4 - - 4 - (maximal pool size: 14)
1796.39/1796.98 c redcost : 1.11 9830 0 0 0 0
1796.39/1796.98 c impliedbounds : 0.00 5 0 0 0 0
1796.39/1796.98 c intobj : 0.00 0 0 0 0 0
1796.39/1796.98 c gomory : 1.44 5 0 0 503 0
1796.39/1796.98 c strongcg : 1.23 5 0 0 1763 0
1796.39/1796.98 c cmir : 0.00 0 0 0 0 0
1796.39/1796.98 c flowcover : 0.00 0 0 0 0 0
1796.39/1796.98 c clique : 0.02 5 0 0 0 0
1796.39/1796.98 c zerohalf : 0.00 0 0 0 0 0
1796.39/1796.98 c mcf : 0.01 1 0 0 0 0
1796.39/1796.98 c Pricers : Time Calls Vars
1796.39/1796.98 c problem variables: 0.00 0 0
1796.39/1796.98 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.39/1796.98 c relpscost : 269.80 7376 20 44 0 0 14676
1796.39/1796.98 c pscost : 0.00 0 0 0 0 0 0
1796.39/1796.98 c inference : 0.00 1 0 0 0 0 2
1796.39/1796.98 c mostinf : 0.00 0 0 0 0 0 0
1796.39/1796.98 c leastinf : 0.00 0 0 0 0 0 0
1796.39/1796.98 c fullstrong : 0.00 0 0 0 0 0 0
1796.39/1796.98 c allfullstrong : 0.00 0 0 0 0 0 0
1796.39/1796.98 c random : 0.00 0 0 0 0 0 0
1796.39/1796.98 c Primal Heuristics : Time Calls Found
1796.39/1796.98 c LP solutions : 0.00 - 0
1796.39/1796.98 c pseudo solutions : 0.00 - 0
1796.39/1796.98 c simplerounding : 0.00 0 0
1796.39/1796.98 c rounding : 0.00 0 0
1796.39/1796.98 c shifting : 0.00 0 0
1796.39/1796.98 c intshifting : 0.00 0 0
1796.39/1796.98 c oneopt : 0.00 0 0
1796.39/1796.98 c fixandinfer : 0.00 0 0
1796.39/1796.98 c feaspump : 0.00 0 0
1796.39/1796.98 c coefdiving : 0.00 0 0
1796.39/1796.98 c pscostdiving : 0.00 0 0
1796.39/1796.98 c fracdiving : 0.00 0 0
1796.39/1796.98 c veclendiving : 0.00 0 0
1796.39/1796.98 c intdiving : 0.00 0 0
1796.39/1796.98 c actconsdiving : 0.00 0 0
1796.39/1796.98 c objpscostdiving : 0.00 0 0
1796.39/1796.98 c rootsoldiving : 0.00 0 0
1796.39/1796.98 c linesearchdiving : 0.00 0 0
1796.39/1796.98 c guideddiving : 0.00 0 0
1796.39/1796.98 c octane : 0.00 0 0
1796.39/1796.98 c rens : 0.00 0 0
1796.39/1796.98 c rins : 0.00 0 0
1796.39/1796.98 c localbranching : 0.00 0 0
1796.39/1796.98 c mutation : 0.00 0 0
1796.39/1796.98 c crossover : 0.00 0 0
1796.39/1796.98 c dins : 0.00 0 0
1796.39/1796.98 c LP : Time Calls Iterations Iter/call Iter/sec
1796.39/1796.98 c primal LP : 178.16 0 0 0.00 0.00
1796.39/1796.98 c dual LP : 1286.51 22532 4505745 199.97 3502.30
1796.39/1796.98 c barrier LP : 0.00 0 0 0.00 -
1796.39/1796.98 c diving/probing LP: 0.00 0 0 0.00 -
1796.39/1796.98 c strong branching : 268.27 11902 1126552 94.65 4199.32
1796.39/1796.98 c (at root node) : - 33 5280 160.00 -
1796.39/1796.98 c conflict analysis: 0.00 0 0 0.00 -
1796.39/1796.98 c B&B Tree :
1796.39/1796.98 c number of runs : 1
1796.39/1796.98 c nodes : 12937
1796.39/1796.98 c nodes (total) : 12937
1796.39/1796.98 c nodes left : 1742
1796.39/1796.98 c max depth : 98
1796.39/1796.98 c max depth (total): 98
1796.39/1796.98 c backtracks : 1354 (10.5%)
1796.39/1796.98 c delayed cutoffs : 0
1796.39/1796.98 c repropagations : 169 (228 domain reductions, 0 cutoffs)
1796.39/1796.98 c avg switch length: 3.81
1796.39/1796.98 c switching time : 183.59
1796.39/1796.98 c Solution :
1796.39/1796.98 c Solutions found : 0 (0 improvements)
1796.39/1796.98 c Primal Bound : -
1796.39/1796.98 c Dual Bound : +8.00000000000002e+01
1796.39/1796.98 c Gap : infinite
1796.39/1796.98 c Root Dual Bound : +8.00000000000000e+01
1796.49/1797.03 c Time complete: 1796.52.
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-1870613-1245213852/watcher-1870613-1245213852 -o /tmp/evaluation-result-1870613-1245213852/solver-1870613-1245213852 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870613-1245213852.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.01 0.99 0.91 3/64 1672 /proc/meminfo: memFree=1714280/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=5812 CPUtime=0 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 177907184 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1672/statm: 1453 502 332 1256 0 192 0 [startup+0.019602 s] /proc/loadavg: 1.01 0.99 0.91 3/64 1672 /proc/meminfo: memFree=1714280/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=11696 CPUtime=0.01 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 1887 0 0 0 1 0 0 0 18 0 1 0 177907184 11976704 1871 1992294400 4194304 9342243 548682068736 18446744073709551615 8251083 0 0 4096 0 0 0 0 17 1 0 0 /proc/1672/statm: 2924 1871 376 1256 0 1663 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11696 [startup+0.101611 s] /proc/loadavg: 1.01 0.99 0.91 3/64 1672 /proc/meminfo: memFree=1714280/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=17684 CPUtime=0.09 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 3553 0 0 0 5 4 0 0 18 0 1 0 177907184 18108416 3183 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 4421 3183 446 1256 0 3160 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17684 [startup+0.301631 s] /proc/loadavg: 1.01 0.99 0.91 3/64 1672 /proc/meminfo: memFree=1714280/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=19732 CPUtime=0.29 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 4113 0 0 0 12 17 0 0 19 0 1 0 177907184 20205568 3743 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 4933 3743 484 1256 0 3672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19732 [startup+0.701675 s] /proc/loadavg: 1.01 0.99 0.91 3/64 1672 /proc/meminfo: memFree=1714280/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=35572 CPUtime=0.69 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 7934 0 0 0 49 20 0 0 19 0 1 0 177907184 36425728 7548 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 8893 7548 653 1256 0 7632 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35572 [startup+1.50176 s] /proc/loadavg: 1.01 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1686432/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=38952 CPUtime=1.49 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 8871 0 0 0 129 20 0 0 25 0 1 0 177907184 39886848 8485 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 9738 8485 653 1256 0 8477 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38952 [startup+3.10193 s] /proc/loadavg: 1.01 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1679328/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=45944 CPUtime=3.09 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 10691 0 0 0 287 22 0 0 25 0 1 0 177907184 47046656 10305 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 11486 10305 653 1256 0 10225 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45944 [startup+6.30128 s] /proc/loadavg: 1.01 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1674976/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48004 CPUtime=6.28 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 10732 0 0 0 606 22 0 0 25 0 1 0 177907184 49156096 10346 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12001 10346 658 1256 0 10740 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 48004 [startup+12.703 s] /proc/loadavg: 1.01 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1675040/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48004 CPUtime=12.68 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 10784 0 0 0 1243 25 0 0 25 0 1 0 177907184 49156096 10398 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12001 10398 681 1256 0 10740 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48004 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1674912/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48004 CPUtime=25.48 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 10838 0 0 0 2518 30 0 0 25 0 1 0 177907184 49156096 10452 1992294400 4194304 9342243 548682068736 18446744073709551615 6960644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12001 10452 681 1256 0 10740 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48004 [startup+51.1011 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1674592/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48004 CPUtime=51.06 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 10921 0 0 0 5067 39 0 0 25 0 1 0 177907184 49156096 10535 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12001 10535 684 1256 0 10740 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 48004 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1674656/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48004 CPUtime=102.25 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 10924 0 0 0 10169 56 0 0 25 0 1 0 177907184 49156096 10538 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12001 10538 684 1256 0 10740 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 48004 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1674272/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48004 CPUtime=162.24 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 11023 0 0 0 16147 77 0 0 25 0 1 0 177907184 49156096 10637 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12001 10637 689 1256 0 10740 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 48004 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1673760/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48004 CPUtime=222.22 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 11153 0 0 0 22128 94 0 0 25 0 1 0 177907184 49156096 10767 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12001 10767 689 1256 0 10740 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 48004 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1672800/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48460 CPUtime=282.2 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 11397 0 0 0 28111 109 0 0 25 0 1 0 177907184 49623040 11011 1992294400 4194304 9342243 548682068736 18446744073709551615 6960342 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12115 11011 689 1256 0 10854 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 48460 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1672288/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48604 CPUtime=342.19 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 11510 0 0 0 34093 126 0 0 25 0 1 0 177907184 49770496 11124 1992294400 4194304 9342243 548682068736 18446744073709551615 6921922 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12151 11124 689 1256 0 10890 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 48604 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1673888/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48168 CPUtime=402.17 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 14042 0 0 0 40073 144 0 0 25 0 1 0 177907184 49324032 10770 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12042 10770 689 1256 0 10781 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 48168 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1673376/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48632 CPUtime=462.15 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 21851 0 0 0 46054 161 0 0 25 0 1 0 177907184 49799168 10872 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12158 10872 689 1256 0 10897 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 48632 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1673248/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=48528 CPUtime=522.14 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 32581 0 0 0 52032 182 0 0 25 0 1 0 177907184 49692672 10916 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12132 10916 689 1256 0 10871 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 48528 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1671648/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=50364 CPUtime=582.12 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 39224 0 0 0 58011 201 0 0 25 0 1 0 177907184 51572736 11287 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12591 11287 689 1256 0 11330 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 50364 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1673 /proc/meminfo: memFree=1670048/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=51320 CPUtime=642.11 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 39627 0 0 0 63994 217 0 0 25 0 1 0 177907184 52551680 11690 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 12830 11690 689 1256 0 11569 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 51320 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1667552/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=54284 CPUtime=1121.97 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 79041 0 0 0 111832 365 0 0 25 0 1 0 177907184 55586816 12270 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13571 12270 689 1256 0 12310 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 54284 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1666464/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=54672 CPUtime=1181.96 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 79304 0 0 0 117812 384 0 0 25 0 1 0 177907184 55984128 12533 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13668 12533 689 1256 0 12407 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 54672 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1666080/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=54896 CPUtime=1241.94 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 79361 0 0 0 123795 399 0 0 25 0 1 0 177907184 56213504 12590 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13724 12590 689 1256 0 12463 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 54896 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1665824/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=55220 CPUtime=1301.92 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 79424 0 0 0 129780 412 0 0 25 0 1 0 177907184 56545280 12653 1992294400 4194304 9342243 548682068736 18446744073709551615 6974274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13805 12653 689 1256 0 12544 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 55220 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1666848/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=54856 CPUtime=1361.91 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 79689 0 0 0 135763 428 0 0 25 0 1 0 177907184 56172544 12406 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13714 12406 689 1256 0 12453 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 54856 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1665504/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=55504 CPUtime=1421.9 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 80012 0 0 0 141746 444 0 0 25 0 1 0 177907184 56836096 12729 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13876 12729 689 1256 0 12615 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 55504 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1666464/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=55432 CPUtime=1481.87 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 80355 0 0 0 147728 459 0 0 25 0 1 0 177907184 56762368 12493 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13858 12493 689 1256 0 12597 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 55432 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1665760/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=55196 CPUtime=1541.86 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 80848 0 0 0 153712 474 0 0 25 0 1 0 177907184 56520704 12648 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13799 12648 689 1256 0 12538 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 55196 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1665568/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=55428 CPUtime=1601.85 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 80904 0 0 0 159696 489 0 0 25 0 1 0 177907184 56758272 12704 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13857 12704 689 1256 0 12596 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 55428 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1666336/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=55340 CPUtime=1661.83 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 81182 0 0 0 165676 507 0 0 25 0 1 0 177907184 56668160 12512 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13835 12512 689 1256 0 12574 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 55340 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1665760/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=55364 CPUtime=1721.81 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 83086 0 0 0 171658 523 0 0 25 0 1 0 177907184 56692736 12642 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 13841 12642 689 1256 0 12580 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 55364 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1664672/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56872 CPUtime=1781.8 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84034 0 0 0 177639 541 0 0 25 0 1 0 177907184 58236928 12931 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 14218 12931 689 1256 0 12957 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 56872 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1665248/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56680 CPUtime=1784.99 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84211 0 0 0 177957 542 0 0 25 0 1 0 177907184 58040320 12779 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 14170 12779 689 1256 0 12909 0 Current children cumulated CPU time (s) 1784.99 Current children cumulated vsize (KiB) 56680 [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1664736/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56680 CPUtime=1791.4 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84313 0 0 0 178595 545 0 0 25 0 1 0 177907184 58040320 12881 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 14170 12881 689 1256 0 12909 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 56680 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1664608/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56680 CPUtime=1794.6 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84348 0 0 0 178914 546 0 0 25 0 1 0 177907184 58040320 12916 1992294400 4194304 9342243 548682068736 18446744073709551615 6945655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 14170 12916 689 1256 0 12909 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 56680 [startup+1795.9 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1664608/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56680 CPUtime=1795.4 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84350 0 0 0 178994 546 0 0 25 0 1 0 177907184 58040320 12918 1992294400 4194304 9342243 548682068736 18446744073709551615 6206389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 14170 12918 689 1256 0 12909 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (KiB) 56680 [startup+1796.7 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1664608/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56680 CPUtime=1796.19 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84357 0 0 0 179073 546 0 0 25 0 1 0 177907184 58040320 12925 1992294400 4194304 9342243 548682068736 18446744073709551615 6247181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 14170 12925 689 1256 0 12909 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 56680 [startup+1796.9 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1664608/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56680 CPUtime=1796.39 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84357 0 0 0 179093 546 0 0 25 0 1 0 177907184 58040320 12925 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1672/statm: 14170 12925 689 1256 0 12909 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 56680 [startup+1797 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1679 /proc/meminfo: memFree=1664608/2055920 swapFree=4192956/4192956 [pid=1672] ppid=1670 vsize=56680 CPUtime=1796.49 /proc/1672/stat : 1672 (pbscip.linux.x8) R 1670 1672 1339 0 -1 4194304 84361 0 0 0 179103 546 0 0 25 0 1 0 177907184 58040320 12929 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0 /proc/1672/statm: 14170 12929 693 1256 0 12909 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (KiB) 56680 Child status: 0 Real time (s): 1797.03 CPU time (s): 1796.53 CPU user time (s): 1791.06 CPU system time (s): 5.47617 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 56952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.06 system time used= 5.47617 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84367 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= 2361 runsolver used 1.22581 second user time and 3.87841 second system time The end
Begin job on node64 at 2009-06-17 06:44:12 IDJOB=1870613 IDBENCH=48305 IDSOLVER=684 FILE ID=node64/1870613-1245213852 PBS_JOBID= 9368411 Free space on /tmp= 66256 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_100_10_2_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870613-1245213852/watcher-1870613-1245213852 -o /tmp/evaluation-result-1870613-1245213852/solver-1870613-1245213852 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870613-1245213852.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED=1131511524 node64.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1714760 kB Buffers: 20276 kB Cached: 242952 kB SwapCached: 0 kB Active: 77700 kB Inactive: 200468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1714760 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 11760 kB Writeback: 0 kB Mapped: 24752 kB Slab: 48704 kB Committed_AS: 89428 kB PageTables: 1392 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= 66244 MiB End job on node64 at 2009-06-17 07:14:09