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 | 1629.11 | 1629.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb |
MD5SUM | 12591fb3a3171df58322c5e93cb6a45b |
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 | 44.8062 |
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 | 723 |
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-2666989-1276297188.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.14 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.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.06 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.55 c 0.4s| 1 | 0 | 106 | - |3976k| 0 | 43 | 231 |2740 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.76 c 0.6s| 1 | 0 | 138 | - |4539k| 0 | 48 | 231 |2740 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.10 c 1.0s| 1 | 0 | 175 | - |4928k| 0 | 47 | 231 |2740 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.50 c 1.3s| 1 | 0 | 215 | - |5034k| 0 | 51 | 231 |2740 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.95 c 1.8s| 1 | 0 | 293 | - |5165k| 0 | 56 | 231 |2740 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 2.99/3.04 c 2.9s| 1 | 2 | 293 | - |5166k| 0 | 56 | 231 |2740 | 231 |2588 | 24 | 0 | 10 | 0.000000e+00 | -- | Inf 146.72/146.87 c 143s| 10000 | 42 |238747 | 23.8 |7011k| 45 | 40 | 231 |6389 | 231 |2579 | 24 |6226 |2203 | 0.000000e+00 | -- | Inf 256.79/256.94 c 251s| 20000 | 44 |496827 | 24.8 |7884k| 47 | - | 231 |8172 | 231 |2579 | 24 | 12k|2426 | 0.000000e+00 | -- | Inf 376.75/376.95 c 368s| 30000 | 44 |767451 | 25.6 |9076k| 47 | 42 | 231 | 10k| 231 |2579 | 24 | 17k|2916 | 0.000000e+00 | -- | Inf 495.61/495.85 c 485s| 40000 | 39 | 1022k| 25.6 |9999k| 49 | - | 231 | 12k| 231 |2579 | 24 | 23k|3556 | 0.000000e+00 | -- | Inf 610.39/610.70 c 598s| 50000 | 33 | 1284k| 25.7 | 11M| 49 | - | 231 | 14k| 231 |2579 | 24 | 29k|3909 | 0.000000e+00 | -- | Inf 734.14/734.48 c 720s| 60000 | 48 | 1558k| 26.0 | 12M| 49 | - | 231 | 18k| 231 |2579 | 24 | 36k|4389 | 0.000000e+00 | -- | Inf 849.01/849.38 c 833s| 70000 | 67 | 1811k| 25.9 | 14M| 49 | 22 | 231 | 21k| 231 |2579 | 24 | 42k|4757 | 0.000000e+00 | -- | Inf 968.17/968.50 c 950s| 80000 | 118 | 2073k| 25.9 | 15M| 49 | - | 231 | 24k| 231 |2579 | 24 | 48k|5083 | 0.000000e+00 | -- | Inf 1092.84/1093.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1092.84/1093.25 c 1073s| 90000 | 70 | 2348k| 26.1 | 14M| 62 | 38 | 231 | 21k| 231 |2579 | 24 | 54k|5400 | 0.000000e+00 | -- | Inf 1216.00/1216.48 c 1194s|100000 | 22 | 2618k| 26.2 | 12M| 62 | - | 231 | 17k| 0 | 0 | 24 | 60k|5750 | 0.000000e+00 | -- | Inf 1335.77/1336.25 c 1311s|110000 | 15 | 2885k| 26.2 | 11M| 62 | 30 | 231 | 14k| 231 |2579 | 24 | 67k|6068 | 0.000000e+00 | -- | Inf 1452.43/1452.94 c 1425s|120000 | 23 | 3143k| 26.2 | 12M| 62 | 25 | 231 | 16k| 231 |2579 | 24 | 73k|6419 | 0.000000e+00 | -- | Inf 1569.59/1570.13 c 1540s|130000 | 14 | 3407k| 26.2 | 13M| 62 | 41 | 231 | 17k| 231 |2579 | 24 | 80k|6613 | 0.000000e+00 | -- | Inf 1628.98/1629.56 c 1628.98/1629.56 c SCIP Status : problem is solved [infeasible] 1628.98/1629.56 c Solving Time (sec) : 1597.72 1628.98/1629.56 c Solving Nodes : 134648 1628.98/1629.56 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1628.98/1629.56 c Dual Bound : +1.00000000000000e+20 1628.98/1629.56 c Gap : 0.00 % 1628.98/1629.56 s UNSATISFIABLE 1628.98/1629.56 c SCIP Status : problem is solved [infeasible] 1628.98/1629.56 c Solving Time : 1597.72 1628.98/1629.56 c Original Problem : 1628.98/1629.56 c Problem name : HOME/instance-2666989-1276297188.opb 1628.98/1629.56 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1628.98/1629.56 c Constraints : 2707 initial, 2707 maximal 1628.98/1629.56 c Presolved Problem : 1628.98/1629.56 c Problem name : t_HOME/instance-2666989-1276297188.opb 1628.98/1629.56 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1628.98/1629.56 c Constraints : 2564 initial, 24504 maximal 1628.98/1629.56 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1628.98/1629.56 c trivial : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c dualfix : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c boundshift : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c implics : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c probing : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c knapsack : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c setppc : 0.00 0 0 0 0 0 0 0 0 1628.98/1629.56 c linear : 0.03 0 0 0 0 0 143 0 0 1628.98/1629.56 c logicor : 0.03 0 0 0 0 0 0 0 0 1628.98/1629.56 c root node : - 22 - - 22 - - - - 1628.98/1629.56 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1628.98/1629.56 c integral : 0 0 0 69771 0 238 2886 0 0 135510 1628.98/1629.56 c knapsack : 1 5 512571 0 0 916 217625 0 0 0 1628.98/1629.56 c setppc : 22 5 511939 0 0 2571 687105 0 0 0 1628.98/1629.56 c linear : 0+ 5 256218 0 0 0 3824 1 0 0 1628.98/1629.56 c logicor : 2541+ 5 252060 0 0 1028 877385 0 0 0 1628.98/1629.56 c countsols : 0 0 0 0 0 0 0 0 0 0 1628.98/1629.56 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1628.98/1629.56 c integral : 124.15 0.00 0.00 124.15 0.00 1628.98/1629.56 c knapsack : 4.45 0.00 4.45 0.00 0.00 1628.98/1629.56 c setppc : 9.63 0.00 9.63 0.00 0.00 1628.98/1629.56 c linear : 1.23 0.00 1.23 0.00 0.00 1628.98/1629.56 c logicor : 66.18 0.00 66.18 0.00 0.00 1628.98/1629.56 c countsols : 0.00 0.00 0.00 0.00 0.00 1628.98/1629.56 c Propagators : Time Calls Cutoffs DomReds 1628.98/1629.56 c vbounds : 0.33 1 0 0 1628.98/1629.56 c rootredcost : 0.29 0 0 0 1628.98/1629.56 c pseudoobj : 0.24 0 0 0 1628.98/1629.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1628.98/1629.56 c propagation : 0.43 4515 4497 26095 23.4 86 20.4 - 1628.98/1629.56 c infeasible LP : 28.49 62994 61106 396110 34.3 405 16.8 0 1628.98/1629.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1628.98/1629.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1628.98/1629.56 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1628.98/1629.56 c applied globally : - - - 79575 20.0 - - - 1628.98/1629.56 c applied locally : - - - 5358 34.3 - - - 1628.98/1629.56 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1628.98/1629.56 c cut pool : 0.00 4 - - 28 - (maximal pool size: 446) 1628.98/1629.56 c redcost : 0.73 68096 0 0 0 0 1628.98/1629.56 c impliedbounds : 0.00 5 0 0 0 0 1628.98/1629.56 c intobj : 0.00 0 0 0 0 0 1628.98/1629.56 c cgmip : 0.00 0 0 0 0 0 1628.98/1629.56 c gomory : 0.77 5 0 0 1202 0 1628.98/1629.56 c strongcg : 0.62 5 0 0 1632 0 1628.98/1629.56 c cmir : 0.00 0 0 0 0 0 1628.98/1629.56 c flowcover : 0.00 0 0 0 0 0 1628.98/1629.56 c clique : 0.00 5 0 0 0 0 1628.98/1629.56 c zerohalf : 0.00 0 0 0 0 0 1628.98/1629.56 c mcf : 0.00 1 0 0 0 0 1628.98/1629.56 c rapidlearning : 0.22 1 0 0 0 176 1628.98/1629.56 c Pricers : Time Calls Vars 1628.98/1629.56 c problem variables: 0.00 0 0 1628.98/1629.56 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1628.98/1629.56 c relpscost : 123.98 69771 238 2886 0 0 135510 1628.98/1629.56 c pscost : 0.00 0 0 0 0 0 0 1628.98/1629.56 c inference : 0.00 0 0 0 0 0 0 1628.98/1629.56 c mostinf : 0.00 0 0 0 0 0 0 1628.98/1629.56 c leastinf : 0.00 0 0 0 0 0 0 1628.98/1629.56 c fullstrong : 0.00 0 0 0 0 0 0 1628.98/1629.56 c allfullstrong : 0.00 0 0 0 0 0 0 1628.98/1629.56 c random : 0.00 0 0 0 0 0 0 1628.98/1629.56 c Primal Heuristics : Time Calls Found 1628.98/1629.56 c LP solutions : 0.00 - 0 1628.98/1629.56 c pseudo solutions : 0.00 - 0 1628.98/1629.56 c trivial : 0.00 1 0 1628.98/1629.56 c simplerounding : 0.00 0 0 1628.98/1629.56 c zirounding : 0.00 0 0 1628.98/1629.56 c rounding : 0.00 0 0 1628.98/1629.56 c shifting : 0.00 0 0 1628.98/1629.56 c intshifting : 0.00 0 0 1628.98/1629.56 c oneopt : 0.00 0 0 1628.98/1629.56 c twoopt : 0.00 0 0 1628.98/1629.56 c fixandinfer : 0.00 0 0 1628.98/1629.56 c feaspump : 0.00 0 0 1628.98/1629.56 c coefdiving : 0.00 0 0 1628.98/1629.56 c pscostdiving : 0.00 0 0 1628.98/1629.56 c fracdiving : 0.00 0 0 1628.98/1629.56 c veclendiving : 0.00 0 0 1628.98/1629.56 c intdiving : 0.00 0 0 1628.98/1629.56 c actconsdiving : 0.00 0 0 1628.98/1629.56 c objpscostdiving : 0.00 0 0 1628.98/1629.56 c rootsoldiving : 0.00 0 0 1628.98/1629.56 c linesearchdiving : 0.00 0 0 1628.98/1629.56 c guideddiving : 0.00 0 0 1628.98/1629.56 c octane : 0.00 0 0 1628.98/1629.56 c rens : 0.00 0 0 1628.98/1629.56 c rins : 0.00 0 0 1628.98/1629.56 c localbranching : 0.00 0 0 1628.98/1629.56 c mutation : 0.00 0 0 1628.98/1629.56 c crossover : 0.00 0 0 1628.98/1629.56 c dins : 0.00 0 0 1628.98/1629.56 c undercover : 0.00 0 0 1628.98/1629.56 c nlp : 0.00 0 0 1628.98/1629.56 c trysol : 0.00 0 0 1628.98/1629.56 c LP : Time Calls Iterations Iter/call Iter/sec 1628.98/1629.56 c primal LP : 0.01 0 0 0.00 0.00 1628.98/1629.56 c dual LP : 1223.10 132441 3536479 26.70 2891.41 1628.98/1629.56 c lex dual LP : 0.00 0 0 0.00 - 1628.98/1629.56 c barrier LP : 0.00 0 0 0.00 - 1628.98/1629.56 c diving/probing LP: 0.00 0 0 0.00 - 1628.98/1629.56 c strong branching : 120.96 6809 339732 49.89 2808.63 1628.98/1629.56 c (at root node) : - 10 2446 244.60 - 1628.98/1629.56 c conflict analysis: 0.00 0 0 0.00 - 1628.98/1629.56 c B&B Tree : 1628.98/1629.56 c number of runs : 1 1628.98/1629.56 c nodes : 134648 1628.98/1629.56 c nodes (total) : 134648 1628.98/1629.56 c nodes left : 0 1628.98/1629.56 c max depth : 62 1628.98/1629.56 c max depth (total): 62 1628.98/1629.56 c backtracks : 16867 (12.5%) 1628.98/1629.56 c delayed cutoffs : 863 1628.98/1629.56 c repropagations : 207508 (253227 domain reductions, 854 cutoffs) 1628.98/1629.56 c avg switch length: 4.59 1628.98/1629.56 c switching time : 57.34 1628.98/1629.56 c Solution : 1628.98/1629.56 c Solutions found : 0 (0 improvements) 1628.98/1629.56 c Primal Bound : infeasible 1628.98/1629.56 c Dual Bound : - 1628.98/1629.56 c Gap : 0.00 % 1628.98/1629.56 c Root Dual Bound : +0.00000000000000e+00 1628.98/1629.56 c Root Iterations : 293 1629.08/1629.61 c Time complete: 1629.1.
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-2666989-1276297188/watcher-2666989-1276297188 -o /tmp/evaluation-result-2666989-1276297188/solver-2666989-1276297188 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666989-1276297188.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 2/106 5846 /proc/meminfo: memFree=1549092/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=4792 CPUtime=0 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 554 0 0 0 0 0 0 0 19 0 1 0 5322637 4907008 476 1992294400 4194304 8223781 140735986928400 18446744073709551615 7256940 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5846/statm: 1198 476 302 984 0 211 0 [startup+0.020308 s] /proc/loadavg: 0.99 0.98 0.99 2/106 5846 /proc/meminfo: memFree=1549092/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=9444 CPUtime=0.01 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1648 0 0 0 1 0 0 0 19 0 1 0 5322637 9670656 1568 1992294400 4194304 8223781 140735986928400 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5846/statm: 2361 1568 363 984 0 1374 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9444 [startup+0.101315 s] /proc/loadavg: 0.99 0.98 0.99 2/106 5846 /proc/meminfo: memFree=1549092/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=15932 CPUtime=0.09 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 3653 0 0 0 7 2 0 0 19 0 1 0 5322637 16314368 2952 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 3983 2952 441 984 0 2996 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15932 [startup+0.300335 s] /proc/loadavg: 0.99 0.98 0.99 2/106 5846 /proc/meminfo: memFree=1549092/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=26620 CPUtime=0.28 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 9081 0 0 0 24 4 0 0 20 0 1 0 5322637 27258880 5754 1992294400 4194304 8223781 140735986928400 18446744073709551615 4994330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 6655 5754 570 984 0 5668 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 26620 [startup+0.700373 s] /proc/loadavg: 0.99 0.98 0.99 2/106 5846 /proc/meminfo: memFree=1549092/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=27276 CPUtime=0.69 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 13036 0 0 0 61 8 0 0 20 0 1 0 5322637 27930624 5973 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 6819 5973 585 984 0 5832 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27276 [startup+1.50045 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5847 /proc/meminfo: memFree=1526888/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=28672 CPUtime=1.49 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 13387 0 0 0 139 10 0 0 23 0 1 0 5322637 29360128 6316 1992294400 4194304 8223781 140735986928400 18446744073709551615 6251356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7168 6316 583 984 0 6181 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28672 [startup+3.1006 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5847 /proc/meminfo: memFree=1524656/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=29532 CPUtime=3.09 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 14457 0 0 0 297 12 0 0 25 0 1 0 5322637 30240768 6546 1992294400 4194304 8223781 140735986928400 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7383 6546 584 984 0 6396 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29532 [startup+6.30091 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5847 /proc/meminfo: memFree=1524284/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=29532 CPUtime=6.28 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 21472 0 0 0 610 18 0 0 25 0 1 0 5322637 30240768 6546 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7383 6546 584 984 0 6396 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29532 [startup+12.7015 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5847 /proc/meminfo: memFree=1524036/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=29532 CPUtime=12.68 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 31357 0 0 0 1239 29 0 0 25 0 1 0 5322637 30240768 6546 1992294400 4194304 8223781 140735986928400 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7383 6546 584 984 0 6396 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29532 [startup+25.5018 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5849 /proc/meminfo: memFree=1524036/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=29532 CPUtime=25.48 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 57439 0 0 0 2495 53 0 0 25 0 1 0 5322637 30240768 6549 1992294400 4194304 8223781 140735986928400 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7383 6549 586 984 0 6396 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29532 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5849 /proc/meminfo: memFree=1523664/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=30076 CPUtime=51.07 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 106916 0 0 0 5001 106 0 0 25 0 1 0 5322637 30797824 6671 1992294400 4194304 8223781 140735986928400 18446744073709551615 6448531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7519 6671 587 984 0 6532 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30076 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5860 /proc/meminfo: memFree=1522424/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=31164 CPUtime=102.25 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 220501 0 0 0 9996 229 0 0 25 0 1 0 5322637 31911936 6935 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7791 6935 592 984 0 6804 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 31164 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5860 /proc/meminfo: memFree=1521556/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=31804 CPUtime=162.21 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 371423 0 0 0 15844 377 0 0 25 0 1 0 5322637 32567296 7118 1992294400 4194304 8223781 140735986928400 18446744073709551615 6444449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 7951 7118 587 984 0 6964 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 31804 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5862 /proc/meminfo: memFree=1521060/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=32552 CPUtime=222.2 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 491814 0 0 0 21708 512 0 0 25 0 1 0 5322637 33333248 7304 1992294400 4194304 8223781 140735986928400 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 8138 7304 587 984 0 7151 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 32552 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5864 /proc/meminfo: memFree=1519076/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=34280 CPUtime=282.18 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 601276 0 0 0 27570 648 0 0 25 0 1 0 5322637 35102720 7736 1992294400 4194304 8223781 140735986928400 18446744073709551615 5951432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 8570 7736 587 984 0 7583 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 34280 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5866 /proc/meminfo: memFree=1518208/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=35372 CPUtime=342.16 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 706025 0 0 0 33444 772 0 0 25 0 1 0 5322637 36220928 8003 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 8843 8003 587 984 0 7856 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 35372 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5868 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=35700 CPUtime=402.15 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 790465 0 0 0 39323 892 0 0 25 0 1 0 5322637 36556800 8065 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 8925 8065 587 984 0 7938 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 35700 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5868 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=36380 CPUtime=462.13 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 883818 0 0 0 45200 1013 0 0 25 0 1 0 5322637 37253120 8237 1992294400 4194304 8223781 140735986928400 18446744073709551615 6329542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 9095 8237 587 984 0 8108 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 36380 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5870 /proc/meminfo: memFree=1516348/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=37264 CPUtime=522.11 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 933587 0 0 0 51107 1104 0 0 25 0 1 0 5322637 38158336 8474 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 9316 8474 587 984 0 8329 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 37264 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5872 /proc/meminfo: memFree=1515728/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=37676 CPUtime=582.09 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 969850 0 0 0 57009 1200 0 0 25 0 1 0 5322637 38580224 8578 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 9419 8578 587 984 0 8432 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 37676 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5874 /proc/meminfo: memFree=1514116/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=39396 CPUtime=642.08 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1026083 0 0 0 62897 1311 0 0 25 0 1 0 5322637 40341504 9000 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 9849 9000 587 984 0 8862 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 39396 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1508908/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=43712 CPUtime=1001.97 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1153969 0 0 0 98372 1825 0 0 25 0 1 0 5322637 44761088 10076 1992294400 4194304 8223781 140735986928400 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 10928 10076 587 984 0 9941 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 43712 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5887 /proc/meminfo: memFree=1508660/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=43880 CPUtime=1061.95 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1191591 0 0 0 104275 1920 0 0 25 0 1 0 5322637 44933120 10109 1992294400 4194304 8223781 140735986928400 18446744073709551615 6568176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 10970 10109 587 984 0 9983 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 43880 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5889 /proc/meminfo: memFree=1508536/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=44264 CPUtime=1121.93 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1284698 0 0 0 110150 2043 0 0 25 0 1 0 5322637 45326336 10173 1992294400 4194304 8223781 140735986928400 18446744073709551615 6003237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11066 10173 587 984 0 10079 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 44264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5891 /proc/meminfo: memFree=1508412/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=44264 CPUtime=1181.91 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1344587 0 0 0 116033 2158 0 0 25 0 1 0 5322637 45326336 10174 1992294400 4194304 8223781 140735986928400 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11066 10174 587 984 0 10079 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 44264 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5893 /proc/meminfo: memFree=1508164/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45280 CPUtime=1241.9 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1436043 0 0 0 121909 2281 0 0 25 0 1 0 5322637 46366720 10347 1992294400 4194304 8223781 140735986928400 18446744073709551615 6567812 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11320 10347 587 984 0 10333 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 45280 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5895 /proc/meminfo: memFree=1507916/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45312 CPUtime=1301.88 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1577537 0 0 0 127761 2427 0 0 25 0 1 0 5322637 46399488 10353 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11328 10353 587 984 0 10341 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 45312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5895 /proc/meminfo: memFree=1507544/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45456 CPUtime=1361.85 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1704592 0 0 0 133628 2557 0 0 25 0 1 0 5322637 46546944 10387 1992294400 4194304 8223781 140735986928400 18446744073709551615 6482569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11364 10387 587 984 0 10377 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 45456 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5897 /proc/meminfo: memFree=1507544/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45648 CPUtime=1421.84 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1801752 0 0 0 139498 2686 0 0 25 0 1 0 5322637 46743552 10408 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11412 10408 587 984 0 10425 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 45648 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5899 /proc/meminfo: memFree=1507544/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45508 CPUtime=1481.83 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 1911267 0 0 0 145367 2816 0 0 25 0 1 0 5322637 46600192 10408 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11377 10408 587 984 0 10390 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 45508 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5901 /proc/meminfo: memFree=1507296/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45456 CPUtime=1541.8 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2031456 0 0 0 151241 2939 0 0 25 0 1 0 5322637 46546944 10395 1992294400 4194304 8223781 140735986928400 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11364 10395 587 984 0 10377 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 45456 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1507296/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45628 CPUtime=1601.78 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2157716 0 0 0 157106 3072 0 0 25 0 1 0 5322637 46723072 10399 1992294400 4194304 8223781 140735986928400 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11407 10399 587 984 0 10420 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 45628 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 5903 /proc/meminfo: memFree=1507172/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=46044 CPUtime=1612.19 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2177743 0 0 0 158124 3095 0 0 25 0 1 0 5322637 47149056 10542 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11511 10542 587 984 0 10524 0 Current children cumulated CPU time (s) 1612.19 Current children cumulated vsize (KiB) 46044 [startup+1619.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1507048/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=46164 CPUtime=1618.59 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2187637 0 0 0 158752 3107 0 0 25 0 1 0 5322637 47271936 10574 1992294400 4194304 8223781 140735986928400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11541 10574 587 984 0 10554 0 Current children cumulated CPU time (s) 1618.59 Current children cumulated vsize (KiB) 46164 [startup+1625.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1506924/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=46216 CPUtime=1624.98 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2199437 0 0 0 159378 3120 0 0 25 0 1 0 5322637 47325184 10564 1992294400 4194304 8223781 140735986928400 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11554 10564 587 984 0 10567 0 Current children cumulated CPU time (s) 1624.98 Current children cumulated vsize (KiB) 46216 [startup+1627.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1506924/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=46328 CPUtime=1626.58 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2201873 0 0 0 159535 3123 0 0 25 0 1 0 5322637 47439872 10615 1992294400 4194304 8223781 140735986928400 18446744073709551615 6446778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11582 10615 587 984 0 10595 0 Current children cumulated CPU time (s) 1626.58 Current children cumulated vsize (KiB) 46328 [startup+1628.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1506800/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=46452 CPUtime=1628.18 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2204588 0 0 0 159691 3127 0 0 25 0 1 0 5322637 47566848 10617 1992294400 4194304 8223781 140735986928400 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11613 10617 587 984 0 10626 0 Current children cumulated CPU time (s) 1628.18 Current children cumulated vsize (KiB) 46452 [startup+1629.11 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1506800/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=46436 CPUtime=1628.59 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2205065 0 0 0 159732 3127 0 0 25 0 1 0 5322637 47550464 10624 1992294400 4194304 8223781 140735986928400 18446744073709551615 6569925 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11609 10624 587 984 0 10622 0 Current children cumulated CPU time (s) 1628.59 Current children cumulated vsize (KiB) 46436 [startup+1629.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1506800/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=46444 CPUtime=1628.98 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2205524 0 0 0 159770 3128 0 0 25 0 1 0 5322637 47558656 10626 1992294400 4194304 8223781 140735986928400 18446744073709551615 6569356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5846/statm: 11611 10626 587 984 0 10624 0 Current children cumulated CPU time (s) 1628.98 Current children cumulated vsize (KiB) 46444 [startup+1629.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5903 /proc/meminfo: memFree=1506800/2059040 swapFree=4192956/4192956 [pid=5846] ppid=5844 vsize=45416 CPUtime=1629.08 /proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5592 0 -1 4202496 2205577 0 0 0 159780 3128 0 0 25 0 1 0 5322637 46505984 10374 1992294400 4194304 8223781 140735986928400 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5846/statm: 11354 10374 589 984 0 10367 0 Current children cumulated CPU time (s) 1629.08 Current children cumulated vsize (KiB) 45416 Child status: 0 Real time (s): 1629.62 CPU time (s): 1629.11 CPU user time (s): 1597.82 CPU system time (s): 31.2902 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 46696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1597.82 system time used= 31.2902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2205581 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 22125 runsolver used 2.65759 second user time and 7.72882 second system time The end
Begin job on node004 at 2010-06-12 00:59:48 IDJOB=2666989 IDBENCH=1315 IDSOLVER=1169 FILE ID=node004/2666989-1276297188 PBS_JOBID= 11173125 Free space on /tmp= 62532 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.1900556231.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-2666989-1276297188/watcher-2666989-1276297188 -o /tmp/evaluation-result-2666989-1276297188/solver-2666989-1276297188 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666989-1276297188.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b RANDOM SEED=1757620623 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1549620 kB Buffers: 70248 kB Cached: 312368 kB SwapCached: 0 kB Active: 171776 kB Inactive: 270128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1549620 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4620 kB Writeback: 0 kB AnonPages: 59324 kB Mapped: 15384 kB Slab: 45732 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 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= 62528 MiB End job on node004 at 2010-06-12 01:26:57