| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.73 | 1801.48 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb |
| MD5SUM | 887c74fdc5099423a97b443d1200370c |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.289955 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5500 |
| Total number of constraints | 210 |
| Number of constraints which are clauses | 110 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 55 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 56 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664490-1276321785.opb>
0.00/0.04 c original problem has 5500 variables (5500 bin, 0 int, 0 impl, 0 cont) and 210 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 110 upgd conss, 0 impls, 100 clqs
0.09/0.14 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 210 upgd conss, 0 impls, 100 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 0 implications, 100 cliques
0.09/0.15 c presolved problem has 5500 variables (5500 bin, 0 int, 0 impl, 0 cont) and 210 constraints
0.09/0.15 c 100 constraints of type <setppc>
0.09/0.15 c 110 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.08
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.96
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 2 | 0 | - |9528k| 0 | - |5500 | 210 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.49/25.50 c 25.3s| 10000 | 9984 | 0 | 0.0 | 13M|3227 | - |5500 | 258 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
43.98/44.02 c 43.6s| 20000 | 19975 | 0 | 0.0 | 16M|3726 | - |5500 | 296 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
75.06/75.15 c 74.6s| 30000 | 29955 | 0 | 0.0 | 20M|3726 | - |5500 | 364 | 0 | 0 | 0 | 230 | 0 | 0.000000e+00 | -- | Inf
106.44/106.57 c 106s| 40000 | 39935 | 0 | 0.0 | 23M|3726 | - |5500 | 353 | 0 | 0 | 0 | 360 | 0 | 0.000000e+00 | -- | Inf
138.64/138.77 c 138s| 50000 | 49914 | 0 | 0.0 | 26M|3726 | - |5500 | 385 | 0 | 0 | 0 | 474 | 0 | 0.000000e+00 | -- | Inf
171.02/171.20 c 170s| 60000 | 59887 | 0 | 0.0 | 29M|3726 | - |5500 | 390 | 0 | 0 | 0 | 617 | 0 | 0.000000e+00 | -- | Inf
203.31/203.40 c 202s| 70000 | 69858 | 0 | 0.0 | 31M|3726 | - |5500 | 335 | 0 | 0 | 0 | 742 | 0 | 0.000000e+00 | -- | Inf
235.39/235.58 c 234s| 80000 | 79827 | 0 | 0.0 | 34M|3726 | - |5500 | 320 | 0 | 0 | 0 | 831 | 0 | 0.000000e+00 | -- | Inf
267.88/268.06 c 266s| 90000 | 89803 | 0 | 0.0 | 37M|3726 | - |5500 | 329 | 0 | 0 | 0 | 905 | 0 | 0.000000e+00 | -- | Inf
300.27/300.43 c 299s|100000 | 99774 | 0 | 0.0 | 40M|3726 | - |5500 | 306 | 0 | 0 | 0 | 971 | 0 | 0.000000e+00 | -- | Inf
332.16/332.39 c 330s|110000 |109749 | 0 | 0.0 | 43M|3726 | - |5500 | 297 | 0 | 0 | 0 |1030 | 0 | 0.000000e+00 | -- | Inf
364.44/364.60 c 362s|120000 |119723 | 0 | 0.0 | 45M|3726 | - |5500 | 317 | 0 | 0 | 0 |1120 | 0 | 0.000000e+00 | -- | Inf
396.83/397.08 c 395s|130000 |129697 | 0 | 0.0 | 48M|3726 | - |5500 | 331 | 0 | 0 | 0 |1204 | 0 | 0.000000e+00 | -- | Inf
429.52/429.71 c 427s|140000 |139668 | 0 | 0.0 | 51M|3726 | - |5500 | 312 | 0 | 0 | 0 |1275 | 0 | 0.000000e+00 | -- | Inf
461.81/462.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.81/462.01 c 459s|150000 |149641 | 0 | 0.0 | 54M|3726 | - |5500 | 372 | 0 | 0 | 0 |1422 | 0 | 0.000000e+00 | -- | Inf
493.79/494.09 c 491s|160000 |159612 | 0 | 0.0 | 57M|3726 | - |5500 | 370 | 0 | 0 | 0 |1556 | 0 | 0.000000e+00 | -- | Inf
525.97/526.28 c 523s|170000 |169585 | 0 | 0.0 | 59M|3726 | - |5500 | 348 | 0 | 0 | 0 |1655 | 0 | 0.000000e+00 | -- | Inf
558.26/558.54 c 555s|180000 |179562 | 0 | 0.0 | 62M|3726 | - |5500 | 332 | 0 | 0 | 0 |1720 | 0 | 0.000000e+00 | -- | Inf
590.54/590.85 c 587s|190000 |189531 | 0 | 0.0 | 65M|3726 | - |5500 | 353 | 0 | 0 | 0 |1815 | 0 | 0.000000e+00 | -- | Inf
622.54/622.83 c 619s|200000 |199506 | 0 | 0.0 | 67M|3726 | - |5500 | 350 | 0 | 0 | 0 |1914 | 0 | 0.000000e+00 | -- | Inf
654.62/655.00 c 651s|210000 |209478 | 0 | 0.0 | 70M|3726 | - |5500 | 339 | 0 | 0 | 0 |2002 | 0 | 0.000000e+00 | -- | Inf
686.70/687.01 c 683s|220000 |219451 | 0 | 0.0 | 73M|3726 | - |5500 | 356 | 0 | 0 | 0 |2122 | 0 | 0.000000e+00 | -- | Inf
718.78/719.14 c 715s|230000 |229419 | 0 | 0.0 | 76M|3726 | - |5500 | 352 | 0 | 0 | 0 |2266 | 0 | 0.000000e+00 | -- | Inf
750.98/751.36 c 747s|240000 |239398 | 0 | 0.0 | 78M|3726 | - |5500 | 339 | 0 | 0 | 0 |2346 | 0 | 0.000000e+00 | -- | Inf
782.96/783.35 c 779s|250000 |249371 | 0 | 0.0 | 81M|3726 | - |5500 | 397 | 0 | 0 | 0 |2469 | 0 | 0.000000e+00 | -- | Inf
814.95/815.36 c 811s|260000 |259343 | 0 | 0.0 | 84M|3726 | - |5500 | 418 | 0 | 0 | 0 |2597 | 0 | 0.000000e+00 | -- | Inf
846.73/847.15 c 842s|270000 |269314 | 0 | 0.0 | 87M|3726 | - |5500 | 399 | 0 | 0 | 0 |2714 | 0 | 0.000000e+00 | -- | Inf
878.62/879.00 c 874s|280000 |279287 | 0 | 0.0 | 90M|3726 | - |5500 | 426 | 0 | 0 | 0 |2883 | 0 | 0.000000e+00 | -- | Inf
910.61/911.00 c 906s|290000 |289266 | 0 | 0.0 | 92M|3726 | - |5500 | 378 | 0 | 0 | 0 |2975 | 0 | 0.000000e+00 | -- | Inf
941.90/942.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.90/942.36 c 937s|300000 |299239 | 0 | 0.0 | 95M|3726 | - |5500 | 400 | 0 | 0 | 0 |3072 | 0 | 0.000000e+00 | -- | Inf
973.78/974.23 c 969s|310000 |309209 | 0 | 0.0 | 98M|3726 | - |5500 | 391 | 0 | 0 | 0 |3172 | 0 | 0.000000e+00 | -- | Inf
1005.27/1005.70 c 1000s|320000 |319173 | 0 | 0.0 | 101M|3726 | - |5500 | 431 | 0 | 0 | 0 |3318 | 0 | 0.000000e+00 | -- | Inf
1036.66/1037.14 c 1031s|330000 |329134 | 0 | 0.0 | 104M|3726 | - |5500 | 421 | 0 | 0 | 0 |3511 | 0 | 0.000000e+00 | -- | Inf
1068.04/1068.58 c 1063s|340000 |339107 | 0 | 0.0 | 106M|3726 | - |5500 | 434 | 0 | 0 | 0 |3624 | 0 | 0.000000e+00 | -- | Inf
1099.33/1099.89 c 1094s|350000 |349081 | 0 | 0.0 | 109M|3726 | - |5500 | 397 | 0 | 0 | 0 |3759 | 0 | 0.000000e+00 | -- | Inf
1130.72/1131.29 c 1125s|360000 |359058 | 0 | 0.0 | 112M|3726 | - |5500 | 407 | 0 | 0 | 0 |3871 | 0 | 0.000000e+00 | -- | Inf
1162.00/1162.58 c 1156s|370000 |369023 | 0 | 0.0 | 115M|3726 | - |5500 | 428 | 0 | 0 | 0 |4081 | 0 | 0.000000e+00 | -- | Inf
1193.29/1193.83 c 1187s|380000 |379000 | 0 | 0.0 | 118M|3726 | - |5500 | 416 | 0 | 0 | 0 |4187 | 0 | 0.000000e+00 | -- | Inf
1224.68/1225.26 c 1218s|390000 |388974 | 0 | 0.0 | 120M|3726 | - |5500 | 424 | 0 | 0 | 0 |4290 | 0 | 0.000000e+00 | -- | Inf
1255.97/1256.59 c 1249s|400000 |398944 | 0 | 0.0 | 123M|3726 | - |5500 | 466 | 0 | 0 | 0 |4423 | 0 | 0.000000e+00 | -- | Inf
1287.16/1287.79 c 1280s|410000 |408920 | 0 | 0.0 | 126M|3726 | - |5500 | 438 | 0 | 0 | 0 |4548 | 0 | 0.000000e+00 | -- | Inf
1318.64/1319.23 c 1312s|420000 |418899 | 0 | 0.0 | 129M|3726 | - |5500 | 466 | 0 | 0 | 0 |4675 | 0 | 0.000000e+00 | -- | Inf
1350.03/1350.63 c 1343s|430000 |428867 | 0 | 0.0 | 132M|3726 | - |5500 | 495 | 0 | 0 | 0 |4818 | 0 | 0.000000e+00 | -- | Inf
1381.32/1381.96 c 1374s|440000 |438845 | 0 | 0.0 | 135M|3726 | - |5500 | 469 | 0 | 0 | 0 |4940 | 0 | 0.000000e+00 | -- | Inf
1412.60/1413.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.60/1413.25 c 1405s|450000 |448819 | 0 | 0.0 | 137M|3726 | - |5500 | 506 | 0 | 0 | 0 |5086 | 0 | 0.000000e+00 | -- | Inf
1443.79/1444.45 c 1436s|460000 |458782 | 0 | 0.0 | 140M|3726 | - |5500 | 542 | 0 | 0 | 0 |5290 | 0 | 0.000000e+00 | -- | Inf
1474.57/1475.23 c 1467s|470000 |468752 | 0 | 0.0 | 143M|3726 | - |5500 | 547 | 0 | 0 | 0 |5463 | 0 | 0.000000e+00 | -- | Inf
1505.27/1505.91 c 1497s|480000 |478728 | 0 | 0.0 | 146M|3726 | - |5500 | 566 | 0 | 0 | 0 |5600 | 0 | 0.000000e+00 | -- | Inf
1536.06/1536.73 c 1528s|490000 |488701 | 0 | 0.0 | 149M|3726 | - |5500 | 559 | 0 | 0 | 0 |5746 | 0 | 0.000000e+00 | -- | Inf
1566.74/1567.50 c 1559s|500000 |498677 | 0 | 0.0 | 152M|3726 | - |5500 | 532 | 0 | 0 | 0 |5859 | 0 | 0.000000e+00 | -- | Inf
1597.42/1598.16 c 1589s|510000 |508654 | 0 | 0.0 | 154M|3726 | - |5500 | 553 | 0 | 0 | 0 |5977 | 0 | 0.000000e+00 | -- | Inf
1628.21/1628.96 c 1620s|520000 |518614 | 0 | 0.0 | 157M|3726 | - |5500 | 572 | 0 | 0 | 0 |6150 | 0 | 0.000000e+00 | -- | Inf
1658.59/1659.38 c 1650s|530000 |528594 | 0 | 0.0 | 160M|3726 | - |5500 | 567 | 0 | 0 | 0 |6280 | 0 | 0.000000e+00 | -- | Inf
1689.18/1689.90 c 1680s|540000 |538568 | 0 | 0.0 | 163M|3726 | - |5500 | 559 | 0 | 0 | 0 |6440 | 0 | 0.000000e+00 | -- | Inf
1719.37/1720.14 c 1710s|550000 |548528 | 0 | 0.0 | 166M|3726 | - |5500 | 611 | 0 | 0 | 0 |6619 | 0 | 0.000000e+00 | -- | Inf
1749.26/1750.05 c 1740s|560000 |558504 | 0 | 0.0 | 168M|3726 | - |5500 | 557 | 0 | 0 | 0 |6739 | 0 | 0.000000e+00 | -- | Inf
1779.25/1780.02 c 1770s|570000 |568470 | 0 | 0.0 | 171M|3726 | - |5500 | 606 | 0 | 0 | 0 |6928 | 0 | 0.000000e+00 | -- | Inf
1800.04/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.80 c
1800.04/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.80 c Solving Time (sec) : 1790.64
1800.04/1800.80 c Solving Nodes : 576967
1800.04/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.80 c Dual Bound : +0.00000000000000e+00
1800.04/1800.80 c Gap : infinite
1800.04/1800.80 s UNKNOWN
1800.04/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.80 c Solving Time : 1790.64
1800.04/1800.80 c Original Problem :
1800.04/1800.80 c Problem name : HOME/instance-2664490-1276321785.opb
1800.04/1800.80 c Variables : 5500 (5500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.80 c Constraints : 210 initial, 210 maximal
1800.04/1800.80 c Presolved Problem :
1800.04/1800.80 c Problem name : t_HOME/instance-2664490-1276321785.opb
1800.04/1800.80 c Variables : 5500 (5500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.80 c Constraints : 210 initial, 629 maximal
1800.04/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.80 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.80 c root node : - 0 - - 0 - - - -
1800.04/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.80 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.80 c setppc : 100 0 603207 0 576373 765 235174 0 0 0
1800.04/1800.80 c logicor : 110+ 0 74636 0 576373 171 18825 0 0 0
1800.04/1800.80 c countsols : 0 0 0 0 576373 0 0 0 0 0
1800.04/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.80 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.80 c setppc : 335.61 0.00 16.61 0.00 319.00
1800.04/1800.80 c logicor : 173.25 0.00 2.76 0.00 170.49
1800.04/1800.80 c countsols : 0.45 0.00 0.00 0.00 0.45
1800.04/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.80 c vbounds : 0.80 1 0 0
1800.04/1800.80 c rootredcost : 0.64 0 0 0
1800.04/1800.80 c pseudoobj : 0.36 0 0 0
1800.04/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.80 c propagation : 11.94 936 936 25124 499.6 11 105.4 -
1800.04/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.80 c applied globally : - - - 6986 313.7 - - -
1800.04/1800.80 c applied locally : - - - 14 632.6 - - -
1800.04/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.80 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.80 c redcost : 0.00 0 0 0 0 0
1800.04/1800.80 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.80 c intobj : 0.00 0 0 0 0 0
1800.04/1800.80 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.80 c gomory : 0.00 0 0 0 0 0
1800.04/1800.80 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.80 c cmir : 0.00 0 0 0 0 0
1800.04/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.81 c clique : 0.00 0 0 0 0 0
1800.04/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.81 c mcf : 0.00 0 0 0 0 0
1800.04/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.81 c Pricers : Time Calls Vars
1800.04/1800.81 c problem variables: 0.00 0 0
1800.04/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.81 c inference : 1242.15 576373 0 0 0 0 1152746
1800.04/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.81 c random : 0.00 0 0 0 0 0 0
1800.04/1800.81 c Primal Heuristics : Time Calls Found
1800.04/1800.81 c LP solutions : 0.00 - 0
1800.04/1800.81 c pseudo solutions : 0.00 - 0
1800.04/1800.81 c trivial : 0.01 1 0
1800.04/1800.81 c simplerounding : 0.00 0 0
1800.04/1800.81 c zirounding : 0.00 0 0
1800.04/1800.81 c rounding : 0.00 0 0
1800.04/1800.81 c shifting : 0.00 0 0
1800.04/1800.81 c intshifting : 0.00 0 0
1800.04/1800.81 c oneopt : 0.00 0 0
1800.04/1800.81 c twoopt : 0.00 0 0
1800.04/1800.81 c fixandinfer : 0.00 0 0
1800.04/1800.81 c feaspump : 0.00 0 0
1800.04/1800.81 c coefdiving : 0.00 0 0
1800.04/1800.81 c pscostdiving : 0.00 0 0
1800.04/1800.81 c fracdiving : 0.00 0 0
1800.04/1800.81 c veclendiving : 0.00 0 0
1800.04/1800.81 c intdiving : 0.00 0 0
1800.04/1800.81 c actconsdiving : 0.00 0 0
1800.04/1800.81 c objpscostdiving : 0.00 0 0
1800.04/1800.81 c rootsoldiving : 0.00 0 0
1800.04/1800.81 c linesearchdiving : 0.00 0 0
1800.04/1800.81 c guideddiving : 0.00 0 0
1800.04/1800.81 c octane : 0.00 0 0
1800.04/1800.81 c rens : 0.00 0 0
1800.04/1800.81 c rins : 0.00 0 0
1800.04/1800.81 c localbranching : 0.00 0 0
1800.04/1800.81 c mutation : 0.00 0 0
1800.04/1800.81 c crossover : 0.00 0 0
1800.04/1800.81 c dins : 0.00 0 0
1800.04/1800.81 c undercover : 0.00 0 0
1800.04/1800.81 c nlp : 0.00 0 0
1800.04/1800.81 c trysol : 0.00 0 0
1800.04/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.81 c (at root node) : - 0 0 0.00 -
1800.04/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.81 c B&B Tree :
1800.04/1800.81 c number of runs : 1
1800.04/1800.81 c nodes : 576967
1800.04/1800.81 c nodes (total) : 576967
1800.04/1800.81 c nodes left : 575421
1800.04/1800.81 c max depth : 3726
1800.04/1800.81 c max depth (total): 3726
1800.04/1800.81 c backtracks : 355 (0.1%)
1800.04/1800.81 c delayed cutoffs : 359
1800.04/1800.81 c repropagations : 1762 (15477 domain reductions, 342 cutoffs)
1800.04/1800.81 c avg switch length: 2.18
1800.04/1800.81 c switching time : 11.05
1800.04/1800.81 c Solution :
1800.04/1800.81 c Solutions found : 0 (0 improvements)
1800.04/1800.81 c Primal Bound : -
1800.04/1800.81 c Dual Bound : +0.00000000000000e+00
1800.04/1800.81 c Gap : infinite
1800.04/1800.81 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.81 c Root Iterations : 0
1800.64/1801.48 c Time complete: 1800.72.
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-2664490-1276321785/watcher-2664490-1276321785 -o /tmp/evaluation-result-2664490-1276321785/solver-2664490-1276321785 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664490-1276321785.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.85 0.97 0.99 3/106 9630 /proc/meminfo: memFree=1514740/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=6584 CPUtime=0 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 7780082 6742016 911 1992294400 4194304 7136930 140734615375168 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9630/statm: 1646 920 254 719 0 925 0 [startup+0.0746341 s] /proc/loadavg: 0.85 0.97 0.99 3/106 9630 /proc/meminfo: memFree=1514740/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=20820 CPUtime=0.07 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 5060 0 0 0 5 2 0 0 20 0 1 0 7780082 21319680 4629 1992294400 4194304 7136930 140734615375168 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 5205 4629 302 719 0 4484 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 20820 [startup+0.101639 s] /proc/loadavg: 0.85 0.97 0.99 3/106 9630 /proc/meminfo: memFree=1514740/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=23340 CPUtime=0.09 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 5379 0 0 0 7 2 0 0 20 0 1 0 7780082 23900160 4948 1992294400 4194304 7136930 140734615375168 18446744073709551615 4241169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 5835 4948 316 719 0 5114 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23340 [startup+0.301681 s] /proc/loadavg: 0.85 0.97 0.99 3/106 9630 /proc/meminfo: memFree=1514740/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=25020 CPUtime=0.29 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 7168 0 0 0 27 2 0 0 20 0 1 0 7780082 25620480 5452 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 6255 5452 375 719 0 5534 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25020 [startup+0.701767 s] /proc/loadavg: 0.85 0.97 0.99 3/106 9630 /proc/meminfo: memFree=1514740/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=25204 CPUtime=0.7 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 7190 0 0 0 67 3 0 0 20 0 1 0 7780082 25808896 5474 1992294400 4194304 7136930 140734615375168 18446744073709551615 4407955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 6301 5474 375 719 0 5580 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 25204 [startup+1.50194 s] /proc/loadavg: 0.86 0.97 0.99 2/107 9631 /proc/meminfo: memFree=1493900/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=25336 CPUtime=1.49 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 7241 0 0 0 146 3 0 0 23 0 1 0 7780082 25944064 5525 1992294400 4194304 7136930 140734615375168 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 6334 5525 375 719 0 5613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25336 [startup+3.10128 s] /proc/loadavg: 0.86 0.97 0.99 2/107 9631 /proc/meminfo: memFree=1493280/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=26256 CPUtime=3.09 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 7463 0 0 0 305 4 0 0 25 0 1 0 7780082 26886144 5747 1992294400 4194304 7136930 140734615375168 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 6564 5747 375 719 0 5843 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26256 [startup+6.30096 s] /proc/loadavg: 0.87 0.97 0.99 2/107 9631 /proc/meminfo: memFree=1490800/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=28356 CPUtime=6.29 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 7997 0 0 0 621 8 0 0 25 0 1 0 7780082 29036544 6281 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 7089 6281 379 719 0 6368 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28356 [startup+12.7003 s] /proc/loadavg: 0.88 0.97 0.99 2/107 9631 /proc/meminfo: memFree=1489684/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=29260 CPUtime=12.68 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 8241 0 0 0 1257 11 0 0 25 0 1 0 7780082 29962240 6525 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 7315 6525 379 719 0 6594 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29260 [startup+25.501 s] /proc/loadavg: 0.90 0.97 0.99 2/107 9631 /proc/meminfo: memFree=1488444/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=30560 CPUtime=25.49 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 8577 0 0 0 2530 19 0 0 25 0 1 0 7780082 31293440 6861 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 7640 6861 379 719 0 6919 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30560 [startup+51.1015 s] /proc/loadavg: 0.94 0.97 0.99 2/107 9633 /proc/meminfo: memFree=1484104/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=34608 CPUtime=51.07 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 9646 0 0 0 5072 35 0 0 25 0 1 0 7780082 35438592 7929 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 8652 7929 379 719 0 7931 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34608 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 9633 /proc/meminfo: memFree=1478152/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=40096 CPUtime=102.25 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 11094 0 0 0 10164 61 0 0 25 0 1 0 7780082 41058304 9377 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 10024 9377 379 719 0 9303 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 40096 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9635 /proc/meminfo: memFree=1472076/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=45932 CPUtime=162.23 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 12620 0 0 0 16129 94 0 0 25 0 1 0 7780082 47034368 10903 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 11483 10903 379 719 0 10762 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 45932 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9637 /proc/meminfo: memFree=1464016/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=55580 CPUtime=222.2 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 14587 0 0 0 22095 125 0 0 25 0 1 0 7780082 56913920 12870 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 13895 12870 379 719 0 13174 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 55580 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9639 /proc/meminfo: memFree=1457816/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=61488 CPUtime=282.18 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 16139 0 0 0 28062 156 0 0 25 0 1 0 7780082 62963712 14422 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 15372 14422 379 719 0 14651 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 61488 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9641 /proc/meminfo: memFree=1450748/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=68336 CPUtime=342.15 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 17909 0 0 0 34031 184 0 0 25 0 1 0 7780082 69976064 16192 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 17084 16192 379 719 0 16363 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 68336 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9641 /proc/meminfo: memFree=1445292/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=73392 CPUtime=402.12 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 19246 0 0 0 39998 214 0 0 25 0 1 0 7780082 75153408 17529 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 18348 17529 379 719 0 17627 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 73392 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9643 /proc/meminfo: memFree=1438596/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=79996 CPUtime=462.1 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 20927 0 0 0 45962 248 0 0 25 0 1 0 7780082 81915904 19210 1992294400 4194304 7136930 140734615375168 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 19999 19210 379 719 0 19278 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 79996 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9645 /proc/meminfo: memFree=1432396/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=85912 CPUtime=522.08 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 22485 0 0 0 51929 279 0 0 25 0 1 0 7780082 87973888 20768 1992294400 4194304 7136930 140734615375168 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 21478 20768 379 719 0 20757 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 85912 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9647 /proc/meminfo: memFree=1425080/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=92908 CPUtime=582.05 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 24285 0 0 0 57899 306 0 0 25 0 1 0 7780082 95137792 22568 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 23227 22568 379 719 0 22506 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 92908 [startup+642.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9649 /proc/meminfo: memFree=1419500/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=102224 CPUtime=642.03 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 25677 0 0 0 63869 334 0 0 25 0 1 0 7780082 104677376 23960 1992294400 4194304 7136930 140734615375168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 25556 23960 379 719 0 24835 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 102224 [startup+702.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9666 /proc/meminfo: memFree=1390112/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=130140 CPUtime=941.9 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 33012 0 0 0 93700 490 0 0 25 0 1 0 7780082 133263360 31295 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 32535 31295 379 719 0 31814 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 130140 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9666 /proc/meminfo: memFree=1383912/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=135600 CPUtime=1001.87 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 34432 0 0 0 99667 520 0 0 25 0 1 0 7780082 138854400 32715 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 33900 32715 379 719 0 33179 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 135600 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9668 /proc/meminfo: memFree=1377464/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=141756 CPUtime=1061.85 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 36042 0 0 0 105630 555 0 0 25 0 1 0 7780082 145158144 34325 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 35439 34325 379 719 0 34718 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 141756 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9670 /proc/meminfo: memFree=1371636/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=147184 CPUtime=1121.82 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 37483 0 0 0 111596 586 0 0 25 0 1 0 7780082 150716416 35766 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 36796 35766 379 719 0 36075 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 147184 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 3/107 9672 /proc/meminfo: memFree=1366304/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=152420 CPUtime=1181.79 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 38856 0 0 0 117562 617 0 0 25 0 1 0 7780082 156078080 37139 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 38105 37139 379 719 0 37384 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 152420 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9674 /proc/meminfo: memFree=1359980/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=158228 CPUtime=1241.77 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 40376 0 0 0 123528 649 0 0 25 0 1 0 7780082 162025472 38659 1992294400 4194304 7136930 140734615375168 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 39557 38659 379 719 0 38836 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 158228 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9674 /proc/meminfo: memFree=1354772/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=163020 CPUtime=1301.75 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 41652 0 0 0 129494 681 0 0 25 0 1 0 7780082 166932480 39935 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 40755 39935 379 719 0 40034 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 163020 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9676 /proc/meminfo: memFree=1348200/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=169348 CPUtime=1361.72 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 43291 0 0 0 135460 712 0 0 25 0 1 0 7780082 173412352 41574 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 42337 41574 379 719 0 41616 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 169348 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9678 /proc/meminfo: memFree=1342248/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=175016 CPUtime=1421.71 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 44790 0 0 0 141429 742 0 0 25 0 1 0 7780082 179216384 43073 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 43754 43073 379 719 0 43033 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 175016 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9683 /proc/meminfo: memFree=1335924/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=188568 CPUtime=1481.67 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 46210 0 0 0 147396 771 0 0 25 0 1 0 7780082 193093632 44493 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 47142 44493 379 719 0 46421 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 188568 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9685 /proc/meminfo: memFree=1330344/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=194108 CPUtime=1541.65 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 47651 0 0 0 153359 806 0 0 25 0 1 0 7780082 198766592 45934 1992294400 4194304 7136930 140734615375168 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 48527 45934 379 719 0 47806 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 194108 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9685 /proc/meminfo: memFree=1324516/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=199868 CPUtime=1601.62 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 49164 0 0 0 159329 833 0 0 25 0 1 0 7780082 204664832 47447 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 49967 47447 379 719 0 49246 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 199868 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9687 /proc/meminfo: memFree=1318316/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=205536 CPUtime=1661.59 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 50663 0 0 0 165293 866 0 0 25 0 1 0 7780082 210468864 48946 1992294400 4194304 7136930 140734615375168 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 51384 48946 379 719 0 50663 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 205536 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9689 /proc/meminfo: memFree=1312488/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=211312 CPUtime=1721.57 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 52200 0 0 0 171260 897 0 0 25 0 1 0 7780082 216383488 50483 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 52828 50483 379 719 0 52107 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 211312 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9691 /proc/meminfo: memFree=1306536/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=216776 CPUtime=1781.55 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 53629 0 0 0 177227 928 0 0 25 0 1 0 7780082 221978624 51912 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 54194 51912 379 719 0 53473 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 216776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9691 /proc/meminfo: memFree=1304800/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=218332 CPUtime=1800.04 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 54056 0 0 0 179067 937 0 0 25 0 1 0 7780082 223571968 52339 1992294400 4194304 7136930 140734615375168 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9630/statm: 54583 52339 379 719 0 53862 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 218332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9691 /proc/meminfo: memFree=1304800/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=218380 CPUtime=1800.23 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 54090 0 0 0 179086 937 0 0 25 0 1 0 7780082 223621120 52373 1992294400 4194304 7136930 140734615375168 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9630/statm: 54595 52373 384 719 0 53874 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 218380 [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9691 /proc/meminfo: memFree=1304800/2059040 swapFree=4192956/4192956 [pid=9630] ppid=9628 vsize=194104 CPUtime=1800.64 /proc/9630/stat : 9630 (pbscip.linux.x8) R 9628 9630 9522 0 -1 4202496 54132 0 0 0 179126 938 0 0 25 0 1 0 7780082 198762496 46304 1992294400 4194304 7136930 140734615375168 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9630/statm: 48526 46304 384 719 0 47805 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 194104 Child status: 0 Real time (s): 1801.48 CPU time (s): 1800.73 CPU user time (s): 1791.32 CPU system time (s): 9.40557 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 218400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.32 system time used= 9.40557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54141 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= 2 involuntary context switches= 24575 runsolver used 3.16652 second user time and 8.32873 second system time The end
Begin job on node010 at 2010-06-12 07:49:45 IDJOB=2664490 IDBENCH=1396 IDSOLVER=1167 FILE ID=node010/2664490-1276321785 PBS_JOBID= 11173161 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.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-2664490-1276321785/watcher-2664490-1276321785 -o /tmp/evaluation-result-2664490-1276321785/solver-2664490-1276321785 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664490-1276321785.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 887c74fdc5099423a97b443d1200370c RANDOM SEED=965948383 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1515268 kB Buffers: 101632 kB Cached: 313348 kB SwapCached: 0 kB Active: 178372 kB Inactive: 295772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1515268 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3616 kB Writeback: 0 kB AnonPages: 59108 kB Mapped: 15332 kB Slab: 47924 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182624 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= 62496 MiB End job on node010 at 2010-06-12 08:19:47