Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.1 | 1800.65 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb |
MD5SUM | 4b18508c034d5953901bfe08c3658c68 |
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 | 186.695 |
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 | 693 |
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: Clp 1.11.1] [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-2665883-1276311994.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.11 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.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 22 constraints of type <setppc> 0.09/0.14 c 2541 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.06 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.2 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1799.95 0.09/0.14 c 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 1620 0.09/0.14 c 0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c limits/solutions = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.14 c separating/maxrounds = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/maxroundsroot = 5 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.14 c constraints/knapsack/disaggregation = FALSE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c presolving/probing/maxrounds = 0 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/coefdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.14 c heuristics/crossover/freq = -1 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/crossover/nodesofs = 750 0.09/0.14 c 0.09/0.14 c # number of nodes without incumbent change that heuristic should wait 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.14 c heuristics/crossover/nwaitingnodes = 100 0.09/0.14 c 0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.14 c # [type: real, range: [0,1], default: 0.1] 0.09/0.14 c heuristics/crossover/nodesquot = 0.15 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixed 0.09/0.14 c # [type: real, range: [0,1], default: 0.666] 0.09/0.14 c heuristics/crossover/minfixingrate = 0.5 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/feaspump/freq = -1 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/fracdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/guideddiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/intshifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 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 | 68 | - |3551k| 0 | 40 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 163 | - |3988k| 0 | 59 | 231 |2728 | 231 |2572 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.19 c 1.1s| 1 | 0 | 889 | - |4563k| 0 | 54 | 231 |2728 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.53 c 1.4s| 1 | 0 | 1106 | - |5343k| 0 | 71 | 231 |2728 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.98 c 1.8s| 1 | 0 | 1208 | - |5344k| 0 | 76 | 231 |2728 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.44 c 2.3s| 1 | 0 | 1218 | - |5344k| 0 | 75 | 231 |2728 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 4.79/4.89 c 4.7s| 1 | 2 | 1218 | - |5345k| 0 | 75 | 231 |2728 | 231 |2588 | 24 | 0 | 10 | 0.000000e+00 | -- | Inf 216.73/216.82 c 213s| 10000 | 53 |474556 | 47.3 |6841k| 35 | - | 231 |5600 | 231 |2575 | 24 |4286 |1587 | 0.000000e+00 | -- | Inf 384.18/384.31 c 377s| 20000 | 95 |946375 | 47.3 |7456k| 41 | 36 | 231 |6427 | 231 |2575 | 24 |8511 |1949 | 0.000000e+00 | -- | Inf 570.64/570.86 c 559s| 30000 | 94 | 1456k| 48.5 |7687k| 46 | 18 | 231 |6634 | 231 |2575 | 24 | 12k|2598 | 0.000000e+00 | -- | Inf 747.47/747.76 c 732s| 40000 | 93 | 1946k| 48.6 |8339k| 46 | - | 231 |8203 | 231 |2575 | 24 | 16k|3096 | 0.000000e+00 | -- | Inf 942.21/942.52 c 922s| 50000 | 164 | 2500k| 50.0 |9030k| 47 | 32 | 231 |9180 | 231 |2575 | 24 | 21k|3604 | 0.000000e+00 | -- | Inf 1130.04/1130.45 c 1105s| 60000 | 267 | 3033k| 50.5 |9862k| 53 | 35 | 231 | 10k| 231 |2575 | 24 | 24k|4000 | 0.000000e+00 | -- | Inf 1306.99/1307.42 c 1277s| 70000 | 263 | 3529k| 50.4 |9137k| 53 | 31 | 231 |7985 | 231 |2575 | 24 | 28k|4357 | 0.000000e+00 | -- | Inf 1474.04/1474.58 c 1440s| 80000 | 258 | 4014k| 50.2 |9050k| 56 | - | 231 |7549 | 231 |2575 | 24 | 33k|4639 | 0.000000e+00 | -- | Inf 1653.69/1654.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1653.69/1654.22 c 1615s| 90000 | 231 | 4538k| 50.4 |8354k| 56 | - | 231 |5922 | 231 |2575 | 24 | 37k|4898 | 0.000000e+00 | -- | Inf 1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.07/1800.61 c 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time (sec) : 1757.39 1800.07/1800.61 c Solving Nodes : 98211 1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.61 c Dual Bound : +0.00000000000000e+00 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time : 1757.39 1800.07/1800.61 c Original Problem : 1800.07/1800.61 c Problem name : HOME/instance-2665883-1276311994.opb 1800.07/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 2707 initial, 2707 maximal 1800.07/1800.61 c Presolved Problem : 1800.07/1800.61 c Problem name : t_HOME/instance-2665883-1276311994.opb 1800.07/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 2564 initial, 10629 maximal 1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c linear : 0.03 0 0 0 0 0 143 0 0 1800.07/1800.61 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.07/1800.61 c root node : - 0 - - 0 - - - - 1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c integral : 0 0 0 50635 0 217 1651 0 0 98824 1800.07/1800.61 c knapsack : 1 5 300376 0 0 542 131543 0 0 0 1800.07/1800.61 c setppc : 22 5 300006 0 0 1593 484491 0 0 0 1800.07/1800.61 c linear : 0+ 5 134218 0 0 8 4376 1 0 0 1800.07/1800.61 c logicor : 2541+ 5 176265 0 0 637 622990 0 0 0 1800.07/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.61 c integral : 158.16 0.00 0.00 158.16 0.00 1800.07/1800.61 c knapsack : 2.99 0.00 2.99 0.00 0.00 1800.07/1800.61 c setppc : 5.38 0.00 5.38 0.00 0.00 1800.07/1800.61 c linear : 0.83 0.00 0.83 0.00 0.00 1800.07/1800.61 c logicor : 25.64 0.00 25.64 0.00 0.00 1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.61 c vbounds : 0.21 1 0 0 1800.07/1800.61 c rootredcost : 0.22 0 0 0 1800.07/1800.61 c pseudoobj : 0.15 0 0 0 1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.61 c propagation : 0.30 2780 2763 15544 23.8 26 20.8 - 1800.07/1800.61 c infeasible LP : 18.96 46198 31801 192821 37.7 102 16.5 0 1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.61 c applied globally : - - - 36185 20.1 - - - 1800.07/1800.61 c applied locally : - - - 4094 34.3 - - - 1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.61 c cut pool : 0.00 4 - - 3 - (maximal pool size: 526) 1800.07/1800.61 c redcost : 0.58 49708 0 0 0 0 1800.07/1800.61 c impliedbounds : 0.00 5 0 0 0 0 1800.07/1800.61 c intobj : 0.00 0 0 0 0 0 1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0 1800.07/1800.61 c gomory : 0.88 5 0 0 1069 0 1800.07/1800.61 c strongcg : 0.63 5 0 0 1500 0 1800.07/1800.61 c cmir : 0.00 0 0 0 0 0 1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.61 c clique : 0.00 5 0 0 0 0 1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.61 c mcf : 0.00 1 0 0 0 0 1800.07/1800.61 c rapidlearning : 0.20 1 0 0 0 164 1800.07/1800.61 c Pricers : Time Calls Vars 1800.07/1800.61 c problem variables: 0.00 0 0 1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c relpscost : 157.92 50635 217 1651 0 0 98824 1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c random : 0.00 0 0 0 0 0 0 1800.07/1800.61 c Primal Heuristics : Time Calls Found 1800.07/1800.61 c LP solutions : 0.00 - 0 1800.07/1800.61 c pseudo solutions : 0.00 - 0 1800.07/1800.61 c trivial : 0.00 1 0 1800.07/1800.61 c simplerounding : 0.00 0 0 1800.07/1800.61 c zirounding : 0.00 0 0 1800.07/1800.61 c rounding : 0.00 0 0 1800.07/1800.61 c shifting : 0.00 0 0 1800.07/1800.61 c intshifting : 0.00 0 0 1800.07/1800.61 c oneopt : 0.00 0 0 1800.07/1800.61 c twoopt : 0.00 0 0 1800.07/1800.61 c fixandinfer : 0.00 0 0 1800.07/1800.61 c feaspump : 0.00 0 0 1800.07/1800.61 c coefdiving : 0.00 0 0 1800.07/1800.61 c pscostdiving : 0.00 0 0 1800.07/1800.61 c fracdiving : 0.00 0 0 1800.07/1800.61 c veclendiving : 0.00 0 0 1800.07/1800.61 c intdiving : 0.00 0 0 1800.07/1800.61 c actconsdiving : 0.00 0 0 1800.07/1800.61 c objpscostdiving : 0.00 0 0 1800.07/1800.61 c rootsoldiving : 0.00 0 0 1800.07/1800.61 c linesearchdiving : 0.00 0 0 1800.07/1800.61 c guideddiving : 0.00 0 0 1800.07/1800.61 c octane : 0.00 0 0 1800.07/1800.61 c rens : 0.00 0 0 1800.07/1800.61 c rins : 0.00 0 0 1800.07/1800.61 c localbranching : 0.00 0 0 1800.07/1800.61 c mutation : 0.00 0 0 1800.07/1800.61 c crossover : 0.00 0 0 1800.07/1800.61 c dins : 0.00 0 0 1800.07/1800.61 c undercover : 0.00 0 0 1800.07/1800.61 c nlp : 0.00 0 0 1800.07/1800.61 c trysol : 0.00 0 0 1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.07/1800.61 c dual LP : 1477.11 96717 4957715 51.26 3356.36 1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 - 1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.61 c strong branching : 155.72 5202 559747 107.60 3594.57 1800.07/1800.61 c (at root node) : - 10 5902 590.20 - 1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.61 c B&B Tree : 1800.07/1800.61 c number of runs : 1 1800.07/1800.62 c nodes : 98211 1800.07/1800.62 c nodes (total) : 98211 1800.07/1800.62 c nodes left : 216 1800.07/1800.62 c max depth : 60 1800.07/1800.62 c max depth (total): 60 1800.07/1800.62 c backtracks : 11507 (11.7%) 1800.07/1800.62 c delayed cutoffs : 398 1800.07/1800.62 c repropagations : 91309 (133632 domain reductions, 396 cutoffs) 1800.07/1800.62 c avg switch length: 3.88 1800.07/1800.62 c switching time : 26.33 1800.07/1800.62 c Solution : 1800.07/1800.62 c Solutions found : 0 (0 improvements) 1800.07/1800.62 c Primal Bound : - 1800.07/1800.62 c Dual Bound : +0.00000000000000e+00 1800.07/1800.62 c Gap : infinite 1800.07/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.07/1800.62 c Root Iterations : 1218 1800.07/1800.64 c Time complete: 1800.09.
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-2665883-1276311994/watcher-2665883-1276311994 -o /tmp/evaluation-result-2665883-1276311994/solver-2665883-1276311994 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665883-1276311994.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8723 /proc/meminfo: memFree=1527276/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=9288 CPUtime=0 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 1261 0 0 0 0 0 0 0 15 0 1 0 6800731 9510912 1181 1992294400 4194304 9819077 140735251125040 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8723/statm: 2322 1190 371 1374 0 943 0 [startup+0.0992819 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8723 /proc/meminfo: memFree=1527276/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=17476 CPUtime=0.09 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 3750 0 0 0 7 2 0 0 18 0 1 0 6800731 17895424 3059 1992294400 4194304 9819077 140735251125040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 4369 3059 489 1374 0 2990 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17476 [startup+0.101283 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8723 /proc/meminfo: memFree=1527276/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=17760 CPUtime=0.09 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 3820 0 0 0 7 2 0 0 18 0 1 0 6800731 18186240 3129 1992294400 4194304 9819077 140735251125040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 4440 3129 489 1374 0 3061 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17760 [startup+0.301301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8723 /proc/meminfo: memFree=1527276/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=37504 CPUtime=0.29 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 11003 0 0 0 24 5 0 0 18 0 1 0 6800731 38404096 7433 1992294400 4194304 9819077 140735251125040 18446744073709551615 6180450 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9376 7433 670 1374 0 7997 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37504 [startup+0.701339 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8723 /proc/meminfo: memFree=1527276/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=28072 CPUtime=0.69 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 12996 0 0 0 61 8 0 0 18 0 1 0 6800731 28745728 5943 1992294400 4194304 9819077 140735251125040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 7018 5943 692 1374 0 5639 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28072 [startup+1.50141 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8724 /proc/meminfo: memFree=1505444/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=31868 CPUtime=1.49 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 13963 0 0 0 139 10 0 0 19 0 1 0 6800731 32632832 6843 1992294400 4194304 9819077 140735251125040 18446744073709551615 7295954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 7967 6843 692 1374 0 6588 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31868 [startup+3.10157 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8724 /proc/meminfo: memFree=1501972/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35316 CPUtime=3.09 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 14567 0 0 0 298 11 0 0 23 0 1 0 6800731 36163584 6928 1992294400 4194304 9819077 140735251125040 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8829 6928 700 1374 0 7450 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35316 [startup+6.30087 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8724 /proc/meminfo: memFree=1501352/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=34764 CPUtime=6.29 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 16430 0 0 0 616 13 0 0 25 0 1 0 6800731 35598336 6909 1992294400 4194304 9819077 140735251125040 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8691 6909 707 1374 0 7312 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34764 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8724 /proc/meminfo: memFree=1501352/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35140 CPUtime=12.69 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 20783 0 0 0 1251 18 0 0 25 0 1 0 6800731 35983360 6938 1992294400 4194304 9819077 140735251125040 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8785 6938 720 1374 0 7406 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35140 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8724 /proc/meminfo: memFree=1501352/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=32236 CPUtime=25.48 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 29357 0 0 0 2519 29 0 0 25 0 1 0 6800731 33009664 6907 1992294400 4194304 9819077 140735251125040 18446744073709551615 6656884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8059 6907 723 1374 0 6680 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32236 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8726 /proc/meminfo: memFree=1501352/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=32684 CPUtime=51.07 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 55033 0 0 0 5045 62 0 0 25 0 1 0 6800731 33468416 6950 1992294400 4194304 9819077 140735251125040 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8171 6950 724 1374 0 6792 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32684 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8728 /proc/meminfo: memFree=1501228/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35828 CPUtime=102.27 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 138269 0 0 0 10078 149 0 0 25 0 1 0 6800731 36687872 6964 1992294400 4194304 9819077 140735251125040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8957 6964 724 1374 0 7578 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35828 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8728 /proc/meminfo: memFree=1501228/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=33016 CPUtime=162.25 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 236055 0 0 0 15978 247 0 0 25 0 1 0 6800731 33808384 6958 1992294400 4194304 9819077 140735251125040 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8254 6958 724 1374 0 6875 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33016 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8730 /proc/meminfo: memFree=1501104/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=33172 CPUtime=222.23 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 362005 0 0 0 21871 352 0 0 25 0 1 0 6800731 33968128 7020 1992294400 4194304 9819077 140735251125040 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8293 7020 724 1374 0 6914 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33172 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8732 /proc/meminfo: memFree=1500856/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=36880 CPUtime=282.21 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 531683 0 0 0 27737 484 0 0 25 0 1 0 6800731 37765120 7082 1992294400 4194304 9819077 140735251125040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9220 7082 724 1374 0 7841 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 36880 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8734 /proc/meminfo: memFree=1500732/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=34292 CPUtime=342.19 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 709652 0 0 0 33603 616 0 0 25 0 1 0 6800731 35115008 7081 1992294400 4194304 9819077 140735251125040 18446744073709551615 7317664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8573 7081 724 1374 0 7194 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34292 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8736 /proc/meminfo: memFree=1500484/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=34712 CPUtime=402.17 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 907585 0 0 0 39463 754 0 0 25 0 1 0 6800731 35545088 7134 1992294400 4194304 9819077 140735251125040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8678 7134 724 1374 0 7299 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34712 [startup+462.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 8739 /proc/meminfo: memFree=1499616/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=37700 CPUtime=462.16 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 1124790 0 0 0 45320 896 0 0 25 0 1 0 6800731 38604800 7206 1992294400 4194304 9819077 140735251125040 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9425 7206 724 1374 0 8046 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 37700 [startup+522.302 s] /proc/loadavg: 1.02 1.01 1.00 2/107 8741 /proc/meminfo: memFree=1499740/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35008 CPUtime=522.14 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 1343102 0 0 0 51183 1031 0 0 25 0 1 0 6800731 35848192 7143 1992294400 4194304 9819077 140735251125040 18446744073709551615 7317612 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8752 7143 724 1374 0 7373 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 35008 [startup+582.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 8743 /proc/meminfo: memFree=1499740/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35012 CPUtime=582.12 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 1557634 0 0 0 57043 1169 0 0 25 0 1 0 6800731 35852288 7197 1992294400 4194304 9819077 140735251125040 18446744073709551615 7296198 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8753 7197 724 1374 0 7374 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 35012 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8745 /proc/meminfo: memFree=1499740/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=34988 CPUtime=642.12 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 1781687 0 0 0 62900 1312 0 0 25 0 1 0 6800731 35827712 7181 1992294400 4194304 9819077 140735251125040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8747 7181 724 1374 0 7368 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 34988 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8749 /proc/meminfo: memFree=1499244/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35604 CPUtime=822.05 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 2454013 0 0 0 80465 1740 0 0 25 0 1 0 6800731 36458496 7302 1992294400 4194304 9819077 140735251125040 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 8901 7302 724 1374 0 7522 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 35604 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8751 /proc/meminfo: memFree=1498128/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=36684 CPUtime=882.03 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 2675108 0 0 0 86317 1886 0 0 25 0 1 0 6800731 37564416 7575 1992294400 4194304 9819077 140735251125040 18446744073709551615 6568800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9171 7575 724 1374 0 7792 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 36684 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8753 /proc/meminfo: memFree=1497880/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=37212 CPUtime=942.01 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 2915625 0 0 0 92165 2036 0 0 25 0 1 0 6800731 38105088 7621 1992294400 4194304 9819077 140735251125040 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9303 7621 724 1374 0 7924 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 37212 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8755 /proc/meminfo: memFree=1497880/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35400 CPUtime=1001.99 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 3160342 0 0 0 98017 2182 0 0 25 0 1 0 6800731 36249600 7579 1992294400 4194304 9819077 140735251125040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9020 7587 724 1374 0 7641 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 35400 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8755 /proc/meminfo: memFree=1497260/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=37992 CPUtime=1061.96 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 3414563 0 0 0 103863 2333 0 0 25 0 1 0 6800731 38903808 7801 1992294400 4194304 9819077 140735251125040 18446744073709551615 7302705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9498 7801 724 1374 0 8119 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 37992 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8757 /proc/meminfo: memFree=1496888/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38092 CPUtime=1121.95 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 3672149 0 0 0 109708 2487 0 0 25 0 1 0 6800731 39006208 7873 1992294400 4194304 9819077 140735251125040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9523 7873 724 1374 0 8144 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 38092 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8759 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=41268 CPUtime=1181.92 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 3925268 0 0 0 115553 2639 0 0 25 0 1 0 6800731 42258432 7937 1992294400 4194304 9819077 140735251125040 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 10317 7937 724 1374 0 8938 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 41268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8761 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38340 CPUtime=1241.91 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 4185474 0 0 0 121395 2796 0 0 25 0 1 0 6800731 39260160 7911 1992294400 4194304 9819077 140735251125040 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9585 7911 724 1374 0 8206 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 38340 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8763 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38316 CPUtime=1301.9 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 4447474 0 0 0 127231 2959 0 0 25 0 1 0 6800731 39235584 7899 1992294400 4194304 9819077 140735251125040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9579 7899 724 1374 0 8200 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 38316 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8763 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38248 CPUtime=1361.87 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 4704081 0 0 0 133070 3117 0 0 25 0 1 0 6800731 39165952 7913 1992294400 4194304 9819077 140735251125040 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9562 7913 724 1374 0 8183 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 38248 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8765 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38276 CPUtime=1421.86 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 4968701 0 0 0 138910 3276 0 0 25 0 1 0 6800731 39194624 7904 1992294400 4194304 9819077 140735251125040 18446744073709551615 7289186 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9569 7904 724 1374 0 8190 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 38276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8767 /proc/meminfo: memFree=1496888/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38252 CPUtime=1481.84 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 5234115 0 0 0 144748 3436 0 0 25 0 1 0 6800731 39170048 7898 1992294400 4194304 9819077 140735251125040 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9563 7898 724 1374 0 8184 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 38252 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8769 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38376 CPUtime=1541.82 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 5485656 0 0 0 150597 3585 0 0 25 0 1 0 6800731 39297024 7906 1992294400 4194304 9819077 140735251125040 18446744073709551615 7292028 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9594 7906 724 1374 0 8215 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 38376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8771 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=37372 CPUtime=1601.81 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 5740341 0 0 0 156440 3741 0 0 25 0 1 0 6800731 38268928 7880 1992294400 4194304 9819077 140735251125040 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9343 7881 724 1374 0 7964 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 37372 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8771 /proc/meminfo: memFree=1496764/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38280 CPUtime=1661.79 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 6000322 0 0 0 162275 3904 0 0 25 0 1 0 6800731 39198720 7891 1992294400 4194304 9819077 140735251125040 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9570 7891 724 1374 0 8191 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 38280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8773 /proc/meminfo: memFree=1496640/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38252 CPUtime=1721.77 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 6270223 0 0 0 168115 4062 0 0 25 0 1 0 6800731 39170048 7892 1992294400 4194304 9819077 140735251125040 18446744073709551615 6590275 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9563 7892 724 1374 0 8184 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 38252 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8775 /proc/meminfo: memFree=1496516/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=38280 CPUtime=1781.75 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 6523741 0 0 0 173964 4211 0 0 25 0 1 0 6800731 39198720 7892 1992294400 4194304 9819077 140735251125040 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9570 7892 724 1374 0 8191 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 38280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8775 /proc/meminfo: memFree=1496516/2059040 swapFree=4192956/4192956 [pid=8723] ppid=8721 vsize=35700 CPUtime=1800.07 /proc/8723/stat : 8723 (pbscip.linux.x8) R 8721 8723 7733 0 -1 4202496 6607396 0 0 0 175743 4264 0 0 25 0 1 0 6800731 36556800 7864 1992294400 4194304 9819077 140735251125040 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8723/statm: 9354 7869 724 1374 0 7975 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 35700 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.65 CPU time (s): 1800.1 CPU user time (s): 1757.46 CPU system time (s): 42.6485 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 41492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757.46 system time used= 42.6485 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6607435 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= 2 involuntary context switches= 3585 runsolver used 3.07653 second user time and 8.40572 second system time The end
Begin job on node015 at 2010-06-12 05:06:34 IDJOB=2665883 IDBENCH=1358 IDSOLVER=1168 FILE ID=node015/2665883-1276311994 PBS_JOBID= 11173133 Free space on /tmp= 62548 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665883-1276311994/watcher-2665883-1276311994 -o /tmp/evaluation-result-2665883-1276311994/solver-2665883-1276311994 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665883-1276311994.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4b18508c034d5953901bfe08c3658c68 RANDOM SEED=1295718340 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1527804 kB Buffers: 87336 kB Cached: 315312 kB SwapCached: 0 kB Active: 181088 kB Inactive: 281204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1527804 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6372 kB Writeback: 4 kB AnonPages: 59676 kB Mapped: 15408 kB Slab: 47244 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181800 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= 62540 MiB End job on node015 at 2010-06-12 05:36:37