| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.91 | 1802.46 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb |
| MD5SUM | c1794605d16cd8196553c490f5507fd9 |
| 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) | 12452 |
| Sum of products size (including duplicates) | 24904 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2663435-1276677916.opb>
0.03/0.08 c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.03/0.08 c problem read
0.03/0.08 c No objective function, only one solution is needed.
0.03/0.08 c presolving settings loaded
0.03/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, 50208 impls, 400 clqs
0.59/0.69 c presolving (2 rounds):
0.59/0.69 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.69 c 50208 implications, 400 cliques
0.59/0.69 c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.59/0.69 c 1 constraints of type <knapsack>
0.59/0.69 c 400 constraints of type <setppc>
0.59/0.69 c 6226 constraints of type <and>
0.59/0.69 c 1 constraints of type <linear>
0.59/0.69 c 200 constraints of type <logicor>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.35
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 1.2.1.2
0.59/0.69 c
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = 10000
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = 1799.92
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = 1620
0.59/0.69 c
0.59/0.69 c # solving stops, if the given number of solutions were found (-1: no limit)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c limits/solutions = 1
0.59/0.69 c
0.59/0.69 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c lp/solvefreq = -1
0.59/0.69 c
0.59/0.69 c # maximal number of separation rounds per node (-1: unlimited)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 5]
0.59/0.69 c separating/maxrounds = 1
0.59/0.69 c
0.59/0.69 c # maximal number of separation rounds in the root node (-1: unlimited)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c separating/maxroundsroot = 5
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify inequalities
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/linear/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.59/0.69 c constraints/knapsack/disaggregation = FALSE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify knapsacks
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c presolving/probing/maxrounds = 0
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/coefdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/coefdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/coefdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 30]
0.59/0.69 c heuristics/crossover/freq = -1
0.59/0.69 c
0.59/0.69 c # number of nodes added to the contingent of the total nodes
0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.69 c heuristics/crossover/nodesofs = 750
0.59/0.69 c
0.59/0.69 c # number of nodes without incumbent change that heuristic should wait
0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.59/0.69 c heuristics/crossover/nwaitingnodes = 100
0.59/0.69 c
0.59/0.69 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.59/0.69 c # [type: real, range: [0,1], default: 0.1]
0.59/0.69 c heuristics/crossover/nodesquot = 0.15
0.59/0.69 c
0.59/0.69 c # minimum percentage of integer variables that have to be fixed
0.59/0.69 c # [type: real, range: [0,1], default: 0.666]
0.59/0.69 c heuristics/crossover/minfixingrate = 0.5
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.69 c heuristics/feaspump/freq = -1
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/feaspump/maxlpiterofs = 2000
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/fracdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/fracdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/fracdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/guideddiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/guideddiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/guideddiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/intdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/intshifting/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/linesearchdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/nlp/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.69 c heuristics/objpscostdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to total iteration number
0.59/0.69 c # [type: real, range: [0,1], default: 0.01]
0.59/0.69 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/oneopt/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/pscostdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/pscostdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c heuristics/rens/freq = -1
0.59/0.69 c
0.59/0.69 c # minimum percentage of integer variables that have to be fixable
0.59/0.69 c # [type: real, range: [0,1], default: 0.5]
0.59/0.69 c heuristics/rens/minfixingrate = 0.3
0.59/0.69 c
0.59/0.69 c # number of nodes added to the contingent of the total nodes
0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.69 c heuristics/rens/nodesofs = 2000
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.69 c heuristics/rootsoldiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.59/0.69 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/rounding/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/shifting/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/simplerounding/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c heuristics/trivial/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/trysol/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/veclendiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/veclendiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/veclendiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/zirounding/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c separating/cmir/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c separating/flowcover/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c separating/rapidlearning/freq = 0
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.59/0.69 c
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c 0.4s| 1 | 2 | 0 | - | 17M| 0 | - |6626 |6828 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.79/41.89 c 41.2s| 10000 | 9689 | 0 | 0.0 | 35M| 345 | - |6626 |7002 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
74.27/74.37 c 73.4s| 20000 | 19445 | 0 | 0.0 | 49M| 345 | - |6626 |7130 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
95.17/95.26 c 94.0s| 30000 | 29005 | 0 | 0.0 | 61M| 345 | - |6626 |7380 | 0 | 0 | 0 | 779 | 0 | 0.000000e+00 | -- | Inf
119.36/119.43 c 118s| 40000 | 35637 | 0 | 0.0 | 71M| 345 | - |6626 |7120 | 0 | 0 | 0 |3148 | 0 | 0.000000e+00 | -- | Inf
163.14/163.22 c 161s| 50000 | 45454 | 0 | 0.0 | 88M| 345 | - |6626 |7107 | 0 | 0 | 0 |3321 | 0 | 0.000000e+00 | -- | Inf
205.43/205.54 c 203s| 60000 | 55284 | 0 | 0.0 | 105M| 345 | - |6626 |7158 | 0 | 0 | 0 |3476 | 0 | 0.000000e+00 | -- | Inf
248.71/248.81 c 246s| 70000 | 65078 | 0 | 0.0 | 121M| 345 | - |6626 |7159 | 0 | 0 | 0 |3646 | 0 | 0.000000e+00 | -- | Inf
291.80/291.97 c 289s| 80000 | 74871 | 0 | 0.0 | 138M| 345 | - |6626 |7166 | 0 | 0 | 0 |3811 | 0 | 0.000000e+00 | -- | Inf
333.49/333.68 c 330s| 90000 | 84689 | 0 | 0.0 | 155M| 345 | - |6626 |7194 | 0 | 0 | 0 |3969 | 0 | 0.000000e+00 | -- | Inf
374.09/374.23 c 370s|100000 | 94519 | 0 | 0.0 | 171M| 345 | - |6626 |7224 | 0 | 0 | 0 |4129 | 0 | 0.000000e+00 | -- | Inf
414.97/415.14 c 411s|110000 |104327 | 0 | 0.0 | 188M| 345 | - |6626 |7261 | 0 | 0 | 0 |4290 | 0 | 0.000000e+00 | -- | Inf
455.27/455.41 c 451s|120000 |114122 | 0 | 0.0 | 205M| 345 | - |6626 |7291 | 0 | 0 | 0 |4473 | 0 | 0.000000e+00 | -- | Inf
495.86/496.05 c 491s|130000 |123923 | 0 | 0.0 | 221M| 345 | - |6626 |7296 | 0 | 0 | 0 |4647 | 0 | 0.000000e+00 | -- | Inf
536.65/536.81 c 532s|140000 |133667 | 0 | 0.0 | 238M| 345 | - |6626 |7385 | 0 | 0 | 0 |4924 | 0 | 0.000000e+00 | -- | Inf
575.82/576.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.82/576.02 c 570s|150000 |143487 | 0 | 0.0 | 254M| 345 | - |6626 |7409 | 0 | 0 | 0 |5097 | 0 | 0.000000e+00 | -- | Inf
616.71/616.93 c 611s|160000 |153282 | 0 | 0.0 | 271M| 345 | - |6626 |7426 | 0 | 0 | 0 |5268 | 0 | 0.000000e+00 | -- | Inf
656.30/656.57 c 650s|170000 |163077 | 0 | 0.0 | 287M| 345 | - |6626 |7436 | 0 | 0 | 0 |5442 | 0 | 0.000000e+00 | -- | Inf
696.89/697.19 c 691s|180000 |172842 | 0 | 0.0 | 304M| 345 | - |6626 |7453 | 0 | 0 | 0 |5635 | 0 | 0.000000e+00 | -- | Inf
734.37/734.62 c 728s|190000 |182651 | 0 | 0.0 | 320M| 345 | - |6626 |7486 | 0 | 0 | 0 |5819 | 0 | 0.000000e+00 | -- | Inf
772.06/772.30 c 765s|200000 |192454 | 0 | 0.0 | 337M| 345 | - |6626 |7506 | 0 | 0 | 0 |6002 | 0 | 0.000000e+00 | -- | Inf
810.65/810.95 c 803s|210000 |202222 | 0 | 0.0 | 353M| 345 | - |6626 |7531 | 0 | 0 | 0 |6196 | 0 | 0.000000e+00 | -- | Inf
847.75/848.04 c 840s|220000 |212031 | 0 | 0.0 | 369M| 345 | - |6626 |7545 | 0 | 0 | 0 |6372 | 0 | 0.000000e+00 | -- | Inf
883.93/884.24 c 876s|230000 |221827 | 0 | 0.0 | 385M| 345 | - |6626 |7599 | 0 | 0 | 0 |6569 | 0 | 0.000000e+00 | -- | Inf
919.82/920.14 c 912s|240000 |231635 | 0 | 0.0 | 402M| 345 | - |6626 |7636 | 0 | 0 | 0 |6759 | 0 | 0.000000e+00 | -- | Inf
957.99/958.39 c 949s|250000 |241403 | 0 | 0.0 | 418M| 345 | - |6626 |7645 | 0 | 0 | 0 |6948 | 0 | 0.000000e+00 | -- | Inf
993.48/993.84 c 985s|260000 |251199 | 0 | 0.0 | 434M| 345 | - |6626 |7654 | 0 | 0 | 0 |7135 | 0 | 0.000000e+00 | -- | Inf
1031.98/1032.30 c 1023s|270000 |260956 | 0 | 0.0 | 451M| 345 | - |6626 |7665 | 0 | 0 | 0 |7339 | 0 | 0.000000e+00 | -- | Inf
1069.35/1069.73 c 1060s|280000 |270729 | 0 | 0.0 | 467M| 345 | - |6626 |7685 | 0 | 0 | 0 |7530 | 0 | 0.000000e+00 | -- | Inf
1107.15/1107.53 c 1097s|290000 |280471 | 0 | 0.0 | 484M| 345 | - |6626 |7713 | 0 | 0 | 0 |7744 | 0 | 0.000000e+00 | -- | Inf
1144.24/1144.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.24/1144.68 c 1134s|300000 |290230 | 0 | 0.0 | 500M| 345 | - |6626 |7719 | 0 | 0 | 0 |7953 | 0 | 0.000000e+00 | -- | Inf
1180.73/1181.15 c 1170s|310000 |300009 | 0 | 0.0 | 516M| 345 | - |6626 |7750 | 0 | 0 | 0 |8143 | 0 | 0.000000e+00 | -- | Inf
1216.61/1217.10 c 1206s|320000 |309763 | 0 | 0.0 | 533M| 345 | - |6626 |7768 | 0 | 0 | 0 |8356 | 0 | 0.000000e+00 | -- | Inf
1252.80/1253.20 c 1242s|330000 |319472 | 0 | 0.0 | 549M| 345 | - |6626 |7874 | 0 | 0 | 0 |8683 | 0 | 0.000000e+00 | -- | Inf
1289.29/1289.78 c 1278s|340000 |329224 | 0 | 0.0 | 565M| 345 | - |6626 |7878 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
1324.69/1325.16 c 1313s|350000 |338992 | 0 | 0.0 | 582M| 345 | - |6626 |7883 | 0 | 0 | 0 |9109 | 0 | 0.000000e+00 | -- | Inf
1359.67/1360.19 c 1348s|360000 |348746 | 0 | 0.0 | 598M| 345 | - |6626 |7906 | 0 | 0 | 0 |9334 | 0 | 0.000000e+00 | -- | Inf
1395.86/1396.35 c 1383s|370000 |358427 | 0 | 0.0 | 614M| 345 | - |6626 |8024 | 0 | 0 | 0 |9692 | 0 | 0.000000e+00 | -- | Inf
1431.25/1431.71 c 1418s|380000 |368185 | 0 | 0.0 | 631M| 345 | - |6626 |8038 | 0 | 0 | 0 |9899 | 0 | 0.000000e+00 | -- | Inf
1467.34/1467.89 c 1454s|390000 |377876 | 0 | 0.0 | 647M| 345 | - |6626 |8065 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1501.32/1501.83 c 1488s|400000 |387654 | 0 | 0.0 | 663M| 345 | - |6626 |8085 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1538.52/1539.03 c 1525s|410000 |397353 | 0 | 0.0 | 680M| 345 | - |6626 |8126 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1573.62/1574.16 c 1559s|420000 |407087 | 0 | 0.0 | 696M| 345 | - |6626 |8151 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1609.10/1609.66 c 1595s|430000 |416806 | 0 | 0.0 | 712M| 345 | - |6626 |8162 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1644.09/1644.67 c 1629s|440000 |426492 | 0 | 0.0 | 728M| 345 | - |6626 |8173 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1678.98/1679.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.98/1679.58 c 1664s|450000 |436218 | 0 | 0.0 | 745M| 345 | - |6626 |8184 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1713.87/1714.49 c 1698s|460000 |445942 | 0 | 0.0 | 761M| 345 | - |6626 |8195 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1749.16/1749.78 c 1733s|470000 |455672 | 0 | 0.0 | 777M| 345 | - |6626 |8179 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1784.05/1784.67 c 1768s|480000 |465378 | 0 | 0.0 | 793M| 345 | - |6626 |8190 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1783.70
1800.05/1800.61 c Solving Nodes : 484574
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1783.70
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2663435-1276677916.opb
1800.05/1800.61 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 6828 initial, 6828 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2663435-1276677916.opb
1800.05/1800.61 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 6828 initial, 9170 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c and : 0.23 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 1 0 708895 0 335813 1187 194552 0 0 0
1800.05/1800.61 c setppc : 400 0 1096875 0 478873 6456 239043 0 0 0
1800.05/1800.61 c and : 6226 0 1090419 0 478873 5 11890470 0 0 0
1800.05/1800.61 c linear : 1 0 1087664 0 478873 1341 112299 0 0 0
1800.05/1800.61 c logicor : 200+ 0 29503 0 478873 115 269633 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 478873 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c knapsack : 18.53 0.00 10.24 0.00 8.29
1800.05/1800.61 c setppc : 368.95 0.00 21.94 0.00 347.01
1800.05/1800.61 c and : 555.54 0.00 192.53 0.00 363.01
1800.05/1800.61 c linear : 58.40 0.00 57.48 0.00 0.92
1800.05/1800.61 c logicor : 35.57 0.00 4.67 0.00 30.90
1800.05/1800.61 c countsols : 0.26 0.00 0.00 0.00 0.26
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 0.93 1 0 0
1800.05/1800.61 c rootredcost : 0.71 0 0 0
1800.05/1800.61 c pseudoobj : 0.50 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 7.87 9104 8938 13975 167.5 0 0.0 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 12550 153.7 - - -
1800.05/1800.61 c applied locally : - - - 0 0.0 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 658.99 478873 0 0 0 0 957746
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c trivial : 0.01 1 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c oneopt : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 0.00 0 0
1800.05/1800.61 c trysol : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 484574
1800.05/1800.61 c nodes (total) : 484574
1800.05/1800.61 c nodes left : 469769
1800.05/1800.61 c max depth : 345
1800.05/1800.61 c max depth (total): 345
1800.05/1800.61 c backtracks : 3592 (0.7%)
1800.05/1800.61 c delayed cutoffs : 3404
1800.05/1800.61 c repropagations : 108880 (442405 domain reductions, 3403 cutoffs)
1800.05/1800.61 c avg switch length: 2.98
1800.05/1800.61 c switching time : 52.84
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 0
1801.84/1802.45 c Time complete: 1801.91.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663435-1276677916/watcher-2663435-1276677916 -o /tmp/evaluation-result-2663435-1276677916/solver-2663435-1276677916 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663435-1276677916.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 15154 /proc/meminfo: memFree=1731120/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=7612 CPUtime=0 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 1263 0 0 0 0 0 0 0 23 0 1 0 43395602 7794688 1185 1992294400 4194304 7136930 140733906267072 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15154/statm: 1903 1194 254 719 0 1182 0 [startup+0.0489961 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15154 /proc/meminfo: memFree=1731120/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=14056 CPUtime=0.03 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 3010 0 0 0 3 0 0 0 25 0 1 0 43395602 14393344 2932 1992294400 4194304 7136930 140733906267072 18446744073709551615 5654124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15154/statm: 3514 2932 269 719 0 2793 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14056 [startup+0.101003 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15154 /proc/meminfo: memFree=1731120/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=20648 CPUtime=0.09 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 4965 0 0 0 8 1 0 0 25 0 1 0 43395602 21143552 4533 1992294400 4194304 7136930 140733906267072 18446744073709551615 6329871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 5162 4544 281 719 0 4441 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20648 [startup+0.301022 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15154 /proc/meminfo: memFree=1731120/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=30712 CPUtime=0.29 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 7569 0 0 0 23 6 0 0 25 0 1 0 43395602 31449088 6880 1992294400 4194304 7136930 140733906267072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 7678 6880 327 719 0 6957 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30712 [startup+0.701064 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15154 /proc/meminfo: memFree=1731120/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=36608 CPUtime=0.69 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 10872 0 0 0 47 22 0 0 25 0 1 0 43395602 37486592 8384 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 9152 8384 382 719 0 8431 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36608 [startup+1.50115 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15155 /proc/meminfo: memFree=1697880/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=38944 CPUtime=1.49 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 11455 0 0 0 126 23 0 0 25 0 1 0 43395602 39878656 8967 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 9736 8967 389 719 0 9015 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38944 [startup+3.10131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15155 /proc/meminfo: memFree=1696144/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=40156 CPUtime=3.09 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 11761 0 0 0 284 25 0 0 25 0 1 0 43395602 41119744 9273 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 10039 9273 394 719 0 9318 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40156 [startup+6.30063 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15155 /proc/meminfo: memFree=1694160/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=42032 CPUtime=6.29 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 12241 0 0 0 602 27 0 0 25 0 1 0 43395602 43040768 9753 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 10508 9753 394 719 0 9787 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42032 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15155 /proc/meminfo: memFree=1690440/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=44832 CPUtime=12.69 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 12908 0 0 0 1237 32 0 0 25 0 1 0 43395602 45907968 10420 1992294400 4194304 7136930 140733906267072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 11208 10420 394 719 0 10487 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44832 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15155 /proc/meminfo: memFree=1682752/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=52428 CPUtime=25.48 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 14816 0 0 0 2506 42 0 0 25 0 1 0 43395602 53686272 12328 1992294400 4194304 7136930 140733906267072 18446744073709551615 4661050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 13107 12328 394 719 0 12386 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52428 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15155 /proc/meminfo: memFree=1671096/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=65652 CPUtime=51.07 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 18128 0 0 0 5043 64 0 0 25 0 1 0 43395602 67227648 15640 1992294400 4194304 7136930 140733906267072 18446744073709551615 4431856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 16413 15640 394 719 0 15692 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 65652 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15157 /proc/meminfo: memFree=1630052/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=105032 CPUtime=102.27 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 27954 0 0 0 10088 139 0 0 25 0 1 0 43395602 107552768 25466 1992294400 4194304 7136930 140733906267072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 26258 25466 394 719 0 25537 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 105032 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15159 /proc/meminfo: memFree=1600540/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=135508 CPUtime=162.25 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 35533 0 0 0 16031 194 0 0 25 0 1 0 43395602 138760192 33045 1992294400 4194304 7136930 140733906267072 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 33877 33045 394 719 0 33156 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 135508 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15161 /proc/meminfo: memFree=1574252/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=160824 CPUtime=222.22 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 41845 0 0 0 21983 239 0 0 25 0 1 0 43395602 164683776 39357 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 40206 39357 394 719 0 39485 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 160824 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15163 /proc/meminfo: memFree=1552180/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=186184 CPUtime=282.2 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 47631 0 0 0 27934 286 0 0 25 0 1 0 43395602 190652416 45143 1992294400 4194304 7136930 140733906267072 18446744073709551615 4780839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 46546 45143 394 719 0 45825 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 186184 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15163 /proc/meminfo: memFree=1528496/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=208400 CPUtime=342.19 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 53247 0 0 0 33883 336 0 0 25 0 1 0 43395602 213401600 50759 1992294400 4194304 7136930 140733906267072 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 52100 50759 394 719 0 51379 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 208400 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15165 /proc/meminfo: memFree=1507416/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=229752 CPUtime=402.17 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 58540 0 0 0 39835 382 0 0 25 0 1 0 43395602 235266048 56052 1992294400 4194304 7136930 140733906267072 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 57438 56052 394 719 0 56717 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 229752 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15167 /proc/meminfo: memFree=1477036/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=260288 CPUtime=462.16 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 66096 0 0 0 45785 431 0 0 25 0 1 0 43395602 266534912 63608 1992294400 4194304 7136930 140733906267072 18446744073709551615 6000505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 65072 63608 394 719 0 64351 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 260288 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15169 /proc/meminfo: memFree=1453724/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=284532 CPUtime=522.14 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 72101 0 0 0 51730 484 0 0 25 0 1 0 43395602 291360768 69613 1992294400 4194304 7136930 140733906267072 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 71133 69613 394 719 0 70412 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 284532 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15171 /proc/meminfo: memFree=1426692/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=310652 CPUtime=582.12 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 78601 0 0 0 57677 535 0 0 25 0 1 0 43395602 318107648 76113 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 77663 76113 394 719 0 76942 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 310652 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15171 /proc/meminfo: memFree=1404620/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=332872 CPUtime=642.11 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 84076 0 0 0 63630 581 0 0 25 0 1 0 43395602 340860928 81588 1992294400 4194304 7136930 140733906267072 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 83218 81588 394 719 0 82497 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 332872 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15190 /proc/meminfo: memFree=1246396/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=495976 CPUtime=1001.98 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 123502 0 0 0 99302 896 0 0 25 0 1 0 43395602 507879424 121014 1992294400 4194304 7136930 140733906267072 18446744073709551615 4981237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 123994 121014 394 719 0 123273 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 495976 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15192 /proc/meminfo: memFree=1218248/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=524352 CPUtime=1061.96 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 130504 0 0 0 105250 946 0 0 25 0 1 0 43395602 536936448 128016 1992294400 4194304 7136930 140733906267072 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 131088 128016 394 719 0 130367 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 524352 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15194 /proc/meminfo: memFree=1193448/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=549748 CPUtime=1121.95 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 136672 0 0 0 111196 999 0 0 25 0 1 0 43395602 562941952 134184 1992294400 4194304 7136930 140733906267072 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 137437 134184 394 719 0 136716 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 549748 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15196 /proc/meminfo: memFree=1166416/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=576792 CPUtime=1181.92 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 143427 0 0 0 117145 1047 0 0 25 0 1 0 43395602 590635008 140939 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 144198 140939 394 719 0 143477 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 576792 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15196 /proc/meminfo: memFree=1136532/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=607040 CPUtime=1241.91 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 150832 0 0 0 123087 1104 0 0 25 0 1 0 43395602 621608960 148344 1992294400 4194304 7136930 140733906267072 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 151760 148344 394 719 0 151039 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 607040 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15198 /proc/meminfo: memFree=1109252/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=634596 CPUtime=1301.9 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 157598 0 0 0 129032 1158 0 0 25 0 1 0 43395602 649826304 155110 1992294400 4194304 7136930 140733906267072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 158649 155110 394 719 0 157928 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 634596 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15200 /proc/meminfo: memFree=1083708/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=661676 CPUtime=1361.87 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 164261 0 0 0 134975 1212 0 0 25 0 1 0 43395602 677556224 161773 1992294400 4194304 7136930 140733906267072 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 165419 161773 394 719 0 164698 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 661676 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15202 /proc/meminfo: memFree=1054940/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=689944 CPUtime=1421.86 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 171175 0 0 0 140920 1266 0 0 25 0 1 0 43395602 706502656 168687 1992294400 4194304 7136930 140733906267072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 172486 168687 394 719 0 171765 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 689944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15204 /proc/meminfo: memFree=1026048/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=719756 CPUtime=1481.83 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 178359 0 0 0 146861 1322 0 0 25 0 1 0 43395602 737030144 175871 1992294400 4194304 7136930 140733906267072 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 179939 175871 394 719 0 179218 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 719756 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15204 /proc/meminfo: memFree=995792/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=749800 CPUtime=1541.82 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 185886 0 0 0 152798 1384 0 0 25 0 1 0 43395602 767795200 183398 1992294400 4194304 7136930 140733906267072 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 187450 183398 394 719 0 186729 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 749800 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15206 /proc/meminfo: memFree=970372/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=776556 CPUtime=1601.8 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 192371 0 0 0 158740 1440 0 0 25 0 1 0 43395602 795193344 189883 1992294400 4194304 7136930 140733906267072 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 194139 189883 394 719 0 193418 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 776556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15208 /proc/meminfo: memFree=940488/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=806484 CPUtime=1661.78 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 199689 0 0 0 164676 1502 0 0 25 0 1 0 43395602 825839616 197201 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 201621 197201 394 719 0 200900 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 806484 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15213 /proc/meminfo: memFree=910976/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=836424 CPUtime=1721.77 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 206935 0 0 0 170620 1557 0 0 25 0 1 0 43395602 856498176 204447 1992294400 4194304 7136930 140733906267072 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 209106 204447 394 719 0 208385 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 836424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15215 /proc/meminfo: memFree=883200/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=871792 CPUtime=1781.75 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 213858 0 0 0 176565 1610 0 0 25 0 1 0 43395602 892715008 211370 1992294400 4194304 7136930 140733906267072 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 217948 211370 394 719 0 217227 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 871792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15215 /proc/meminfo: memFree=871792/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=883224 CPUtime=1800.05 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 216720 0 0 0 178377 1628 0 0 25 0 1 0 43395602 904421376 214232 1992294400 4194304 7136930 140733906267072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15154/statm: 220806 214232 394 719 0 220085 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 883224 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 15215 /proc/meminfo: memFree=871792/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=883224 CPUtime=1800.84 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 216725 0 0 0 178456 1628 0 0 25 0 1 0 43395602 904421376 214237 1992294400 4194304 7136930 140733906267072 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15154/statm: 220806 214237 399 719 0 220085 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (KiB) 883224 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15216 /proc/meminfo: memFree=873148/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=843316 CPUtime=1801.65 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 216725 0 0 0 178536 1629 0 0 25 0 1 0 43395602 863555584 204261 1992294400 4194304 7136930 140733906267072 18446744073709551615 4212599 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15154/statm: 210829 204261 399 719 0 210108 0 Current children cumulated CPU time (s) 1801.65 Current children cumulated vsize (KiB) 843316 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15216 /proc/meminfo: memFree=873148/2059040 swapFree=4135684/4192956 [pid=15154] ppid=15152 vsize=378576 CPUtime=1801.84 /proc/15154/stat : 15154 (pbscip.linux.x8) R 15152 15154 14966 0 -1 4202496 216725 0 0 0 178551 1633 0 0 25 0 1 0 43395602 387661824 88082 1992294400 4194304 7136930 140733906267072 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15154/statm: 94644 88082 399 719 0 93923 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 378576 Child status: 0 Real time (s): 1802.46 CPU time (s): 1801.91 CPU user time (s): 1785.53 CPU system time (s): 16.3805 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 883224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.53 system time used= 16.3805 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 216731 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= 1 involuntary context switches= 3892 runsolver used 2.82557 second user time and 8.68068 second system time The end
Begin job on node002 at 2010-06-16 10:45:16 IDJOB=2663435 IDBENCH=48313 IDSOLVER=1167 FILE ID=node002/2663435-1276677916 PBS_JOBID= 11172560 Free space on /tmp= 62572 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_5_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-2663435-1276677916/watcher-2663435-1276677916 -o /tmp/evaluation-result-2663435-1276677916/solver-2663435-1276677916 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663435-1276677916.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9 RANDOM SEED=282245528 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1731648 kB Buffers: 105444 kB Cached: 127516 kB SwapCached: 10940 kB Active: 108944 kB Inactive: 137512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1731648 kB SwapTotal: 4192956 kB SwapFree: 4135684 kB Dirty: 3380 kB Writeback: 0 kB AnonPages: 11616 kB Mapped: 9424 kB Slab: 59056 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182108 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= 62568 MiB End job on node002 at 2010-06-16 11:15:19