| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 611.926 | 612.12 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb |
| MD5SUM | 75bd0b27f5ff05dc207afe3c3d5552d1 |
| 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 | 27.7288 |
| 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 | 721 |
| 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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667260-1276290283.opb>
0.04/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.04/0.06 c problem read
0.04/0.06 c No objective function, only one solution is needed.
0.04/0.06 c presolving settings loaded
0.04/0.07 c presolving:
0.09/0.12 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.13 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.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.07
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.55 c 0.4s| 1 | 0 | 110 | - |4012k| 0 | 40 | 231 |2763 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.70 c 0.6s| 1 | 0 | 162 | - |4479k| 0 | 48 | 231 |2763 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.02 c 0.9s| 1 | 0 | 187 | - |4887k| 0 | 46 | 231 |2763 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.39 c 1.2s| 1 | 0 | 225 | - |5341k| 0 | 47 | 231 |2763 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.75 c 1.6s| 1 | 0 | 257 | - |5460k| 0 | 52 | 231 |2763 | 231 |2593 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 c 2.3s| 1 | 2 | 257 | - |5460k| 0 | 52 | 231 |2763 | 231 |2593 | 29 | 0 | 9 | 0.000000e+00 | -- | Inf
172.64/172.74 c 169s| 10000 | 49 |308469 | 30.8 |7943k| 42 | 37 | 231 |8260 | 231 |2578 | 29 |7219 |2286 | 0.000000e+00 | -- | Inf
301.99/302.10 c 296s| 20000 | 53 |614429 | 30.7 |9352k| 43 | 45 | 231 | 11k| 231 |2578 | 29 | 14k|2578 | 0.000000e+00 | -- | Inf
450.45/450.63 c 442s| 30000 | 102 |952240 | 31.7 | 10M| 47 | - | 231 | 14k| 231 |2578 | 29 | 22k|3282 | 0.000000e+00 | -- | Inf
588.71/588.92 c 577s| 40000 | 21 | 1263k| 31.6 |9954k| 51 | - | 231 | 11k| 231 |2578 | 29 | 29k|3879 | 0.000000e+00 | -- | Inf
611.80/612.08 c
611.80/612.08 c SCIP Status : problem is solved [infeasible]
611.80/612.08 c Solving Time (sec) : 599.80
611.80/612.08 c Solving Nodes : 41700
611.80/612.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
611.80/612.08 c Dual Bound : +1.00000000000000e+20
611.80/612.08 c Gap : 0.00 %
611.80/612.08 s UNSATISFIABLE
611.80/612.08 c SCIP Status : problem is solved [infeasible]
611.80/612.08 c Solving Time : 599.80
611.80/612.08 c Original Problem :
611.80/612.08 c Problem name : HOME/instance-2667260-1276290283.opb
611.80/612.08 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
611.80/612.08 c Constraints : 2707 initial, 2707 maximal
611.80/612.08 c Presolved Problem :
611.80/612.08 c Problem name : t_HOME/instance-2667260-1276290283.opb
611.80/612.08 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
611.80/612.08 c Constraints : 2564 initial, 14356 maximal
611.80/612.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
611.80/612.08 c trivial : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c implics : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c probing : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c knapsack : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c setppc : 0.00 0 0 0 0 0 0 0 0
611.80/612.08 c linear : 0.02 0 0 0 0 0 143 0 0
611.80/612.08 c logicor : 0.02 0 0 0 0 0 0 0 0
611.80/612.08 c root node : - 21 - - 21 - - - -
611.80/612.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
611.80/612.08 c integral : 0 0 0 21844 0 85 1512 0 0 41976
611.80/612.08 c knapsack : 1 5 168400 0 0 198 83752 0 0 0
611.80/612.08 c setppc : 22 5 168360 0 0 901 247252 0 0 0
611.80/612.08 c linear : 0+ 5 165721 0 0 16 3498 2 0 0
611.80/612.08 c logicor : 2541+ 5 80996 0 0 300 262967 0 0 0
611.80/612.08 c countsols : 0 0 0 0 0 0 0 0 0 0
611.80/612.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
611.80/612.08 c integral : 78.14 0.00 0.00 78.14 0.00
611.80/612.08 c knapsack : 1.35 0.00 1.35 0.00 0.00
611.80/612.08 c setppc : 3.29 0.00 3.29 0.00 0.00
611.80/612.08 c linear : 1.45 0.00 1.45 0.00 0.00
611.80/612.08 c logicor : 15.64 0.00 15.64 0.00 0.00
611.80/612.08 c countsols : 0.00 0.00 0.00 0.00 0.00
611.80/612.08 c Propagators : Time Calls Cutoffs DomReds
611.80/612.08 c vbounds : 0.16 1 0 0
611.80/612.08 c rootredcost : 0.14 0 0 0
611.80/612.08 c pseudoobj : 0.07 0 0 0
611.80/612.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
611.80/612.08 c propagation : 0.09 1415 1404 7128 19.4 35 19.1 -
611.80/612.08 c infeasible LP : 8.02 19486 19304 115292 29.7 111 17.6 0
611.80/612.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
611.80/612.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
611.80/612.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
611.80/612.08 c applied globally : - - - 30575 18.7 - - -
611.80/612.08 c applied locally : - - - 628 33.9 - - -
611.80/612.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
611.80/612.08 c cut pool : 0.00 4 - - 13 - (maximal pool size: 549)
611.80/612.08 c redcost : 0.17 21123 0 0 0 0
611.80/612.08 c impliedbounds : 0.00 5 0 0 0 0
611.80/612.08 c intobj : 0.00 0 0 0 0 0
611.80/612.08 c cgmip : 0.00 0 0 0 0 0
611.80/612.08 c gomory : 0.68 5 0 0 1695 0
611.80/612.08 c strongcg : 0.53 5 0 0 2328 0
611.80/612.08 c cmir : 0.00 0 0 0 0 0
611.80/612.08 c flowcover : 0.00 0 0 0 0 0
611.80/612.08 c clique : 0.00 5 0 0 0 0
611.80/612.08 c zerohalf : 0.00 0 0 0 0 0
611.80/612.08 c mcf : 0.00 1 0 0 0 0
611.80/612.08 c rapidlearning : 0.23 1 0 0 0 199
611.80/612.08 c Pricers : Time Calls Vars
611.80/612.08 c problem variables: 0.00 0 0
611.80/612.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
611.80/612.08 c relpscost : 78.13 21844 85 1512 0 0 41976
611.80/612.08 c pscost : 0.00 0 0 0 0 0 0
611.80/612.08 c inference : 0.00 0 0 0 0 0 0
611.80/612.08 c mostinf : 0.00 0 0 0 0 0 0
611.80/612.08 c leastinf : 0.00 0 0 0 0 0 0
611.80/612.08 c fullstrong : 0.00 0 0 0 0 0 0
611.80/612.08 c allfullstrong : 0.00 0 0 0 0 0 0
611.80/612.08 c random : 0.00 0 0 0 0 0 0
611.80/612.08 c Primal Heuristics : Time Calls Found
611.80/612.08 c LP solutions : 0.00 - 0
611.80/612.08 c pseudo solutions : 0.00 - 0
611.80/612.08 c trivial : 0.00 1 0
611.80/612.08 c simplerounding : 0.00 0 0
611.80/612.08 c zirounding : 0.00 0 0
611.80/612.08 c rounding : 0.00 0 0
611.80/612.08 c shifting : 0.00 0 0
611.80/612.08 c intshifting : 0.00 0 0
611.80/612.08 c oneopt : 0.00 0 0
611.80/612.08 c twoopt : 0.00 0 0
611.80/612.08 c fixandinfer : 0.00 0 0
611.80/612.08 c feaspump : 0.00 0 0
611.80/612.08 c coefdiving : 0.00 0 0
611.80/612.08 c pscostdiving : 0.00 0 0
611.80/612.08 c fracdiving : 0.00 0 0
611.80/612.08 c veclendiving : 0.00 0 0
611.80/612.08 c intdiving : 0.00 0 0
611.80/612.08 c actconsdiving : 0.00 0 0
611.80/612.08 c objpscostdiving : 0.00 0 0
611.80/612.08 c rootsoldiving : 0.00 0 0
611.80/612.08 c linesearchdiving : 0.00 0 0
611.80/612.08 c guideddiving : 0.00 0 0
611.80/612.08 c octane : 0.00 0 0
611.80/612.08 c rens : 0.00 0 0
611.80/612.08 c rins : 0.00 0 0
611.80/612.08 c localbranching : 0.00 0 0
611.80/612.08 c mutation : 0.00 0 0
611.80/612.08 c crossover : 0.00 0 0
611.80/612.08 c dins : 0.00 0 0
611.80/612.08 c undercover : 0.00 0 0
611.80/612.08 c nlp : 0.00 0 0
611.80/612.08 c trysol : 0.00 0 0
611.80/612.08 c LP : Time Calls Iterations Iter/call Iter/sec
611.80/612.08 c primal LP : 0.00 0 0 0.00 -
611.80/612.08 c dual LP : 451.83 41238 1318030 31.96 2917.09
611.80/612.08 c lex dual LP : 0.00 0 0 0.00 -
611.80/612.08 c barrier LP : 0.00 0 0 0.00 -
611.80/612.08 c diving/probing LP: 0.00 0 0 0.00 -
611.80/612.08 c strong branching : 77.26 3944 219657 55.69 2843.09
611.80/612.08 c (at root node) : - 9 1793 199.22 -
611.80/612.08 c conflict analysis: 0.00 0 0 0.00 -
611.80/612.08 c B&B Tree :
611.80/612.08 c number of runs : 1
611.80/612.08 c nodes : 41700
611.80/612.08 c nodes (total) : 41700
611.80/612.08 c nodes left : 0
611.80/612.08 c max depth : 51
611.80/612.08 c max depth (total): 51
611.80/612.08 c backtracks : 4802 (11.5%)
611.80/612.08 c delayed cutoffs : 277
611.80/612.08 c repropagations : 69959 (95953 domain reductions, 274 cutoffs)
611.80/612.08 c avg switch length: 4.90
611.80/612.08 c switching time : 14.70
611.80/612.08 c Solution :
611.80/612.08 c Solutions found : 0 (0 improvements)
611.80/612.08 c Primal Bound : infeasible
611.80/612.08 c Dual Bound : -
611.80/612.08 c Gap : 0.00 %
611.80/612.08 c Root Dual Bound : +0.00000000000000e+00
611.80/612.08 c Root Iterations : 257
611.90/612.11 c Time complete: 611.92.
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-2667260-1276290283/watcher-2667260-1276290283 -o /tmp/evaluation-result-2667260-1276290283/solver-2667260-1276290283 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667260-1276290283.opb -t 1800 -m 1800 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/106 5855 /proc/meminfo: memFree=1546032/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=7724 CPUtime=0 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 4632327 7909376 966 1992294400 4194304 8223781 140736986490208 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5855/statm: 1931 975 348 984 0 944 0 [startup+0.051613 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5855 /proc/meminfo: memFree=1546032/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=10304 CPUtime=0.04 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 1896 0 0 0 4 0 0 0 20 0 1 0 4632327 10551296 1815 1992294400 4194304 8223781 140736986490208 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5855/statm: 2576 1815 363 984 0 1589 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10304 [startup+0.100618 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5855 /proc/meminfo: memFree=1546032/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=16096 CPUtime=0.09 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 3698 0 0 0 8 1 0 0 20 0 1 0 4632327 16482304 2996 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 4024 2996 443 984 0 3037 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16096 [startup+0.300641 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5855 /proc/meminfo: memFree=1546032/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=29624 CPUtime=0.29 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 9765 0 0 0 25 4 0 0 20 0 1 0 4632327 30334976 6427 1992294400 4194304 8223781 140736986490208 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7406 6427 570 984 0 6419 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29624 [startup+0.700687 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5855 /proc/meminfo: memFree=1546032/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=27328 CPUtime=0.69 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 13067 0 0 0 62 7 0 0 20 0 1 0 4632327 27983872 6001 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 6832 6001 583 984 0 5845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27328 [startup+1.50078 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1523084/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=28680 CPUtime=1.49 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 13372 0 0 0 141 8 0 0 22 0 1 0 4632327 29368320 6306 1992294400 4194304 8223781 140736986490208 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7170 6306 583 984 0 6183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28680 [startup+3.10097 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1522092/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=28896 CPUtime=3.09 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 13963 0 0 0 298 11 0 0 25 0 1 0 4632327 29589504 6387 1992294400 4194304 8223781 140736986490208 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7224 6387 584 984 0 6237 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28896 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1521968/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=28896 CPUtime=6.29 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 16809 0 0 0 614 15 0 0 25 0 1 0 4632327 29589504 6390 1992294400 4194304 8223781 140736986490208 18446744073709551615 6250733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7224 6390 586 984 0 6237 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28896 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1521844/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=28896 CPUtime=12.68 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 22712 0 0 0 1245 23 0 0 25 0 1 0 4632327 29589504 6390 1992294400 4194304 8223781 140736986490208 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7224 6390 586 984 0 6237 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28896 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1521844/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=28952 CPUtime=25.48 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 37217 0 0 0 2504 44 0 0 25 0 1 0 4632327 29646848 6393 1992294400 4194304 8223781 140736986490208 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7238 6393 587 984 0 6251 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28952 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1521348/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=29472 CPUtime=51.07 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 88162 0 0 0 5008 99 0 0 25 0 1 0 4632327 30179328 6519 1992294400 4194304 8223781 140736986490208 18446744073709551615 5001209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7368 6519 593 984 0 6381 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29472 [startup+102.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5858 /proc/meminfo: memFree=1519984/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=30628 CPUtime=102.26 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 198093 0 0 0 10021 205 0 0 25 0 1 0 4632327 31363072 6806 1992294400 4194304 8223781 140736986490208 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7657 6806 587 984 0 6670 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30628 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5860 /proc/meminfo: memFree=1518868/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=31684 CPUtime=162.23 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 302378 0 0 0 15896 327 0 0 25 0 1 0 4632327 32444416 7065 1992294400 4194304 8223781 140736986490208 18446744073709551615 4947094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 7921 7065 587 984 0 6934 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 31684 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5862 /proc/meminfo: memFree=1517008/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=33372 CPUtime=222.22 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 403286 0 0 0 21772 450 0 0 25 0 1 0 4632327 34172928 7498 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 8343 7498 587 984 0 7356 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33372 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5862 /proc/meminfo: memFree=1516264/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=34132 CPUtime=282.2 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 518654 0 0 0 27639 581 0 0 25 0 1 0 4632327 34951168 7687 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 8533 7687 587 984 0 7546 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34132 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5864 /proc/meminfo: memFree=1515024/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=35172 CPUtime=342.18 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 581765 0 0 0 33529 689 0 0 25 0 1 0 4632327 36016128 7956 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 8793 7956 587 984 0 7806 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 35172 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5866 /proc/meminfo: memFree=1514528/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=36060 CPUtime=402.17 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 654645 0 0 0 39412 805 0 0 25 0 1 0 4632327 36925440 8172 1992294400 4194304 8223781 140736986490208 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9015 8172 587 984 0 8028 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 36060 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5868 /proc/meminfo: memFree=1513908/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=36192 CPUtime=462.15 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 698109 0 0 0 45311 904 0 0 25 0 1 0 4632327 37060608 8212 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9048 8212 587 984 0 8061 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 36192 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5870 /proc/meminfo: memFree=1513164/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=36760 CPUtime=522.13 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 780741 0 0 0 51199 1014 0 0 25 0 1 0 4632327 37642240 8353 1992294400 4194304 8223781 140736986490208 18446744073709551615 6568165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9190 8353 587 984 0 8203 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 36760 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5873 /proc/meminfo: memFree=1512544/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=36760 CPUtime=582.1 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 875770 0 0 0 57071 1139 0 0 25 0 1 0 4632327 37642240 8353 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9190 8353 587 984 0 8203 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 36760 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5873 /proc/meminfo: memFree=1512544/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=36760 CPUtime=588.51 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 886019 0 0 0 57697 1154 0 0 25 0 1 0 4632327 37642240 8353 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9190 8353 587 984 0 8203 0 Current children cumulated CPU time (s) 588.51 Current children cumulated vsize (KiB) 36760 [startup+601.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5875 /proc/meminfo: memFree=1512668/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=36860 CPUtime=601.31 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 906256 0 0 0 58950 1181 0 0 25 0 1 0 4632327 37744640 8365 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9215 8365 587 984 0 8228 0 Current children cumulated CPU time (s) 601.31 Current children cumulated vsize (KiB) 36860 [startup+607.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5875 /proc/meminfo: memFree=1512668/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=37112 CPUtime=607.7 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 918432 0 0 0 59576 1194 0 0 25 0 1 0 4632327 38002688 8421 1992294400 4194304 8223781 140736986490208 18446744073709551615 6592542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9278 8421 587 984 0 8291 0 Current children cumulated CPU time (s) 607.7 Current children cumulated vsize (KiB) 37112 [startup+609.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5875 /proc/meminfo: memFree=1512296/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=37100 CPUtime=609.3 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 921668 0 0 0 59732 1198 0 0 25 0 1 0 4632327 37990400 8418 1992294400 4194304 8223781 140736986490208 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9275 8418 587 984 0 8288 0 Current children cumulated CPU time (s) 609.3 Current children cumulated vsize (KiB) 37100 [startup+611.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5875 /proc/meminfo: memFree=1512420/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=37240 CPUtime=610.9 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 925051 0 0 0 59889 1201 0 0 25 0 1 0 4632327 38133760 8430 1992294400 4194304 8223781 140736986490208 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9310 8430 587 984 0 8323 0 Current children cumulated CPU time (s) 610.9 Current children cumulated vsize (KiB) 37240 [startup+611.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5875 /proc/meminfo: memFree=1512420/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=37272 CPUtime=611.7 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 926593 0 0 0 59967 1203 0 0 25 0 1 0 4632327 38166528 8444 1992294400 4194304 8223781 140736986490208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 9318 8444 587 984 0 8331 0 Current children cumulated CPU time (s) 611.7 Current children cumulated vsize (KiB) 37272 [startup+612.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5875 /proc/meminfo: memFree=1512420/2059040 swapFree=4192956/4192956 [pid=5855] ppid=5853 vsize=36280 CPUtime=611.9 /proc/5855/stat : 5855 (pbscip.linux.x8) R 5853 5855 4838 0 -1 4202496 926927 0 0 0 59987 1203 0 0 25 0 1 0 4632327 37150720 8202 1992294400 4194304 8223781 140736986490208 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5855/statm: 9070 8202 589 984 0 8083 0 Current children cumulated CPU time (s) 611.9 Current children cumulated vsize (KiB) 36280 Child status: 0 Real time (s): 612.12 CPU time (s): 611.926 CPU user time (s): 599.884 CPU system time (s): 12.0422 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 37972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 599.884 system time used= 12.0422 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 926931 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= 1 involuntary context switches= 910 runsolver used 0.993848 second user time and 2.91756 second system time The end
Begin job on node001 at 2010-06-11 23:04:43 IDJOB=2667260 IDBENCH=1298 IDSOLVER=1169 FILE ID=node001/2667260-1276290283 PBS_JOBID= 11173094 Free space on /tmp= 62364 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667260-1276290283/watcher-2667260-1276290283 -o /tmp/evaluation-result-2667260-1276290283/solver-2667260-1276290283 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667260-1276290283.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75bd0b27f5ff05dc207afe3c3d5552d1 RANDOM SEED=1726654748 node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1546436 kB Buffers: 68828 kB Cached: 315832 kB SwapCached: 0 kB Active: 175132 kB Inactive: 269052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1546436 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4632 kB Writeback: 0 kB AnonPages: 59464 kB Mapped: 15392 kB Slab: 46652 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181440 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62360 MiB End job on node001 at 2010-06-11 23:14:55