| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1797.44 | 1798.05 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_4_40.opb |
| MD5SUM | 83d1e3d1d0816aba7f8b7eb415a5cecb |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12520 |
| Sum of products size (including duplicates) | 25040 |
| Number of different products | 6260 |
| Sum of products size | 12520 |
0.05/0.08 c SCIP version 1.1.0.7
0.05/0.08 c LP-Solver Clp 1.8.2
0.05/0.08 c user parameter file <scip.set> not found - using default parameters
0.05/0.08 c read problem <HOME/instance-1870709-1245216487.opb>
0.05/0.08 c original problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 constraints
0.09/0.14 c No objective function, only one solution is needed.
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.29/0.39 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50480 impls, 400 clqs
0.49/0.56 c presolving (2 rounds):
0.49/0.56 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56 c 50480 implications, 400 cliques
0.49/0.56 c presolved problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 constraints
0.49/0.56 c 1 constraints of type <knapsack>
0.49/0.56 c 400 constraints of type <setppc>
0.49/0.56 c 6260 constraints of type <and>
0.49/0.56 c 1 constraints of type <linear>
0.49/0.56 c 200 constraints of type <logicor>
0.49/0.56 c transformed objective value is always integral (scale: 1)
0.49/0.56 c Presolving Time: 0.27
0.49/0.56 c SATUNSAT-NLC
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/flowcover/freq = c -1
0.49/0.56 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/cmir/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/veclendiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/veclendiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/simplerounding/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/shifting/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/rounding/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.49/0.56 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/rootsoldiving/freq = c -1
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/rens/nodesofs = c 2000
0.49/0.56 c # minimum percentage of integer variables that have to be fixable
0.49/0.56 c # [type: real, range: [0,1], default: 0.5]
0.49/0.56 c heuristics/rens/minfixingrate = c 0.3
0.49/0.56 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c heuristics/rens/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/pscostdiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/oneopt/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.56 c # [type: real, range: [0,1], default: 0.01]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.49/0.56 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/objpscostdiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/linesearchdiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/intshifting/freq = c -1
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/intdiving/maxlpiterquot = c 0.075
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/guideddiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/guideddiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/fracdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/fracdiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/feaspump/maxlpiterofs = c 2000
0.49/0.56 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/feaspump/freq = c -1
0.49/0.56 c # minimum percentage of integer variables that have to be fixed
0.49/0.56 c # [type: real, range: [0,1], default: 0.666]
0.49/0.56 c heuristics/crossover/minfixingrate = c 0.5
0.49/0.56 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.56 c # [type: real, range: [0,1], default: 0.1]
0.49/0.56 c heuristics/crossover/nodesquot = c 0.15
0.49/0.56 c # number of nodes without incumbent change that heuristic should wait
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.56 c heuristics/crossover/nwaitingnodes = c 100
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/crossover/nodesofs = c 750
0.49/0.56 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.56 c heuristics/crossover/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/coefdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/coefdiving/freq = c -1
0.49/0.56 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c presolving/probing/maxrounds = c 0
0.49/0.56 c # should presolving try to simplify knapsacks
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/knapsack/simplifyinequalities = c TRUE
0.49/0.56 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.56 c constraints/knapsack/disaggregation = c FALSE
0.49/0.56 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c constraints/knapsack/maxnumcardlift = c 0
0.49/0.56 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = c TRUE
0.49/0.57 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/maxroundsroot = c 5
0.49/0.57 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.57 c separating/maxrounds = c 1
0.49/0.57 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c limits/solutions = c 1
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = c 1620
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = c 1791
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = c 10000
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving problem
0.49/0.57 c
0.79/0.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.82 c 0.5s| 1 | 0 | 197 | 29M| 0 | 160 |6660 |6862 |6862 |6660 | 13k| 0 | 0 | 0 | 8.000000e+01 | -- | Inf
2.19/2.23 c 1.9s| 1 | 0 | 485 | 29M| 0 | 159 |6660 |6862 |6862 |6660 | 13k| 2 | 0 | 0 | 8.000000e+01 | -- | Inf
2.99/3.02 c 2.7s| 1 | 0 | 605 | 29M| 0 | 164 |6660 |6862 |6862 |6660 | 13k| 3 | 0 | 0 | 8.000000e+01 | -- | Inf
11.67/11.76 c 11.4s| 1 | 0 | 608 | 29M| 0 | 167 |6660 |6862 |6862 |6660 | 13k| 4 | 0 | 0 | 8.000000e+01 | -- | Inf
21.28/21.34 c 21.0s| 1 | 0 | 611 | 30M| 0 | 167 |6660 |6862 |6862 |6660 | 13k| 5 | 0 | 0 | 8.000000e+01 | -- | Inf
31.47/31.51 c 31.1s| 1 | 0 | 658 | 30M| 0 | 169 |6660 |6862 |6862 |6660 | 13k| 6 | 0 | 0 | 8.000000e+01 | -- | Inf
60.06/60.15 c 59.6s| 1 | 2 | 658 | 30M| 0 | 169 |6660 |6862 |6862 |6660 | 13k| 6 | 0 | 33 | 8.000000e+01 | -- | Inf
1797.18/1797.80 c
1797.18/1797.80 c SCIP Status : solving was interrupted [time limit reached]
1797.18/1797.80 c Solving Time (sec) : 1791.01
1797.18/1797.80 c Solving Nodes : 7987
1797.18/1797.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.18/1797.80 c Dual Bound : +8.00000000000005e+01
1797.18/1797.80 c Gap : infinite
1797.18/1797.80 c NODE 7987
1797.18/1797.80 c DUAL BOUND 80
1797.18/1797.80 c PRIMAL BOUND 1e+20
1797.18/1797.80 c GAP 1e+20
1797.18/1797.80 s UNKNOWN
1797.18/1797.80 c SCIP Status : solving was interrupted [time limit reached]
1797.18/1797.80 c Solving Time : 1791.01
1797.18/1797.80 c Original Problem :
1797.18/1797.80 c Problem name : HOME/instance-1870709-1245216487.opb
1797.18/1797.80 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.18/1797.80 c Constraints : 6862 initial, 6862 maximal
1797.18/1797.80 c Presolved Problem :
1797.18/1797.81 c Problem name : t_HOME/instance-1870709-1245216487.opb
1797.18/1797.81 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.18/1797.81 c Constraints : 6862 initial, 6955 maximal
1797.18/1797.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.18/1797.81 c trivial : 0.01 0 0 0 0 0 0 0 0
1797.18/1797.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.18/1797.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.18/1797.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.18/1797.81 c implics : 0.00 0 0 0 0 0 0 0 0
1797.18/1797.81 c probing : 0.00 0 0 0 0 0 0 0 0
1797.18/1797.81 c knapsack : 0.00 0 0 0 0 0 0 0 0
1797.18/1797.81 c setppc : 0.01 0 0 0 0 0 0 0 0
1797.18/1797.81 c and : 0.15 0 0 0 0 0 0 0 0
1797.18/1797.81 c linear : 0.05 0 0 0 0 0 0 0 0
1797.18/1797.81 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.18/1797.81 c root node : - 0 - - 0 - - - -
1797.18/1797.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.18/1797.81 c integral : 0 0 0 5726 0 41 642 0 0 10796
1797.18/1797.81 c knapsack : 1 5 23768 16 3 0 0 0 0 0
1797.18/1797.81 c setppc : 400 5 23768 16 3 42 131150 0 0 0
1797.18/1797.81 c and : 6260 6256 23726 16 1 61 2996173 772262 0 0
1797.18/1797.81 c linear : 1 5 23665 0 0 0 0 0 0 0
1797.18/1797.81 c logicor : 200+ 5 7844 0 1 0 6803 0 0 0
1797.18/1797.81 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.18/1797.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.18/1797.81 c integral : 464.37 0.00 0.00 464.37 0.00
1797.18/1797.81 c knapsack : 0.06 0.00 0.06 0.00 0.00
1797.18/1797.81 c setppc : 1.36 0.00 1.36 0.00 0.00
1797.18/1797.81 c and : 52.32 30.32 21.97 0.03 0.00
1797.18/1797.81 c linear : 1.43 0.01 1.42 0.00 0.00
1797.18/1797.81 c logicor : 0.13 0.00 0.13 0.00 0.00
1797.18/1797.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.18/1797.81 c Propagators : Time Calls Cutoffs DomReds
1797.18/1797.81 c rootredcost : 0.00 0 0 0
1797.18/1797.81 c pseudoobj : 28.20 23769 0 0
1797.18/1797.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.18/1797.81 c propagation : 0.00 103 103 103 2.4 0 0.0 -
1797.18/1797.81 c infeasible LP : 3.54 2444 0 0 0.0 0 0.0 0
1797.18/1797.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.18/1797.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.18/1797.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.18/1797.81 c applied globally : - - - 103 2.4 - - -
1797.18/1797.81 c applied locally : - - - 0 0.0 - - -
1797.18/1797.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.18/1797.81 c cut pool : 0.00 4 - - 3 - (maximal pool size: 27)
1797.18/1797.81 c redcost : 6.77 6256 0 0 0 0
1797.18/1797.81 c impliedbounds : 0.01 5 0 0 0 0
1797.18/1797.81 c intobj : 0.00 0 0 0 0 0
1797.18/1797.81 c gomory : 16.78 5 0 0 1000 0
1797.18/1797.81 c strongcg : 12.54 5 0 0 1551 0
1797.18/1797.81 c cmir : 0.00 0 0 0 0 0
1797.18/1797.81 c flowcover : 0.00 0 0 0 0 0
1797.18/1797.81 c clique : 0.05 5 0 0 0 0
1797.18/1797.81 c zerohalf : 0.00 0 0 0 0 0
1797.18/1797.81 c mcf : 0.21 2 0 0 0 0
1797.18/1797.81 c Pricers : Time Calls Vars
1797.18/1797.81 c problem variables: 0.00 0 0
1797.18/1797.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.18/1797.81 c relpscost : 464.34 5710 41 642 0 0 10796
1797.18/1797.81 c pscost : 0.00 0 0 0 0 0 0
1797.18/1797.81 c inference : 0.00 1 0 0 0 0 2
1797.18/1797.81 c mostinf : 0.00 0 0 0 0 0 0
1797.18/1797.81 c leastinf : 0.00 0 0 0 0 0 0
1797.18/1797.81 c fullstrong : 0.00 0 0 0 0 0 0
1797.18/1797.81 c allfullstrong : 0.00 0 0 0 0 0 0
1797.18/1797.81 c random : 0.00 0 0 0 0 0 0
1797.18/1797.81 c Primal Heuristics : Time Calls Found
1797.18/1797.81 c LP solutions : 0.00 - 0
1797.18/1797.81 c pseudo solutions : 0.00 - 0
1797.18/1797.81 c simplerounding : 0.00 0 0
1797.18/1797.81 c rounding : 0.00 0 0
1797.18/1797.81 c shifting : 0.00 0 0
1797.18/1797.81 c intshifting : 0.00 0 0
1797.18/1797.81 c oneopt : 0.00 0 0
1797.18/1797.81 c fixandinfer : 0.00 0 0
1797.18/1797.81 c feaspump : 0.00 0 0
1797.18/1797.81 c coefdiving : 0.00 0 0
1797.18/1797.81 c pscostdiving : 0.00 0 0
1797.18/1797.81 c fracdiving : 0.00 0 0
1797.18/1797.81 c veclendiving : 0.00 0 0
1797.18/1797.81 c intdiving : 0.00 0 0
1797.18/1797.81 c actconsdiving : 0.00 0 0
1797.18/1797.81 c objpscostdiving : 0.00 0 0
1797.18/1797.81 c rootsoldiving : 0.00 0 0
1797.18/1797.81 c linesearchdiving : 0.00 0 0
1797.18/1797.81 c guideddiving : 0.00 0 0
1797.18/1797.81 c octane : 0.00 0 0
1797.18/1797.81 c rens : 0.00 0 0
1797.18/1797.81 c rins : 0.00 0 0
1797.18/1797.81 c localbranching : 0.00 0 0
1797.18/1797.81 c mutation : 0.00 0 0
1797.18/1797.81 c crossover : 0.00 0 0
1797.18/1797.81 c dins : 0.00 0 0
1797.18/1797.81 c LP : Time Calls Iterations Iter/call Iter/sec
1797.18/1797.81 c primal LP : 251.23 0 0 0.00 0.00
1797.18/1797.81 c dual LP : 889.31 14399 1987719 138.05 2235.12
1797.18/1797.81 c barrier LP : 0.00 0 0 0.00 -
1797.18/1797.81 c diving/probing LP: 0.00 0 0 0.00 -
1797.18/1797.81 c strong branching : 462.86 11953 1028988 86.09 2223.11
1797.18/1797.81 c (at root node) : - 33 12667 383.85 -
1797.18/1797.81 c conflict analysis: 0.00 0 0 0.00 -
1797.18/1797.81 c B&B Tree :
1797.18/1797.81 c number of runs : 1
1797.18/1797.81 c nodes : 7987
1797.18/1797.81 c nodes (total) : 7987
1797.18/1797.81 c nodes left : 2812
1797.18/1797.81 c max depth : 55
1797.18/1797.81 c max depth (total): 55
1797.18/1797.81 c backtracks : 532 (6.7%)
1797.18/1797.81 c delayed cutoffs : 0
1797.18/1797.81 c repropagations : 1402 (3447 domain reductions, 0 cutoffs)
1797.18/1797.81 c avg switch length: 2.79
1797.18/1797.81 c switching time : 262.85
1797.18/1797.81 c Solution :
1797.18/1797.81 c Solutions found : 0 (0 improvements)
1797.18/1797.81 c Primal Bound : -
1797.18/1797.81 c Dual Bound : +8.00000000000005e+01
1797.18/1797.81 c Gap : infinite
1797.18/1797.81 c Root Dual Bound : +8.00000000000003e+01
1797.38/1798.05 c Time complete: 1797.43.
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-1870709-1245216487/watcher-1870709-1245216487 -o /tmp/evaluation-result-1870709-1245216487/solver-1870709-1245216487 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870709-1245216487.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 9696 /proc/meminfo: memFree=1849968/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=5812 CPUtime=0 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 189247954 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/9696/statm: 1453 501 332 1256 0 192 0 [startup+0.062842 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9696 /proc/meminfo: memFree=1849968/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=17284 CPUtime=0.05 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 3281 0 0 0 4 1 0 0 18 0 1 0 189247954 17698816 3265 1992294400 4194304 9342243 548682068736 18446744073709551615 8251520 0 0 4096 0 0 0 0 17 1 0 0 /proc/9696/statm: 4321 3265 376 1256 0 3060 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17284 [startup+0.101846 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9696 /proc/meminfo: memFree=1849968/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=23924 CPUtime=0.09 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 5342 0 0 0 7 2 0 0 18 0 1 0 189247954 24498176 4972 1992294400 4194304 9342243 548682068736 18446744073709551615 8251447 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 5981 4972 408 1256 0 4720 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23924 [startup+0.301876 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9696 /proc/meminfo: memFree=1849968/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=32772 CPUtime=0.29 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 7355 0 0 0 21 8 0 0 19 0 1 0 189247954 33558528 6985 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 8193 6985 446 1256 0 6932 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32772 [startup+0.701937 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9696 /proc/meminfo: memFree=1849968/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=64504 CPUtime=0.69 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 14108 0 0 0 48 21 0 0 17 0 1 0 189247954 66052096 13687 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 16126 13687 615 1256 0 14865 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64504 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1791592/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=76692 CPUtime=1.49 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 17595 0 0 0 124 25 0 0 23 0 1 0 189247954 78532608 17117 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 19173 17117 654 1256 0 17912 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 76692 [startup+3.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1781736/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=78816 CPUtime=3.09 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 18763 0 0 0 284 25 0 0 25 0 1 0 189247954 80707584 18282 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 19704 18282 656 1256 0 18443 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 78816 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1778792/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=78816 CPUtime=6.28 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 18763 0 0 0 602 26 0 0 25 0 1 0 189247954 80707584 18282 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 19704 18282 656 1256 0 18443 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 78816 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1776680/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=81800 CPUtime=12.68 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 19331 0 0 0 1240 28 0 0 25 0 1 0 189247954 83763200 18850 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 20450 18850 656 1256 0 19189 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81800 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1776040/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=83676 CPUtime=25.48 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 19526 0 0 0 2517 31 0 0 25 0 1 0 189247954 85684224 19045 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 20919 19045 656 1256 0 19658 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 83676 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1774376/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=91928 CPUtime=51.07 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 26041 0 0 0 5068 39 0 0 25 0 1 0 189247954 94134272 19476 1992294400 4194304 9342243 548682068736 18446744073709551615 6967304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 22982 19476 661 1256 0 21721 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 91928 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1774184/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=83764 CPUtime=102.25 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 29007 0 0 0 10173 52 0 0 25 0 1 0 189247954 85774336 19538 1992294400 4194304 9342243 548682068736 18446744073709551615 6039489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 20941 19538 687 1256 0 19680 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 83764 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1773672/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=85416 CPUtime=162.23 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 29775 0 0 0 16153 70 0 0 25 0 1 0 189247954 87465984 19687 1992294400 4194304 9342243 548682068736 18446744073709551615 6342075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 21354 19687 687 1256 0 20093 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 85416 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1770920/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=87716 CPUtime=222.21 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 44646 0 0 0 22133 88 0 0 25 0 1 0 189247954 89821184 20336 1992294400 4194304 9342243 548682068736 18446744073709551615 6978066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 21929 20336 687 1256 0 20668 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 87716 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1767016/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=93604 CPUtime=282.18 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 59273 0 0 0 28109 109 0 0 25 0 1 0 189247954 95850496 21404 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 23401 21404 687 1256 0 22140 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 93604 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1761192/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=99276 CPUtime=342.17 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 71546 0 0 0 34090 127 0 0 25 0 1 0 189247954 101658624 22772 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 24819 22772 687 1256 0 23558 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 99276 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1757032/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=100636 CPUtime=402.15 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 85520 0 0 0 40069 146 0 0 25 0 1 0 189247954 103051264 23488 1992294400 4194304 9342243 548682068736 18446744073709551615 6039489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 25159 23488 687 1256 0 23898 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 100636 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1754024/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=107028 CPUtime=462.12 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 97769 0 0 0 46048 164 0 0 25 0 1 0 189247954 109596672 24554 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 26757 24554 687 1256 0 25496 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 107028 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1750696/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=107476 CPUtime=522.1 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 112297 0 0 0 52029 181 0 0 25 0 1 0 189247954 110055424 25033 1992294400 4194304 9342243 548682068736 18446744073709551615 6960356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 26869 25033 687 1256 0 25608 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 107476 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1744872/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=113504 CPUtime=582.09 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 123880 0 0 0 58010 199 0 0 25 0 1 0 189247954 116228096 26813 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 28376 26813 687 1256 0 27115 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 113504 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1742312/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=116004 CPUtime=642.07 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 139353 0 0 0 63989 218 0 0 25 0 1 0 189247954 118788096 27387 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 29001 27387 687 1256 0 27740 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 116004 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1709608/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=148920 CPUtime=1121.91 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 269799 0 0 0 111816 375 0 0 25 0 1 0 189247954 152494080 35564 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 37230 35564 687 1256 0 35969 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 148920 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1708968/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=153596 CPUtime=1181.89 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 289422 0 0 0 117791 398 0 0 25 0 1 0 189247954 157282304 35674 1992294400 4194304 9342243 548682068736 18446744073709551615 6957669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 38399 35674 687 1256 0 37138 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 153596 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1705960/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=153840 CPUtime=1241.87 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 312218 0 0 0 123764 423 0 0 25 0 1 0 189247954 157532160 36658 1992294400 4194304 9342243 548682068736 18446744073709551615 6960714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 38460 36658 687 1256 0 37199 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 153840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1700392/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=158196 CPUtime=1301.86 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 317807 0 0 0 129747 439 0 0 25 0 1 0 189247954 161992704 37752 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 39549 37752 687 1256 0 38288 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 158196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9697 /proc/meminfo: memFree=1696936/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=162732 CPUtime=1361.83 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 329547 0 0 0 135726 457 0 0 25 0 1 0 189247954 166637568 38643 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 40683 38643 687 1256 0 39422 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 162732 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1692008/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=166236 CPUtime=1421.81 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 339568 0 0 0 141705 476 0 0 25 0 1 0 189247954 170225664 39546 1992294400 4194304 9342243 548682068736 18446744073709551615 6080931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 41559 39546 687 1256 0 40298 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 166236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1688680/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=169088 CPUtime=1481.78 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 359038 0 0 0 147679 499 0 0 25 0 1 0 189247954 173146112 40062 1992294400 4194304 9342243 548682068736 18446744073709551615 6040798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 42272 40062 687 1256 0 41011 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 169088 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1686184/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=176236 CPUtime=1541.77 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 375638 0 0 0 153652 525 0 0 25 0 1 0 189247954 180465664 41070 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 44059 41070 687 1256 0 42798 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 176236 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1680552/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=178268 CPUtime=1601.75 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 388529 0 0 0 159632 543 0 0 25 0 1 0 189247954 182546432 42497 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 44567 42497 687 1256 0 43306 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 178268 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1679912/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=179052 CPUtime=1661.73 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 407100 0 0 0 165607 566 0 0 25 0 1 0 189247954 183349248 42696 1992294400 4194304 9342243 548682068736 18446744073709551615 6501091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 44763 42696 687 1256 0 43502 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 179052 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1676008/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=182136 CPUtime=1721.71 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 424004 0 0 0 171585 586 0 0 25 0 1 0 189247954 186507264 43582 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 45534 43582 687 1256 0 44273 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 182136 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1671656/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=186952 CPUtime=1781.69 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 438447 0 0 0 177562 607 0 0 25 0 1 0 189247954 191438848 44776 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 46738 44776 687 1256 0 45477 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 186952 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 9699 /proc/meminfo: memFree=1671720/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=187648 CPUtime=1784.89 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 439110 0 0 0 177881 608 0 0 25 0 1 0 189247954 192151552 44786 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 46912 44786 687 1256 0 45651 0 Current children cumulated CPU time (s) 1784.89 Current children cumulated vsize (KiB) 187648 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1671144/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=187868 CPUtime=1791.28 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 440380 0 0 0 178519 609 0 0 25 0 1 0 189247954 192376832 44772 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 46967 44772 687 1256 0 45706 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 187868 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1671336/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=187340 CPUtime=1794.48 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 441078 0 0 0 178837 611 0 0 25 0 1 0 189247954 191836160 44720 1992294400 4194304 9342243 548682068736 18446744073709551615 6080947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 46835 44720 687 1256 0 45574 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 187340 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1670824/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=187936 CPUtime=1796.09 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 441208 0 0 0 178997 612 0 0 25 0 1 0 189247954 192446464 44850 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 46984 44850 687 1256 0 45723 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 187936 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1670824/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=187936 CPUtime=1796.89 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 441318 0 0 0 179077 612 0 0 25 0 1 0 189247954 192446464 44960 1992294400 4194304 9342243 548682068736 18446744073709551615 6944026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9696/statm: 46984 44960 687 1256 0 45723 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 187936 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1670824/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=187936 CPUtime=1797.28 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 441355 0 0 0 179116 612 0 0 24 0 1 0 189247954 192446464 44997 1992294400 4194304 9342243 548682068736 18446744073709551615 4806025 0 0 4096 0 0 0 0 17 1 0 0 /proc/9696/statm: 46984 44997 690 1256 0 45723 0 Current children cumulated CPU time (s) 1797.28 Current children cumulated vsize (KiB) 187936 [startup+1798 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9699 /proc/meminfo: memFree=1670824/2055920 swapFree=4181956/4192956 [pid=9696] ppid=9694 vsize=187936 CPUtime=1797.38 /proc/9696/stat : 9696 (pbscip.linux.x8) R 9694 9696 9455 0 -1 4194304 441356 0 0 0 179126 612 0 0 25 0 1 0 189247954 192446464 44998 1992294400 4194304 9342243 548682068736 18446744073709551615 5854288 0 0 4096 0 0 0 0 17 1 0 0 /proc/9696/statm: 46984 44998 691 1256 0 45723 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (KiB) 187936 Child status: 0 Real time (s): 1798.05 CPU time (s): 1797.44 CPU user time (s): 1791.29 CPU system time (s): 6.15606 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 191412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.29 system time used= 6.15606 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 441361 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= 1830 runsolver used 1.62375 second user time and 3.40648 second system time The end
Begin job on node34 at 2009-06-17 07:28:07 IDJOB=1870709 IDBENCH=48353 IDSOLVER=684 FILE ID=node34/1870709-1245216487 PBS_JOBID= 9368416 Free space on /tmp= 66252 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_4_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-1870709-1245216487/watcher-1870709-1245216487 -o /tmp/evaluation-result-1870709-1245216487/solver-1870709-1245216487 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870709-1245216487.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83d1e3d1d0816aba7f8b7eb415a5cecb RANDOM SEED=1943140230 node34.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.263 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.263 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: 1850384 kB Buffers: 19612 kB Cached: 103336 kB SwapCached: 4008 kB Active: 46600 kB Inactive: 83436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850384 kB SwapTotal: 4192956 kB SwapFree: 4181956 kB Dirty: 11892 kB Writeback: 0 kB Mapped: 14336 kB Slab: 61508 kB Committed_AS: 188636 kB PageTables: 1384 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= 66240 MiB End job on node34 at 2009-06-17 07:58:05