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.12 | 1800.69 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb |
MD5SUM | f510e821cdc50f097865b59193d7ef06 |
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 | 481.364 |
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 | 677 |
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-2667317-1276314063.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.06/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.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.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.50/0.55 c 0.4s| 1 | 0 | 103 | - |3992k| 0 | 41 | 231 |2761 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.76 c 0.6s| 1 | 0 | 127 | - |4602k| 0 | 47 | 231 |2761 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.08 c 0.9s| 1 | 0 | 171 | - |4654k| 0 | 52 | 231 |2761 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.46 c 1.3s| 1 | 0 | 179 | - |4655k| 0 | 54 | 231 |2761 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.84 c 1.7s| 1 | 0 | 183 | - |4655k| 0 | 54 | 231 |2761 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.69/2.73 c 2.6s| 1 | 2 | 183 | - |4656k| 0 | 54 | 231 |2761 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 137.46/137.57 c 135s| 10000 | 111 |223038 | 22.3 |6737k| 39 | 31 | 231 |6632 | 231 |2578 | 23 |5556 |2156 | 0.000000e+00 | -- | Inf 236.11/236.27 c 231s| 20000 | 108 |448499 | 22.4 |7349k| 42 | 35 | 231 |7834 | 231 |2578 | 23 | 11k|2367 | 0.000000e+00 | -- | Inf 343.08/343.25 c 336s| 30000 | 133 |679843 | 22.7 |8643k| 42 | - | 231 | 10k| 231 |2578 | 23 | 16k|2905 | 0.000000e+00 | -- | Inf 452.63/452.82 c 443s| 40000 | 141 |920229 | 23.0 |8783k| 43 | 32 | 231 | 10k| 231 |2578 | 23 | 22k|3390 | 0.000000e+00 | -- | Inf 560.40/560.65 c 549s| 50000 | 153 | 1152k| 23.1 |9373k| 45 | - | 231 | 11k| 231 |2578 | 23 | 27k|3896 | 0.000000e+00 | -- | Inf 669.27/669.54 c 655s| 60000 | 156 | 1392k| 23.2 |9441k| 47 | 20 | 231 | 11k| 231 |2578 | 23 | 33k|4283 | 0.000000e+00 | -- | Inf 780.75/781.07 c 765s| 70000 | 241 | 1640k| 23.4 | 10M| 48 | - | 231 | 12k| 231 |2578 | 23 | 39k|4604 | 0.000000e+00 | -- | Inf 891.01/891.31 c 873s| 80000 | 248 | 1885k| 23.6 | 10M| 48 | - | 231 | 14k| 231 |2578 | 23 | 44k|4962 | 0.000000e+00 | -- | Inf 997.57/997.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 997.57/997.90 c 977s| 90000 | 253 | 2123k| 23.6 | 11M| 50 | - | 231 | 15k| 231 |2578 | 23 | 51k|5291 | 0.000000e+00 | -- | Inf 1109.24/1109.69 c 1087s|100000 | 187 | 2373k| 23.7 | 10M| 51 | - | 231 | 12k| 231 |2578 | 23 | 57k|5555 | 0.000000e+00 | -- | Inf 1219.40/1219.80 c 1195s|110000 | 238 | 2623k| 23.8 | 10M| 51 | 31 | 231 | 13k| 231 |2578 | 23 | 63k|5784 | 0.000000e+00 | -- | Inf 1321.57/1322.04 c 1295s|120000 | 309 | 2847k| 23.7 | 11M| 52 | 20 | 231 | 14k| 231 |2578 | 23 | 68k|6119 | 0.000000e+00 | -- | Inf 1427.74/1428.27 c 1399s|130000 | 456 | 3092k| 23.8 | 12M| 52 | 38 | 231 | 16k| 231 |2578 | 23 | 74k|6294 | 0.000000e+00 | -- | Inf 1538.50/1539.02 c 1508s|140000 | 483 | 3339k| 23.9 | 12M| 52 | 45 | 231 | 14k| 231 |2578 | 23 | 79k|6616 | 0.000000e+00 | -- | Inf 1648.86/1649.47 c 1616s|150000 | 461 | 3592k| 23.9 | 12M| 52 | - | 231 | 14k| 231 |2578 | 23 | 85k|6778 | 0.000000e+00 | -- | Inf 1764.63/1765.24 c 1729s|160000 | 437 | 3856k| 24.1 | 13M| 55 | - | 231 | 15k| 231 |2578 | 23 | 91k|7049 | 0.000000e+00 | -- | Inf 1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.03/1800.63 c 1800.03/1800.63 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.63 c Solving Time (sec) : 1763.71 1800.03/1800.63 c Solving Nodes : 163102 1800.03/1800.63 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.03/1800.63 c Dual Bound : +0.00000000000000e+00 1800.03/1800.63 c Gap : infinite 1800.03/1800.63 s UNKNOWN 1800.03/1800.63 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.63 c Solving Time : 1763.71 1800.03/1800.63 c Original Problem : 1800.03/1800.63 c Problem name : HOME/instance-2667317-1276314063.opb 1800.03/1800.63 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.63 c Constraints : 2707 initial, 2707 maximal 1800.03/1800.63 c Presolved Problem : 1800.03/1800.63 c Problem name : t_HOME/instance-2667317-1276314063.opb 1800.03/1800.63 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.63 c Constraints : 2564 initial, 16407 maximal 1800.03/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.03/1800.63 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c linear : 0.03 0 0 0 0 0 143 0 0 1800.03/1800.63 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.63 c root node : - 0 - - 0 - - - - 1800.03/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.63 c integral : 0 0 0 84073 0 268 2623 0 0 164466 1800.03/1800.63 c knapsack : 1 5 602452 0 0 1214 229987 0 0 0 1800.03/1800.63 c setppc : 22 5 601533 0 0 3222 795245 0 0 0 1800.03/1800.63 c linear : 0+ 5 385243 0 0 29 457 0 0 0 1800.03/1800.63 c logicor : 2541+ 5 303310 0 0 1289 1111763 0 0 0 1800.03/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.03/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.63 c integral : 123.94 0.00 0.00 123.94 0.00 1800.03/1800.63 c knapsack : 5.26 0.00 5.26 0.00 0.00 1800.03/1800.63 c setppc : 11.41 0.00 11.41 0.00 0.00 1800.03/1800.63 c linear : 2.17 0.00 2.17 0.00 0.00 1800.03/1800.63 c logicor : 64.59 0.00 64.59 0.00 0.00 1800.03/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.03/1800.63 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.63 c vbounds : 0.35 1 0 0 1800.03/1800.63 c rootredcost : 0.32 0 0 0 1800.03/1800.63 c pseudoobj : 0.26 0 0 0 1800.03/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.63 c propagation : 0.58 5754 5734 35156 24.8 83 20.8 - 1800.03/1800.63 c infeasible LP : 33.11 75790 71539 475440 36.2 359 17.8 0 1800.03/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.03/1800.63 c applied globally : - - - 84647 19.9 - - - 1800.03/1800.63 c applied locally : - - - 8213 34.2 - - - 1800.03/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.63 c cut pool : 0.00 4 - - 71 - (maximal pool size: 346) 1800.03/1800.63 c redcost : 0.82 82608 0 0 0 0 1800.03/1800.63 c impliedbounds : 0.00 5 0 0 0 0 1800.03/1800.63 c intobj : 0.00 0 0 0 0 0 1800.03/1800.63 c cgmip : 0.00 0 0 0 0 0 1800.03/1800.63 c gomory : 0.74 5 0 0 1275 0 1800.03/1800.63 c strongcg : 0.58 5 0 0 1306 0 1800.03/1800.63 c cmir : 0.00 0 0 0 0 0 1800.03/1800.63 c flowcover : 0.00 0 0 0 0 0 1800.03/1800.63 c clique : 0.00 5 0 0 0 0 1800.03/1800.63 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.63 c mcf : 0.00 1 0 0 0 0 1800.03/1800.63 c rapidlearning : 0.22 1 0 0 0 197 1800.03/1800.63 c Pricers : Time Calls Vars 1800.03/1800.63 c problem variables: 0.00 0 0 1800.03/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.63 c relpscost : 123.71 84073 268 2623 0 0 164466 1800.03/1800.63 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.63 c inference : 0.00 0 0 0 0 0 0 1800.03/1800.63 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.63 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.63 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.63 c random : 0.00 0 0 0 0 0 0 1800.03/1800.63 c Primal Heuristics : Time Calls Found 1800.03/1800.63 c LP solutions : 0.00 - 0 1800.03/1800.63 c pseudo solutions : 0.00 - 0 1800.03/1800.63 c trivial : 0.00 1 0 1800.03/1800.63 c simplerounding : 0.00 0 0 1800.03/1800.63 c zirounding : 0.00 0 0 1800.03/1800.63 c rounding : 0.00 0 0 1800.03/1800.63 c shifting : 0.00 0 0 1800.03/1800.63 c intshifting : 0.00 0 0 1800.03/1800.63 c oneopt : 0.00 0 0 1800.03/1800.63 c twoopt : 0.00 0 0 1800.03/1800.63 c fixandinfer : 0.00 0 0 1800.03/1800.63 c feaspump : 0.00 0 0 1800.03/1800.63 c coefdiving : 0.00 0 0 1800.03/1800.63 c pscostdiving : 0.00 0 0 1800.03/1800.63 c fracdiving : 0.00 0 0 1800.03/1800.63 c veclendiving : 0.00 0 0 1800.03/1800.63 c intdiving : 0.00 0 0 1800.03/1800.63 c actconsdiving : 0.00 0 0 1800.03/1800.63 c objpscostdiving : 0.00 0 0 1800.03/1800.63 c rootsoldiving : 0.00 0 0 1800.03/1800.63 c linesearchdiving : 0.00 0 0 1800.03/1800.63 c guideddiving : 0.00 0 0 1800.03/1800.63 c octane : 0.00 0 0 1800.03/1800.63 c rens : 0.00 0 0 1800.03/1800.63 c rins : 0.00 0 0 1800.03/1800.63 c localbranching : 0.00 0 0 1800.03/1800.63 c mutation : 0.00 0 0 1800.03/1800.63 c crossover : 0.00 0 0 1800.03/1800.63 c dins : 0.00 0 0 1800.03/1800.63 c undercover : 0.00 0 0 1800.03/1800.63 c nlp : 0.00 0 0 1800.03/1800.63 c trysol : 0.00 0 0 1800.03/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.63 c primal LP : 0.01 0 0 0.00 0.00 1800.03/1800.63 c dual LP : 1367.66 159479 3937151 24.69 2878.75 1800.03/1800.63 c lex dual LP : 0.00 0 0 0.00 - 1800.03/1800.63 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.63 c diving/probing LP: 0.00 0 0 0.00 - 1800.03/1800.63 c strong branching : 120.36 7086 336285 47.46 2793.99 1800.03/1800.63 c (at root node) : - 10 2115 211.50 - 1800.03/1800.63 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.63 c B&B Tree : 1800.03/1800.63 c number of runs : 1 1800.03/1800.63 c nodes : 163102 1800.03/1800.63 c nodes (total) : 163102 1800.03/1800.63 c nodes left : 409 1800.03/1800.63 c max depth : 55 1800.03/1800.63 c max depth (total): 55 1800.03/1800.63 c backtracks : 20100 (12.3%) 1800.03/1800.63 c delayed cutoffs : 956 1800.03/1800.63 c repropagations : 237693 (279148 domain reductions, 943 cutoffs) 1800.03/1800.63 c avg switch length: 4.80 1800.03/1800.63 c switching time : 62.45 1800.03/1800.63 c Solution : 1800.03/1800.63 c Solutions found : 0 (0 improvements) 1800.03/1800.63 c Primal Bound : - 1800.03/1800.63 c Dual Bound : +0.00000000000000e+00 1800.03/1800.63 c Gap : infinite 1800.03/1800.63 c Root Dual Bound : +0.00000000000000e+00 1800.03/1800.63 c Root Iterations : 183 1800.03/1800.68 c Time complete: 1800.11.
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-2667317-1276314063/watcher-2667317-1276314063 -o /tmp/evaluation-result-2667317-1276314063/solver-2667317-1276314063 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667317-1276314063.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.02 1.04 3/106 7840 /proc/meminfo: memFree=1535820/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=7724 CPUtime=0 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1034 0 0 0 0 0 0 0 18 0 1 0 7008098 7909376 953 1992294400 4194304 8223781 140733751593984 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7840/statm: 1931 962 348 984 0 944 0 [startup+0.0694261 s] /proc/loadavg: 1.00 1.02 1.04 3/106 7840 /proc/meminfo: memFree=1535820/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=14140 CPUtime=0.06 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 3156 0 0 0 5 1 0 0 20 0 1 0 7008098 14479360 2712 1992294400 4194304 8223781 140733751593984 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 3535 2714 389 984 0 2548 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14140 [startup+0.101429 s] /proc/loadavg: 1.00 1.02 1.04 3/106 7840 /proc/meminfo: memFree=1535820/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=16228 CPUtime=0.09 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 3718 0 0 0 8 1 0 0 20 0 1 0 7008098 16617472 3016 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 4057 3016 443 984 0 3070 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16228 [startup+0.301451 s] /proc/loadavg: 1.00 1.02 1.04 3/106 7840 /proc/meminfo: memFree=1535820/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=30164 CPUtime=0.29 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 9914 0 0 0 24 5 0 0 20 0 1 0 7008098 30887936 6576 1992294400 4194304 8223781 140733751593984 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 7541 6580 570 984 0 6554 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30164 [startup+0.701495 s] /proc/loadavg: 1.00 1.02 1.04 3/106 7840 /proc/meminfo: memFree=1535820/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=27348 CPUtime=0.69 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 13058 0 0 0 61 8 0 0 21 0 1 0 7008098 28004352 5992 1992294400 4194304 8223781 140733751593984 18446744073709551615 6059474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 6837 5992 583 984 0 5850 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27348 [startup+1.50158 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7841 /proc/meminfo: memFree=1513616/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=27680 CPUtime=1.49 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 13127 0 0 0 140 9 0 0 23 0 1 0 7008098 28344320 6061 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 6920 6061 583 984 0 5933 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27680 [startup+3.10076 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7841 /proc/meminfo: memFree=1513492/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=27736 CPUtime=3.09 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 13179 0 0 0 298 11 0 0 25 0 1 0 7008098 28401664 6106 1992294400 4194304 8223781 140733751593984 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 6934 6106 584 984 0 5947 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27736 [startup+6.30111 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7841 /proc/meminfo: memFree=1513244/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=27736 CPUtime=6.29 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 13233 0 0 0 614 15 0 0 25 0 1 0 7008098 28401664 6113 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 6934 6113 584 984 0 5947 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27736 [startup+12.7008 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7841 /proc/meminfo: memFree=1513120/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=27736 CPUtime=12.68 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 13237 0 0 0 1247 21 0 0 25 0 1 0 7008098 28401664 6116 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 6934 6116 586 984 0 5947 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27736 [startup+25.5012 s] /proc/loadavg: 1.00 1.01 1.04 2/107 7843 /proc/meminfo: memFree=1513120/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=27736 CPUtime=25.48 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 13238 0 0 0 2515 33 0 0 25 0 1 0 7008098 28401664 6117 1992294400 4194304 8223781 140733751593984 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 6934 6117 587 984 0 5947 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27736 [startup+51.1011 s] /proc/loadavg: 1.00 1.01 1.03 2/107 7843 /proc/meminfo: memFree=1512996/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=27736 CPUtime=51.07 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 15177 0 0 0 5040 67 0 0 25 0 1 0 7008098 28401664 6117 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 6934 6117 587 984 0 5947 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27736 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.03 2/107 7845 /proc/meminfo: memFree=1512004/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=28692 CPUtime=102.26 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 128169 0 0 0 10039 187 0 0 25 0 1 0 7008098 29380608 6333 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569710 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 7173 6333 587 984 0 6186 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28692 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 7845 /proc/meminfo: memFree=1510640/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=29940 CPUtime=162.23 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 245391 0 0 0 15904 319 0 0 25 0 1 0 7008098 30658560 6647 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 7485 6647 588 984 0 6498 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29940 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 7847 /proc/meminfo: memFree=1510144/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=30260 CPUtime=222.21 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 350823 0 0 0 21770 451 0 0 25 0 1 0 7008098 30986240 6729 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 7565 6729 587 984 0 6578 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 30260 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.01 2/107 7849 /proc/meminfo: memFree=1508656/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=31496 CPUtime=282.19 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 450212 0 0 0 27639 580 0 0 25 0 1 0 7008098 32251904 7055 1992294400 4194304 8223781 140733751593984 18446744073709551615 6591892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 7874 7055 587 984 0 6887 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 31496 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7851 /proc/meminfo: memFree=1507416/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=32980 CPUtime=342.17 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 543894 0 0 0 33515 702 0 0 25 0 1 0 7008098 33771520 7423 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569736 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8245 7423 587 984 0 7258 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 32980 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7853 /proc/meminfo: memFree=1507044/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=32980 CPUtime=402.15 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 663596 0 0 0 39384 831 0 0 25 0 1 0 7008098 33771520 7425 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8245 7425 587 984 0 7258 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 32980 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7853 /proc/meminfo: memFree=1506672/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=33412 CPUtime=462.13 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 749788 0 0 0 45259 954 0 0 25 0 1 0 7008098 34213888 7518 1992294400 4194304 8223781 140733751593984 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8353 7518 587 984 0 7366 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 33412 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7855 /proc/meminfo: memFree=1506424/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=33792 CPUtime=522.12 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 812709 0 0 0 51145 1067 0 0 25 0 1 0 7008098 34603008 7629 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8448 7629 587 984 0 7461 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 33792 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7857 /proc/meminfo: memFree=1506424/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=33680 CPUtime=582.1 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 905499 0 0 0 57010 1200 0 0 25 0 1 0 7008098 34488320 7602 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8420 7602 587 984 0 7433 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 33680 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7859 /proc/meminfo: memFree=1506176/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=34112 CPUtime=642.08 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1006776 0 0 0 62876 1332 0 0 25 0 1 0 7008098 34930688 7696 1992294400 4194304 8223781 140733751593984 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8528 7696 587 984 0 7541 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 34112 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7863 /proc/meminfo: memFree=1504812/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=35404 CPUtime=822.03 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1316951 0 0 0 80499 1704 0 0 25 0 1 0 7008098 36253696 8026 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8851 8026 587 984 0 7864 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 35404 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7865 /proc/meminfo: memFree=1504440/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=35784 CPUtime=882.01 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1360787 0 0 0 86392 1809 0 0 25 0 1 0 7008098 36642816 8121 1992294400 4194304 8223781 140733751593984 18446744073709551615 6611771 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 8946 8121 587 984 0 7959 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 35784 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7867 /proc/meminfo: memFree=1503696/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=36260 CPUtime=941.99 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1418622 0 0 0 92279 1920 0 0 25 0 1 0 7008098 37130240 8223 1992294400 4194304 8223781 140733751593984 18446744073709551615 6003887 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9065 8223 587 984 0 8078 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 36260 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7869 /proc/meminfo: memFree=1502704/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=37456 CPUtime=1001.97 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1483845 0 0 0 98166 2031 0 0 25 0 1 0 7008098 38354944 8519 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9364 8519 587 984 0 8377 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 37456 [startup+1062.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 7869 /proc/meminfo: memFree=1502456/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=37456 CPUtime=1061.96 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1535672 0 0 0 104049 2147 0 0 25 0 1 0 7008098 38354944 8521 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9364 8521 587 984 0 8377 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 37456 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 7871 /proc/meminfo: memFree=1502332/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=37456 CPUtime=1121.94 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1586640 0 0 0 109937 2257 0 0 25 0 1 0 7008098 38354944 8521 1992294400 4194304 8223781 140733751593984 18446744073709551615 6248394 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9364 8521 587 984 0 8377 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 37456 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7873 /proc/meminfo: memFree=1501836/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=37808 CPUtime=1181.92 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1659042 0 0 0 115820 2372 0 0 25 0 1 0 7008098 38715392 8609 1992294400 4194304 8223781 140733751593984 18446744073709551615 6606345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9452 8609 587 984 0 8465 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 37808 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7884 /proc/meminfo: memFree=1501340/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=37808 CPUtime=1241.89 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1714847 0 0 0 121706 2483 0 0 25 0 1 0 7008098 38715392 8609 1992294400 4194304 8223781 140733751593984 18446744073709551615 6505900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9452 8609 587 984 0 8465 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 37808 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7886 /proc/meminfo: memFree=1500968/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=38220 CPUtime=1301.88 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1751102 0 0 0 127595 2593 0 0 25 0 1 0 7008098 39137280 8712 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9555 8712 587 984 0 8568 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 38220 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7886 /proc/meminfo: memFree=1500968/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=38336 CPUtime=1361.85 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1834648 0 0 0 133470 2715 0 0 25 0 1 0 7008098 39256064 8737 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9584 8737 587 984 0 8597 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 38336 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7888 /proc/meminfo: memFree=1500348/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39096 CPUtime=1421.84 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1914737 0 0 0 139343 2841 0 0 25 0 1 0 7008098 40034304 8932 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9774 8932 587 984 0 8787 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 39096 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7890 /proc/meminfo: memFree=1499976/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39256 CPUtime=1481.82 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 1979362 0 0 0 145223 2959 0 0 25 0 1 0 7008098 40198144 8972 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9814 8972 587 984 0 8827 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 39256 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7892 /proc/meminfo: memFree=1499728/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39436 CPUtime=1541.8 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 2080569 0 0 0 151094 3086 0 0 25 0 1 0 7008098 40382464 9017 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9859 9017 587 984 0 8872 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 39436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7894 /proc/meminfo: memFree=1499728/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39436 CPUtime=1601.78 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 2191678 0 0 0 156964 3214 0 0 25 0 1 0 7008098 40382464 9017 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9859 9017 587 984 0 8872 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 39436 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7894 /proc/meminfo: memFree=1499728/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39540 CPUtime=1661.76 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 2301000 0 0 0 162840 3336 0 0 25 0 1 0 7008098 40488960 9026 1992294400 4194304 8223781 140733751593984 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9885 9026 587 984 0 8898 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 39540 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7896 /proc/meminfo: memFree=1499728/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39496 CPUtime=1721.74 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 2407731 0 0 0 168711 3463 0 0 25 0 1 0 7008098 40443904 9032 1992294400 4194304 8223781 140733751593984 18446744073709551615 6559828 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9874 9032 595 984 0 8887 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 39496 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7898 /proc/meminfo: memFree=1499356/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39748 CPUtime=1781.73 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 2516017 0 0 0 174585 3588 0 0 25 0 1 0 7008098 40701952 9082 1992294400 4194304 8223781 140733751593984 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9937 9082 587 984 0 8950 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 39748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7898 /proc/meminfo: memFree=1499356/2059040 swapFree=4192956/4192956 [pid=7840] ppid=7838 vsize=39884 CPUtime=1800.03 /proc/7840/stat : 7840 (pbscip.linux.x8) R 7838 7840 6883 0 -1 4202496 2552083 0 0 0 176374 3629 0 0 25 0 1 0 7008098 40841216 9094 1992294400 4194304 8223781 140733751593984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7840/statm: 9971 9094 587 984 0 8984 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 39884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.12 CPU user time (s): 1763.81 CPU system time (s): 36.3015 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 40348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.81 system time used= 36.3015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2552163 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= 6561 runsolver used 3.12652 second user time and 8.35773 second system time The end
Begin job on node009 at 2010-06-12 05:41:03 IDJOB=2667317 IDBENCH=1363 IDSOLVER=1169 FILE ID=node009/2667317-1276314063 PBS_JOBID= 11173144 Free space on /tmp= 62444 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.1900579996.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-2667317-1276314063/watcher-2667317-1276314063 -o /tmp/evaluation-result-2667317-1276314063/solver-2667317-1276314063 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667317-1276314063.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f510e821cdc50f097865b59193d7ef06 RANDOM SEED=1241521089 node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.199 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1536472 kB Buffers: 82180 kB Cached: 312868 kB SwapCached: 0 kB Active: 177824 kB Inactive: 276476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1536472 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4612 kB Writeback: 0 kB AnonPages: 59136 kB Mapped: 15496 kB Slab: 46496 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181308 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= 62440 MiB End job on node009 at 2010-06-12 06:11:06