| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.97 | 1801.71 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb |
| MD5SUM | 1ce0037c3d80e79a7b72360f6130d1f3 |
| 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 | 60.5208 |
| 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 | 713 |
| 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-2664386-1276286280.opb>
0.01/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.01/0.05 c problem read
0.01/0.05 c No objective function, only one solution is needed.
0.01/0.05 c presolving settings loaded
0.01/0.05 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.01/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.05
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -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.15 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.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.09/4.11 c 3.8s| 10000 | 8154 | 0 | 0.0 |7114k| 96 | - | 231 |4460 | 0 | 0 | 0 |2602 | 0 | 0.000000e+00 | -- | Inf
9.89/9.91 c 9.4s| 20000 | 14784 | 0 | 0.0 | 11M| 96 | - | 231 |5674 | 0 | 0 | 0 |6926 | 0 | 0.000000e+00 | -- | Inf
15.09/15.11 c 14.3s| 30000 | 22526 | 0 | 0.0 | 16M| 96 | - | 231 |6224 | 0 | 0 | 0 |9798 | 0 | 0.000000e+00 | -- | Inf
20.98/21.07 c 20.1s| 40000 | 29919 | 0 | 0.0 | 20M| 96 | - | 231 |6981 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
27.78/27.80 c 26.6s| 50000 | 36919 | 0 | 0.0 | 25M| 96 | - | 231 |7466 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
36.67/36.76 c 35.3s| 60000 | 42676 | 0 | 0.0 | 30M| 96 | - | 231 |8884 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
47.97/48.09 c 46.3s| 70000 | 47829 | 0 | 0.0 | 35M| 96 | - | 231 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
61.97/62.06 c 60.0s| 80000 | 52233 | 0 | 0.0 | 40M| 96 | - | 231 | 11k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
79.16/79.25 c 76.8s| 90000 | 55423 | 0 | 0.0 | 44M| 96 | - | 231 | 11k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
97.65/97.78 c 95.0s|100000 | 57990 | 0 | 0.0 | 49M| 96 | - | 231 | 11k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
108.65/108.70 c 106s|110000 | 64815 | 0 | 0.0 | 53M| 96 | - | 231 | 11k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
120.85/120.91 c 118s|120000 | 71012 | 0 | 0.0 | 58M| 96 | - | 231 | 11k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
134.44/134.58 c 131s|130000 | 76604 | 0 | 0.0 | 63M| 96 | - | 231 | 11k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
149.03/149.19 c 145s|140000 | 81931 | 0 | 0.0 | 68M| 96 | - | 231 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
164.23/164.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.23/164.37 c 160s|150000 | 87181 | 0 | 0.0 | 73M| 96 | - | 231 | 13k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
179.62/179.76 c 175s|160000 | 92435 | 0 | 0.0 | 78M| 96 | - | 231 | 13k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
195.60/195.78 c 191s|170000 | 97581 | 0 | 0.0 | 82M| 96 | - | 231 | 14k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
212.89/213.02 c 208s|180000 |102438 | 0 | 0.0 | 87M| 96 | - | 231 | 14k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
231.29/231.44 c 226s|190000 |107058 | 0 | 0.0 | 92M| 96 | - | 231 | 14k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
251.17/251.33 c 246s|200000 |111215 | 0 | 0.0 | 97M| 96 | - | 231 | 15k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
270.47/270.61 c 264s|210000 |115618 | 0 | 0.0 | 102M| 96 | - | 231 | 15k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
291.45/291.61 c 285s|220000 |119682 | 0 | 0.0 | 107M| 96 | - | 231 | 15k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
314.65/314.88 c 308s|230000 |123093 | 0 | 0.0 | 112M| 96 | - | 231 | 16k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
339.65/339.82 c 333s|240000 |126106 | 0 | 0.0 | 117M| 96 | - | 231 | 17k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
364.82/365.03 c 358s|250000 |129280 | 0 | 0.0 | 121M| 96 | - | 231 | 18k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
393.31/393.58 c 386s|260000 |131671 | 0 | 0.0 | 126M| 96 | - | 231 | 18k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
423.51/423.71 c 416s|270000 |133589 | 0 | 0.0 | 130M| 96 | - | 231 | 18k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
454.30/454.57 c 446s|280000 |135424 | 0 | 0.0 | 135M| 96 | - | 231 | 18k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
486.58/486.81 c 478s|290000 |136915 | 0 | 0.0 | 139M| 96 | - | 231 | 19k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
521.96/522.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.96/522.22 c 513s|300000 |137784 | 0 | 0.0 | 143M| 96 | - | 231 | 20k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
559.66/559.92 c 550s|310000 |138366 | 0 | 0.0 | 147M| 96 | - | 231 | 20k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
599.33/599.68 c 590s|320000 |138493 | 0 | 0.0 | 150M| 96 | - | 231 | 20k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
640.92/641.26 c 631s|330000 |138141 | 0 | 0.0 | 152M| 96 | - | 231 | 19k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
684.09/684.43 c 673s|340000 |137504 | 0 | 0.0 | 154M| 96 | - | 231 | 18k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
723.49/723.86 c 712s|350000 |137882 | 0 | 0.0 | 156M| 96 | - | 231 | 20k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
755.17/755.51 c 744s|360000 |141583 | 0 | 0.0 | 161M| 96 | - | 231 | 20k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
788.45/788.82 c 777s|370000 |144949 | 0 | 0.0 | 166M| 96 | - | 231 | 21k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
826.54/826.94 c 814s|380000 |147334 | 0 | 0.0 | 171M| 96 | - | 231 | 22k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
866.82/867.29 c 854s|390000 |149477 | 0 | 0.0 | 177M| 96 | - | 231 | 23k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
909.00/909.43 c 896s|400000 |151368 | 0 | 0.0 | 182M| 96 | - | 231 | 24k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
955.39/955.84 c 942s|410000 |152712 | 0 | 0.0 | 187M| 96 | - | 231 | 25k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1007.76/1008.23 c 994s|420000 |153314 | 0 | 0.0 | 191M| 96 | - | 231 | 26k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1057.05/1057.55 c 1043s|430000 |154530 | 0 | 0.0 | 196M| 96 | - | 231 | 27k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1113.32/1113.84 c 1099s|440000 |154754 | 0 | 0.0 | 200M| 96 | - | 231 | 28k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1169.80/1170.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.80/1170.34 c 1155s|450000 |155151 | 0 | 0.0 | 204M| 96 | - | 231 | 29k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1224.68/1225.25 c 1209s|460000 |156042 | 0 | 0.0 | 209M| 96 | - | 231 | 29k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1287.35/1287.92 c 1272s|470000 |155610 | 0 | 0.0 | 212M| 96 | - | 231 | 30k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1342.73/1343.37 c 1327s|480000 |156462 | 0 | 0.0 | 217M| 96 | - | 231 | 30k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1408.31/1408.97 c 1392s|490000 |155752 | 0 | 0.0 | 219M| 96 | - | 231 | 31k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1472.88/1473.50 c 1456s|500000 |155271 | 0 | 0.0 | 223M| 96 | - | 231 | 31k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1537.45/1538.13 c 1520s|510000 |154928 | 0 | 0.0 | 226M| 96 | - | 231 | 31k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1606.33/1607.01 c 1589s|520000 |153750 | 0 | 0.0 | 229M| 96 | - | 231 | 32k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1671.40/1672.18 c 1653s|530000 |153465 | 0 | 0.0 | 232M| 96 | - | 231 | 32k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1745.67/1746.45 c 1727s|540000 |151719 | 0 | 0.0 | 234M| 96 | - | 231 | 33k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.81 c
1800.06/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.81 c Solving Time (sec) : 1781.21
1800.06/1800.81 c Solving Nodes : 548007
1800.06/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.81 c Dual Bound : +0.00000000000000e+00
1800.06/1800.81 c Gap : infinite
1800.06/1800.81 s UNKNOWN
1800.06/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.81 c Solving Time : 1781.21
1800.06/1800.81 c Original Problem :
1800.06/1800.81 c Problem name : HOME/instance-2664386-1276286280.opb
1800.06/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.81 c Constraints : 2707 initial, 2707 maximal
1800.06/1800.81 c Presolved Problem :
1800.06/1800.81 c Problem name : t_HOME/instance-2664386-1276286280.opb
1800.06/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.81 c Constraints : 2564 initial, 33672 maximal
1800.06/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.81 c linear : 0.02 0 0 0 0 0 143 0 0
1800.06/1800.81 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.81 c root node : - 0 - - 0 - - - -
1800.06/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.81 c knapsack : 1 0 1962700 0 402756 82745 6831356 0 0 0
1800.06/1800.81 c setppc : 22 0 1894444 0 402756 85186 2534629 0 0 0
1800.06/1800.81 c logicor : 2541+ 0 1539578 0 402756 70499 6615732 0 0 0
1800.06/1800.81 c countsols : 0 0 0 0 402756 0 0 0 0 0
1800.06/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.81 c knapsack : 50.37 0.00 47.90 0.00 2.47
1800.06/1800.81 c setppc : 33.81 0.00 28.26 0.00 5.55
1800.06/1800.81 c logicor : 929.98 0.00 877.89 0.00 52.09
1800.06/1800.81 c countsols : 0.24 0.00 0.00 0.00 0.24
1800.06/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.81 c vbounds : 1.00 1 0 0
1800.06/1800.81 c rootredcost : 0.99 0 0 0
1800.06/1800.81 c pseudoobj : 1.02 0 0 0
1800.06/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.81 c propagation : 13.98 238430 238360 1067665 15.7 4361 17.7 -
1800.06/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.81 c applied globally : - - - 510604 13.3 - - -
1800.06/1800.81 c applied locally : - - - 1226 35.3 - - -
1800.06/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.81 c redcost : 0.00 0 0 0 0 0
1800.06/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.81 c intobj : 0.00 0 0 0 0 0
1800.06/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.81 c gomory : 0.00 0 0 0 0 0
1800.06/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.81 c cmir : 0.00 0 0 0 0 0
1800.06/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.81 c clique : 0.00 0 0 0 0 0
1800.06/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.81 c mcf : 0.00 0 0 0 0 0
1800.06/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.81 c Pricers : Time Calls Vars
1800.06/1800.81 c problem variables: 0.00 0 0
1800.06/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.81 c inference : 11.22 402756 0 0 0 0 805512
1800.06/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.81 c random : 0.00 0 0 0 0 0 0
1800.06/1800.81 c Primal Heuristics : Time Calls Found
1800.06/1800.81 c LP solutions : 0.00 - 0
1800.06/1800.81 c pseudo solutions : 0.00 - 0
1800.06/1800.81 c trivial : 0.00 1 0
1800.06/1800.81 c simplerounding : 0.00 0 0
1800.06/1800.81 c zirounding : 0.00 0 0
1800.06/1800.81 c rounding : 0.00 0 0
1800.06/1800.81 c shifting : 0.00 0 0
1800.06/1800.81 c intshifting : 0.00 0 0
1800.06/1800.81 c oneopt : 0.00 0 0
1800.06/1800.81 c twoopt : 0.00 0 0
1800.06/1800.81 c fixandinfer : 0.00 0 0
1800.06/1800.81 c feaspump : 0.00 0 0
1800.06/1800.81 c coefdiving : 0.00 0 0
1800.06/1800.81 c pscostdiving : 0.00 0 0
1800.06/1800.81 c fracdiving : 0.00 0 0
1800.06/1800.81 c veclendiving : 0.00 0 0
1800.06/1800.81 c intdiving : 0.00 0 0
1800.06/1800.81 c actconsdiving : 0.00 0 0
1800.06/1800.81 c objpscostdiving : 0.00 0 0
1800.06/1800.81 c rootsoldiving : 0.00 0 0
1800.06/1800.81 c linesearchdiving : 0.00 0 0
1800.06/1800.81 c guideddiving : 0.00 0 0
1800.06/1800.81 c octane : 0.00 0 0
1800.06/1800.81 c rens : 0.00 0 0
1800.06/1800.81 c rins : 0.00 0 0
1800.06/1800.81 c localbranching : 0.00 0 0
1800.06/1800.81 c mutation : 0.00 0 0
1800.06/1800.81 c crossover : 0.00 0 0
1800.06/1800.81 c dins : 0.00 0 0
1800.06/1800.81 c undercover : 0.00 0 0
1800.06/1800.81 c nlp : 0.00 0 0
1800.06/1800.81 c trysol : 0.00 0 0
1800.06/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.81 c (at root node) : - 0 0 0.00 -
1800.06/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.81 c B&B Tree :
1800.06/1800.81 c number of runs : 1
1800.06/1800.81 c nodes : 548007
1800.06/1800.81 c nodes (total) : 548007
1800.06/1800.81 c nodes left : 151311
1800.06/1800.81 c max depth : 96
1800.06/1800.81 c max depth (total): 96
1800.06/1800.81 c backtracks : 149852 (27.3%)
1800.06/1800.81 c delayed cutoffs : 106195
1800.06/1800.81 c repropagations : 445877 (5211996 domain reductions, 93179 cutoffs)
1800.06/1800.81 c avg switch length: 15.23
1800.06/1800.81 c switching time : 487.38
1800.06/1800.81 c Solution :
1800.06/1800.81 c Solutions found : 0 (0 improvements)
1800.06/1800.81 c Primal Bound : -
1800.06/1800.81 c Dual Bound : +0.00000000000000e+00
1800.06/1800.81 c Gap : infinite
1800.06/1800.81 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.81 c Root Iterations : 0
1800.96/1801.71 c Time complete: 1800.96.
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-2664386-1276286280/watcher-2664386-1276286280 -o /tmp/evaluation-result-2664386-1276286280/solver-2664386-1276286280 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664386-1276286280.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: 2.33 2.46 2.06 3/106 7047 /proc/meminfo: memFree=1792380/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=6584 CPUtime=0 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 994 0 0 0 0 0 0 0 18 0 1 0 4229563 6742016 917 1992294400 4194304 7136930 140733514419584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7047/statm: 1646 926 254 719 0 925 0 [startup+0.026033 s] /proc/loadavg: 2.33 2.46 2.06 3/106 7047 /proc/meminfo: memFree=1792380/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=8508 CPUtime=0.01 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 1608 0 0 0 1 0 0 0 20 0 1 0 4229563 8712192 1531 1992294400 4194304 7136930 140733514419584 18446744073709551615 6340370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7047/statm: 2127 1531 268 719 0 1406 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8508 [startup+0.101047 s] /proc/loadavg: 2.33 2.46 2.06 3/106 7047 /proc/meminfo: memFree=1792380/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=14764 CPUtime=0.09 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 3612 0 0 0 7 2 0 0 20 0 1 0 4229563 15118336 2924 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 3691 2924 345 719 0 2970 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14764 [startup+0.301085 s] /proc/loadavg: 2.33 2.46 2.06 3/106 7047 /proc/meminfo: memFree=1792380/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=17072 CPUtime=0.29 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 6810 0 0 0 25 4 0 0 20 0 1 0 4229563 17481728 3552 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 4268 3552 391 719 0 3547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17072 [startup+0.701162 s] /proc/loadavg: 2.33 2.46 2.06 3/106 7047 /proc/meminfo: memFree=1792380/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=17856 CPUtime=0.69 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 7015 0 0 0 62 7 0 0 20 0 1 0 4229563 18284544 3757 1992294400 4194304 7136930 140733514419584 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 4464 3757 391 719 0 3743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17856 [startup+1.50131 s] /proc/loadavg: 2.33 2.46 2.06 2/107 7048 /proc/meminfo: memFree=1777856/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=19076 CPUtime=1.49 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 7312 0 0 0 137 12 0 0 23 0 1 0 4229563 19533824 4054 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 4769 4054 391 719 0 4048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19076 [startup+3.10162 s] /proc/loadavg: 2.33 2.46 2.06 2/107 7048 /proc/meminfo: memFree=1775748/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=21320 CPUtime=3.08 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 7895 0 0 0 289 19 0 0 25 0 1 0 4229563 21831680 4637 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 5330 4637 391 719 0 4609 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21320 [startup+6.30124 s] /proc/loadavg: 2.23 2.43 2.05 2/107 7048 /proc/meminfo: memFree=1771664/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=25360 CPUtime=6.28 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 8891 0 0 0 596 32 0 0 25 0 1 0 4229563 25968640 5633 1992294400 4194304 7136930 140733514419584 18446744073709551615 4219859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 6340 5633 391 719 0 5619 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25360 [startup+12.7015 s] /proc/loadavg: 2.13 2.41 2.05 2/107 7048 /proc/meminfo: memFree=1765340/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=31592 CPUtime=12.69 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 10493 0 0 0 1208 61 0 0 25 0 1 0 4229563 32350208 7235 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 7898 7235 391 719 0 7177 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31592 [startup+25.5009 s] /proc/loadavg: 1.88 2.34 2.03 2/107 7048 /proc/meminfo: memFree=1751948/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=44272 CPUtime=25.48 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 13705 0 0 0 2437 111 0 0 25 0 1 0 4229563 45334528 10447 1992294400 4194304 7136930 140733514419584 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 11068 10447 391 719 0 10347 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44272 [startup+51.1008 s] /proc/loadavg: 1.58 2.23 2.00 2/107 7048 /proc/meminfo: memFree=1738060/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=58000 CPUtime=51.06 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 17171 0 0 0 4927 179 0 0 25 0 1 0 4229563 59392000 13913 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 14500 13913 391 719 0 13779 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 58000 [startup+102.309 s] /proc/loadavg: 1.25 2.04 1.95 2/107 7050 /proc/meminfo: memFree=1716360/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=79088 CPUtime=102.25 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 22423 0 0 0 9941 284 0 0 25 0 1 0 4229563 80986112 19165 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 19772 19165 391 719 0 19051 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 79088 [startup+162.301 s] /proc/loadavg: 1.09 1.85 1.88 2/107 7052 /proc/meminfo: memFree=1690816/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=106552 CPUtime=162.23 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 28810 0 0 0 15812 411 0 0 25 0 1 0 4229563 109109248 25552 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 26638 25552 391 719 0 25917 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 106552 [startup+222.301 s] /proc/loadavg: 1.03 1.69 1.83 2/107 7063 /proc/meminfo: memFree=1668744/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=127920 CPUtime=222.18 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 34199 0 0 0 21704 514 0 0 25 0 1 0 4229563 130990080 30941 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 31980 30941 391 719 0 31259 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 127920 [startup+282.301 s] /proc/loadavg: 1.01 1.56 1.77 2/107 7065 /proc/meminfo: memFree=1653244/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=143444 CPUtime=282.16 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 38107 0 0 0 27607 609 0 0 25 0 1 0 4229563 146886656 34849 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 35861 34849 391 719 0 35140 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 143444 [startup+342.302 s] /proc/loadavg: 1.00 1.46 1.72 2/107 7065 /proc/meminfo: memFree=1640100/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=156636 CPUtime=342.13 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 41421 0 0 0 33522 691 0 0 25 0 1 0 4229563 160395264 38163 1992294400 4194304 7136930 140733514419584 18446744073709551615 4220940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 39159 38163 391 719 0 38438 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 156636 [startup+402.301 s] /proc/loadavg: 1.00 1.37 1.67 2/107 7067 /proc/meminfo: memFree=1625592/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=171044 CPUtime=402.11 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 44958 0 0 0 39446 765 0 0 25 0 1 0 4229563 175149056 41700 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 42761 41700 391 719 0 42040 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 171044 [startup+462.301 s] /proc/loadavg: 1.00 1.30 1.63 2/107 7069 /proc/meminfo: memFree=1613440/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=183180 CPUtime=462.09 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 47983 0 0 0 45373 836 0 0 25 0 1 0 4229563 187576320 44725 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 45795 44725 391 719 0 45074 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 183180 [startup+522.301 s] /proc/loadavg: 1.00 1.24 1.59 2/107 7071 /proc/meminfo: memFree=1606744/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=190016 CPUtime=522.06 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 49687 0 0 0 51305 901 0 0 25 0 1 0 4229563 194576384 46429 1992294400 4194304 7136930 140733514419584 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 47504 46429 391 719 0 46783 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 190016 [startup+582.302 s] /proc/loadavg: 1.00 1.20 1.54 2/107 7073 /proc/meminfo: memFree=1601040/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=195748 CPUtime=582.03 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 51092 0 0 0 57238 965 0 0 25 0 1 0 4229563 200445952 47834 1992294400 4194304 7136930 140733514419584 18446744073709551615 4224176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 48937 47834 391 719 0 48216 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 195748 [startup+642.301 s] /proc/loadavg: 1.00 1.16 1.51 2/107 7073 /proc/meminfo: memFree=1598312/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=198264 CPUtime=642.02 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 51752 0 0 0 63176 1026 0 0 25 0 1 0 4229563 203022336 48494 1992294400 4194304 7136930 140733514419584 18446744073709551615 4223007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 49566 48494 391 719 0 48845 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 198264 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.04 1.05 1.34 2/107 7086 /proc/meminfo: memFree=1548464/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=247840 CPUtime=1001.86 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 64003 0 0 0 98826 1360 0 0 25 0 1 0 4229563 253788160 60745 1992294400 4194304 7136930 140733514419584 18446744073709551615 4223018 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 61960 60745 391 719 0 61239 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 247840 [startup+1062.3 s] /proc/loadavg: 1.01 1.04 1.31 2/107 7088 /proc/meminfo: memFree=1539412/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=258124 CPUtime=1061.84 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 66519 0 0 0 104775 1409 0 0 25 0 1 0 4229563 264318976 63261 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 64531 63261 391 719 0 63810 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 258124 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.29 2/107 7090 /proc/meminfo: memFree=1534824/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=261944 CPUtime=1121.82 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 67420 0 0 0 110731 1451 0 0 25 0 1 0 4229563 268230656 64162 1992294400 4194304 7136930 140733514419584 18446744073709551615 4854276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 65486 64162 391 719 0 64765 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 261944 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.27 2/107 7092 /proc/meminfo: memFree=1529368/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=267648 CPUtime=1181.8 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 68850 0 0 0 116690 1490 0 0 25 0 1 0 4229563 274071552 65592 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 66912 65592 391 719 0 66191 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 267648 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.25 2/107 7092 /proc/meminfo: memFree=1523788/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=273360 CPUtime=1241.77 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 70249 0 0 0 122648 1529 0 0 25 0 1 0 4229563 279920640 66991 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 68340 66991 391 719 0 67619 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 273360 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.23 2/107 7094 /proc/meminfo: memFree=1522796/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=274132 CPUtime=1301.75 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 70501 0 0 0 128607 1568 0 0 25 0 1 0 4229563 280711168 67243 1992294400 4194304 7136930 140733514419584 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 68533 67243 391 719 0 67812 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 274132 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.22 2/107 7096 /proc/meminfo: memFree=1519572/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=277304 CPUtime=1361.73 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 71302 0 0 0 134566 1607 0 0 25 0 1 0 4229563 283959296 68044 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 69326 68044 391 719 0 68605 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 277304 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.20 2/107 7098 /proc/meminfo: memFree=1513372/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=283464 CPUtime=1421.71 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 72827 0 0 0 140525 1646 0 0 25 0 1 0 4229563 290267136 69569 1992294400 4194304 7136930 140733514419584 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 70866 69569 391 719 0 70145 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 283464 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 7100 /proc/meminfo: memFree=1510396/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=286272 CPUtime=1481.68 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 73557 0 0 0 146485 1683 0 0 25 0 1 0 4229563 293142528 70299 1992294400 4194304 7136930 140733514419584 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 71568 70299 391 719 0 70847 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 286272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 7100 /proc/meminfo: memFree=1507668/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=289388 CPUtime=1541.65 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 74252 0 0 0 152443 1722 0 0 25 0 1 0 4229563 296333312 70994 1992294400 4194304 7136930 140733514419584 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 72347 70994 391 719 0 71626 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 289388 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 7102 /proc/meminfo: memFree=1503576/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=293412 CPUtime=1601.63 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 75253 0 0 0 158403 1760 0 0 25 0 1 0 4229563 300453888 71995 1992294400 4194304 7136930 140733514419584 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 73353 71995 391 719 0 72632 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 293412 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 7104 /proc/meminfo: memFree=1499856/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=297108 CPUtime=1661.6 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 76182 0 0 0 164361 1799 0 0 25 0 1 0 4229563 304238592 72924 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 74277 72924 391 719 0 73556 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 297108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 7106 /proc/meminfo: memFree=1498120/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=298816 CPUtime=1721.58 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 76621 0 0 0 170326 1832 0 0 25 0 1 0 4229563 305987584 73363 1992294400 4194304 7136930 140733514419584 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 74704 73363 391 719 0 73983 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 298816 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7108 /proc/meminfo: memFree=1496756/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=300092 CPUtime=1781.56 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 76933 0 0 0 176287 1869 0 0 25 0 1 0 4229563 307294208 73675 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 75023 73675 391 719 0 74302 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 300092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7108 /proc/meminfo: memFree=1496508/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=300316 CPUtime=1800.06 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 76990 0 0 0 178125 1881 0 0 25 0 1 0 4229563 307523584 73732 1992294400 4194304 7136930 140733514419584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7047/statm: 75079 73732 391 719 0 74358 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 300316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7108 /proc/meminfo: memFree=1496508/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=300492 CPUtime=1800.65 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 77027 0 0 0 178184 1881 0 0 25 0 1 0 4229563 307703808 73769 1992294400 4194304 7136930 140733514419584 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7047/statm: 75123 73769 396 719 0 74402 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 300492 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7108 /proc/meminfo: memFree=1496508/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=294868 CPUtime=1800.85 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 77027 0 0 0 178204 1881 0 0 25 0 1 0 4229563 301944832 72364 1992294400 4194304 7136930 140733514419584 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7047/statm: 73717 72364 396 719 0 72996 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 294868 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.12 2/108 7109 /proc/meminfo: memFree=1723152/2059040 swapFree=4192076/4192956 [pid=7047] ppid=7045 vsize=17200 CPUtime=1800.96 /proc/7047/stat : 7047 (pbscip.linux.x8) R 7045 7047 5897 0 -1 4202496 77027 0 0 0 178212 1884 0 0 25 0 1 0 4229563 17612800 3830 1992294400 4194304 7136930 140733514419584 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7047/statm: 4300 3722 396 719 0 3579 0 Current children cumulated CPU time (s) 1800.96 Current children cumulated vsize (KiB) 17200 Child status: 0 Real time (s): 1801.71 CPU time (s): 1800.97 CPU user time (s): 1782.12 CPU system time (s): 18.8481 CPU usage (%): 99.9589 Max. virtual memory (cumulated for all children) (KiB): 300492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.12 system time used= 18.8481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77034 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 5321 runsolver used 2.82457 second user time and 8.66868 second system time The end
Begin job on node011 at 2010-06-11 21:58:00 IDJOB=2664386 IDBENCH=1284 IDSOLVER=1167 FILE ID=node011/2664386-1276286280 PBS_JOBID= 11173103 Free space on /tmp= 62260 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.1900571761.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-2664386-1276286280/watcher-2664386-1276286280 -o /tmp/evaluation-result-2664386-1276286280/solver-2664386-1276286280 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664386-1276286280.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1ce0037c3d80e79a7b72360f6130d1f3 RANDOM SEED=711342172 node011.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1792908 kB Buffers: 31488 kB Cached: 110472 kB SwapCached: 0 kB Active: 110488 kB Inactive: 89972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1792908 kB SwapTotal: 4192956 kB SwapFree: 4192076 kB Dirty: 3272 kB Writeback: 0 kB AnonPages: 58472 kB Mapped: 15464 kB Slab: 43956 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180548 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= 62256 MiB End job on node011 at 2010-06-11 22:28:03