| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.9 | 1802.43 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_40.opb |
| MD5SUM | 67a15ea3b760eccb0e507c1f93bad0e1 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| 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 | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12432 |
| Sum of products size (including duplicates) | 24864 |
| Number of different products | 6216 |
| Sum of products size | 12432 |
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-2663462-1276680002.opb>
0.02/0.08 c original problem has 6616 variables (6616 bin, 0 int, 0 impl, 0 cont) and 6818 constraints
0.02/0.08 c problem read
0.02/0.08 c No objective function, only one solution is needed.
0.02/0.08 c presolving settings loaded
0.02/0.08 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.09/0.17 c presolving:
0.39/0.46 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50128 impls, 400 clqs
0.59/0.68 c presolving (2 rounds):
0.59/0.68 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.68 c 50128 implications, 400 cliques
0.59/0.68 c presolved problem has 6616 variables (6616 bin, 0 int, 0 impl, 0 cont) and 6818 constraints
0.59/0.68 c 1 constraints of type <knapsack>
0.59/0.68 c 400 constraints of type <setppc>
0.59/0.68 c 6216 constraints of type <and>
0.59/0.68 c 1 constraints of type <linear>
0.59/0.68 c 200 constraints of type <logicor>
0.59/0.68 c transformed objective value is always integral (scale: 1)
0.59/0.68 c Presolving Time: 0.36
0.59/0.68 c - non default parameters ----------------------------------------------------------------------
0.59/0.68 c # SCIP version 1.2.1.2
0.59/0.68 c
0.59/0.68 c # frequency for displaying node information lines
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.68 c display/freq = 10000
0.59/0.68 c
0.59/0.68 c # maximal time in seconds to run
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.68 c limits/time = 1799.93
0.59/0.68 c
0.59/0.68 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.68 c limits/memory = 1620
0.59/0.68 c
0.59/0.68 c # solving stops, if the given number of solutions were found (-1: no limit)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.68 c limits/solutions = 1
0.59/0.68 c
0.59/0.68 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c lp/solvefreq = -1
0.59/0.68 c
0.59/0.68 c # maximal number of separation rounds per node (-1: unlimited)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 5]
0.59/0.68 c separating/maxrounds = 1
0.59/0.68 c
0.59/0.68 c # maximal number of separation rounds in the root node (-1: unlimited)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.68 c separating/maxroundsroot = 5
0.59/0.68 c
0.59/0.68 c # should presolving try to simplify inequalities
0.59/0.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.68 c constraints/linear/simplifyinequalities = TRUE
0.59/0.68 c
0.59/0.68 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.59/0.68 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.59/0.68 c constraints/knapsack/disaggregation = FALSE
0.59/0.68 c
0.59/0.68 c # should presolving try to simplify knapsacks
0.59/0.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.68 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.68 c
0.59/0.68 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.68 c presolving/probing/maxrounds = 0
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/coefdiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.68 c heuristics/coefdiving/maxlpiterquot = 0.075
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/coefdiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 30]
0.59/0.68 c heuristics/crossover/freq = -1
0.59/0.68 c
0.59/0.68 c # number of nodes added to the contingent of the total nodes
0.59/0.68 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.68 c heuristics/crossover/nodesofs = 750
0.59/0.68 c
0.59/0.68 c # number of nodes without incumbent change that heuristic should wait
0.59/0.68 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.59/0.68 c heuristics/crossover/nwaitingnodes = 100
0.59/0.68 c
0.59/0.68 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.59/0.68 c # [type: real, range: [0,1], default: 0.1]
0.59/0.68 c heuristics/crossover/nodesquot = 0.15
0.59/0.68 c
0.59/0.68 c # minimum percentage of integer variables that have to be fixed
0.59/0.68 c # [type: real, range: [0,1], default: 0.666]
0.59/0.68 c heuristics/crossover/minfixingrate = 0.5
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.68 c heuristics/feaspump/freq = -1
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/feaspump/maxlpiterofs = 2000
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/fracdiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.68 c heuristics/fracdiving/maxlpiterquot = 0.075
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/fracdiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/guideddiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.68 c heuristics/guideddiving/maxlpiterquot = 0.075
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/guideddiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.68 c heuristics/intdiving/maxlpiterquot = 0.075
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/intshifting/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/linesearchdiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.68 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c heuristics/nlp/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.68 c heuristics/objpscostdiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to total iteration number
0.59/0.68 c # [type: real, range: [0,1], default: 0.01]
0.59/0.68 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c heuristics/oneopt/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/pscostdiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.68 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/pscostdiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.68 c heuristics/rens/freq = -1
0.59/0.68 c
0.59/0.68 c # minimum percentage of integer variables that have to be fixable
0.59/0.68 c # [type: real, range: [0,1], default: 0.5]
0.59/0.68 c heuristics/rens/minfixingrate = 0.3
0.59/0.68 c
0.59/0.68 c # number of nodes added to the contingent of the total nodes
0.59/0.68 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.68 c heuristics/rens/nodesofs = 2000
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.68 c heuristics/rootsoldiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.59/0.68 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c heuristics/rounding/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/shifting/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c heuristics/simplerounding/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.68 c heuristics/trivial/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c heuristics/trysol/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.68 c heuristics/veclendiving/freq = -1
0.59/0.68 c
0.59/0.68 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.68 c heuristics/veclendiving/maxlpiterquot = 0.075
0.59/0.68 c
0.59/0.68 c # additional number of allowed LP iterations
0.59/0.68 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.68 c heuristics/veclendiving/maxlpiterofs = 1500
0.59/0.68 c
0.59/0.68 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c heuristics/zirounding/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.68 c separating/cmir/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.68 c separating/flowcover/freq = -1
0.59/0.68 c
0.59/0.68 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.68 c separating/rapidlearning/freq = 0
0.59/0.68 c
0.59/0.68 c -----------------------------------------------------------------------------------------------
0.59/0.68 c start solving
0.59/0.69 c
0.59/0.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.69 c 0.4s| 1 | 2 | 0 | - | 17M| 0 | - |6616 |6818 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.79/41.87 c 41.2s| 10000 | 9702 | 0 | 0.0 | 35M| 339 | - |6616 |7005 | 0 | 0 | 0 | 232 | 0 | 0.000000e+00 | -- | Inf
74.37/74.45 c 73.5s| 20000 | 19408 | 0 | 0.0 | 50M| 339 | - |6616 |7149 | 0 | 0 | 0 | 453 | 0 | 0.000000e+00 | -- | Inf
94.66/94.77 c 93.4s| 30000 | 28989 | 0 | 0.0 | 61M| 339 | - |6616 |7393 | 0 | 0 | 0 | 761 | 0 | 0.000000e+00 | -- | Inf
119.25/119.32 c 118s| 40000 | 35712 | 0 | 0.0 | 71M| 339 | - |6616 |7072 | 0 | 0 | 0 |3051 | 0 | 0.000000e+00 | -- | Inf
160.55/160.64 c 158s| 50000 | 45533 | 0 | 0.0 | 87M| 339 | - |6616 |7100 | 0 | 0 | 0 |3232 | 0 | 0.000000e+00 | -- | Inf
201.73/201.81 c 199s| 60000 | 55379 | 0 | 0.0 | 104M| 339 | - |6616 |7118 | 0 | 0 | 0 |3377 | 0 | 0.000000e+00 | -- | Inf
244.92/245.01 c 242s| 70000 | 65023 | 0 | 0.0 | 121M| 339 | - |6616 |7250 | 0 | 0 | 0 |3751 | 0 | 0.000000e+00 | -- | Inf
288.61/288.70 c 285s| 80000 | 74697 | 0 | 0.0 | 137M| 339 | - |6616 |7413 | 0 | 0 | 0 |4186 | 0 | 0.000000e+00 | -- | Inf
330.80/330.91 c 327s| 90000 | 84485 | 0 | 0.0 | 154M| 339 | - |6616 |7359 | 0 | 0 | 0 |4362 | 0 | 0.000000e+00 | -- | Inf
372.49/372.66 c 369s|100000 | 94286 | 0 | 0.0 | 171M| 339 | - |6616 |7319 | 0 | 0 | 0 |4539 | 0 | 0.000000e+00 | -- | Inf
412.08/412.24 c 408s|110000 |104099 | 0 | 0.0 | 187M| 339 | - |6616 |7337 | 0 | 0 | 0 |4719 | 0 | 0.000000e+00 | -- | Inf
452.86/453.09 c 448s|120000 |113901 | 0 | 0.0 | 204M| 339 | - |6616 |7353 | 0 | 0 | 0 |4893 | 0 | 0.000000e+00 | -- | Inf
493.05/493.27 c 488s|130000 |123712 | 0 | 0.0 | 221M| 339 | - |6616 |7372 | 0 | 0 | 0 |5065 | 0 | 0.000000e+00 | -- | Inf
534.94/535.15 c 530s|140000 |133462 | 0 | 0.0 | 237M| 339 | - |6616 |7408 | 0 | 0 | 0 |5347 | 0 | 0.000000e+00 | -- | Inf
576.03/576.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.03/576.25 c 570s|150000 |143261 | 0 | 0.0 | 254M| 339 | - |6616 |7423 | 0 | 0 | 0 |5518 | 0 | 0.000000e+00 | -- | Inf
614.82/615.02 c 609s|160000 |153059 | 0 | 0.0 | 271M| 339 | - |6616 |7454 | 0 | 0 | 0 |5703 | 0 | 0.000000e+00 | -- | Inf
655.00/655.21 c 649s|170000 |162848 | 0 | 0.0 | 287M| 339 | - |6616 |7464 | 0 | 0 | 0 |5873 | 0 | 0.000000e+00 | -- | Inf
695.40/695.60 c 689s|180000 |172644 | 0 | 0.0 | 303M| 339 | - |6616 |7469 | 0 | 0 | 0 |6034 | 0 | 0.000000e+00 | -- | Inf
734.28/734.59 c 728s|190000 |182419 | 0 | 0.0 | 320M| 339 | - |6616 |7493 | 0 | 0 | 0 |6221 | 0 | 0.000000e+00 | -- | Inf
773.67/773.91 c 766s|200000 |192089 | 0 | 0.0 | 336M| 339 | - |6616 |7700 | 0 | 0 | 0 |6603 | 0 | 0.000000e+00 | -- | Inf
812.96/813.28 c 805s|210000 |201847 | 0 | 0.0 | 353M| 339 | - |6616 |7631 | 0 | 0 | 0 |6810 | 0 | 0.000000e+00 | -- | Inf
852.05/852.34 c 844s|220000 |211621 | 0 | 0.0 | 369M| 339 | - |6616 |7627 | 0 | 0 | 0 |6997 | 0 | 0.000000e+00 | -- | Inf
890.64/890.98 c 882s|230000 |221414 | 0 | 0.0 | 385M| 339 | - |6616 |7621 | 0 | 0 | 0 |7163 | 0 | 0.000000e+00 | -- | Inf
926.82/927.16 c 918s|240000 |231205 | 0 | 0.0 | 402M| 339 | - |6616 |7666 | 0 | 0 | 0 |7369 | 0 | 0.000000e+00 | -- | Inf
964.11/964.43 c 955s|250000 |240958 | 0 | 0.0 | 418M| 339 | - |6616 |7658 | 0 | 0 | 0 |7567 | 0 | 0.000000e+00 | -- | Inf
1001.10/1001.42 c 992s|260000 |250731 | 0 | 0.0 | 434M| 339 | - |6616 |7676 | 0 | 0 | 0 |7752 | 0 | 0.000000e+00 | -- | Inf
1037.69/1038.01 c 1028s|270000 |260507 | 0 | 0.0 | 451M| 339 | - |6616 |7694 | 0 | 0 | 0 |7951 | 0 | 0.000000e+00 | -- | Inf
1075.08/1075.40 c 1065s|280000 |270269 | 0 | 0.0 | 467M| 339 | - |6616 |7719 | 0 | 0 | 0 |8142 | 0 | 0.000000e+00 | -- | Inf
1110.68/1111.03 c 1100s|290000 |280047 | 0 | 0.0 | 483M| 339 | - |6616 |7749 | 0 | 0 | 0 |8343 | 0 | 0.000000e+00 | -- | Inf
1147.85/1148.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.85/1148.26 c 1137s|300000 |289800 | 0 | 0.0 | 500M| 339 | - |6616 |7749 | 0 | 0 | 0 |8552 | 0 | 0.000000e+00 | -- | Inf
1183.54/1183.91 c 1173s|310000 |299578 | 0 | 0.0 | 516M| 339 | - |6616 |7781 | 0 | 0 | 0 |8745 | 0 | 0.000000e+00 | -- | Inf
1220.13/1220.56 c 1209s|320000 |309259 | 0 | 0.0 | 533M| 339 | - |6616 |7914 | 0 | 0 | 0 |9191 | 0 | 0.000000e+00 | -- | Inf
1257.42/1257.86 c 1246s|330000 |319012 | 0 | 0.0 | 549M| 339 | - |6616 |7891 | 0 | 0 | 0 |9384 | 0 | 0.000000e+00 | -- | Inf
1293.51/1293.91 c 1282s|340000 |328760 | 0 | 0.0 | 565M| 339 | - |6616 |7898 | 0 | 0 | 0 |9594 | 0 | 0.000000e+00 | -- | Inf
1329.31/1329.73 c 1317s|350000 |338508 | 0 | 0.0 | 581M| 339 | - |6616 |7907 | 0 | 0 | 0 |9807 | 0 | 0.000000e+00 | -- | Inf
1365.19/1365.60 c 1353s|360000 |348249 | 0 | 0.0 | 598M| 339 | - |6616 |7932 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1401.28/1401.77 c 1388s|370000 |357915 | 0 | 0.0 | 614M| 339 | - |6616 |8013 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1437.07/1437.59 c 1424s|380000 |367669 | 0 | 0.0 | 630M| 339 | - |6616 |8025 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1472.47/1472.97 c 1459s|390000 |377410 | 0 | 0.0 | 646M| 339 | - |6616 |8016 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1508.06/1508.57 c 1494s|400000 |387155 | 0 | 0.0 | 663M| 339 | - |6616 |8019 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1543.24/1543.76 c 1529s|410000 |396866 | 0 | 0.0 | 679M| 339 | - |6616 |8043 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1578.44/1579.00 c 1564s|420000 |406605 | 0 | 0.0 | 695M| 339 | - |6616 |8062 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1613.03/1613.57 c 1598s|430000 |416331 | 0 | 0.0 | 712M| 339 | - |6616 |8096 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1647.22/1647.76 c 1632s|440000 |426039 | 0 | 0.0 | 728M| 339 | - |6616 |8155 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1681.51/1682.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.51/1682.09 c 1666s|450000 |435770 | 0 | 0.0 | 744M| 339 | - |6616 |8156 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1715.50/1716.05 c 1700s|460000 |445479 | 0 | 0.0 | 761M| 339 | - |6616 |8181 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1750.09/1750.67 c 1734s|470000 |455199 | 0 | 0.0 | 777M| 339 | - |6616 |8184 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1784.18/1784.70 c 1768s|480000 |464914 | 0 | 0.0 | 793M| 339 | - |6616 |8217 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1783.51
1800.09/1800.61 c Solving Nodes : 484660
1800.09/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 s UNKNOWN
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1783.51
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-2663462-1276680002.opb
1800.09/1800.61 c Variables : 6616 (6616 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 6818 initial, 6818 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-2663462-1276680002.opb
1800.09/1800.61 c Variables : 6616 (6616 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 6818 initial, 9140 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.62 c and : 0.23 0 0 0 0 0 0 0 0
1800.09/1800.62 c linear : 0.05 0 0 0 0 0 0 0 0
1800.09/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c root node : - 0 - - 0 - - - -
1800.09/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.62 c knapsack : 1 0 714835 0 338622 1243 201537 0 0 0
1800.09/1800.62 c setppc : 400 0 1097989 0 478868 6805 256548 0 0 0
1800.09/1800.62 c and : 6216 0 1091184 0 478868 8 11913707 0 0 0
1800.09/1800.62 c linear : 1 0 1088365 0 478868 1207 114224 0 0 0
1800.09/1800.62 c logicor : 200+ 0 30851 0 478868 158 282305 0 0 0
1800.09/1800.62 c countsols : 0 0 0 0 478868 0 0 0 0 0
1800.09/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.62 c knapsack : 18.99 0.00 10.79 0.00 8.20
1800.09/1800.62 c setppc : 365.76 0.00 22.32 0.00 343.44
1800.09/1800.62 c and : 562.96 0.00 199.70 0.00 363.26
1800.09/1800.62 c linear : 57.79 0.00 56.77 0.00 1.02
1800.09/1800.62 c logicor : 37.10 0.00 5.03 0.00 32.07
1800.09/1800.62 c countsols : 0.44 0.00 0.00 0.00 0.44
1800.09/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.62 c vbounds : 0.99 1 0 0
1800.09/1800.62 c rootredcost : 0.76 0 0 0
1800.09/1800.62 c pseudoobj : 0.44 0 0 0
1800.09/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.62 c propagation : 7.32 9421 9369 14932 167.3 0 0.0 -
1800.09/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.62 c applied globally : - - - 13115 149.9 - - -
1800.09/1800.62 c applied locally : - - - 0 0.0 - - -
1800.09/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.62 c redcost : 0.00 0 0 0 0 0
1800.09/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.62 c intobj : 0.00 0 0 0 0 0
1800.09/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.62 c gomory : 0.00 0 0 0 0 0
1800.09/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.62 c cmir : 0.00 0 0 0 0 0
1800.09/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.62 c clique : 0.00 0 0 0 0 0
1800.09/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.62 c mcf : 0.00 0 0 0 0 0
1800.09/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.62 c Pricers : Time Calls Vars
1800.09/1800.62 c problem variables: 0.00 0 0
1800.09/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c inference : 653.99 478868 0 0 0 0 957736
1800.09/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c random : 0.00 0 0 0 0 0 0
1800.09/1800.62 c Primal Heuristics : Time Calls Found
1800.09/1800.62 c LP solutions : 0.00 - 0
1800.09/1800.62 c pseudo solutions : 0.00 - 0
1800.09/1800.62 c trivial : 0.01 1 0
1800.09/1800.62 c simplerounding : 0.00 0 0
1800.09/1800.62 c zirounding : 0.00 0 0
1800.09/1800.62 c rounding : 0.00 0 0
1800.09/1800.62 c shifting : 0.00 0 0
1800.09/1800.62 c intshifting : 0.00 0 0
1800.09/1800.62 c oneopt : 0.00 0 0
1800.09/1800.62 c twoopt : 0.00 0 0
1800.09/1800.62 c fixandinfer : 0.00 0 0
1800.09/1800.62 c feaspump : 0.00 0 0
1800.09/1800.62 c coefdiving : 0.00 0 0
1800.09/1800.62 c pscostdiving : 0.00 0 0
1800.09/1800.62 c fracdiving : 0.00 0 0
1800.09/1800.62 c veclendiving : 0.00 0 0
1800.09/1800.62 c intdiving : 0.00 0 0
1800.09/1800.62 c actconsdiving : 0.00 0 0
1800.09/1800.62 c objpscostdiving : 0.00 0 0
1800.09/1800.62 c rootsoldiving : 0.00 0 0
1800.09/1800.62 c linesearchdiving : 0.00 0 0
1800.09/1800.62 c guideddiving : 0.00 0 0
1800.09/1800.62 c octane : 0.00 0 0
1800.09/1800.62 c rens : 0.00 0 0
1800.09/1800.62 c rins : 0.00 0 0
1800.09/1800.62 c localbranching : 0.00 0 0
1800.09/1800.62 c mutation : 0.00 0 0
1800.09/1800.62 c crossover : 0.00 0 0
1800.09/1800.62 c dins : 0.00 0 0
1800.09/1800.62 c undercover : 0.00 0 0
1800.09/1800.62 c nlp : 0.00 0 0
1800.09/1800.62 c trysol : 0.00 0 0
1800.09/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.62 c (at root node) : - 0 0 0.00 -
1800.09/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.62 c B&B Tree :
1800.09/1800.62 c number of runs : 1
1800.09/1800.62 c nodes : 484660
1800.09/1800.62 c nodes (total) : 484660
1800.09/1800.62 c nodes left : 469447
1800.09/1800.62 c max depth : 339
1800.09/1800.62 c max depth (total): 339
1800.09/1800.62 c backtracks : 3794 (0.8%)
1800.09/1800.62 c delayed cutoffs : 3630
1800.09/1800.62 c repropagations : 109430 (483571 domain reductions, 3629 cutoffs)
1800.09/1800.62 c avg switch length: 2.99
1800.09/1800.62 c switching time : 52.98
1800.09/1800.62 c Solution :
1800.09/1800.62 c Solutions found : 0 (0 improvements)
1800.09/1800.62 c Primal Bound : -
1800.09/1800.62 c Dual Bound : +0.00000000000000e+00
1800.09/1800.62 c Gap : infinite
1800.09/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.62 c Root Iterations : 0
1801.86/1802.43 c Time complete: 1801.89.
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-2663462-1276680002/watcher-2663462-1276680002 -o /tmp/evaluation-result-2663462-1276680002/solver-2663462-1276680002 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663462-1276680002.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15371 /proc/meminfo: memFree=1749060/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=6584 CPUtime=0 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 9291683 6742016 917 1992294400 4194304 7136930 140737126954640 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15371/statm: 1646 927 254 719 0 925 0 [startup+0.0317591 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15371 /proc/meminfo: memFree=1749060/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=11784 CPUtime=0.02 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 2415 0 0 0 2 0 0 0 20 0 1 0 9291683 12066816 2337 1992294400 4194304 7136930 140737126954640 18446744073709551615 4240573 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15371/statm: 2946 2337 269 719 0 2225 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11784 [startup+0.101764 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15371 /proc/meminfo: memFree=1749060/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=21640 CPUtime=0.09 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 5167 0 0 0 8 1 0 0 20 0 1 0 9291683 22159360 4735 1992294400 4194304 7136930 140737126954640 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 5410 4748 281 719 0 4689 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21640 [startup+0.301782 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15371 /proc/meminfo: memFree=1749060/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=30556 CPUtime=0.29 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 7547 0 0 0 23 6 0 0 20 0 1 0 9291683 31289344 6858 1992294400 4194304 7136930 140737126954640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 7639 6858 327 719 0 6918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30556 [startup+0.700819 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15371 /proc/meminfo: memFree=1749060/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=36504 CPUtime=0.69 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 10850 0 0 0 48 21 0 0 21 0 1 0 9291683 37380096 8362 1992294400 4194304 7136930 140737126954640 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 9126 8362 389 719 0 8405 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36504 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15372 /proc/meminfo: memFree=1715944/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=38836 CPUtime=1.49 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 11438 0 0 0 127 22 0 0 22 0 1 0 9291683 39768064 8950 1992294400 4194304 7136930 140737126954640 18446744073709551615 4740347 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 9709 8950 389 719 0 8988 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38836 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15372 /proc/meminfo: memFree=1713836/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=40072 CPUtime=3.09 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 11747 0 0 0 285 24 0 0 25 0 1 0 9291683 41033728 9259 1992294400 4194304 7136930 140737126954640 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 10018 9259 394 719 0 9297 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40072 [startup+6.30132 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15372 /proc/meminfo: memFree=1712224/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=41868 CPUtime=6.29 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 12173 0 0 0 602 27 0 0 25 0 1 0 9291683 42872832 9685 1992294400 4194304 7136930 140737126954640 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 10467 9685 394 719 0 9746 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41868 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15372 /proc/meminfo: memFree=1708380/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=45152 CPUtime=12.69 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 13007 0 0 0 1238 31 0 0 25 0 1 0 9291683 46235648 10519 1992294400 4194304 7136930 140737126954640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 11288 10519 394 719 0 10567 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45152 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15372 /proc/meminfo: memFree=1701064/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=52072 CPUtime=25.48 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 14739 0 0 0 2507 41 0 0 25 0 1 0 9291683 53321728 12251 1992294400 4194304 7136930 140737126954640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 13018 12251 394 719 0 12297 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52072 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15372 /proc/meminfo: memFree=1688292/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=65972 CPUtime=51.07 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 18240 0 0 0 5045 62 0 0 25 0 1 0 9291683 67555328 15752 1992294400 4194304 7136930 140737126954640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 16493 15752 394 719 0 15772 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 65972 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15374 /proc/meminfo: memFree=1647744/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=105148 CPUtime=102.27 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 27992 0 0 0 10079 148 0 0 25 0 1 0 9291683 107671552 25504 1992294400 4194304 7136930 140737126954640 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 26287 25504 394 719 0 25566 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 105148 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15376 /proc/meminfo: memFree=1619596/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=133796 CPUtime=162.25 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 35091 0 0 0 16018 207 0 0 25 0 1 0 9291683 137007104 32603 1992294400 4194304 7136930 140737126954640 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 33449 32603 394 719 0 32728 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 133796 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15378 /proc/meminfo: memFree=1595292/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=157704 CPUtime=222.23 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 41053 0 0 0 21970 253 0 0 25 0 1 0 9291683 161488896 38565 1992294400 4194304 7136930 140737126954640 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 39426 38565 394 719 0 38705 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 157704 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15380 /proc/meminfo: memFree=1568136/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=186740 CPUtime=282.21 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 47828 0 0 0 27911 310 0 0 25 0 1 0 9291683 191221760 45340 1992294400 4194304 7136930 140737126954640 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 46685 45340 394 719 0 45964 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 186740 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15380 /proc/meminfo: memFree=1546064/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=208836 CPUtime=342.19 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 53305 0 0 0 33863 356 0 0 25 0 1 0 9291683 213848064 50817 1992294400 4194304 7136930 140737126954640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 52209 50817 394 719 0 51488 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 208836 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15382 /proc/meminfo: memFree=1518660/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=236140 CPUtime=402.17 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 60135 0 0 0 39810 407 0 0 25 0 1 0 9291683 241807360 57647 1992294400 4194304 7136930 140737126954640 18446744073709551615 5121841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 59035 57647 394 719 0 58314 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 236140 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15384 /proc/meminfo: memFree=1491504/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=263836 CPUtime=462.16 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 66922 0 0 0 45756 460 0 0 25 0 1 0 9291683 270168064 64434 1992294400 4194304 7136930 140737126954640 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 65959 64434 394 719 0 65238 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 263836 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15386 /proc/meminfo: memFree=1466828/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=288600 CPUtime=522.14 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 73041 0 0 0 51703 511 0 0 25 0 1 0 9291683 295526400 70553 1992294400 4194304 7136930 140737126954640 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 72150 70553 394 719 0 71429 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 288600 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15388 /proc/meminfo: memFree=1438680/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=316824 CPUtime=582.12 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 80100 0 0 0 57654 558 0 0 25 0 1 0 9291683 324427776 77612 1992294400 4194304 7136930 140737126954640 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 79206 77612 394 719 0 78485 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 316824 [startup+642.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 15388 /proc/meminfo: memFree=1415740/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=339384 CPUtime=642.12 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 85770 0 0 0 63604 608 0 0 25 0 1 0 9291683 347529216 83282 1992294400 4194304 7136930 140737126954640 18446744073709551615 6166368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 84846 83282 394 719 0 84125 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 339384 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 15401 /proc/meminfo: memFree=1260368/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=498952 CPUtime=1002 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 124351 0 0 0 99285 915 0 0 25 0 1 0 9291683 510926848 121863 1992294400 4194304 7136930 140737126954640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 124738 121863 394 719 0 124017 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 498952 [startup+1062.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 15403 /proc/meminfo: memFree=1232468/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=529420 CPUtime=1061.98 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 131860 0 0 0 105229 969 0 0 25 0 1 0 9291683 542126080 129372 1992294400 4194304 7136930 140737126954640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 132355 129372 394 719 0 131634 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 529420 [startup+1122.3 s] /proc/loadavg: 1.15 1.06 1.01 2/107 15405 /proc/meminfo: memFree=1206180/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=553916 CPUtime=1121.96 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 137877 0 0 0 111172 1024 0 0 25 0 1 0 9291683 567209984 135389 1992294400 4194304 7136930 140737126954640 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 138479 135389 394 719 0 137758 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 553916 [startup+1182.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 15407 /proc/meminfo: memFree=1182000/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=579728 CPUtime=1181.94 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 144189 0 0 0 117119 1075 0 0 25 0 1 0 9291683 593641472 141701 1992294400 4194304 7136930 140737126954640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 144932 141701 394 719 0 144211 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 579728 [startup+1242.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 15407 /proc/meminfo: memFree=1153232/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=608052 CPUtime=1241.93 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 151096 0 0 0 123058 1135 0 0 25 0 1 0 9291683 622645248 148608 1992294400 4194304 7136930 140737126954640 18446744073709551615 4227536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 152013 148608 394 719 0 151292 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 608052 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 15409 /proc/meminfo: memFree=1123224/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=638320 CPUtime=1301.91 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 158571 0 0 0 129000 1191 0 0 25 0 1 0 9291683 653639680 156083 1992294400 4194304 7136930 140737126954640 18446744073709551615 4210473 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 159580 156083 394 719 0 158859 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 638320 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 15411 /proc/meminfo: memFree=1096936/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=666244 CPUtime=1361.89 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 165392 0 0 0 134943 1246 0 0 25 0 1 0 9291683 682233856 162904 1992294400 4194304 7136930 140737126954640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 166561 162904 394 719 0 165840 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 666244 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/107 15413 /proc/meminfo: memFree=1064448/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=698456 CPUtime=1421.88 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 173219 0 0 0 140892 1296 0 0 25 0 1 0 9291683 715218944 170731 1992294400 4194304 7136930 140737126954640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 174614 170731 394 719 0 173893 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 698456 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 15415 /proc/meminfo: memFree=1042500/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=720584 CPUtime=1481.86 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 178698 0 0 0 146835 1351 0 0 25 0 1 0 9291683 737878016 176210 1992294400 4194304 7136930 140737126954640 18446744073709551615 4227196 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 180146 176210 394 719 0 179425 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 720584 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15415 /proc/meminfo: memFree=1013608/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=749460 CPUtime=1541.84 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 185916 0 0 0 152779 1405 0 0 25 0 1 0 9291683 767447040 183428 1992294400 4194304 7136930 140737126954640 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 187365 183428 394 719 0 186644 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 749460 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15417 /proc/meminfo: memFree=984716/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=778956 CPUtime=1601.83 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 193177 0 0 0 158717 1466 0 0 25 0 1 0 9291683 797650944 190689 1992294400 4194304 7136930 140737126954640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 194739 190689 394 719 0 194018 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 778956 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15419 /proc/meminfo: memFree=954088/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=808812 CPUtime=1661.81 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 200756 0 0 0 164659 1522 0 0 25 0 1 0 9291683 828223488 198268 1992294400 4194304 7136930 140737126954640 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 202203 198268 394 719 0 201482 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 808812 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15421 /proc/meminfo: memFree=924080/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=838288 CPUtime=1721.79 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 208217 0 0 0 170600 1579 0 0 25 0 1 0 9291683 858406912 205729 1992294400 4194304 7136930 140737126954640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 209572 205729 394 719 0 208851 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 838288 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15423 /proc/meminfo: memFree=900644/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=870548 CPUtime=1781.78 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 214019 0 0 0 176544 1634 0 0 25 0 1 0 9291683 891441152 211531 1992294400 4194304 7136930 140737126954640 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 217637 211531 394 719 0 216916 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 870548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15423 /proc/meminfo: memFree=893452/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=878084 CPUtime=1800.09 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 215798 0 0 0 178358 1651 0 0 25 0 1 0 9291683 899158016 213310 1992294400 4194304 7136930 140737126954640 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15371/statm: 219521 213310 394 719 0 218800 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 878084 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 15423 /proc/meminfo: memFree=893452/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=877568 CPUtime=1800.87 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 215803 0 0 0 178436 1651 0 0 25 0 1 0 9291683 898629632 213186 1992294400 4194304 7136930 140737126954640 18446744073709551615 4670071 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15371/statm: 219392 213186 399 719 0 218671 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (KiB) 877568 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15424 /proc/meminfo: memFree=894064/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=764604 CPUtime=1801.67 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 215803 0 0 0 178514 1653 0 0 25 0 1 0 9291683 782954496 184689 1992294400 4194304 7136930 140737126954640 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15371/statm: 190895 184689 399 719 0 190174 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 764604 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15424 /proc/meminfo: memFree=894064/2059040 swapFree=4164932/4192956 [pid=15371] ppid=15369 vsize=183628 CPUtime=1801.86 /proc/15371/stat : 15371 (pbscip.linux.x8) R 15369 15371 14919 0 -1 4202496 215803 0 0 0 178528 1658 0 0 25 0 1 0 9291683 188035072 43037 1992294400 4194304 7136930 140737126954640 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15371/statm: 45866 43034 399 719 0 45145 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 183628 Child status: 0 Real time (s): 1802.43 CPU time (s): 1801.9 CPU user time (s): 1785.29 CPU system time (s): 16.6095 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 878084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.29 system time used= 16.6095 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 215809 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2673 runsolver used 3.00554 second user time and 8.49171 second system time The end
Begin job on node051 at 2010-06-16 11:20:02 IDJOB=2663462 IDBENCH=48340 IDSOLVER=1167 FILE ID=node051/2663462-1276680002 PBS_JOBID= 11172534 Free space on /tmp= 62564 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_40.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-2663462-1276680002/watcher-2663462-1276680002 -o /tmp/evaluation-result-2663462-1276680002/solver-2663462-1276680002 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663462-1276680002.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67a15ea3b760eccb0e507c1f93bad0e1 RANDOM SEED=587957559 node051.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.255 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.255 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1749588 kB Buffers: 65676 kB Cached: 132728 kB SwapCached: 1444 kB Active: 95116 kB Inactive: 136136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1749588 kB SwapTotal: 4192956 kB SwapFree: 4164932 kB Dirty: 3372 kB Writeback: 0 kB AnonPages: 31420 kB Mapped: 14976 kB Slab: 56408 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181100 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= 62560 MiB End job on node051 at 2010-06-16 11:50:05