Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.14 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb |
MD5SUM | cabd29c48249a44c2596bb98645c31c8 |
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 | 194.178 |
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 | 665 |
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-2667289-1276302425.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.07 c presolving: 0.10/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.10/0.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.10/0.15 c presolving (3 rounds): 0.10/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.10/0.15 c 242 implications, 22 cliques 0.10/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.10/0.15 c 1 constraints of type <knapsack> 0.10/0.15 c 22 constraints of type <setppc> 0.10/0.15 c 2541 constraints of type <logicor> 0.10/0.15 c transformed objective value is always integral (scale: 1) 0.10/0.15 c Presolving Time: 0.06 0.10/0.15 c - non default parameters ---------------------------------------------------------------------- 0.10/0.15 c # SCIP version 1.2.1.2 0.10/0.15 c 0.10/0.15 c # frequency for displaying node information lines 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.10/0.15 c display/freq = 10000 0.10/0.15 c 0.10/0.15 c # maximal time in seconds to run 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.10/0.15 c limits/time = 1799.95 0.10/0.15 c 0.10/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.10/0.15 c limits/memory = 1620 0.10/0.15 c 0.10/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c limits/solutions = 1 0.10/0.15 c 0.10/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.10/0.15 c separating/maxrounds = 1 0.10/0.15 c 0.10/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c separating/maxroundsroot = 5 0.10/0.15 c 0.10/0.15 c # should presolving try to simplify inequalities 0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.10/0.15 c constraints/linear/simplifyinequalities = TRUE 0.10/0.15 c 0.10/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.10/0.15 c constraints/knapsack/disaggregation = FALSE 0.10/0.15 c 0.10/0.15 c # should presolving try to simplify knapsacks 0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.10/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.10/0.15 c 0.10/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c presolving/probing/maxrounds = 0 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/coefdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.10/0.15 c heuristics/crossover/freq = -1 0.10/0.15 c 0.10/0.15 c # number of nodes added to the contingent of the total nodes 0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.10/0.15 c heuristics/crossover/nodesofs = 750 0.10/0.15 c 0.10/0.15 c # number of nodes without incumbent change that heuristic should wait 0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.10/0.15 c heuristics/crossover/nwaitingnodes = 100 0.10/0.15 c 0.10/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.10/0.15 c # [type: real, range: [0,1], default: 0.1] 0.10/0.15 c heuristics/crossover/nodesquot = 0.15 0.10/0.15 c 0.10/0.15 c # minimum percentage of integer variables that have to be fixed 0.10/0.15 c # [type: real, range: [0,1], default: 0.666] 0.10/0.15 c heuristics/crossover/minfixingrate = 0.5 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.15 c heuristics/feaspump/freq = -1 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/fracdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/guideddiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/intshifting/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/linesearchdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/nlp/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.15 c heuristics/objpscostdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.10/0.15 c # [type: real, range: [0,1], default: 0.01] 0.10/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/oneopt/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/pscostdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c heuristics/rens/freq = -1 0.10/0.15 c 0.10/0.15 c # minimum percentage of integer variables that have to be fixable 0.10/0.15 c # [type: real, range: [0,1], default: 0.5] 0.10/0.15 c heuristics/rens/minfixingrate = 0.3 0.10/0.15 c 0.10/0.15 c # number of nodes added to the contingent of the total nodes 0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.10/0.15 c heuristics/rens/nodesofs = 2000 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.15 c heuristics/rootsoldiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.10/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/rounding/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/shifting/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/simplerounding/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c heuristics/trivial/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/trysol/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/veclendiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/zirounding/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c separating/cmir/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c separating/flowcover/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c separating/rapidlearning/freq = 0 0.10/0.15 c 0.10/0.15 c ----------------------------------------------------------------------------------------------- 0.10/0.15 c start solving 0.10/0.15 c 0.10/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.10/0.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 105 | - |3926k| 0 | 43 | 231 |2709 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.76 c 0.6s| 1 | 0 | 150 | - |4482k| 0 | 52 | 231 |2709 | 231 |2583 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.09 c 1.0s| 1 | 0 | 178 | - |4871k| 0 | 54 | 231 |2709 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.54 c 1.4s| 1 | 0 | 223 | - |5399k| 0 | 55 | 231 |2709 | 231 |2592 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.04 c 1.9s| 1 | 0 | 280 | - |5635k| 0 | 55 | 231 |2709 | 231 |2593 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf 3.19/3.25 c 3.1s| 1 | 2 | 280 | - |5636k| 0 | 55 | 231 |2709 | 231 |2593 | 29 | 0 | 10 | 0.000000e+00 | -- | Inf 136.95/137.00 c 134s| 10000 | 55 |223229 | 22.3 |7679k| 30 | - | 231 |7028 | 231 |2579 | 29 |5479 |2303 | 0.000000e+00 | -- | Inf 237.53/237.66 c 232s| 20000 | 112 |457952 | 22.9 |8942k| 36 | 29 | 231 |9509 | 231 |2579 | 29 | 11k|2463 | 0.000000e+00 | -- | Inf 350.28/350.47 c 343s| 30000 | 169 |705300 | 23.5 |9539k| 36 | - | 231 | 10k| 231 |2579 | 29 | 16k|3005 | 0.000000e+00 | -- | Inf 455.56/455.78 c 446s| 40000 | 261 |937501 | 23.4 | 10M| 52 | - | 231 | 11k| 231 |2579 | 29 | 21k|3520 | 0.000000e+00 | -- | Inf 560.52/560.74 c 548s| 50000 | 298 | 1172k| 23.4 | 10M| 52 | - | 231 | 10k| 231 |2579 | 29 | 27k|3892 | 0.000000e+00 | -- | Inf 667.50/667.74 c 653s| 60000 | 341 | 1408k| 23.5 | 11M| 52 | - | 231 | 11k| 231 |2579 | 29 | 32k|4307 | 0.000000e+00 | -- | Inf 773.56/773.89 c 757s| 70000 | 313 | 1647k| 23.5 | 10M| 54 | 44 | 231 | 11k| 231 |2579 | 29 | 38k|4662 | 0.000000e+00 | -- | Inf 877.43/877.76 c 859s| 80000 | 311 | 1882k| 23.5 | 11M| 54 | - | 231 | 11k| 231 |2579 | 29 | 43k|4967 | 0.000000e+00 | -- | Inf 986.80/987.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 986.80/987.17 c 966s| 90000 | 368 | 2132k| 23.7 | 11M| 55 | 34 | 231 | 12k| 231 |2579 | 29 | 49k|5286 | 0.000000e+00 | -- | Inf 1089.67/1090.08 c 1067s|100000 | 370 | 2365k| 23.7 | 12M| 55 | - | 231 | 12k| 231 |2579 | 29 | 55k|5591 | 0.000000e+00 | -- | Inf 1199.54/1199.98 c 1174s|110000 | 374 | 2617k| 23.8 | 11M| 55 | - | 231 | 12k| 231 |2579 | 29 | 60k|5862 | 0.000000e+00 | -- | Inf 1303.41/1303.88 c 1276s|120000 | 400 | 2858k| 23.8 | 12M| 55 | - | 231 | 13k| 231 |2579 | 29 | 65k|6099 | 0.000000e+00 | -- | Inf 1408.57/1409.01 c 1379s|130000 | 358 | 3102k| 23.9 | 11M| 55 | - | 231 | 11k| 231 |2579 | 29 | 70k|6309 | 0.000000e+00 | -- | Inf 1517.55/1518.02 c 1487s|140000 | 338 | 3352k| 23.9 | 12M| 58 | - | 231 | 12k| 231 |2579 | 29 | 75k|6600 | 0.000000e+00 | -- | Inf 1625.01/1625.54 c 1592s|150000 | 366 | 3608k| 24.1 | 12M| 58 | - | 231 | 12k| 231 |2579 | 29 | 81k|6754 | 0.000000e+00 | -- | Inf 1731.49/1732.04 c 1697s|160000 | 384 | 3855k| 24.1 | 12M| 58 | 49 | 231 | 12k| 231 |2579 | 29 | 86k|7030 | 0.000000e+00 | -- | Inf 1800.07/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.07/1800.61 c 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time (sec) : 1764.24 1800.07/1800.61 c Solving Nodes : 166562 1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.61 c Dual Bound : +0.00000000000000e+00 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time : 1764.24 1800.07/1800.61 c Original Problem : 1800.07/1800.61 c Problem name : HOME/instance-2667289-1276302425.opb 1800.07/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 2707 initial, 2707 maximal 1800.07/1800.61 c Presolved Problem : 1800.07/1800.61 c Problem name : t_HOME/instance-2667289-1276302425.opb 1800.07/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 2564 initial, 14338 maximal 1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c linear : 0.03 0 0 0 0 0 143 0 0 1800.07/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.07/1800.61 c root node : - 0 - - 0 - - - - 1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c integral : 0 0 0 85850 0 283 2709 0 0 168032 1800.07/1800.61 c knapsack : 1 5 593857 0 0 1534 272188 0 0 0 1800.07/1800.61 c setppc : 22 5 592710 0 0 3675 793043 0 0 0 1800.07/1800.61 c linear : 0+ 5 140878 0 0 5 4257 3 0 0 1800.07/1800.61 c logicor : 2541+ 5 311928 0 0 1498 1159582 0 0 0 1800.07/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.61 c integral : 122.53 0.00 0.00 122.53 0.00 1800.07/1800.61 c knapsack : 5.36 0.00 5.36 0.00 0.00 1800.07/1800.61 c setppc : 7.08 0.00 7.08 0.00 0.00 1800.07/1800.61 c linear : 0.95 0.00 0.95 0.00 0.00 1800.07/1800.61 c logicor : 59.57 0.00 59.57 0.00 0.00 1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.61 c vbounds : 0.41 1 0 0 1800.07/1800.61 c rootredcost : 0.29 0 0 0 1800.07/1800.61 c pseudoobj : 0.27 0 0 0 1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.61 c propagation : 0.62 6712 6691 41017 25.6 104 22.1 - 1800.07/1800.61 c infeasible LP : 33.32 76596 69098 465502 38.3 383 19.1 0 1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.61 c applied globally : - - - 79530 20.2 - - - 1800.07/1800.61 c applied locally : - - - 10122 34.5 - - - 1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.61 c cut pool : 0.00 4 - - 30 - (maximal pool size: 553) 1800.07/1800.61 c redcost : 0.75 84403 0 0 0 0 1800.07/1800.61 c impliedbounds : 0.00 5 0 0 0 0 1800.07/1800.61 c intobj : 0.00 0 0 0 0 0 1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0 1800.07/1800.61 c gomory : 0.85 5 0 0 1266 0 1800.07/1800.61 c strongcg : 0.65 5 0 0 2124 0 1800.07/1800.61 c cmir : 0.00 0 0 0 0 0 1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.61 c clique : 0.00 5 0 0 0 0 1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.61 c mcf : 0.00 1 0 0 0 0 1800.07/1800.61 c rapidlearning : 0.21 1 0 0 0 145 1800.07/1800.61 c Pricers : Time Calls Vars 1800.07/1800.61 c problem variables: 0.00 0 0 1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c relpscost : 122.24 85850 283 2709 0 0 168032 1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c random : 0.00 0 0 0 0 0 0 1800.07/1800.61 c Primal Heuristics : Time Calls Found 1800.07/1800.61 c LP solutions : 0.00 - 0 1800.07/1800.61 c pseudo solutions : 0.00 - 0 1800.07/1800.61 c trivial : 0.00 1 0 1800.07/1800.61 c simplerounding : 0.00 0 0 1800.07/1800.61 c zirounding : 0.00 0 0 1800.07/1800.61 c rounding : 0.00 0 0 1800.07/1800.61 c shifting : 0.00 0 0 1800.07/1800.61 c intshifting : 0.00 0 0 1800.07/1800.61 c oneopt : 0.00 0 0 1800.07/1800.61 c twoopt : 0.00 0 0 1800.07/1800.61 c fixandinfer : 0.00 0 0 1800.07/1800.61 c feaspump : 0.00 0 0 1800.07/1800.61 c coefdiving : 0.00 0 0 1800.07/1800.61 c pscostdiving : 0.00 0 0 1800.07/1800.61 c fracdiving : 0.00 0 0 1800.07/1800.61 c veclendiving : 0.00 0 0 1800.07/1800.61 c intdiving : 0.00 0 0 1800.07/1800.61 c actconsdiving : 0.00 0 0 1800.07/1800.61 c objpscostdiving : 0.00 0 0 1800.07/1800.61 c rootsoldiving : 0.00 0 0 1800.07/1800.61 c linesearchdiving : 0.00 0 0 1800.07/1800.61 c guideddiving : 0.00 0 0 1800.07/1800.61 c octane : 0.00 0 0 1800.07/1800.61 c rens : 0.00 0 0 1800.07/1800.61 c rins : 0.00 0 0 1800.07/1800.61 c localbranching : 0.00 0 0 1800.07/1800.61 c mutation : 0.00 0 0 1800.07/1800.61 c crossover : 0.00 0 0 1800.07/1800.61 c dins : 0.00 0 0 1800.07/1800.61 c undercover : 0.00 0 0 1800.07/1800.61 c nlp : 0.00 0 0 1800.07/1800.61 c trysol : 0.00 0 0 1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.07/1800.61 c dual LP : 1387.15 162089 4018982 24.79 2897.29 1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 - 1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.61 c strong branching : 118.69 7158 334936 46.79 2821.94 1800.07/1800.61 c (at root node) : - 10 2712 271.20 - 1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.61 c B&B Tree : 1800.07/1800.61 c number of runs : 1 1800.07/1800.61 c nodes : 166562 1800.07/1800.61 c nodes (total) : 166562 1800.07/1800.61 c nodes left : 422 1800.07/1800.61 c max depth : 58 1800.07/1800.61 c max depth (total): 58 1800.07/1800.61 c backtracks : 20983 (12.6%) 1800.07/1800.61 c delayed cutoffs : 1049 1800.07/1800.61 c repropagations : 219694 (279555 domain reductions, 1045 cutoffs) 1800.07/1800.61 c avg switch length: 4.58 1800.07/1800.61 c switching time : 55.18 1800.07/1800.61 c Solution : 1800.07/1800.61 c Solutions found : 0 (0 improvements) 1800.07/1800.61 c Primal Bound : - 1800.07/1800.61 c Dual Bound : +0.00000000000000e+00 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00 1800.07/1800.61 c Root Iterations : 280 1800.07/1800.66 c Time complete: 1800.13.
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-2667289-1276302425/watcher-2667289-1276302425 -o /tmp/evaluation-result-2667289-1276302425/solver-2667289-1276302425 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667289-1276302425.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/106 6093 /proc/meminfo: memFree=1544072/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=7724 CPUtime=0 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1045 0 0 0 0 0 0 0 20 0 1 0 5846366 7909376 965 1992294400 4194304 8223781 140736775552128 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6093/statm: 1931 977 348 984 0 944 0 [startup+0.108722 s] /proc/loadavg: 1.00 1.01 1.00 3/106 6093 /proc/meminfo: memFree=1544072/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=17124 CPUtime=0.1 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 3941 0 0 0 8 2 0 0 20 0 1 0 5846366 17534976 3240 1992294400 4194304 8223781 140736775552128 18446744073709551615 6207239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 4281 3240 446 984 0 3294 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 17124 [startup+0.20073 s] /proc/loadavg: 1.00 1.01 1.00 3/106 6093 /proc/meminfo: memFree=1544072/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=21580 CPUtime=0.19 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 7805 0 0 0 16 3 0 0 20 0 1 0 5846366 22097920 4478 1992294400 4194304 8223781 140736775552128 18446744073709551615 7231842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 5395 4478 553 984 0 4408 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 21580 [startup+0.30074 s] /proc/loadavg: 1.00 1.01 1.00 3/106 6093 /proc/meminfo: memFree=1544072/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=29624 CPUtime=0.29 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 9771 0 0 0 25 4 0 0 20 0 1 0 5846366 30334976 6434 1992294400 4194304 8223781 140736775552128 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 7406 6442 570 984 0 6419 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29624 [startup+0.700778 s] /proc/loadavg: 1.00 1.01 1.00 3/106 6093 /proc/meminfo: memFree=1544072/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=27204 CPUtime=0.69 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 13020 0 0 0 62 7 0 0 21 0 1 0 5846366 27856896 5955 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 6801 5955 583 984 0 5814 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27204 [startup+1.50085 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6094 /proc/meminfo: memFree=1521992/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=27620 CPUtime=1.49 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 13113 0 0 0 141 8 0 0 23 0 1 0 5846366 28282880 6048 1992294400 4194304 8223781 140736775552128 18446744073709551615 6037011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 6905 6048 583 984 0 5918 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27620 [startup+3.10101 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6094 /proc/meminfo: memFree=1519264/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=30080 CPUtime=3.09 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 14096 0 0 0 300 9 0 0 25 0 1 0 5846366 30801920 6676 1992294400 4194304 8223781 140736775552128 18446744073709551615 6505975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 7520 6676 584 984 0 6533 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30080 [startup+6.30131 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6094 /proc/meminfo: memFree=1518768/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=30080 CPUtime=6.29 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 14555 0 0 0 616 13 0 0 25 0 1 0 5846366 30801920 6679 1992294400 4194304 8223781 140736775552128 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 7520 6679 584 984 0 6533 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30080 [startup+12.7009 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6094 /proc/meminfo: memFree=1518644/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=30080 CPUtime=12.69 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 14661 0 0 0 1249 20 0 0 25 0 1 0 5846366 30801920 6682 1992294400 4194304 8223781 140736775552128 18446744073709551615 6569669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 7520 6682 586 984 0 6533 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30080 [startup+25.5011 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6094 /proc/meminfo: memFree=1518644/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=30080 CPUtime=25.48 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 14892 0 0 0 2513 35 0 0 25 0 1 0 5846366 30801920 6682 1992294400 4194304 8223781 140736775552128 18446744073709551615 6521137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 7520 6682 586 984 0 6533 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30080 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6096 /proc/meminfo: memFree=1518644/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=30292 CPUtime=51.07 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 42751 0 0 0 5023 84 0 0 25 0 1 0 5846366 31019008 6714 1992294400 4194304 8223781 140736775552128 18446744073709551615 6592209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 7573 6714 587 984 0 6586 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30292 [startup+102.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6096 /proc/meminfo: memFree=1517528/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=31436 CPUtime=102.26 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 167560 0 0 0 10019 207 0 0 25 0 1 0 5846366 32190464 7015 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 7859 7015 587 984 0 6872 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31436 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6098 /proc/meminfo: memFree=1516164/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=32524 CPUtime=162.25 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 271310 0 0 0 15882 343 0 0 25 0 1 0 5846366 33304576 7295 1992294400 4194304 8223781 140736775552128 18446744073709551615 6446975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 8131 7295 587 984 0 7144 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32524 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6100 /proc/meminfo: memFree=1514552/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=34356 CPUtime=222.23 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 386899 0 0 0 21747 476 0 0 25 0 1 0 5846366 35180544 7733 1992294400 4194304 8223781 140736775552128 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 8589 7733 587 984 0 7602 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 34356 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6102 /proc/meminfo: memFree=1514180/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=34460 CPUtime=282.21 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 492171 0 0 0 27610 611 0 0 25 0 1 0 5846366 35287040 7777 1992294400 4194304 8223781 140736775552128 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 8615 7777 587 984 0 7628 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34460 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6104 /proc/meminfo: memFree=1513312/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=35308 CPUtime=342.19 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 586264 0 0 0 33483 736 0 0 25 0 1 0 5846366 36155392 7968 1992294400 4194304 8223781 140736775552128 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 8827 7968 587 984 0 7840 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 35308 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6104 /proc/meminfo: memFree=1512940/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=35796 CPUtime=402.17 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 712699 0 0 0 39346 871 0 0 25 0 1 0 5846366 36655104 8090 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 8949 8090 587 984 0 7962 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35796 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6106 /proc/meminfo: memFree=1512196/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=36512 CPUtime=462.16 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 816633 0 0 0 45215 1001 0 0 25 0 1 0 5846366 37388288 8255 1992294400 4194304 8223781 140736775552128 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9128 8255 587 984 0 8141 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 36512 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6108 /proc/meminfo: memFree=1512072/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=36552 CPUtime=522.14 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 929474 0 0 0 51077 1137 0 0 25 0 1 0 5846366 37429248 8269 1992294400 4194304 8223781 140736775552128 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9138 8269 587 984 0 8151 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 36552 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6110 /proc/meminfo: memFree=1511700/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=36620 CPUtime=582.12 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1065309 0 0 0 56934 1278 0 0 25 0 1 0 5846366 37498880 8275 1992294400 4194304 8223781 140736775552128 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9155 8275 587 984 0 8168 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 36620 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6112 /proc/meminfo: memFree=1511328/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=36972 CPUtime=642.1 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1198927 0 0 0 62792 1418 0 0 25 0 1 0 5846366 37859328 8385 1992294400 4194304 8223781 140736775552128 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9243 8385 587 984 0 8256 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 36972 [startup+702.3 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6118 /proc/meminfo: memFree=1510460/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=37840 CPUtime=882.03 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1520485 0 0 0 86309 1894 0 0 25 0 1 0 5846366 38748160 8602 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9460 8602 587 984 0 8473 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 37840 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6120 /proc/meminfo: memFree=1510088/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=38024 CPUtime=942.02 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1561208 0 0 0 92203 1999 0 0 25 0 1 0 5846366 38936576 8645 1992294400 4194304 8223781 140736775552128 18446744073709551615 6598990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9586 8654 587 984 0 8599 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 38024 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6120 /proc/meminfo: memFree=1509840/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=38356 CPUtime=1002 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1671930 0 0 0 98072 2128 0 0 25 0 1 0 5846366 39276544 8724 1992294400 4194304 8223781 140736775552128 18446744073709551615 4221615 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9589 8724 587 984 0 8602 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 38356 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6122 /proc/meminfo: memFree=1509344/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=38464 CPUtime=1061.98 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1765179 0 0 0 103942 2256 0 0 25 0 1 0 5846366 39387136 8755 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9616 8755 587 984 0 8629 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 38464 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6124 /proc/meminfo: memFree=1509220/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=38696 CPUtime=1121.96 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1881340 0 0 0 109810 2386 0 0 25 0 1 0 5846366 39624704 8788 1992294400 4194304 8223781 140736775552128 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9674 8788 591 984 0 8687 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 38696 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6126 /proc/meminfo: memFree=1508972/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=38996 CPUtime=1181.94 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 1993250 0 0 0 115675 2519 0 0 25 0 1 0 5846366 39931904 8888 1992294400 4194304 8223781 140736775552128 18446744073709551615 6444460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9749 8888 587 984 0 8762 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 38996 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6128 /proc/meminfo: memFree=1508848/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39108 CPUtime=1241.92 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2018256 0 0 0 121572 2620 0 0 25 0 1 0 5846366 40046592 8898 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9777 8898 587 984 0 8790 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 39108 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6128 /proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39712 CPUtime=1301.91 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2056970 0 0 0 127469 2722 0 0 25 0 1 0 5846366 40665088 9069 1992294400 4194304 8223781 140736775552128 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9928 9069 587 984 0 8941 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 39712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6130 /proc/meminfo: memFree=1507856/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39712 CPUtime=1361.89 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2077372 0 0 0 133363 2826 0 0 25 0 1 0 5846366 40665088 9069 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9928 9069 587 984 0 8941 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 39712 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6132 /proc/meminfo: memFree=1507856/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39952 CPUtime=1421.88 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2108428 0 0 0 139254 2934 0 0 25 0 1 0 5846366 40910848 9105 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9988 9105 587 984 0 9001 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 39952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6134 /proc/meminfo: memFree=1507856/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39712 CPUtime=1481.86 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2151633 0 0 0 145142 3044 0 0 25 0 1 0 5846366 40665088 9069 1992294400 4194304 8223781 140736775552128 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9928 9069 587 984 0 8941 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 39712 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6136 /proc/meminfo: memFree=1507732/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39712 CPUtime=1541.85 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2191829 0 0 0 151042 3143 0 0 25 0 1 0 5846366 40665088 9069 1992294400 4194304 8223781 140736775552128 18446744073709551615 6448554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9928 9069 587 984 0 8941 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 39712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6136 /proc/meminfo: memFree=1507732/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39712 CPUtime=1601.82 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2227239 0 0 0 156932 3250 0 0 25 0 1 0 5846366 40665088 9069 1992294400 4194304 8223781 140736775552128 18446744073709551615 6446961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9928 9069 587 984 0 8941 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 39712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6138 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39712 CPUtime=1661.8 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2260028 0 0 0 162832 3348 0 0 25 0 1 0 5846366 40665088 9069 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9928 9069 587 984 0 8941 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 39712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6140 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39712 CPUtime=1721.79 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2289444 0 0 0 168731 3448 0 0 25 0 1 0 5846366 40665088 9069 1992294400 4194304 8223781 140736775552128 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9928 9069 587 984 0 8941 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 39712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6142 /proc/meminfo: memFree=1507360/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=39972 CPUtime=1781.77 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2308054 0 0 0 174630 3547 0 0 25 0 1 0 5846366 40931328 9134 1992294400 4194304 8223781 140736775552128 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 9993 9134 587 984 0 9006 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 39972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6142 /proc/meminfo: memFree=1507360/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=40072 CPUtime=1800.07 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2312893 0 0 0 176427 3580 0 0 25 0 1 0 5846366 41033728 9135 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 10018 9135 587 984 0 9031 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 40072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6142 /proc/meminfo: memFree=1507360/2059040 swapFree=4192956/4192956 [pid=6093] ppid=6091 vsize=40072 CPUtime=1800.07 /proc/6093/stat : 6093 (pbscip.linux.x8) R 6091 6093 5592 0 -1 4202496 2312893 0 0 0 176427 3580 0 0 25 0 1 0 5846366 41033728 9135 1992294400 4194304 8223781 140736775552128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6093/statm: 10018 9135 587 984 0 9031 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 40072 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.14 CPU user time (s): 1764.32 CPU system time (s): 35.8146 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 40544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.32 system time used= 35.8146 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2312918 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= 24838 runsolver used 3.13352 second user time and 8.34773 second system time The end
Begin job on node004 at 2010-06-12 02:27:05 IDJOB=2667289 IDBENCH=1331 IDSOLVER=1169 FILE ID=node004/2667289-1276302425 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.1900550006.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-2667289-1276302425/watcher-2667289-1276302425 -o /tmp/evaluation-result-2667289-1276302425/solver-2667289-1276302425 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667289-1276302425.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cabd29c48249a44c2596bb98645c31c8 RANDOM SEED=854134606 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: 1544600 kB Buffers: 74988 kB Cached: 312408 kB SwapCached: 0 kB Active: 171900 kB Inactive: 274848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1544600 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4624 kB Writeback: 0 kB AnonPages: 59300 kB Mapped: 15452 kB Slab: 45908 kB PageTables: 4036 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 02:57:08