| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.92 | 1801.62 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb |
| MD5SUM | 733d8edd6a6cbfe19e20f4970079db5a |
| 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 | 24.1743 |
| 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 | 687 |
| 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-2664450-1276309253.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.05/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.05/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.95
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.21 c 3.9s| 10000 | 8024 | 0 | 0.0 |7352k| 82 | - | 231 |4401 | 0 | 0 | 0 |2863 | 0 | 0.000000e+00 | -- | Inf
9.79/9.84 c 9.3s| 20000 | 14829 | 0 | 0.0 | 12M| 82 | - | 231 |5385 | 0 | 0 | 0 |7008 | 0 | 0.000000e+00 | -- | Inf
14.98/15.08 c 14.3s| 30000 | 22579 | 0 | 0.0 | 16M| 82 | - | 231 |6005 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.68/20.73 c 19.7s| 40000 | 30062 | 0 | 0.0 | 21M| 82 | - | 231 |6811 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
27.78/27.83 c 26.6s| 50000 | 36754 | 0 | 0.0 | 26M| 82 | - | 231 |8133 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
36.46/36.57 c 35.0s| 60000 | 42878 | 0 | 0.0 | 31M| 82 | - | 231 |9517 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
47.66/47.70 c 45.9s| 70000 | 48231 | 0 | 0.0 | 36M| 82 | - | 231 | 11k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
63.36/63.41 c 61.2s| 80000 | 52065 | 0 | 0.0 | 41M| 82 | - | 231 | 12k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
82.85/82.93 c 80.4s| 90000 | 54872 | 0 | 0.0 | 45M| 83 | - | 231 | 11k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
94.75/94.80 c 92.0s|100000 | 61349 | 0 | 0.0 | 50M| 83 | - | 231 | 10k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
106.34/106.43 c 103s|110000 | 67643 | 0 | 0.0 | 55M| 83 | - | 231 | 10k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
118.84/118.96 c 116s|120000 | 73720 | 0 | 0.0 | 59M| 83 | - | 231 | 11k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
131.53/131.65 c 128s|130000 | 79659 | 0 | 0.0 | 64M| 83 | - | 231 | 11k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
145.33/145.42 c 141s|140000 | 85278 | 0 | 0.0 | 69M| 83 | - | 231 | 11k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
159.12/159.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.12/159.26 c 155s|150000 | 90856 | 0 | 0.0 | 74M| 83 | - | 231 | 12k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
173.02/173.14 c 169s|160000 | 96419 | 0 | 0.0 | 79M| 83 | - | 231 | 12k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
187.92/188.01 c 183s|170000 |101829 | 0 | 0.0 | 83M| 83 | - | 231 | 13k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
203.32/203.45 c 198s|180000 |106986 | 0 | 0.0 | 88M| 83 | - | 231 | 14k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
219.81/219.98 c 214s|190000 |111945 | 0 | 0.0 | 93M| 83 | - | 231 | 14k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
236.89/237.05 c 231s|200000 |116803 | 0 | 0.0 | 98M| 83 | - | 231 | 14k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
254.68/254.84 c 249s|210000 |121469 | 0 | 0.0 | 103M| 83 | - | 231 | 15k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
274.18/274.38 c 268s|220000 |125734 | 0 | 0.0 | 107M| 83 | - | 231 | 16k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
295.47/295.68 c 289s|230000 |129660 | 0 | 0.0 | 112M| 83 | - | 231 | 17k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
317.67/317.82 c 311s|240000 |133563 | 0 | 0.0 | 117M| 83 | - | 231 | 18k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
342.45/342.63 c 335s|250000 |136965 | 0 | 0.0 | 122M| 83 | - | 231 | 19k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
369.65/369.88 c 362s|260000 |139914 | 0 | 0.0 | 126M| 83 | - | 231 | 20k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
398.73/398.91 c 391s|270000 |142631 | 0 | 0.0 | 130M| 83 | - | 231 | 20k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
430.22/430.47 c 422s|280000 |144847 | 0 | 0.0 | 135M| 83 | - | 231 | 21k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
465.91/466.18 c 457s|290000 |146315 | 0 | 0.0 | 139M| 83 | - | 231 | 23k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
507.39/507.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.39/507.65 c 498s|300000 |146795 | 0 | 0.0 | 143M| 83 | - | 231 | 24k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
556.47/556.71 c 547s|310000 |145750 | 0 | 0.0 | 144M| 83 | - | 231 | 24k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
607.35/607.60 c 597s|320000 |144564 | 0 | 0.0 | 146M| 83 | - | 231 | 24k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
643.84/644.15 c 634s|330000 |147785 | 0 | 0.0 | 148M| 87 | - | 231 | 19k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
679.53/679.85 c 669s|340000 |150814 | 0 | 0.0 | 152M| 87 | - | 231 | 18k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
714.62/714.95 c 704s|350000 |153575 | 0 | 0.0 | 157M| 87 | - | 231 | 18k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
749.40/749.76 c 738s|360000 |156315 | 0 | 0.0 | 162M| 87 | - | 231 | 19k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
785.09/785.49 c 773s|370000 |158811 | 0 | 0.0 | 166M| 87 | - | 231 | 19k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
821.88/822.25 c 810s|380000 |161042 | 0 | 0.0 | 170M| 87 | - | 231 | 20k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
861.46/861.88 c 849s|390000 |162808 | 0 | 0.0 | 174M| 87 | - | 231 | 21k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
902.74/903.11 c 890s|400000 |164183 | 0 | 0.0 | 179M| 87 | - | 231 | 22k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
947.32/947.70 c 934s|410000 |164991 | 0 | 0.0 | 182M| 87 | - | 231 | 22k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
990.00/990.43 c 976s|420000 |166294 | 0 | 0.0 | 186M| 87 | - | 231 | 22k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1036.80/1037.26 c 1023s|430000 |166936 | 0 | 0.0 | 190M| 87 | - | 231 | 23k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1086.86/1087.38 c 1072s|440000 |166999 | 0 | 0.0 | 193M| 87 | - | 231 | 25k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1137.25/1137.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.25/1137.78 c 1122s|450000 |167197 | 0 | 0.0 | 197M| 87 | - | 231 | 26k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1185.93/1186.41 c 1171s|460000 |168019 | 0 | 0.0 | 200M| 87 | - | 231 | 26k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1240.80/1241.37 c 1225s|470000 |167581 | 0 | 0.0 | 203M| 87 | - | 231 | 27k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1297.27/1297.83 c 1281s|480000 |167146 | 0 | 0.0 | 206M| 87 | - | 231 | 28k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1352.47/1353.04 c 1336s|490000 |167119 | 0 | 0.0 | 209M| 87 | - | 231 | 28k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1414.04/1414.68 c 1397s|500000 |165987 | 0 | 0.0 | 211M| 87 | - | 231 | 30k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1471.02/1471.65 c 1454s|510000 |165867 | 0 | 0.0 | 215M| 87 | - | 231 | 31k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1535.29/1535.98 c 1518s|520000 |164698 | 0 | 0.0 | 217M| 87 | - | 231 | 31k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1597.26/1597.90 c 1579s|530000 |163790 | 0 | 0.0 | 219M| 87 | - | 231 | 33k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1661.94/1662.63 c 1644s|540000 |162997 | 0 | 0.0 | 222M| 87 | - | 231 | 33k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1733.31/1734.06 c 1714s|550000 |161057 | 0 | 0.0 | 223M| 87 | - | 231 | 34k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.72 c
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time (sec) : 1780.71
1800.01/1800.72 c Solving Nodes : 559687
1800.01/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.72 c Dual Bound : +0.00000000000000e+00
1800.01/1800.72 c Gap : infinite
1800.01/1800.72 s UNKNOWN
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time : 1780.71
1800.01/1800.72 c Original Problem :
1800.01/1800.72 c Problem name : HOME/instance-2664450-1276309253.opb
1800.01/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.01/1800.72 c Presolved Problem :
1800.01/1800.72 c Problem name : t_HOME/instance-2664450-1276309253.opb
1800.01/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 2564 initial, 35484 maximal
1800.01/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c linear : 0.04 0 0 0 0 0 143 0 0
1800.01/1800.72 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.72 c root node : - 0 - - 0 - - - -
1800.01/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.72 c knapsack : 1 0 2057661 0 413257 48451 6949675 0 0 0
1800.01/1800.72 c setppc : 22 0 2022898 0 413257 92270 2041296 0 0 0
1800.01/1800.72 c logicor : 2541+ 0 1630876 0 413255 85911 6299794 0 0 0
1800.01/1800.72 c countsols : 0 0 0 0 413245 0 0 0 0 0
1800.01/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.72 c knapsack : 47.02 0.00 44.56 0.00 2.46
1800.01/1800.72 c setppc : 29.05 0.00 23.93 0.00 5.12
1800.01/1800.72 c logicor : 934.38 0.00 883.75 0.00 50.63
1800.01/1800.72 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.01/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.72 c vbounds : 1.24 1 0 0
1800.01/1800.72 c rootredcost : 1.07 0 0 0
1800.01/1800.72 c pseudoobj : 0.98 0 0 0
1800.01/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.72 c propagation : 15.18 226631 226518 1143122 19.6 5680 19.5 -
1800.01/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.72 c applied globally : - - - 522518 15.5 - - -
1800.01/1800.72 c applied locally : - - - 2140 34.4 - - -
1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.72 c redcost : 0.00 0 0 0 0 0
1800.01/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.72 c intobj : 0.00 0 0 0 0 0
1800.01/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.72 c gomory : 0.00 0 0 0 0 0
1800.01/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.72 c cmir : 0.00 0 0 0 0 0
1800.01/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.72 c clique : 0.00 0 0 0 0 0
1800.01/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.72 c mcf : 0.00 0 0 0 0 0
1800.01/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.72 c Pricers : Time Calls Vars
1800.01/1800.72 c problem variables: 0.00 0 0
1800.01/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c inference : 10.59 413245 0 0 0 0 826490
1800.01/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c random : 0.00 0 0 0 0 0 0
1800.01/1800.72 c Primal Heuristics : Time Calls Found
1800.01/1800.72 c LP solutions : 0.00 - 0
1800.01/1800.72 c pseudo solutions : 0.00 - 0
1800.01/1800.72 c trivial : 0.00 1 0
1800.01/1800.72 c simplerounding : 0.00 0 0
1800.01/1800.72 c zirounding : 0.00 0 0
1800.01/1800.72 c rounding : 0.00 0 0
1800.01/1800.72 c shifting : 0.00 0 0
1800.01/1800.72 c intshifting : 0.00 0 0
1800.01/1800.72 c oneopt : 0.00 0 0
1800.01/1800.72 c twoopt : 0.00 0 0
1800.01/1800.72 c fixandinfer : 0.00 0 0
1800.01/1800.72 c feaspump : 0.00 0 0
1800.01/1800.72 c coefdiving : 0.00 0 0
1800.01/1800.72 c pscostdiving : 0.00 0 0
1800.01/1800.72 c fracdiving : 0.00 0 0
1800.01/1800.72 c veclendiving : 0.00 0 0
1800.01/1800.72 c intdiving : 0.00 0 0
1800.01/1800.72 c actconsdiving : 0.00 0 0
1800.01/1800.72 c objpscostdiving : 0.00 0 0
1800.01/1800.72 c rootsoldiving : 0.00 0 0
1800.01/1800.72 c linesearchdiving : 0.00 0 0
1800.01/1800.72 c guideddiving : 0.00 0 0
1800.01/1800.72 c octane : 0.00 0 0
1800.01/1800.72 c rens : 0.00 0 0
1800.01/1800.72 c rins : 0.00 0 0
1800.01/1800.72 c localbranching : 0.00 0 0
1800.01/1800.72 c mutation : 0.00 0 0
1800.01/1800.72 c crossover : 0.00 0 0
1800.01/1800.72 c dins : 0.00 0 0
1800.01/1800.72 c undercover : 0.00 0 0
1800.01/1800.72 c nlp : 0.00 0 0
1800.01/1800.72 c trysol : 0.00 0 0
1800.01/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.72 c (at root node) : - 0 0 0.00 -
1800.01/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.72 c B&B Tree :
1800.01/1800.72 c number of runs : 1
1800.01/1800.72 c nodes : 559687
1800.01/1800.72 c nodes (total) : 559687
1800.01/1800.72 c nodes left : 159631
1800.01/1800.72 c max depth : 87
1800.01/1800.72 c max depth (total): 87
1800.01/1800.72 c backtracks : 165637 (29.6%)
1800.01/1800.72 c delayed cutoffs : 107173
1800.01/1800.72 c repropagations : 513942 (4558335 domain reductions, 80190 cutoffs)
1800.01/1800.72 c avg switch length: 16.64
1800.01/1800.72 c switching time : 494.40
1800.01/1800.72 c Solution :
1800.01/1800.72 c Solutions found : 0 (0 improvements)
1800.01/1800.72 c Primal Bound : -
1800.01/1800.72 c Dual Bound : +0.00000000000000e+00
1800.01/1800.72 c Gap : infinite
1800.01/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.72 c Root Iterations : 0
1800.90/1801.62 c Time complete: 1800.91.
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-2664450-1276309253/watcher-2664450-1276309253 -o /tmp/evaluation-result-2664450-1276309253/solver-2664450-1276309253 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664450-1276309253.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.32 1.08 1.20 3/106 9704 /proc/meminfo: memFree=1426072/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=6584 CPUtime=0 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 1001 0 0 0 0 0 0 0 18 0 1 0 6526673 6742016 923 1992294400 4194304 7136930 140733214968400 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9704/statm: 1646 934 254 719 0 925 0 [startup+0.0628119 s] /proc/loadavg: 1.32 1.08 1.20 3/106 9704 /proc/meminfo: memFree=1426072/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=8232 CPUtime=0.05 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 1918 0 0 0 5 0 0 0 20 0 1 0 6526673 8429568 1486 1992294400 4194304 7136930 140733214968400 18446744073709551615 6165594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 2058 1486 272 719 0 1337 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8232 [startup+0.101816 s] /proc/loadavg: 1.32 1.08 1.20 3/106 9704 /proc/meminfo: memFree=1426072/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=14628 CPUtime=0.1 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 3576 0 0 0 9 1 0 0 20 0 1 0 6526673 14979072 2887 1992294400 4194304 7136930 140733214968400 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 3657 2887 345 719 0 2936 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14628 [startup+0.30185 s] /proc/loadavg: 1.32 1.08 1.20 3/106 9704 /proc/meminfo: memFree=1426072/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=17176 CPUtime=0.29 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 6816 0 0 0 26 3 0 0 18 0 1 0 6526673 17588224 3557 1992294400 4194304 7136930 140733214968400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 4294 3557 391 719 0 3573 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17176 [startup+0.70192 s] /proc/loadavg: 1.32 1.08 1.20 3/106 9704 /proc/meminfo: memFree=1426072/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=17708 CPUtime=0.69 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 6959 0 0 0 64 5 0 0 18 0 1 0 6526673 18132992 3700 1992294400 4194304 7136930 140733214968400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 4427 3700 391 719 0 3706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17708 [startup+1.50206 s] /proc/loadavg: 1.32 1.08 1.20 2/107 9705 /proc/meminfo: memFree=1411680/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=19228 CPUtime=1.49 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 7343 0 0 0 139 10 0 0 19 0 1 0 6526673 19689472 4084 1992294400 4194304 7136930 140733214968400 18446744073709551615 4696940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 4807 4084 391 719 0 4086 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19228 [startup+3.10133 s] /proc/loadavg: 1.29 1.08 1.20 2/107 9705 /proc/meminfo: memFree=1409820/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=21572 CPUtime=3.09 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 7932 0 0 0 292 17 0 0 23 0 1 0 6526673 22089728 4673 1992294400 4194304 7136930 140733214968400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 5393 4673 391 719 0 4672 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21572 [startup+6.30188 s] /proc/loadavg: 1.29 1.08 1.20 2/107 9705 /proc/meminfo: memFree=1404984/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=25580 CPUtime=6.29 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 8957 0 0 0 599 30 0 0 25 0 1 0 6526673 26193920 5698 1992294400 4194304 7136930 140733214968400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 6395 5698 391 719 0 5674 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25580 [startup+12.701 s] /proc/loadavg: 1.25 1.07 1.20 2/107 9705 /proc/meminfo: memFree=1398412/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=32416 CPUtime=12.68 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 10688 0 0 0 1208 60 0 0 25 0 1 0 6526673 33193984 7429 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 8104 7429 391 719 0 7383 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32416 [startup+25.5012 s] /proc/loadavg: 1.21 1.07 1.19 2/107 9705 /proc/meminfo: memFree=1384648/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=44812 CPUtime=25.47 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 13843 0 0 0 2435 112 0 0 25 0 1 0 6526673 45887488 10584 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 11203 10584 391 719 0 10482 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 44812 [startup+51.1016 s] /proc/loadavg: 1.14 1.06 1.19 2/107 9707 /proc/meminfo: memFree=1367288/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=62176 CPUtime=51.06 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 18184 0 0 0 4921 185 0 0 25 0 1 0 6526673 63668224 14925 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 15544 14925 391 719 0 14823 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 62176 [startup+102.309 s] /proc/loadavg: 1.05 1.05 1.17 2/107 9707 /proc/meminfo: memFree=1350176/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=80972 CPUtime=102.25 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 22394 0 0 0 9935 290 0 0 25 0 1 0 6526673 82915328 19135 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 20243 19135 391 719 0 19522 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 80972 [startup+162.302 s] /proc/loadavg: 1.02 1.04 1.16 2/107 9709 /proc/meminfo: memFree=1318432/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=112684 CPUtime=162.22 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 30372 0 0 0 15797 425 0 0 25 0 1 0 6526673 115388416 27113 1992294400 4194304 7136930 140733214968400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 28171 27113 391 719 0 27450 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 112684 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.15 2/107 9711 /proc/meminfo: memFree=1296608/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=134228 CPUtime=222.2 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 35783 0 0 0 21680 540 0 0 25 0 1 0 6526673 137449472 32524 1992294400 4194304 7136930 140733214968400 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 33557 32524 391 719 0 32836 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 134228 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.14 2/107 9713 /proc/meminfo: memFree=1280860/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=149764 CPUtime=282.18 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 39690 0 0 0 27582 636 0 0 25 0 1 0 6526673 153358336 36431 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 37441 36431 391 719 0 36720 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 149764 [startup+342.301 s] /proc/loadavg: 1.10 1.04 1.14 2/107 9713 /proc/meminfo: memFree=1267840/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=162392 CPUtime=342.15 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 42906 0 0 0 33497 718 0 0 25 0 1 0 6526673 166289408 39647 1992294400 4194304 7136930 140733214968400 18446744073709551615 4220964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 40598 39647 391 719 0 39877 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 162392 [startup+402.302 s] /proc/loadavg: 1.11 1.05 1.13 2/107 9715 /proc/meminfo: memFree=1255192/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=175548 CPUtime=402.13 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 46170 0 0 0 39420 793 0 0 25 0 1 0 6526673 179761152 42911 1992294400 4194304 7136930 140733214968400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 43887 42911 391 719 0 43166 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 175548 [startup+462.301 s] /proc/loadavg: 1.10 1.05 1.13 2/107 9717 /proc/meminfo: memFree=1241924/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=188400 CPUtime=462.11 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 49302 0 0 0 45350 861 0 0 25 0 1 0 6526673 192921600 46043 1992294400 4194304 7136930 140733214968400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 47100 46043 391 719 0 46379 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 188400 [startup+522.302 s] /proc/loadavg: 1.10 1.06 1.12 2/107 9719 /proc/meminfo: memFree=1238328/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=192152 CPUtime=522.09 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 50224 0 0 0 51287 922 0 0 25 0 1 0 6526673 196763648 46965 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 48038 46965 391 719 0 47317 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 192152 [startup+582.301 s] /proc/loadavg: 1.03 1.05 1.11 2/107 9721 /proc/meminfo: memFree=1234856/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=195564 CPUtime=582.06 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 51065 0 0 0 57230 976 0 0 25 0 1 0 6526673 200257536 47806 1992294400 4194304 7136930 140733214968400 18446744073709551615 6000495 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 48891 47806 391 719 0 48170 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 195564 [startup+642.301 s] /proc/loadavg: 1.01 1.03 1.10 2/107 9721 /proc/meminfo: memFree=1230392/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=200312 CPUtime=642.04 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 52180 0 0 0 63173 1031 0 0 25 0 1 0 6526673 205119488 48921 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 50078 48921 391 719 0 49357 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 200312 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.06 3/107 9729 /proc/meminfo: memFree=1191208/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=239008 CPUtime=941.92 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 61864 0 0 0 92876 1316 0 0 25 0 1 0 6526673 244744192 58605 1992294400 4194304 7136930 140733214968400 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 59752 58605 391 719 0 59031 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 239008 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 9731 /proc/meminfo: memFree=1185008/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=245184 CPUtime=1001.9 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 63397 0 0 0 98821 1369 0 0 25 0 1 0 6526673 251068416 60138 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 61296 60138 391 719 0 60575 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 245184 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 9733 /proc/meminfo: memFree=1181908/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=248348 CPUtime=1061.88 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 64166 0 0 0 104768 1420 0 0 25 0 1 0 6526673 254308352 60907 1992294400 4194304 7136930 140733214968400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 62087 60907 391 719 0 61366 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 248348 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 9735 /proc/meminfo: memFree=1174096/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=256220 CPUtime=1121.85 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 66101 0 0 0 110716 1469 0 0 25 0 1 0 6526673 262369280 62842 1992294400 4194304 7136930 140733214968400 18446744073709551615 4212432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 64055 62842 391 719 0 63334 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 256220 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 9737 /proc/meminfo: memFree=1170376/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=259936 CPUtime=1181.83 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 67024 0 0 0 116667 1516 0 0 25 0 1 0 6526673 266174464 63765 1992294400 4194304 7136930 140733214968400 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 64984 63765 391 719 0 64263 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 259936 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 9737 /proc/meminfo: memFree=1167772/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=262432 CPUtime=1241.8 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 67641 0 0 0 122621 1559 0 0 25 0 1 0 6526673 268730368 64382 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 65608 64382 391 719 0 64887 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 262432 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 9739 /proc/meminfo: memFree=1161696/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=268540 CPUtime=1301.78 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 69156 0 0 0 128580 1598 0 0 25 0 1 0 6526673 274984960 65897 1992294400 4194304 7136930 140733214968400 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 67135 65897 391 719 0 66414 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 268540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 9741 /proc/meminfo: memFree=1158100/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=271980 CPUtime=1361.75 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 70021 0 0 0 134535 1640 0 0 25 0 1 0 6526673 278507520 66762 1992294400 4194304 7136930 140733214968400 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 67995 66762 391 719 0 67274 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 271980 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 1.02 2/107 9743 /proc/meminfo: memFree=1155124/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=274980 CPUtime=1421.74 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 70761 0 0 0 140492 1682 0 0 25 0 1 0 6526673 281579520 67502 1992294400 4194304 7136930 140733214968400 18446744073709551615 5954111 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 68745 67502 391 719 0 68024 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 274980 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 1.02 2/107 9745 /proc/meminfo: memFree=1148180/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=282152 CPUtime=1481.71 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 72497 0 0 0 146449 1722 0 0 25 0 1 0 6526673 288923648 69238 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 70538 69238 391 719 0 69817 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 282152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 9745 /proc/meminfo: memFree=1144956/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=285328 CPUtime=1541.68 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 73273 0 0 0 152405 1763 0 0 25 0 1 0 6526673 292175872 70014 1992294400 4194304 7136930 140733214968400 18446744073709551615 4409177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 71332 70014 391 719 0 70611 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 285328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9747 /proc/meminfo: memFree=1142476/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=287804 CPUtime=1601.66 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 73894 0 0 0 158364 1802 0 0 25 0 1 0 6526673 294711296 70635 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 71951 70635 391 719 0 71230 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 287804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9749 /proc/meminfo: memFree=1139376/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=290792 CPUtime=1661.64 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 74684 0 0 0 164322 1842 0 0 25 0 1 0 6526673 297771008 71425 1992294400 4194304 7136930 140733214968400 18446744073709551615 4209661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 72698 71425 391 719 0 71977 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 290792 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9751 /proc/meminfo: memFree=1136772/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=293488 CPUtime=1721.63 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 75296 0 0 0 170284 1879 0 0 25 0 1 0 6526673 300531712 72037 1992294400 4194304 7136930 140733214968400 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 73372 72037 391 719 0 72651 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 293488 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9753 /proc/meminfo: memFree=1135532/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=294440 CPUtime=1781.6 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 75565 0 0 0 176246 1914 0 0 25 0 1 0 6526673 301506560 72306 1992294400 4194304 7136930 140733214968400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 73610 72306 391 719 0 72889 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 294440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9753 /proc/meminfo: memFree=1135532/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=294440 CPUtime=1800.01 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 75567 0 0 0 178076 1925 0 0 25 0 1 0 6526673 301506560 72308 1992294400 4194304 7136930 140733214968400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9704/statm: 73610 72308 391 719 0 72889 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 294440 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.00 2/107 9753 /proc/meminfo: memFree=1135532/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=294616 CPUtime=1800.69 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 75611 0 0 0 178144 1925 0 0 18 0 1 0 6526673 301686784 72352 1992294400 4194304 7136930 140733214968400 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9704/statm: 73654 72352 396 719 0 72933 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 294616 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9753 /proc/meminfo: memFree=1135532/2059040 swapFree=4192956/4192956 [pid=9704] ppid=9702 vsize=161832 CPUtime=1800.9 /proc/9704/stat : 9704 (pbscip.linux.x8) R 9702 9704 8944 0 -1 4202496 75611 0 0 0 178163 1927 0 0 19 0 1 0 6526673 165715968 39154 1992294400 4194304 7136930 140733214968400 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9704/statm: 40202 39154 396 719 0 39481 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 161832 Child status: 0 Real time (s): 1801.62 CPU time (s): 1800.92 CPU user time (s): 1781.64 CPU system time (s): 19.2881 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 294616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.64 system time used= 19.2881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75618 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= 6 involuntary context switches= 26116 runsolver used 2.84957 second user time and 8.64269 second system time The end
Begin job on node014 at 2010-06-12 04:20:53 IDJOB=2664450 IDBENCH=1353 IDSOLVER=1167 FILE ID=node014/2664450-1276309253 PBS_JOBID= 11173139 Free space on /tmp= 62464 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.1900551864.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-2664450-1276309253/watcher-2664450-1276309253 -o /tmp/evaluation-result-2664450-1276309253/solver-2664450-1276309253 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664450-1276309253.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 733d8edd6a6cbfe19e20f4970079db5a RANDOM SEED=724667781 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1426476 kB Buffers: 88468 kB Cached: 401432 kB SwapCached: 0 kB Active: 185252 kB Inactive: 364496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1426476 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3248 kB Writeback: 48 kB AnonPages: 59804 kB Mapped: 15424 kB Slab: 61120 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182944 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= 62460 MiB End job on node014 at 2010-06-12 04:50:56