| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 511.817 | 511.958 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb |
| MD5SUM | 86320fff0968ff7a2805751d322618eb |
| 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 | 8.60569 |
| 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 | 815 |
| 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-1868275-1245118840.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.09/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 | 53 |3513k| 0 | 31 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 98 |3692k| 0 | 48 | 231 |2564 |2564 | 231 |2574 | 10 | 0 | 0 | 1.100000e+01 | -- | Inf
0.49/0.55 c 0.5s| 1 | 0 | 131 |3794k| 0 | 45 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf
0.79/0.83 c 0.8s| 1 | 0 | 207 |3937k| 0 | 45 | 231 |2564 |2564 | 231 |2581 | 17 | 0 | 0 | 1.100000e+01 | -- | Inf
0.99/1.01 c 0.9s| 1 | 0 | 292 |4211k| 0 | 44 | 231 |2564 |2564 | 231 |2585 | 21 | 0 | 0 | 1.100000e+01 | -- | Inf
1.19/1.20 c 1.1s| 1 | 0 | 336 |4330k| 0 | 42 | 231 |2564 |2564 | 231 |2587 | 23 | 0 | 0 | 1.100000e+01 | -- | Inf
2.10/2.11 c 2.0s| 1 | 2 | 336 |4330k| 0 | 42 | 231 |2564 |2564 | 231 |2587 | 23 | 0 | 18 | 1.100000e+01 | -- | Inf
149.75/149.86 c 149s| 10000 | 889 |376202 |6878k| 59 | - | 231 |3080 | 949 | 231 |2573 | 23 |1324 |2080 | 1.400000e+01 | -- | Inf
250.92/251.07 c 249s| 20000 | 1080 |703642 |7647k| 59 | 20 | 231 |3061 |1311 | 231 |2573 | 23 |3119 |2603 | 1.500000e+01 | -- | Inf
353.60/353.76 c 352s| 30000 | 1140 | 1039k|8087k| 59 | - | 231 |2958 |1337 | 231 |2573 | 23 |4100 |2976 | 1.500000e+01 | -- | Inf
450.96/451.18 c 448s| 40000 | 793 | 1337k|7452k| 59 | 28 | 231 |3158 | 979 | 231 |2573 | 23 |5394 |3499 | 1.600000e+01 | -- | Inf
511.75/511.94 c
511.75/511.94 c SCIP Status : problem is solved [infeasible]
511.75/511.94 c Solving Time (sec) : 508.88
511.75/511.94 c Solving Nodes : 47714
511.75/511.94 c Primal Bound : +1.00000000000000e+20 (0 solutions)
511.75/511.94 c Dual Bound : +1.00000000000000e+20
511.75/511.94 c Gap : 0.00 %
511.75/511.94 c NODE 47714
511.75/511.94 c DUAL BOUND 1e+20
511.75/511.94 c PRIMAL BOUND 1e+20
511.75/511.94 c GAP 0
511.75/511.94 s UNSATISFIABLE
511.75/511.94 c SCIP Status : problem is solved [infeasible]
511.75/511.94 c Solving Time : 508.88
511.75/511.94 c Original Problem :
511.75/511.94 c Problem name : HOME/instance-1868275-1245118840.opb
511.75/511.94 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
511.75/511.94 c Constraints : 2707 initial, 2707 maximal
511.75/511.94 c Presolved Problem :
511.75/511.94 c Problem name : t_HOME/instance-1868275-1245118840.opb
511.75/511.94 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
511.75/511.94 c Constraints : 2564 initial, 3511 maximal
511.75/511.94 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
511.75/511.94 c trivial : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c dualfix : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c boundshift : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c inttobinary : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c implics : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c probing : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c knapsack : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c setppc : 0.00 0 0 0 0 0 0 0 0
511.75/511.94 c linear : 0.03 0 0 0 0 0 143 0 0
511.75/511.94 c logicor : 0.01 0 0 0 0 0 0 0 0
511.75/511.94 c root node : - 1 - - 1 - - - -
511.75/511.94 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
511.75/511.94 c integral : 0 0 0 25027 0 283 1368 0 0 47926
511.75/511.94 c knapsack : 1 5 100423 0 0 477 158919 0 0 0
511.75/511.94 c setppc : 22 5 100138 0 0 1859 255759 0 0 0
511.75/511.94 c logicor : 2541+ 5 86460 0 0 542 289066 0 0 0
511.75/511.94 c countsols : 0 0 0 0 0 0 0 0 0 0
511.75/511.94 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
511.75/511.94 c integral : 74.37 0.00 0.00 74.37 0.00
511.75/511.94 c knapsack : 0.59 0.00 0.59 0.00 0.00
511.75/511.94 c setppc : 1.01 0.00 1.01 0.00 0.00
511.75/511.94 c logicor : 6.32 0.00 6.32 0.00 0.00
511.75/511.94 c countsols : 0.00 0.00 0.00 0.00 0.00
511.75/511.94 c Propagators : Time Calls Cutoffs DomReds
511.75/511.94 c rootredcost : 0.11 0 0 0
511.75/511.94 c pseudoobj : 1.32 100623 1 0
511.75/511.94 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
511.75/511.94 c propagation : 0.15 2878 2877 13494 14.7 23 15.3 -
511.75/511.94 c infeasible LP : 0.62 20801 0 0 0.0 0 0.0 0
511.75/511.94 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
511.75/511.94 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
511.75/511.94 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
511.75/511.94 c applied globally : - - - 6821 13.5 - - -
511.75/511.94 c applied locally : - - - 1 31.0 - - -
511.75/511.94 c Separators : Time Calls Cutoffs DomReds Cuts Conss
511.75/511.94 c cut pool : 0.00 4 - - 5 - (maximal pool size: 363)
511.75/511.94 c redcost : 0.51 24308 0 0 0 0
511.75/511.94 c impliedbounds : 0.00 5 0 0 0 0
511.75/511.94 c intobj : 0.00 0 0 0 0 0
511.75/511.94 c gomory : 0.59 5 0 0 2067 0
511.75/511.94 c strongcg : 0.35 5 0 0 2500 0
511.75/511.94 c cmir : 0.00 0 0 0 0 0
511.75/511.94 c flowcover : 0.00 0 0 0 0 0
511.75/511.94 c clique : 0.01 5 0 0 0 0
511.75/511.94 c zerohalf : 0.00 0 0 0 0 0
511.75/511.94 c mcf : 0.00 1 0 0 0 0
511.75/511.94 c Pricers : Time Calls Vars
511.75/511.94 c problem variables: 0.00 0 0
511.75/511.94 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
511.75/511.94 c relpscost : 74.27 25027 283 1368 0 0 47926
511.75/511.94 c pscost : 0.00 0 0 0 0 0 0
511.75/511.94 c inference : 0.00 0 0 0 0 0 0
511.75/511.94 c mostinf : 0.00 0 0 0 0 0 0
511.75/511.94 c leastinf : 0.00 0 0 0 0 0 0
511.75/511.94 c fullstrong : 0.00 0 0 0 0 0 0
511.75/511.94 c allfullstrong : 0.00 0 0 0 0 0 0
511.75/511.94 c random : 0.00 0 0 0 0 0 0
511.75/511.94 c Primal Heuristics : Time Calls Found
511.75/511.94 c LP solutions : 0.00 - 0
511.75/511.94 c pseudo solutions : 0.00 - 0
511.75/511.94 c simplerounding : 0.00 0 0
511.75/511.94 c rounding : 0.00 0 0
511.75/511.94 c shifting : 0.00 0 0
511.75/511.94 c intshifting : 0.00 0 0
511.75/511.94 c oneopt : 0.00 0 0
511.75/511.94 c fixandinfer : 0.00 0 0
511.75/511.94 c feaspump : 0.00 0 0
511.75/511.94 c coefdiving : 0.00 0 0
511.75/511.94 c pscostdiving : 0.00 0 0
511.75/511.94 c fracdiving : 0.00 0 0
511.75/511.94 c veclendiving : 0.00 0 0
511.75/511.94 c intdiving : 0.00 0 0
511.75/511.94 c actconsdiving : 0.00 0 0
511.75/511.94 c objpscostdiving : 0.00 0 0
511.75/511.94 c rootsoldiving : 0.00 0 0
511.75/511.94 c linesearchdiving : 0.00 0 0
511.75/511.94 c guideddiving : 0.00 0 0
511.75/511.94 c octane : 0.00 0 0
511.75/511.94 c rens : 0.00 0 0
511.75/511.94 c rins : 0.00 0 0
511.75/511.94 c localbranching : 0.00 0 0
511.75/511.94 c mutation : 0.00 0 0
511.75/511.94 c crossover : 0.00 0 0
511.75/511.94 c dins : 0.00 0 0
511.75/511.94 c LP : Time Calls Iterations Iter/call Iter/sec
511.75/511.94 c primal LP : 0.01 0 0 0.00 0.00
511.75/511.94 c dual LP : 398.99 45695 1501145 32.85 3762.36
511.75/511.94 c barrier LP : 0.00 0 0 0.00 -
511.75/511.94 c diving/probing LP: 0.00 0 0 0.00 -
511.75/511.94 c strong branching : 73.23 3798 292065 76.90 3988.32
511.75/511.94 c (at root node) : - 18 3143 174.61 -
511.75/511.94 c conflict analysis: 0.00 0 0 0.00 -
511.75/511.94 c B&B Tree :
511.75/511.94 c number of runs : 1
511.75/511.94 c nodes : 47714
511.75/511.94 c nodes (total) : 47714
511.75/511.94 c nodes left : 0
511.75/511.94 c max depth : 59
511.75/511.94 c max depth (total): 59
511.75/511.94 c backtracks : 5115 (10.7%)
511.75/511.94 c delayed cutoffs : 213
511.75/511.94 c repropagations : 6903 (19371 domain reductions, 212 cutoffs)
511.75/511.94 c avg switch length: 4.86
511.75/511.94 c switching time : 7.96
511.75/511.94 c Solution :
511.75/511.94 c Solutions found : 0 (0 improvements)
511.75/511.94 c Primal Bound : infeasible
511.75/511.94 c Dual Bound : -
511.75/511.94 c Gap : 0.00 %
511.75/511.94 c Root Dual Bound : +1.10000000000000e+01
511.75/511.95 c Time complete: 511.8.
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-1868275-1245118840/watcher-1868275-1245118840 -o /tmp/evaluation-result-1868275-1245118840/solver-1868275-1245118840 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868275-1245118840.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 10261 /proc/meminfo: memFree=1120832/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=5812 CPUtime=0 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 179484312 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/10261/statm: 1453 512 341 1256 0 192 0 [startup+0.0843611 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10261 /proc/meminfo: memFree=1120832/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=17624 CPUtime=0.07 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 3558 0 0 0 6 1 0 0 18 0 1 0 179484312 18046976 3188 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 4406 3188 465 1256 0 3145 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17624 [startup+0.101362 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10261 /proc/meminfo: memFree=1120832/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=18752 CPUtime=0.09 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 3847 0 0 0 7 2 0 0 18 0 1 0 179484312 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301382 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10261 /proc/meminfo: memFree=1120832/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=25316 CPUtime=0.29 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 5270 0 0 0 27 2 0 0 18 0 1 0 179484312 25923584 4900 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 6329 4900 649 1256 0 5068 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25316 [startup+0.701424 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10261 /proc/meminfo: memFree=1120832/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=26820 CPUtime=0.7 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 5599 0 0 0 67 3 0 0 21 0 1 0 179484312 27463680 5229 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 6705 5229 649 1256 0 5444 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 26820 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1099576/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=32488 CPUtime=1.49 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 6724 0 0 0 145 4 0 0 25 0 1 0 179484312 33267712 6169 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 8122 6169 654 1256 0 6861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32488 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1098488/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=32780 CPUtime=3.09 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 8095 0 0 0 305 4 0 0 25 0 1 0 179484312 33566720 6340 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 8195 6340 670 1256 0 6934 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32780 [startup+6.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1097528/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=30076 CPUtime=6.3 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 9099 0 0 0 624 6 0 0 25 0 1 0 179484312 30797824 6367 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 7519 6367 674 1256 0 6258 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 30076 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1097344/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=32964 CPUtime=12.69 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 13546 0 0 0 1260 9 0 0 25 0 1 0 179484312 33755136 6429 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 8241 6429 675 1256 0 6980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32964 [startup+25.503 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1097472/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=33004 CPUtime=25.49 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 16856 0 0 0 2533 16 0 0 25 0 1 0 179484312 33796096 6434 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 8251 6434 675 1256 0 6990 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33004 [startup+51.1026 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1096896/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=31600 CPUtime=51.08 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 32311 0 0 0 5073 35 0 0 25 0 1 0 179484312 32358400 6581 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 7900 6581 678 1256 0 6639 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31600 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1095552/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=33032 CPUtime=102.27 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 57670 0 0 0 10158 69 0 0 25 0 1 0 179484312 33824768 6929 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 8258 6929 678 1256 0 6997 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33032 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1094208/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=34620 CPUtime=162.25 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 77382 0 0 0 16116 109 0 0 25 0 1 0 179484312 35450880 7283 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 8655 7283 678 1256 0 7394 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34620 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1093888/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=34928 CPUtime=222.23 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 90969 0 0 0 22082 141 0 0 25 0 1 0 179484312 35766272 7329 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 8732 7329 678 1256 0 7471 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 34928 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092480/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=37740 CPUtime=282.21 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 91885 0 0 0 28054 167 0 0 25 0 1 0 179484312 38645760 7699 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9435 7699 678 1256 0 8174 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 37740 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092352/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36284 CPUtime=342.2 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 97093 0 0 0 34026 194 0 0 25 0 1 0 179484312 37154816 7717 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9071 7717 678 1256 0 7810 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 36284 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092160/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=38828 CPUtime=402.18 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 105552 0 0 0 39993 225 0 0 25 0 1 0 179484312 39759872 7775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9707 7775 678 1256 0 8446 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 38828 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092160/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36616 CPUtime=462.16 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 117937 0 0 0 45957 259 0 0 25 0 1 0 179484312 37494784 7767 1992294400 4194304 9342243 548682068736 18446744073709551615 6911081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9154 7767 678 1256 0 7893 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 36616 Solver just ended. Dumping a history of the last processes samples [startup+486.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1091968/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36636 CPUtime=486.16 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 123393 0 0 0 48342 274 0 0 25 0 1 0 179484312 37515264 7796 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9159 7796 678 1256 0 7898 0 Current children cumulated CPU time (s) 486.16 Current children cumulated vsize (KiB) 36636 [startup+499.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1091968/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36644 CPUtime=498.96 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 123676 0 0 0 49616 280 0 0 25 0 1 0 179484312 37523456 7732 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9161 7732 678 1256 0 7900 0 Current children cumulated CPU time (s) 498.96 Current children cumulated vsize (KiB) 36644 [startup+505.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092032/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=38852 CPUtime=505.35 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 124768 0 0 0 50251 284 0 0 25 0 1 0 179484312 39784448 7807 1992294400 4194304 9342243 548682068736 18446744073709551615 6496599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9713 7807 678 1256 0 8452 0 Current children cumulated CPU time (s) 505.35 Current children cumulated vsize (KiB) 38852 [startup+508.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092096/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36640 CPUtime=508.55 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 125250 0 0 0 50570 285 0 0 25 0 1 0 179484312 37519360 7778 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9160 7778 678 1256 0 7899 0 Current children cumulated CPU time (s) 508.55 Current children cumulated vsize (KiB) 36640 [startup+510.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092096/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36624 CPUtime=510.16 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 125415 0 0 0 50730 286 0 0 25 0 1 0 179484312 37502976 7776 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9156 7776 678 1256 0 7895 0 Current children cumulated CPU time (s) 510.16 Current children cumulated vsize (KiB) 36624 [startup+511.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1092096/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36640 CPUtime=510.95 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 125489 0 0 0 50809 286 0 0 25 0 1 0 179484312 37519360 7790 1992294400 4194304 9342243 548682068736 18446744073709551615 6044078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9160 7790 678 1256 0 7899 0 Current children cumulated CPU time (s) 510.95 Current children cumulated vsize (KiB) 36640 [startup+511.505 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1091904/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36640 CPUtime=511.35 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 125493 0 0 0 50849 286 0 0 25 0 1 0 179484312 37519360 7794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9160 7794 678 1256 0 7899 0 Current children cumulated CPU time (s) 511.35 Current children cumulated vsize (KiB) 36640 [startup+511.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10262 /proc/meminfo: memFree=1091904/2055920 swapFree=4191900/4192956 [pid=10261] ppid=10259 vsize=36640 CPUtime=511.75 /proc/10261/stat : 10261 (pbscip.linux.x8) R 10259 10261 9552 0 -1 4194304 125552 0 0 0 50888 287 0 0 25 0 1 0 179484312 37519360 7744 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10261/statm: 9160 7744 679 1256 0 7899 0 Current children cumulated CPU time (s) 511.75 Current children cumulated vsize (KiB) 36640 Child status: 0 Real time (s): 511.958 CPU time (s): 511.817 CPU user time (s): 508.939 CPU system time (s): 2.87856 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 39092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 508.939 system time used= 2.87856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125568 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= 988 runsolver used 0.484926 second user time and 0.942856 second system time The end
Begin job on node24 at 2009-06-16 04:20:40 IDJOB=1868275 IDBENCH=1304 IDSOLVER=684 FILE ID=node24/1868275-1245118840 PBS_JOBID= 9363639 Free space on /tmp= 66364 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.1900558106.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-1868275-1245118840/watcher-1868275-1245118840 -o /tmp/evaluation-result-1868275-1245118840/solver-1868275-1245118840 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868275-1245118840.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86320fff0968ff7a2805751d322618eb RANDOM SEED=354523996 node24.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.231 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.231 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: 1121248 kB Buffers: 55180 kB Cached: 799252 kB SwapCached: 260 kB Active: 155280 kB Inactive: 711920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1121248 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11868 kB Writeback: 0 kB Mapped: 21244 kB Slab: 53384 kB Committed_AS: 174540 kB PageTables: 1444 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66352 MiB End job on node24 at 2009-06-16 04:29:12