Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 1635.18 | 1635.56 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb |
MD5SUM | 5107a201bfa7ecd84a67ffb212d048dd |
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 | 7.50286 |
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 | 689 |
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-2665877-1276308369.opb> 0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.03/0.05 c problem read 0.03/0.05 c No objective function, only one solution is needed. 0.03/0.05 c presolving settings loaded 0.03/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 60 | - |3551k| 0 | 38 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.62 c 0.5s| 1 | 0 | 377 | - |4059k| 0 | 75 | 231 |2739 | 231 |2572 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.35 c 1.2s| 1 | 0 | 1352 | - |4777k| 0 | 60 | 231 |2739 | 231 |2575 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.58 c 1.4s| 1 | 0 | 1567 | - |5192k| 0 | 85 | 231 |2739 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.09 c 1.9s| 1 | 0 | 1775 | - |5527k| 0 | 80 | 231 |2739 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 3.09/3.10 c 3.0s| 1 | 0 | 2876 | - |5568k| 0 | 70 | 231 |2739 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 6.09/6.19 c 6.0s| 1 | 2 | 2876 | - |5568k| 0 | 70 | 231 |2739 | 231 |2585 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf 254.43/254.59 c 250s| 10000 | 79 |573490 | 57.1 |7332k| 38 | - | 231 |5984 | 231 |2569 | 21 |5311 |1504 | 0.000000e+00 | -- | Inf 452.39/452.51 c 443s| 20000 | 128 | 1141k| 56.9 |8330k| 43 | - | 231 |7808 | 231 |2569 | 21 | 10k|2016 | 0.000000e+00 | -- | Inf 660.64/660.85 c 646s| 30000 | 92 | 1728k| 57.5 |8447k| 43 | 24 | 231 |8245 | 231 |2569 | 21 | 15k|2627 | 0.000000e+00 | -- | Inf 887.98/888.24 c 868s| 40000 | 69 | 2396k| 59.8 |8609k| 44 | - | 231 |8481 | 231 |2569 | 21 | 20k|3187 | 0.000000e+00 | -- | Inf 1122.23/1122.50 c 1097s| 50000 | 43 | 3086k| 61.7 |8314k| 44 | 28 | 231 |7805 | 231 |2569 | 21 | 25k|3711 | 0.000000e+00 | -- | Inf 1338.88/1339.23 c 1308s| 60000 | 67 | 3727k| 62.1 |9281k| 48 | - | 231 |9981 | 231 |2569 | 21 | 30k|4122 | 0.000000e+00 | -- | Inf 1571.82/1572.20 c 1535s| 70000 | 28 | 4424k| 63.2 |9032k| 49 | - | 231 |9224 | 231 |2569 | 21 | 35k|4563 | 0.000000e+00 | -- | Inf 1635.11/1635.53 c 1635.11/1635.53 c SCIP Status : problem is solved [infeasible] 1635.11/1635.53 c Solving Time (sec) : 1597.26 1635.11/1635.53 c Solving Nodes : 72824 1635.11/1635.53 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1635.11/1635.53 c Dual Bound : +1.00000000000000e+20 1635.11/1635.53 c Gap : 0.00 % 1635.11/1635.53 s UNSATISFIABLE 1635.11/1635.53 c SCIP Status : problem is solved [infeasible] 1635.11/1635.53 c Solving Time : 1597.26 1635.11/1635.53 c Original Problem : 1635.11/1635.53 c Problem name : HOME/instance-2665877-1276308369.opb 1635.11/1635.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1635.11/1635.53 c Constraints : 2707 initial, 2707 maximal 1635.11/1635.53 c Presolved Problem : 1635.11/1635.53 c Problem name : t_HOME/instance-2665877-1276308369.opb 1635.11/1635.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1635.11/1635.53 c Constraints : 2564 initial, 11315 maximal 1635.11/1635.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1635.11/1635.53 c trivial : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c dualfix : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c boundshift : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c implics : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c probing : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c knapsack : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c setppc : 0.00 0 0 0 0 0 0 0 0 1635.11/1635.53 c linear : 0.03 0 0 0 0 0 143 0 0 1635.11/1635.53 c logicor : 0.03 0 0 0 0 0 0 0 0 1635.11/1635.53 c root node : - 1 - - 1 - - - - 1635.11/1635.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1635.11/1635.53 c integral : 0 0 0 37535 0 116 1590 0 0 73194 1635.11/1635.53 c knapsack : 1 5 241826 0 0 316 123918 2 0 0 1635.11/1635.53 c setppc : 22 5 241705 0 0 1332 406159 0 0 0 1635.11/1635.53 c linear : 0+ 5 179559 0 0 15 3306 1 0 0 1635.11/1635.53 c logicor : 2541+ 5 135839 0 0 419 457814 0 0 0 1635.11/1635.53 c countsols : 0 0 0 0 0 0 0 0 0 0 1635.11/1635.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1635.11/1635.53 c integral : 174.67 0.00 0.00 174.67 0.00 1635.11/1635.53 c knapsack : 1.83 0.00 1.83 0.00 0.00 1635.11/1635.53 c setppc : 3.45 0.00 3.45 0.00 0.00 1635.11/1635.53 c linear : 1.26 0.00 1.26 0.00 0.00 1635.11/1635.53 c logicor : 21.99 0.00 21.99 0.00 0.00 1635.11/1635.53 c countsols : 0.00 0.00 0.00 0.00 0.00 1635.11/1635.53 c Propagators : Time Calls Cutoffs DomReds 1635.11/1635.53 c vbounds : 0.17 1 0 0 1635.11/1635.53 c rootredcost : 0.15 0 0 0 1635.11/1635.53 c pseudoobj : 0.13 0 0 0 1635.11/1635.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1635.11/1635.53 c propagation : 0.12 2082 2060 10577 21.7 30 21.9 - 1635.11/1635.53 c infeasible LP : 13.65 34399 26028 148386 33.6 158 15.7 0 1635.11/1635.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1635.11/1635.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1635.11/1635.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1635.11/1635.53 c applied globally : - - - 35882 19.5 - - - 1635.11/1635.53 c applied locally : - - - 951 33.2 - - - 1635.11/1635.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1635.11/1635.53 c cut pool : 0.00 4 - - 9 - (maximal pool size: 544) 1635.11/1635.53 c redcost : 0.38 36775 0 0 0 0 1635.11/1635.53 c impliedbounds : 0.00 5 0 0 0 0 1635.11/1635.53 c intobj : 0.00 0 0 0 0 0 1635.11/1635.53 c cgmip : 0.00 0 0 0 0 0 1635.11/1635.53 c gomory : 0.75 5 0 0 1000 0 1635.11/1635.53 c strongcg : 0.61 5 0 0 1704 0 1635.11/1635.53 c cmir : 0.00 0 0 0 0 0 1635.11/1635.53 c flowcover : 0.00 0 0 0 0 0 1635.11/1635.53 c clique : 0.00 5 0 0 0 0 1635.11/1635.53 c zerohalf : 0.00 0 0 0 0 0 1635.11/1635.53 c mcf : 0.00 1 0 0 0 0 1635.11/1635.53 c rapidlearning : 0.19 1 0 0 0 175 1635.11/1635.53 c Pricers : Time Calls Vars 1635.11/1635.53 c problem variables: 0.00 0 0 1635.11/1635.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1635.11/1635.53 c relpscost : 174.54 37535 116 1590 0 0 73194 1635.11/1635.53 c pscost : 0.00 0 0 0 0 0 0 1635.11/1635.53 c inference : 0.00 0 0 0 0 0 0 1635.11/1635.53 c mostinf : 0.00 0 0 0 0 0 0 1635.11/1635.53 c leastinf : 0.00 0 0 0 0 0 0 1635.11/1635.53 c fullstrong : 0.00 0 0 0 0 0 0 1635.11/1635.53 c allfullstrong : 0.00 0 0 0 0 0 0 1635.11/1635.53 c random : 0.00 0 0 0 0 0 0 1635.11/1635.53 c Primal Heuristics : Time Calls Found 1635.11/1635.53 c LP solutions : 0.00 - 0 1635.11/1635.53 c pseudo solutions : 0.00 - 0 1635.11/1635.53 c trivial : 0.00 1 0 1635.11/1635.53 c simplerounding : 0.00 0 0 1635.11/1635.53 c zirounding : 0.00 0 0 1635.11/1635.53 c rounding : 0.00 0 0 1635.11/1635.53 c shifting : 0.00 0 0 1635.11/1635.53 c intshifting : 0.00 0 0 1635.11/1635.53 c oneopt : 0.00 0 0 1635.11/1635.53 c twoopt : 0.00 0 0 1635.11/1635.53 c fixandinfer : 0.00 0 0 1635.11/1635.53 c feaspump : 0.00 0 0 1635.11/1635.53 c coefdiving : 0.00 0 0 1635.11/1635.53 c pscostdiving : 0.00 0 0 1635.11/1635.53 c fracdiving : 0.00 0 0 1635.11/1635.53 c veclendiving : 0.00 0 0 1635.11/1635.53 c intdiving : 0.00 0 0 1635.11/1635.53 c actconsdiving : 0.00 0 0 1635.11/1635.53 c objpscostdiving : 0.00 0 0 1635.11/1635.53 c rootsoldiving : 0.00 0 0 1635.11/1635.53 c linesearchdiving : 0.00 0 0 1635.11/1635.53 c guideddiving : 0.00 0 0 1635.11/1635.53 c octane : 0.00 0 0 1635.11/1635.53 c rens : 0.00 0 0 1635.11/1635.53 c rins : 0.00 0 0 1635.11/1635.53 c localbranching : 0.00 0 0 1635.11/1635.53 c mutation : 0.00 0 0 1635.11/1635.53 c crossover : 0.00 0 0 1635.11/1635.53 c dins : 0.00 0 0 1635.11/1635.53 c undercover : 0.00 0 0 1635.11/1635.53 c nlp : 0.00 0 0 1635.11/1635.53 c trysol : 0.00 0 0 1635.11/1635.53 c LP : Time Calls Iterations Iter/call Iter/sec 1635.11/1635.53 c primal LP : 0.01 0 0 0.00 0.00 1635.11/1635.53 c dual LP : 1327.43 71874 4612542 64.18 3474.79 1635.11/1635.53 c lex dual LP : 0.00 0 0 0.00 - 1635.11/1635.53 c barrier LP : 0.00 0 0 0.00 - 1635.11/1635.53 c diving/probing LP: 0.00 0 0 0.00 - 1635.11/1635.53 c strong branching : 172.75 4664 620997 133.15 3594.77 1635.11/1635.53 c (at root node) : - 9 6539 726.56 - 1635.11/1635.53 c conflict analysis: 0.00 0 0 0.00 - 1635.11/1635.53 c B&B Tree : 1635.11/1635.53 c number of runs : 1 1635.11/1635.53 c nodes : 72824 1635.11/1635.53 c nodes (total) : 72824 1635.11/1635.53 c nodes left : 0 1635.11/1635.53 c max depth : 49 1635.11/1635.53 c max depth (total): 49 1635.11/1635.53 c backtracks : 8232 (11.3%) 1635.11/1635.53 c delayed cutoffs : 371 1635.11/1635.53 c repropagations : 79827 (138628 domain reductions, 370 cutoffs) 1635.11/1635.53 c avg switch length: 4.21 1635.11/1635.53 c switching time : 21.09 1635.11/1635.53 c Solution : 1635.11/1635.53 c Solutions found : 0 (0 improvements) 1635.11/1635.53 c Primal Bound : infeasible 1635.11/1635.53 c Dual Bound : - 1635.11/1635.53 c Gap : 0.00 % 1635.11/1635.53 c Root Dual Bound : +0.00000000000000e+00 1635.11/1635.53 c Root Iterations : 2876 1635.11/1635.56 c Time complete: 1635.17.
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-2665877-1276308369/watcher-2665877-1276308369 -o /tmp/evaluation-result-2665877-1276308369/solver-2665877-1276308369 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665877-1276308369.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/106 8295 /proc/meminfo: memFree=1767360/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=9288 CPUtime=0 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 1059 0 0 0 0 0 0 0 21 0 1 0 6440856 9510912 979 1992294400 4194304 9819077 140734206304656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8295/statm: 2322 988 371 1374 0 943 0 [startup+0.046667 s] /proc/loadavg: 0.92 0.98 0.99 2/106 8295 /proc/meminfo: memFree=1767360/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=11628 CPUtime=0.03 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 1856 0 0 0 3 0 0 0 21 0 1 0 6440856 11907072 1776 1992294400 4194304 9819077 140734206304656 18446744073709551615 8610836 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8295/statm: 2907 1776 386 1374 0 1528 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11628 [startup+0.100671 s] /proc/loadavg: 0.92 0.98 0.99 2/106 8295 /proc/meminfo: memFree=1767360/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=17476 CPUtime=0.09 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 3747 0 0 0 8 1 0 0 21 0 1 0 6440856 17895424 3056 1992294400 4194304 9819077 140734206304656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 4369 3059 489 1374 0 2990 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17476 [startup+0.300687 s] /proc/loadavg: 0.92 0.98 0.99 2/106 8295 /proc/meminfo: memFree=1767360/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=36304 CPUtime=0.29 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 10690 0 0 0 25 4 0 0 21 0 1 0 6440856 37175296 7383 1992294400 4194304 9819077 140734206304656 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9076 7393 670 1374 0 7697 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36304 [startup+0.70072 s] /proc/loadavg: 0.92 0.98 0.99 2/106 8295 /proc/meminfo: memFree=1767360/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=29220 CPUtime=0.69 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 13286 0 0 0 62 7 0 0 22 0 1 0 6440856 29921280 6239 1992294400 4194304 9819077 140734206304656 18446744073709551615 7311850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 7305 6239 692 1374 0 5926 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29220 [startup+1.50078 s] /proc/loadavg: 0.92 0.98 0.99 2/107 8296 /proc/meminfo: memFree=1743420/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=32952 CPUtime=1.49 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 14226 0 0 0 141 8 0 0 25 0 1 0 6440856 33742848 7153 1992294400 4194304 9819077 140734206304656 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 8238 7153 692 1374 0 6859 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32952 [startup+3.10091 s] /proc/loadavg: 0.92 0.98 0.99 2/107 8296 /proc/meminfo: memFree=1740692/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=33768 CPUtime=3.09 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 14601 0 0 0 300 9 0 0 25 0 1 0 6440856 34578432 7314 1992294400 4194304 9819077 140734206304656 18446744073709551615 6692766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 8442 7314 694 1374 0 7063 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33768 [startup+6.30117 s] /proc/loadavg: 0.93 0.98 0.99 2/107 8298 /proc/meminfo: memFree=1739700/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=34076 CPUtime=6.29 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 18048 0 0 0 617 12 0 0 25 0 1 0 6440856 34893824 7331 1992294400 4194304 9819077 140734206304656 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 8519 7331 707 1374 0 7140 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34076 [startup+12.7007 s] /proc/loadavg: 0.93 0.98 0.99 2/107 8298 /proc/meminfo: memFree=1739824/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=36796 CPUtime=12.69 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 23872 0 0 0 1252 17 0 0 25 0 1 0 6440856 37679104 7387 1992294400 4194304 9819077 140734206304656 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9199 7387 720 1374 0 7820 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36796 [startup+25.5007 s] /proc/loadavg: 0.95 0.98 0.99 2/107 8298 /proc/meminfo: memFree=1739328/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=36604 CPUtime=25.49 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 31756 0 0 0 2523 26 0 0 25 0 1 0 6440856 37482496 7448 1992294400 4194304 9819077 140734206304656 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9151 7448 723 1374 0 7772 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36604 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/107 8298 /proc/meminfo: memFree=1739824/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=34476 CPUtime=51.08 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 57250 0 0 0 5051 57 0 0 25 0 1 0 6440856 35303424 7357 1992294400 4194304 9819077 140734206304656 18446744073709551615 7311865 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 8619 7357 724 1374 0 7240 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34476 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 8300 /proc/meminfo: memFree=1739700/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=34660 CPUtime=102.27 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 145371 0 0 0 10084 143 0 0 25 0 1 0 6440856 35491840 7351 1992294400 4194304 9819077 140734206304656 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 8665 7351 724 1374 0 7286 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34660 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8302 /proc/meminfo: memFree=1739576/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=35836 CPUtime=162.25 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 285784 0 0 0 15965 260 0 0 25 0 1 0 6440856 36696064 7453 1992294400 4194304 9819077 140734206304656 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 8959 7453 724 1374 0 7580 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35836 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8302 /proc/meminfo: memFree=1739328/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=35784 CPUtime=222.24 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 478123 0 0 0 21831 393 0 0 25 0 1 0 6440856 36642816 7430 1992294400 4194304 9819077 140734206304656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 8946 7430 724 1374 0 7567 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 35784 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8304 /proc/meminfo: memFree=1739204/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=39172 CPUtime=282.22 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 694252 0 0 0 27703 519 0 0 25 0 1 0 6440856 40112128 7530 1992294400 4194304 9819077 140734206304656 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9793 7530 724 1374 0 8414 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 39172 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8306 /proc/meminfo: memFree=1739212/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=36480 CPUtime=342.21 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 917298 0 0 0 33566 655 0 0 25 0 1 0 6440856 37355520 7487 1992294400 4194304 9819077 140734206304656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9120 7487 724 1374 0 7741 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 36480 [startup+402.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8308 /proc/meminfo: memFree=1738964/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=36816 CPUtime=402.2 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 1155054 0 0 0 39417 803 0 0 25 0 1 0 6440856 37699584 7526 1992294400 4194304 9819077 140734206304656 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9204 7526 724 1374 0 7825 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 36816 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8313 /proc/meminfo: memFree=1738220/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=36936 CPUtime=462.19 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 1399797 0 0 0 45259 960 0 0 25 0 1 0 6440856 37822464 7535 1992294400 4194304 9819077 140734206304656 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9234 7535 724 1374 0 7855 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 36936 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8313 /proc/meminfo: memFree=1737972/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=36236 CPUtime=522.17 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 1650986 0 0 0 51097 1120 0 0 25 0 1 0 6440856 37105664 7584 1992294400 4194304 9819077 140734206304656 18446744073709551615 7263216 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9059 7584 724 1374 0 7680 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 36236 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8315 /proc/meminfo: memFree=1737972/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=37332 CPUtime=582.15 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 1899516 0 0 0 56950 1265 0 0 25 0 1 0 6440856 38227968 7676 1992294400 4194304 9819077 140734206304656 18446744073709551615 6191149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9333 7676 724 1374 0 7954 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 37332 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8317 /proc/meminfo: memFree=1736856/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=41160 CPUtime=642.15 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 2148600 0 0 0 62795 1420 0 0 25 0 1 0 6440856 42147840 7931 1992294400 4194304 9819077 140734206304656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10290 7931 724 1374 0 8911 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 41160 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1736732/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=38552 CPUtime=942.07 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 3345241 0 0 0 92074 2133 0 0 25 0 1 0 6440856 39477248 7990 1992294400 4194304 9819077 140734206304656 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9638 7990 724 1374 0 8259 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 38552 [startup+1002.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 8327 /proc/meminfo: memFree=1736732/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=38068 CPUtime=1002.06 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 3582960 0 0 0 97927 2279 0 0 25 0 1 0 6440856 38981632 7963 1992294400 4194304 9819077 140734206304656 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9646 7965 724 1374 0 8267 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 38068 [startup+1062.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 8329 /proc/meminfo: memFree=1736608/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=38676 CPUtime=1062.04 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 3817451 0 0 0 103786 2418 0 0 25 0 1 0 6440856 39604224 8002 1992294400 4194304 9819077 140734206304656 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9669 8002 724 1374 0 8290 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 38676 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 8329 /proc/meminfo: memFree=1736484/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=38676 CPUtime=1122.02 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 4056614 0 0 0 109641 2561 0 0 25 0 1 0 6440856 39604224 7994 1992294400 4194304 9819077 140734206304656 18446744073709551615 7487747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9669 7994 724 1374 0 8290 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 38676 [startup+1182.3 s] /proc/loadavg: 1.09 1.05 1.01 2/107 8331 /proc/meminfo: memFree=1736484/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=38704 CPUtime=1182.01 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 4300120 0 0 0 115494 2707 0 0 25 0 1 0 6440856 39632896 8000 1992294400 4194304 9819077 140734206304656 18446744073709551615 7317664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9676 8000 724 1374 0 8297 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 38704 [startup+1242.3 s] /proc/loadavg: 1.03 1.04 1.00 2/107 8333 /proc/meminfo: memFree=1736236/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=38864 CPUtime=1242 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 4542966 0 0 0 121350 2850 0 0 25 0 1 0 6440856 39796736 8037 1992294400 4194304 9819077 140734206304656 18446744073709551615 7096974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9716 8037 724 1374 0 8337 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 38864 [startup+1302.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 8335 /proc/meminfo: memFree=1735988/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=38936 CPUtime=1301.99 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 4780484 0 0 0 127201 2998 0 0 25 0 1 0 6440856 39870464 8077 1992294400 4194304 9819077 140734206304656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9734 8077 724 1374 0 8355 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 38936 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 8337 /proc/meminfo: memFree=1735492/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=39524 CPUtime=1361.98 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 5007119 0 0 0 133059 3139 0 0 25 0 1 0 6440856 40472576 8208 1992294400 4194304 9819077 140734206304656 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9881 8208 724 1374 0 8502 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 39524 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/107 8337 /proc/meminfo: memFree=1735120/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=39944 CPUtime=1421.96 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 5233335 0 0 0 138921 3275 0 0 25 0 1 0 6440856 40902656 8330 1992294400 4194304 9819077 140734206304656 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 9986 8330 724 1374 0 8607 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 39944 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8339 /proc/meminfo: memFree=1734748/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40192 CPUtime=1481.94 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 5462624 0 0 0 144781 3413 0 0 25 0 1 0 6440856 41156608 8362 1992294400 4194304 9819077 140734206304656 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10048 8362 724 1374 0 8669 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 40192 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8341 /proc/meminfo: memFree=1734748/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40160 CPUtime=1541.93 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 5705072 0 0 0 150634 3559 0 0 25 0 1 0 6440856 41123840 8354 1992294400 4194304 9819077 140734206304656 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10040 8354 724 1374 0 8661 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 40160 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734748/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40156 CPUtime=1601.91 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 5939193 0 0 0 156483 3708 0 0 25 0 1 0 6440856 41119744 8361 1992294400 4194304 9819077 140734206304656 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10039 8361 724 1374 0 8660 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 40156 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734748/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40256 CPUtime=1612.32 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 5981194 0 0 0 157498 3734 0 0 25 0 1 0 6440856 41222144 8358 1992294400 4194304 9819077 140734206304656 18446744073709551615 6677284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10064 8358 724 1374 0 8685 0 Current children cumulated CPU time (s) 1612.32 Current children cumulated vsize (KiB) 40256 [startup+1625.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734624/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40064 CPUtime=1625.11 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 6030953 0 0 0 158750 3761 0 0 25 0 1 0 6440856 41025536 8353 1992294400 4194304 9819077 140734206304656 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10016 8353 724 1374 0 8637 0 Current children cumulated CPU time (s) 1625.11 Current children cumulated vsize (KiB) 40064 [startup+1631.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734624/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40256 CPUtime=1631.51 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 6056506 0 0 0 159377 3774 0 0 25 0 1 0 6440856 41222144 8402 1992294400 4194304 9819077 140734206304656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10064 8402 724 1374 0 8685 0 Current children cumulated CPU time (s) 1631.51 Current children cumulated vsize (KiB) 40256 [startup+1633.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734624/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40156 CPUtime=1633.12 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 6063173 0 0 0 159534 3778 0 0 25 0 1 0 6440856 41119744 8368 1992294400 4194304 9819077 140734206304656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10039 8368 724 1374 0 8660 0 Current children cumulated CPU time (s) 1633.12 Current children cumulated vsize (KiB) 40156 [startup+1634.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734624/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40156 CPUtime=1633.91 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 6066479 0 0 0 159611 3780 0 0 25 0 1 0 6440856 41119744 8363 1992294400 4194304 9819077 140734206304656 18446744073709551615 6449645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10039 8363 724 1374 0 8660 0 Current children cumulated CPU time (s) 1633.91 Current children cumulated vsize (KiB) 40156 [startup+1635.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734624/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40132 CPUtime=1634.71 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 6069944 0 0 0 159689 3782 0 0 25 0 1 0 6440856 41095168 8366 1992294400 4194304 9819077 140734206304656 18446744073709551615 6192342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10033 8366 724 1374 0 8654 0 Current children cumulated CPU time (s) 1634.71 Current children cumulated vsize (KiB) 40132 [startup+1635.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8343 /proc/meminfo: memFree=1734624/2059040 swapFree=4192072/4192956 [pid=8295] ppid=8293 vsize=40132 CPUtime=1635.11 /proc/8295/stat : 8295 (pbscip.linux.x8) R 8293 8295 8270 0 -1 4202496 6071553 0 0 0 159728 3783 0 0 25 0 1 0 6440856 41095168 8366 1992294400 4194304 9819077 140734206304656 18446744073709551615 7312810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8295/statm: 10033 8366 724 1374 0 8654 0 Current children cumulated CPU time (s) 1635.11 Current children cumulated vsize (KiB) 40132 Child status: 0 Real time (s): 1635.56 CPU time (s): 1635.18 CPU user time (s): 1597.34 CPU system time (s): 37.8432 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 43328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1597.34 system time used= 37.8432 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6071691 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1508 runsolver used 2.81157 second user time and 7.61784 second system time The end
Begin job on node003 at 2010-06-12 04:06:09 IDJOB=2665877 IDBENCH=1350 IDSOLVER=1168 FILE ID=node003/2665877-1276308369 PBS_JOBID= 11173147 Free space on /tmp= 62556 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.1900557574.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-2665877-1276308369/watcher-2665877-1276308369 -o /tmp/evaluation-result-2665877-1276308369/solver-2665877-1276308369 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665877-1276308369.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5107a201bfa7ecd84a67ffb212d048dd RANDOM SEED=1648207157 node003.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.251 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.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1767888 kB Buffers: 44880 kB Cached: 121896 kB SwapCached: 0 kB Active: 105196 kB Inactive: 119892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1767888 kB SwapTotal: 4192956 kB SwapFree: 4192072 kB Dirty: 6600 kB Writeback: 0 kB AnonPages: 58280 kB Mapped: 15372 kB Slab: 44440 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181868 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= 62548 MiB End job on node003 at 2010-06-12 04:33:25