| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.14 | 1801.68 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb |
| MD5SUM | 0fea7c185f4d6e2091fba763db8ccbcc |
| 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 | 52.791 |
| 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 | 685 |
| 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-2664391-1276288168.opb>
0.04/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.04/0.05 c problem read
0.04/0.05 c No objective function, only one solution is needed.
0.04/0.05 c presolving settings loaded
0.04/0.05 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.04/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.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.95
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c limits/solutions = 1
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.14 c separating/maxrounds = 1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/maxroundsroot = 5
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.14 c constraints/knapsack/disaggregation = FALSE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c presolving/probing/maxrounds = 0
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/coefdiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.14 c heuristics/crossover/freq = -1
0.09/0.14 c
0.09/0.14 c # number of nodes added to the contingent of the total nodes
0.09/0.14 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
3.89/3.95 c 3.7s| 10000 | 8315 | 0 | 0.0 |7064k| 84 | - | 231 |4389 | 0 | 0 | 0 |2545 | 0 | 0.000000e+00 | -- | Inf
9.49/9.52 c 9.0s| 20000 | 15036 | 0 | 0.0 | 11M| 85 | - | 231 |5476 | 0 | 0 | 0 |7312 | 0 | 0.000000e+00 | -- | Inf
14.99/15.03 c 14.2s| 30000 | 22456 | 0 | 0.0 | 16M| 85 | - | 231 |6116 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
21.18/21.29 c 20.3s| 40000 | 29585 | 0 | 0.0 | 21M| 85 | - | 231 |7231 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
28.68/28.78 c 27.5s| 50000 | 36187 | 0 | 0.0 | 26M| 85 | - | 231 |8265 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
37.87/37.90 c 36.4s| 60000 | 42123 | 0 | 0.0 | 31M| 85 | - | 231 |9592 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
48.28/48.34 c 46.5s| 70000 | 47805 | 0 | 0.0 | 36M| 85 | - | 231 | 10k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
60.48/60.58 c 58.5s| 80000 | 52948 | 0 | 0.0 | 41M| 85 | - | 231 | 11k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
74.67/74.72 c 72.3s| 90000 | 57506 | 0 | 0.0 | 46M| 85 | - | 231 | 12k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
91.66/91.77 c 89.0s|100000 | 61171 | 0 | 0.0 | 52M| 85 | - | 231 | 13k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
112.16/112.21 c 109s|110000 | 63819 | 0 | 0.0 | 56M| 85 | - | 231 | 12k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
125.45/125.51 c 122s|120000 | 69631 | 0 | 0.0 | 60M| 85 | - | 231 | 11k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
136.74/136.81 c 133s|130000 | 76335 | 0 | 0.0 | 65M| 85 | - | 231 | 11k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
148.84/148.97 c 145s|140000 | 82701 | 0 | 0.0 | 70M| 85 | - | 231 | 12k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
161.35/161.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.35/161.42 c 157s|150000 | 89001 | 0 | 0.0 | 74M| 85 | - | 231 | 13k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
174.85/174.91 c 171s|160000 | 95065 | 0 | 0.0 | 79M| 85 | - | 231 | 13k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
189.34/189.43 c 185s|170000 |100955 | 0 | 0.0 | 84M| 85 | - | 231 | 14k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
203.93/204.03 c 199s|180000 |106812 | 0 | 0.0 | 89M| 85 | - | 231 | 15k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
219.13/219.25 c 214s|190000 |112667 | 0 | 0.0 | 94M| 85 | - | 231 | 15k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
235.52/235.62 c 230s|200000 |118286 | 0 | 0.0 | 98M| 85 | - | 231 | 16k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
252.12/252.27 c 247s|210000 |123873 | 0 | 0.0 | 103M| 85 | - | 231 | 16k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
269.11/269.21 c 263s|220000 |129405 | 0 | 0.0 | 108M| 85 | - | 231 | 17k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
291.70/291.85 c 286s|230000 |133400 | 0 | 0.0 | 113M| 85 | - | 231 | 18k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
316.20/316.39 c 310s|240000 |137055 | 0 | 0.0 | 118M| 85 | - | 231 | 19k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
342.00/342.12 c 335s|250000 |140593 | 0 | 0.0 | 124M| 85 | - | 231 | 20k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
368.79/368.99 c 362s|260000 |144064 | 0 | 0.0 | 128M| 85 | - | 231 | 21k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
397.58/397.78 c 390s|270000 |147279 | 0 | 0.0 | 133M| 85 | - | 231 | 22k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
426.68/426.82 c 419s|280000 |150426 | 0 | 0.0 | 138M| 85 | - | 231 | 22k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
457.37/457.58 c 449s|290000 |153242 | 0 | 0.0 | 143M| 85 | - | 231 | 23k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
489.05/489.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.05/489.27 c 481s|300000 |156006 | 0 | 0.0 | 147M| 85 | - | 231 | 23k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
520.35/520.56 c 512s|310000 |158864 | 0 | 0.0 | 152M| 85 | - | 231 | 24k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
554.33/554.55 c 545s|320000 |161233 | 0 | 0.0 | 156M| 85 | - | 231 | 24k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
589.72/589.96 c 580s|330000 |163409 | 0 | 0.0 | 160M| 85 | - | 231 | 23k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
627.41/627.67 c 618s|340000 |165005 | 0 | 0.0 | 164M| 85 | - | 231 | 24k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
666.80/667.06 c 657s|350000 |166275 | 0 | 0.0 | 168M| 85 | - | 231 | 23k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
708.28/708.59 c 698s|360000 |167019 | 0 | 0.0 | 171M| 85 | - | 231 | 23k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
751.97/752.28 c 741s|370000 |167476 | 0 | 0.0 | 174M| 85 | - | 231 | 24k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
801.26/801.56 c 790s|380000 |166888 | 0 | 0.0 | 176M| 85 | - | 231 | 24k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
854.14/854.47 c 842s|390000 |165568 | 0 | 0.0 | 178M| 85 | - | 231 | 24k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
885.92/886.28 c 874s|400000 |169863 | 0 | 0.0 | 181M| 86 | - | 231 | 23k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
913.92/914.28 c 901s|410000 |174822 | 0 | 0.0 | 186M| 86 | - | 231 | 22k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
944.52/944.86 c 932s|420000 |179164 | 0 | 0.0 | 191M| 86 | - | 231 | 23k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
978.09/978.44 c 965s|430000 |182978 | 0 | 0.0 | 196M| 86 | - | 231 | 24k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1014.19/1014.53 c 1001s|440000 |186580 | 0 | 0.0 | 202M| 86 | - | 231 | 26k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1054.97/1055.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.97/1055.32 c 1041s|450000 |189568 | 0 | 0.0 | 207M| 86 | - | 231 | 27k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1098.46/1098.80 c 1084s|460000 |192340 | 0 | 0.0 | 212M| 86 | - | 231 | 29k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1147.25/1147.60 c 1133s|470000 |194494 | 0 | 0.0 | 217M| 86 | - | 231 | 29k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1193.43/1193.84 c 1179s|480000 |197092 | 0 | 0.0 | 223M| 86 | - | 231 | 30k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1244.51/1244.98 c 1229s|490000 |199008 | 0 | 0.0 | 227M| 86 | - | 231 | 31k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1295.50/1295.96 c 1280s|500000 |200968 | 0 | 0.0 | 233M| 86 | - | 231 | 32k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1351.08/1351.55 c 1335s|510000 |202633 | 0 | 0.0 | 237M| 86 | - | 231 | 32k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1409.27/1409.74 c 1393s|520000 |203727 | 0 | 0.0 | 242M| 86 | - | 231 | 33k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1464.84/1465.32 c 1448s|530000 |205575 | 0 | 0.0 | 247M| 86 | - | 231 | 34k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1526.23/1526.79 c 1509s|540000 |206373 | 0 | 0.0 | 251M| 86 | - | 231 | 35k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1586.91/1587.41 c 1569s|550000 |207707 | 0 | 0.0 | 255M| 86 | - | 231 | 36k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1647.69/1648.22 c 1630s|560000 |208738 | 0 | 0.0 | 260M| 86 | - | 231 | 36k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1716.18/1716.78 c 1698s|570000 |209113 | 0 | 0.0 | 264M| 86 | - | 231 | 37k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1777.46/1778.06 c 1759s|580000 |210204 | 0 | 0.0 | 268M| 86 | - | 231 | 37k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1781.23
1800.07/1800.61 c Solving Nodes : 583695
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s UNKNOWN
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1781.23
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664391-1276288168.opb
1800.07/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 2707 initial, 2707 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664391-1276288168.opb
1800.07/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 2564 initial, 38640 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.02 0 0 0 0 0 143 0 0
1800.07/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 1 0 1964354 0 448095 65832 5887789 0 0 0
1800.07/1800.61 c setppc : 22 0 1909765 0 448095 76591 2535135 0 0 0
1800.07/1800.61 c logicor : 2541+ 0 1507292 0 448095 82372 6428351 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 448095 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c knapsack : 48.10 0.00 45.36 0.00 2.74
1800.07/1800.61 c setppc : 35.20 0.00 28.57 0.00 6.63
1800.07/1800.61 c logicor : 944.30 0.00 888.01 0.00 56.29
1800.07/1800.61 c countsols : 0.20 0.00 0.00 0.00 0.20
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 0.98 1 0 0
1800.07/1800.61 c rootredcost : 1.13 0 0 0
1800.07/1800.61 c pseudoobj : 0.88 0 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 13.79 224795 224741 1069291 18.2 5215 19.1 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 504212 14.6 - - -
1800.07/1800.61 c applied locally : - - - 3186 34.9 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 12.41 448095 0 0 0 0 896190
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c trivial : 0.01 1 0
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c oneopt : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 0.00 0 0
1800.07/1800.61 c trysol : 0.00 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 583695
1800.07/1800.61 c nodes (total) : 583695
1800.07/1800.61 c nodes left : 210622
1800.07/1800.61 c max depth : 86
1800.07/1800.61 c max depth (total): 86
1800.07/1800.61 c backtracks : 138285 (23.7%)
1800.07/1800.61 c delayed cutoffs : 101874
1800.07/1800.61 c repropagations : 437572 (4844496 domain reductions, 89195 cutoffs)
1800.07/1800.61 c avg switch length: 13.60
1800.07/1800.61 c switching time : 477.96
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 0
1801.05/1801.68 c Time complete: 1801.14.
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-2664391-1276288168/watcher-2664391-1276288168 -o /tmp/evaluation-result-2664391-1276288168/solver-2664391-1276288168 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664391-1276288168.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.93 0.98 0.99 3/107 5089 /proc/meminfo: memFree=1527180/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=6584 CPUtime=0 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 991 0 0 0 0 0 0 0 17 0 1 0 2472491 6742016 914 1992294400 4194304 7136930 140733898055792 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5089/statm: 1646 922 254 719 0 925 0 [startup+0.050493 s] /proc/loadavg: 0.93 0.98 0.99 3/107 5089 /proc/meminfo: memFree=1527180/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=9160 CPUtime=0.04 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 1790 0 0 0 4 0 0 0 17 0 1 0 2472491 9379840 1713 1992294400 4194304 7136930 140733898055792 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5089/statm: 2290 1713 268 719 0 1569 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9160 [startup+0.101498 s] /proc/loadavg: 0.93 0.98 0.99 3/107 5089 /proc/meminfo: memFree=1527180/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=15044 CPUtime=0.09 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 3662 0 0 0 8 1 0 0 17 0 1 0 2472491 15405056 2974 1992294400 4194304 7136930 140733898055792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 3761 2974 345 719 0 3040 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15044 [startup+0.301514 s] /proc/loadavg: 0.93 0.98 0.99 3/107 5089 /proc/meminfo: memFree=1527180/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=17068 CPUtime=0.29 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 6815 0 0 0 25 4 0 0 17 0 1 0 2472491 17477632 3557 1992294400 4194304 7136930 140733898055792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 4267 3557 391 719 0 3546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17068 [startup+0.701549 s] /proc/loadavg: 0.93 0.98 0.99 3/107 5089 /proc/meminfo: memFree=1527180/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=18008 CPUtime=0.69 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 7039 0 0 0 63 6 0 0 17 0 1 0 2472491 18440192 3781 1992294400 4194304 7136930 140733898055792 18446744073709551615 5005150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 4502 3781 391 719 0 3781 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18008 [startup+1.50162 s] /proc/loadavg: 0.93 0.98 0.99 2/108 5090 /proc/meminfo: memFree=1512912/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=19148 CPUtime=1.49 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 7330 0 0 0 139 10 0 0 18 0 1 0 2472491 19607552 4072 1992294400 4194304 7136930 140733898055792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 4787 4072 391 719 0 4066 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19148 [startup+3.10076 s] /proc/loadavg: 0.93 0.98 0.99 2/108 5092 /proc/meminfo: memFree=1510804/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=21480 CPUtime=3.09 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 7942 0 0 0 291 18 0 0 21 0 1 0 2472491 21995520 4684 1992294400 4194304 7136930 140733898055792 18446744073709551615 4632905 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 5370 4684 391 719 0 4649 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21480 [startup+6.30103 s] /proc/loadavg: 0.93 0.98 0.99 2/108 5092 /proc/meminfo: memFree=1506216/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=26064 CPUtime=6.29 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 9081 0 0 0 595 34 0 0 25 0 1 0 2472491 26689536 5823 1992294400 4194304 7136930 140733898055792 18446744073709551615 5005160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 6516 5823 391 719 0 5795 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26064 [startup+12.7006 s] /proc/loadavg: 0.94 0.98 0.99 2/108 5092 /proc/meminfo: memFree=1499396/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=32568 CPUtime=12.69 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 10745 0 0 0 1207 62 0 0 25 0 1 0 2472491 33349632 7487 1992294400 4194304 7136930 140733898055792 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 8142 7487 391 719 0 7421 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32568 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/108 5092 /proc/meminfo: memFree=1486872/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=44196 CPUtime=25.48 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 13666 0 0 0 2441 107 0 0 25 0 1 0 2472491 45256704 10408 1992294400 4194304 7136930 140733898055792 18446744073709551615 4223102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 11049 10408 391 719 0 10328 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44196 [startup+51.1009 s] /proc/loadavg: 0.97 0.98 0.99 2/108 5092 /proc/meminfo: memFree=1470380/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=60092 CPUtime=51.07 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 17680 0 0 0 4926 181 0 0 25 0 1 0 2472491 61534208 14422 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 15023 14422 391 719 0 14302 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60092 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 5094 /proc/meminfo: memFree=1446324/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=83996 CPUtime=102.27 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 23653 0 0 0 9945 282 0 0 25 0 1 0 2472491 86011904 20395 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 20999 20395 391 719 0 20278 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 83996 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5096 /proc/meminfo: memFree=1422020/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=110060 CPUtime=162.24 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 29717 0 0 0 15819 405 0 0 25 0 1 0 2472491 112701440 26459 1992294400 4194304 7136930 140733898055792 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 27515 26459 391 719 0 26794 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 110060 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5096 /proc/meminfo: memFree=1399576/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=132020 CPUtime=222.22 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 35298 0 0 0 21713 509 0 0 25 0 1 0 2472491 135188480 32040 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 33005 32040 391 719 0 32284 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 132020 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5098 /proc/meminfo: memFree=1378496/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=153056 CPUtime=282.21 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 40559 0 0 0 27624 597 0 0 25 0 1 0 2472491 156729344 37301 1992294400 4194304 7136930 140733898055792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 38264 37301 391 719 0 37543 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 153056 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5100 /proc/meminfo: memFree=1365228/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=166584 CPUtime=342.2 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 43918 0 0 0 33547 673 0 0 25 0 1 0 2472491 170582016 40660 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 41646 40660 391 719 0 40925 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 166584 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5102 /proc/meminfo: memFree=1354316/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=177076 CPUtime=402.18 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 46581 0 0 0 39475 743 0 0 25 0 1 0 2472491 181325824 43323 1992294400 4194304 7136930 140733898055792 18446744073709551615 5004400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 44269 43323 391 719 0 43548 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 177076 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5104 /proc/meminfo: memFree=1344644/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=186732 CPUtime=462.16 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 48960 0 0 0 45401 815 0 0 25 0 1 0 2472491 191213568 45702 1992294400 4194304 7136930 140733898055792 18446744073709551615 4853886 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 46683 45702 391 719 0 45962 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 186732 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5104 /proc/meminfo: memFree=1333112/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=198340 CPUtime=522.15 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 51846 0 0 0 51334 881 0 0 25 0 1 0 2472491 203100160 48588 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 49585 48588 391 719 0 48864 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 198340 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5109 /proc/meminfo: memFree=1322200/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=208516 CPUtime=582.13 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 54412 0 0 0 57275 938 0 0 25 0 1 0 2472491 213520384 51154 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 52129 51154 391 719 0 51408 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 208516 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5111 /proc/meminfo: memFree=1315752/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=214868 CPUtime=642.11 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 56003 0 0 0 63218 993 0 0 25 0 1 0 2472491 220024832 52745 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 53717 52745 391 719 0 52996 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 214868 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5119 /proc/meminfo: memFree=1281280/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=249292 CPUtime=942.01 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 64551 0 0 0 92925 1276 0 0 25 0 1 0 2472491 255275008 61293 1992294400 4194304 7136930 140733898055792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 62323 61293 391 719 0 61602 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 249292 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5121 /proc/meminfo: memFree=1275080/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=255868 CPUtime=1001.98 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 66188 0 0 0 98868 1330 0 0 25 0 1 0 2472491 262008832 62930 1992294400 4194304 7136930 140733898055792 18446744073709551615 4223018 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 63967 62930 391 719 0 63246 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 255868 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5123 /proc/meminfo: memFree=1265160/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=265724 CPUtime=1061.97 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 68658 0 0 0 104812 1385 0 0 25 0 1 0 2472491 272101376 65400 1992294400 4194304 7136930 140733898055792 18446744073709551615 5950410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 66431 65400 391 719 0 65710 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 265724 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5123 /proc/meminfo: memFree=1257100/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=273696 CPUtime=1121.95 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 70639 0 0 0 110766 1429 0 0 25 0 1 0 2472491 280264704 67381 1992294400 4194304 7136930 140733898055792 18446744073709551615 4210033 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 68424 67381 391 719 0 67703 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 273696 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5125 /proc/meminfo: memFree=1248668/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=282020 CPUtime=1181.93 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 72750 0 0 0 116720 1473 0 0 25 0 1 0 2472491 288788480 69492 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 70505 69492 391 719 0 69784 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 282020 [startup+1242.3 s] /proc/loadavg: 1.06 1.00 1.00 2/108 5127 /proc/meminfo: memFree=1240732/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=294084 CPUtime=1241.91 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 74666 0 0 0 122675 1516 0 0 25 0 1 0 2472491 301142016 71408 1992294400 4194304 7136930 140733898055792 18446744073709551615 4221361 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 73521 71408 391 719 0 72800 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 294084 [startup+1302.3 s] /proc/loadavg: 1.07 1.01 1.00 2/108 5129 /proc/meminfo: memFree=1235524/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=299292 CPUtime=1301.9 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 75947 0 0 0 128635 1555 0 0 25 0 1 0 2472491 306475008 72689 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 74823 72689 391 719 0 74102 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 299292 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/108 5131 /proc/meminfo: memFree=1231928/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=302864 CPUtime=1361.88 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 76830 0 0 0 134592 1596 0 0 25 0 1 0 2472491 310132736 73572 1992294400 4194304 7136930 140733898055792 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 75716 73572 391 719 0 74995 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 302864 [startup+1422.31 s] /proc/loadavg: 1.06 1.03 1.00 2/108 5131 /proc/meminfo: memFree=1223744/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=311020 CPUtime=1421.86 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 78845 0 0 0 140551 1635 0 0 25 0 1 0 2472491 318484480 75587 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 77755 75587 391 719 0 77034 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 311020 [startup+1482.3 s] /proc/loadavg: 1.06 1.04 1.00 2/108 5133 /proc/meminfo: memFree=1219776/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=314728 CPUtime=1481.84 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 79828 0 0 0 146506 1678 0 0 25 0 1 0 2472491 322281472 76570 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 78682 76570 391 719 0 77961 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 314728 [startup+1542.3 s] /proc/loadavg: 1.06 1.04 1.00 2/108 5135 /proc/meminfo: memFree=1214692/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=319684 CPUtime=1541.83 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 81093 0 0 0 152464 1719 0 0 25 0 1 0 2472491 327356416 77835 1992294400 4194304 7136930 140733898055792 18446744073709551615 4221155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 79921 77835 391 719 0 79200 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 319684 [startup+1602.3 s] /proc/loadavg: 1.02 1.03 1.00 2/108 5137 /proc/meminfo: memFree=1211220/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=323252 CPUtime=1601.8 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 81930 0 0 0 158423 1757 0 0 25 0 1 0 2472491 331010048 78672 1992294400 4194304 7136930 140733898055792 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 80813 78672 391 719 0 80092 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 323252 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 5139 /proc/meminfo: memFree=1206508/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=328056 CPUtime=1661.79 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 83089 0 0 0 164385 1794 0 0 25 0 1 0 2472491 335929344 79831 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 82014 79831 391 719 0 81293 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 328056 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 5139 /proc/meminfo: memFree=1204772/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=329804 CPUtime=1721.77 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 83524 0 0 0 170348 1829 0 0 25 0 1 0 2472491 337719296 80266 1992294400 4194304 7136930 140733898055792 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 82451 80266 391 719 0 81730 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 329804 [startup+1782.3 s] /proc/loadavg: 1.07 1.03 1.00 2/108 5141 /proc/meminfo: memFree=1195472/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=339192 CPUtime=1781.75 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 85822 0 0 0 176307 1868 0 0 25 0 1 0 2472491 347332608 82564 1992294400 4194304 7136930 140733898055792 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 84798 82564 391 719 0 84077 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 339192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.03 1.00 2/108 5141 /proc/meminfo: memFree=1194852/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=339892 CPUtime=1800.07 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 85987 0 0 0 178128 1879 0 0 25 0 1 0 2472491 348049408 82729 1992294400 4194304 7136930 140733898055792 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5089/statm: 84973 82729 391 719 0 84252 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 339892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.05 1.03 1.00 2/108 5141 /proc/meminfo: memFree=1194852/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=340108 CPUtime=1800.85 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 86029 0 0 0 178206 1879 0 0 25 0 1 0 2472491 348270592 82771 1992294400 4194304 7136930 140733898055792 18446744073709551615 4212419 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5089/statm: 85027 82771 396 719 0 84306 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 340108 [startup+1801.6 s] /proc/loadavg: 1.05 1.03 1.00 2/108 5141 /proc/meminfo: memFree=1194852/2059040 swapFree=4192956/4192956 [pid=5089] ppid=5087 vsize=328276 CPUtime=1801.05 /proc/5089/stat : 5089 (pbscip.linux.x8) R 5087 5089 4594 0 -1 4202496 86029 0 0 0 178226 1879 0 0 25 0 1 0 2472491 336154624 79813 1992294400 4194304 7136930 140733898055792 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5089/statm: 82069 79813 396 719 0 81348 0 Current children cumulated CPU time (s) 1801.05 Current children cumulated vsize (KiB) 328276 Child status: 0 Real time (s): 1801.68 CPU time (s): 1801.14 CPU user time (s): 1782.31 CPU system time (s): 18.8301 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 340108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.31 system time used= 18.8301 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86036 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3078 runsolver used 3.2765 second user time and 8.21875 second system time The end
Begin job on node025 at 2010-06-11 22:29:28 IDJOB=2664391 IDBENCH=1289 IDSOLVER=1167 FILE ID=node025/2664391-1276288168 PBS_JOBID= 11173108 Free space on /tmp= 62540 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.1900565534.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-2664391-1276288168/watcher-2664391-1276288168 -o /tmp/evaluation-result-2664391-1276288168/solver-2664391-1276288168 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664391-1276288168.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0fea7c185f4d6e2091fba763db8ccbcc RANDOM SEED=1710203559 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1527708 kB Buffers: 60576 kB Cached: 331596 kB SwapCached: 0 kB Active: 172452 kB Inactive: 279176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1527708 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3284 kB Writeback: 0 kB AnonPages: 59424 kB Mapped: 15444 kB Slab: 57856 kB PageTables: 4112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182496 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= 62536 MiB End job on node025 at 2010-06-11 22:59:30