Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 1657.23 | 1657.71 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb |
MD5SUM | be6efe3218879d0d0c6c419c0919396c |
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 | 55.1916 |
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 | 683 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2666988-1276281933.opb> 0.01/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.01/0.06 c problem read 0.01/0.06 c No objective function, only one solution is needed. 0.01/0.06 c presolving settings loaded 0.01/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.07 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.18 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.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.4s| 1 | 0 | 102 | - |3977k| 0 | 43 | 231 |2751 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.70 c 0.6s| 1 | 0 | 119 | - |4546k| 0 | 45 | 231 |2751 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.06 c 0.9s| 1 | 0 | 137 | - |4898k| 0 | 52 | 231 |2751 | 231 |2583 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.43 c 1.3s| 1 | 0 | 153 | - |4941k| 0 | 52 | 231 |2751 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.81 c 1.6s| 1 | 0 | 192 | - |4968k| 0 | 56 | 231 |2751 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.53 c 2.4s| 1 | 2 | 192 | - |4969k| 0 | 56 | 231 |2751 | 231 |2589 | 25 | 0 | 10 | 0.000000e+00 | -- | Inf 157.84/157.90 c 154s| 10000 | 119 |269366 | 26.9 |7038k| 41 | 24 | 231 |6251 | 231 |2576 | 25 |6260 |2201 | 0.000000e+00 | -- | Inf 265.41/265.58 c 260s| 20000 | 133 |518937 | 25.9 |8047k| 43 | 20 | 231 |8416 | 231 |2576 | 25 | 12k|2439 | 0.000000e+00 | -- | Inf 382.38/382.55 c 374s| 30000 | 99 |777614 | 25.9 |8377k| 45 | 32 | 231 |9209 | 231 |2576 | 25 | 18k|3006 | 0.000000e+00 | -- | Inf 498.24/498.48 c 487s| 40000 | 102 | 1036k| 25.9 |9536k| 46 | - | 231 | 11k| 231 |2576 | 25 | 24k|3519 | 0.000000e+00 | -- | Inf 615.50/615.79 c 602s| 50000 | 127 | 1300k| 26.0 | 10M| 46 | - | 231 | 13k| 231 |2576 | 25 | 30k|3967 | 0.000000e+00 | -- | Inf 734.18/734.45 c 719s| 60000 | 111 | 1570k| 26.2 | 10M| 50 | 36 | 231 | 13k| 231 |2576 | 25 | 36k|4366 | 0.000000e+00 | -- | Inf 850.14/850.40 c 832s| 70000 | 118 | 1835k| 26.2 | 11M| 50 | 30 | 231 | 15k| 231 |2576 | 25 | 43k|4700 | 0.000000e+00 | -- | Inf 964.81/965.19 c 945s| 80000 | 119 | 2092k| 26.1 | 12M| 50 | 38 | 231 | 17k| 231 |2576 | 25 | 49k|5073 | 0.000000e+00 | -- | Inf 1085.28/1085.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1085.28/1085.60 c 1064s| 90000 | 70 | 2369k| 26.3 | 11M| 53 | 39 | 231 | 14k| 231 |2576 | 25 | 55k|5391 | 0.000000e+00 | -- | Inf 1199.44/1199.85 c 1176s|100000 | 96 | 2633k| 26.3 | 12M| 53 | 25 | 231 | 18k| 231 |2576 | 25 | 61k|5716 | 0.000000e+00 | -- | Inf 1315.22/1315.62 c 1291s|110000 | 81 | 2900k| 26.4 | 12M| 56 | - | 231 | 16k| 231 |2576 | 25 | 67k|5981 | 0.000000e+00 | -- | Inf 1429.68/1430.11 c 1403s|120000 | 63 | 3163k| 26.4 | 12M| 56 | 37 | 231 | 17k| 231 |2576 | 25 | 74k|6204 | 0.000000e+00 | -- | Inf 1551.04/1551.58 c 1522s|130000 | 24 | 3440k| 26.5 | 11M| 56 | 26 | 231 | 14k| 231 |2576 | 25 | 80k|6520 | 0.000000e+00 | -- | Inf 1657.11/1657.65 c 1657.11/1657.65 c SCIP Status : problem is solved [infeasible] 1657.11/1657.65 c Solving Time (sec) : 1625.74 1657.11/1657.65 c Solving Nodes : 139207 1657.11/1657.65 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1657.11/1657.65 c Dual Bound : +1.00000000000000e+20 1657.11/1657.65 c Gap : 0.00 % 1657.11/1657.65 s UNSATISFIABLE 1657.11/1657.65 c SCIP Status : problem is solved [infeasible] 1657.11/1657.65 c Solving Time : 1625.74 1657.11/1657.65 c Original Problem : 1657.11/1657.65 c Problem name : HOME/instance-2666988-1276281933.opb 1657.11/1657.65 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1657.11/1657.65 c Constraints : 2707 initial, 2707 maximal 1657.11/1657.65 c Presolved Problem : 1657.11/1657.65 c Problem name : t_HOME/instance-2666988-1276281933.opb 1657.11/1657.65 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1657.11/1657.65 c Constraints : 2564 initial, 18739 maximal 1657.11/1657.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1657.11/1657.65 c trivial : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.65 c dualfix : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.65 c boundshift : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.65 c implics : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.65 c probing : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.65 c knapsack : 0.01 0 0 0 0 0 0 0 0 1657.11/1657.65 c setppc : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.66 c linear : 0.02 0 0 0 0 0 143 0 0 1657.11/1657.66 c logicor : 0.00 0 0 0 0 0 0 0 0 1657.11/1657.66 c root node : - 21 - - 21 - - - - 1657.11/1657.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1657.11/1657.66 c integral : 0 0 0 71935 0 256 2676 0 0 140168 1657.11/1657.66 c knapsack : 1 5 531849 0 0 1031 251103 0 0 0 1657.11/1657.66 c setppc : 22 5 531220 0 0 3012 739542 0 0 0 1657.11/1657.66 c linear : 0+ 5 356925 0 0 29 5946 1 0 0 1657.11/1657.66 c logicor : 2541+ 5 263130 0 0 1092 916913 0 0 0 1657.11/1657.66 c countsols : 0 0 0 0 0 0 0 0 0 0 1657.11/1657.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1657.11/1657.66 c integral : 125.28 0.00 0.00 125.28 0.00 1657.11/1657.66 c knapsack : 4.52 0.00 4.52 0.00 0.00 1657.11/1657.66 c setppc : 8.48 0.00 8.48 0.00 0.00 1657.11/1657.66 c linear : 1.65 0.00 1.65 0.00 0.00 1657.11/1657.66 c logicor : 58.36 0.00 58.36 0.00 0.00 1657.11/1657.66 c countsols : 0.00 0.00 0.00 0.00 0.00 1657.11/1657.66 c Propagators : Time Calls Cutoffs DomReds 1657.11/1657.66 c vbounds : 0.32 1 0 0 1657.11/1657.66 c rootredcost : 0.28 0 0 0 1657.11/1657.66 c pseudoobj : 0.27 0 0 0 1657.11/1657.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1657.11/1657.66 c propagation : 0.52 5164 5139 29766 24.2 78 18.1 - 1657.11/1657.66 c infeasible LP : 28.34 64659 62433 404770 35.2 303 19.3 0 1657.11/1657.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1657.11/1657.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1657.11/1657.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1657.11/1657.66 c applied globally : - - - 79520 20.2 - - - 1657.11/1657.66 c applied locally : - - - 6532 34.7 - - - 1657.11/1657.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1657.11/1657.66 c cut pool : 0.00 4 - - 82 - (maximal pool size: 413) 1657.11/1657.66 c redcost : 0.65 70422 0 0 0 0 1657.11/1657.66 c impliedbounds : 0.00 5 0 0 0 0 1657.11/1657.66 c intobj : 0.00 0 0 0 0 0 1657.11/1657.66 c cgmip : 0.00 0 0 0 0 0 1657.11/1657.66 c gomory : 0.70 5 0 0 1159 0 1657.11/1657.66 c strongcg : 0.60 5 0 0 1745 0 1657.11/1657.66 c cmir : 0.00 0 0 0 0 0 1657.11/1657.66 c flowcover : 0.00 0 0 0 0 0 1657.11/1657.66 c clique : 0.01 5 0 0 0 0 1657.11/1657.66 c zerohalf : 0.00 0 0 0 0 0 1657.11/1657.66 c mcf : 0.00 1 0 0 0 0 1657.11/1657.66 c rapidlearning : 0.20 1 0 0 0 187 1657.11/1657.66 c Pricers : Time Calls Vars 1657.11/1657.66 c problem variables: 0.00 0 0 1657.11/1657.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1657.11/1657.66 c relpscost : 125.14 71935 256 2676 0 0 140168 1657.11/1657.66 c pscost : 0.00 0 0 0 0 0 0 1657.11/1657.66 c inference : 0.00 0 0 0 0 0 0 1657.11/1657.66 c mostinf : 0.00 0 0 0 0 0 0 1657.11/1657.66 c leastinf : 0.00 0 0 0 0 0 0 1657.11/1657.66 c fullstrong : 0.00 0 0 0 0 0 0 1657.11/1657.66 c allfullstrong : 0.00 0 0 0 0 0 0 1657.11/1657.66 c random : 0.00 0 0 0 0 0 0 1657.11/1657.66 c Primal Heuristics : Time Calls Found 1657.11/1657.66 c LP solutions : 0.00 - 0 1657.11/1657.66 c pseudo solutions : 0.00 - 0 1657.11/1657.66 c trivial : 0.01 1 0 1657.11/1657.66 c simplerounding : 0.00 0 0 1657.11/1657.66 c zirounding : 0.00 0 0 1657.11/1657.66 c rounding : 0.00 0 0 1657.11/1657.66 c shifting : 0.00 0 0 1657.11/1657.66 c intshifting : 0.00 0 0 1657.11/1657.66 c oneopt : 0.00 0 0 1657.11/1657.66 c twoopt : 0.00 0 0 1657.11/1657.66 c fixandinfer : 0.00 0 0 1657.11/1657.66 c feaspump : 0.00 0 0 1657.11/1657.66 c coefdiving : 0.00 0 0 1657.11/1657.66 c pscostdiving : 0.00 0 0 1657.11/1657.66 c fracdiving : 0.00 0 0 1657.11/1657.66 c veclendiving : 0.00 0 0 1657.11/1657.66 c intdiving : 0.00 0 0 1657.11/1657.66 c actconsdiving : 0.00 0 0 1657.11/1657.66 c objpscostdiving : 0.00 0 0 1657.11/1657.66 c rootsoldiving : 0.00 0 0 1657.11/1657.66 c linesearchdiving : 0.00 0 0 1657.11/1657.66 c guideddiving : 0.00 0 0 1657.11/1657.66 c octane : 0.00 0 0 1657.11/1657.66 c rens : 0.00 0 0 1657.11/1657.66 c rins : 0.00 0 0 1657.11/1657.66 c localbranching : 0.00 0 0 1657.11/1657.66 c mutation : 0.00 0 0 1657.11/1657.66 c crossover : 0.00 0 0 1657.11/1657.66 c dins : 0.00 0 0 1657.11/1657.66 c undercover : 0.00 0 0 1657.11/1657.66 c nlp : 0.00 0 0 1657.11/1657.66 c trysol : 0.00 0 0 1657.11/1657.66 c LP : Time Calls Iterations Iter/call Iter/sec 1657.11/1657.66 c primal LP : 0.00 0 0 0.00 - 1657.11/1657.66 c dual LP : 1264.53 136235 3678509 27.00 2908.99 1657.11/1657.66 c lex dual LP : 0.00 0 0 0.00 - 1657.11/1657.66 c barrier LP : 0.00 0 0 0.00 - 1657.11/1657.66 c diving/probing LP: 0.00 0 0 0.00 - 1657.11/1657.66 c strong branching : 121.93 6739 344076 51.06 2821.91 1657.11/1657.66 c (at root node) : - 10 1822 182.20 - 1657.11/1657.66 c conflict analysis: 0.00 0 0 0.00 - 1657.11/1657.66 c B&B Tree : 1657.11/1657.66 c number of runs : 1 1657.11/1657.66 c nodes : 139207 1657.11/1657.66 c nodes (total) : 139207 1657.11/1657.66 c nodes left : 0 1657.11/1657.66 c max depth : 56 1657.11/1657.66 c max depth (total): 56 1657.11/1657.66 c backtracks : 17031 (12.2%) 1657.11/1657.66 c delayed cutoffs : 962 1657.11/1657.66 c repropagations : 211414 (282179 domain reductions, 956 cutoffs) 1657.11/1657.66 c avg switch length: 4.74 1657.11/1657.66 c switching time : 52.70 1657.11/1657.66 c Solution : 1657.11/1657.66 c Solutions found : 0 (0 improvements) 1657.11/1657.66 c Primal Bound : infeasible 1657.11/1657.66 c Dual Bound : - 1657.11/1657.66 c Gap : 0.00 % 1657.11/1657.66 c Root Dual Bound : +0.00000000000000e+00 1657.11/1657.66 c Root Iterations : 192 1657.11/1657.70 c Time complete: 1657.22.
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-2666988-1276281933/watcher-2666988-1276281933 -o /tmp/evaluation-result-2666988-1276281933/solver-2666988-1276281933 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666988-1276281933.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.15 1.04 1.01 3/106 5724 /proc/meminfo: memFree=1800452/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=6692 CPUtime=0 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 851 0 0 0 0 0 0 0 19 0 1 0 3797204 6852608 770 1992294400 4194304 8223781 140737443746144 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5724/statm: 1673 780 338 984 0 686 0 [startup+0.0223611 s] /proc/loadavg: 1.15 1.04 1.01 3/106 5724 /proc/meminfo: memFree=1800452/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=9444 CPUtime=0.01 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1671 0 0 0 1 0 0 0 19 0 1 0 3797204 9670656 1590 1992294400 4194304 8223781 140737443746144 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5724/statm: 2361 1590 363 984 0 1374 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9444 [startup+0.100367 s] /proc/loadavg: 1.15 1.04 1.01 3/106 5724 /proc/meminfo: memFree=1800452/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=16096 CPUtime=0.09 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 3685 0 0 0 8 1 0 0 19 0 1 0 3797204 16482304 2983 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 4024 2984 443 984 0 3037 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16096 [startup+0.300385 s] /proc/loadavg: 1.15 1.04 1.01 3/106 5724 /proc/meminfo: memFree=1800452/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=29480 CPUtime=0.29 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 9474 0 0 0 24 5 0 0 20 0 1 0 3797204 30187520 6136 1992294400 4194304 8223781 140737443746144 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7370 6145 570 984 0 6383 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29480 [startup+0.700418 s] /proc/loadavg: 1.15 1.04 1.01 3/106 5724 /proc/meminfo: memFree=1800452/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=27336 CPUtime=0.69 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 13077 0 0 0 62 7 0 0 20 0 1 0 3797204 27992064 6001 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 6834 6001 583 984 0 5847 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27336 [startup+1.50049 s] /proc/loadavg: 1.15 1.04 1.01 2/107 5725 /proc/meminfo: memFree=1778000/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=29816 CPUtime=1.49 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 13694 0 0 0 140 9 0 0 23 0 1 0 3797204 30531584 6613 1992294400 4194304 8223781 140737443746144 18446744073709551615 6044376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7454 6613 583 984 0 6467 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29816 [startup+3.10062 s] /proc/loadavg: 1.14 1.04 1.01 2/107 5725 /proc/meminfo: memFree=1775644/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=29928 CPUtime=3.09 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 14342 0 0 0 297 12 0 0 25 0 1 0 3797204 30646272 6640 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7482 6640 584 984 0 6495 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29928 [startup+6.30189 s] /proc/loadavg: 1.14 1.04 1.01 2/107 5725 /proc/meminfo: memFree=1775396/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=30036 CPUtime=6.29 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 18556 0 0 0 614 15 0 0 25 0 1 0 3797204 30756864 6650 1992294400 4194304 8223781 140737443746144 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7509 6650 584 984 0 6522 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30036 [startup+12.7014 s] /proc/loadavg: 1.19 1.06 1.01 2/107 5725 /proc/meminfo: memFree=1775272/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=29928 CPUtime=12.69 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 25530 0 0 0 1242 27 0 0 25 0 1 0 3797204 30646272 6640 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7482 6640 584 984 0 6495 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29928 [startup+25.5005 s] /proc/loadavg: 1.16 1.05 1.01 2/107 5725 /proc/meminfo: memFree=1775272/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=30024 CPUtime=25.49 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 34725 0 0 0 2506 43 0 0 25 0 1 0 3797204 30744576 6661 1992294400 4194304 8223781 140737443746144 18446744073709551615 6446935 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7506 6661 586 984 0 6519 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30024 [startup+51.1007 s] /proc/loadavg: 1.10 1.05 1.01 2/107 5727 /proc/meminfo: memFree=1774900/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=30488 CPUtime=51.08 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 76098 0 0 0 5013 95 0 0 25 0 1 0 3797204 31219712 6740 1992294400 4194304 8223781 140737443746144 18446744073709551615 6568073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7622 6740 587 984 0 6635 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30488 [startup+102.308 s] /proc/loadavg: 1.08 1.05 1.01 2/107 5727 /proc/meminfo: memFree=1773536/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=31548 CPUtime=102.27 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 184806 0 0 0 10016 211 0 0 25 0 1 0 3797204 32305152 7049 1992294400 4194304 8223781 140737443746144 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 7887 7049 587 984 0 6900 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31548 [startup+162.3 s] /proc/loadavg: 1.07 1.06 1.01 2/107 5729 /proc/meminfo: memFree=1772048/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=32788 CPUtime=162.24 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 298684 0 0 0 15884 340 0 0 25 0 1 0 3797204 33574912 7346 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 8197 7346 588 984 0 7210 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32788 [startup+222.301 s] /proc/loadavg: 1.10 1.07 1.01 2/107 5731 /proc/meminfo: memFree=1771552/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=33352 CPUtime=222.22 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 405918 0 0 0 21749 473 0 0 25 0 1 0 3797204 34152448 7473 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 8338 7473 587 984 0 7351 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33352 [startup+282.301 s] /proc/loadavg: 1.04 1.06 1.01 2/107 5733 /proc/meminfo: memFree=1770312/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=34852 CPUtime=282.2 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 520851 0 0 0 27605 615 0 0 25 0 1 0 3797204 35688448 7844 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 8713 7844 590 984 0 7726 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34852 [startup+342.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 5735 /proc/meminfo: memFree=1769816/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=34920 CPUtime=342.19 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 665154 0 0 0 33455 764 0 0 25 0 1 0 3797204 35758080 7892 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 8730 7892 587 984 0 7743 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34920 [startup+402.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 5735 /proc/meminfo: memFree=1769568/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=35568 CPUtime=402.17 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 806646 0 0 0 39311 906 0 0 25 0 1 0 3797204 36421632 8051 1992294400 4194304 8223781 140737443746144 18446744073709551615 6560108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 8892 8051 587 984 0 7905 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35568 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5737 /proc/meminfo: memFree=1768452/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=36372 CPUtime=462.15 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 906797 0 0 0 45178 1037 0 0 25 0 1 0 3797204 37244928 8254 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 9093 8254 587 984 0 8106 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 36372 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5739 /proc/meminfo: memFree=1767956/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=36840 CPUtime=522.13 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1003616 0 0 0 51047 1166 0 0 25 0 1 0 3797204 37724160 8369 1992294400 4194304 8223781 140737443746144 18446744073709551615 6569765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 9210 8369 587 984 0 8223 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 36840 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5741 /proc/meminfo: memFree=1767708/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=37120 CPUtime=582.12 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1095104 0 0 0 56924 1288 0 0 25 0 1 0 3797204 38010880 8437 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 9280 8437 587 984 0 8293 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 37120 [startup+642.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5743 /proc/meminfo: memFree=1767088/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=37908 CPUtime=642.11 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1133300 0 0 0 62827 1384 0 0 25 0 1 0 3797204 38817792 8631 1992294400 4194304 8223781 140737443746144 18446744073709551615 4660908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 9477 8631 587 984 0 8490 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 37908 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1763492/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=41112 CPUtime=1061.98 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1394092 0 0 0 104090 2108 0 0 25 0 1 0 3797204 42098688 9436 1992294400 4194304 8223781 140737443746144 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10278 9436 587 984 0 9291 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 41112 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5764 /proc/meminfo: memFree=1763492/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=41112 CPUtime=1121.97 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1410574 0 0 0 109992 2205 0 0 25 0 1 0 3797204 42098688 9436 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10278 9436 587 984 0 9291 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 41112 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5766 /proc/meminfo: memFree=1762996/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=41528 CPUtime=1181.95 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1430907 0 0 0 115898 2297 0 0 25 0 1 0 3797204 42524672 9540 1992294400 4194304 8223781 140737443746144 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10382 9540 587 984 0 9395 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 41528 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5768 /proc/meminfo: memFree=1762624/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=42116 CPUtime=1241.93 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1434342 0 0 0 121821 2372 0 0 25 0 1 0 3797204 43126784 9674 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10529 9674 587 984 0 9542 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 42116 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5768 /proc/meminfo: memFree=1762128/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=42360 CPUtime=1301.92 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1435121 0 0 0 127749 2443 0 0 25 0 1 0 3797204 43376640 9735 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10590 9735 587 984 0 9603 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 42360 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5770 /proc/meminfo: memFree=1762128/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=42360 CPUtime=1361.89 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1491046 0 0 0 133633 2556 0 0 25 0 1 0 3797204 43376640 9735 1992294400 4194304 8223781 140737443746144 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10590 9735 587 984 0 9603 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 42360 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5772 /proc/meminfo: memFree=1761756/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=42456 CPUtime=1421.89 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1579888 0 0 0 139506 2683 0 0 25 0 1 0 3797204 43474944 9740 1992294400 4194304 8223781 140737443746144 18446744073709551615 6592218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10614 9740 587 984 0 9627 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 42456 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5774 /proc/meminfo: memFree=1761632/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=42508 CPUtime=1481.85 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1683141 0 0 0 145379 2806 0 0 25 0 1 0 3797204 43528192 9739 1992294400 4194304 8223781 140737443746144 18446744073709551615 7242588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10627 9739 587 984 0 9640 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 42508 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5776 /proc/meminfo: memFree=1761136/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43460 CPUtime=1541.84 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1771052 0 0 0 151261 2923 0 0 25 0 1 0 3797204 44503040 9946 1992294400 4194304 8223781 140737443746144 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10865 9946 587 984 0 9878 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 43460 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5776 /proc/meminfo: memFree=1761136/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43196 CPUtime=1601.82 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1831236 0 0 0 157148 3034 0 0 25 0 1 0 3797204 44232704 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 6436943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10799 9905 587 984 0 9812 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 43196 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43196 CPUtime=1612.22 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1840964 0 0 0 158168 3054 0 0 25 0 1 0 3797204 44232704 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10799 9905 587 984 0 9812 0 Current children cumulated CPU time (s) 1612.22 Current children cumulated vsize (KiB) 43196 [startup+1638.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43392 CPUtime=1637.81 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1864116 0 0 0 160680 3101 0 0 25 0 1 0 3797204 44433408 9949 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10848 9949 587 984 0 9861 0 Current children cumulated CPU time (s) 1637.81 Current children cumulated vsize (KiB) 43392 [startup+1651.11 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43196 CPUtime=1650.62 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1879151 0 0 0 161934 3128 0 0 25 0 1 0 3797204 44232704 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10799 9905 587 984 0 9812 0 Current children cumulated CPU time (s) 1650.62 Current children cumulated vsize (KiB) 43196 [startup+1654.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43612 CPUtime=1653.82 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1882476 0 0 0 162250 3132 0 0 25 0 1 0 3797204 44658688 9979 1992294400 4194304 8223781 140737443746144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10903 9980 587 984 0 9916 0 Current children cumulated CPU time (s) 1653.82 Current children cumulated vsize (KiB) 43612 [startup+1655.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43356 CPUtime=1655.41 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1883863 0 0 0 162406 3135 0 0 25 0 1 0 3797204 44396544 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10839 9911 587 984 0 9852 0 Current children cumulated CPU time (s) 1655.41 Current children cumulated vsize (KiB) 43356 [startup+1656.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43196 CPUtime=1656.21 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1884696 0 0 0 162485 3136 0 0 25 0 1 0 3797204 44232704 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10799 9905 587 984 0 9812 0 Current children cumulated CPU time (s) 1656.21 Current children cumulated vsize (KiB) 43196 [startup+1657.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43196 CPUtime=1656.61 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1885362 0 0 0 162524 3137 0 0 25 0 1 0 3797204 44232704 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 6446865 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10799 9905 587 984 0 9812 0 Current children cumulated CPU time (s) 1656.61 Current children cumulated vsize (KiB) 43196 [startup+1657.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43196 CPUtime=1657.01 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1885769 0 0 0 162564 3137 0 0 25 0 1 0 3797204 44232704 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10799 9905 587 984 0 9812 0 Current children cumulated CPU time (s) 1657.01 Current children cumulated vsize (KiB) 43196 [startup+1657.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5778 /proc/meminfo: memFree=1760888/2059040 swapFree=4192072/4192956 [pid=5724] ppid=5722 vsize=43196 CPUtime=1657.11 /proc/5724/stat : 5724 (pbscip.linux.x8) R 5722 5724 5325 0 -1 4202496 1885831 0 0 0 162574 3137 0 0 25 0 1 0 3797204 44232704 9905 1992294400 4194304 8223781 140737443746144 18446744073709551615 6606325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5724/statm: 10799 9905 587 984 0 9812 0 Current children cumulated CPU time (s) 1657.11 Current children cumulated vsize (KiB) 43196 Child status: 0 Real time (s): 1657.71 CPU time (s): 1657.23 CPU user time (s): 1625.84 CPU system time (s): 31.3872 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 44064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1625.84 system time used= 31.3872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1885900 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= 2069 runsolver used 2.88356 second user time and 7.68683 second system time The end
Begin job on node003 at 2010-06-11 20:45:33 IDJOB=2666988 IDBENCH=1274 IDSOLVER=1169 FILE ID=node003/2666988-1276281933 PBS_JOBID= 11173107 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666988-1276281933/watcher-2666988-1276281933 -o /tmp/evaluation-result-2666988-1276281933/solver-2666988-1276281933 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666988-1276281933.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= be6efe3218879d0d0c6c419c0919396c RANDOM SEED=1478218870 node003.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.251 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.50 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.251 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1800980 kB Buffers: 22808 kB Cached: 111280 kB SwapCached: 0 kB Active: 95784 kB Inactive: 96780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1800980 kB SwapTotal: 4192956 kB SwapFree: 4192072 kB Dirty: 4616 kB Writeback: 0 kB AnonPages: 58368 kB Mapped: 15436 kB Slab: 43708 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183200 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= 62548 MiB End job on node003 at 2010-06-11 21:13:10