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.05 | 1800.65 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb |
MD5SUM | d36c8f083b4352ee7b6379767e1c28ad |
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 | 56.3044 |
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 | 727 |
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-2665563-1276311181.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.11 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 22 constraints of type <setppc> 0.09/0.14 c 2541 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.06 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.2 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1799.96 0.09/0.14 c 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 1620 0.09/0.14 c 0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c limits/solutions = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.14 c separating/maxrounds = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/maxroundsroot = 5 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.14 c constraints/knapsack/disaggregation = FALSE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c presolving/probing/maxrounds = 0 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/coefdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.14 c heuristics/crossover/freq = -1 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/crossover/nodesofs = 750 0.09/0.14 c 0.09/0.14 c # number of nodes without incumbent change that heuristic should wait 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.14 c heuristics/crossover/nwaitingnodes = 100 0.09/0.14 c 0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.14 c # [type: real, range: [0,1], default: 0.1] 0.09/0.14 c heuristics/crossover/nodesquot = 0.15 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixed 0.09/0.14 c # [type: real, range: [0,1], default: 0.666] 0.09/0.14 c heuristics/crossover/minfixingrate = 0.5 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/feaspump/freq = -1 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/fracdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/guideddiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/intshifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/linesearchdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/nlp/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/objpscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 66 | - |3551k| 0 | 39 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.58 c 0.5s| 1 | 0 | 214 | - |4053k| 0 | 65 | 231 |2732 | 231 |2572 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.08 c 0.9s| 1 | 0 | 416 | - |4293k| 0 | 76 | 231 |2732 | 231 |2575 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.42 c 1.3s| 1 | 0 | 464 | - |4931k| 0 | 81 | 231 |2732 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.93 c 1.8s| 1 | 0 | 514 | - |5482k| 0 | 84 | 231 |2732 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.43 c 2.3s| 1 | 0 | 607 | - |5505k| 0 | 85 | 231 |2732 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 5.49/5.60 c 5.4s| 1 | 2 | 607 | - |5506k| 0 | 85 | 231 |2732 | 231 |2584 | 20 | 0 | 10 | 0.000000e+00 | -- | Inf 191.53/191.68 c 188s| 10000 | 118 |396631 | 39.6 |7125k| 40 | 43 | 231 |5309 | 231 |2573 | 20 |4266 |1603 | 0.000000e+00 | -- | Inf 336.49/336.67 c 329s| 20000 | 93 |791075 | 39.5 |7457k| 51 | - | 231 |5972 | 231 |2573 | 20 |8789 |2091 | 0.000000e+00 | -- | Inf 496.62/496.86 c 484s| 30000 | 90 | 1224k| 40.8 |7873k| 51 | 27 | 231 |6751 | 231 |2573 | 20 | 13k|2657 | 0.000000e+00 | -- | Inf 655.97/656.20 c 639s| 40000 | 218 | 1657k| 41.4 |8840k| 51 | - | 231 |8018 | 231 |2573 | 20 | 17k|3196 | 0.000000e+00 | -- | Inf 814.03/814.32 c 792s| 50000 | 230 | 2092k| 41.8 |9279k| 51 | - | 231 |8626 | 231 |2573 | 20 | 21k|3662 | 0.000000e+00 | -- | Inf 973.28/973.61 c 947s| 60000 | 219 | 2536k| 42.3 |8582k| 51 | 23 | 231 |6487 | 231 |2573 | 20 | 26k|4057 | 0.000000e+00 | -- | Inf 1132.12/1132.50 c 1102s| 70000 | 242 | 2983k| 42.6 |8631k| 63 | 40 | 231 |6449 | 231 |2573 | 20 | 30k|4419 | 0.000000e+00 | -- | Inf 1286.47/1286.94 c 1252s| 80000 | 234 | 3414k| 42.7 |8545k| 63 | 49 | 231 |6272 | 231 |2573 | 20 | 35k|4785 | 0.000000e+00 | -- | Inf 1442.20/1442.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1442.20/1442.74 c 1403s| 90000 | 211 | 3850k| 42.8 |8463k| 63 | 36 | 231 |6118 | 231 |2573 | 20 | 39k|5152 | 0.000000e+00 | -- | Inf 1588.26/1588.86 c 1545s|100000 | 186 | 4261k| 42.6 |8357k| 63 | - | 231 |5775 | 231 |2573 | 20 | 44k|5389 | 0.000000e+00 | -- | Inf 1749.61/1750.20 c 1701s|110000 | 129 | 4719k| 42.9 |8063k| 63 | 34 | 231 |5413 | 231 |2573 | 20 | 48k|5755 | 0.000000e+00 | -- | Inf 1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.01/1800.62 c 1800.01/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.62 c Solving Time (sec) : 1750.25 1800.01/1800.62 c Solving Nodes : 113407 1800.01/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.01/1800.62 c Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Gap : infinite 1800.01/1800.62 s UNKNOWN 1800.01/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.62 c Solving Time : 1750.25 1800.01/1800.62 c Original Problem : 1800.01/1800.62 c Problem name : HOME/instance-2665563-1276311181.opb 1800.01/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.01/1800.62 c Presolved Problem : 1800.01/1800.62 c Problem name : t_HOME/instance-2665563-1276311181.opb 1800.01/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.62 c Constraints : 2564 initial, 9020 maximal 1800.01/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.01/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0 1800.01/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.01/1800.62 c root node : - 0 - - 0 - - - - 1800.01/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.01/1800.62 c integral : 0 0 0 58384 0 231 1893 0 0 114058 1800.01/1800.62 c knapsack : 1 5 358403 0 0 676 192790 0 0 0 1800.01/1800.62 c setppc : 22 5 357983 0 0 2151 592947 0 0 0 1800.01/1800.62 c linear : 0+ 5 250276 0 0 6 3579 0 0 0 1800.01/1800.62 c logicor : 2541+ 5 204552 0 0 737 725793 0 0 0 1800.01/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.01/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.01/1800.62 c integral : 144.91 0.00 0.00 144.91 0.00 1800.01/1800.62 c knapsack : 3.38 0.01 3.37 0.00 0.00 1800.01/1800.62 c setppc : 5.56 0.00 5.56 0.00 0.00 1800.01/1800.62 c linear : 1.60 0.00 1.60 0.00 0.00 1800.01/1800.62 c logicor : 28.00 0.00 28.00 0.00 0.00 1800.01/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.01/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.01/1800.62 c vbounds : 0.33 1 0 0 1800.01/1800.62 c rootredcost : 0.20 0 0 0 1800.01/1800.62 c pseudoobj : 0.17 0 0 0 1800.01/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.01/1800.62 c propagation : 0.20 3570 3555 18300 23.2 47 20.6 - 1800.01/1800.62 c infeasible LP : 20.72 53113 38299 226583 36.2 162 17.0 0 1800.01/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.01/1800.62 c applied globally : - - - 44918 20.2 - - - 1800.01/1800.62 c applied locally : - - - 4964 34.5 - - - 1800.01/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.01/1800.62 c cut pool : 0.00 4 - - 16 - (maximal pool size: 444) 1800.01/1800.62 c redcost : 0.59 57331 0 0 0 0 1800.01/1800.62 c impliedbounds : 0.00 5 0 0 0 0 1800.01/1800.62 c intobj : 0.00 0 0 0 0 0 1800.01/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.01/1800.62 c gomory : 0.96 5 0 0 613 0 1800.01/1800.62 c strongcg : 0.78 5 0 0 1736 0 1800.01/1800.62 c cmir : 0.00 0 0 0 0 0 1800.01/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.01/1800.62 c clique : 0.00 5 0 0 0 0 1800.01/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.01/1800.62 c mcf : 0.00 1 0 0 0 0 1800.01/1800.62 c rapidlearning : 0.20 1 0 0 0 168 1800.01/1800.62 c Pricers : Time Calls Vars 1800.01/1800.62 c problem variables: 0.00 0 0 1800.01/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.01/1800.62 c relpscost : 144.82 58384 231 1893 0 0 114058 1800.01/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.01/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.01/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.01/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.01/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.62 c random : 0.00 0 0 0 0 0 0 1800.01/1800.62 c Primal Heuristics : Time Calls Found 1800.01/1800.62 c LP solutions : 0.00 - 0 1800.01/1800.62 c pseudo solutions : 0.00 - 0 1800.01/1800.62 c trivial : 0.00 1 0 1800.01/1800.62 c simplerounding : 0.00 0 0 1800.01/1800.62 c zirounding : 0.00 0 0 1800.01/1800.62 c rounding : 0.00 0 0 1800.01/1800.62 c shifting : 0.00 0 0 1800.01/1800.62 c intshifting : 0.00 0 0 1800.01/1800.62 c oneopt : 0.00 0 0 1800.01/1800.62 c twoopt : 0.00 0 0 1800.01/1800.62 c fixandinfer : 0.00 0 0 1800.01/1800.62 c feaspump : 0.00 0 0 1800.01/1800.62 c coefdiving : 0.00 0 0 1800.01/1800.62 c pscostdiving : 0.00 0 0 1800.01/1800.62 c fracdiving : 0.00 0 0 1800.01/1800.62 c veclendiving : 0.00 0 0 1800.01/1800.62 c intdiving : 0.00 0 0 1800.01/1800.62 c actconsdiving : 0.00 0 0 1800.01/1800.62 c objpscostdiving : 0.00 0 0 1800.01/1800.62 c rootsoldiving : 0.00 0 0 1800.01/1800.62 c linesearchdiving : 0.00 0 0 1800.01/1800.62 c guideddiving : 0.00 0 0 1800.01/1800.62 c octane : 0.00 0 0 1800.01/1800.62 c rens : 0.00 0 0 1800.01/1800.62 c rins : 0.00 0 0 1800.01/1800.62 c localbranching : 0.00 0 0 1800.01/1800.62 c mutation : 0.00 0 0 1800.01/1800.62 c crossover : 0.00 0 0 1800.01/1800.62 c dins : 0.00 0 0 1800.01/1800.62 c undercover : 0.00 0 0 1800.01/1800.62 c nlp : 0.00 0 0 1800.01/1800.62 c trysol : 0.00 0 0 1800.01/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.01/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.01/1800.62 c dual LP : 1466.93 111391 4865799 43.68 3316.99 1800.01/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.01/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.01/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.01/1800.62 c strong branching : 142.30 5815 516844 88.88 3632.07 1800.01/1800.62 c (at root node) : - 10 7625 762.50 - 1800.01/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.01/1800.62 c B&B Tree : 1800.01/1800.62 c number of runs : 1 1800.01/1800.62 c nodes : 113407 1800.01/1800.62 c nodes (total) : 113407 1800.01/1800.62 c nodes left : 113 1800.01/1800.62 c max depth : 63 1800.01/1800.62 c max depth (total): 63 1800.01/1800.62 c backtracks : 13214 (11.7%) 1800.01/1800.62 c delayed cutoffs : 539 1800.01/1800.62 c repropagations : 113567 (170373 domain reductions, 536 cutoffs) 1800.01/1800.62 c avg switch length: 4.15 1800.01/1800.62 c switching time : 31.53 1800.01/1800.62 c Solution : 1800.01/1800.62 c Solutions found : 0 (0 improvements) 1800.01/1800.62 c Primal Bound : - 1800.01/1800.62 c Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Gap : infinite 1800.01/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Root Iterations : 607 1800.01/1800.65 c Time complete: 1800.05.
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-2665563-1276311181/watcher-2665563-1276311181 -o /tmp/evaluation-result-2665563-1276311181/solver-2665563-1276311181 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665563-1276311181.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 7587 /proc/meminfo: memFree=1537056/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=9288 CPUtime=0 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 1071 0 0 0 0 0 0 0 20 0 1 0 6719841 9510912 992 1992294400 4194304 9819077 140736814061856 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7587/statm: 2322 1003 371 1374 0 943 0 [startup+0.0983871 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7587 /proc/meminfo: memFree=1537056/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=17344 CPUtime=0.09 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 3744 0 0 0 8 1 0 0 20 0 1 0 6719841 17760256 3054 1992294400 4194304 9819077 140736814061856 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 4336 3054 489 1374 0 2957 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17344 [startup+0.101385 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7587 /proc/meminfo: memFree=1537056/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=17764 CPUtime=0.09 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 3824 0 0 0 8 1 0 0 20 0 1 0 6719841 18190336 3134 1992294400 4194304 9819077 140736814061856 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 4441 3134 489 1374 0 3062 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17764 [startup+0.301407 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7587 /proc/meminfo: memFree=1537056/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=37284 CPUtime=0.29 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 10706 0 0 0 24 5 0 0 20 0 1 0 6719841 38178816 7394 1992294400 4194304 9819077 140736814061856 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9321 7394 670 1374 0 7942 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37284 [startup+0.701451 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7587 /proc/meminfo: memFree=1537056/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=29024 CPUtime=0.69 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 13243 0 0 0 61 8 0 0 20 0 1 0 6719841 29720576 6191 1992294400 4194304 9819077 140736814061856 18446744073709551615 6044154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 7256 6191 692 1374 0 5877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29024 [startup+1.50054 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7588 /proc/meminfo: memFree=1514356/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=31380 CPUtime=1.49 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 13746 0 0 0 140 9 0 0 22 0 1 0 6719841 32133120 6691 1992294400 4194304 9819077 140736814061856 18446744073709551615 6046049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 7845 6691 694 1374 0 6466 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31380 [startup+3.10072 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7588 /proc/meminfo: memFree=1510760/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=37620 CPUtime=3.09 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 15278 0 0 0 298 11 0 0 25 0 1 0 6719841 38522880 7317 1992294400 4194304 9819077 140736814061856 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9405 7317 700 1374 0 8026 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37620 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7588 /proc/meminfo: memFree=1510016/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=36264 CPUtime=6.29 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 19317 0 0 0 616 13 0 0 25 0 1 0 6719841 37134336 7246 1992294400 4194304 9819077 140736814061856 18446744073709551615 6191199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9066 7246 707 1374 0 7687 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36264 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7588 /proc/meminfo: memFree=1510016/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=36484 CPUtime=12.69 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 30615 0 0 0 1247 22 0 0 25 0 1 0 6719841 37359616 7258 1992294400 4194304 9819077 140736814061856 18446744073709551615 7296884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9121 7258 722 1374 0 7742 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36484 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7588 /proc/meminfo: memFree=1510016/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=36428 CPUtime=25.49 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 52845 0 0 0 2510 39 0 0 25 0 1 0 6719841 37302272 7271 1992294400 4194304 9819077 140736814061856 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9107 7271 722 1374 0 7728 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36428 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7588 /proc/meminfo: memFree=1510016/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=37008 CPUtime=51.06 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 95815 0 0 0 5029 77 0 0 25 0 1 0 6719841 37896192 7266 1992294400 4194304 9819077 140736814061856 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9252 7266 724 1374 0 7873 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 37008 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7590 /proc/meminfo: memFree=1509892/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=34648 CPUtime=102.26 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 202534 0 0 0 10047 179 0 0 25 0 1 0 6719841 35479552 7266 1992294400 4194304 9819077 140736814061856 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 8662 7266 724 1374 0 7283 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34648 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7592 /proc/meminfo: memFree=1509768/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=34996 CPUtime=162.23 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 371748 0 0 0 15908 315 0 0 25 0 1 0 6719841 35835904 7304 1992294400 4194304 9819077 140736814061856 18446744073709551615 7304799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 8749 7304 724 1374 0 7370 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 34996 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7594 /proc/meminfo: memFree=1509520/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=35432 CPUtime=222.22 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 589174 0 0 0 21759 463 0 0 25 0 1 0 6719841 36282368 7351 1992294400 4194304 9819077 140736814061856 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 8858 7351 724 1374 0 7479 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 35432 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7596 /proc/meminfo: memFree=1509396/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=35660 CPUtime=282.19 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 824288 0 0 0 27592 627 0 0 25 0 1 0 6719841 36515840 7369 1992294400 4194304 9819077 140736814061856 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 8915 7369 724 1374 0 7536 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 35660 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7596 /proc/meminfo: memFree=1509396/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=35936 CPUtime=342.18 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 1062081 0 0 0 33434 784 0 0 25 0 1 0 6719841 36798464 7366 1992294400 4194304 9819077 140736814061856 18446744073709551615 6367511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 8941 7364 724 1374 0 7562 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 35936 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7598 /proc/meminfo: memFree=1509024/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=36504 CPUtime=402.16 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 1342162 0 0 0 39259 957 0 0 25 0 1 0 6719841 37380096 7462 1992294400 4194304 9819077 140736814061856 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9126 7462 724 1374 0 7747 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 36504 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7600 /proc/meminfo: memFree=1509024/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=36532 CPUtime=462.14 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 1618440 0 0 0 45090 1124 0 0 25 0 1 0 6719841 37408768 7445 1992294400 4194304 9819077 140736814061856 18446744073709551615 7326365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9133 7445 724 1374 0 7754 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 36532 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7611 /proc/meminfo: memFree=1508528/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=39668 CPUtime=522.11 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 1898062 0 0 0 50915 1296 0 0 25 0 1 0 6719841 40620032 7523 1992294400 4194304 9819077 140736814061856 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9917 7523 724 1374 0 8538 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 39668 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7613 /proc/meminfo: memFree=1508280/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=36904 CPUtime=582.09 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 2193839 0 0 0 56729 1480 0 0 25 0 1 0 6719841 37789696 7572 1992294400 4194304 9819077 140736814061856 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9226 7572 724 1374 0 7847 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 36904 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7613 /proc/meminfo: memFree=1508032/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=36976 CPUtime=642.09 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 2475899 0 0 0 62560 1649 0 0 25 0 1 0 6719841 37863424 7578 1992294400 4194304 9819077 140736814061856 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9244 7578 724 1374 0 7865 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 36976 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7619 /proc/meminfo: memFree=1506420/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38728 CPUtime=822.03 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 3327144 0 0 0 80026 2177 0 0 25 0 1 0 6719841 39657472 8031 1992294400 4194304 9819077 140736814061856 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9682 8031 724 1374 0 8303 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 38728 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7621 /proc/meminfo: memFree=1506172/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38788 CPUtime=882 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 3610507 0 0 0 85847 2353 0 0 25 0 1 0 6719841 39718912 8015 1992294400 4194304 9819077 140736814061856 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9697 8015 724 1374 0 8318 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 38788 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7621 /proc/meminfo: memFree=1506048/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38944 CPUtime=941.98 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 3890924 0 0 0 91679 2519 0 0 25 0 1 0 6719841 39878656 8046 1992294400 4194304 9819077 140736814061856 18446744073709551615 7317694 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9736 8046 724 1374 0 8357 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 38944 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7623 /proc/meminfo: memFree=1506048/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38940 CPUtime=1001.96 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 4165313 0 0 0 97511 2685 0 0 25 0 1 0 6719841 39874560 8047 1992294400 4194304 9819077 140736814061856 18446744073709551615 6590543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9735 8047 724 1374 0 8356 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 38940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7625 /proc/meminfo: memFree=1506048/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38904 CPUtime=1061.95 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 4442224 0 0 0 103337 2858 0 0 25 0 1 0 6719841 39837696 8049 1992294400 4194304 9819077 140736814061856 18446744073709551615 7289508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9726 8049 724 1374 0 8347 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 38904 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7627 /proc/meminfo: memFree=1506048/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38812 CPUtime=1121.92 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 4714285 0 0 0 109166 3026 0 0 25 0 1 0 6719841 39743488 8061 1992294400 4194304 9819077 140736814061856 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9703 8061 724 1374 0 8324 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 38812 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7629 /proc/meminfo: memFree=1505924/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38908 CPUtime=1181.9 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 4997625 0 0 0 114992 3198 0 0 25 0 1 0 6719841 39841792 8045 1992294400 4194304 9819077 140736814061856 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9727 8045 724 1374 0 8348 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 38908 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7629 /proc/meminfo: memFree=1505676/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38904 CPUtime=1241.88 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 5277798 0 0 0 120821 3367 0 0 25 0 1 0 6719841 39837696 8066 1992294400 4194304 9819077 140736814061856 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9726 8066 724 1374 0 8347 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 38904 [startup+1302.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 7634 /proc/meminfo: memFree=1505304/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38972 CPUtime=1301.86 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 5556351 0 0 0 126645 3541 0 0 25 0 1 0 6719841 39907328 8064 1992294400 4194304 9819077 140736814061856 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9743 8064 724 1374 0 8364 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 38972 [startup+1362.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7636 /proc/meminfo: memFree=1505304/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38964 CPUtime=1361.83 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 5850180 0 0 0 132460 3723 0 0 25 0 1 0 6719841 39899136 8066 1992294400 4194304 9819077 140736814061856 18446744073709551615 6566461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9741 8066 724 1374 0 8362 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 38964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7638 /proc/meminfo: memFree=1505304/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=39024 CPUtime=1421.82 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 6126625 0 0 0 138289 3893 0 0 25 0 1 0 6719841 39960576 8068 1992294400 4194304 9819077 140736814061856 18446744073709551615 6566487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9756 8068 724 1374 0 8377 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 39024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7640 /proc/meminfo: memFree=1505304/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38900 CPUtime=1481.79 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 6418432 0 0 0 144107 4072 0 0 25 0 1 0 6719841 39833600 8069 1992294400 4194304 9819077 140736814061856 18446744073709551615 7318551 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9725 8069 724 1374 0 8346 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 38900 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7640 /proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=38616 CPUtime=1541.77 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 6711102 0 0 0 149931 4246 0 0 25 0 1 0 6719841 39542784 8101 1992294400 4194304 9819077 140736814061856 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9654 8101 724 1374 0 8275 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 38616 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7642 /proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=39140 CPUtime=1601.75 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 6979307 0 0 0 155764 4411 0 0 25 0 1 0 6719841 40079360 8130 1992294400 4194304 9819077 140736814061856 18446744073709551615 6823243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9785 8130 724 1374 0 8406 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 39140 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7644 /proc/meminfo: memFree=1505304/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=39112 CPUtime=1661.74 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 7257807 0 0 0 161590 4584 0 0 25 0 1 0 6719841 40050688 8123 1992294400 4194304 9819077 140736814061856 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9778 8123 724 1374 0 8399 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 39112 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7646 /proc/meminfo: memFree=1505304/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=42256 CPUtime=1721.72 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 7531815 0 0 0 167422 4750 0 0 25 0 1 0 6719841 43270144 8161 1992294400 4194304 9819077 140736814061856 18446744073709551615 6566461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 10564 8161 724 1374 0 9185 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 42256 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7648 /proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=39124 CPUtime=1781.69 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 7811466 0 0 0 173249 4920 0 0 25 0 1 0 6719841 40062976 8114 1992294400 4194304 9819077 140736814061856 18446744073709551615 6822880 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9781 8114 724 1374 0 8402 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 39124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7648 /proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956 [pid=7587] ppid=7585 vsize=39124 CPUtime=1800.01 /proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 6883 0 -1 4202496 7893336 0 0 0 175028 4973 0 0 25 0 1 0 6719841 40062976 8122 1992294400 4194304 9819077 140736814061856 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7587/statm: 9781 8122 724 1374 0 8402 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 39124 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.65 CPU time (s): 1800.05 CPU user time (s): 1750.31 CPU system time (s): 49.7414 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 42320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.31 system time used= 49.7414 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7893380 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= 4443 runsolver used 3.01754 second user time and 8.47971 second system time The end
Begin job on node009 at 2010-06-12 04:53:01 IDJOB=2665563 IDBENCH=1357 IDSOLVER=1168 FILE ID=node009/2665563-1276311181 PBS_JOBID= 11173144 Free space on /tmp= 62444 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.1900552288.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-2665563-1276311181/watcher-2665563-1276311181 -o /tmp/evaluation-result-2665563-1276311181/solver-2665563-1276311181 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665563-1276311181.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d36c8f083b4352ee7b6379767e1c28ad RANDOM SEED=1668713832 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: 1537708 kB Buffers: 79436 kB Cached: 314492 kB SwapCached: 0 kB Active: 179256 kB Inactive: 273784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1537708 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6368 kB Writeback: 0 kB AnonPages: 59004 kB Mapped: 15424 kB Slab: 46604 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180048 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= 62436 MiB End job on node009 at 2010-06-12 05:23:04