| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.05 | 1800.55 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb |
| MD5SUM | 58a39490a0f04cc377ab2aa6882fd7a1 |
| 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 | 35.8505 |
| 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 | 671 |
| 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: SoPlex 1.4.2] [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-2666987-1276281190.opb>
0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c problem read
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c presolving settings loaded
0.00/0.07 c presolving:
0.10/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.10/0.14 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.10/0.15 c presolving (3 rounds):
0.10/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.15 c 242 implications, 22 cliques
0.10/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.10/0.15 c 1 constraints of type <knapsack>
0.10/0.15 c 22 constraints of type <setppc>
0.10/0.15 c 2541 constraints of type <logicor>
0.10/0.15 c transformed objective value is always integral (scale: 1)
0.10/0.15 c Presolving Time: 0.06
0.10/0.15 c - non default parameters ----------------------------------------------------------------------
0.10/0.15 c # SCIP version 1.2.1.2
0.10/0.15 c
0.10/0.15 c # frequency for displaying node information lines
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.15 c display/freq = 10000
0.10/0.15 c
0.10/0.15 c # maximal time in seconds to run
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/time = 1799.95
0.10/0.15 c
0.10/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/memory = 1620
0.10/0.15 c
0.10/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c limits/solutions = 1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.10/0.15 c separating/maxrounds = 1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/maxroundsroot = 5
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify inequalities
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/linear/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.10/0.15 c constraints/knapsack/disaggregation = FALSE
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify knapsacks
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c presolving/probing/maxrounds = 0
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/coefdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.10/0.15 c heuristics/crossover/freq = -1
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/crossover/nodesofs = 750
0.10/0.15 c
0.10/0.15 c # number of nodes without incumbent change that heuristic should wait
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.10/0.15 c heuristics/crossover/nwaitingnodes = 100
0.10/0.15 c
0.10/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.10/0.15 c # [type: real, range: [0,1], default: 0.1]
0.10/0.15 c heuristics/crossover/nodesquot = 0.15
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixed
0.10/0.15 c # [type: real, range: [0,1], default: 0.666]
0.10/0.15 c heuristics/crossover/minfixingrate = 0.5
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/feaspump/freq = -1
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/fracdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/guideddiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/intshifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/linesearchdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/nlp/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/objpscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.10/0.15 c # [type: real, range: [0,1], default: 0.01]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/oneopt/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/pscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/rens/freq = -1
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixable
0.10/0.15 c # [type: real, range: [0,1], default: 0.5]
0.10/0.15 c heuristics/rens/minfixingrate = 0.3
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/rens/nodesofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/rootsoldiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/rounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/shifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/simplerounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/trivial/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/trysol/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/veclendiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/zirounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/cmir/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/flowcover/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/rapidlearning/freq = 0
0.10/0.15 c
0.10/0.15 c -----------------------------------------------------------------------------------------------
0.10/0.15 c start solving
0.10/0.15 c
0.10/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.54 c 0.4s| 1 | 0 | 117 | - |3993k| 0 | 45 | 231 |2756 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.80 c 0.7s| 1 | 0 | 157 | - |4334k| 0 | 47 | 231 |2756 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.13 c 1.0s| 1 | 0 | 169 | - |4691k| 0 | 47 | 231 |2756 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.47 c 1.3s| 1 | 0 | 185 | - |5023k| 0 | 49 | 231 |2756 | 231 |2591 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.89 c 1.7s| 1 | 0 | 200 | - |5451k| 0 | 50 | 231 |2756 | 231 |2592 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.63 c 2.5s| 1 | 2 | 200 | - |5452k| 0 | 50 | 231 |2756 | 231 |2592 | 28 | 0 | 10 | 0.000000e+00 | -- | Inf
142.85/142.97 c 140s| 10000 | 71 |238663 | 23.8 |7527k| 36 | 18 | 231 |6956 | 231 |2576 | 28 |6033 |2337 | 0.000000e+00 | -- | Inf
245.42/245.50 c 240s| 20000 | 90 |484033 | 24.2 |8461k| 37 | - | 231 |8734 | 231 |2576 | 28 | 12k|2403 | 0.000000e+00 | -- | Inf
361.99/362.18 c 354s| 30000 | 80 |737027 | 24.6 |8624k| 39 | - | 231 |8635 | 231 |2576 | 28 | 18k|3080 | 0.000000e+00 | -- | Inf
470.16/470.32 c 460s| 40000 | 109 |979517 | 24.5 |9802k| 42 | 32 | 231 | 11k| 231 |2576 | 28 | 24k|3567 | 0.000000e+00 | -- | Inf
580.24/580.40 c 568s| 50000 | 143 | 1224k| 24.5 | 11M| 42 | - | 231 | 14k| 231 |2576 | 28 | 30k|4072 | 0.000000e+00 | -- | Inf
695.30/695.52 c 681s| 60000 | 157 | 1482k| 24.7 | 10M| 47 | 31 | 231 | 11k| 231 |2576 | 28 | 35k|4489 | 0.000000e+00 | -- | Inf
804.78/805.09 c 789s| 70000 | 176 | 1729k| 24.7 | 10M| 47 | - | 231 | 10k| 231 |2576 | 28 | 41k|4870 | 0.000000e+00 | -- | Inf
917.84/918.14 c 899s| 80000 | 145 | 1986k| 24.8 | 10M| 49 | 31 | 231 |9596 | 231 |2576 | 28 | 47k|5232 | 0.000000e+00 | -- | Inf
1027.42/1027.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.42/1027.79 c 1006s| 90000 | 146 | 2237k| 24.9 | 10M| 50 | 31 | 231 | 10k| 231 |2576 | 28 | 53k|5517 | 0.000000e+00 | -- | Inf
1138.78/1139.13 c 1116s|100000 | 169 | 2496k| 25.0 | 11M| 50 | 38 | 231 | 12k| 231 |2576 | 28 | 59k|5813 | 0.000000e+00 | -- | Inf
1246.46/1246.82 c 1221s|110000 | 191 | 2742k| 24.9 | 11M| 58 | - | 231 | 11k| 231 |2576 | 28 | 64k|6162 | 0.000000e+00 | -- | Inf
1351.13/1351.50 c 1324s|120000 | 164 | 2984k| 24.9 | 10M| 59 | 37 | 231 | 10k| 231 |2576 | 28 | 70k|6385 | 0.000000e+00 | -- | Inf
1461.40/1461.81 c 1431s|130000 | 150 | 3235k| 24.9 | 11M| 59 | 30 | 231 | 11k| 231 |2576 | 28 | 76k|6706 | 0.000000e+00 | -- | Inf
1571.77/1572.27 c 1539s|140000 | 150 | 3490k| 24.9 | 11M| 59 | 36 | 231 | 12k| 231 |2576 | 28 | 81k|6905 | 0.000000e+00 | -- | Inf
1680.92/1681.44 c 1646s|150000 | 123 | 3740k| 24.9 | 11M| 59 | 26 | 231 | 10k| 231 |2576 | 28 | 87k|7170 | 0.000000e+00 | -- | Inf
1796.00/1796.52 c 1760s|160000 | 76 | 4009k| 25.1 | 10M| 59 | - | 231 | 10k| 231 |2576 | 28 | 93k|7482 | 0.000000e+00 | -- | Inf
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.51 c
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time (sec) : 1763.43
1800.00/1800.51 c Solving Nodes : 160355
1800.00/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 s UNKNOWN
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1763.43
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2666987-1276281190.opb
1800.00/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 2707 initial, 2707 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2666987-1276281190.opb
1800.00/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 2564 initial, 15490 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.02 0 0 0 0 0 143 0 0
1800.00/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 82687 0 260 3046 0 0 161578
1800.00/1800.51 c knapsack : 1 5 600448 0 0 1149 258889 0 0 0
1800.00/1800.51 c setppc : 22 5 599761 0 0 3801 802385 0 0 0
1800.00/1800.51 c linear : 0+ 5 382271 0 0 8 3964 2 0 0
1800.00/1800.51 c logicor : 2541+ 5 297834 0 0 1159 1067033 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 128.17 0.00 0.00 128.17 0.00
1800.00/1800.51 c knapsack : 5.12 0.00 5.12 0.00 0.00
1800.00/1800.51 c setppc : 10.32 0.00 10.32 0.00 0.00
1800.00/1800.51 c linear : 1.71 0.01 1.70 0.00 0.00
1800.00/1800.51 c logicor : 59.42 0.00 59.42 0.00 0.00
1800.00/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 0.34 1 0 0
1800.00/1800.51 c rootredcost : 0.38 0 0 0
1800.00/1800.51 c pseudoobj : 0.25 0 0 0
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 0.55 6117 6103 35581 24.4 109 19.0 -
1800.00/1800.51 c infeasible LP : 31.43 74325 71108 470085 36.2 407 17.6 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 84105 20.1 - - -
1800.00/1800.51 c applied locally : - - - 9501 35.4 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.00 4 - - 34 - (maximal pool size: 513)
1800.00/1800.51 c redcost : 0.80 81161 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.00 5 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 0.79 5 0 0 827 0
1800.00/1800.51 c strongcg : 0.58 5 0 0 2464 0
1800.00/1800.51 c cmir : 0.00 0 0 0 0 0
1800.00/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.51 c clique : 0.00 5 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.00 1 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.20 1 0 0 0 192
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 128.06 82687 260 3046 0 0 161578
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.00 - 0
1800.00/1800.51 c trivial : 0.01 1 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 0 0
1800.00/1800.51 c rounding : 0.00 0 0
1800.00/1800.51 c shifting : 0.00 0 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c oneopt : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 0.00 0 0
1800.00/1800.51 c trysol : 0.00 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.01 0 0 0.00 0.00
1800.00/1800.51 c dual LP : 1377.53 156653 4018679 25.65 2917.31
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 124.61 7486 350199 46.78 2810.36
1800.00/1800.51 c (at root node) : - 10 1851 185.10 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 160355
1800.00/1800.51 c nodes (total) : 160355
1800.00/1800.51 c nodes left : 82
1800.00/1800.51 c max depth : 59
1800.00/1800.51 c max depth (total): 59
1800.00/1800.51 c backtracks : 19799 (12.3%)
1800.00/1800.51 c delayed cutoffs : 1142
1800.00/1800.51 c repropagations : 238839 (298008 domain reductions, 1136 cutoffs)
1800.00/1800.51 c avg switch length: 4.69
1800.00/1800.51 c switching time : 59.63
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 0 (0 improvements)
1800.00/1800.51 c Primal Bound : -
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Root Iterations : 200
1800.00/1800.55 c Time complete: 1800.04.
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-2666987-1276281190/watcher-2666987-1276281190 -o /tmp/evaluation-result-2666987-1276281190/solver-2666987-1276281190 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666987-1276281190.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5115 /proc/meminfo: memFree=1565992/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=7724 CPUtime=0 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 3720762 7909376 949 1992294400 4194304 8223781 140736946969040 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5115/statm: 1931 959 348 984 0 944 0 [startup+0.108029 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5115 /proc/meminfo: memFree=1565992/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=16996 CPUtime=0.1 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 3818 0 0 0 8 2 0 0 20 0 1 0 3720762 17403904 3117 1992294400 4194304 8223781 140736946969040 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 4249 3137 443 984 0 3262 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16996 [startup+0.20104 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5115 /proc/meminfo: memFree=1565992/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=21584 CPUtime=0.19 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 7808 0 0 0 16 3 0 0 20 0 1 0 3720762 22102016 4480 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 5396 4480 553 984 0 4409 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 21584 [startup+0.301051 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5115 /proc/meminfo: memFree=1565992/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=28456 CPUtime=0.29 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 9351 0 0 0 25 4 0 0 20 0 1 0 3720762 29138944 6013 1992294400 4194304 8223781 140736946969040 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7114 6022 570 984 0 6127 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28456 [startup+0.701096 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5115 /proc/meminfo: memFree=1565992/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=27244 CPUtime=0.69 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 13040 0 0 0 61 8 0 0 20 0 1 0 3720762 27897856 5974 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 6811 5974 583 984 0 5824 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27244 [startup+1.50119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5116 /proc/meminfo: memFree=1543788/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=28140 CPUtime=1.49 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 13251 0 0 0 140 9 0 0 22 0 1 0 3720762 28815360 6185 1992294400 4194304 8223781 140736946969040 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7035 6185 583 984 0 6048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28140 [startup+3.10037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5116 /proc/meminfo: memFree=1541184/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=29996 CPUtime=3.09 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 14523 0 0 0 297 12 0 0 25 0 1 0 3720762 30715904 6654 1992294400 4194304 8223781 140736946969040 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7499 6654 584 984 0 6512 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29996 [startup+6.30074 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5116 /proc/meminfo: memFree=1540936/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=29996 CPUtime=6.29 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 18674 0 0 0 612 17 0 0 25 0 1 0 3720762 30715904 6654 1992294400 4194304 8223781 140736946969040 18446744073709551615 6296719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7499 6654 584 984 0 6512 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29996 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5116 /proc/meminfo: memFree=1540812/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=29996 CPUtime=12.68 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 27636 0 0 0 1241 27 0 0 25 0 1 0 3720762 30715904 6657 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7499 6657 586 984 0 6512 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29996 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5116 /proc/meminfo: memFree=1540812/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=30104 CPUtime=25.48 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 55598 0 0 0 2498 50 0 0 25 0 1 0 3720762 30826496 6669 1992294400 4194304 8223781 140736946969040 18446744073709551615 6591289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7526 6669 586 984 0 6539 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30104 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5118 /proc/meminfo: memFree=1540440/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=30608 CPUtime=51.07 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 96259 0 0 0 5009 98 0 0 25 0 1 0 3720762 31342592 6794 1992294400 4194304 8223781 140736946969040 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7652 6794 593 984 0 6665 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30608 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5118 /proc/meminfo: memFree=1538952/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=31860 CPUtime=102.27 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 209390 0 0 0 10010 217 0 0 25 0 1 0 3720762 32624640 7124 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 7965 7124 587 984 0 6978 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31860 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5120 /proc/meminfo: memFree=1537960/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=32940 CPUtime=162.25 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 336259 0 0 0 15870 355 0 0 25 0 1 0 3720762 33730560 7389 1992294400 4194304 8223781 140736946969040 18446744073709551615 6448564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 8235 7389 587 984 0 7248 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32940 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5122 /proc/meminfo: memFree=1536472/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=33980 CPUtime=222.23 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 429648 0 0 0 21744 479 0 0 25 0 1 0 3720762 34795520 7651 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 8495 7651 587 984 0 7508 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33980 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5124 /proc/meminfo: memFree=1536100/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=34776 CPUtime=282.21 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 564528 0 0 0 27597 624 0 0 25 0 1 0 3720762 35610624 7822 1992294400 4194304 8223781 140736946969040 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 8694 7822 587 984 0 7707 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34776 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5126 /proc/meminfo: memFree=1535852/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=34632 CPUtime=342.2 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 692524 0 0 0 33466 754 0 0 25 0 1 0 3720762 35463168 7814 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 8658 7814 587 984 0 7671 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 34632 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5126 /proc/meminfo: memFree=1535480/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=35416 CPUtime=402.18 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 826717 0 0 0 39329 889 0 0 25 0 1 0 3720762 36265984 7968 1992294400 4194304 8223781 140736946969040 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 8854 7968 587 984 0 7867 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 35416 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5128 /proc/meminfo: memFree=1534116/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=36516 CPUtime=462.17 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 918347 0 0 0 45202 1015 0 0 25 0 1 0 3720762 37392384 8282 1992294400 4194304 8223781 140736946969040 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9129 8282 587 984 0 8142 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 36516 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5130 /proc/meminfo: memFree=1533744/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=36620 CPUtime=522.14 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 968266 0 0 0 51094 1120 0 0 25 0 1 0 3720762 37498880 8286 1992294400 4194304 8223781 140736946969040 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9155 8286 587 984 0 8168 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 36620 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5132 /proc/meminfo: memFree=1533124/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=37456 CPUtime=582.14 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1011440 0 0 0 56988 1226 0 0 25 0 1 0 3720762 38354944 8520 1992294400 4194304 8223781 140736946969040 18446744073709551615 6612541 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9364 8520 587 984 0 8377 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 37456 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5134 /proc/meminfo: memFree=1532132/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=38504 CPUtime=642.12 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1074964 0 0 0 62878 1334 0 0 25 0 1 0 3720762 39428096 8773 1992294400 4194304 8223781 140736946969040 18446744073709551615 6570134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9626 8773 587 984 0 8639 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 38504 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5138 /proc/meminfo: memFree=1531140/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39248 CPUtime=822.07 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1213237 0 0 0 80558 1649 0 0 25 0 1 0 3720762 40189952 8938 1992294400 4194304 8223781 140736946969040 18446744073709551615 6569863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9812 8938 587 984 0 8825 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 39248 [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5140 /proc/meminfo: memFree=1530892/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39384 CPUtime=882.05 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1282416 0 0 0 86434 1771 0 0 25 0 1 0 3720762 40329216 8990 1992294400 4194304 8223781 140736946969040 18446744073709551615 6570017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9846 8990 587 984 0 8859 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 39384 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5142 /proc/meminfo: memFree=1530768/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39508 CPUtime=942.04 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1399508 0 0 0 92304 1900 0 0 25 0 1 0 3720762 40456192 8994 1992294400 4194304 8223781 140736946969040 18446744073709551615 6436955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9877 8994 594 984 0 8890 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 39508 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5142 /proc/meminfo: memFree=1530644/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39552 CPUtime=1002.02 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1524972 0 0 0 98163 2039 0 0 25 0 1 0 3720762 40501248 9003 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9888 9003 587 984 0 8901 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 39552 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5144 /proc/meminfo: memFree=1530644/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39480 CPUtime=1062 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1624716 0 0 0 104033 2167 0 0 25 0 1 0 3720762 40427520 9014 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9870 9014 587 984 0 8883 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 39480 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5146 /proc/meminfo: memFree=1530396/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39768 CPUtime=1121.99 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1712405 0 0 0 109912 2287 0 0 25 0 1 0 3720762 40722432 9060 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9942 9060 587 984 0 8955 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 39768 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5148 /proc/meminfo: memFree=1530272/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39772 CPUtime=1181.97 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1799554 0 0 0 115789 2408 0 0 25 0 1 0 3720762 40726528 9069 1992294400 4194304 8223781 140736946969040 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9943 9069 587 984 0 8956 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 39772 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5150 /proc/meminfo: memFree=1530148/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39660 CPUtime=1241.95 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1865304 0 0 0 121664 2531 0 0 25 0 1 0 3720762 40611840 9049 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9915 9049 587 984 0 8928 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 39660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5150 /proc/meminfo: memFree=1530024/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39768 CPUtime=1301.94 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 1946219 0 0 0 127547 2647 0 0 25 0 1 0 3720762 40722432 9056 1992294400 4194304 8223781 140736946969040 18446744073709551615 6592556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9942 9056 587 984 0 8955 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 39768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5152 /proc/meminfo: memFree=1530148/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39876 CPUtime=1361.93 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2050720 0 0 0 133422 2771 0 0 25 0 1 0 3720762 40833024 9080 1992294400 4194304 8223781 140736946969040 18446744073709551615 6568277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9969 9080 587 984 0 8982 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 39876 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5154 /proc/meminfo: memFree=1530148/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39660 CPUtime=1421.91 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2167906 0 0 0 139285 2906 0 0 25 0 1 0 3720762 40611840 9049 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9915 9049 587 984 0 8928 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 39660 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5156 /proc/meminfo: memFree=1530272/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39836 CPUtime=1481.89 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2299810 0 0 0 145140 3049 0 0 25 0 1 0 3720762 40792064 9080 1992294400 4194304 8223781 140736946969040 18446744073709551615 6568387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9959 9080 587 984 0 8972 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 39836 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5158 /proc/meminfo: memFree=1530148/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=39948 CPUtime=1541.89 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2430416 0 0 0 150999 3190 0 0 25 0 1 0 3720762 40906752 9100 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 9987 9100 587 984 0 9000 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 39948 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5158 /proc/meminfo: memFree=1530148/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=40036 CPUtime=1601.86 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2543708 0 0 0 156871 3315 0 0 25 0 1 0 3720762 40996864 9120 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 10009 9120 587 984 0 9022 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 40036 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5160 /proc/meminfo: memFree=1530024/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=40288 CPUtime=1661.85 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2586620 0 0 0 162763 3422 0 0 25 0 1 0 3720762 41254912 9201 1992294400 4194304 8223781 140736946969040 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 10072 9201 587 984 0 9085 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 40288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5171 /proc/meminfo: memFree=1529156/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=40408 CPUtime=1721.81 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2615789 0 0 0 168659 3522 0 0 25 0 1 0 3720762 41377792 9218 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 10102 9218 587 984 0 9115 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 40408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5173 /proc/meminfo: memFree=1529280/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=40288 CPUtime=1781.79 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2648027 0 0 0 174559 3620 0 0 25 0 1 0 3720762 41254912 9201 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 10072 9201 587 984 0 9085 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 40288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5173 /proc/meminfo: memFree=1529280/2059040 swapFree=4192956/4192956 [pid=5115] ppid=5113 vsize=40288 CPUtime=1800 /proc/5115/stat : 5115 (pbscip.linux.x8) R 5113 5115 4503 0 -1 4202496 2659527 0 0 0 176348 3652 0 0 25 0 1 0 3720762 41254912 9201 1992294400 4194304 8223781 140736946969040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5115/statm: 10072 9201 587 984 0 9085 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 40288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.05 CPU user time (s): 1763.53 CPU system time (s): 36.5264 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 40848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.53 system time used= 36.5264 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2659547 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= 4 involuntary context switches= 3621 runsolver used 3.06553 second user time and 8.41772 second system time The end
Begin job on node009 at 2010-06-11 20:33:10 IDJOB=2666987 IDBENCH=1272 IDSOLVER=1169 FILE ID=node009/2666987-1276281190 PBS_JOBID= 11173102 Free space on /tmp= 62432 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666987-1276281190/watcher-2666987-1276281190 -o /tmp/evaluation-result-2666987-1276281190/solver-2666987-1276281190 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666987-1276281190.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58a39490a0f04cc377ab2aa6882fd7a1 RANDOM SEED=981036449 node009.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.199 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.39 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.199 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: 1566396 kB Buffers: 54492 kB Cached: 311896 kB SwapCached: 0 kB Active: 171072 kB Inactive: 254500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1566396 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4656 kB Writeback: 0 kB AnonPages: 59052 kB Mapped: 15464 kB Slab: 45152 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181308 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= 62428 MiB End job on node009 at 2010-06-11 21:03:13