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.13 | 1800.85 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb |
MD5SUM | 40d0bcc4171e4a5907ae30e54ba56b80 |
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 | 50.2884 |
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 | 701 |
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-2667273-1276296531.opb> 0.04/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.04/0.06 c problem read 0.04/0.06 c No objective function, only one solution is needed. 0.04/0.06 c presolving settings loaded 0.04/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.07 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 111 | - |4003k| 0 | 42 | 231 |2763 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.78 c 0.6s| 1 | 0 | 138 | - |4617k| 0 | 51 | 231 |2763 | 231 |2583 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.20 c 1.1s| 1 | 0 | 168 | - |4682k| 0 | 56 | 231 |2763 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.59/1.65 c 1.5s| 1 | 0 | 194 | - |4706k| 0 | 53 | 231 |2763 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 2.10/2.10 c 1.9s| 1 | 0 | 198 | - |4707k| 0 | 55 | 231 |2763 | 231 |2590 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf 3.30/3.36 c 3.2s| 1 | 2 | 198 | - |4708k| 0 | 55 | 231 |2763 | 231 |2590 | 26 | 0 | 10 | 0.000000e+00 | -- | Inf 151.93/152.07 c 149s| 10000 | 69 |248761 | 24.9 |6765k| 37 | 41 | 231 |6889 | 231 |2578 | 26 |5611 |2268 | 0.000000e+00 | -- | Inf 261.48/261.69 c 256s| 20000 | 131 |501776 | 25.1 |7944k| 40 | 21 | 231 |8901 | 231 |2578 | 26 | 11k|2531 | 0.000000e+00 | -- | Inf 375.64/375.80 c 367s| 30000 | 193 |751174 | 25.0 |9085k| 41 | - | 231 | 10k| 231 |2578 | 26 | 17k|3055 | 0.000000e+00 | -- | Inf 484.60/484.80 c 474s| 40000 | 199 |989796 | 24.7 |8779k| 46 | - | 231 |8968 | 0 | 0 | 26 | 23k|3506 | 0.000000e+00 | -- | Inf 599.16/599.45 c 586s| 50000 | 219 | 1244k| 24.9 |9631k| 47 | - | 231 | 10k| 231 |2578 | 26 | 29k|4024 | 0.000000e+00 | -- | Inf 710.51/710.89 c 695s| 60000 | 253 | 1498k| 25.0 |9297k| 48 | - | 231 |9059 | 231 |2578 | 26 | 35k|4337 | 0.000000e+00 | -- | Inf 820.86/821.26 c 803s| 70000 | 236 | 1747k| 25.0 |9328k| 49 | 32 | 231 |8918 | 231 |2578 | 26 | 41k|4700 | 0.000000e+00 | -- | Inf 937.41/937.88 c 917s| 80000 | 226 | 2018k| 25.2 |9353k| 51 | 31 | 231 |8876 | 231 |2578 | 26 | 46k|5034 | 0.000000e+00 | -- | Inf 1048.17/1048.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1048.17/1048.64 c 1025s| 90000 | 168 | 2269k| 25.2 |9209k| 52 | - | 231 |8830 | 231 |2578 | 26 | 52k|5368 | 0.000000e+00 | -- | Inf 1158.02/1158.54 c 1132s|100000 | 142 | 2519k| 25.2 |9533k| 54 | - | 231 |9813 | 231 |2578 | 26 | 58k|5713 | 0.000000e+00 | -- | Inf 1271.38/1271.93 c 1243s|110000 | 112 | 2784k| 25.3 |9682k| 54 | - | 231 | 10k| 231 |2578 | 26 | 64k|5955 | 0.000000e+00 | -- | Inf 1387.55/1388.14 c 1357s|120000 | 107 | 3057k| 25.5 | 10M| 54 | - | 231 | 11k| 231 |2578 | 26 | 70k|6169 | 0.000000e+00 | -- | Inf 1511.09/1511.78 c 1478s|130000 | 139 | 3347k| 25.7 | 10M| 58 | 40 | 231 | 11k| 231 |2578 | 26 | 75k|6508 | 0.000000e+00 | -- | Inf 1627.45/1628.10 c 1593s|140000 | 108 | 3620k| 25.9 | 10M| 58 | - | 231 | 12k| 231 |2578 | 26 | 80k|6759 | 0.000000e+00 | -- | Inf 1744.00/1744.71 c 1707s|150000 | 61 | 3890k| 25.9 |9947k| 58 | - | 231 | 11k| 231 |2578 | 26 | 86k|7064 | 0.000000e+00 | -- | Inf 1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.08/1800.81 c 1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.81 c Solving Time (sec) : 1762.30 1800.08/1800.81 c Solving Nodes : 154743 1800.08/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.08/1800.81 c Dual Bound : +0.00000000000000e+00 1800.08/1800.81 c Gap : infinite 1800.08/1800.81 s UNKNOWN 1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.81 c Solving Time : 1762.30 1800.08/1800.81 c Original Problem : 1800.08/1800.81 c Problem name : HOME/instance-2667273-1276296531.opb 1800.08/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.81 c Constraints : 2707 initial, 2707 maximal 1800.08/1800.81 c Presolved Problem : 1800.08/1800.81 c Problem name : t_HOME/instance-2667273-1276296531.opb 1800.08/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.81 c Constraints : 2564 initial, 12615 maximal 1800.08/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.08/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.81 c probing : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.81 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.81 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.08/1800.81 c linear : 0.03 0 0 0 0 0 143 0 0 1800.08/1800.81 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.08/1800.81 c root node : - 0 - - 0 - - - - 1800.08/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.08/1800.81 c integral : 0 0 0 79759 0 272 2810 0 0 155722 1800.08/1800.81 c knapsack : 1 5 571395 0 0 1089 279934 2 0 0 1800.08/1800.81 c setppc : 22 5 570645 0 0 3698 779450 0 0 0 1800.08/1800.81 c linear : 0+ 5 353068 0 0 15 5452 5 0 0 1800.08/1800.81 c logicor : 2541+ 5 290589 0 0 1114 1031109 0 0 0 1800.08/1800.81 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.08/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.08/1800.81 c integral : 130.15 0.00 0.00 130.15 0.00 1800.08/1800.81 c knapsack : 5.46 0.00 5.46 0.00 0.00 1800.08/1800.81 c setppc : 9.88 0.00 9.88 0.00 0.00 1800.08/1800.81 c linear : 1.82 0.00 1.82 0.00 0.00 1800.08/1800.81 c logicor : 52.31 0.00 52.31 0.00 0.00 1800.08/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.08/1800.81 c Propagators : Time Calls Cutoffs DomReds 1800.08/1800.81 c vbounds : 0.41 1 0 0 1800.08/1800.81 c rootredcost : 0.23 0 0 0 1800.08/1800.81 c pseudoobj : 0.24 0 0 0 1800.08/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.08/1800.81 c propagation : 0.64 5916 5902 34046 25.0 98 22.6 - 1800.08/1800.81 c infeasible LP : 31.74 71642 67902 445076 37.8 326 20.1 0 1800.08/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.08/1800.81 c applied globally : - - - 78533 20.6 - - - 1800.08/1800.81 c applied locally : - - - 10767 34.9 - - - 1800.08/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.08/1800.81 c cut pool : 0.01 4 - - 19 - (maximal pool size: 332) 1800.08/1800.81 c redcost : 0.79 78240 0 0 0 0 1800.08/1800.81 c impliedbounds : 0.00 5 0 0 0 0 1800.08/1800.81 c intobj : 0.00 0 0 0 0 0 1800.08/1800.81 c cgmip : 0.00 0 0 0 0 0 1800.08/1800.81 c gomory : 0.87 5 0 0 1000 0 1800.08/1800.81 c strongcg : 0.72 5 0 0 1043 0 1800.08/1800.81 c cmir : 0.00 0 0 0 0 0 1800.08/1800.81 c flowcover : 0.00 0 0 0 0 0 1800.08/1800.81 c clique : 0.00 5 0 0 0 0 1800.08/1800.81 c zerohalf : 0.00 0 0 0 0 0 1800.08/1800.81 c mcf : 0.00 1 0 0 0 0 1800.08/1800.81 c rapidlearning : 0.20 1 0 0 0 199 1800.08/1800.81 c Pricers : Time Calls Vars 1800.08/1800.81 c problem variables: 0.00 0 0 1800.08/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.08/1800.81 c relpscost : 129.98 79759 272 2810 0 0 155722 1800.08/1800.81 c pscost : 0.00 0 0 0 0 0 0 1800.08/1800.81 c inference : 0.00 0 0 0 0 0 0 1800.08/1800.81 c mostinf : 0.00 0 0 0 0 0 0 1800.08/1800.81 c leastinf : 0.00 0 0 0 0 0 0 1800.08/1800.81 c fullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.81 c random : 0.00 0 0 0 0 0 0 1800.08/1800.81 c Primal Heuristics : Time Calls Found 1800.08/1800.81 c LP solutions : 0.00 - 0 1800.08/1800.81 c pseudo solutions : 0.00 - 0 1800.08/1800.81 c trivial : 0.00 1 0 1800.08/1800.81 c simplerounding : 0.00 0 0 1800.08/1800.81 c zirounding : 0.00 0 0 1800.08/1800.81 c rounding : 0.00 0 0 1800.08/1800.81 c shifting : 0.00 0 0 1800.08/1800.81 c intshifting : 0.00 0 0 1800.08/1800.81 c oneopt : 0.00 0 0 1800.08/1800.81 c twoopt : 0.00 0 0 1800.08/1800.81 c fixandinfer : 0.00 0 0 1800.08/1800.81 c feaspump : 0.00 0 0 1800.08/1800.81 c coefdiving : 0.00 0 0 1800.08/1800.81 c pscostdiving : 0.00 0 0 1800.08/1800.81 c fracdiving : 0.00 0 0 1800.08/1800.81 c veclendiving : 0.00 0 0 1800.08/1800.81 c intdiving : 0.00 0 0 1800.08/1800.81 c actconsdiving : 0.00 0 0 1800.08/1800.81 c objpscostdiving : 0.00 0 0 1800.08/1800.81 c rootsoldiving : 0.00 0 0 1800.08/1800.81 c linesearchdiving : 0.00 0 0 1800.08/1800.81 c guideddiving : 0.00 0 0 1800.08/1800.81 c octane : 0.00 0 0 1800.08/1800.81 c rens : 0.00 0 0 1800.08/1800.81 c rins : 0.00 0 0 1800.08/1800.81 c localbranching : 0.00 0 0 1800.08/1800.81 c mutation : 0.00 0 0 1800.08/1800.81 c crossover : 0.00 0 0 1800.08/1800.81 c dins : 0.00 0 0 1800.08/1800.81 c undercover : 0.00 0 0 1800.08/1800.81 c nlp : 0.00 0 0 1800.08/1800.81 c trysol : 0.00 0 0 1800.08/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec 1800.08/1800.81 c primal LP : 0.00 0 0 0.00 - 1800.08/1800.81 c dual LP : 1392.15 151062 4023721 26.64 2890.29 1800.08/1800.81 c lex dual LP : 0.00 0 0 0.00 - 1800.08/1800.81 c barrier LP : 0.00 0 0 0.00 - 1800.08/1800.81 c diving/probing LP: 0.00 0 0 0.00 - 1800.08/1800.81 c strong branching : 126.52 7150 353116 49.39 2790.99 1800.08/1800.81 c (at root node) : - 10 2863 286.30 - 1800.08/1800.81 c conflict analysis: 0.00 0 0 0.00 - 1800.08/1800.81 c B&B Tree : 1800.08/1800.81 c number of runs : 1 1800.08/1800.81 c nodes : 154743 1800.08/1800.81 c nodes (total) : 154743 1800.08/1800.81 c nodes left : 11 1800.08/1800.81 c max depth : 62 1800.08/1800.81 c max depth (total): 62 1800.08/1800.81 c backtracks : 19549 (12.6%) 1800.08/1800.81 c delayed cutoffs : 969 1800.08/1800.81 c repropagations : 220148 (289489 domain reductions, 948 cutoffs) 1800.08/1800.81 c avg switch length: 4.74 1800.08/1800.81 c switching time : 52.75 1800.08/1800.81 c Solution : 1800.08/1800.81 c Solutions found : 0 (0 improvements) 1800.08/1800.81 c Primal Bound : - 1800.08/1800.81 c Dual Bound : +0.00000000000000e+00 1800.08/1800.81 c Gap : infinite 1800.08/1800.81 c Root Dual Bound : +0.00000000000000e+00 1800.08/1800.81 c Root Iterations : 198 1800.08/1800.85 c Time complete: 1800.13.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667273-1276296531/watcher-2667273-1276296531 -o /tmp/evaluation-result-2667273-1276296531/solver-2667273-1276296531 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667273-1276296531.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 0.99 0.99 3/106 6937 /proc/meminfo: memFree=1698392/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=7724 CPUtime=0 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1045 0 0 0 0 0 0 0 20 0 1 0 3309381 7909376 965 1992294400 4194304 8223781 140736667666336 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6937/statm: 1931 975 348 984 0 944 0 [startup+0.0486199 s] /proc/loadavg: 1.00 0.99 0.99 3/106 6937 /proc/meminfo: memFree=1698392/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=10068 CPUtime=0.04 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1837 0 0 0 4 0 0 0 20 0 1 0 3309381 10309632 1756 1992294400 4194304 8223781 140736667666336 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6937/statm: 2517 1756 363 984 0 1530 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10068 [startup+0.101629 s] /proc/loadavg: 1.00 0.99 0.99 3/106 6937 /proc/meminfo: memFree=1698392/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=16232 CPUtime=0.09 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 3719 0 0 0 8 1 0 0 20 0 1 0 3309381 16621568 3017 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 4058 3017 443 984 0 3071 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16232 [startup+0.301667 s] /proc/loadavg: 1.00 0.99 0.99 3/106 6937 /proc/meminfo: memFree=1698392/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=30168 CPUtime=0.29 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 9919 0 0 0 25 4 0 0 18 0 1 0 3309381 30892032 6581 1992294400 4194304 8223781 140736667666336 18446744073709551615 7256647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7542 6581 570 984 0 6555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30168 [startup+0.700743 s] /proc/loadavg: 1.00 0.99 0.99 3/106 6937 /proc/meminfo: memFree=1698392/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=27280 CPUtime=0.69 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 13045 0 0 0 61 8 0 0 18 0 1 0 3309381 27934720 5979 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 6820 5979 583 984 0 5833 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27280 [startup+1.50089 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6938 /proc/meminfo: memFree=1676064/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=28068 CPUtime=1.49 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 13261 0 0 0 140 9 0 0 19 0 1 0 3309381 28741632 6175 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7017 6175 583 984 0 6030 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28068 [startup+3.1012 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6938 /proc/meminfo: memFree=1675444/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=28968 CPUtime=3.09 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 14090 0 0 0 298 11 0 0 23 0 1 0 3309381 29663232 6330 1992294400 4194304 8223781 140736667666336 18446744073709551615 6559790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7242 6330 584 984 0 6255 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28968 [startup+6.30081 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6938 /proc/meminfo: memFree=1674824/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=28224 CPUtime=6.29 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 17159 0 0 0 614 15 0 0 25 0 1 0 3309381 28901376 6231 1992294400 4194304 8223781 140736667666336 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7056 6231 584 984 0 6069 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28224 [startup+12.701 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6938 /proc/meminfo: memFree=1674824/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=28224 CPUtime=12.69 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 26838 0 0 0 1242 27 0 0 25 0 1 0 3309381 28901376 6234 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7056 6234 586 984 0 6069 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28224 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6938 /proc/meminfo: memFree=1674824/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=28280 CPUtime=25.48 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 42096 0 0 0 2500 48 0 0 25 0 1 0 3309381 28958720 6238 1992294400 4194304 8223781 140736667666336 18446744073709551615 6592417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7070 6238 587 984 0 6083 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28280 [startup+51.1013 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6938 /proc/meminfo: memFree=1674328/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=28928 CPUtime=51.07 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 87673 0 0 0 5005 102 0 0 25 0 1 0 3309381 29622272 6385 1992294400 4194304 8223781 140736667666336 18446744073709551615 6569863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7232 6385 587 984 0 6245 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28928 [startup+102.308 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6940 /proc/meminfo: memFree=1673088/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=29792 CPUtime=102.26 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 217623 0 0 0 10000 226 0 0 25 0 1 0 3309381 30507008 6625 1992294400 4194304 8223781 140736667666336 18446744073709551615 6568157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7448 6625 587 984 0 6461 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29792 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6942 /proc/meminfo: memFree=1672220/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=30664 CPUtime=162.22 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 345724 0 0 0 15860 362 0 0 25 0 1 0 3309381 31399936 6822 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 7666 6822 587 984 0 6679 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 30664 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6942 /proc/meminfo: memFree=1670112/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=32848 CPUtime=222.2 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 475434 0 0 0 21719 501 0 0 25 0 1 0 3309381 33636352 7372 1992294400 4194304 8223781 140736667666336 18446744073709551615 6300775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8212 7372 587 984 0 7225 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 32848 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6944 /proc/meminfo: memFree=1669244/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=33696 CPUtime=282.18 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 561489 0 0 0 27599 619 0 0 25 0 1 0 3309381 34504704 7576 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8424 7576 587 984 0 7437 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 33696 [startup+342.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6946 /proc/meminfo: memFree=1668252/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=34340 CPUtime=342.16 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 678439 0 0 0 33469 747 0 0 25 0 1 0 3309381 35164160 7748 1992294400 4194304 8223781 140736667666336 18446744073709551615 6444381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8585 7748 587 984 0 7598 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 34340 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6948 /proc/meminfo: memFree=1667632/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=34984 CPUtime=402.14 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 802280 0 0 0 39339 875 0 0 25 0 1 0 3309381 35823616 7909 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8746 7909 587 984 0 7759 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 34984 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6950 /proc/meminfo: memFree=1667384/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=34944 CPUtime=462.1 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 946768 0 0 0 45189 1021 0 0 25 0 1 0 3309381 35782656 7910 1992294400 4194304 8223781 140736667666336 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8736 7910 587 984 0 7749 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 34944 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6950 /proc/meminfo: memFree=1667260/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=35120 CPUtime=522.08 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1086834 0 0 0 51045 1163 0 0 25 0 1 0 3309381 35962880 7948 1992294400 4194304 8223781 140736667666336 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8780 7948 587 984 0 7793 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 35120 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6952 /proc/meminfo: memFree=1667012/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=35552 CPUtime=582.06 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1237746 0 0 0 56904 1302 0 0 25 0 1 0 3309381 36405248 8042 1992294400 4194304 8223781 140736667666336 18446744073709551615 6568212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8888 8042 594 984 0 7901 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 35552 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6954 /proc/meminfo: memFree=1666764/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=35760 CPUtime=642.04 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1343493 0 0 0 62774 1430 0 0 25 0 1 0 3309381 36618240 8103 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 8940 8103 587 984 0 7953 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 35760 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6967 /proc/meminfo: memFree=1665524/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36120 CPUtime=821.95 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1651945 0 0 0 80377 1818 0 0 25 0 1 0 3309381 36986880 8194 1992294400 4194304 8223781 140736667666336 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9030 8194 587 984 0 8043 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 36120 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6969 /proc/meminfo: memFree=1665276/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36416 CPUtime=881.93 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1775850 0 0 0 86230 1963 0 0 25 0 1 0 3309381 37289984 8237 1992294400 4194304 8223781 140736667666336 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9104 8237 587 984 0 8117 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 36416 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6971 /proc/meminfo: memFree=1665400/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36120 CPUtime=941.91 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 1907007 0 0 0 92089 2102 0 0 25 0 1 0 3309381 36986880 8194 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9030 8194 587 984 0 8043 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 36120 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6973 /proc/meminfo: memFree=1665400/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36120 CPUtime=1001.89 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2037014 0 0 0 97943 2246 0 0 25 0 1 0 3309381 36986880 8194 1992294400 4194304 8223781 140736667666336 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9030 8194 587 984 0 8043 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 36120 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6975 /proc/meminfo: memFree=1665028/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36720 CPUtime=1061.87 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2132289 0 0 0 103821 2366 0 0 25 0 1 0 3309381 37601280 8324 1992294400 4194304 8223781 140736667666336 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9180 8324 587 984 0 8193 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 36720 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6975 /proc/meminfo: memFree=1664904/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36600 CPUtime=1121.84 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2253586 0 0 0 109681 2503 0 0 25 0 1 0 3309381 37478400 8296 1992294400 4194304 8223781 140736667666336 18446744073709551615 6251352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9150 8296 587 984 0 8163 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 36600 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6977 /proc/meminfo: memFree=1664780/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36932 CPUtime=1181.81 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2336455 0 0 0 115554 2627 0 0 25 0 1 0 3309381 37818368 8379 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9233 8379 587 984 0 8246 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 36932 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6979 /proc/meminfo: memFree=1664408/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=36824 CPUtime=1241.79 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2425386 0 0 0 121431 2748 0 0 25 0 1 0 3309381 37707776 8370 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9206 8370 587 984 0 8219 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 36824 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6981 /proc/meminfo: memFree=1664408/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37068 CPUtime=1301.78 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2523913 0 0 0 127313 2865 0 0 25 0 1 0 3309381 37957632 8403 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9267 8403 587 984 0 8280 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 37068 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6983 /proc/meminfo: memFree=1664284/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37280 CPUtime=1361.75 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2612031 0 0 0 133192 2983 0 0 25 0 1 0 3309381 38174720 8464 1992294400 4194304 8223781 140736667666336 18446744073709551615 6599090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9320 8464 587 984 0 8333 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 37280 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6983 /proc/meminfo: memFree=1664284/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37164 CPUtime=1421.73 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2697444 0 0 0 139075 3098 0 0 25 0 1 0 3309381 38055936 8455 1992294400 4194304 8223781 140736667666336 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9291 8455 587 984 0 8304 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 37164 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6985 /proc/meminfo: memFree=1664036/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37164 CPUtime=1481.7 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2774470 0 0 0 144962 3208 0 0 25 0 1 0 3309381 38055936 8455 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9291 8455 587 984 0 8304 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 37164 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6987 /proc/meminfo: memFree=1664284/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37324 CPUtime=1541.68 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2850134 0 0 0 150841 3327 0 0 25 0 1 0 3309381 38219776 8477 1992294400 4194304 8223781 140736667666336 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9331 8477 587 984 0 8344 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 37324 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6989 /proc/meminfo: memFree=1664036/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37516 CPUtime=1601.65 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2927331 0 0 0 156722 3443 0 0 25 0 1 0 3309381 38416384 8515 1992294400 4194304 8223781 140736667666336 18446744073709551615 6444648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9379 8515 587 984 0 8392 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 37516 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6991 /proc/meminfo: memFree=1663912/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37400 CPUtime=1661.64 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2953390 0 0 0 162619 3545 0 0 25 0 1 0 3309381 38297600 8514 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9350 8514 587 984 0 8363 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 37400 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6991 /proc/meminfo: memFree=1663912/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37520 CPUtime=1721.6 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 2982460 0 0 0 168514 3646 0 0 25 0 1 0 3309381 38420480 8523 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9380 8523 587 984 0 8393 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 37520 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6993 /proc/meminfo: memFree=1663912/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37504 CPUtime=1781.58 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 3016674 0 0 0 174414 3744 0 0 25 0 1 0 3309381 38404096 8515 1992294400 4194304 8223781 140736667666336 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9376 8515 587 984 0 8389 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 37504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6995 /proc/meminfo: memFree=1663912/2059040 swapFree=4192956/4192956 [pid=6937] ppid=6935 vsize=37400 CPUtime=1800.08 /proc/6937/stat : 6937 (pbscip.linux.x8) R 6935 6937 6791 0 -1 4202496 3031852 0 0 0 176234 3774 0 0 25 0 1 0 3309381 38297600 8515 1992294400 4194304 8223781 140736667666336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6937/statm: 9350 8515 587 984 0 8363 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 37400 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.85 CPU time (s): 1800.13 CPU user time (s): 1762.38 CPU system time (s): 37.7533 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 37896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1762.38 system time used= 37.7533 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3031862 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= 7 involuntary context switches= 4333 runsolver used 3.20551 second user time and 8.27374 second system time The end
Begin job on node019 at 2010-06-12 00:48:51 IDJOB=2667273 IDBENCH=1314 IDSOLVER=1169 FILE ID=node019/2667273-1276296531 PBS_JOBID= 11173127 Free space on /tmp= 62356 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.1900573901.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-2667273-1276296531/watcher-2667273-1276296531 -o /tmp/evaluation-result-2667273-1276296531/solver-2667273-1276296531 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667273-1276296531.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 40d0bcc4171e4a5907ae30e54ba56b80 RANDOM SEED=1651654139 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1698796 kB Buffers: 62944 kB Cached: 171168 kB SwapCached: 0 kB Active: 134664 kB Inactive: 158540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1698796 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4588 kB Writeback: 0 kB AnonPages: 59000 kB Mapped: 15472 kB Slab: 45264 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182128 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= 62352 MiB End job on node019 at 2010-06-12 01:18:53