| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 296.1 | 296.263 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb |
| MD5SUM | 148040983257ccf233b3daf7936d3c1f |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 5.18121 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.05 c SCIP version 1.1.0.7
0.00/0.05 c LP-Solver Clp 1.8.2
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c read problem <HOME/instance-1868237-1245117440.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c start presolving problem
0.00/0.06 c presolving:
0.00/0.10 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.11 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.12 c presolving (3 rounds):
0.09/0.12 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 242 implications, 22 cliques
0.09/0.12 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.12 c 1 constraints of type <knapsack>
0.09/0.12 c 22 constraints of type <setppc>
0.09/0.12 c 2541 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.05
0.09/0.12 c SATUNSAT-LIN
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c separating/flowcover/freq = c -1
0.09/0.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c separating/cmir/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/veclendiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/simplerounding/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/shifting/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/rounding/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/rootsoldiving/freq = c -1
0.09/0.12 c # number of nodes added to the contingent of the total nodes
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.12 c heuristics/rens/nodesofs = c 2000
0.09/0.12 c # minimum percentage of integer variables that have to be fixable
0.09/0.12 c # [type: real, range: [0,1], default: 0.5]
0.09/0.12 c heuristics/rens/minfixingrate = c 0.3
0.09/0.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c heuristics/rens/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/pscostdiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/oneopt/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.12 c # [type: real, range: [0,1], default: 0.01]
0.09/0.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/objpscostdiving/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/linesearchdiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/intshifting/freq = c -1
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/guideddiving/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/fracdiving/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/feaspump/freq = c -1
0.09/0.12 c # minimum percentage of integer variables that have to be fixed
0.09/0.12 c # [type: real, range: [0,1], default: 0.666]
0.09/0.12 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.12 c # [type: real, range: [0,1], default: 0.1]
0.09/0.12 c heuristics/crossover/nodesquot = c 0.15
0.09/0.12 c # number of nodes without incumbent change that heuristic should wait
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.12 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.12 c # number of nodes added to the contingent of the total nodes
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.12 c heuristics/crossover/nodesofs = c 750
0.09/0.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.12 c heuristics/crossover/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/coefdiving/freq = c -1
0.09/0.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c presolving/probing/maxrounds = c 0
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.12 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.12 c constraints/knapsack/disaggregation = c FALSE
0.09/0.12 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.12 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/maxroundsroot = c 5
0.09/0.12 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.12 c separating/maxrounds = c 1
0.09/0.12 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c limits/solutions = c 1
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = c 1620
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = c 1791
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = c 10000
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving problem
0.09/0.12 c
0.09/0.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 0 | 58 |3513k| 0 | 32 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 84 |3693k| 0 | 35 | 231 |2564 |2564 | 231 |2573 | 9 | 0 | 0 | 1.100000e+01 | -- | Inf
0.39/0.41 c 0.3s| 1 | 0 | 168 |4007k| 0 | 44 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 0 | 1.100000e+01 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 351 |4358k| 0 | 46 | 231 |2564 |2564 | 231 |2585 | 21 | 0 | 0 | 1.100000e+01 | -- | Inf
0.89/0.90 c 0.8s| 1 | 0 | 617 |4727k| 0 | 34 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 0 | 1.100000e+01 | -- | Inf
1.10/1.16 c 1.1s| 1 | 0 | 854 |5093k| 0 | 35 | 231 |2564 |2564 | 231 |2591 | 27 | 0 | 0 | 1.100000e+01 | -- | Inf
2.09/2.16 c 2.1s| 1 | 2 | 854 |5094k| 0 | 35 | 231 |2564 |2564 | 231 |2591 | 27 | 0 | 22 | 1.100000e+01 | -- | Inf
134.64/134.77 c 134s| 10000 | 697 |362521 |7151k| 52 | 19 | 231 |2888 |1224 | 231 |2570 | 27 | 851 |2620 | 1.400000e+01 | -- | Inf
226.40/226.54 c 225s| 20000 | 592 |670756 |7161k| 52 | 33 | 231 |2759 |1434 | 231 |2570 | 27 |1511 |2897 | 1.500000e+01 | -- | Inf
296.03/296.24 c
296.03/296.24 c SCIP Status : problem is solved [infeasible]
296.03/296.24 c Solving Time (sec) : 293.92
296.03/296.24 c Solving Nodes : 27520
296.03/296.24 c Primal Bound : +1.00000000000000e+20 (0 solutions)
296.03/296.24 c Dual Bound : +1.00000000000000e+20
296.03/296.24 c Gap : 0.00 %
296.03/296.24 c NODE 27520
296.03/296.24 c DUAL BOUND 1e+20
296.03/296.24 c PRIMAL BOUND 1e+20
296.03/296.24 c GAP 0
296.03/296.24 s UNSATISFIABLE
296.03/296.24 c SCIP Status : problem is solved [infeasible]
296.03/296.24 c Solving Time : 293.92
296.03/296.24 c Original Problem :
296.03/296.24 c Problem name : HOME/instance-1868237-1245117440.opb
296.03/296.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
296.03/296.24 c Constraints : 2707 initial, 2707 maximal
296.03/296.24 c Presolved Problem :
296.03/296.24 c Problem name : t_HOME/instance-1868237-1245117440.opb
296.03/296.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
296.03/296.24 c Constraints : 2564 initial, 2951 maximal
296.03/296.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
296.03/296.24 c trivial : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c dualfix : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c boundshift : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c implics : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c probing : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c knapsack : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c setppc : 0.00 0 0 0 0 0 0 0 0
296.03/296.24 c linear : 0.02 0 0 0 0 0 143 0 0
296.03/296.24 c logicor : 0.03 0 0 0 0 0 0 0 0
296.03/296.24 c root node : - 2 - - 2 - - - -
296.03/296.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
296.03/296.24 c integral : 0 0 0 14713 0 188 1418 0 0 27566
296.03/296.24 c knapsack : 1 5 57814 0 0 124 59721 0 0 0
296.03/296.24 c setppc : 22 5 57796 0 0 577 150156 0 0 0
296.03/296.24 c logicor : 2541+ 5 50272 0 0 124 152324 0 0 0
296.03/296.24 c countsols : 0 0 0 0 0 0 0 0 0 0
296.03/296.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
296.03/296.24 c integral : 47.52 0.00 0.00 47.52 0.00
296.03/296.24 c knapsack : 0.26 0.00 0.26 0.00 0.00
296.03/296.24 c setppc : 0.65 0.01 0.64 0.00 0.00
296.03/296.24 c logicor : 3.44 0.00 3.44 0.00 0.00
296.03/296.24 c countsols : 0.00 0.00 0.00 0.00 0.00
296.03/296.24 c Propagators : Time Calls Cutoffs DomReds
296.03/296.24 c rootredcost : 0.03 0 0 0
296.03/296.24 c pseudoobj : 0.80 57929 1 0
296.03/296.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
296.03/296.24 c propagation : 0.08 825 825 3576 15.1 7 14.3 -
296.03/296.24 c infeasible LP : 0.60 12770 0 0 0.0 0 0.0 0
296.03/296.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
296.03/296.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
296.03/296.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
296.03/296.24 c applied globally : - - - 1937 14.1 - - -
296.03/296.24 c applied locally : - - - 0 0.0 - - -
296.03/296.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
296.03/296.24 c cut pool : 0.00 4 - - 2 - (maximal pool size: 553)
296.03/296.24 c redcost : 0.22 14011 0 0 0 0
296.03/296.24 c impliedbounds : 0.00 5 0 0 0 0
296.03/296.24 c intobj : 0.00 0 0 0 0 0
296.03/296.24 c gomory : 0.36 5 0 0 2500 0
296.03/296.24 c strongcg : 0.34 5 0 0 2500 0
296.03/296.24 c cmir : 0.00 0 0 0 0 0
296.03/296.24 c flowcover : 0.00 0 0 0 0 0
296.03/296.24 c clique : 0.00 5 0 0 0 0
296.03/296.24 c zerohalf : 0.00 0 0 0 0 0
296.03/296.24 c mcf : 0.00 1 0 0 0 0
296.03/296.24 c Pricers : Time Calls Vars
296.03/296.24 c problem variables: 0.00 0 0
296.03/296.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
296.03/296.24 c relpscost : 47.51 14713 188 1418 0 0 27566
296.03/296.24 c pscost : 0.00 0 0 0 0 0 0
296.03/296.24 c inference : 0.00 0 0 0 0 0 0
296.03/296.24 c mostinf : 0.00 0 0 0 0 0 0
296.03/296.24 c leastinf : 0.00 0 0 0 0 0 0
296.03/296.24 c fullstrong : 0.00 0 0 0 0 0 0
296.03/296.24 c allfullstrong : 0.00 0 0 0 0 0 0
296.03/296.24 c random : 0.00 0 0 0 0 0 0
296.03/296.24 c Primal Heuristics : Time Calls Found
296.03/296.24 c LP solutions : 0.00 - 0
296.03/296.24 c pseudo solutions : 0.00 - 0
296.03/296.24 c simplerounding : 0.00 0 0
296.03/296.24 c rounding : 0.00 0 0
296.03/296.24 c shifting : 0.00 0 0
296.03/296.24 c intshifting : 0.00 0 0
296.03/296.24 c oneopt : 0.00 0 0
296.03/296.24 c fixandinfer : 0.00 0 0
296.03/296.24 c feaspump : 0.00 0 0
296.03/296.24 c coefdiving : 0.00 0 0
296.03/296.24 c pscostdiving : 0.00 0 0
296.03/296.24 c fracdiving : 0.00 0 0
296.03/296.24 c veclendiving : 0.00 0 0
296.03/296.24 c intdiving : 0.00 0 0
296.03/296.24 c actconsdiving : 0.00 0 0
296.03/296.24 c objpscostdiving : 0.00 0 0
296.03/296.24 c rootsoldiving : 0.00 0 0
296.03/296.24 c linesearchdiving : 0.00 0 0
296.03/296.24 c guideddiving : 0.00 0 0
296.03/296.24 c octane : 0.00 0 0
296.03/296.24 c rens : 0.00 0 0
296.03/296.24 c rins : 0.00 0 0
296.03/296.24 c localbranching : 0.00 0 0
296.03/296.24 c mutation : 0.00 0 0
296.03/296.24 c crossover : 0.00 0 0
296.03/296.24 c dins : 0.00 0 0
296.03/296.24 c LP : Time Calls Iterations Iter/call Iter/sec
296.03/296.24 c primal LP : 0.01 0 0 0.00 0.00
296.03/296.24 c dual LP : 226.87 27426 870865 31.75 3838.61
296.03/296.24 c barrier LP : 0.00 0 0 0.00 -
296.03/296.24 c diving/probing LP: 0.00 0 0 0.00 -
296.03/296.24 c strong branching : 46.95 3595 200138 55.67 4262.79
296.03/296.24 c (at root node) : - 22 3514 159.73 -
296.03/296.24 c conflict analysis: 0.00 0 0 0.00 -
296.03/296.24 c B&B Tree :
296.03/296.24 c number of runs : 1
296.03/296.24 c nodes : 27520
296.03/296.24 c nodes (total) : 27520
296.03/296.24 c nodes left : 0
296.03/296.24 c max depth : 52
296.03/296.24 c max depth (total): 52
296.03/296.24 c backtracks : 2822 (10.3%)
296.03/296.24 c delayed cutoffs : 47
296.03/296.24 c repropagations : 1802 (4931 domain reductions, 47 cutoffs)
296.03/296.24 c avg switch length: 4.23
296.03/296.24 c switching time : 3.85
296.03/296.24 c Solution :
296.03/296.24 c Solutions found : 0 (0 improvements)
296.03/296.24 c Primal Bound : infeasible
296.03/296.24 c Dual Bound : -
296.03/296.24 c Gap : 0.00 %
296.03/296.24 c Root Dual Bound : +1.10000000000000e+01
296.03/296.26 c Time complete: 296.09.
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-1868237-1245117440/watcher-1868237-1245117440 -o /tmp/evaluation-result-1868237-1245117440/solver-1868237-1245117440 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868237-1245117440.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 4345 /proc/meminfo: memFree=1397496/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=5812 CPUtime=0 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 179343268 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/4345/statm: 1453 501 332 1256 0 192 0 [startup+0.106156 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4345 /proc/meminfo: memFree=1397496/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=18752 CPUtime=0.09 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 3853 0 0 0 7 2 0 0 18 0 1 0 179343268 19202048 3483 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 4688 3483 476 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.201169 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4345 /proc/meminfo: memFree=1397496/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=23996 CPUtime=0.19 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 4967 0 0 0 16 3 0 0 17 0 1 0 179343268 24571904 4597 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 5999 4597 636 1256 0 4738 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23996 [startup+0.301185 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4345 /proc/meminfo: memFree=1397496/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=25368 CPUtime=0.29 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 5338 0 0 0 26 3 0 0 17 0 1 0 179343268 25976832 4968 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 6342 4968 649 1256 0 5081 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25368 [startup+0.701245 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4345 /proc/meminfo: memFree=1397496/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=28384 CPUtime=0.69 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 6012 0 0 0 65 4 0 0 20 0 1 0 179343268 29065216 5642 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 7096 5642 649 1256 0 5835 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28384 [startup+1.50137 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1374128/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=33584 CPUtime=1.49 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 6962 0 0 0 144 5 0 0 25 0 1 0 179343268 34390016 6592 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8396 6592 654 1256 0 7135 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33584 [startup+3.10161 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1373232/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34436 CPUtime=3.08 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 8093 0 0 0 302 6 0 0 25 0 1 0 179343268 35262464 6609 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8609 6609 670 1256 0 7348 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34436 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1373360/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=33820 CPUtime=6.29 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 9862 0 0 0 621 8 0 0 25 0 1 0 179343268 34631680 6606 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8455 6606 675 1256 0 7194 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33820 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1373296/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=33580 CPUtime=12.69 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 16038 0 0 0 1257 12 0 0 25 0 1 0 179343268 34385920 6673 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8395 6673 675 1256 0 7134 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33580 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1373168/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=30944 CPUtime=25.48 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 42703 0 0 0 2520 28 0 0 25 0 1 0 179343268 31686656 6636 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 7736 6636 675 1256 0 6475 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30944 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1372720/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=33084 CPUtime=51.06 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 62823 0 0 0 5055 51 0 0 25 0 1 0 179343268 33878016 6804 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8271 6804 678 1256 0 7010 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 33084 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1372464/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=33740 CPUtime=102.25 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 99271 0 0 0 10132 93 0 0 25 0 1 0 179343268 34549760 6900 1992294400 4194304 9342243 548682068736 18446744073709551615 6887735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8435 6900 678 1256 0 7174 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 33740 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4346 /proc/meminfo: memFree=1370800/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34416 CPUtime=162.23 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 131706 0 0 0 16092 131 0 0 25 0 1 0 179343268 35241984 7290 1992294400 4194304 9342243 548682068736 18446744073709551615 6960748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8604 7290 678 1256 0 7343 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 34416 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4352 /proc/meminfo: memFree=1370336/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34632 CPUtime=222.21 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 132793 0 0 0 22064 157 0 0 25 0 1 0 179343268 35463168 7324 1992294400 4194304 9342243 548682068736 18446744073709551615 6044098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8658 7324 678 1256 0 7397 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 34632 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 7/75 4531 /proc/meminfo: memFree=1365704/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34796 CPUtime=282.16 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 167905 0 0 0 28016 200 0 0 25 0 1 0 179343268 35631104 7337 1992294400 4194304 9342243 548682068736 18446744073709551615 6213769 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4345/statm: 8699 7337 678 1256 0 7438 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 34796 Solver just ended. Dumping a history of the last processes samples [startup+288.001 s] /proc/loadavg: 1.08 1.02 1.01 2/71 4787 /proc/meminfo: memFree=1345760/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34788 CPUtime=287.84 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 171418 0 0 0 28577 207 0 0 25 0 1 0 179343268 35622912 7319 1992294400 4194304 9342243 548682068736 18446744073709551615 6223631 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4345/statm: 8697 7319 678 1256 0 7436 0 Current children cumulated CPU time (s) 287.84 Current children cumulated vsize (KiB) 34788 [startup+291.202 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4828 /proc/meminfo: memFree=1348240/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34800 CPUtime=291.03 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 172864 0 0 0 28894 209 0 0 25 0 1 0 179343268 35635200 7322 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8700 7322 678 1256 0 7439 0 Current children cumulated CPU time (s) 291.03 Current children cumulated vsize (KiB) 34800 [startup+294.401 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4828 /proc/meminfo: memFree=1348320/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34820 CPUtime=294.23 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 173790 0 0 0 29212 211 0 0 25 0 1 0 179343268 35655680 7328 1992294400 4194304 9342243 548682068736 18446744073709551615 6897501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8705 7328 678 1256 0 7444 0 Current children cumulated CPU time (s) 294.23 Current children cumulated vsize (KiB) 34820 [startup+295.201 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4828 /proc/meminfo: memFree=1348320/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34808 CPUtime=295.03 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 173887 0 0 0 29292 211 0 0 25 0 1 0 179343268 35643392 7345 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8702 7345 678 1256 0 7441 0 Current children cumulated CPU time (s) 295.03 Current children cumulated vsize (KiB) 34808 [startup+296.005 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4828 /proc/meminfo: memFree=1348320/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34792 CPUtime=295.84 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 174087 0 0 0 29372 212 0 0 25 0 1 0 179343268 35627008 7342 1992294400 4194304 9342243 548682068736 18446744073709551615 4753901 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8698 7342 679 1256 0 7437 0 Current children cumulated CPU time (s) 295.84 Current children cumulated vsize (KiB) 34792 [startup+296.201 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4828 /proc/meminfo: memFree=1348320/2055920 swapFree=4191900/4192956 [pid=4345] ppid=4343 vsize=34812 CPUtime=296.03 /proc/4345/stat : 4345 (pbscip.linux.x8) R 4343 4345 3578 0 -1 4194304 174133 0 0 0 29391 212 0 0 25 0 1 0 179343268 35647488 7336 1992294400 4194304 9342243 548682068736 18446744073709551615 6890510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4345/statm: 8703 7336 679 1256 0 7442 0 Current children cumulated CPU time (s) 296.03 Current children cumulated vsize (KiB) 34812 Child status: 0 Real time (s): 296.263 CPU time (s): 296.1 CPU user time (s): 293.973 CPU system time (s): 2.12668 CPU usage (%): 99.9449 Max. virtual memory (cumulated for all children) (KiB): 37464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 293.973 system time used= 2.12668 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 174146 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= 560 runsolver used 0.25696 second user time and 0.602908 second system time The end
Begin job on node34 at 2009-06-16 03:57:20 IDJOB=1868237 IDBENCH=1285 IDSOLVER=684 FILE ID=node34/1868237-1245117440 PBS_JOBID= 9363634 Free space on /tmp= 66252 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076.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-1868237-1245117440/watcher-1868237-1245117440 -o /tmp/evaluation-result-1868237-1245117440/solver-1868237-1245117440 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868237-1245117440.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 148040983257ccf233b3daf7936d3c1f RANDOM SEED=925330124 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: 1398744 kB Buffers: 45220 kB Cached: 528032 kB SwapCached: 260 kB Active: 49476 kB Inactive: 537028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1398744 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11812 kB Writeback: 0 kB Mapped: 21784 kB Slab: 56744 kB Committed_AS: 153764 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-16 04:02:16