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.08 | 1800.68 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb |
MD5SUM | 86b039bb4205441cb6ccb47b538994bc |
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 | 53.2009 |
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-2667267-1276293639.opb> 0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.06 c problem read 0.00/0.06 c No objective function, only one solution is needed. 0.00/0.06 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.05 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 122 | - |3977k| 0 | 43 | 231 |2759 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.69 c 0.6s| 1 | 0 | 169 | - |4439k| 0 | 49 | 231 |2759 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.99 c 0.8s| 1 | 0 | 212 | - |4915k| 0 | 55 | 231 |2759 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.41 c 1.3s| 1 | 0 | 240 | - |5133k| 0 | 56 | 231 |2759 | 231 |2590 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.79 c 1.6s| 1 | 0 | 251 | - |5134k| 0 | 58 | 231 |2759 | 231 |2591 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 2.89/2.99 c 2.8s| 1 | 2 | 251 | - |5135k| 0 | 58 | 231 |2759 | 231 |2591 | 27 | 0 | 10 | 0.000000e+00 | -- | Inf 150.02/150.17 c 147s| 10000 | 96 |249542 | 24.9 |7296k| 37 | - | 231 |6832 | 231 |2581 | 27 |5994 |2152 | 0.000000e+00 | -- | Inf 256.99/257.16 c 251s| 20000 | 101 |501963 | 25.1 |7790k| 42 | 27 | 231 |7429 | 231 |2581 | 27 | 11k|2303 | 0.000000e+00 | -- | Inf 375.35/375.55 c 367s| 30000 | 60 |764627 | 25.5 |8103k| 44 | - | 231 |8233 | 231 |2581 | 27 | 17k|2916 | 0.000000e+00 | -- | Inf 490.81/491.00 c 480s| 40000 | 30 | 1024k| 25.6 |8757k| 48 | 33 | 231 | 10k| 231 |2581 | 27 | 24k|3422 | 0.000000e+00 | -- | Inf 614.57/614.88 c 601s| 50000 | 45 | 1303k| 26.1 |9762k| 48 | - | 231 | 12k| 231 |2581 | 27 | 29k|3917 | 0.000000e+00 | -- | Inf 725.63/725.95 c 711s| 60000 | 164 | 1554k| 25.9 | 10M| 49 | 38 | 231 | 14k| 231 |2581 | 27 | 35k|4268 | 0.000000e+00 | -- | Inf 838.99/839.34 c 822s| 70000 | 203 | 1807k| 25.8 | 11M| 52 | - | 231 | 15k| 231 |2581 | 27 | 41k|4633 | 0.000000e+00 | -- | Inf 955.46/955.87 c 936s| 80000 | 194 | 2068k| 25.8 | 12M| 52 | - | 231 | 16k| 231 |2581 | 27 | 47k|4962 | 0.000000e+00 | -- | Inf 1072.91/1073.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1072.91/1073.30 c 1051s| 90000 | 240 | 2325k| 25.8 | 12M| 52 | - | 231 | 17k| 231 |2581 | 27 | 52k|5344 | 0.000000e+00 | -- | Inf 1188.38/1188.88 c 1164s|100000 | 178 | 2585k| 25.8 | 12M| 58 | 28 | 231 | 17k| 231 |2581 | 27 | 57k|5610 | 0.000000e+00 | -- | Inf 1306.64/1307.11 c 1280s|110000 | 119 | 2849k| 25.9 | 11M| 61 | 28 | 231 | 15k| 231 |2581 | 27 | 63k|5908 | 0.000000e+00 | -- | Inf 1420.31/1420.88 c 1392s|120000 | 68 | 3105k| 25.9 | 11M| 61 | - | 231 | 16k| 231 |2581 | 27 | 69k|6198 | 0.000000e+00 | -- | Inf 1535.77/1536.35 c 1505s|130000 | 49 | 3366k| 25.9 | 11M| 61 | 37 | 231 | 14k| 231 |2581 | 27 | 75k|6465 | 0.000000e+00 | -- | Inf 1647.34/1647.92 c 1615s|140000 | 29 | 3620k| 25.9 | 12M| 61 | - | 231 | 16k| 231 |2581 | 27 | 81k|6702 | 0.000000e+00 | -- | Inf 1762.40/1763.08 c 1729s|150000 | 46 | 3881k| 25.9 | 11M| 61 | - | 231 | 14k| 231 |2581 | 27 | 87k|6955 | 0.000000e+00 | -- | Inf 1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.01/1800.62 c 1800.01/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.62 c Solving Time (sec) : 1765.65 1800.01/1800.62 c Solving Nodes : 153556 1800.01/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.01/1800.62 c Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Gap : infinite 1800.01/1800.62 s UNKNOWN 1800.01/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.62 c Solving Time : 1765.65 1800.01/1800.62 c Original Problem : 1800.01/1800.62 c Problem name : HOME/instance-2667267-1276293639.opb 1800.01/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.01/1800.62 c Presolved Problem : 1800.01/1800.62 c Problem name : t_HOME/instance-2667267-1276293639.opb 1800.01/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.62 c Constraints : 2564 initial, 17609 maximal 1800.01/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.01/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c knapsack : 0.02 0 0 0 0 0 0 0 0 1800.01/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c linear : 0.02 0 0 0 0 0 143 0 0 1800.01/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.62 c root node : - 0 - - 0 - - - - 1800.01/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.01/1800.62 c integral : 0 0 0 79038 0 196 2723 0 0 154642 1800.01/1800.62 c knapsack : 1 5 568506 0 0 1376 270248 0 0 0 1800.01/1800.62 c setppc : 22 5 567629 0 0 3399 778099 0 0 0 1800.01/1800.62 c linear : 0+ 5 177192 0 0 6 6091 5 0 0 1800.01/1800.62 c logicor : 2541+ 5 291548 0 0 1032 1066683 0 0 0 1800.01/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.01/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.01/1800.62 c integral : 128.04 0.00 0.00 128.04 0.00 1800.01/1800.62 c knapsack : 5.27 0.00 5.27 0.00 0.00 1800.01/1800.62 c setppc : 8.49 0.00 8.49 0.00 0.00 1800.01/1800.62 c linear : 0.94 0.00 0.94 0.00 0.00 1800.01/1800.62 c logicor : 67.85 0.01 67.84 0.00 0.00 1800.01/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.01/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.01/1800.62 c vbounds : 0.39 1 0 0 1800.01/1800.62 c rootredcost : 0.36 0 0 0 1800.01/1800.62 c pseudoobj : 0.27 0 0 0 1800.01/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.01/1800.62 c propagation : 0.51 5813 5789 33296 24.8 76 21.7 - 1800.01/1800.62 c infeasible LP : 30.28 71245 67735 442992 36.4 398 18.8 0 1800.01/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.01/1800.62 c applied globally : - - - 79455 20.3 - - - 1800.01/1800.62 c applied locally : - - - 9893 34.8 - - - 1800.01/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.01/1800.62 c cut pool : 0.00 4 - - 74 - (maximal pool size: 487) 1800.01/1800.62 c redcost : 0.77 77617 0 0 0 0 1800.01/1800.62 c impliedbounds : 0.00 5 0 0 0 0 1800.01/1800.62 c intobj : 0.00 0 0 0 0 0 1800.01/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.01/1800.62 c gomory : 0.71 5 0 0 1126 0 1800.01/1800.62 c strongcg : 0.54 5 0 0 1690 0 1800.01/1800.62 c cmir : 0.00 0 0 0 0 0 1800.01/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.01/1800.62 c clique : 0.00 5 0 0 0 0 1800.01/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.01/1800.62 c mcf : 0.01 1 0 0 0 0 1800.01/1800.62 c rapidlearning : 0.20 1 0 0 0 195 1800.01/1800.62 c Pricers : Time Calls Vars 1800.01/1800.62 c problem variables: 0.00 0 0 1800.01/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.01/1800.62 c relpscost : 127.76 79038 196 2723 0 0 154642 1800.01/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.01/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.01/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.01/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.01/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.62 c random : 0.00 0 0 0 0 0 0 1800.01/1800.62 c Primal Heuristics : Time Calls Found 1800.01/1800.62 c LP solutions : 0.00 - 0 1800.01/1800.62 c pseudo solutions : 0.00 - 0 1800.01/1800.62 c trivial : 0.00 1 0 1800.01/1800.62 c simplerounding : 0.00 0 0 1800.01/1800.62 c zirounding : 0.00 0 0 1800.01/1800.62 c rounding : 0.00 0 0 1800.01/1800.62 c shifting : 0.00 0 0 1800.01/1800.62 c intshifting : 0.00 0 0 1800.01/1800.62 c oneopt : 0.00 0 0 1800.01/1800.62 c twoopt : 0.00 0 0 1800.01/1800.62 c fixandinfer : 0.00 0 0 1800.01/1800.62 c feaspump : 0.00 0 0 1800.01/1800.62 c coefdiving : 0.00 0 0 1800.01/1800.62 c pscostdiving : 0.00 0 0 1800.01/1800.62 c fracdiving : 0.00 0 0 1800.01/1800.62 c veclendiving : 0.00 0 0 1800.01/1800.62 c intdiving : 0.00 0 0 1800.01/1800.62 c actconsdiving : 0.00 0 0 1800.01/1800.62 c objpscostdiving : 0.00 0 0 1800.01/1800.62 c rootsoldiving : 0.00 0 0 1800.01/1800.62 c linesearchdiving : 0.00 0 0 1800.01/1800.62 c guideddiving : 0.00 0 0 1800.01/1800.62 c octane : 0.00 0 0 1800.01/1800.62 c rens : 0.00 0 0 1800.01/1800.62 c rins : 0.00 0 0 1800.01/1800.62 c localbranching : 0.00 0 0 1800.01/1800.62 c mutation : 0.00 0 0 1800.01/1800.62 c crossover : 0.00 0 0 1800.01/1800.62 c dins : 0.00 0 0 1800.01/1800.62 c undercover : 0.00 0 0 1800.01/1800.62 c nlp : 0.00 0 0 1800.01/1800.62 c trysol : 0.00 0 0 1800.01/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.01/1800.62 c primal LP : 0.01 0 0 0.00 0.00 1800.01/1800.62 c dual LP : 1374.53 149943 3969128 26.47 2887.63 1800.01/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.01/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.01/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.01/1800.62 c strong branching : 124.49 7000 347324 49.62 2789.98 1800.01/1800.62 c (at root node) : - 10 2753 275.30 - 1800.01/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.01/1800.62 c B&B Tree : 1800.01/1800.62 c number of runs : 1 1800.01/1800.62 c nodes : 153556 1800.01/1800.62 c nodes (total) : 153556 1800.01/1800.62 c nodes left : 64 1800.01/1800.62 c max depth : 61 1800.01/1800.62 c max depth (total): 61 1800.01/1800.62 c backtracks : 19874 (12.9%) 1800.01/1800.62 c delayed cutoffs : 1023 1800.01/1800.62 c repropagations : 217547 (307216 domain reductions, 1019 cutoffs) 1800.01/1800.62 c avg switch length: 4.63 1800.01/1800.62 c switching time : 59.19 1800.01/1800.62 c Solution : 1800.01/1800.62 c Solutions found : 0 (0 improvements) 1800.01/1800.62 c Primal Bound : - 1800.01/1800.62 c Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Gap : infinite 1800.01/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Root Iterations : 251 1800.01/1800.67 c Time complete: 1800.08.
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-2667267-1276293639/watcher-2667267-1276293639 -o /tmp/evaluation-result-2667267-1276293639/solver-2667267-1276293639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667267-1276293639.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7086 /proc/meminfo: memFree=1543640/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=7724 CPUtime=0 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1053 0 0 0 0 0 0 0 20 0 1 0 4967665 7909376 972 1992294400 4194304 8223781 140734155311632 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7086/statm: 1931 982 348 984 0 944 0 [startup+0.0707351 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7086 /proc/meminfo: memFree=1543640/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=14420 CPUtime=0.06 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 3210 0 0 0 6 0 0 0 20 0 1 0 4967665 14766080 2766 1992294400 4194304 8223781 140734155311632 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 3605 2768 389 984 0 2618 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14420 [startup+0.100738 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7086 /proc/meminfo: memFree=1543640/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=16096 CPUtime=0.09 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 3711 0 0 0 8 1 0 0 20 0 1 0 4967665 16482304 3009 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 4024 3009 443 984 0 3037 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16096 [startup+0.30076 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7086 /proc/meminfo: memFree=1543640/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=29624 CPUtime=0.29 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 9776 0 0 0 25 4 0 0 20 0 1 0 4967665 30334976 6439 1992294400 4194304 8223781 140734155311632 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 7406 6445 570 984 0 6419 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29624 [startup+0.700803 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7086 /proc/meminfo: memFree=1543640/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=27324 CPUtime=0.69 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 13061 0 0 0 61 8 0 0 20 0 1 0 4967665 27979776 5995 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 6831 5995 583 984 0 5844 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27324 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7087 /proc/meminfo: memFree=1521436/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=27644 CPUtime=1.49 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 13122 0 0 0 140 9 0 0 22 0 1 0 4967665 28307456 6055 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 6911 6055 583 984 0 5924 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27644 [startup+3.10107 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7087 /proc/meminfo: memFree=1520816/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=28404 CPUtime=3.09 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 13800 0 0 0 298 11 0 0 25 0 1 0 4967665 29085696 6170 1992294400 4194304 8223781 140734155311632 18446744073709551615 6567540 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 7101 6170 584 984 0 6114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28404 [startup+6.30142 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7087 /proc/meminfo: memFree=1520568/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=27756 CPUtime=6.29 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 15486 0 0 0 615 14 0 0 25 0 1 0 4967665 28422144 6101 1992294400 4194304 8223781 140734155311632 18446744073709551615 6588463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 6939 6101 584 984 0 5952 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27756 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7087 /proc/meminfo: memFree=1520568/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=27916 CPUtime=12.69 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 19944 0 0 0 1245 24 0 0 25 0 1 0 4967665 28585984 6104 1992294400 4194304 8223781 140734155311632 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 6939 6104 586 984 0 5952 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27916 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7096 /proc/meminfo: memFree=1520188/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=27756 CPUtime=25.47 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 25750 0 0 0 2504 43 0 0 25 0 1 0 4967665 28422144 6104 1992294400 4194304 8223781 140734155311632 18446744073709551615 6592935 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 6939 6104 586 984 0 5952 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 27756 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7098 /proc/meminfo: memFree=1520072/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=28080 CPUtime=51.06 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 60276 0 0 0 5018 88 0 0 25 0 1 0 4967665 28753920 6165 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 7020 6165 587 984 0 6033 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 28080 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7098 /proc/meminfo: memFree=1518832/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=29492 CPUtime=102.24 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 184666 0 0 0 10021 203 0 0 25 0 1 0 4967665 30199808 6518 1992294400 4194304 8223781 140734155311632 18446744073709551615 6567850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 7373 6518 587 984 0 6386 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 29492 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7100 /proc/meminfo: memFree=1517840/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=30380 CPUtime=162.22 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 331952 0 0 0 15868 354 0 0 25 0 1 0 4967665 31109120 6761 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 7595 6761 587 984 0 6608 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 30380 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7102 /proc/meminfo: memFree=1516972/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=31092 CPUtime=222.2 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 432373 0 0 0 21738 482 0 0 25 0 1 0 4967665 31838208 6910 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 7773 6910 587 984 0 6786 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 31092 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7104 /proc/meminfo: memFree=1515856/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=32048 CPUtime=282.19 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 532607 0 0 0 27609 610 0 0 25 0 1 0 4967665 32817152 7178 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 8012 7178 587 984 0 7025 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 32048 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7106 /proc/meminfo: memFree=1515608/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=32172 CPUtime=342.17 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 654896 0 0 0 33479 738 0 0 25 0 1 0 4967665 32944128 7185 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 8043 7185 587 984 0 7056 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 32172 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7106 /proc/meminfo: memFree=1515360/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=32228 CPUtime=402.15 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 796496 0 0 0 39333 882 0 0 25 0 1 0 4967665 33001472 7223 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 8057 7223 587 984 0 7070 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 32228 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7108 /proc/meminfo: memFree=1515112/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=32848 CPUtime=462.12 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 902409 0 0 0 45204 1008 0 0 25 0 1 0 4967665 33636352 7357 1992294400 4194304 8223781 140734155311632 18446744073709551615 5917029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 8212 7357 587 984 0 7225 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 32848 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7110 /proc/meminfo: memFree=1513996/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=33832 CPUtime=522.11 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 990360 0 0 0 51077 1134 0 0 25 0 1 0 4967665 34643968 7598 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 8458 7598 587 984 0 7471 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 33832 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7112 /proc/meminfo: memFree=1513376/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=34132 CPUtime=582.08 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1109586 0 0 0 56945 1263 0 0 25 0 1 0 4967665 34951168 7694 1992294400 4194304 8223781 140734155311632 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 8533 7694 587 984 0 7546 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 34132 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7114 /proc/meminfo: memFree=1513004/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=34588 CPUtime=642.07 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1174085 0 0 0 62844 1363 0 0 25 0 1 0 4967665 35418112 7803 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 8647 7803 587 984 0 7660 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 34588 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7121 /proc/meminfo: memFree=1510772/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=36124 CPUtime=822 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1335576 0 0 0 80505 1695 0 0 25 0 1 0 4967665 36990976 8181 1992294400 4194304 8223781 140734155311632 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9031 8181 587 984 0 8044 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 36124 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7123 /proc/meminfo: memFree=1510772/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=36252 CPUtime=881.97 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1399610 0 0 0 86386 1811 0 0 25 0 1 0 4967665 37122048 8215 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9063 8215 587 984 0 8076 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 36252 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7123 /proc/meminfo: memFree=1509284/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=37904 CPUtime=941.95 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1456552 0 0 0 92275 1920 0 0 25 0 1 0 4967665 38813696 8611 1992294400 4194304 8223781 140734155311632 18446744073709551615 4923282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9476 8611 587 984 0 8489 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 37904 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7125 /proc/meminfo: memFree=1508912/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=38044 CPUtime=1001.93 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1565723 0 0 0 98143 2050 0 0 25 0 1 0 4967665 38957056 8643 1992294400 4194304 8223781 140734155311632 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9511 8643 587 984 0 8524 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 38044 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7127 /proc/meminfo: memFree=1508912/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=38044 CPUtime=1061.91 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1680148 0 0 0 104010 2181 0 0 25 0 1 0 4967665 38957056 8645 1992294400 4194304 8223781 140734155311632 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9558 8645 587 984 0 8571 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 38044 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7129 /proc/meminfo: memFree=1508788/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=38492 CPUtime=1121.9 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1789117 0 0 0 109882 2308 0 0 25 0 1 0 4967665 39415808 8739 1992294400 4194304 8223781 140734155311632 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9623 8739 587 984 0 8636 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 38492 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7131 /proc/meminfo: memFree=1508788/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=38604 CPUtime=1181.88 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1885080 0 0 0 115754 2434 0 0 25 0 1 0 4967665 39530496 8755 1992294400 4194304 8223781 140734155311632 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9651 8755 589 984 0 8664 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 38604 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7131 /proc/meminfo: memFree=1508664/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=38720 CPUtime=1241.86 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 1991459 0 0 0 121629 2557 0 0 25 0 1 0 4967665 39649280 8771 1992294400 4194304 8223781 140734155311632 18446744073709551615 6296587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9680 8771 587 984 0 8693 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 38720 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7133 /proc/meminfo: memFree=1508416/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39016 CPUtime=1301.85 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2074650 0 0 0 127502 2683 0 0 25 0 1 0 4967665 39952384 8876 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9754 8876 587 984 0 8767 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 39016 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7135 /proc/meminfo: memFree=1508168/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39016 CPUtime=1361.83 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2115521 0 0 0 133398 2785 0 0 25 0 1 0 4967665 39952384 8876 1992294400 4194304 8223781 140734155311632 18446744073709551615 6591892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9754 8876 587 984 0 8767 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 39016 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7137 /proc/meminfo: memFree=1508168/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39248 CPUtime=1421.81 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2154127 0 0 0 139295 2886 0 0 25 0 1 0 4967665 40189952 8890 1992294400 4194304 8223781 140734155311632 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9812 8890 587 984 0 8825 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 39248 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 7139 /proc/meminfo: memFree=1508044/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39596 CPUtime=1481.79 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2192923 0 0 0 145192 2987 0 0 25 0 1 0 4967665 40546304 8971 1992294400 4194304 8223781 140734155311632 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9899 8971 587 984 0 8912 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 39596 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 7139 /proc/meminfo: memFree=1508044/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39604 CPUtime=1541.77 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2217977 0 0 0 151100 3077 0 0 25 0 1 0 4967665 40554496 8975 1992294400 4194304 8223781 140734155311632 18446744073709551615 6571291 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9901 8975 587 984 0 8914 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 39604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7141 /proc/meminfo: memFree=1507920/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39368 CPUtime=1601.76 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2245138 0 0 0 157006 3170 0 0 25 0 1 0 4967665 40312832 8946 1992294400 4194304 8223781 140734155311632 18446744073709551615 6569775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9842 8946 587 984 0 8855 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 39368 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7143 /proc/meminfo: memFree=1507920/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39464 CPUtime=1661.74 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2273397 0 0 0 162908 3266 0 0 25 0 1 0 4967665 40411136 8991 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9866 8991 587 984 0 8879 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 39464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7145 /proc/meminfo: memFree=1507424/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39796 CPUtime=1721.72 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2278816 0 0 0 168828 3344 0 0 25 0 1 0 4967665 40751104 9078 1992294400 4194304 8223781 140734155311632 18446744073709551615 6568141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9949 9078 587 984 0 8962 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 39796 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7147 /proc/meminfo: memFree=1507176/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39796 CPUtime=1781.7 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2280640 0 0 0 174760 3410 0 0 25 0 1 0 4967665 40751104 9078 1992294400 4194304 8223781 140734155311632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9949 9078 587 984 0 8962 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 39796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7147 /proc/meminfo: memFree=1507176/2059040 swapFree=4192956/4192956 [pid=7086] ppid=7084 vsize=39796 CPUtime=1800.01 /proc/7086/stat : 7086 (pbscip.linux.x8) R 7084 7086 6703 0 -1 4202496 2281254 0 0 0 176569 3432 0 0 25 0 1 0 4967665 40751104 9078 1992294400 4194304 8223781 140734155311632 18446744073709551615 6592453 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7086/statm: 9949 9078 587 984 0 8962 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 39796 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.68 CPU time (s): 1800.08 CPU user time (s): 1765.75 CPU system time (s): 34.3308 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 40364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.75 system time used= 34.3308 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2281291 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= 2663 runsolver used 2.89856 second user time and 8.58869 second system time The end
Begin job on node005 at 2010-06-12 00:00:39 IDJOB=2667267 IDBENCH=1307 IDSOLVER=1169 FILE ID=node005/2667267-1276293639 PBS_JOBID= 11173113 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.1900563250.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-2667267-1276293639/watcher-2667267-1276293639 -o /tmp/evaluation-result-2667267-1276293639/solver-2667267-1276293639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667267-1276293639.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86b039bb4205441cb6ccb47b538994bc RANDOM SEED=926102594 node005.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.246 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.49 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.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1544044 kB Buffers: 74904 kB Cached: 312740 kB SwapCached: 0 kB Active: 175628 kB Inactive: 271308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1544044 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4588 kB Writeback: 0 kB AnonPages: 59228 kB Mapped: 15408 kB Slab: 46324 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180584 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 node005 at 2010-06-12 00:30:42