| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 484.451 | 484.577 |
| 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 | 2.15567 |
| 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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665834-1276292912.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.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/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.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 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.17 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.17 c 0.1s| 1 | 0 | 61 | - |3551k| 0 | 35 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.4s| 1 | 0 | 168 | - |4015k| 0 | 51 | 231 |2746 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.7s| 1 | 0 | 616 | - |4397k| 0 | 56 | 231 |2746 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.20 c 1.1s| 1 | 0 | 711 | - |4879k| 0 | 64 | 231 |2746 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.69 c 1.6s| 1 | 0 | 928 | - |4971k| 0 | 63 | 231 |2746 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
2.20/2.26 c 2.1s| 1 | 0 | 1282 | - |5517k| 0 | 60 | 231 |2746 | 231 |2591 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
3.89/3.93 c 3.8s| 1 | 2 | 1282 | - |5518k| 0 | 60 | 231 |2746 | 231 |2591 | 27 | 0 | 10 | 0.000000e+00 | -- | Inf
301.71/301.85 c 296s| 10000 | 8 |705670 | 70.4 |7118k| 36 | 41 | 231 |6122 | 231 |2569 | 27 |5917 |1823 | 0.000000e+00 | -- | Inf
484.36/484.55 c
484.36/484.55 c SCIP Status : problem is solved [infeasible]
484.36/484.55 c Solving Time (sec) : 475.18
484.36/484.55 c Solving Nodes : 16369
484.36/484.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
484.36/484.55 c Dual Bound : +1.00000000000000e+20
484.36/484.55 c Gap : 0.00 %
484.36/484.55 s UNSATISFIABLE
484.36/484.55 c SCIP Status : problem is solved [infeasible]
484.36/484.55 c Solving Time : 475.18
484.36/484.55 c Original Problem :
484.36/484.55 c Problem name : HOME/instance-2665834-1276292912.opb
484.36/484.55 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
484.36/484.55 c Constraints : 2707 initial, 2707 maximal
484.36/484.55 c Presolved Problem :
484.36/484.55 c Problem name : t_HOME/instance-2665834-1276292912.opb
484.36/484.55 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
484.36/484.55 c Constraints : 2564 initial, 8553 maximal
484.36/484.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
484.36/484.55 c trivial : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c dualfix : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c implics : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c probing : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c knapsack : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c setppc : 0.00 0 0 0 0 0 0 0 0
484.36/484.55 c linear : 0.04 0 0 0 0 0 143 0 0
484.36/484.55 c logicor : 0.01 0 0 0 0 0 0 0 0
484.36/484.55 c root node : - 1 - - 1 - - - -
484.36/484.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
484.36/484.55 c integral : 0 0 0 8669 0 45 740 0 0 16472
484.36/484.55 c knapsack : 1 5 56776 0 0 93 36230 0 0 0
484.36/484.55 c setppc : 22 5 56727 0 0 366 99528 0 0 0
484.36/484.55 c linear : 0+ 5 56326 0 0 1 545 0 0 0
484.36/484.55 c logicor : 2541+ 5 29966 0 0 123 92527 0 0 0
484.36/484.55 c countsols : 0 0 0 0 0 0 0 0 0 0
484.36/484.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
484.36/484.55 c integral : 91.04 0.00 0.00 91.04 0.00
484.36/484.55 c knapsack : 0.42 0.00 0.42 0.00 0.00
484.36/484.55 c setppc : 1.24 0.00 1.24 0.00 0.00
484.36/484.55 c linear : 0.92 0.00 0.92 0.00 0.00
484.36/484.55 c logicor : 3.84 0.00 3.84 0.00 0.00
484.36/484.55 c countsols : 0.00 0.00 0.00 0.00 0.00
484.36/484.55 c Propagators : Time Calls Cutoffs DomReds
484.36/484.55 c vbounds : 0.04 1 0 0
484.36/484.55 c rootredcost : 0.04 0 0 0
484.36/484.55 c pseudoobj : 0.04 0 0 0
484.36/484.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
484.36/484.55 c propagation : 0.03 583 575 2508 17.1 7 15.3 -
484.36/484.55 c infeasible LP : 3.02 7608 6007 30208 29.3 18 14.0 0
484.36/484.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
484.36/484.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
484.36/484.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
484.36/484.55 c applied globally : - - - 10222 17.3 - - -
484.36/484.55 c applied locally : - - - 15 35.9 - - -
484.36/484.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
484.36/484.55 c cut pool : 0.00 4 - - 8 - (maximal pool size: 516)
484.36/484.55 c redcost : 0.12 8305 0 0 0 0
484.36/484.55 c impliedbounds : 0.00 5 0 0 0 0
484.36/484.55 c intobj : 0.00 0 0 0 0 0
484.36/484.55 c cgmip : 0.00 0 0 0 0 0
484.36/484.55 c gomory : 0.73 5 0 0 1004 0
484.36/484.55 c strongcg : 0.58 5 0 0 1877 0
484.36/484.55 c cmir : 0.00 0 0 0 0 0
484.36/484.55 c flowcover : 0.00 0 0 0 0 0
484.36/484.55 c clique : 0.00 5 0 0 0 0
484.36/484.55 c zerohalf : 0.00 0 0 0 0 0
484.36/484.55 c mcf : 0.00 1 0 0 0 0
484.36/484.55 c rapidlearning : 0.19 1 0 0 0 182
484.36/484.55 c Pricers : Time Calls Vars
484.36/484.55 c problem variables: 0.00 0 0
484.36/484.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
484.36/484.55 c relpscost : 91.03 8669 45 740 0 0 16472
484.36/484.55 c pscost : 0.00 0 0 0 0 0 0
484.36/484.55 c inference : 0.00 0 0 0 0 0 0
484.36/484.55 c mostinf : 0.00 0 0 0 0 0 0
484.36/484.55 c leastinf : 0.00 0 0 0 0 0 0
484.36/484.55 c fullstrong : 0.00 0 0 0 0 0 0
484.36/484.55 c allfullstrong : 0.00 0 0 0 0 0 0
484.36/484.55 c random : 0.00 0 0 0 0 0 0
484.36/484.55 c Primal Heuristics : Time Calls Found
484.36/484.55 c LP solutions : 0.00 - 0
484.36/484.55 c pseudo solutions : 0.00 - 0
484.36/484.55 c trivial : 0.00 1 0
484.36/484.55 c simplerounding : 0.00 0 0
484.36/484.55 c zirounding : 0.00 0 0
484.36/484.55 c rounding : 0.00 0 0
484.36/484.55 c shifting : 0.00 0 0
484.36/484.55 c intshifting : 0.00 0 0
484.36/484.55 c oneopt : 0.00 0 0
484.36/484.55 c twoopt : 0.00 0 0
484.36/484.55 c fixandinfer : 0.00 0 0
484.36/484.55 c feaspump : 0.00 0 0
484.36/484.55 c coefdiving : 0.00 0 0
484.36/484.55 c pscostdiving : 0.00 0 0
484.36/484.55 c fracdiving : 0.00 0 0
484.36/484.55 c veclendiving : 0.00 0 0
484.36/484.55 c intdiving : 0.00 0 0
484.36/484.55 c actconsdiving : 0.00 0 0
484.36/484.55 c objpscostdiving : 0.00 0 0
484.36/484.55 c rootsoldiving : 0.00 0 0
484.36/484.55 c linesearchdiving : 0.00 0 0
484.36/484.55 c guideddiving : 0.00 0 0
484.36/484.55 c octane : 0.00 0 0
484.36/484.55 c rens : 0.00 0 0
484.36/484.55 c rins : 0.00 0 0
484.36/484.55 c localbranching : 0.00 0 0
484.36/484.55 c mutation : 0.00 0 0
484.36/484.55 c crossover : 0.00 0 0
484.36/484.55 c dins : 0.00 0 0
484.36/484.55 c undercover : 0.00 0 0
484.36/484.55 c nlp : 0.00 0 0
484.36/484.55 c trysol : 0.00 0 0
484.36/484.55 c LP : Time Calls Iterations Iter/call Iter/sec
484.36/484.55 c primal LP : 0.00 0 0 0.00 -
484.36/484.55 c dual LP : 361.34 16270 1253906 77.07 3470.16
484.36/484.55 c lex dual LP : 0.00 0 0 0.00 -
484.36/484.55 c barrier LP : 0.00 0 0 0.00 -
484.36/484.55 c diving/probing LP: 0.00 0 0 0.00 -
484.36/484.55 c strong branching : 90.68 2198 313777 142.76 3460.27
484.36/484.55 c (at root node) : - 10 4716 471.60 -
484.36/484.55 c conflict analysis: 0.00 0 0 0.00 -
484.36/484.55 c B&B Tree :
484.36/484.55 c number of runs : 1
484.36/484.55 c nodes : 16369
484.36/484.55 c nodes (total) : 16369
484.36/484.55 c nodes left : 0
484.36/484.55 c max depth : 44
484.36/484.55 c max depth (total): 44
484.36/484.55 c backtracks : 1584 (9.7%)
484.36/484.55 c delayed cutoffs : 104
484.36/484.55 c repropagations : 20696 (30331 domain reductions, 103 cutoffs)
484.36/484.55 c avg switch length: 4.20
484.36/484.55 c switching time : 4.64
484.36/484.55 c Solution :
484.36/484.55 c Solutions found : 0 (0 improvements)
484.36/484.55 c Primal Bound : infeasible
484.36/484.55 c Dual Bound : -
484.36/484.55 c Gap : 0.00 %
484.36/484.55 c Root Dual Bound : +0.00000000000000e+00
484.36/484.55 c Root Iterations : 1282
484.36/484.57 c Time complete: 484.44.
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-2665834-1276292912/watcher-2665834-1276292912 -o /tmp/evaluation-result-2665834-1276292912/solver-2665834-1276292912 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665834-1276292912.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 6629 /proc/meminfo: memFree=1548552/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=9288 CPUtime=0 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1069 0 0 0 0 0 0 0 18 0 1 0 4877615 9510912 990 1992294400 4194304 9819077 140737241606816 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6629/statm: 2322 1001 371 1374 0 943 0 [startup+0.103693 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1548552/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=18240 CPUtime=0.09 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 3949 0 0 0 8 1 0 0 21 0 1 0 4877615 18677760 3259 1992294400 4194304 9819077 140737241606816 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 4560 3259 489 1374 0 3181 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18240 [startup+0.201704 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1548552/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=25116 CPUtime=0.19 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 7910 0 0 0 16 3 0 0 21 0 1 0 4877615 25718784 4603 1992294400 4194304 9819077 140737241606816 18446744073709551615 6047415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 6279 4603 650 1374 0 4900 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 25116 [startup+0.301714 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1548552/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37252 CPUtime=0.3 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 10701 0 0 0 25 5 0 0 21 0 1 0 4877615 38146048 7394 1992294400 4194304 9819077 140737241606816 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9313 7394 668 1374 0 7934 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 37252 [startup+0.701755 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1548552/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=29024 CPUtime=0.69 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 13242 0 0 0 62 7 0 0 22 0 1 0 4877615 29720576 6196 1992294400 4194304 9819077 140737241606816 18446744073709551615 7309073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 7256 6196 692 1374 0 5877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29024 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6630 /proc/meminfo: memFree=1525728/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=31040 CPUtime=1.49 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 13661 0 0 0 141 8 0 0 25 0 1 0 4877615 31784960 6612 1992294400 4194304 9819077 140737241606816 18446744073709551615 6054629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 7760 6612 692 1374 0 6381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31040 [startup+3.10101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6630 /proc/meminfo: memFree=1522876/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=35360 CPUtime=3.09 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 14952 0 0 0 300 9 0 0 25 0 1 0 4877615 36208640 6972 1992294400 4194304 9819077 140737241606816 18446744073709551615 6191160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8840 6972 698 1374 0 7461 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35360 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6630 /proc/meminfo: memFree=1522256/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36600 CPUtime=6.29 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 19111 0 0 0 617 12 0 0 25 0 1 0 4877615 37478400 7049 1992294400 4194304 9819077 140737241606816 18446744073709551615 7296194 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9150 7049 705 1374 0 7771 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36600 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6630 /proc/meminfo: memFree=1522256/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=35976 CPUtime=12.69 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 31686 0 0 0 1249 20 0 0 25 0 1 0 4877615 36839424 7052 1992294400 4194304 9819077 140737241606816 18446744073709551615 7312592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8994 7052 721 1374 0 7615 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35976 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6630 /proc/meminfo: memFree=1522380/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=35712 CPUtime=25.49 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 53887 0 0 0 2513 36 0 0 25 0 1 0 4877615 36569088 7026 1992294400 4194304 9819077 140737241606816 18446744073709551615 7291755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8928 7026 721 1374 0 7549 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35712 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6632 /proc/meminfo: memFree=1522380/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=33496 CPUtime=51.07 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 96971 0 0 0 5037 70 0 0 25 0 1 0 4877615 34299904 7011 1992294400 4194304 9819077 140737241606816 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8374 7011 722 1374 0 6995 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33496 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6632 /proc/meminfo: memFree=1522256/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=33840 CPUtime=102.27 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 199017 0 0 0 10066 161 0 0 25 0 1 0 4877615 34652160 7020 1992294400 4194304 9819077 140737241606816 18446744073709551615 6519223 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8460 7020 722 1374 0 7081 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33840 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6634 /proc/meminfo: memFree=1522132/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=34164 CPUtime=162.24 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 339671 0 0 0 15965 259 0 0 25 0 1 0 4877615 34983936 7060 1992294400 4194304 9819077 140737241606816 18446744073709551615 6192292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8541 7060 722 1374 0 7162 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34164 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6636 /proc/meminfo: memFree=1522256/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37148 CPUtime=222.24 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 510153 0 0 0 21852 372 0 0 25 0 1 0 4877615 38039552 7065 1992294400 4194304 9819077 140737241606816 18446744073709551615 7311860 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9287 7065 722 1374 0 7908 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 37148 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6638 /proc/meminfo: memFree=1522132/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=34644 CPUtime=282.21 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 697882 0 0 0 27730 491 0 0 25 0 1 0 4877615 35475456 7117 1992294400 4194304 9819077 140737241606816 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8661 7117 722 1374 0 7282 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34644 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6638 /proc/meminfo: memFree=1521884/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=35004 CPUtime=342.2 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 907614 0 0 0 33597 623 0 0 25 0 1 0 4877615 35844096 7127 1992294400 4194304 9819077 140737241606816 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8751 7127 722 1374 0 7372 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 35004 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6640 /proc/meminfo: memFree=1521760/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=35340 CPUtime=402.19 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1117165 0 0 0 39480 739 0 0 25 0 1 0 4877615 36188160 7174 1992294400 4194304 9819077 140737241606816 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8835 7174 722 1374 0 7456 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 35340 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520768/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36156 CPUtime=462.18 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1327947 0 0 0 45352 866 0 0 25 0 1 0 4877615 37023744 7419 1992294400 4194304 9819077 140737241606816 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9039 7419 722 1374 0 7660 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 36156 Solver just ended. Dumping a history of the last processes samples [startup+473.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36244 CPUtime=473.47 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1372821 0 0 0 46453 894 0 0 25 0 1 0 4877615 37113856 7424 1992294400 4194304 9819077 140737241606816 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9061 7424 722 1374 0 7682 0 Current children cumulated CPU time (s) 473.47 Current children cumulated vsize (KiB) 36244 [startup+480.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36288 CPUtime=479.87 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1397354 0 0 0 47080 907 0 0 25 0 1 0 4877615 37158912 7405 1992294400 4194304 9819077 140737241606816 18446744073709551615 7309259 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9072 7405 722 1374 0 7693 0 Current children cumulated CPU time (s) 479.87 Current children cumulated vsize (KiB) 36288 [startup+481.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=35492 CPUtime=481.47 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1404191 0 0 0 47236 911 0 0 25 0 1 0 4877615 36343808 7397 1992294400 4194304 9819077 140737241606816 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8873 7397 722 1374 0 7494 0 Current children cumulated CPU time (s) 481.47 Current children cumulated vsize (KiB) 35492 [startup+483.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36296 CPUtime=483.07 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1410783 0 0 0 47392 915 0 0 25 0 1 0 4877615 37167104 7419 1992294400 4194304 9819077 140737241606816 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9074 7419 722 1374 0 7695 0 Current children cumulated CPU time (s) 483.07 Current children cumulated vsize (KiB) 36296 [startup+484.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36300 CPUtime=483.87 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1413552 0 0 0 47471 916 0 0 25 0 1 0 4877615 37171200 7444 1992294400 4194304 9819077 140737241606816 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9075 7444 722 1374 0 7696 0 Current children cumulated CPU time (s) 483.87 Current children cumulated vsize (KiB) 36300 [startup+484.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36264 CPUtime=484.26 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1415048 0 0 0 47509 917 0 0 25 0 1 0 4877615 37134336 7400 1992294400 4194304 9819077 140737241606816 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9066 7400 722 1374 0 7687 0 Current children cumulated CPU time (s) 484.26 Current children cumulated vsize (KiB) 36264 [startup+484.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6642 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36296 CPUtime=484.36 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5527 0 -1 4202496 1415321 0 0 0 47519 917 0 0 25 0 1 0 4877615 37167104 7419 1992294400 4194304 9819077 140737241606816 18446744073709551615 7295958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9074 7419 722 1374 0 7695 0 Current children cumulated CPU time (s) 484.36 Current children cumulated vsize (KiB) 36296 Child status: 0 Real time (s): 484.577 CPU time (s): 484.451 CPU user time (s): 475.269 CPU system time (s): 9.1826 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 39804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 475.269 system time used= 9.1826 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1415489 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= 3 involuntary context switches= 1207 runsolver used 0.85487 second user time and 2.24366 second system time The end
Begin job on node017 at 2010-06-11 23:48:32 IDJOB=2665834 IDBENCH=1304 IDSOLVER=1168 FILE ID=node017/2665834-1276292912 PBS_JOBID= 11173110 Free space on /tmp= 62348 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665834-1276292912/watcher-2665834-1276292912 -o /tmp/evaluation-result-2665834-1276292912/solver-2665834-1276292912 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665834-1276292912.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86320fff0968ff7a2805751d322618eb RANDOM SEED=1847278499 node017.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.201 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1549080 kB Buffers: 67220 kB Cached: 314304 kB SwapCached: 0 kB Active: 178336 kB Inactive: 263792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1549080 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6244 kB Writeback: 0 kB AnonPages: 60628 kB Mapped: 15432 kB Slab: 46040 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182988 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= 62344 MiB End job on node017 at 2010-06-11 23:56:37