| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.96 | 1801.49 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb |
| MD5SUM | ae752929c20bdaef808bd42af6910473 |
| 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 | 25.7751 |
| 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 | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-2664377-1276279792.opb>
0.02/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.02/0.06 c problem read
0.02/0.06 c No objective function, only one solution is needed.
0.02/0.06 c presolving settings loaded
0.02/0.06 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.02/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 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.07
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.95
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.15 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.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.19/4.26 c 4.0s| 10000 | 7877 | 0 | 0.0 |7437k| 100 | - | 231 |4480 | 0 | 0 | 0 |2952 | 0 | 0.000000e+00 | -- | Inf
9.69/9.75 c 9.2s| 20000 | 14664 | 0 | 0.0 | 12M| 100 | - | 231 |5399 | 0 | 0 | 0 |6806 | 0 | 0.000000e+00 | -- | Inf
15.18/15.22 c 14.4s| 30000 | 22203 | 0 | 0.0 | 16M| 100 | - | 231 |6520 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
21.79/21.88 c 20.9s| 40000 | 29168 | 0 | 0.0 | 21M| 100 | - | 231 |7479 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
30.08/30.15 c 28.9s| 50000 | 35416 | 0 | 0.0 | 26M| 100 | - | 231 |8909 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
40.58/40.63 c 39.0s| 60000 | 41000 | 0 | 0.0 | 31M| 100 | - | 231 | 10k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
54.17/54.27 c 52.4s| 70000 | 45550 | 0 | 0.0 | 37M| 100 | - | 231 | 11k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
70.78/70.83 c 68.7s| 80000 | 49347 | 0 | 0.0 | 42M| 100 | - | 231 | 12k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
87.67/87.77 c 85.3s| 90000 | 53453 | 0 | 0.0 | 46M| 100 | - | 231 | 11k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
99.26/99.33 c 96.6s|100000 | 59899 | 0 | 0.0 | 51M| 100 | - | 231 | 10k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
111.26/111.38 c 108s|110000 | 65991 | 0 | 0.0 | 55M| 100 | - | 231 | 11k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
123.76/123.80 c 121s|120000 | 71969 | 0 | 0.0 | 60M| 100 | - | 231 | 11k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
137.26/137.33 c 134s|130000 | 77631 | 0 | 0.0 | 65M| 100 | - | 231 | 12k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
151.15/151.27 c 147s|140000 | 83235 | 0 | 0.0 | 70M| 100 | - | 231 | 12k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
166.15/166.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.15/166.24 c 162s|150000 | 88522 | 0 | 0.0 | 74M| 100 | - | 231 | 13k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
185.43/185.50 c 181s|160000 | 92331 | 0 | 0.0 | 79M| 100 | - | 231 | 14k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
204.92/205.08 c 200s|170000 | 96292 | 0 | 0.0 | 84M| 100 | - | 231 | 14k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
228.02/228.17 c 223s|180000 | 99369 | 0 | 0.0 | 89M| 100 | - | 231 | 15k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
252.62/252.71 c 247s|190000 |102373 | 0 | 0.0 | 94M| 100 | - | 231 | 16k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
275.50/275.69 c 270s|200000 |105955 | 0 | 0.0 | 99M| 100 | - | 231 | 17k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
300.11/300.23 c 294s|210000 |109118 | 0 | 0.0 | 103M| 100 | - | 231 | 17k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
327.70/327.81 c 321s|220000 |111561 | 0 | 0.0 | 108M| 100 | - | 231 | 18k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
357.58/357.72 c 351s|230000 |113629 | 0 | 0.0 | 112M| 100 | - | 231 | 19k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
389.67/389.87 c 383s|240000 |115569 | 0 | 0.0 | 117M| 100 | - | 231 | 20k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
423.97/424.14 c 416s|250000 |117049 | 0 | 0.0 | 121M| 100 | - | 231 | 21k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
463.25/463.49 c 455s|260000 |117670 | 0 | 0.0 | 125M| 100 | - | 231 | 23k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
501.24/501.46 c 493s|270000 |118984 | 0 | 0.0 | 128M| 100 | - | 231 | 24k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
543.93/544.17 c 535s|280000 |119685 | 0 | 0.0 | 131M| 100 | - | 231 | 24k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
590.72/590.98 c 582s|290000 |119469 | 0 | 0.0 | 131M| 100 | - | 231 | 22k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
619.21/619.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.21/619.48 c 610s|300000 |123790 | 0 | 0.0 | 135M| 100 | - | 231 | 19k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
648.00/648.28 c 638s|310000 |127695 | 0 | 0.0 | 140M| 100 | - | 231 | 18k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
676.20/676.49 c 666s|320000 |131541 | 0 | 0.0 | 144M| 100 | - | 231 | 18k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
704.18/704.49 c 694s|330000 |135337 | 0 | 0.0 | 149M| 100 | - | 231 | 19k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
733.18/733.42 c 723s|340000 |138934 | 0 | 0.0 | 154M| 100 | - | 231 | 19k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
764.47/764.78 c 754s|350000 |141881 | 0 | 0.0 | 159M| 100 | - | 231 | 20k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
793.67/793.94 c 782s|360000 |145278 | 0 | 0.0 | 164M| 100 | - | 231 | 20k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
826.36/826.63 c 815s|370000 |148145 | 0 | 0.0 | 168M| 100 | - | 231 | 21k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
861.85/862.12 c 850s|380000 |150426 | 0 | 0.0 | 173M| 100 | - | 231 | 21k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
892.43/892.76 c 880s|390000 |153808 | 0 | 0.0 | 178M| 100 | - | 231 | 22k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
934.63/934.92 c 922s|400000 |155032 | 0 | 0.0 | 182M| 100 | - | 231 | 23k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
968.01/968.38 c 955s|410000 |158007 | 0 | 0.0 | 187M| 100 | - | 231 | 23k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1010.40/1010.72 c 997s|420000 |159427 | 0 | 0.0 | 190M| 100 | - | 231 | 23k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1048.59/1048.99 c 1035s|430000 |161455 | 0 | 0.0 | 195M| 100 | - | 231 | 23k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1092.68/1093.04 c 1079s|440000 |162631 | 0 | 0.0 | 198M| 100 | - | 231 | 25k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1140.45/1140.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.45/1140.89 c 1126s|450000 |163104 | 0 | 0.0 | 202M| 100 | - | 231 | 25k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1189.44/1189.81 c 1175s|460000 |163836 | 0 | 0.0 | 206M| 100 | - | 231 | 26k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1245.53/1245.94 c 1230s|470000 |163479 | 0 | 0.0 | 209M| 100 | - | 231 | 27k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1304.79/1305.29 c 1289s|480000 |162656 | 0 | 0.0 | 211M| 100 | - | 231 | 28k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1366.38/1366.87 c 1350s|490000 |161441 | 0 | 0.0 | 214M| 100 | - | 231 | 29k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1430.36/1430.83 c 1414s|500000 |160091 | 0 | 0.0 | 216M| 100 | - | 231 | 30k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
1497.04/1497.50 c 1480s|510000 |158315 | 0 | 0.0 | 218M| 100 | - | 231 | 31k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1563.82/1564.39 c 1547s|520000 |156454 | 0 | 0.0 | 219M| 100 | - | 231 | 32k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1633.60/1634.12 c 1616s|530000 |154220 | 0 | 0.0 | 219M| 100 | - | 231 | 33k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1707.18/1707.72 c 1689s|540000 |151473 | 0 | 0.0 | 218M| 100 | - | 231 | 33k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1782.36/1783.00 c 1764s|550000 |148625 | 0 | 0.0 | 217M| 100 | - | 231 | 35k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.62 c
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time (sec) : 1781.24
1800.07/1800.62 c Solving Nodes : 552488
1800.07/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 s UNKNOWN
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1781.24
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2664377-1276279792.opb
1800.07/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2664377-1276279792.opb
1800.07/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 2564 initial, 35975 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 0.02 0 0 0 0 0 143 0 0
1800.07/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 1 0 2013535 0 403053 71690 6862000 0 0 0
1800.07/1800.62 c setppc : 22 0 1954022 0 403053 94621 2420775 0 0 0
1800.07/1800.62 c logicor : 2541+ 0 1518212 0 403049 69011 6496085 0 0 0
1800.07/1800.62 c countsols : 0 0 0 0 403024 0 0 0 0 0
1800.07/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c knapsack : 49.55 0.00 47.17 0.00 2.38
1800.07/1800.62 c setppc : 32.57 0.00 27.18 0.00 5.39
1800.07/1800.62 c logicor : 931.33 0.00 883.30 0.00 48.03
1800.07/1800.62 c countsols : 0.16 0.00 0.00 0.00 0.16
1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.62 c vbounds : 1.16 1 0 0
1800.07/1800.62 c rootredcost : 1.24 0 0 0
1800.07/1800.62 c pseudoobj : 0.98 0 0 0
1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.62 c propagation : 14.48 235322 235270 1071284 16.6 6318 19.0 -
1800.07/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.62 c applied globally : - - - 509234 13.7 - - -
1800.07/1800.62 c applied locally : - - - 1712 35.9 - - -
1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.62 c redcost : 0.00 0 0 0 0 0
1800.07/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.62 c intobj : 0.00 0 0 0 0 0
1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.62 c gomory : 0.00 0 0 0 0 0
1800.07/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.62 c cmir : 0.00 0 0 0 0 0
1800.07/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.62 c clique : 0.00 0 0 0 0 0
1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.62 c mcf : 0.00 0 0 0 0 0
1800.07/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.62 c Pricers : Time Calls Vars
1800.07/1800.62 c problem variables: 0.00 0 0
1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c inference : 10.72 403024 0 0 0 0 806048
1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c random : 0.00 0 0 0 0 0 0
1800.07/1800.62 c Primal Heuristics : Time Calls Found
1800.07/1800.62 c LP solutions : 0.00 - 0
1800.07/1800.62 c pseudo solutions : 0.00 - 0
1800.07/1800.62 c trivial : 0.01 1 0
1800.07/1800.62 c simplerounding : 0.00 0 0
1800.07/1800.62 c zirounding : 0.00 0 0
1800.07/1800.62 c rounding : 0.00 0 0
1800.07/1800.62 c shifting : 0.00 0 0
1800.07/1800.62 c intshifting : 0.00 0 0
1800.07/1800.62 c oneopt : 0.00 0 0
1800.07/1800.62 c twoopt : 0.00 0 0
1800.07/1800.62 c fixandinfer : 0.00 0 0
1800.07/1800.62 c feaspump : 0.00 0 0
1800.07/1800.62 c coefdiving : 0.00 0 0
1800.07/1800.62 c pscostdiving : 0.00 0 0
1800.07/1800.62 c fracdiving : 0.00 0 0
1800.07/1800.62 c veclendiving : 0.00 0 0
1800.07/1800.62 c intdiving : 0.00 0 0
1800.07/1800.62 c actconsdiving : 0.00 0 0
1800.07/1800.62 c objpscostdiving : 0.00 0 0
1800.07/1800.62 c rootsoldiving : 0.00 0 0
1800.07/1800.62 c linesearchdiving : 0.00 0 0
1800.07/1800.62 c guideddiving : 0.00 0 0
1800.07/1800.62 c octane : 0.00 0 0
1800.07/1800.62 c rens : 0.00 0 0
1800.07/1800.62 c rins : 0.00 0 0
1800.07/1800.62 c localbranching : 0.00 0 0
1800.07/1800.62 c mutation : 0.00 0 0
1800.07/1800.62 c crossover : 0.00 0 0
1800.07/1800.62 c dins : 0.00 0 0
1800.07/1800.62 c undercover : 0.00 0 0
1800.07/1800.62 c nlp : 0.00 0 0
1800.07/1800.62 c trysol : 0.00 0 0
1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.62 c (at root node) : - 0 0 0.00 -
1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.62 c B&B Tree :
1800.07/1800.62 c number of runs : 1
1800.07/1800.62 c nodes : 552488
1800.07/1800.62 c nodes (total) : 552488
1800.07/1800.62 c nodes left : 148154
1800.07/1800.62 c max depth : 100
1800.07/1800.62 c max depth (total): 100
1800.07/1800.62 c backtracks : 158404 (28.7%)
1800.07/1800.62 c delayed cutoffs : 105407
1800.07/1800.62 c repropagations : 531962 (4818023 domain reductions, 85858 cutoffs)
1800.07/1800.62 c avg switch length: 16.27
1800.07/1800.62 c switching time : 494.97
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 0 (0 improvements)
1800.07/1800.62 c Primal Bound : -
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Root Iterations : 0
1800.85/1801.49 c Time complete: 1800.94.
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-2664377-1276279792/watcher-2664377-1276279792 -o /tmp/evaluation-result-2664377-1276279792/solver-2664377-1276279792 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664377-1276279792.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 1.01 0.99 3/106 6988 /proc/meminfo: memFree=1466032/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=6584 CPUtime=0 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 1635528 6742016 918 1992294400 4194304 7136930 140734650463280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6988/statm: 1646 928 254 719 0 925 0 [startup+0.0343229 s] /proc/loadavg: 0.92 1.01 0.99 3/106 6988 /proc/meminfo: memFree=1466032/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=8928 CPUtime=0.02 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 1704 0 0 0 2 0 0 0 20 0 1 0 1635528 9142272 1626 1992294400 4194304 7136930 140734650463280 18446744073709551615 6167166 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6988/statm: 2232 1626 268 719 0 1511 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8928 [startup+0.101301 s] /proc/loadavg: 0.92 1.01 0.99 3/106 6988 /proc/meminfo: memFree=1466032/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=14764 CPUtime=0.09 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 3600 0 0 0 8 1 0 0 20 0 1 0 1635528 15118336 2911 1992294400 4194304 7136930 140734650463280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 3691 2911 345 719 0 2970 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14764 [startup+0.30132 s] /proc/loadavg: 0.92 1.01 0.99 3/106 6988 /proc/meminfo: memFree=1466032/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=17080 CPUtime=0.29 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 6816 0 0 0 26 3 0 0 20 0 1 0 1635528 17489920 3557 1992294400 4194304 7136930 140734650463280 18446744073709551615 4696944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 4270 3557 391 719 0 3549 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17080 [startup+0.701357 s] /proc/loadavg: 0.92 1.01 0.99 3/106 6988 /proc/meminfo: memFree=1466032/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=17608 CPUtime=0.69 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 6952 0 0 0 63 6 0 0 21 0 1 0 1635528 18030592 3693 1992294400 4194304 7136930 140734650463280 18446744073709551615 5005201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 4402 3693 391 719 0 3681 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17608 [startup+1.50143 s] /proc/loadavg: 0.92 1.01 0.99 2/107 6989 /proc/meminfo: memFree=1451640/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=19256 CPUtime=1.49 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 7356 0 0 0 140 9 0 0 23 0 1 0 1635528 19718144 4097 1992294400 4194304 7136930 140734650463280 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 4814 4097 391 719 0 4093 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19256 [startup+3.10159 s] /proc/loadavg: 0.92 1.01 0.99 2/107 6989 /proc/meminfo: memFree=1449284/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=21632 CPUtime=3.09 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 7976 0 0 0 293 16 0 0 25 0 1 0 1635528 22151168 4717 1992294400 4194304 7136930 140734650463280 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 5408 4717 391 719 0 4687 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21632 [startup+6.30089 s] /proc/loadavg: 0.93 1.01 0.99 2/107 6989 /proc/meminfo: memFree=1444696/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=25924 CPUtime=6.29 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 9041 0 0 0 598 31 0 0 25 0 1 0 1635528 26546176 5782 1992294400 4194304 7136930 140734650463280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 6481 5782 391 719 0 5760 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25924 [startup+12.7005 s] /proc/loadavg: 0.93 1.01 0.99 2/107 6991 /proc/meminfo: memFree=1438248/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=32632 CPUtime=12.69 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 10730 0 0 0 1209 60 0 0 25 0 1 0 1635528 33415168 7471 1992294400 4194304 7136930 140734650463280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 8158 7471 391 719 0 7437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32632 [startup+25.5007 s] /proc/loadavg: 0.95 1.01 0.99 2/107 6991 /proc/meminfo: memFree=1426220/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=43540 CPUtime=25.48 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 13514 0 0 0 2441 107 0 0 25 0 1 0 1635528 44584960 10255 1992294400 4194304 7136930 140734650463280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 10885 10255 391 719 0 10164 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43540 [startup+51.1011 s] /proc/loadavg: 0.96 1.00 0.99 2/107 6991 /proc/meminfo: memFree=1409604/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=59896 CPUtime=51.07 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 17604 0 0 0 4934 173 0 0 25 0 1 0 1635528 61333504 14345 1992294400 4194304 7136930 140734650463280 18446744073709551615 4221012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 14974 14345 391 719 0 14253 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59896 [startup+102.309 s] /proc/loadavg: 0.98 1.00 0.99 2/107 6993 /proc/meminfo: memFree=1389640/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=79484 CPUtime=102.27 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 22522 0 0 0 9954 273 0 0 25 0 1 0 1635528 81391616 19263 1992294400 4194304 7136930 140734650463280 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 19871 19263 391 719 0 19150 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 79484 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 6995 /proc/meminfo: memFree=1362484/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=109016 CPUtime=162.25 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 29452 0 0 0 15829 396 0 0 25 0 1 0 1635528 111632384 26193 1992294400 4194304 7136930 140734650463280 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 27254 26193 391 719 0 26533 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 109016 [startup+222.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 6995 /proc/meminfo: memFree=1344876/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=125800 CPUtime=222.23 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 33641 0 0 0 21731 492 0 0 25 0 1 0 1635528 128819200 30382 1992294400 4194304 7136930 140734650463280 18446744073709551615 4210331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 31450 30382 391 719 0 30729 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 125800 [startup+282.301 s] /proc/loadavg: 1.12 1.04 1.01 2/107 6997 /proc/meminfo: memFree=1330244/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=140452 CPUtime=282.2 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 37296 0 0 0 27641 579 0 0 25 0 1 0 1635528 143822848 34037 1992294400 4194304 7136930 140734650463280 18446744073709551615 5000339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 35113 34037 391 719 0 34392 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 140452 [startup+342.301 s] /proc/loadavg: 1.12 1.04 1.00 2/107 6999 /proc/meminfo: memFree=1316976/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=153748 CPUtime=342.18 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 40604 0 0 0 33556 662 0 0 25 0 1 0 1635528 157437952 37345 1992294400 4194304 7136930 140734650463280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 38437 37345 391 719 0 37716 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 153748 [startup+402.301 s] /proc/loadavg: 1.11 1.05 1.00 2/107 7001 /proc/meminfo: memFree=1307428/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=163320 CPUtime=402.17 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 42973 0 0 0 39491 726 0 0 25 0 1 0 1635528 167239680 39714 1992294400 4194304 7136930 140734650463280 18446744073709551615 5004473 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 40830 39714 391 719 0 40109 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 163320 [startup+462.302 s] /proc/loadavg: 1.16 1.07 1.01 2/107 7003 /proc/meminfo: memFree=1300112/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=170892 CPUtime=462.15 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 44794 0 0 0 45428 787 0 0 25 0 1 0 1635528 174993408 41535 1992294400 4194304 7136930 140734650463280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 42723 41535 391 719 0 42002 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 170892 [startup+522.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 7003 /proc/meminfo: memFree=1296144/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=174916 CPUtime=522.14 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 45760 0 0 0 51368 846 0 0 25 0 1 0 1635528 179113984 42501 1992294400 4194304 7136930 140734650463280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 43729 42501 391 719 0 43008 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 174916 [startup+582.302 s] /proc/loadavg: 1.02 1.04 1.00 2/107 7005 /proc/meminfo: memFree=1292548/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=178672 CPUtime=582.12 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 46650 0 0 0 57314 898 0 0 25 0 1 0 1635528 182960128 43391 1992294400 4194304 7136930 140734650463280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 44668 43391 391 719 0 43947 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 178672 [startup+642.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7007 /proc/meminfo: memFree=1282380/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=188504 CPUtime=642.11 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 49163 0 0 0 63251 960 0 0 25 0 1 0 1635528 193028096 45904 1992294400 4194304 7136930 140734650463280 18446744073709551615 4431728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 47126 45904 391 719 0 46405 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 188504 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7015 /proc/meminfo: memFree=1226828/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=243900 CPUtime=942.02 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 62950 0 0 0 92925 1277 0 0 25 0 1 0 1635528 249753600 59691 1992294400 4194304 7136930 140734650463280 18446744073709551615 4999910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 60975 59691 391 719 0 60254 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 243900 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7017 /proc/meminfo: memFree=1219884/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=250732 CPUtime=1002 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 64688 0 0 0 98870 1330 0 0 25 0 1 0 1635528 256749568 61429 1992294400 4194304 7136930 140734650463280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 62683 61429 391 719 0 61962 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 250732 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7019 /proc/meminfo: memFree=1209096/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=261480 CPUtime=1061.98 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 67369 0 0 0 104816 1382 0 0 25 0 1 0 1635528 267755520 64110 1992294400 4194304 7136930 140734650463280 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 65370 64110 391 719 0 64649 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 261480 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7019 /proc/meminfo: memFree=1206244/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=264268 CPUtime=1121.96 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 68072 0 0 0 110763 1433 0 0 25 0 1 0 1635528 270610432 64813 1992294400 4194304 7136930 140734650463280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 66067 64813 391 719 0 65346 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 264268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7021 /proc/meminfo: memFree=1200664/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=270152 CPUtime=1181.94 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 69454 0 0 0 116713 1481 0 0 25 0 1 0 1635528 276635648 66195 1992294400 4194304 7136930 140734650463280 18446744073709551615 5001177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 67538 66195 391 719 0 66817 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 270152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7023 /proc/meminfo: memFree=1192728/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=277808 CPUtime=1241.93 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 71405 0 0 0 122668 1525 0 0 25 0 1 0 1635528 284475392 68146 1992294400 4194304 7136930 140734650463280 18446744073709551615 4998463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 69452 68146 391 719 0 68731 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 277808 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7025 /proc/meminfo: memFree=1189008/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=281240 CPUtime=1301.9 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 72272 0 0 0 128623 1567 0 0 25 0 1 0 1635528 287989760 69013 1992294400 4194304 7136930 140734650463280 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 70310 69013 391 719 0 69589 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 281240 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7027 /proc/meminfo: memFree=1183304/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=287360 CPUtime=1361.89 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 73744 0 0 0 134580 1609 0 0 25 0 1 0 1635528 294256640 70485 1992294400 4194304 7136930 140734650463280 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 71840 70485 391 719 0 71119 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 287360 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7027 /proc/meminfo: memFree=1181940/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=288452 CPUtime=1421.88 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 74036 0 0 0 140543 1645 0 0 25 0 1 0 1635528 295374848 70777 1992294400 4194304 7136930 140734650463280 18446744073709551615 5000696 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 72113 70777 391 719 0 71392 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 288452 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7029 /proc/meminfo: memFree=1181692/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=288584 CPUtime=1481.85 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 74086 0 0 0 146502 1683 0 0 25 0 1 0 1635528 295510016 70827 1992294400 4194304 7136930 140734650463280 18446744073709551615 4999910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 72146 70827 391 719 0 71425 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 288584 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7031 /proc/meminfo: memFree=1180824/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=289640 CPUtime=1541.83 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 74289 0 0 0 152463 1720 0 0 25 0 1 0 1635528 296591360 71030 1992294400 4194304 7136930 140734650463280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 72410 71030 391 719 0 71689 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 289640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7033 /proc/meminfo: memFree=1179832/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=290476 CPUtime=1601.81 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 74537 0 0 0 158424 1757 0 0 25 0 1 0 1635528 297447424 71278 1992294400 4194304 7136930 140734650463280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 72619 71278 391 719 0 71898 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 290476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7035 /proc/meminfo: memFree=1179336/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=290960 CPUtime=1661.79 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 74668 0 0 0 164383 1796 0 0 25 0 1 0 1635528 297943040 71409 1992294400 4194304 7136930 140734650463280 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 72740 71409 391 719 0 72019 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 290960 [startup+1722.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 7038 /proc/meminfo: memFree=1177228/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=292540 CPUtime=1721.78 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 75053 0 0 0 170347 1831 0 0 25 0 1 0 1635528 299560960 71794 1992294400 4194304 7136930 140734650463280 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 73135 71794 391 719 0 72414 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 292540 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 7040 /proc/meminfo: memFree=1175988/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=293740 CPUtime=1781.76 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 75359 0 0 0 176309 1867 0 0 25 0 1 0 1635528 300789760 72100 1992294400 4194304 7136930 140734650463280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 73435 72100 391 719 0 72714 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 293740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7040 /proc/meminfo: memFree=1175740/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=294376 CPUtime=1800.07 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 75432 0 0 0 178128 1879 0 0 25 0 1 0 1635528 301441024 72173 1992294400 4194304 7136930 140734650463280 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6988/statm: 73594 72173 391 719 0 72873 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 294376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7040 /proc/meminfo: memFree=1175740/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=294552 CPUtime=1800.45 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 75484 0 0 0 178166 1879 0 0 25 0 1 0 1635528 301621248 72225 1992294400 4194304 7136930 140734650463280 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6988/statm: 73638 72225 396 719 0 72917 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 294552 [startup+1801.4 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7040 /proc/meminfo: memFree=1175740/2059040 swapFree=4192956/4192956 [pid=6988] ppid=6986 vsize=293264 CPUtime=1800.85 /proc/6988/stat : 6988 (pbscip.linux.x8) R 6986 6988 6570 0 -1 4202496 75484 0 0 0 178206 1879 0 0 25 0 1 0 1635528 300302336 71903 1992294400 4194304 7136930 140734650463280 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6988/statm: 73316 71903 396 719 0 72595 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 293264 Child status: 0 Real time (s): 1801.49 CPU time (s): 1800.96 CPU user time (s): 1782.13 CPU system time (s): 18.8281 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 294552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.13 system time used= 18.8281 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75491 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= 4504 runsolver used 3.17252 second user time and 8.31374 second system time The end
Begin job on node018 at 2010-06-11 20:09:52 IDJOB=2664377 IDBENCH=1269 IDSOLVER=1167 FILE ID=node018/2664377-1276279792 PBS_JOBID= 11173106 Free space on /tmp= 62292 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135.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-2664377-1276279792/watcher-2664377-1276279792 -o /tmp/evaluation-result-2664377-1276279792/solver-2664377-1276279792 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664377-1276279792.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ae752929c20bdaef808bd42af6910473 RANDOM SEED=1361210631 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1466560 kB Buffers: 51440 kB Cached: 400692 kB SwapCached: 0 kB Active: 193204 kB Inactive: 318072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1466560 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 59228 kB Mapped: 15408 kB Slab: 59416 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179564 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= 62292 MiB End job on node018 at 2010-06-11 20:39:55