| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.13 | 1800.66 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb |
| MD5SUM | df3a88f9ce76cdc5f93bc528741f3e95 |
| 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.311 |
| 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: Clp 1.11.1] [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-2665865-1276304091.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.08/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.08/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.08/0.15 c presolving (3 rounds):
0.08/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.15 c 242 implications, 22 cliques
0.08/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.08/0.15 c 1 constraints of type <knapsack>
0.08/0.15 c 22 constraints of type <setppc>
0.08/0.15 c 2541 constraints of type <logicor>
0.08/0.15 c transformed objective value is always integral (scale: 1)
0.08/0.15 c Presolving Time: 0.06
0.08/0.15 c - non default parameters ----------------------------------------------------------------------
0.08/0.15 c # SCIP version 1.2.1.2
0.08/0.15 c
0.08/0.15 c # frequency for displaying node information lines
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.15 c display/freq = 10000
0.08/0.15 c
0.08/0.15 c # maximal time in seconds to run
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.15 c limits/time = 1799.95
0.08/0.15 c
0.08/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.15 c limits/memory = 1620
0.08/0.15 c
0.08/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.15 c limits/solutions = 1
0.08/0.15 c
0.08/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.08/0.15 c separating/maxrounds = 1
0.08/0.15 c
0.08/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.15 c separating/maxroundsroot = 5
0.08/0.15 c
0.08/0.15 c # should presolving try to simplify inequalities
0.08/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.15 c constraints/linear/simplifyinequalities = TRUE
0.08/0.15 c
0.08/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.08/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.08/0.15 c constraints/knapsack/disaggregation = FALSE
0.08/0.15 c
0.08/0.15 c # should presolving try to simplify knapsacks
0.08/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.15 c
0.08/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.15 c presolving/probing/maxrounds = 0
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/coefdiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.08/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.08/0.15 c heuristics/crossover/freq = -1
0.08/0.15 c
0.08/0.15 c # number of nodes added to the contingent of the total nodes
0.08/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.08/0.15 c heuristics/crossover/nodesofs = 750
0.08/0.15 c
0.08/0.15 c # number of nodes without incumbent change that heuristic should wait
0.08/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.08/0.15 c heuristics/crossover/nwaitingnodes = 100
0.08/0.15 c
0.08/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.08/0.15 c # [type: real, range: [0,1], default: 0.1]
0.08/0.15 c heuristics/crossover/nodesquot = 0.15
0.08/0.15 c
0.08/0.15 c # minimum percentage of integer variables that have to be fixed
0.08/0.15 c # [type: real, range: [0,1], default: 0.666]
0.08/0.15 c heuristics/crossover/minfixingrate = 0.5
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.08/0.15 c heuristics/feaspump/freq = -1
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/fracdiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.08/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/guideddiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.08/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.08/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/intshifting/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/linesearchdiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.08/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.15 c heuristics/nlp/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.08/0.15 c heuristics/objpscostdiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.08/0.15 c # [type: real, range: [0,1], default: 0.01]
0.08/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.15 c heuristics/oneopt/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/pscostdiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.08/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.15 c heuristics/rens/freq = -1
0.08/0.15 c
0.08/0.15 c # minimum percentage of integer variables that have to be fixable
0.08/0.15 c # [type: real, range: [0,1], default: 0.5]
0.08/0.15 c heuristics/rens/minfixingrate = 0.3
0.08/0.15 c
0.08/0.15 c # number of nodes added to the contingent of the total nodes
0.08/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.08/0.15 c heuristics/rens/nodesofs = 2000
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.08/0.15 c heuristics/rootsoldiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.08/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.15 c heuristics/rounding/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/shifting/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.15 c heuristics/simplerounding/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.15 c heuristics/trivial/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.15 c heuristics/trysol/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.08/0.15 c heuristics/veclendiving/freq = -1
0.08/0.15 c
0.08/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.08/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.08/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.08/0.15 c
0.08/0.15 c # additional number of allowed LP iterations
0.08/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.08/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.08/0.15 c
0.08/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.15 c heuristics/zirounding/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.15 c separating/cmir/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.15 c separating/flowcover/freq = -1
0.08/0.15 c
0.08/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.15 c separating/rapidlearning/freq = 0
0.08/0.15 c
0.08/0.15 c -----------------------------------------------------------------------------------------------
0.08/0.15 c start solving
0.08/0.15 c
0.08/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.17 c 0.1s| 1 | 0 | 60 | - |3551k| 0 | 34 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.4s| 1 | 0 | 118 | - |3911k| 0 | 61 | 231 |2723 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.87 c 0.7s| 1 | 0 | 210 | - |4499k| 0 | 80 | 231 |2723 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.44 c 1.3s| 1 | 0 | 707 | - |5571k| 0 | 58 | 231 |2723 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.90 c 1.8s| 1 | 0 | 912 | - |6004k| 0 | 78 | 231 |2723 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
2.49/2.50 c 2.4s| 1 | 0 | 1258 | - |6827k| 0 | 76 | 231 |2723 | 231 |2591 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.02 c 3.9s| 1 | 2 | 1258 | - |6828k| 0 | 76 | 231 |2723 | 231 |2591 | 27 | 0 | 10 | 0.000000e+00 | -- | Inf
228.51/228.69 c 224s| 10000 | 161 |493868 | 49.3 |8488k| 40 | 22 | 231 |4939 | 231 |2574 | 27 |4925 |1643 | 0.000000e+00 | -- | Inf
394.86/395.09 c 386s| 20000 | 218 |950533 | 47.5 |8904k| 42 | - | 231 |5345 | 0 | 0 | 27 |9665 |2051 | 0.000000e+00 | -- | Inf
558.31/558.55 c 545s| 30000 | 240 | 1385k| 46.1 |9144k| 51 | 22 | 231 |5457 | 231 |2574 | 27 | 14k|2664 | 0.000000e+00 | -- | Inf
715.18/715.47 c 697s| 40000 | 254 | 1810k| 45.2 |9247k| 51 | 29 | 231 |5341 | 231 |2574 | 27 | 19k|3106 | 0.000000e+00 | -- | Inf
880.62/880.94 c 858s| 50000 | 286 | 2263k| 45.3 |9711k| 51 | - | 231 |6119 | 0 | 0 | 27 | 24k|3599 | 0.000000e+00 | -- | Inf
1047.37/1047.78 c 1020s| 60000 | 282 | 2724k| 45.4 |9675k| 51 | - | 231 |5879 | 231 |2574 | 27 | 28k|3984 | 0.000000e+00 | -- | Inf
1208.22/1208.65 c 1177s| 70000 | 281 | 3176k| 45.4 |9818k| 51 | 31 | 231 |6241 | 231 |2574 | 27 | 33k|4358 | 0.000000e+00 | -- | Inf
1377.47/1377.99 c 1341s| 80000 | 286 | 3649k| 45.6 |9975k| 52 | 31 | 231 |6429 | 231 |2574 | 27 | 37k|4691 | 0.000000e+00 | -- | Inf
1536.33/1536.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.33/1536.81 c 1496s| 90000 | 268 | 4092k| 45.5 |9972k| 54 | - | 231 |6481 | 0 | 0 | 27 | 42k|4943 | 0.000000e+00 | -- | Inf
1707.99/1708.57 c 1663s|100000 | 245 | 4575k| 45.7 |9721k| 54 | - | 231 |5928 | 231 |2574 | 27 | 47k|5232 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.62 c
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time (sec) : 1752.19
1800.07/1800.62 c Solving Nodes : 105673
1800.07/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 s UNKNOWN
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1752.19
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2665865-1276304091.opb
1800.07/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2665865-1276304091.opb
1800.07/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 2564 initial, 6653 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.07/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 54661 0 200 1995 0 0 106594
1800.07/1800.62 c knapsack : 1 5 346457 0 0 931 180334 0 0 0
1800.07/1800.63 c setppc : 22 5 345782 0 0 2652 595545 0 0 0
1800.07/1800.63 c linear : 0+ 5 168800 0 0 19 4238 4 0 0
1800.07/1800.63 c logicor : 2541+ 5 203823 0 0 988 782189 0 0 0
1800.07/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.63 c integral : 155.16 0.00 0.00 155.16 0.00
1800.07/1800.63 c knapsack : 3.65 0.00 3.65 0.00 0.00
1800.07/1800.63 c setppc : 6.38 0.00 6.38 0.00 0.00
1800.07/1800.63 c linear : 1.22 0.00 1.22 0.00 0.00
1800.07/1800.63 c logicor : 25.23 0.00 25.23 0.00 0.00
1800.07/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.63 c vbounds : 0.29 1 0 0
1800.07/1800.63 c rootredcost : 0.25 0 0 0
1800.07/1800.63 c pseudoobj : 0.19 0 0 0
1800.07/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.63 c propagation : 0.30 4590 4571 25351 24.2 67 20.9 -
1800.07/1800.63 c infeasible LP : 19.55 48271 34261 210194 36.6 157 15.7 0
1800.07/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.63 c applied globally : - - - 47454 19.9 - - -
1800.07/1800.63 c applied locally : - - - 2251 33.6 - - -
1800.07/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.63 c cut pool : 0.00 4 - - 2 - (maximal pool size: 748)
1800.07/1800.63 c redcost : 0.67 53567 0 0 0 0
1800.07/1800.63 c impliedbounds : 0.00 5 0 0 0 0
1800.07/1800.63 c intobj : 0.00 0 0 0 0 0
1800.07/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.63 c gomory : 0.91 5 0 0 1091 0
1800.07/1800.63 c strongcg : 0.60 5 0 0 2432 0
1800.07/1800.63 c cmir : 0.00 0 0 0 0 0
1800.07/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.63 c clique : 0.00 5 0 0 0 0
1800.07/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.63 c mcf : 0.01 1 0 0 0 0
1800.07/1800.63 c rapidlearning : 0.21 1 0 0 0 159
1800.07/1800.63 c Pricers : Time Calls Vars
1800.07/1800.63 c problem variables: 0.00 0 0
1800.07/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c relpscost : 154.88 54661 200 1995 0 0 106594
1800.07/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.63 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c random : 0.00 0 0 0 0 0 0
1800.07/1800.63 c Primal Heuristics : Time Calls Found
1800.07/1800.63 c LP solutions : 0.00 - 0
1800.07/1800.63 c pseudo solutions : 0.00 - 0
1800.07/1800.63 c trivial : 0.00 1 0
1800.07/1800.63 c simplerounding : 0.00 0 0
1800.07/1800.63 c zirounding : 0.00 0 0
1800.07/1800.63 c rounding : 0.00 0 0
1800.07/1800.63 c shifting : 0.00 0 0
1800.07/1800.63 c intshifting : 0.00 0 0
1800.07/1800.63 c oneopt : 0.00 0 0
1800.07/1800.63 c twoopt : 0.00 0 0
1800.07/1800.63 c fixandinfer : 0.00 0 0
1800.07/1800.63 c feaspump : 0.00 0 0
1800.07/1800.63 c coefdiving : 0.00 0 0
1800.07/1800.63 c pscostdiving : 0.00 0 0
1800.07/1800.63 c fracdiving : 0.00 0 0
1800.07/1800.63 c veclendiving : 0.00 0 0
1800.07/1800.63 c intdiving : 0.00 0 0
1800.07/1800.63 c actconsdiving : 0.00 0 0
1800.07/1800.63 c objpscostdiving : 0.00 0 0
1800.07/1800.63 c rootsoldiving : 0.00 0 0
1800.07/1800.63 c linesearchdiving : 0.00 0 0
1800.07/1800.63 c guideddiving : 0.00 0 0
1800.07/1800.63 c octane : 0.00 0 0
1800.07/1800.63 c rens : 0.00 0 0
1800.07/1800.63 c rins : 0.00 0 0
1800.07/1800.63 c localbranching : 0.00 0 0
1800.07/1800.63 c mutation : 0.00 0 0
1800.07/1800.63 c crossover : 0.00 0 0
1800.07/1800.63 c dins : 0.00 0 0
1800.07/1800.63 c undercover : 0.00 0 0
1800.07/1800.63 c nlp : 0.00 0 0
1800.07/1800.63 c trysol : 0.00 0 0
1800.07/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.63 c primal LP : 0.01 0 0 0.00 0.00
1800.07/1800.63 c dual LP : 1467.89 102834 4831733 46.99 3291.62
1800.07/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.63 c strong branching : 152.37 5408 536752 99.25 3522.69
1800.07/1800.63 c (at root node) : - 10 4130 413.00 -
1800.07/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.63 c B&B Tree :
1800.07/1800.63 c number of runs : 1
1800.07/1800.63 c nodes : 105673
1800.07/1800.63 c nodes (total) : 105673
1800.07/1800.63 c nodes left : 235
1800.07/1800.63 c max depth : 54
1800.07/1800.63 c max depth (total): 54
1800.07/1800.63 c backtracks : 12210 (11.6%)
1800.07/1800.63 c delayed cutoffs : 687
1800.07/1800.63 c repropagations : 105800 (186011 domain reductions, 685 cutoffs)
1800.07/1800.63 c avg switch length: 4.15
1800.07/1800.63 c switching time : 28.40
1800.07/1800.63 c Solution :
1800.07/1800.63 c Solutions found : 0 (0 improvements)
1800.07/1800.63 c Primal Bound : -
1800.07/1800.63 c Dual Bound : +0.00000000000000e+00
1800.07/1800.63 c Gap : infinite
1800.07/1800.63 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.63 c Root Iterations : 1258
1800.07/1800.65 c Time complete: 1800.12.
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-2665865-1276304091/watcher-2665865-1276304091 -o /tmp/evaluation-result-2665865-1276304091/solver-2665865-1276304091 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665865-1276304091.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.01 1.00 2/106 5847 /proc/meminfo: memFree=1543864/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=6356 CPUtime=0 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 593 0 0 0 0 0 0 0 19 0 1 0 4064479 6508544 514 1992294400 4194304 9819077 140733368558064 18446744073709551615 8672729 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5847/statm: 1589 515 338 1374 0 210 0 [startup+0.0923319 s] /proc/loadavg: 1.00 1.01 1.00 2/106 5847 /proc/meminfo: memFree=1543864/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=17184 CPUtime=0.08 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 3687 0 0 0 7 1 0 0 19 0 1 0 4064479 17596416 2997 1992294400 4194304 9819077 140733368558064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 4296 2997 487 1374 0 2917 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17184 [startup+0.101333 s] /proc/loadavg: 1.00 1.01 1.00 2/106 5847 /proc/meminfo: memFree=1543864/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=17344 CPUtime=0.08 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 3744 0 0 0 7 1 0 0 19 0 1 0 4064479 17760256 3054 1992294400 4194304 9819077 140733368558064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 4336 3054 489 1374 0 2957 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17344 [startup+0.301349 s] /proc/loadavg: 1.00 1.01 1.00 2/106 5847 /proc/meminfo: memFree=1543864/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38080 CPUtime=0.29 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 10940 0 0 0 24 5 0 0 20 0 1 0 4064479 38993920 7380 1992294400 4194304 9819077 140733368558064 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9520 7389 670 1374 0 8141 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38080 [startup+0.701381 s] /proc/loadavg: 1.00 1.01 1.00 2/106 5847 /proc/meminfo: memFree=1543864/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=28036 CPUtime=0.69 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 12987 0 0 0 61 8 0 0 20 0 1 0 4064479 28708864 5945 1992294400 4194304 9819077 140733368558064 18446744073709551615 6047040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 7009 5945 692 1374 0 5630 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28036 [startup+1.50144 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5848 /proc/meminfo: memFree=1520916/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=31752 CPUtime=1.49 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 13952 0 0 0 140 9 0 0 23 0 1 0 4064479 32514048 6834 1992294400 4194304 9819077 140733368558064 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 7938 6834 694 1374 0 6559 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31752 [startup+3.10157 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5848 /proc/meminfo: memFree=1518684/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37168 CPUtime=3.08 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 15018 0 0 0 298 10 0 0 25 0 1 0 4064479 38060032 7425 1992294400 4194304 9819077 140733368558064 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9292 7425 700 1374 0 7913 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 37168 [startup+6.30083 s] /proc/loadavg: 1.00 1.01 1.00 3/107 5848 /proc/meminfo: memFree=1516080/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37016 CPUtime=6.28 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 17314 0 0 0 616 12 0 0 25 0 1 0 4064479 37904384 7485 1992294400 4194304 9819077 140733368558064 18446744073709551615 7296884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9254 7485 720 1374 0 7875 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37016 [startup+12.7003 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5848 /proc/meminfo: memFree=1515832/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37176 CPUtime=12.68 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 20819 0 0 0 1251 17 0 0 25 0 1 0 4064479 38068224 7498 1992294400 4194304 9819077 140733368558064 18446744073709551615 7311981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9294 7498 720 1374 0 7915 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37176 [startup+25.5014 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5848 /proc/meminfo: memFree=1515832/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37192 CPUtime=25.48 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 33675 0 0 0 2517 31 0 0 25 0 1 0 4064479 38084608 7496 1992294400 4194304 9819077 140733368558064 18446744073709551615 6196207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9298 7496 722 1374 0 7919 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37192 [startup+51.1014 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5848 /proc/meminfo: memFree=1515832/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=35292 CPUtime=51.07 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 61278 0 0 0 5040 67 0 0 25 0 1 0 4064479 36139008 7518 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 8823 7518 724 1374 0 7444 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35292 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5850 /proc/meminfo: memFree=1515584/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=35732 CPUtime=102.25 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 177021 0 0 0 10065 160 0 0 25 0 1 0 4064479 36589568 7509 1992294400 4194304 9819077 140733368558064 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 8933 7510 724 1374 0 7554 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 35732 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5852 /proc/meminfo: memFree=1515460/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=36320 CPUtime=162.24 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 367313 0 0 0 15933 291 0 0 25 0 1 0 4064479 37191680 7532 1992294400 4194304 9819077 140733368558064 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9080 7532 724 1374 0 7701 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 36320 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5854 /proc/meminfo: memFree=1515460/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=39128 CPUtime=222.21 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 585205 0 0 0 21792 429 0 0 25 0 1 0 4064479 40067072 7546 1992294400 4194304 9819077 140733368558064 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9782 7546 724 1374 0 8403 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 39128 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5854 /proc/meminfo: memFree=1515336/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=36720 CPUtime=282.21 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 813295 0 0 0 27645 576 0 0 25 0 1 0 4064479 37601280 7594 1992294400 4194304 9819077 140733368558064 18446744073709551615 7317717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9180 7594 724 1374 0 7801 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 36720 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1515336/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=36784 CPUtime=342.19 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 1048292 0 0 0 33489 730 0 0 25 0 1 0 4064479 37666816 7590 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9196 7590 724 1374 0 7817 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 36784 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5867 /proc/meminfo: memFree=1514468/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37036 CPUtime=402.16 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 1295493 0 0 0 39323 893 0 0 25 0 1 0 4064479 37924864 7609 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9259 7609 724 1374 0 7880 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 37036 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5869 /proc/meminfo: memFree=1514468/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37100 CPUtime=462.14 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 1559184 0 0 0 45157 1057 0 0 25 0 1 0 4064479 37990400 7596 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9275 7596 724 1374 0 7896 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 37100 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5871 /proc/meminfo: memFree=1514592/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=36180 CPUtime=522.13 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 1837067 0 0 0 50986 1227 0 0 25 0 1 0 4064479 37048320 7573 1992294400 4194304 9819077 140733368558064 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9045 7573 724 1374 0 7666 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 36180 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5871 /proc/meminfo: memFree=1514592/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37024 CPUtime=582.11 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 2117542 0 0 0 56815 1396 0 0 25 0 1 0 4064479 37912576 7593 1992294400 4194304 9819077 140733368558064 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9256 7593 724 1374 0 7877 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 37024 [startup+642.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5873 /proc/meminfo: memFree=1514468/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37400 CPUtime=642.1 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 2395286 0 0 0 62643 1567 0 0 25 0 1 0 4064479 38297600 7676 1992294400 4194304 9819077 140733368558064 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9350 7676 724 1374 0 7971 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 37400 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5879 /proc/meminfo: memFree=1513724/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37584 CPUtime=822.03 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 3247821 0 0 0 80119 2084 0 0 25 0 1 0 4064479 38486016 7745 1992294400 4194304 9819077 140733368558064 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9396 7745 724 1374 0 8017 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 37584 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5879 /proc/meminfo: memFree=1513476/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37876 CPUtime=882.03 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 3519911 0 0 0 85948 2255 0 0 25 0 1 0 4064479 38785024 7786 1992294400 4194304 9819077 140733368558064 18446744073709551615 6449645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9469 7786 724 1374 0 8090 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 37876 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5881 /proc/meminfo: memFree=1513476/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37840 CPUtime=942 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 3788025 0 0 0 91777 2423 0 0 25 0 1 0 4064479 38748160 7819 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9460 7819 724 1374 0 8081 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 37840 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5883 /proc/meminfo: memFree=1513476/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37900 CPUtime=1001.99 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 4061380 0 0 0 97605 2594 0 0 25 0 1 0 4064479 38809600 7807 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9475 7807 724 1374 0 8096 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 37900 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5885 /proc/meminfo: memFree=1513352/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=37908 CPUtime=1061.97 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 4336259 0 0 0 103438 2759 0 0 25 0 1 0 4064479 38817792 7803 1992294400 4194304 9819077 140733368558064 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9477 7803 724 1374 0 8098 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 37908 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5887 /proc/meminfo: memFree=1513228/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38224 CPUtime=1121.95 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 4616561 0 0 0 109271 2924 0 0 25 0 1 0 4064479 39141376 7911 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9556 7912 724 1374 0 8177 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 38224 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5887 /proc/meminfo: memFree=1512856/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38384 CPUtime=1181.93 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 4886160 0 0 0 115096 3097 0 0 25 0 1 0 4064479 39305216 7916 1992294400 4194304 9819077 140733368558064 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9596 7916 724 1374 0 8217 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 38384 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5889 /proc/meminfo: memFree=1512856/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38444 CPUtime=1241.91 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 5155752 0 0 0 120929 3262 0 0 25 0 1 0 4064479 39366656 7937 1992294400 4194304 9819077 140733368558064 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9611 7937 724 1374 0 8232 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 38444 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5891 /proc/meminfo: memFree=1512732/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38420 CPUtime=1301.9 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 5419333 0 0 0 126771 3419 0 0 25 0 1 0 4064479 39342080 7926 1992294400 4194304 9819077 140733368558064 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9605 7926 724 1374 0 8226 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 38420 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5893 /proc/meminfo: memFree=1512732/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38380 CPUtime=1361.88 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 5689779 0 0 0 132600 3588 0 0 25 0 1 0 4064479 39301120 7923 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9595 7923 724 1374 0 8216 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 38380 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5895 /proc/meminfo: memFree=1512856/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38484 CPUtime=1421.88 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 5965626 0 0 0 138434 3754 0 0 25 0 1 0 4064479 39407616 7931 1992294400 4194304 9819077 140733368558064 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9621 7931 724 1374 0 8242 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 38484 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5895 /proc/meminfo: memFree=1512608/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38484 CPUtime=1481.85 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 6246769 0 0 0 144265 3920 0 0 25 0 1 0 4064479 39407616 7942 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291104 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9621 7942 724 1374 0 8242 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 38484 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5897 /proc/meminfo: memFree=1512608/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38488 CPUtime=1541.83 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 6511499 0 0 0 150095 4088 0 0 25 0 1 0 4064479 39411712 7950 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9622 7950 724 1374 0 8243 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 38488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5899 /proc/meminfo: memFree=1512732/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38516 CPUtime=1601.81 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 6767172 0 0 0 155940 4241 0 0 25 0 1 0 4064479 39440384 7938 1992294400 4194304 9819077 140733368558064 18446744073709551615 7317607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9629 7938 724 1374 0 8250 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 38516 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5901 /proc/meminfo: memFree=1512608/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38456 CPUtime=1661.8 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 7040626 0 0 0 161777 4403 0 0 25 0 1 0 4064479 39378944 7940 1992294400 4194304 9819077 140733368558064 18446744073709551615 6628389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9614 7940 724 1374 0 8235 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 38456 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5903 /proc/meminfo: memFree=1512484/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38548 CPUtime=1721.79 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 7304216 0 0 0 167613 4566 0 0 25 0 1 0 4064479 39473152 7983 1992294400 4194304 9819077 140733368558064 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9637 7983 724 1374 0 8258 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 38548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1512236/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38524 CPUtime=1781.77 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 7580549 0 0 0 173443 4734 0 0 25 0 1 0 4064479 39448576 7974 1992294400 4194304 9819077 140733368558064 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9631 7974 724 1374 0 8252 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 38524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5905 /proc/meminfo: memFree=1512236/2059040 swapFree=4192956/4192956 [pid=5847] ppid=5845 vsize=38556 CPUtime=1800.07 /proc/5847/stat : 5847 (pbscip.linux.x8) R 5845 5847 5046 0 -1 4202496 7660947 0 0 0 175222 4785 0 0 25 0 1 0 4064479 39481344 7953 1992294400 4194304 9819077 140733368558064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5847/statm: 9639 7953 724 1374 0 8260 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 38556 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.66 CPU time (s): 1800.13 CPU user time (s): 1752.26 CPU system time (s): 47.8617 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 41748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1752.26 system time used= 47.8617 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7661002 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= 3 involuntary context switches= 2797 runsolver used 3.10353 second user time and 8.37873 second system time The end
Begin job on node026 at 2010-06-12 02:54:51 IDJOB=2665865 IDBENCH=1337 IDSOLVER=1168 FILE ID=node026/2665865-1276304091 PBS_JOBID= 11173112 Free space on /tmp= 62508 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665865-1276304091/watcher-2665865-1276304091 -o /tmp/evaluation-result-2665865-1276304091/solver-2665865-1276304091 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665865-1276304091.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= df3a88f9ce76cdc5f93bc528741f3e95 RANDOM SEED=1569464157 node026.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.201 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.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1544392 kB Buffers: 73320 kB Cached: 314352 kB SwapCached: 0 kB Active: 176252 kB Inactive: 270524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1544392 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6348 kB Writeback: 8 kB AnonPages: 59156 kB Mapped: 15412 kB Slab: 46160 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181328 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= 62504 MiB End job on node026 at 2010-06-12 03:24:53