| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.08 | 1801.69 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb |
| MD5SUM | 46461f0e86cd2c07d09bc154a5f6739a |
| 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 | 58.879 |
| 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 | 715 |
| 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: NONE] [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-2664032-1276312650.opb>
0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c problem read
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c presolving settings loaded
0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.10/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.10/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.10/0.15 c presolving (3 rounds):
0.10/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.15 c 242 implications, 22 cliques
0.10/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.10/0.15 c 1 constraints of type <knapsack>
0.10/0.15 c 22 constraints of type <setppc>
0.10/0.15 c 2541 constraints of type <logicor>
0.10/0.15 c transformed objective value is always integral (scale: 1)
0.10/0.15 c Presolving Time: 0.06
0.10/0.15 c - non default parameters ----------------------------------------------------------------------
0.10/0.15 c # SCIP version 1.2.1.2
0.10/0.15 c
0.10/0.15 c # frequency for displaying node information lines
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.15 c display/freq = 10000
0.10/0.15 c
0.10/0.15 c # maximal time in seconds to run
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/time = 1799.96
0.10/0.15 c
0.10/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/memory = 1620
0.10/0.15 c
0.10/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c limits/solutions = 1
0.10/0.15 c
0.10/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c lp/solvefreq = -1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.10/0.15 c separating/maxrounds = 1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/maxroundsroot = 5
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify inequalities
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/linear/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.10/0.15 c constraints/knapsack/disaggregation = FALSE
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify knapsacks
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c presolving/probing/maxrounds = 0
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/coefdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.10/0.15 c heuristics/crossover/freq = -1
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/crossover/nodesofs = 750
0.10/0.15 c
0.10/0.15 c # number of nodes without incumbent change that heuristic should wait
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.10/0.15 c heuristics/crossover/nwaitingnodes = 100
0.10/0.15 c
0.10/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.10/0.15 c # [type: real, range: [0,1], default: 0.1]
0.10/0.15 c heuristics/crossover/nodesquot = 0.15
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixed
0.10/0.15 c # [type: real, range: [0,1], default: 0.666]
0.10/0.15 c heuristics/crossover/minfixingrate = 0.5
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/feaspump/freq = -1
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/fracdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/guideddiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/intshifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/linesearchdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/nlp/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/objpscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.10/0.15 c # [type: real, range: [0,1], default: 0.01]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/oneopt/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/pscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/rens/freq = -1
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixable
0.10/0.15 c # [type: real, range: [0,1], default: 0.5]
0.10/0.15 c heuristics/rens/minfixingrate = 0.3
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/rens/nodesofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/rootsoldiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/rounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/shifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/simplerounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/trivial/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/trysol/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/veclendiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/zirounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/cmir/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/flowcover/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/rapidlearning/freq = 0
0.10/0.15 c
0.10/0.15 c -----------------------------------------------------------------------------------------------
0.10/0.15 c start solving
0.10/0.15 c
0.10/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.19/4.27 c 4.0s| 10000 | 7944 | 0 | 0.0 |7496k| 95 | - | 231 |4747 | 0 | 0 | 0 |3072 | 0 | 0.000000e+00 | -- | Inf
9.89/9.97 c 9.4s| 20000 | 14808 | 0 | 0.0 | 12M| 95 | - | 231 |5499 | 0 | 0 | 0 |7137 | 0 | 0.000000e+00 | -- | Inf
15.40/15.49 c 14.7s| 30000 | 22351 | 0 | 0.0 | 16M| 95 | - | 231 |6646 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
21.78/21.88 c 20.9s| 40000 | 29520 | 0 | 0.0 | 21M| 95 | - | 231 |7836 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
29.38/29.43 c 28.2s| 50000 | 36241 | 0 | 0.0 | 26M| 95 | - | 231 |8902 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
39.59/39.64 c 38.1s| 60000 | 41836 | 0 | 0.0 | 32M| 95 | - | 231 | 10k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
52.27/52.30 c 50.5s| 70000 | 46714 | 0 | 0.0 | 37M| 95 | - | 231 | 12k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
70.37/70.47 c 68.3s| 80000 | 49909 | 0 | 0.0 | 42M| 95 | - | 231 | 14k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
88.36/88.47 c 86.0s| 90000 | 54002 | 0 | 0.0 | 47M| 95 | - | 231 | 13k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
100.26/100.35 c 97.6s|100000 | 60943 | 0 | 0.0 | 51M| 95 | - | 231 | 12k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
112.35/112.44 c 109s|110000 | 67551 | 0 | 0.0 | 56M| 95 | - | 231 | 12k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
124.44/124.58 c 121s|120000 | 74123 | 0 | 0.0 | 60M| 95 | - | 231 | 12k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
136.84/136.98 c 133s|130000 | 80483 | 0 | 0.0 | 65M| 95 | - | 231 | 12k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
149.55/149.68 c 146s|140000 | 86761 | 0 | 0.0 | 69M| 95 | - | 231 | 12k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
162.33/162.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.33/162.50 c 158s|150000 | 92862 | 0 | 0.0 | 74M| 95 | - | 231 | 13k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
179.03/179.13 c 175s|160000 | 97684 | 0 | 0.0 | 79M| 95 | - | 231 | 13k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
196.83/196.92 c 192s|170000 |102383 | 0 | 0.0 | 84M| 95 | - | 231 | 15k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
215.72/215.82 c 211s|180000 |107002 | 0 | 0.0 | 89M| 95 | - | 231 | 15k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
236.52/236.64 c 231s|190000 |111200 | 0 | 0.0 | 94M| 95 | - | 231 | 17k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
258.00/258.19 c 252s|200000 |115394 | 0 | 0.0 | 99M| 95 | - | 231 | 17k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
281.50/281.64 c 275s|210000 |119272 | 0 | 0.0 | 104M| 95 | - | 231 | 18k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
305.19/305.30 c 299s|220000 |123218 | 0 | 0.0 | 109M| 95 | - | 231 | 19k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
330.17/330.33 c 324s|230000 |126986 | 0 | 0.0 | 114M| 95 | - | 231 | 19k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
353.97/354.14 c 347s|240000 |131042 | 0 | 0.0 | 119M| 95 | - | 231 | 20k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
383.26/383.42 c 376s|250000 |133938 | 0 | 0.0 | 123M| 95 | - | 231 | 21k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
414.56/414.76 c 407s|260000 |136436 | 0 | 0.0 | 128M| 95 | - | 231 | 21k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
448.64/448.88 c 441s|270000 |138487 | 0 | 0.0 | 132M| 95 | - | 231 | 23k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
488.23/488.44 c 480s|280000 |139644 | 0 | 0.0 | 137M| 95 | - | 231 | 24k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
529.51/529.74 c 521s|290000 |140649 | 0 | 0.0 | 141M| 95 | - | 231 | 26k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
577.30/577.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.30/577.50 c 568s|300000 |140594 | 0 | 0.0 | 144M| 95 | - | 231 | 27k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
627.68/627.95 c 618s|310000 |140240 | 0 | 0.0 | 146M| 95 | - | 231 | 28k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
682.25/682.55 c 672s|320000 |139367 | 0 | 0.0 | 147M| 95 | - | 231 | 27k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
715.34/715.68 c 705s|330000 |144105 | 0 | 0.0 | 151M| 95 | - | 231 | 25k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
747.94/748.23 c 737s|340000 |148571 | 0 | 0.0 | 156M| 95 | - | 231 | 24k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
782.82/783.16 c 772s|350000 |152547 | 0 | 0.0 | 160M| 95 | - | 231 | 24k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
818.01/818.39 c 807s|360000 |156374 | 0 | 0.0 | 165M| 95 | - | 231 | 24k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
855.69/856.06 c 844s|370000 |159635 | 0 | 0.0 | 170M| 95 | - | 231 | 24k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
893.19/893.56 c 881s|380000 |162990 | 0 | 0.0 | 175M| 95 | - | 231 | 23k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
930.97/931.32 c 919s|390000 |166005 | 0 | 0.0 | 180M| 95 | - | 231 | 24k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
968.56/968.91 c 956s|400000 |169174 | 0 | 0.0 | 184M| 95 | - | 231 | 24k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1009.45/1009.88 c 996s|410000 |171657 | 0 | 0.0 | 189M| 95 | - | 231 | 24k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1047.53/1047.93 c 1034s|420000 |174672 | 0 | 0.0 | 194M| 95 | - | 231 | 25k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1089.72/1090.19 c 1076s|430000 |176968 | 0 | 0.0 | 198M| 95 | - | 231 | 25k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1132.00/1132.47 c 1118s|440000 |179363 | 0 | 0.0 | 202M| 95 | - | 231 | 25k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1175.50/1176.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.50/1176.00 c 1161s|450000 |181292 | 0 | 0.0 | 207M| 95 | - | 231 | 26k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1224.67/1225.11 c 1210s|460000 |182655 | 0 | 0.0 | 211M| 95 | - | 231 | 26k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1269.66/1270.13 c 1254s|470000 |184415 | 0 | 0.0 | 216M| 95 | - | 231 | 26k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1322.34/1322.81 c 1307s|480000 |185288 | 0 | 0.0 | 219M| 95 | - | 231 | 27k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1371.42/1371.99 c 1355s|490000 |186583 | 0 | 0.0 | 223M| 95 | - | 231 | 28k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1430.80/1431.30 c 1414s|500000 |186741 | 0 | 0.0 | 227M| 95 | - | 231 | 29k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1482.89/1483.47 c 1466s|510000 |187791 | 0 | 0.0 | 231M| 95 | - | 231 | 29k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1547.76/1548.38 c 1531s|520000 |187152 | 0 | 0.0 | 234M| 95 | - | 231 | 30k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1606.14/1606.75 c 1589s|530000 |187477 | 0 | 0.0 | 238M| 95 | - | 231 | 31k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1674.52/1675.18 c 1657s|540000 |186669 | 0 | 0.0 | 240M| 95 | - | 231 | 32k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1737.00/1737.64 c 1719s|550000 |186613 | 0 | 0.0 | 244M| 95 | - | 231 | 33k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.72 c
1800.09/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.72 c Solving Time (sec) : 1781.17
1800.09/1800.72 c Solving Nodes : 558504
1800.09/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.72 c Dual Bound : +0.00000000000000e+00
1800.09/1800.72 c Gap : infinite
1800.09/1800.72 s UNKNOWN
1800.09/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.72 c Solving Time : 1781.17
1800.09/1800.72 c Original Problem :
1800.09/1800.72 c Problem name : HOME/instance-2664032-1276312650.opb
1800.09/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.09/1800.72 c Presolved Problem :
1800.09/1800.72 c Problem name : t_HOME/instance-2664032-1276312650.opb
1800.09/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.72 c Constraints : 2564 initial, 35066 maximal
1800.09/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c linear : 0.03 0 0 0 0 0 143 0 0
1800.09/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.72 c root node : - 0 - - 0 - - - -
1800.09/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.72 c knapsack : 1 0 1939713 0 421681 72769 6361613 0 0 0
1800.09/1800.72 c setppc : 22 0 1879889 0 421681 87200 2467198 0 0 0
1800.09/1800.72 c logicor : 2541+ 0 1535853 0 421679 64826 6471377 0 0 0
1800.09/1800.72 c countsols : 0 0 0 0 421666 0 0 0 0 0
1800.09/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.72 c knapsack : 47.85 0.00 45.38 0.00 2.47
1800.09/1800.72 c setppc : 34.49 0.00 29.05 0.00 5.44
1800.09/1800.72 c logicor : 942.12 0.00 890.80 0.00 51.32
1800.09/1800.72 c countsols : 0.28 0.00 0.00 0.00 0.28
1800.09/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.72 c vbounds : 1.21 1 0 0
1800.09/1800.72 c rootredcost : 1.09 0 0 0
1800.09/1800.72 c pseudoobj : 0.83 0 0 0
1800.09/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.72 c propagation : 14.07 224795 224740 1039604 16.4 5195 19.0 -
1800.09/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.72 c applied globally : - - - 482535 13.6 - - -
1800.09/1800.72 c applied locally : - - - 1352 35.2 - - -
1800.09/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.72 c redcost : 0.00 0 0 0 0 0
1800.09/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.72 c intobj : 0.00 0 0 0 0 0
1800.09/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.72 c gomory : 0.00 0 0 0 0 0
1800.09/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.72 c cmir : 0.00 0 0 0 0 0
1800.09/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.72 c clique : 0.00 0 0 0 0 0
1800.09/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.72 c mcf : 0.00 0 0 0 0 0
1800.09/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.72 c Pricers : Time Calls Vars
1800.09/1800.72 c problem variables: 0.00 0 0
1800.09/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.72 c inference : 11.61 421666 0 0 0 0 843332
1800.09/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.72 c random : 0.00 0 0 0 0 0 0
1800.09/1800.73 c Primal Heuristics : Time Calls Found
1800.09/1800.73 c LP solutions : 0.00 - 0
1800.09/1800.73 c pseudo solutions : 0.00 - 0
1800.09/1800.73 c trivial : 0.00 1 0
1800.09/1800.73 c simplerounding : 0.00 0 0
1800.09/1800.73 c zirounding : 0.00 0 0
1800.09/1800.73 c rounding : 0.00 0 0
1800.09/1800.73 c shifting : 0.00 0 0
1800.09/1800.73 c intshifting : 0.00 0 0
1800.09/1800.73 c oneopt : 0.00 0 0
1800.09/1800.73 c twoopt : 0.00 0 0
1800.09/1800.73 c fixandinfer : 0.00 0 0
1800.09/1800.73 c feaspump : 0.00 0 0
1800.09/1800.73 c coefdiving : 0.00 0 0
1800.09/1800.73 c pscostdiving : 0.00 0 0
1800.09/1800.73 c fracdiving : 0.00 0 0
1800.09/1800.73 c veclendiving : 0.00 0 0
1800.09/1800.73 c intdiving : 0.00 0 0
1800.09/1800.73 c actconsdiving : 0.00 0 0
1800.09/1800.73 c objpscostdiving : 0.00 0 0
1800.09/1800.73 c rootsoldiving : 0.00 0 0
1800.09/1800.73 c linesearchdiving : 0.00 0 0
1800.09/1800.73 c guideddiving : 0.00 0 0
1800.09/1800.73 c octane : 0.00 0 0
1800.09/1800.73 c rens : 0.00 0 0
1800.09/1800.73 c rins : 0.00 0 0
1800.09/1800.73 c localbranching : 0.00 0 0
1800.09/1800.73 c mutation : 0.00 0 0
1800.09/1800.73 c crossover : 0.00 0 0
1800.09/1800.73 c dins : 0.00 0 0
1800.09/1800.73 c undercover : 0.00 0 0
1800.09/1800.73 c nlp : 0.00 0 0
1800.09/1800.73 c trysol : 0.00 0 0
1800.09/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.73 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.73 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.73 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.73 c (at root node) : - 0 0 0.00 -
1800.09/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.73 c B&B Tree :
1800.09/1800.73 c number of runs : 1
1800.09/1800.73 c nodes : 558504
1800.09/1800.73 c nodes (total) : 558504
1800.09/1800.73 c nodes left : 185426
1800.09/1800.73 c max depth : 95
1800.09/1800.73 c max depth (total): 95
1800.09/1800.73 c backtracks : 139967 (25.1%)
1800.09/1800.73 c delayed cutoffs : 99403
1800.09/1800.73 c repropagations : 429521 (4921769 domain reductions, 87957 cutoffs)
1800.09/1800.73 c avg switch length: 13.55
1800.09/1800.73 c switching time : 484.56
1800.09/1800.73 c Solution :
1800.09/1800.73 c Solutions found : 0 (0 improvements)
1800.09/1800.73 c Primal Bound : -
1800.09/1800.73 c Dual Bound : +0.00000000000000e+00
1800.09/1800.73 c Gap : infinite
1800.09/1800.73 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.73 c Root Iterations : 0
1800.97/1801.69 c Time complete: 1801.06.
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-2664032-1276312650/watcher-2664032-1276312650 -o /tmp/evaluation-result-2664032-1276312650/solver-2664032-1276312650 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664032-1276312650.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: 0.92 0.98 0.99 3/106 8204 /proc/meminfo: memFree=1532612/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=6584 CPUtime=0 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 957 0 0 0 0 0 0 0 18 0 1 0 6868420 6742016 879 1992294400 4194304 7136930 140734256771680 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8204/statm: 1646 889 254 719 0 925 0 [startup+0.108814 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8204 /proc/meminfo: memFree=1532612/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=15520 CPUtime=0.1 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 3814 0 0 0 8 2 0 0 20 0 1 0 6868420 15892480 3125 1992294400 4194304 7136930 140734256771680 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 3880 3125 348 719 0 3159 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15520 [startup+0.20083 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8204 /proc/meminfo: memFree=1532612/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=16912 CPUtime=0.19 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 6774 0 0 0 16 3 0 0 20 0 1 0 6868420 17317888 3515 1992294400 4194304 7136930 140734256771680 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 4228 3515 391 719 0 3507 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16912 [startup+0.300848 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8204 /proc/meminfo: memFree=1532612/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=17088 CPUtime=0.29 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 6813 0 0 0 25 4 0 0 20 0 1 0 6868420 17498112 3554 1992294400 4194304 7136930 140734256771680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 4272 3554 391 719 0 3551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17088 [startup+0.700922 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8204 /proc/meminfo: memFree=1532612/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=17764 CPUtime=0.69 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 6977 0 0 0 63 6 0 0 20 0 1 0 6868420 18190336 3718 1992294400 4194304 7136930 140734256771680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 4441 3718 391 719 0 3720 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17764 [startup+1.50107 s] /proc/loadavg: 0.92 0.98 0.99 2/107 8205 /proc/meminfo: memFree=1518220/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=19192 CPUtime=1.49 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 7339 0 0 0 140 9 0 0 23 0 1 0 6868420 19652608 4080 1992294400 4194304 7136930 140734256771680 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 4798 4080 391 719 0 4077 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19192 [startup+3.10137 s] /proc/loadavg: 0.92 0.98 0.99 2/107 8205 /proc/meminfo: memFree=1515740/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=21564 CPUtime=3.09 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 7931 0 0 0 291 18 0 0 25 0 1 0 6868420 22081536 4672 1992294400 4194304 7136930 140734256771680 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 5391 4672 391 719 0 4670 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21564 [startup+6.30096 s] /proc/loadavg: 0.93 0.98 0.99 2/107 8205 /proc/meminfo: memFree=1511276/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=25700 CPUtime=6.29 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 8993 0 0 0 596 33 0 0 25 0 1 0 6868420 26316800 5734 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 6425 5734 391 719 0 5704 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25700 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 8205 /proc/meminfo: memFree=1504208/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=32336 CPUtime=12.69 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 10683 0 0 0 1210 59 0 0 25 0 1 0 6868420 33112064 7424 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 8084 7424 391 719 0 7363 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32336 [startup+25.5005 s] /proc/loadavg: 0.95 0.98 0.99 2/107 8205 /proc/meminfo: memFree=1492800/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=43256 CPUtime=25.48 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 13430 0 0 0 2441 107 0 0 25 0 1 0 6868420 44294144 10171 1992294400 4194304 7136930 140734256771680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 10814 10171 391 719 0 10093 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43256 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 8207 /proc/meminfo: memFree=1475440/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=60332 CPUtime=51.07 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 17726 0 0 0 4932 175 0 0 25 0 1 0 6868420 61779968 14467 1992294400 4194304 7136930 140734256771680 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 15083 14467 391 719 0 14362 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60332 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/107 8207 /proc/meminfo: memFree=1455104/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=80444 CPUtime=102.26 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 22787 0 0 0 9952 274 0 0 25 0 1 0 6868420 82374656 19528 1992294400 4194304 7136930 140734256771680 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 20111 19528 391 719 0 19390 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 80444 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8209 /proc/meminfo: memFree=1428072/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=109180 CPUtime=162.23 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 29564 0 0 0 15809 414 0 0 25 0 1 0 6868420 111800320 26305 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 27295 26305 391 719 0 26574 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 109180 [startup+222.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8211 /proc/meminfo: memFree=1410588/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=126776 CPUtime=222.23 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 33918 0 0 0 21704 519 0 0 25 0 1 0 6868420 129818624 30659 1992294400 4194304 7136930 140734256771680 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 31694 30659 391 719 0 30973 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 126776 [startup+282.301 s] /proc/loadavg: 1.03 1.00 1.00 2/107 8213 /proc/meminfo: memFree=1392112/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=144900 CPUtime=282.19 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 38471 0 0 0 27617 602 0 0 25 0 1 0 6868420 148377600 35212 1992294400 4194304 7136930 140734256771680 18446744073709551615 4431486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 36225 35212 391 719 0 35504 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 144900 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 8215 /proc/meminfo: memFree=1377604/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=159400 CPUtime=342.17 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 42092 0 0 0 33536 681 0 0 25 0 1 0 6868420 163225600 38833 1992294400 4194304 7136930 140734256771680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 39850 38833 391 719 0 39129 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 159400 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8215 /proc/meminfo: memFree=1367808/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=169112 CPUtime=402.15 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 44522 0 0 0 39468 747 0 0 25 0 1 0 6868420 173170688 41263 1992294400 4194304 7136930 140734256771680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 42278 41263 391 719 0 41557 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 169112 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8217 /proc/meminfo: memFree=1360616/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=177128 CPUtime=462.13 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 46445 0 0 0 45402 811 0 0 25 0 1 0 6868420 181379072 43186 1992294400 4194304 7136930 140734256771680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 44282 43186 391 719 0 43561 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 177128 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8219 /proc/meminfo: memFree=1351564/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=185628 CPUtime=522.11 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 48539 0 0 0 51339 872 0 0 25 0 1 0 6868420 190083072 45280 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 46407 45280 391 719 0 45686 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 185628 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8221 /proc/meminfo: memFree=1346108/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=190976 CPUtime=582.09 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 49894 0 0 0 57286 923 0 0 25 0 1 0 6868420 195559424 46635 1992294400 4194304 7136930 140734256771680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 47744 46635 391 719 0 47023 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 190976 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8223 /proc/meminfo: memFree=1340280/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=196844 CPUtime=642.07 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 51347 0 0 0 63234 973 0 0 25 0 1 0 6868420 201568256 48088 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 49211 48088 391 719 0 48490 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 196844 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8231 /proc/meminfo: memFree=1291672/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=245192 CPUtime=1001.95 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 63375 0 0 0 98891 1304 0 0 25 0 1 0 6868420 251076608 60116 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 61298 60116 391 719 0 60577 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 245192 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8233 /proc/meminfo: memFree=1281628/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=255468 CPUtime=1061.93 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 65876 0 0 0 104836 1357 0 0 25 0 1 0 6868420 261599232 62617 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 63867 62617 391 719 0 63146 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 255468 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8235 /proc/meminfo: memFree=1273816/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=263108 CPUtime=1121.9 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 67800 0 0 0 110783 1407 0 0 25 0 1 0 6868420 269422592 64541 1992294400 4194304 7136930 140734256771680 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 65777 64541 391 719 0 65056 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 263108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8237 /proc/meminfo: memFree=1263772/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=273088 CPUtime=1181.88 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 70291 0 0 0 116731 1457 0 0 25 0 1 0 6868420 279642112 67032 1992294400 4194304 7136930 140734256771680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 68272 67032 391 719 0 67551 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 273088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8239 /proc/meminfo: memFree=1258564/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=278236 CPUtime=1241.87 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 71560 0 0 0 122682 1505 0 0 25 0 1 0 6868420 284913664 68301 1992294400 4194304 7136930 140734256771680 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 69559 68301 391 719 0 68838 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 278236 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8239 /proc/meminfo: memFree=1256580/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=280120 CPUtime=1301.85 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 72033 0 0 0 128638 1547 0 0 25 0 1 0 6868420 286842880 68774 1992294400 4194304 7136930 140734256771680 18446744073709551615 4637184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 70030 68774 391 719 0 69309 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 280120 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8241 /proc/meminfo: memFree=1250380/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=286180 CPUtime=1361.83 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 73574 0 0 0 134590 1593 0 0 25 0 1 0 6868420 293048320 70315 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 71545 70315 391 719 0 70824 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 286180 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8243 /proc/meminfo: memFree=1247156/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=289324 CPUtime=1421.81 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 74369 0 0 0 140551 1630 0 0 25 0 1 0 6868420 296267776 71110 1992294400 4194304 7136930 140734256771680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 72331 71110 391 719 0 71610 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 289324 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8245 /proc/meminfo: memFree=1243808/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=292492 CPUtime=1481.78 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 75197 0 0 0 146504 1674 0 0 25 0 1 0 6868420 299511808 71938 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 73123 71938 391 719 0 72402 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 292492 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8247 /proc/meminfo: memFree=1241204/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=295256 CPUtime=1541.77 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 75836 0 0 0 152462 1715 0 0 25 0 1 0 6868420 302342144 72577 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 73814 72577 391 719 0 73093 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 295256 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8247 /proc/meminfo: memFree=1238848/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=297548 CPUtime=1601.74 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 76407 0 0 0 158416 1758 0 0 25 0 1 0 6868420 304689152 73148 1992294400 4194304 7136930 140734256771680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 74387 73148 391 719 0 73666 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 297548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8249 /proc/meminfo: memFree=1235748/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=300644 CPUtime=1661.72 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 77191 0 0 0 164378 1794 0 0 25 0 1 0 6868420 307859456 73932 1992294400 4194304 7136930 140734256771680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 75161 73932 391 719 0 74440 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 300644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8251 /proc/meminfo: memFree=1231904/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=304476 CPUtime=1721.7 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 78165 0 0 0 170332 1838 0 0 25 0 1 0 6868420 311783424 74906 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 76119 74906 391 719 0 75398 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 304476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8253 /proc/meminfo: memFree=1227688/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=308568 CPUtime=1781.69 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 79145 0 0 0 176291 1878 0 0 25 0 1 0 6868420 315973632 75886 1992294400 4194304 7136930 140734256771680 18446744073709551615 5950417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 77142 75886 391 719 0 76421 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 308568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8253 /proc/meminfo: memFree=1226820/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=309424 CPUtime=1800.09 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 79365 0 0 0 178120 1889 0 0 25 0 1 0 6868420 316850176 76106 1992294400 4194304 7136930 140734256771680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8204/statm: 77356 76106 391 719 0 76635 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 309424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8253 /proc/meminfo: memFree=1226820/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=309600 CPUtime=1800.48 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 79417 0 0 0 178159 1889 0 0 25 0 1 0 6868420 317030400 76158 1992294400 4194304 7136930 140734256771680 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8204/statm: 77400 76158 396 719 0 76679 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (KiB) 309600 [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8253 /proc/meminfo: memFree=1226820/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=307552 CPUtime=1800.87 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 79417 0 0 0 178198 1889 0 0 25 0 1 0 6868420 314933248 75646 1992294400 4194304 7136930 140734256771680 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8204/statm: 76888 75646 396 719 0 76167 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (KiB) 307552 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8253 /proc/meminfo: memFree=1226820/2059040 swapFree=4192956/4192956 [pid=8204] ppid=8202 vsize=302788 CPUtime=1800.97 /proc/8204/stat : 8204 (pbscip.linux.x8) R 8202 8204 7009 0 -1 4202496 79417 0 0 0 178208 1889 0 0 25 0 1 0 6868420 310054912 74455 1992294400 4194304 7136930 140734256771680 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8204/statm: 75697 74455 396 719 0 74976 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (KiB) 302788 Child status: 0 Real time (s): 1801.69 CPU time (s): 1801.08 CPU user time (s): 1782.15 CPU system time (s): 18.9301 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 309600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.15 system time used= 18.9301 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79424 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= 4 involuntary context switches= 5672 runsolver used 3.06953 second user time and 8.41372 second system time The end
Begin job on node007 at 2010-06-12 05:17:30 IDJOB=2664032 IDBENCH=1360 IDSOLVER=1167 FILE ID=node007/2664032-1276312650 PBS_JOBID= 11173135 Free space on /tmp= 62456 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664032-1276312650/watcher-2664032-1276312650 -o /tmp/evaluation-result-2664032-1276312650/solver-2664032-1276312650 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664032-1276312650.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 46461f0e86cd2c07d09bc154a5f6739a RANDOM SEED=1961176442 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1533140 kB Buffers: 86680 kB Cached: 311596 kB SwapCached: 0 kB Active: 177068 kB Inactive: 280464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1533140 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3224 kB Writeback: 0 kB AnonPages: 59296 kB Mapped: 15400 kB Slab: 46712 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181952 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= 62452 MiB End job on node007 at 2010-06-12 05:47:32