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.67 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb |
MD5SUM | 3972d8c24730f4742ee881de3ad25c62 |
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 | 31.7442 |
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 | 707 |
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-2667308-1276308971.opb> 0.01/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.01/0.06 c problem read 0.01/0.06 c No objective function, only one solution is needed. 0.01/0.06 c presolving settings loaded 0.01/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 106 | - |3954k| 0 | 45 | 231 |2727 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.80 c 0.7s| 1 | 0 | 143 | - |4625k| 0 | 40 | 231 |2727 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.04 c 0.9s| 1 | 0 | 201 | - |5129k| 0 | 49 | 231 |2727 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.45 c 1.3s| 1 | 0 | 225 | - |5327k| 0 | 54 | 231 |2727 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.90 c 1.8s| 1 | 0 | 248 | - |5517k| 0 | 58 | 231 |2727 | 231 |2591 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 2.99/3.02 c 2.9s| 1 | 2 | 248 | - |5518k| 0 | 58 | 231 |2727 | 231 |2591 | 27 | 0 | 12 | 0.000000e+00 | -- | Inf 157.74/157.86 c 154s| 10000 | 63 |262808 | 26.3 |7558k| 34 | 38 | 231 |6814 | 231 |2578 | 27 |6061 |2252 | 0.000000e+00 | -- | Inf 265.90/266.03 c 260s| 20000 | 101 |511026 | 25.5 |8694k| 45 | 32 | 231 |8910 | 231 |2578 | 27 | 12k|2478 | 0.000000e+00 | -- | Inf 377.06/377.21 c 369s| 30000 | 158 |751676 | 25.0 | 10M| 45 | - | 231 | 11k| 231 |2578 | 27 | 17k|3070 | 0.000000e+00 | -- | Inf 490.22/490.41 c 480s| 40000 | 172 | 1001k| 25.0 | 10M| 45 | 31 | 231 | 10k| 231 |2578 | 27 | 24k|3500 | 0.000000e+00 | -- | Inf 608.18/608.40 c 595s| 50000 | 203 | 1261k| 25.2 | 10M| 48 | 45 | 231 | 10k| 231 |2578 | 27 | 29k|3996 | 0.000000e+00 | -- | Inf 717.26/717.58 c 702s| 60000 | 311 | 1505k| 25.1 | 11M| 51 | 29 | 231 | 12k| 231 |2578 | 27 | 35k|4375 | 0.000000e+00 | -- | Inf 828.82/829.12 c 811s| 70000 | 353 | 1754k| 25.1 | 10M| 57 | 36 | 231 | 10k| 231 |2578 | 27 | 41k|4753 | 0.000000e+00 | -- | Inf 940.88/941.29 c 921s| 80000 | 349 | 2008k| 25.1 | 10M| 57 | 39 | 231 | 10k| 231 |2578 | 27 | 47k|5123 | 0.000000e+00 | -- | Inf 1056.15/1056.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1056.15/1056.57 c 1034s| 90000 | 351 | 2274k| 25.3 | 11M| 59 | - | 231 | 11k| 231 |2578 | 27 | 53k|5411 | 0.000000e+00 | -- | Inf 1170.71/1171.14 c 1146s|100000 | 319 | 2537k| 25.4 | 10M| 61 | - | 231 |9821 | 231 |2578 | 27 | 58k|5695 | 0.000000e+00 | -- | Inf 1284.07/1284.55 c 1257s|110000 | 270 | 2795k| 25.4 | 10M| 61 | - | 231 |9630 | 231 |2578 | 27 | 64k|6048 | 0.000000e+00 | -- | Inf 1396.04/1396.57 c 1367s|120000 | 194 | 3055k| 25.5 | 10M| 65 | - | 231 |9922 | 231 |2578 | 27 | 70k|6304 | 0.000000e+00 | -- | Inf 1510.30/1510.88 c 1478s|130000 | 98 | 3318k| 25.5 | 10M| 68 | - | 231 |9855 | 231 |2578 | 27 | 76k|6578 | 0.000000e+00 | -- | Inf 1619.86/1620.41 c 1586s|140000 | 39 | 3571k| 25.5 | 10M| 68 | - | 231 | 11k| 231 |2578 | 27 | 82k|6771 | 0.000000e+00 | -- | Inf 1736.63/1737.29 c 1700s|150000 | 20 | 3840k| 25.6 | 11M| 68 | - | 231 | 13k| 0 | 0 | 27 | 88k|7072 | 0.000000e+00 | -- | Inf 1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.62 c 1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.62 c Solving Time (sec) : 1762.09 1800.02/1800.62 c Solving Nodes : 155767 1800.02/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.62 c Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Gap : infinite 1800.02/1800.62 s UNKNOWN 1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.62 c Solving Time : 1762.09 1800.02/1800.62 c Original Problem : 1800.02/1800.62 c Problem name : HOME/instance-2667308-1276308971.opb 1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.02/1800.62 c Presolved Problem : 1800.02/1800.62 c Problem name : t_HOME/instance-2667308-1276308971.opb 1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.62 c Constraints : 2564 initial, 14064 maximal 1800.02/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c linear : 0.02 0 0 0 0 0 143 0 0 1800.02/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.62 c root node : - 2 - - 2 - - - - 1800.02/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.62 c integral : 0 0 0 80457 0 250 3001 0 0 156840 1800.02/1800.62 c knapsack : 1 5 586877 0 0 991 265337 0 0 0 1800.02/1800.62 c setppc : 22 5 586247 0 0 3550 777503 0 0 0 1800.02/1800.62 c linear : 0+ 5 333158 0 0 19 8342 2 0 0 1800.02/1800.62 c logicor : 2541+ 5 290400 0 0 1129 1023305 0 0 0 1800.02/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.62 c integral : 132.58 0.00 0.00 132.58 0.00 1800.02/1800.62 c knapsack : 5.38 0.00 5.38 0.00 0.00 1800.02/1800.62 c setppc : 8.79 0.00 8.79 0.00 0.00 1800.02/1800.62 c linear : 1.38 0.00 1.38 0.00 0.00 1800.02/1800.62 c logicor : 53.49 0.00 53.49 0.00 0.00 1800.02/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.62 c vbounds : 0.44 1 0 0 1800.02/1800.62 c rootredcost : 0.27 0 0 0 1800.02/1800.62 c pseudoobj : 0.30 0 0 0 1800.02/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.62 c propagation : 0.56 5689 5674 32582 25.2 106 22.9 - 1800.02/1800.62 c infeasible LP : 31.43 72463 69429 452282 36.3 374 18.3 0 1800.02/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.62 c applied globally : - - - 81188 20.3 - - - 1800.02/1800.62 c applied locally : - - - 11379 35.7 - - - 1800.02/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.62 c cut pool : 0.00 4 - - 19 - (maximal pool size: 564) 1800.02/1800.62 c redcost : 0.83 78781 0 0 0 0 1800.02/1800.62 c impliedbounds : 0.00 5 0 0 0 0 1800.02/1800.62 c intobj : 0.00 0 0 0 0 0 1800.02/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.62 c gomory : 0.78 5 0 0 1500 0 1800.02/1800.62 c strongcg : 0.59 5 0 0 1821 0 1800.02/1800.62 c cmir : 0.00 0 0 0 0 0 1800.02/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.62 c clique : 0.00 5 0 0 0 0 1800.02/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.62 c mcf : 0.00 1 0 0 0 0 1800.02/1800.62 c rapidlearning : 0.21 1 0 0 0 163 1800.02/1800.62 c Pricers : Time Calls Vars 1800.02/1800.62 c problem variables: 0.00 0 0 1800.02/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.62 c relpscost : 132.33 80457 250 3001 0 0 156840 1800.02/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.02/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.62 c random : 0.00 0 0 0 0 0 0 1800.02/1800.62 c Primal Heuristics : Time Calls Found 1800.02/1800.62 c LP solutions : 0.00 - 0 1800.02/1800.62 c pseudo solutions : 0.00 - 0 1800.02/1800.62 c trivial : 0.00 1 0 1800.02/1800.62 c simplerounding : 0.00 0 0 1800.02/1800.62 c zirounding : 0.00 0 0 1800.02/1800.62 c rounding : 0.00 0 0 1800.02/1800.62 c shifting : 0.00 0 0 1800.02/1800.62 c intshifting : 0.00 0 0 1800.02/1800.62 c oneopt : 0.00 0 0 1800.02/1800.62 c twoopt : 0.00 0 0 1800.02/1800.62 c fixandinfer : 0.00 0 0 1800.02/1800.62 c feaspump : 0.00 0 0 1800.02/1800.62 c coefdiving : 0.00 0 0 1800.02/1800.62 c pscostdiving : 0.00 0 0 1800.02/1800.62 c fracdiving : 0.00 0 0 1800.02/1800.62 c veclendiving : 0.00 0 0 1800.02/1800.62 c intdiving : 0.00 0 0 1800.02/1800.62 c actconsdiving : 0.00 0 0 1800.02/1800.62 c objpscostdiving : 0.00 0 0 1800.02/1800.62 c rootsoldiving : 0.00 0 0 1800.02/1800.62 c linesearchdiving : 0.00 0 0 1800.02/1800.62 c guideddiving : 0.00 0 0 1800.02/1800.62 c octane : 0.00 0 0 1800.02/1800.62 c rens : 0.00 0 0 1800.02/1800.62 c rins : 0.00 0 0 1800.02/1800.62 c localbranching : 0.00 0 0 1800.02/1800.62 c mutation : 0.00 0 0 1800.02/1800.62 c crossover : 0.00 0 0 1800.02/1800.62 c dins : 0.00 0 0 1800.02/1800.62 c undercover : 0.00 0 0 1800.02/1800.62 c nlp : 0.00 0 0 1800.02/1800.62 c trysol : 0.00 0 0 1800.02/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.62 c dual LP : 1388.16 152518 3987083 26.14 2872.21 1800.02/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.62 c strong branching : 128.91 7189 357855 49.78 2776.01 1800.02/1800.62 c (at root node) : - 12 2558 213.17 - 1800.02/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.62 c B&B Tree : 1800.02/1800.62 c number of runs : 1 1800.02/1800.62 c nodes : 155767 1800.02/1800.62 c nodes (total) : 155767 1800.02/1800.62 c nodes left : 12 1800.02/1800.62 c max depth : 68 1800.02/1800.62 c max depth (total): 68 1800.02/1800.62 c backtracks : 19186 (12.3%) 1800.02/1800.62 c delayed cutoffs : 1062 1800.02/1800.62 c repropagations : 234731 (297460 domain reductions, 1055 cutoffs) 1800.02/1800.62 c avg switch length: 4.89 1800.02/1800.62 c switching time : 53.05 1800.02/1800.62 c Solution : 1800.02/1800.62 c Solutions found : 0 (0 improvements) 1800.02/1800.62 c Primal Bound : - 1800.02/1800.62 c Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Gap : infinite 1800.02/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Root Iterations : 248 1800.02/1800.66 c Time complete: 1800.07.
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-2667308-1276308971/watcher-2667308-1276308971 -o /tmp/evaluation-result-2667308-1276308971/solver-2667308-1276308971 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667308-1276308971.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.01 1.00 3/106 9621 /proc/meminfo: memFree=1424896/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=7724 CPUtime=0 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1075 0 0 0 0 0 0 0 22 0 1 0 4553427 7909376 995 1992294400 4194304 8223781 140735859595728 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9621/statm: 1931 1005 348 984 0 944 0 [startup+0.0229001 s] /proc/loadavg: 0.99 1.01 1.00 3/106 9621 /proc/meminfo: memFree=1424896/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=9652 CPUtime=0.01 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1704 0 0 0 1 0 0 0 22 0 1 0 4553427 9883648 1624 1992294400 4194304 8223781 140735859595728 18446744073709551615 7189505 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9621/statm: 2413 1624 363 984 0 1426 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9652 [startup+0.101908 s] /proc/loadavg: 0.99 1.01 1.00 3/106 9621 /proc/meminfo: memFree=1424896/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=16100 CPUtime=0.09 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 3708 0 0 0 8 1 0 0 22 0 1 0 4553427 16486400 3007 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 4025 3007 443 984 0 3038 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16100 [startup+0.301927 s] /proc/loadavg: 0.99 1.01 1.00 3/106 9621 /proc/meminfo: memFree=1424896/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=29628 CPUtime=0.29 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 9763 0 0 0 26 3 0 0 22 0 1 0 4553427 30339072 6426 1992294400 4194304 8223781 140735859595728 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 7407 6427 570 984 0 6420 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29628 [startup+0.700966 s] /proc/loadavg: 0.99 1.01 1.00 3/106 9621 /proc/meminfo: memFree=1424896/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=27252 CPUtime=0.69 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 13024 0 0 0 62 7 0 0 25 0 1 0 4553427 27906048 5959 1992294400 4194304 8223781 140735859595728 18446744073709551615 6044076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 6813 5959 583 984 0 5826 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27252 [startup+1.50104 s] /proc/loadavg: 0.99 1.01 1.00 2/107 9622 /proc/meminfo: memFree=1400708/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=30220 CPUtime=1.49 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 13755 0 0 0 141 8 0 0 25 0 1 0 4553427 30945280 6681 1992294400 4194304 8223781 140735859595728 18446744073709551615 6044382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 7555 6681 583 984 0 6568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30220 [startup+3.1012 s] /proc/loadavg: 0.99 1.01 1.00 2/107 9622 /proc/meminfo: memFree=1399716/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=30432 CPUtime=3.09 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 14677 0 0 0 299 10 0 0 25 0 1 0 4553427 31162368 6768 1992294400 4194304 8223781 140735859595728 18446744073709551615 6568114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 7608 6768 584 984 0 6621 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30432 [startup+6.3015 s] /proc/loadavg: 0.99 1.01 1.00 3/107 9622 /proc/meminfo: memFree=1399220/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=30432 CPUtime=6.29 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 18083 0 0 0 614 15 0 0 25 0 1 0 4553427 31162368 6771 1992294400 4194304 8223781 140735859595728 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 7608 6771 586 984 0 6621 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30432 [startup+12.7011 s] /proc/loadavg: 0.99 1.01 1.00 2/107 9622 /proc/meminfo: memFree=1399220/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=30432 CPUtime=12.68 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 24911 0 0 0 1245 23 0 0 25 0 1 0 4553427 31162368 6771 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 7608 6771 586 984 0 6621 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30432 [startup+25.5013 s] /proc/loadavg: 0.99 1.01 1.00 2/107 9624 /proc/meminfo: memFree=1399220/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=30432 CPUtime=25.49 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 43029 0 0 0 2505 44 0 0 25 0 1 0 4553427 31162368 6771 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 7608 6771 586 984 0 6621 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30432 [startup+51.1018 s] /proc/loadavg: 0.99 1.01 1.00 2/107 9624 /proc/meminfo: memFree=1398600/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=31268 CPUtime=51.07 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 98678 0 0 0 5004 103 0 0 25 0 1 0 4553427 32018432 6882 1992294400 4194304 8223781 140735859595728 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 7817 6885 587 984 0 6830 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31268 [startup+102.309 s] /proc/loadavg: 0.99 1.00 1.00 2/107 9626 /proc/meminfo: memFree=1397732/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=32176 CPUtime=102.26 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 196835 0 0 0 10012 214 0 0 25 0 1 0 4553427 32948224 7177 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 8044 7177 587 984 0 7057 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32176 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 9626 /proc/meminfo: memFree=1396368/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=33288 CPUtime=162.24 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 332111 0 0 0 15875 349 0 0 25 0 1 0 4553427 34086912 7459 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 8322 7459 587 984 0 7335 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33288 [startup+222.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 9628 /proc/meminfo: memFree=1394756/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=34812 CPUtime=222.22 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 429033 0 0 0 21749 473 0 0 25 0 1 0 4553427 35647488 7844 1992294400 4194304 8223781 140735859595728 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 8703 7844 587 984 0 7716 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34812 [startup+282.302 s] /proc/loadavg: 1.05 1.02 1.00 2/107 9630 /proc/meminfo: memFree=1394012/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=35272 CPUtime=282.2 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 547559 0 0 0 27611 609 0 0 25 0 1 0 4553427 36118528 7966 1992294400 4194304 8223781 140735859595728 18446744073709551615 6560143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 8818 7966 587 984 0 7831 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 35272 [startup+342.302 s] /proc/loadavg: 1.06 1.03 1.00 2/107 9632 /proc/meminfo: memFree=1392648/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=36748 CPUtime=342.17 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 651768 0 0 0 33481 736 0 0 25 0 1 0 4553427 37629952 8345 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9187 8345 587 984 0 8200 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 36748 [startup+402.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 9634 /proc/meminfo: memFree=1391780/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=37300 CPUtime=402.15 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 762942 0 0 0 39349 866 0 0 25 0 1 0 4553427 38195200 8488 1992294400 4194304 8223781 140735859595728 18446744073709551615 6444635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9325 8488 587 984 0 8338 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 37300 [startup+462.301 s] /proc/loadavg: 1.13 1.06 1.01 2/107 9634 /proc/meminfo: memFree=1391532/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=37480 CPUtime=462.13 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 877907 0 0 0 45216 997 0 0 25 0 1 0 4553427 38379520 8521 1992294400 4194304 8223781 140735859595728 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9370 8521 593 984 0 8383 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 37480 [startup+522.302 s] /proc/loadavg: 1.12 1.06 1.00 2/107 9636 /proc/meminfo: memFree=1391408/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=37600 CPUtime=522.11 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 997222 0 0 0 51079 1132 0 0 25 0 1 0 4553427 38502400 8518 1992294400 4194304 8223781 140735859595728 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9400 8518 587 984 0 8413 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 37600 [startup+582.302 s] /proc/loadavg: 1.10 1.06 1.00 2/107 9638 /proc/meminfo: memFree=1391160/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=37364 CPUtime=582.09 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1115053 0 0 0 56947 1262 0 0 25 0 1 0 4553427 38260736 8504 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9341 8504 587 984 0 8354 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 37364 [startup+642.3 s] /proc/loadavg: 1.04 1.05 1.00 2/107 9640 /proc/meminfo: memFree=1391160/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=37612 CPUtime=642.08 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1251679 0 0 0 62814 1394 0 0 25 0 1 0 4553427 38514688 8550 1992294400 4194304 8223781 140735859595728 18446744073709551615 6483729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9403 8550 589 984 0 8416 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 37612 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9644 /proc/meminfo: memFree=1389424/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38912 CPUtime=822.01 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1600391 0 0 0 80416 1785 0 0 25 0 1 0 4553427 39845888 8881 1992294400 4194304 8223781 140735859595728 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9728 8881 587 984 0 8741 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 38912 [startup+882.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9646 /proc/meminfo: memFree=1389424/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38796 CPUtime=882 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1660513 0 0 0 86306 1894 0 0 25 0 1 0 4553427 39727104 8863 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9699 8863 587 984 0 8712 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 38796 [startup+942.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9648 /proc/meminfo: memFree=1389424/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38848 CPUtime=941.97 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1726313 0 0 0 92187 2010 0 0 25 0 1 0 4553427 39780352 8866 1992294400 4194304 8223781 140735859595728 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9712 8866 587 984 0 8725 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 38848 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9650 /proc/meminfo: memFree=1389424/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38904 CPUtime=1001.96 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1792496 0 0 0 98076 2120 0 0 25 0 1 0 4553427 39837696 8870 1992294400 4194304 8223781 140735859595728 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9726 8870 587 984 0 8739 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 38904 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9650 /proc/meminfo: memFree=1389548/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38904 CPUtime=1061.95 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1871837 0 0 0 103952 2243 0 0 25 0 1 0 4553427 39837696 8872 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9726 8872 587 984 0 8739 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 38904 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9652 /proc/meminfo: memFree=1389300/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38796 CPUtime=1121.93 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 1952934 0 0 0 109832 2361 0 0 25 0 1 0 4553427 39727104 8863 1992294400 4194304 8223781 140735859595728 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9699 8863 587 984 0 8712 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 38796 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9654 /proc/meminfo: memFree=1389300/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38796 CPUtime=1181.91 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2045124 0 0 0 115707 2484 0 0 25 0 1 0 4553427 39727104 8863 1992294400 4194304 8223781 140735859595728 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9699 8863 587 984 0 8712 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 38796 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9656 /proc/meminfo: memFree=1389300/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39012 CPUtime=1241.89 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2147233 0 0 0 121583 2606 0 0 25 0 1 0 4553427 39948288 8895 1992294400 4194304 8223781 140735859595728 18446744073709551615 6514412 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9753 8895 587 984 0 8766 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 39012 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9658 /proc/meminfo: memFree=1389300/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39032 CPUtime=1301.87 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2270382 0 0 0 127452 2735 0 0 25 0 1 0 4553427 39968768 8905 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9758 8905 587 984 0 8771 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 39032 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 9661 /proc/meminfo: memFree=1389176/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=38908 CPUtime=1361.85 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2384619 0 0 0 133317 2868 0 0 25 0 1 0 4553427 39841792 8871 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9727 8871 587 984 0 8740 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 38908 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/107 9663 /proc/meminfo: memFree=1388928/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39024 CPUtime=1421.83 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2491234 0 0 0 139186 2997 0 0 25 0 1 0 4553427 39960576 8909 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9756 8909 587 984 0 8769 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 39024 [startup+1482.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 9665 /proc/meminfo: memFree=1388928/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39240 CPUtime=1481.8 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2595187 0 0 0 145052 3128 0 0 25 0 1 0 4553427 40181760 8944 1992294400 4194304 8223781 140735859595728 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9810 8944 587 984 0 8823 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 39240 [startup+1542.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 9667 /proc/meminfo: memFree=1388928/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39248 CPUtime=1541.79 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2696550 0 0 0 150924 3255 0 0 25 0 1 0 4553427 40189952 8946 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9812 8946 587 984 0 8825 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 39248 [startup+1602.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 9669 /proc/meminfo: memFree=1388804/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39328 CPUtime=1601.76 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2803107 0 0 0 156790 3386 0 0 25 0 1 0 4553427 40271872 8968 1992294400 4194304 8223781 140735859595728 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9832 8968 587 984 0 8845 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 39328 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9669 /proc/meminfo: memFree=1388804/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39340 CPUtime=1661.76 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 2927244 0 0 0 162654 3522 0 0 25 0 1 0 4553427 40284160 8959 1992294400 4194304 8223781 140735859595728 18446744073709551615 6560108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9835 8959 596 984 0 8848 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 39340 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9671 /proc/meminfo: memFree=1388308/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39604 CPUtime=1721.73 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 3005102 0 0 0 168525 3648 0 0 25 0 1 0 4553427 40554496 9030 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9901 9030 587 984 0 8914 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 39604 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9673 /proc/meminfo: memFree=1388184/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39996 CPUtime=1781.71 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 3051982 0 0 0 174413 3758 0 0 25 0 1 0 4553427 40955904 9130 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9999 9130 587 984 0 9012 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 39996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9673 /proc/meminfo: memFree=1388060/2059040 swapFree=4192956/4192956 [pid=9621] ppid=9619 vsize=39996 CPUtime=1800.02 /proc/9621/stat : 9621 (pbscip.linux.x8) R 9619 9621 9007 0 -1 4202496 3059345 0 0 0 176213 3789 0 0 25 0 1 0 4553427 40955904 9130 1992294400 4194304 8223781 140735859595728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9621/statm: 9999 9130 587 984 0 9012 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 39996 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.67 CPU time (s): 1800.08 CPU user time (s): 1762.18 CPU system time (s): 37.8982 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 40680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1762.18 system time used= 37.8982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3059373 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= 5 involuntary context switches= 16855 runsolver used 3.00454 second user time and 8.48571 second system time The end
Begin job on node018 at 2010-06-12 04:16:11 IDJOB=2667308 IDBENCH=1351 IDSOLVER=1169 FILE ID=node018/2667308-1276308971 PBS_JOBID= 11173143 Free space on /tmp= 62292 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.1900670167.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-2667308-1276308971/watcher-2667308-1276308971 -o /tmp/evaluation-result-2667308-1276308971/solver-2667308-1276308971 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667308-1276308971.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3972d8c24730f4742ee881de3ad25c62 RANDOM SEED=121499676 node018.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.248 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1425424 kB Buffers: 88380 kB Cached: 403008 kB SwapCached: 0 kB Active: 198420 kB Inactive: 352196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1425424 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4620 kB Writeback: 0 kB AnonPages: 59192 kB Mapped: 15432 kB Slab: 61196 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181544 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= 62288 MiB End job on node018 at 2010-06-12 04:46:14