| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.64 | 1801.2 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb |
| MD5SUM | a4a494535709e59392e65403b829113d |
| 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 | 0.358945 |
| 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 | 6800 |
| Total number of constraints | 165 |
| Number of constraints which are clauses | 85 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 85 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 86 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-2664732-1276576652.opb>
0.00/0.04 c original problem has 6800 variables (6800 bin, 0 int, 0 impl, 0 cont) and 165 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.04 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.12 c presolving:
0.09/0.17 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 85 upgd conss, 0 impls, 80 clqs
0.09/0.18 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 165 upgd conss, 0 impls, 80 clqs
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 0 implications, 80 cliques
0.09/0.19 c presolved problem has 6800 variables (6800 bin, 0 int, 0 impl, 0 cont) and 165 constraints
0.09/0.19 c 80 constraints of type <setppc>
0.09/0.19 c 85 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.11
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.96
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 1620
0.09/0.19 c
0.09/0.19 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c limits/solutions = 1
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.19 c separating/maxrounds = 1
0.09/0.19 c
0.09/0.19 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/maxroundsroot = 5
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.19 c constraints/knapsack/disaggregation = FALSE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c presolving/probing/maxrounds = 0
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/coefdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.19 c heuristics/crossover/freq = -1
0.09/0.19 c
0.09/0.19 c # number of nodes added to the contingent of the total nodes
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.19 c heuristics/crossover/nodesofs = 750
0.09/0.19 c
0.09/0.19 c # number of nodes without incumbent change that heuristic should wait
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.19 c heuristics/crossover/nwaitingnodes = 100
0.09/0.19 c
0.09/0.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.19 c # [type: real, range: [0,1], default: 0.1]
0.09/0.19 c heuristics/crossover/nodesquot = 0.15
0.09/0.19 c
0.09/0.19 c # minimum percentage of integer variables that have to be fixed
0.09/0.19 c # [type: real, range: [0,1], default: 0.666]
0.09/0.19 c heuristics/crossover/minfixingrate = 0.5
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/feaspump/freq = -1
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/fracdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/guideddiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/intshifting/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/linesearchdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/nlp/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/objpscostdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.19 c # [type: real, range: [0,1], default: 0.01]
0.09/0.19 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/oneopt/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/pscostdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c heuristics/rens/freq = -1
0.09/0.19 c
0.09/0.19 c # minimum percentage of integer variables that have to be fixable
0.09/0.19 c # [type: real, range: [0,1], default: 0.5]
0.09/0.19 c heuristics/rens/minfixingrate = 0.3
0.09/0.19 c
0.09/0.19 c # number of nodes added to the contingent of the total nodes
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.19 c heuristics/rens/nodesofs = 2000
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/rootsoldiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.19 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/rounding/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/shifting/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/simplerounding/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c heuristics/trivial/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.20 c heuristics/trysol/freq = -1
0.09/0.20 c
0.09/0.20 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.20 c heuristics/veclendiving/freq = -1
0.09/0.20 c
0.09/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.20 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.20 c
0.09/0.20 c # additional number of allowed LP iterations
0.09/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.20 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.20 c
0.09/0.20 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.20 c heuristics/zirounding/freq = -1
0.09/0.20 c
0.09/0.20 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.20 c separating/cmir/freq = -1
0.09/0.20 c
0.09/0.20 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.20 c separating/flowcover/freq = -1
0.09/0.20 c
0.09/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.20 c separating/rapidlearning/freq = 0
0.09/0.20 c
0.09/0.20 c -----------------------------------------------------------------------------------------------
0.09/0.20 c start solving
0.19/0.20 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.1s| 1 | 2 | 0 | - | 11M| 0 | - |6800 | 165 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
26.98/27.03 c 26.8s| 10000 | 9995 | 0 | 0.0 | 16M|4874 | - |6800 | 191 | 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | -- | Inf
61.67/61.78 c 61.4s| 20000 | 19979 | 0 | 0.0 | 19M|4874 | - |6800 | 203 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
92.37/92.44 c 91.8s| 30000 | 29964 | 0 | 0.0 | 22M|4874 | - |6800 | 247 | 0 | 0 | 0 | 138 | 0 | 0.000000e+00 | -- | Inf
123.35/123.48 c 123s| 40000 | 39953 | 0 | 0.0 | 25M|4874 | - |6800 | 274 | 0 | 0 | 0 | 208 | 0 | 0.000000e+00 | -- | Inf
155.64/155.74 c 155s| 50000 | 49944 | 0 | 0.0 | 28M|4874 | - |6800 | 258 | 0 | 0 | 0 | 268 | 0 | 0.000000e+00 | -- | Inf
186.53/186.69 c 186s| 60000 | 59935 | 0 | 0.0 | 31M|4874 | - |6800 | 231 | 0 | 0 | 0 | 319 | 0 | 0.000000e+00 | -- | Inf
218.42/218.55 c 217s| 70000 | 69927 | 0 | 0.0 | 34M|4874 | - |6800 | 280 | 0 | 0 | 0 | 369 | 0 | 0.000000e+00 | -- | Inf
252.10/252.26 c 251s| 80000 | 79916 | 0 | 0.0 | 37M|4874 | - |6800 | 318 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
286.40/286.58 c 285s| 90000 | 89910 | 0 | 0.0 | 40M|4874 | - |6800 | 301 | 0 | 0 | 0 | 479 | 0 | 0.000000e+00 | -- | Inf
318.80/318.90 c 317s|100000 | 99902 | 0 | 0.0 | 44M|4874 | - |6800 | 325 | 0 | 0 | 0 | 529 | 0 | 0.000000e+00 | -- | Inf
353.58/353.72 c 352s|110000 |109891 | 0 | 0.0 | 46M|4874 | - |6800 | 273 | 0 | 0 | 0 | 599 | 0 | 0.000000e+00 | -- | Inf
388.86/389.00 c 387s|120000 |119879 | 0 | 0.0 | 49M|4874 | - |6800 | 285 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | -- | Inf
423.96/424.15 c 422s|130000 |129873 | 0 | 0.0 | 52M|4940 | - |6800 | 306 | 0 | 0 | 0 | 701 | 0 | 0.000000e+00 | -- | Inf
459.04/459.28 c 457s|140000 |139861 | 0 | 0.0 | 55M|5060 | - |6800 | 293 | 0 | 0 | 0 | 767 | 0 | 0.000000e+00 | -- | Inf
493.83/494.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.83/494.05 c 491s|150000 |149853 | 0 | 0.0 | 58M|5181 | - |6800 | 301 | 0 | 0 | 0 | 815 | 0 | 0.000000e+00 | -- | Inf
528.32/528.52 c 526s|160000 |159847 | 0 | 0.0 | 61M|5316 | - |6800 | 275 | 0 | 0 | 0 | 845 | 0 | 0.000000e+00 | -- | Inf
562.61/562.87 c 560s|170000 |169840 | 0 | 0.0 | 64M|5401 | - |6800 | 282 | 0 | 0 | 0 | 868 | 0 | 0.000000e+00 | -- | Inf
599.20/599.46 c 596s|180000 |179832 | 0 | 0.0 | 66M|5482 | - |6800 | 282 | 0 | 0 | 0 | 918 | 0 | 0.000000e+00 | -- | Inf
635.19/635.44 c 632s|190000 |189826 | 0 | 0.0 | 69M|5524 | - |6800 | 265 | 0 | 0 | 0 | 934 | 0 | 0.000000e+00 | -- | Inf
671.37/671.65 c 668s|200000 |199816 | 0 | 0.0 | 72M|5524 | - |6800 | 227 | 0 | 0 | 0 | 942 | 0 | 0.000000e+00 | -- | Inf
705.97/706.23 c 702s|210000 |209808 | 0 | 0.0 | 74M|5524 | - |6800 | 254 | 0 | 0 | 0 | 976 | 0 | 0.000000e+00 | -- | Inf
740.56/740.83 c 737s|220000 |219800 | 0 | 0.0 | 77M|5524 | - |6800 | 247 | 0 | 0 | 0 | 990 | 0 | 0.000000e+00 | -- | Inf
775.34/775.68 c 771s|230000 |229785 | 0 | 0.0 | 80M|5524 | - |6800 | 268 | 0 | 0 | 0 |1039 | 0 | 0.000000e+00 | -- | Inf
809.73/810.08 c 806s|240000 |239773 | 0 | 0.0 | 83M|5524 | - |6800 | 276 | 0 | 0 | 0 |1076 | 0 | 0.000000e+00 | -- | Inf
845.02/845.32 c 841s|250000 |249768 | 0 | 0.0 | 85M|5524 | - |6800 | 266 | 0 | 0 | 0 |1091 | 0 | 0.000000e+00 | -- | Inf
880.82/881.19 c 876s|260000 |259760 | 0 | 0.0 | 88M|5524 | - |6800 | 251 | 0 | 0 | 0 |1113 | 0 | 0.000000e+00 | -- | Inf
916.10/916.40 c 911s|270000 |269748 | 0 | 0.0 | 91M|5524 | - |6800 | 277 | 0 | 0 | 0 |1177 | 0 | 0.000000e+00 | -- | Inf
951.60/951.94 c 947s|280000 |279740 | 0 | 0.0 | 94M|5524 | - |6800 | 267 | 0 | 0 | 0 |1202 | 0 | 0.000000e+00 | -- | Inf
986.98/987.32 c 982s|290000 |289730 | 0 | 0.0 | 97M|5524 | - |6800 | 262 | 0 | 0 | 0 |1229 | 0 | 0.000000e+00 | -- | Inf
1021.97/1022.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.97/1022.37 c 1017s|300000 |299720 | 0 | 0.0 | 99M|5524 | - |6800 | 245 | 0 | 0 | 0 |1243 | 0 | 0.000000e+00 | -- | Inf
1056.36/1056.74 c 1051s|310000 |309712 | 0 | 0.0 | 102M|5524 | - |6800 | 256 | 0 | 0 | 0 |1276 | 0 | 0.000000e+00 | -- | Inf
1090.65/1091.03 c 1085s|320000 |319698 | 0 | 0.0 | 105M|5533 | - |6800 | 257 | 0 | 0 | 0 |1300 | 0 | 0.000000e+00 | -- | Inf
1125.84/1126.25 c 1120s|330000 |329692 | 0 | 0.0 | 107M|5533 | - |6800 | 263 | 0 | 0 | 0 |1315 | 0 | 0.000000e+00 | -- | Inf
1161.73/1162.19 c 1156s|340000 |339684 | 0 | 0.0 | 110M|5575 | - |6800 | 255 | 0 | 0 | 0 |1331 | 0 | 0.000000e+00 | -- | Inf
1196.81/1197.22 c 1191s|350000 |349674 | 0 | 0.0 | 113M|5624 | - |6800 | 305 | 0 | 0 | 0 |1391 | 0 | 0.000000e+00 | -- | Inf
1231.11/1231.52 c 1225s|360000 |359668 | 0 | 0.0 | 116M|5644 | - |6800 | 267 | 0 | 0 | 0 |1420 | 0 | 0.000000e+00 | -- | Inf
1264.90/1265.32 c 1259s|370000 |369656 | 0 | 0.0 | 118M|5667 | - |6800 | 272 | 0 | 0 | 0 |1454 | 0 | 0.000000e+00 | -- | Inf
1300.39/1300.84 c 1294s|380000 |379651 | 0 | 0.0 | 121M|5676 | - |6800 | 260 | 0 | 0 | 0 |1459 | 0 | 0.000000e+00 | -- | Inf
1336.48/1336.94 c 1330s|390000 |389639 | 0 | 0.0 | 124M|5722 | - |6800 | 272 | 0 | 0 | 0 |1486 | 0 | 0.000000e+00 | -- | Inf
1371.46/1371.98 c 1365s|400000 |399631 | 0 | 0.0 | 126M|5722 | - |6800 | 254 | 0 | 0 | 0 |1495 | 0 | 0.000000e+00 | -- | Inf
1405.45/1405.92 c 1398s|410000 |409617 | 0 | 0.0 | 129M|5722 | - |6800 | 272 | 0 | 0 | 0 |1524 | 0 | 0.000000e+00 | -- | Inf
1439.04/1439.52 c 1432s|420000 |419609 | 0 | 0.0 | 132M|5722 | - |6800 | 268 | 0 | 0 | 0 |1539 | 0 | 0.000000e+00 | -- | Inf
1474.32/1474.80 c 1467s|430000 |429606 | 0 | 0.0 | 134M|5722 | - |6800 | 264 | 0 | 0 | 0 |1541 | 0 | 0.000000e+00 | -- | Inf
1510.41/1510.94 c 1503s|440000 |439598 | 0 | 0.0 | 137M|5722 | - |6800 | 263 | 0 | 0 | 0 |1550 | 0 | 0.000000e+00 | -- | Inf
1546.51/1547.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.51/1547.05 c 1539s|450000 |449580 | 0 | 0.0 | 140M|5722 | - |6800 | 279 | 0 | 0 | 0 |1592 | 0 | 0.000000e+00 | -- | Inf
1581.99/1582.50 c 1574s|460000 |459570 | 0 | 0.0 | 143M|5722 | - |6800 | 275 | 0 | 0 | 0 |1616 | 0 | 0.000000e+00 | -- | Inf
1617.38/1617.94 c 1609s|470000 |469560 | 0 | 0.0 | 145M|5722 | - |6800 | 279 | 0 | 0 | 0 |1631 | 0 | 0.000000e+00 | -- | Inf
1653.78/1654.40 c 1646s|480000 |479543 | 0 | 0.0 | 148M|5722 | - |6800 | 300 | 0 | 0 | 0 |1667 | 0 | 0.000000e+00 | -- | Inf
1688.86/1689.43 c 1680s|490000 |489533 | 0 | 0.0 | 151M|5722 | - |6800 | 316 | 0 | 0 | 0 |1708 | 0 | 0.000000e+00 | -- | Inf
1723.45/1724.00 c 1715s|500000 |499523 | 0 | 0.0 | 154M|5722 | - |6800 | 322 | 0 | 0 | 0 |1755 | 0 | 0.000000e+00 | -- | Inf
1758.63/1759.29 c 1750s|510000 |509515 | 0 | 0.0 | 156M|5722 | - |6800 | 285 | 0 | 0 | 0 |1760 | 0 | 0.000000e+00 | -- | Inf
1793.22/1793.87 c 1784s|520000 |519505 | 0 | 0.0 | 159M|5722 | - |6800 | 304 | 0 | 0 | 0 |1800 | 0 | 0.000000e+00 | -- | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1791.06
1800.04/1800.61 c Solving Nodes : 521734
1800.04/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s UNKNOWN
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1791.06
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2664732-1276576652.opb
1800.04/1800.61 c Variables : 6800 (6800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 165 initial, 165 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2664732-1276576652.opb
1800.04/1800.61 c Variables : 6800 (6800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 165 initial, 346 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 80 0 535704 0 521545 232 172259 0 0 0
1800.04/1800.61 c logicor : 85+ 0 48085 0 521545 69 8849 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 521545 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c setppc : 371.12 0.00 20.24 0.00 350.88
1800.04/1800.61 c logicor : 208.99 0.00 6.02 0.00 202.97
1800.04/1800.61 c countsols : 0.48 0.00 0.00 0.00 0.48
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 0.40 1 0 0
1800.04/1800.61 c rootredcost : 0.31 0 0 0
1800.04/1800.61 c pseudoobj : 0.29 0 0 0
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 20.92 301 301 12447 888.1 6 371.5 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 1777 336.3 - - -
1800.04/1800.61 c applied locally : - - - 23 938.4 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 1175.45 521545 0 0 0 0 1043090
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c trivial : 0.01 1 0
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c oneopt : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 0.00 0 0
1800.04/1800.61 c trysol : 0.00 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 521734
1800.04/1800.61 c nodes (total) : 521734
1800.04/1800.61 c nodes left : 521239
1800.04/1800.61 c max depth : 5722
1800.04/1800.61 c max depth (total): 5722
1800.04/1800.61 c backtracks : 118 (0.0%)
1800.04/1800.61 c delayed cutoffs : 118
1800.04/1800.61 c repropagations : 805 (6464 domain reductions, 112 cutoffs)
1800.04/1800.61 c avg switch length: 2.17
1800.04/1800.61 c switching time : 9.66
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 0 (0 improvements)
1800.04/1800.61 c Primal Bound : -
1800.04/1800.62 c Dual Bound : +0.00000000000000e+00
1800.04/1800.62 c Gap : infinite
1800.04/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.62 c Root Iterations : 0
1800.62/1801.20 c Time complete: 1800.62.
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-2664732-1276576652/watcher-2664732-1276576652 -o /tmp/evaluation-result-2664732-1276576652/solver-2664732-1276576652 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664732-1276576652.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.05 3/106 2403 /proc/meminfo: memFree=1722764/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=6584 CPUtime=0 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 33268909 6742016 911 1992294400 4194304 7136930 140734655459776 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2403/statm: 1646 920 254 719 0 925 0 [startup+0.0706309 s] /proc/loadavg: 0.92 0.98 1.05 3/106 2403 /proc/meminfo: memFree=1722764/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=19552 CPUtime=0.06 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 4751 0 0 0 4 2 0 0 20 0 1 0 33268909 20021248 4320 1992294400 4194304 7136930 140734655459776 18446744073709551615 6166574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 4888 4320 282 719 0 4167 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 19552 [startup+0.100634 s] /proc/loadavg: 0.92 0.98 1.05 3/106 2403 /proc/meminfo: memFree=1722764/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=20976 CPUtime=0.09 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 5116 0 0 0 7 2 0 0 20 0 1 0 33268909 21479424 4685 1992294400 4194304 7136930 140734655459776 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 5244 4685 302 719 0 4523 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20976 [startup+0.300659 s] /proc/loadavg: 0.92 0.98 1.05 3/106 2403 /proc/meminfo: memFree=1722764/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=25924 CPUtime=0.29 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 7360 0 0 0 26 3 0 0 20 0 1 0 33268909 26546176 5644 1992294400 4194304 7136930 140734655459776 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 6481 5644 374 719 0 5760 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25924 [startup+0.700703 s] /proc/loadavg: 0.92 0.98 1.05 3/106 2403 /proc/meminfo: memFree=1722764/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=25924 CPUtime=0.69 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 7365 0 0 0 66 3 0 0 21 0 1 0 33268909 26546176 5649 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 6481 5649 375 719 0 5760 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25924 [startup+1.5008 s] /proc/loadavg: 1.01 1.00 1.05 2/107 2404 /proc/meminfo: memFree=1701304/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=26200 CPUtime=1.49 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 7428 0 0 0 146 3 0 0 23 0 1 0 33268909 26828800 5712 1992294400 4194304 7136930 140734655459776 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 6550 5712 375 719 0 5829 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26200 [startup+3.10098 s] /proc/loadavg: 1.01 1.00 1.05 2/107 2404 /proc/meminfo: memFree=1700932/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=27112 CPUtime=3.09 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 7649 0 0 0 305 4 0 0 25 0 1 0 33268909 27762688 5933 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 6778 5933 375 719 0 6057 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27112 [startup+6.30135 s] /proc/loadavg: 1.01 1.00 1.05 2/107 2404 /proc/meminfo: memFree=1699320/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=27800 CPUtime=6.29 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 7829 0 0 0 623 6 0 0 25 0 1 0 33268909 28467200 6113 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 6950 6113 375 719 0 6229 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27800 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.05 2/107 2404 /proc/meminfo: memFree=1696592/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=30408 CPUtime=12.69 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 8497 0 0 0 1258 11 0 0 25 0 1 0 33268909 31137792 6780 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 7602 6780 379 719 0 6881 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30408 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.05 2/107 2404 /proc/meminfo: memFree=1694112/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=32904 CPUtime=25.48 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 9129 0 0 0 2530 18 0 0 25 0 1 0 33268909 33693696 7412 1992294400 4194304 7136930 140734655459776 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 8226 7412 379 719 0 7505 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32904 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.05 2/107 2404 /proc/meminfo: memFree=1691632/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=35144 CPUtime=51.07 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 9732 0 0 0 5076 31 0 0 25 0 1 0 33268909 35987456 8015 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 8786 8015 379 719 0 8065 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35144 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.04 2/107 2406 /proc/meminfo: memFree=1683944/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=42616 CPUtime=102.26 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 11649 0 0 0 10169 57 0 0 25 0 1 0 33268909 43638784 9932 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 10654 9932 379 719 0 9933 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42616 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 2408 /proc/meminfo: memFree=1674892/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=51308 CPUtime=162.24 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 13894 0 0 0 16138 86 0 0 25 0 1 0 33268909 52539392 12177 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 12827 12177 379 719 0 12106 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51308 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 2410 /proc/meminfo: memFree=1668444/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=59536 CPUtime=222.21 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 15505 0 0 0 22105 116 0 0 25 0 1 0 33268909 60964864 13788 1992294400 4194304 7136930 140734655459776 18446744073709551615 5892303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 14884 13788 379 719 0 14163 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 59536 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 2410 /proc/meminfo: memFree=1661624/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=65912 CPUtime=282.2 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 17187 0 0 0 28071 149 0 0 25 0 1 0 33268909 67493888 15470 1992294400 4194304 7136930 140734655459776 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 16478 15470 379 719 0 15757 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 65912 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 2412 /proc/meminfo: memFree=1656292/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=71120 CPUtime=342.18 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 18525 0 0 0 34037 181 0 0 25 0 1 0 33268909 72826880 16808 1992294400 4194304 7136930 140734655459776 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 17780 16808 379 719 0 17059 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 71120 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 2414 /proc/meminfo: memFree=1650340/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=76624 CPUtime=402.16 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 19994 0 0 0 40009 207 0 0 25 0 1 0 33268909 78462976 18277 1992294400 4194304 7136930 140734655459776 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 19156 18277 379 719 0 18435 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 76624 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 2416 /proc/meminfo: memFree=1645132/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=81456 CPUtime=462.15 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 21275 0 0 0 45977 238 0 0 25 0 1 0 33268909 83410944 19556 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 20364 19556 379 719 0 19643 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 81456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2418 /proc/meminfo: memFree=1640420/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=85880 CPUtime=522.12 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 22436 0 0 0 51946 266 0 0 25 0 1 0 33268909 87941120 20717 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 21470 20717 379 719 0 20749 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 85880 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2418 /proc/meminfo: memFree=1634592/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=91544 CPUtime=582.1 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 23915 0 0 0 57915 295 0 0 25 0 1 0 33268909 93741056 22196 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 22886 22196 379 719 0 22165 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 91544 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2420 /proc/meminfo: memFree=1626904/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=98888 CPUtime=642.09 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 25789 0 0 0 63885 324 0 0 25 0 1 0 33268909 101261312 24070 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 24722 24070 379 719 0 24001 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 98888 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2428 /proc/meminfo: memFree=1595036/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=133584 CPUtime=941.99 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 33683 0 0 0 93723 476 0 0 25 0 1 0 33268909 136790016 31964 1992294400 4194304 7136930 140734655459776 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 33396 31964 379 719 0 32675 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 133584 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2430 /proc/meminfo: memFree=1588712/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=139664 CPUtime=1001.97 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 35244 0 0 0 99691 506 0 0 25 0 1 0 33268909 143015936 33525 1992294400 4194304 7136930 140734655459776 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 34916 33525 379 719 0 34195 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 139664 [startup+1062.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 2432 /proc/meminfo: memFree=1582760/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=145452 CPUtime=1061.95 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 36727 0 0 0 105662 533 0 0 25 0 1 0 33268909 148942848 35008 1992294400 4194304 7136930 140734655459776 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 36363 35008 379 719 0 35642 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 145452 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 2434 /proc/meminfo: memFree=1576684/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=151260 CPUtime=1121.94 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 38218 0 0 0 111631 563 0 0 25 0 1 0 33268909 154890240 36499 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 37815 36499 379 719 0 37094 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 151260 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 2434 /proc/meminfo: memFree=1570980/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=156748 CPUtime=1181.92 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 39645 0 0 0 117599 593 0 0 25 0 1 0 33268909 160509952 37926 1992294400 4194304 7136930 140734655459776 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 39187 37926 379 719 0 38466 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 156748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2436 /proc/meminfo: memFree=1566392/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=161920 CPUtime=1241.91 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 41020 0 0 0 123568 623 0 0 25 0 1 0 33268909 165806080 39301 1992294400 4194304 7136930 140734655459776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 40480 39301 379 719 0 39759 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 161920 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2438 /proc/meminfo: memFree=1557960/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=168960 CPUtime=1301.89 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 42820 0 0 0 129538 651 0 0 25 0 1 0 33268909 173015040 41101 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 42240 41101 379 719 0 41519 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 168960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2440 /proc/meminfo: memFree=1552380/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=174404 CPUtime=1361.87 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 44236 0 0 0 135505 682 0 0 25 0 1 0 33268909 178589696 42517 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 43601 42517 379 719 0 42880 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 174404 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2451 /proc/meminfo: memFree=1546428/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=179540 CPUtime=1421.85 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 45600 0 0 0 141474 711 0 0 25 0 1 0 33268909 183848960 43881 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 44885 43881 379 719 0 44164 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 179540 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2451 /proc/meminfo: memFree=1538244/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=187480 CPUtime=1481.83 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 47625 0 0 0 147443 740 0 0 25 0 1 0 33268909 191979520 45906 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 46870 45906 379 719 0 46149 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 187480 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2453 /proc/meminfo: memFree=1532044/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=193460 CPUtime=1541.8 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 49165 0 0 0 153413 767 0 0 25 0 1 0 33268909 198103040 47446 1992294400 4194304 7136930 140734655459776 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 48365 47446 379 719 0 47644 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 193460 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2455 /proc/meminfo: memFree=1526464/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=207052 CPUtime=1601.79 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 50569 0 0 0 159382 797 0 0 25 0 1 0 33268909 212021248 48850 1992294400 4194304 7136930 140734655459776 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 51763 48850 379 719 0 51042 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 207052 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2457 /proc/meminfo: memFree=1519768/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=213524 CPUtime=1661.77 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 52244 0 0 0 165351 826 0 0 25 0 1 0 33268909 218648576 50525 1992294400 4194304 7136930 140734655459776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 53381 50525 379 719 0 52660 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 213524 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2459 /proc/meminfo: memFree=1514064/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=218904 CPUtime=1721.75 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 53651 0 0 0 171320 855 0 0 25 0 1 0 33268909 224157696 51932 1992294400 4194304 7136930 140734655459776 18446744073709551615 5005152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 54726 51932 379 719 0 54005 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 218904 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2459 /proc/meminfo: memFree=1508360/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=224452 CPUtime=1781.73 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 55058 0 0 0 177288 885 0 0 25 0 1 0 33268909 229838848 53339 1992294400 4194304 7136930 140734655459776 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 56113 53339 379 719 0 55392 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 224452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2461 /proc/meminfo: memFree=1506748/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=225832 CPUtime=1800.04 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 55451 0 0 0 179109 895 0 0 25 0 1 0 33268909 231251968 53732 1992294400 4194304 7136930 140734655459776 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2403/statm: 56458 53732 379 719 0 55737 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 225832 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2461 /proc/meminfo: memFree=1506748/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=206296 CPUtime=1800.42 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 55570 0 0 0 179147 895 0 0 25 0 1 0 33268909 211247104 48868 1992294400 4194304 7136930 140734655459776 18446744073709551615 4615737 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2403/statm: 51574 48868 384 719 0 50853 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (KiB) 206296 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2461 /proc/meminfo: memFree=1506748/2059040 swapFree=4140012/4192956 [pid=2403] ppid=2401 vsize=21472 CPUtime=1800.62 /proc/2403/stat : 2403 (pbscip.linux.x8) R 2401 2403 2047 0 -1 4202496 55574 0 0 0 179164 898 0 0 25 0 1 0 33268909 21987328 4296 1992294400 4194304 7136930 140734655459776 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2403/statm: 5368 3863 388 719 0 4647 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (KiB) 21472 Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.64 CPU user time (s): 1791.65 CPU system time (s): 8.98763 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 225832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.65 system time used= 8.98763 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55579 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= 5605 runsolver used 2.91456 second user time and 8.5727 second system time The end
Begin job on node006 at 2010-06-15 06:37:32 IDJOB=2664732 IDBENCH=2580 IDSOLVER=1167 FILE ID=node006/2664732-1276576652 PBS_JOBID= 11173525 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.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-2664732-1276576652/watcher-2664732-1276576652 -o /tmp/evaluation-result-2664732-1276576652/solver-2664732-1276576652 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664732-1276576652.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a4a494535709e59392e65403b829113d RANDOM SEED=1795612427 node006.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.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1723292 kB Buffers: 64120 kB Cached: 190088 kB SwapCached: 6644 kB Active: 100608 kB Inactive: 167284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1723292 kB SwapTotal: 4192956 kB SwapFree: 4140012 kB Dirty: 3348 kB Writeback: 0 kB AnonPages: 12048 kB Mapped: 13040 kB Slab: 46064 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180856 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= 62500 MiB End job on node006 at 2010-06-15 07:07:35