| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.89 | 1802.45 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_4_40.opb |
| MD5SUM | 83d1e3d1d0816aba7f8b7eb415a5cecb |
| 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) | 12520 |
| Sum of products size (including duplicates) | 25040 |
| Number of different products | 6260 |
| Sum of products size | 12520 |
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-2663475-1276681433.opb>
0.01/0.08 c original problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 constraints
0.01/0.08 c problem read
0.01/0.08 c No objective function, only one solution is needed.
0.01/0.08 c presolving settings loaded
0.01/0.09 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, 50480 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 50480 implications, 400 cliques
0.59/0.69 c presolved problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 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 6260 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.37
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.69/0.70 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 | - |6660 |6862 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.88/41.97 c 41.3s| 10000 | 9713 | 0 | 0.0 | 35M| 339 | - |6660 |7048 | 0 | 0 | 0 | 228 | 0 | 0.000000e+00 | -- | Inf
74.47/74.50 c 73.5s| 20000 | 19434 | 0 | 0.0 | 49M| 339 | - |6660 |7179 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
94.36/94.45 c 93.2s| 30000 | 29013 | 0 | 0.0 | 61M| 339 | - |6660 |7435 | 0 | 0 | 0 | 753 | 0 | 0.000000e+00 | -- | Inf
120.16/120.20 c 119s| 40000 | 35942 | 0 | 0.0 | 71M| 339 | - |6660 |7115 | 0 | 0 | 0 |3063 | 0 | 0.000000e+00 | -- | Inf
165.14/165.25 c 163s| 50000 | 45773 | 0 | 0.0 | 88M| 339 | - |6660 |7106 | 0 | 0 | 0 |3200 | 0 | 0.000000e+00 | -- | Inf
208.13/208.23 c 206s| 60000 | 55596 | 0 | 0.0 | 105M| 339 | - |6660 |7151 | 0 | 0 | 0 |3350 | 0 | 0.000000e+00 | -- | Inf
250.42/250.59 c 248s| 70000 | 65403 | 0 | 0.0 | 121M| 339 | - |6660 |7172 | 0 | 0 | 0 |3523 | 0 | 0.000000e+00 | -- | Inf
292.41/292.51 c 290s| 80000 | 75223 | 0 | 0.0 | 138M| 339 | - |6660 |7212 | 0 | 0 | 0 |3685 | 0 | 0.000000e+00 | -- | Inf
334.20/334.36 c 331s| 90000 | 84921 | 0 | 0.0 | 155M| 339 | - |6660 |7340 | 0 | 0 | 0 |4042 | 0 | 0.000000e+00 | -- | Inf
375.18/375.37 c 372s|100000 | 94738 | 0 | 0.0 | 172M| 339 | - |6660 |7370 | 0 | 0 | 0 |4201 | 0 | 0.000000e+00 | -- | Inf
416.77/416.98 c 413s|110000 |104534 | 0 | 0.0 | 188M| 339 | - |6660 |7383 | 0 | 0 | 0 |4370 | 0 | 0.000000e+00 | -- | Inf
457.56/457.73 c 453s|120000 |114334 | 0 | 0.0 | 205M| 339 | - |6660 |7368 | 0 | 0 | 0 |4554 | 0 | 0.000000e+00 | -- | Inf
498.84/499.03 c 494s|130000 |124129 | 0 | 0.0 | 222M| 339 | - |6660 |7394 | 0 | 0 | 0 |4731 | 0 | 0.000000e+00 | -- | Inf
538.23/538.41 c 533s|140000 |133910 | 0 | 0.0 | 239M| 339 | - |6660 |7418 | 0 | 0 | 0 |4945 | 0 | 0.000000e+00 | -- | Inf
579.43/579.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.43/579.64 c 574s|150000 |143697 | 0 | 0.0 | 256M| 339 | - |6660 |7430 | 0 | 0 | 0 |5118 | 0 | 0.000000e+00 | -- | Inf
619.21/619.41 c 614s|160000 |153457 | 0 | 0.0 | 273M| 339 | - |6660 |7449 | 0 | 0 | 0 |5317 | 0 | 0.000000e+00 | -- | Inf
658.90/659.17 c 653s|170000 |163235 | 0 | 0.0 | 290M| 339 | - |6660 |7473 | 0 | 0 | 0 |5511 | 0 | 0.000000e+00 | -- | Inf
697.88/698.10 c 692s|180000 |173044 | 0 | 0.0 | 306M| 339 | - |6660 |7489 | 0 | 0 | 0 |5679 | 0 | 0.000000e+00 | -- | Inf
736.17/736.45 c 730s|190000 |182810 | 0 | 0.0 | 323M| 339 | - |6660 |7527 | 0 | 0 | 0 |5890 | 0 | 0.000000e+00 | -- | Inf
774.77/775.03 c 768s|200000 |192591 | 0 | 0.0 | 339M| 339 | - |6660 |7545 | 0 | 0 | 0 |6078 | 0 | 0.000000e+00 | -- | Inf
813.25/813.59 c 806s|210000 |202385 | 0 | 0.0 | 356M| 339 | - |6660 |7560 | 0 | 0 | 0 |6259 | 0 | 0.000000e+00 | -- | Inf
850.94/851.27 c 843s|220000 |212167 | 0 | 0.0 | 372M| 339 | - |6660 |7578 | 0 | 0 | 0 |6455 | 0 | 0.000000e+00 | -- | Inf
889.33/889.60 c 881s|230000 |221943 | 0 | 0.0 | 389M| 339 | - |6660 |7608 | 0 | 0 | 0 |6639 | 0 | 0.000000e+00 | -- | Inf
924.72/925.04 c 917s|240000 |231758 | 0 | 0.0 | 405M| 339 | - |6660 |7639 | 0 | 0 | 0 |6819 | 0 | 0.000000e+00 | -- | Inf
962.22/962.59 c 954s|250000 |241556 | 0 | 0.0 | 421M| 339 | - |6660 |7662 | 0 | 0 | 0 |7000 | 0 | 0.000000e+00 | -- | Inf
1001.19/1001.59 c 992s|260000 |251251 | 0 | 0.0 | 438M| 339 | - |6660 |7759 | 0 | 0 | 0 |7311 | 0 | 0.000000e+00 | -- | Inf
1037.57/1037.94 c 1028s|270000 |261021 | 0 | 0.0 | 455M| 339 | - |6660 |7765 | 0 | 0 | 0 |7520 | 0 | 0.000000e+00 | -- | Inf
1074.16/1074.55 c 1065s|280000 |270789 | 0 | 0.0 | 471M| 339 | - |6660 |7790 | 0 | 0 | 0 |7743 | 0 | 0.000000e+00 | -- | Inf
1110.24/1110.62 c 1100s|290000 |280539 | 0 | 0.0 | 488M| 339 | - |6660 |7848 | 0 | 0 | 0 |8011 | 0 | 0.000000e+00 | -- | Inf
1147.34/1147.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.34/1147.70 c 1137s|300000 |290302 | 0 | 0.0 | 505M| 339 | - |6660 |7850 | 0 | 0 | 0 |8211 | 0 | 0.000000e+00 | -- | Inf
1184.52/1184.95 c 1174s|310000 |300034 | 0 | 0.0 | 521M| 339 | - |6660 |7868 | 0 | 0 | 0 |8424 | 0 | 0.000000e+00 | -- | Inf
1222.21/1222.63 c 1211s|320000 |309704 | 0 | 0.0 | 537M| 339 | - |6660 |7967 | 0 | 0 | 0 |8773 | 0 | 0.000000e+00 | -- | Inf
1259.50/1259.94 c 1248s|330000 |319396 | 0 | 0.0 | 554M| 339 | - |6660 |8020 | 0 | 0 | 0 |9103 | 0 | 0.000000e+00 | -- | Inf
1295.98/1296.42 c 1284s|340000 |329152 | 0 | 0.0 | 570M| 339 | - |6660 |8019 | 0 | 0 | 0 |9322 | 0 | 0.000000e+00 | -- | Inf
1333.17/1333.60 c 1321s|350000 |338899 | 0 | 0.0 | 587M| 339 | - |6660 |8014 | 0 | 0 | 0 |9533 | 0 | 0.000000e+00 | -- | Inf
1370.07/1370.50 c 1358s|360000 |348650 | 0 | 0.0 | 603M| 339 | - |6660 |8031 | 0 | 0 | 0 |9736 | 0 | 0.000000e+00 | -- | Inf
1406.25/1406.75 c 1394s|370000 |358378 | 0 | 0.0 | 620M| 339 | - |6660 |8054 | 0 | 0 | 0 |9959 | 0 | 0.000000e+00 | -- | Inf
1442.75/1443.23 c 1430s|380000 |368125 | 0 | 0.0 | 636M| 339 | - |6660 |8070 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1477.33/1477.80 c 1464s|390000 |377875 | 0 | 0.0 | 653M| 339 | - |6660 |8115 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1512.51/1513.05 c 1499s|400000 |387566 | 0 | 0.0 | 669M| 339 | - |6660 |8149 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1547.80/1548.36 c 1534s|410000 |397301 | 0 | 0.0 | 685M| 339 | - |6660 |8158 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1584.29/1584.88 c 1570s|420000 |406961 | 0 | 0.0 | 702M| 339 | - |6660 |8230 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1618.69/1619.28 c 1604s|430000 |416714 | 0 | 0.0 | 718M| 339 | - |6660 |8240 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1653.47/1654.01 c 1639s|440000 |426472 | 0 | 0.0 | 735M| 339 | - |6660 |8244 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1687.26/1687.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.26/1687.85 c 1672s|450000 |436195 | 0 | 0.0 | 751M| 339 | - |6660 |8282 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1721.96/1722.57 c 1707s|460000 |445919 | 0 | 0.0 | 767M| 339 | - |6660 |8300 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1756.44/1757.09 c 1741s|470000 |455660 | 0 | 0.0 | 784M| 339 | - |6660 |8320 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1790.83/1791.49 c 1775s|480000 |465384 | 0 | 0.0 | 800M| 339 | - |6660 |8356 | 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.87
1800.05/1800.61 c Solving Nodes : 482667
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.87
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2663475-1276681433.opb
1800.05/1800.61 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 6862 initial, 6862 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2663475-1276681433.opb
1800.05/1800.61 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 6862 initial, 9270 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 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.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c and : 0.24 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 711371 0 337698 1193 191085 0 0 0
1800.05/1800.61 c setppc : 400 0 1094440 0 477096 6519 244553 0 0 0
1800.05/1800.61 c and : 6260 0 1087921 0 477096 4 11994537 0 0 0
1800.05/1800.61 c linear : 1 0 1085052 0 477096 1225 116395 0 0 0
1800.05/1800.61 c logicor : 200+ 0 30121 0 477096 175 280907 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 477096 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.58 0.00 10.37 0.00 8.21
1800.05/1800.61 c setppc : 369.30 0.00 21.51 0.00 347.79
1800.05/1800.61 c and : 550.16 0.00 192.14 0.00 358.02
1800.05/1800.61 c linear : 58.07 0.00 57.08 0.00 0.99
1800.05/1800.61 c logicor : 35.30 0.00 5.05 0.00 30.25
1800.05/1800.61 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 0.91 1 0 0
1800.05/1800.61 c rootredcost : 0.90 0 0 0
1800.05/1800.61 c pseudoobj : 0.46 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 : 6.77 9116 9082 14430 167.8 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 : - - - 12776 151.2 - - -
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 : 663.41 477096 0 0 0 0 954192
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 : 482667
1800.05/1800.61 c nodes (total) : 482667
1800.05/1800.61 c nodes left : 467981
1800.05/1800.61 c max depth : 339
1800.05/1800.61 c max depth (total): 339
1800.05/1800.61 c backtracks : 3732 (0.8%)
1800.05/1800.61 c delayed cutoffs : 3545
1800.05/1800.61 c repropagations : 109927 (475715 domain reductions, 3545 cutoffs)
1800.05/1800.61 c avg switch length: 3.01
1800.05/1800.61 c switching time : 54.33
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.83/1802.45 c Time complete: 1801.88.
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-2663475-1276681433/watcher-2663475-1276681433 -o /tmp/evaluation-result-2663475-1276681433/solver-2663475-1276681433 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663475-1276681433.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 0.99 3/106 17081 /proc/meminfo: memFree=1528448/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=6584 CPUtime=0 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 1128 0 0 0 0 0 0 0 20 0 1 0 9434013 6742016 1050 1992294400 4194304 7136930 140735239879760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17081/statm: 1646 1058 254 719 0 925 0 [startup+0.019842 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17081 /proc/meminfo: memFree=1528448/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=9540 CPUtime=0.01 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 1870 0 0 0 1 0 0 0 20 0 1 0 9434013 9768960 1792 1992294400 4194304 7136930 140735239879760 18446744073709551615 4388943 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17081/statm: 2385 1792 269 719 0 1664 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9540 [startup+0.100837 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17081 /proc/meminfo: memFree=1528448/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=19196 CPUtime=0.09 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 4663 0 0 0 8 1 0 0 20 0 1 0 9434013 19656704 4231 1992294400 4194304 7136930 140735239879760 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 4799 4234 281 719 0 4078 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19196 [startup+0.300859 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17081 /proc/meminfo: memFree=1528448/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=30732 CPUtime=0.29 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 7585 0 0 0 22 7 0 0 20 0 1 0 9434013 31469568 6896 1992294400 4194304 7136930 140735239879760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 7683 6896 327 719 0 6962 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30732 [startup+0.700903 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17081 /proc/meminfo: memFree=1528448/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=36652 CPUtime=0.69 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 10878 0 0 0 47 22 0 0 21 0 1 0 9434013 37531648 8390 1992294400 4194304 7136930 140735239879760 18446744073709551615 5511485 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 9163 8390 373 719 0 8442 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36652 [startup+1.50099 s] /proc/loadavg: 0.92 0.98 0.99 2/107 17082 /proc/meminfo: memFree=1495084/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=39000 CPUtime=1.49 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 11476 0 0 0 126 23 0 0 23 0 1 0 9434013 39936000 8988 1992294400 4194304 7136930 140735239879760 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 9750 8988 389 719 0 9029 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39000 [startup+3.10117 s] /proc/loadavg: 0.92 0.98 0.99 2/107 17082 /proc/meminfo: memFree=1493100/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=40204 CPUtime=3.09 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 11778 0 0 0 284 25 0 0 25 0 1 0 9434013 41168896 9290 1992294400 4194304 7136930 140735239879760 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 10051 9290 394 719 0 9330 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40204 [startup+6.30152 s] /proc/loadavg: 0.93 0.98 0.99 2/107 17082 /proc/meminfo: memFree=1491240/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=41528 CPUtime=6.29 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 12099 0 0 0 602 27 0 0 25 0 1 0 9434013 42524672 9611 1992294400 4194304 7136930 140735239879760 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 10382 9611 394 719 0 9661 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41528 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 17084 /proc/meminfo: memFree=1487768/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=45112 CPUtime=12.69 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 12986 0 0 0 1236 33 0 0 25 0 1 0 9434013 46194688 10498 1992294400 4194304 7136930 140735239879760 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 11278 10498 394 719 0 10557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45112 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 0.99 2/107 17084 /proc/meminfo: memFree=1480700/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=51944 CPUtime=25.48 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 14689 0 0 0 2504 44 0 0 25 0 1 0 9434013 53190656 12201 1992294400 4194304 7136930 140735239879760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 12986 12201 394 719 0 12265 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51944 [startup+51.1005 s] /proc/loadavg: 0.96 0.98 0.99 2/107 17084 /proc/meminfo: memFree=1469292/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=63088 CPUtime=51.07 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 17487 0 0 0 5044 63 0 0 25 0 1 0 9434013 64602112 14999 1992294400 4194304 7136930 140735239879760 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 15772 14999 394 719 0 15051 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63088 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 17086 /proc/meminfo: memFree=1426512/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=105784 CPUtime=102.27 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 28131 0 0 0 10090 137 0 0 25 0 1 0 9434013 108322816 25643 1992294400 4194304 7136930 140735239879760 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 26446 25643 394 719 0 25725 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 105784 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17086 /proc/meminfo: memFree=1397000/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=135416 CPUtime=162.24 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 35497 0 0 0 16038 186 0 0 25 0 1 0 9434013 138665984 33009 1992294400 4194304 7136930 140735239879760 18446744073709551615 4665896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 33854 33009 394 719 0 33133 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 135416 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17088 /proc/meminfo: memFree=1373068/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=159100 CPUtime=222.22 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 41435 0 0 0 21989 233 0 0 25 0 1 0 9434013 162918400 38947 1992294400 4194304 7136930 140735239879760 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 39775 38947 394 719 0 39054 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 159100 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17090 /proc/meminfo: memFree=1349508/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=184864 CPUtime=282.21 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 47322 0 0 0 27943 278 0 0 25 0 1 0 9434013 189300736 44834 1992294400 4194304 7136930 140735239879760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 46216 44834 394 719 0 45495 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 184864 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17092 /proc/meminfo: memFree=1319748/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=214948 CPUtime=342.19 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 54735 0 0 0 33889 330 0 0 25 0 1 0 9434013 220106752 52247 1992294400 4194304 7136930 140735239879760 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 53737 52247 394 719 0 53016 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 214948 [startup+402.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17094 /proc/meminfo: memFree=1294948/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=239692 CPUtime=402.17 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 60910 0 0 0 39837 380 0 0 25 0 1 0 9434013 245444608 58422 1992294400 4194304 7136930 140735239879760 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 59923 58422 394 719 0 59202 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 239692 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17094 /proc/meminfo: memFree=1268412/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=266236 CPUtime=462.15 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 67516 0 0 0 45790 425 0 0 25 0 1 0 9434013 272625664 65028 1992294400 4194304 7136930 140735239879760 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 66559 65028 394 719 0 65838 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 266236 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17096 /proc/meminfo: memFree=1241256/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=293900 CPUtime=522.14 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 74321 0 0 0 51741 473 0 0 25 0 1 0 9434013 300953600 71833 1992294400 4194304 7136930 140735239879760 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 73475 71833 394 719 0 72754 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 293900 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17098 /proc/meminfo: memFree=1219680/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=315116 CPUtime=582.12 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 79623 0 0 0 57690 522 0 0 25 0 1 0 9434013 322678784 77135 1992294400 4194304 7136930 140735239879760 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 78779 77135 394 719 0 78058 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 315116 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17100 /proc/meminfo: memFree=1195748/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=338880 CPUtime=642.1 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 85590 0 0 0 63639 571 0 0 25 0 1 0 9434013 347013120 83102 1992294400 4194304 7136930 140735239879760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 84720 83102 394 719 0 83999 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 338880 [startup+702.3 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17110 /proc/meminfo: memFree=1040748/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=501072 CPUtime=1001.99 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 124471 0 0 0 99313 886 0 0 25 0 1 0 9434013 513097728 121983 1992294400 4194304 7136930 140735239879760 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 125268 121983 394 719 0 124547 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 501072 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17119 /proc/meminfo: memFree=1008880/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=531640 CPUtime=1061.97 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 132015 0 0 0 105260 937 0 0 25 0 1 0 9434013 544399360 129527 1992294400 4194304 7136930 140735239879760 18446744073709551615 4676215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 132910 129527 394 719 0 132189 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 531640 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17121 /proc/meminfo: memFree=980360/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=560628 CPUtime=1121.94 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 139151 0 0 0 111206 988 0 0 25 0 1 0 9434013 574083072 136663 1992294400 4194304 7136930 140735239879760 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 140157 136663 394 719 0 139436 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 560628 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17123 /proc/meminfo: memFree=956676/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=584272 CPUtime=1181.92 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 145052 0 0 0 117153 1039 0 0 25 0 1 0 9434013 598294528 142564 1992294400 4194304 7136930 140735239879760 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 146068 142564 394 719 0 145347 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 584272 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17125 /proc/meminfo: memFree=924808/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=616568 CPUtime=1241.9 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 153005 0 0 0 123094 1096 0 0 25 0 1 0 9434013 631365632 150517 1992294400 4194304 7136930 140735239879760 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 154142 150517 394 719 0 153421 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 616568 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17127 /proc/meminfo: memFree=895048/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=646656 CPUtime=1301.88 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 160442 0 0 0 129036 1152 0 0 25 0 1 0 9434013 662175744 157954 1992294400 4194304 7136930 140735239879760 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 161664 157954 394 719 0 160943 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 646656 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17127 /proc/meminfo: memFree=870372/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=671468 CPUtime=1361.86 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 166589 0 0 0 134983 1203 0 0 25 0 1 0 9434013 687583232 164101 1992294400 4194304 7136930 140735239879760 18446744073709551615 4643247 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 167867 164101 394 719 0 167146 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 671468 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17129 /proc/meminfo: memFree=839620/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=702352 CPUtime=1421.85 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 174238 0 0 0 140927 1258 0 0 25 0 1 0 9434013 719208448 171750 1992294400 4194304 7136930 140735239879760 18446744073709551615 4642170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 175588 171750 394 719 0 174867 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 702352 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17131 /proc/meminfo: memFree=814944/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=727204 CPUtime=1481.83 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 180389 0 0 0 146875 1308 0 0 25 0 1 0 9434013 744656896 177901 1992294400 4194304 7136930 140735239879760 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 181801 177901 394 719 0 181080 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 727204 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17133 /proc/meminfo: memFree=789772/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=752460 CPUtime=1541.8 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 186662 0 0 0 152816 1364 0 0 25 0 1 0 9434013 770519040 184174 1992294400 4194304 7136930 140735239879760 18446744073709551615 5892211 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 188115 184174 394 719 0 187394 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 752460 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17135 /proc/meminfo: memFree=758276/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=785592 CPUtime=1601.79 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 194611 0 0 0 158759 1420 0 0 25 0 1 0 9434013 804446208 192123 1992294400 4194304 7136930 140735239879760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 196398 192123 394 719 0 195677 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 785592 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17135 /proc/meminfo: memFree=726532/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=817368 CPUtime=1661.77 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 202446 0 0 0 164699 1478 0 0 25 0 1 0 9434013 836984832 199958 1992294400 4194304 7136930 140735239879760 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 204342 199958 394 719 0 203621 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 817368 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 3/107 17137 /proc/meminfo: memFree=699500/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=844852 CPUtime=1721.75 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 209162 0 0 0 170638 1537 0 0 25 0 1 0 9434013 865128448 206674 1992294400 4194304 7136930 140735239879760 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 211213 206674 394 719 0 210492 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 844852 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17139 /proc/meminfo: memFree=670732/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=882544 CPUtime=1781.73 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 216268 0 0 0 176580 1593 0 0 25 0 1 0 9434013 903725056 213780 1992294400 4194304 7136930 140735239879760 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 220636 213780 394 719 0 219915 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 882544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 3/107 17139 /proc/meminfo: memFree=665400/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=888036 CPUtime=1800.05 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 217624 0 0 0 178394 1611 0 0 25 0 1 0 9434013 909348864 215136 1992294400 4194304 7136930 140735239879760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17081/statm: 222009 215136 394 719 0 221288 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 888036 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: 0.99 0.98 0.99 3/107 17139 /proc/meminfo: memFree=665400/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=888036 CPUtime=1800.83 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 217629 0 0 0 178472 1611 0 0 25 0 1 0 9434013 909348864 215141 1992294400 4194304 7136930 140735239879760 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17081/statm: 222009 215141 399 719 0 221288 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 888036 [startup+1802.2 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17140 /proc/meminfo: memFree=666012/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=842660 CPUtime=1801.63 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 217629 0 0 0 178552 1611 0 0 25 0 1 0 9434013 862883840 203797 1992294400 4194304 7136930 140735239879760 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17081/statm: 210665 203797 399 719 0 209944 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 842660 [startup+1802.4 s] /proc/loadavg: 0.99 0.98 0.99 2/108 17140 /proc/meminfo: memFree=666012/2059040 swapFree=4192956/4192956 [pid=17081] ppid=17079 vsize=356312 CPUtime=1801.83 /proc/17081/stat : 17081 (pbscip.linux.x8) R 17079 17081 16567 0 -1 4202496 217629 0 0 0 178567 1616 0 0 25 0 1 0 9434013 364863488 84460 1992294400 4194304 7136930 140735239879760 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17081/statm: 89078 84392 399 719 0 88357 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 356312 Child status: 0 Real time (s): 1802.45 CPU time (s): 1801.89 CPU user time (s): 1785.68 CPU system time (s): 16.2045 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 888036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.68 system time used= 16.2045 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 217635 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3979 runsolver used 2.94555 second user time and 8.5507 second system time The end
Begin job on node059 at 2010-06-16 11:43:53 IDJOB=2663475 IDBENCH=48353 IDSOLVER=1167 FILE ID=node059/2663475-1276681433 PBS_JOBID= 11172543 Free space on /tmp= 62556 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_4_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-2663475-1276681433/watcher-2663475-1276681433 -o /tmp/evaluation-result-2663475-1276681433/solver-2663475-1276681433 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663475-1276681433.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83d1e3d1d0816aba7f8b7eb415a5cecb RANDOM SEED=1283692643 node059.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.244 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.244 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: 1528976 kB Buffers: 129180 kB Cached: 258788 kB SwapCached: 0 kB Active: 156368 kB Inactive: 290820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1528976 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3396 kB Writeback: 0 kB AnonPages: 59244 kB Mapped: 15472 kB Slab: 61228 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180816 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= 62552 MiB End job on node059 at 2010-06-16 12:13:56