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.14 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb |
MD5SUM | f6db72fa29ffa9d071020a030f71e7d0 |
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 | 192.229 |
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 | 651 |
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-2665831-1276291124.opb> 0.03/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.03/0.06 c problem read 0.03/0.06 c No objective function, only one solution is needed. 0.03/0.06 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 | 68 | - |3551k| 0 | 35 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.4s| 1 | 0 | 163 | - |4033k| 0 | 65 | 231 |2744 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.95 c 0.8s| 1 | 0 | 417 | - |4591k| 0 | 75 | 231 |2744 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.47 c 1.3s| 1 | 0 | 571 | - |5011k| 0 | 72 | 231 |2744 | 231 |2583 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.04 c 1.9s| 1 | 0 | 986 | - |5153k| 0 | 70 | 231 |2744 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.50 c 2.4s| 1 | 0 | 1071 | - |5584k| 0 | 82 | 231 |2744 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 4.99/5.07 c 4.9s| 1 | 2 | 1071 | - |5585k| 0 | 82 | 231 |2744 | 231 |2589 | 25 | 0 | 11 | 0.000000e+00 | -- | Inf 191.43/191.50 c 188s| 10000 | 62 |399929 | 39.9 |7171k| 37 | 36 | 231 |5736 | 231 |2573 | 25 |4387 |1782 | 0.000000e+00 | -- | Inf 339.38/339.55 c 333s| 20000 | 73 |812114 | 40.6 |7567k| 44 | 32 | 231 |6179 | 231 |2573 | 25 |8770 |2094 | 0.000000e+00 | -- | Inf 505.74/505.90 c 495s| 30000 | 71 | 1255k| 41.8 |8061k| 46 | - | 231 |7207 | 231 |2573 | 25 | 13k|2788 | 0.000000e+00 | -- | Inf 669.29/669.50 c 654s| 40000 | 80 | 1690k| 42.2 |8347k| 46 | - | 231 |7479 | 231 |2573 | 25 | 17k|3303 | 0.000000e+00 | -- | Inf 820.75/821.01 c 801s| 50000 | 55 | 2098k| 42.0 |8143k| 48 | 42 | 231 |6854 | 231 |2573 | 25 | 21k|3768 | 0.000000e+00 | -- | Inf 972.41/972.77 c 948s| 60000 | 129 | 2508k| 41.8 |8983k| 48 | - | 231 |8455 | 231 |2573 | 25 | 26k|4182 | 0.000000e+00 | -- | Inf 1125.28/1125.69 c 1097s| 70000 | 109 | 2919k| 41.7 |8887k| 50 | - | 231 |8038 | 231 |2573 | 25 | 30k|4507 | 0.000000e+00 | -- | Inf 1277.83/1278.27 c 1245s| 80000 | 103 | 3332k| 41.6 |9635k| 50 | - | 231 |9764 | 231 |2573 | 25 | 34k|4860 | 0.000000e+00 | -- | Inf 1432.88/1433.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1432.88/1433.35 c 1395s| 90000 | 83 | 3751k| 41.7 |8955k| 50 | - | 231 |7876 | 231 |2573 | 25 | 38k|5219 | 0.000000e+00 | -- | Inf 1583.53/1584.03 c 1542s|100000 | 79 | 4166k| 41.7 |9833k| 50 | 38 | 231 |9949 | 231 |2573 | 25 | 42k|5518 | 0.000000e+00 | -- | Inf 1740.38/1740.96 c 1695s|110000 | 84 | 4603k| 41.8 |9792k| 50 | - | 231 |9529 | 231 |2573 | 25 | 46k|5777 | 0.000000e+00 | -- | Inf 1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.07/1800.62 c 1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.63 c Solving Time (sec) : 1752.58 1800.07/1800.63 c Solving Nodes : 113494 1800.07/1800.63 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.63 c Dual Bound : +0.00000000000000e+00 1800.07/1800.63 c Gap : infinite 1800.07/1800.63 s UNKNOWN 1800.07/1800.63 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.63 c Solving Time : 1752.58 1800.07/1800.63 c Original Problem : 1800.07/1800.63 c Problem name : HOME/instance-2665831-1276291124.opb 1800.07/1800.63 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.63 c Constraints : 2707 initial, 2707 maximal 1800.07/1800.63 c Presolved Problem : 1800.07/1800.63 c Problem name : t_HOME/instance-2665831-1276291124.opb 1800.07/1800.63 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.63 c Constraints : 2564 initial, 10800 maximal 1800.07/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.63 c linear : 0.02 0 0 0 0 0 143 0 0 1800.07/1800.63 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.07/1800.63 c root node : - 0 - - 0 - - - - 1800.07/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.63 c integral : 0 0 0 58497 0 222 1998 0 0 114136 1800.07/1800.63 c knapsack : 1 5 350069 0 0 663 135184 0 0 0 1800.07/1800.63 c setppc : 22 5 349628 0 0 1656 563812 0 0 0 1800.07/1800.63 c linear : 0+ 5 190665 0 0 7 2570 3 0 0 1800.07/1800.63 c logicor : 2541+ 5 202421 0 0 575 715506 0 0 0 1800.07/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.63 c integral : 143.85 0.00 0.00 143.85 0.00 1800.07/1800.63 c knapsack : 3.13 0.00 3.13 0.00 0.00 1800.07/1800.63 c setppc : 6.48 0.00 6.48 0.00 0.00 1800.07/1800.63 c linear : 1.35 0.01 1.34 0.00 0.00 1800.07/1800.63 c logicor : 29.88 0.00 29.88 0.00 0.00 1800.07/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.63 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.63 c vbounds : 0.37 1 0 0 1800.07/1800.63 c rootredcost : 0.23 0 0 0 1800.07/1800.63 c pseudoobj : 0.15 0 0 0 1800.07/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.63 c propagation : 0.33 2901 2882 15848 23.0 28 21.1 - 1800.07/1800.63 c infeasible LP : 21.57 53775 38305 231719 36.2 128 16.5 0 1800.07/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.63 c applied globally : - - - 45534 19.8 - - - 1800.07/1800.63 c applied locally : - - - 2322 33.4 - - - 1800.07/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.63 c cut pool : 0.01 4 - - 5 - (maximal pool size: 459) 1800.07/1800.63 c redcost : 0.74 57368 0 0 0 0 1800.07/1800.63 c impliedbounds : 0.00 5 0 0 0 0 1800.07/1800.63 c intobj : 0.00 0 0 0 0 0 1800.07/1800.63 c cgmip : 0.00 0 0 0 0 0 1800.07/1800.63 c gomory : 0.87 5 0 0 892 0 1800.07/1800.63 c strongcg : 0.74 5 0 0 2003 0 1800.07/1800.63 c cmir : 0.00 0 0 0 0 0 1800.07/1800.63 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.63 c clique : 0.00 5 0 0 0 0 1800.07/1800.63 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.63 c mcf : 0.00 1 0 0 0 0 1800.07/1800.63 c rapidlearning : 0.20 1 0 0 0 180 1800.07/1800.63 c Pricers : Time Calls Vars 1800.07/1800.63 c problem variables: 0.00 0 0 1800.07/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.63 c relpscost : 143.69 58497 222 1998 0 0 114136 1800.07/1800.63 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.63 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.63 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.63 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.63 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.63 c random : 0.00 0 0 0 0 0 0 1800.07/1800.63 c Primal Heuristics : Time Calls Found 1800.07/1800.63 c LP solutions : 0.00 - 0 1800.07/1800.63 c pseudo solutions : 0.00 - 0 1800.07/1800.63 c trivial : 0.00 1 0 1800.07/1800.63 c simplerounding : 0.00 0 0 1800.07/1800.63 c zirounding : 0.00 0 0 1800.07/1800.63 c rounding : 0.00 0 0 1800.07/1800.63 c shifting : 0.00 0 0 1800.07/1800.63 c intshifting : 0.00 0 0 1800.07/1800.63 c oneopt : 0.00 0 0 1800.07/1800.63 c twoopt : 0.00 0 0 1800.07/1800.63 c fixandinfer : 0.00 0 0 1800.07/1800.63 c feaspump : 0.00 0 0 1800.07/1800.63 c coefdiving : 0.00 0 0 1800.07/1800.63 c pscostdiving : 0.00 0 0 1800.07/1800.63 c fracdiving : 0.00 0 0 1800.07/1800.63 c veclendiving : 0.00 0 0 1800.07/1800.63 c intdiving : 0.00 0 0 1800.07/1800.63 c actconsdiving : 0.00 0 0 1800.07/1800.63 c objpscostdiving : 0.00 0 0 1800.07/1800.63 c rootsoldiving : 0.00 0 0 1800.07/1800.63 c linesearchdiving : 0.00 0 0 1800.07/1800.63 c guideddiving : 0.00 0 0 1800.07/1800.63 c octane : 0.00 0 0 1800.07/1800.63 c rens : 0.00 0 0 1800.07/1800.63 c rins : 0.00 0 0 1800.07/1800.63 c localbranching : 0.00 0 0 1800.07/1800.63 c mutation : 0.00 0 0 1800.07/1800.63 c crossover : 0.00 0 0 1800.07/1800.63 c dins : 0.00 0 0 1800.07/1800.63 c undercover : 0.00 0 0 1800.07/1800.63 c nlp : 0.00 0 0 1800.07/1800.63 c trysol : 0.00 0 0 1800.07/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.63 c primal LP : 0.01 0 0 0.00 0.00 1800.07/1800.63 c dual LP : 1464.40 112131 4766606 42.51 3254.99 1800.07/1800.63 c lex dual LP : 0.00 0 0 0.00 - 1800.07/1800.63 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.63 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.63 c strong branching : 141.05 5953 503779 84.63 3571.63 1800.07/1800.63 c (at root node) : - 11 6703 609.36 - 1800.07/1800.63 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.63 c B&B Tree : 1800.07/1800.63 c number of runs : 1 1800.07/1800.63 c nodes : 113494 1800.07/1800.63 c nodes (total) : 113494 1800.07/1800.63 c nodes left : 169 1800.07/1800.63 c max depth : 51 1800.07/1800.63 c max depth (total): 51 1800.07/1800.63 c backtracks : 13719 (12.1%) 1800.07/1800.63 c delayed cutoffs : 474 1800.07/1800.63 c repropagations : 108448 (157540 domain reductions, 472 cutoffs) 1800.07/1800.63 c avg switch length: 3.86 1800.07/1800.63 c switching time : 33.44 1800.07/1800.63 c Solution : 1800.07/1800.63 c Solutions found : 0 (0 improvements) 1800.07/1800.63 c Primal Bound : - 1800.07/1800.63 c Dual Bound : +0.00000000000000e+00 1800.07/1800.63 c Gap : infinite 1800.07/1800.63 c Root Dual Bound : +0.00000000000000e+00 1800.07/1800.63 c Root Iterations : 1071 1800.07/1800.66 c Time complete: 1800.13.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665831-1276291124/watcher-2665831-1276291124 -o /tmp/evaluation-result-2665831-1276291124/solver-2665831-1276291124 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665831-1276291124.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.02 1.28 3/106 5137 /proc/meminfo: memFree=1556940/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=9288 CPUtime=0 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 1183 0 0 0 0 0 0 0 18 0 1 0 2767824 9510912 1103 1992294400 4194304 9819077 140733409817936 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5137/statm: 2322 1112 371 1374 0 943 0 [startup+0.0417331 s] /proc/loadavg: 1.00 1.02 1.28 3/106 5137 /proc/meminfo: memFree=1556940/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=11632 CPUtime=0.03 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 1844 0 0 0 3 0 0 0 20 0 1 0 2767824 11911168 1764 1992294400 4194304 9819077 140733409817936 18446744073709551615 6181120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5137/statm: 2908 1764 386 1374 0 1529 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11632 [startup+0.100738 s] /proc/loadavg: 1.00 1.02 1.28 3/106 5137 /proc/meminfo: memFree=1556940/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=17344 CPUtime=0.09 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 3713 0 0 0 8 1 0 0 20 0 1 0 2767824 17760256 3022 1992294400 4194304 9819077 140733409817936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 4336 3022 489 1374 0 2957 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17344 [startup+0.300753 s] /proc/loadavg: 1.00 1.02 1.28 3/106 5137 /proc/meminfo: memFree=1556940/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=38024 CPUtime=0.29 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 10901 0 0 0 25 4 0 0 20 0 1 0 2767824 38936576 7590 1992294400 4194304 9819077 140733409817936 18446744073709551615 4333573 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9506 7590 670 1374 0 8127 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38024 [startup+0.700784 s] /proc/loadavg: 1.00 1.02 1.28 3/106 5137 /proc/meminfo: memFree=1556940/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=28764 CPUtime=0.69 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 13178 0 0 0 62 7 0 0 20 0 1 0 2767824 29454336 6127 1992294400 4194304 9819077 140733409817936 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 7191 6127 692 1374 0 5812 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28764 [startup+1.50085 s] /proc/loadavg: 1.00 1.02 1.28 2/107 5138 /proc/meminfo: memFree=1534364/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=30960 CPUtime=1.49 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 13664 0 0 0 142 7 0 0 23 0 1 0 2767824 31703040 6600 1992294400 4194304 9819077 140733409817936 18446744073709551615 7311860 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 7740 6600 692 1374 0 6361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30960 [startup+3.10097 s] /proc/loadavg: 1.00 1.02 1.28 2/107 5138 /proc/meminfo: memFree=1532380/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=35968 CPUtime=3.09 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 14840 0 0 0 300 9 0 0 25 0 1 0 2767824 36831232 6949 1992294400 4194304 9819077 140733409817936 18446744073709551615 7296202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8992 6949 698 1374 0 7613 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35968 [startup+6.30122 s] /proc/loadavg: 1.00 1.02 1.28 2/107 5138 /proc/meminfo: memFree=1531140/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=32232 CPUtime=6.29 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 17762 0 0 0 618 11 0 0 25 0 1 0 2767824 33005568 6881 1992294400 4194304 9819077 140733409817936 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8058 6881 705 1374 0 6679 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32232 [startup+12.7007 s] /proc/loadavg: 1.00 1.02 1.27 2/107 5138 /proc/meminfo: memFree=1531140/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=35528 CPUtime=12.69 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 26370 0 0 0 1250 19 0 0 25 0 1 0 2767824 36380672 6947 1992294400 4194304 9819077 140733409817936 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8882 6947 721 1374 0 7503 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35528 [startup+25.5007 s] /proc/loadavg: 1.00 1.02 1.27 2/107 5138 /proc/meminfo: memFree=1531140/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=34988 CPUtime=25.49 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 42309 0 0 0 2517 32 0 0 25 0 1 0 2767824 35827712 6931 1992294400 4194304 9819077 140733409817936 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8747 6931 722 1374 0 7368 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34988 [startup+51.1007 s] /proc/loadavg: 1.00 1.01 1.26 2/107 5138 /proc/meminfo: memFree=1531140/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=32824 CPUtime=51.06 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 74781 0 0 0 5037 69 0 0 25 0 1 0 2767824 33611776 6970 1992294400 4194304 9819077 140733409817936 18446744073709551615 7291639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8206 6970 722 1374 0 6827 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 32824 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.25 2/107 5140 /proc/meminfo: memFree=1530768/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=33144 CPUtime=102.26 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 161324 0 0 0 10070 156 0 0 25 0 1 0 2767824 33939456 6971 1992294400 4194304 9819077 140733409817936 18446744073709551615 6519583 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8286 6971 722 1374 0 6907 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33144 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.23 2/107 5142 /proc/meminfo: memFree=1530768/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=32648 CPUtime=162.23 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 288954 0 0 0 15949 274 0 0 25 0 1 0 2767824 33431552 6967 1992294400 4194304 9819077 140733409817936 18446744073709551615 7263393 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8162 6967 722 1374 0 6783 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32648 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.21 2/107 5144 /proc/meminfo: memFree=1530024/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=34356 CPUtime=222.21 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 451829 0 0 0 21815 406 0 0 25 0 1 0 2767824 35180544 7114 1992294400 4194304 9819077 140733409817936 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8589 7114 722 1374 0 7210 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 34356 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.19 2/107 5144 /proc/meminfo: memFree=1530024/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=34372 CPUtime=282.2 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 649516 0 0 0 27674 546 0 0 25 0 1 0 2767824 35196928 7121 1992294400 4194304 9819077 140733409817936 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8593 7121 722 1374 0 7214 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34372 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.18 2/107 5146 /proc/meminfo: memFree=1530024/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=34732 CPUtime=342.19 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 866295 0 0 0 33531 688 0 0 25 0 1 0 2767824 35565568 7137 1992294400 4194304 9819077 140733409817936 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8683 7137 722 1374 0 7304 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34732 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 5148 /proc/meminfo: memFree=1529900/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=34940 CPUtime=402.17 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 1096686 0 0 0 39380 837 0 0 25 0 1 0 2767824 35778560 7120 1992294400 4194304 9819077 140733409817936 18446744073709551615 6364842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8735 7120 722 1374 0 7356 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34940 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.15 2/107 5150 /proc/meminfo: memFree=1529900/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=34880 CPUtime=462.15 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 1340543 0 0 0 45223 992 0 0 25 0 1 0 2767824 35717120 7129 1992294400 4194304 9819077 140733409817936 18446744073709551615 6454807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8381 7108 722 1374 0 7002 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 34880 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.14 2/107 5152 /proc/meminfo: memFree=1529776/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=34568 CPUtime=522.14 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 1617310 0 0 0 51059 1155 0 0 25 0 1 0 2767824 35397632 7132 1992294400 4194304 9819077 140733409817936 18446744073709551615 7235176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8728 7132 722 1374 0 7349 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 34568 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 5152 /proc/meminfo: memFree=1529776/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=35060 CPUtime=582.11 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 1895686 0 0 0 56885 1326 0 0 25 0 1 0 2767824 35901440 7138 1992294400 4194304 9819077 140733409817936 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8765 7138 722 1374 0 7386 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 35060 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.12 2/107 5154 /proc/meminfo: memFree=1529652/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=35324 CPUtime=642.11 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 2167622 0 0 0 62724 1487 0 0 25 0 1 0 2767824 36171776 7165 1992294400 4194304 9819077 140733409817936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8831 7165 722 1374 0 7452 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 35324 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 5160 /proc/meminfo: memFree=1529528/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=35492 CPUtime=822.05 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 3035754 0 0 0 80199 2006 0 0 25 0 1 0 2767824 36343808 7175 1992294400 4194304 9819077 140733409817936 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8873 7175 722 1374 0 7494 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 35492 [startup+882.3 s] /proc/loadavg: 1.06 1.02 1.09 2/107 5160 /proc/meminfo: memFree=1529404/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=35320 CPUtime=882.04 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 3319786 0 0 0 86032 2172 0 0 25 0 1 0 2767824 36167680 7177 1992294400 4194304 9819077 140733409817936 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8830 7177 722 1374 0 7451 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 35320 [startup+942.301 s] /proc/loadavg: 1.12 1.04 1.09 2/107 5162 /proc/meminfo: memFree=1529156/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=35516 CPUtime=942.02 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 3620799 0 0 0 91855 2347 0 0 25 0 1 0 2767824 36368384 7206 1992294400 4194304 9819077 140733409817936 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 8879 7206 722 1374 0 7500 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 35516 [startup+1002.3 s] /proc/loadavg: 1.09 1.04 1.09 2/107 5164 /proc/meminfo: memFree=1528164/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=38776 CPUtime=1002.01 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 3910115 0 0 0 97686 2515 0 0 25 0 1 0 2767824 39706624 7498 1992294400 4194304 9819077 140733409817936 18446744073709551615 6209891 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9694 7505 722 1374 0 8315 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 38776 [startup+1062.3 s] /proc/loadavg: 1.08 1.05 1.09 2/107 5166 /proc/meminfo: memFree=1527668/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=36872 CPUtime=1061.99 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 4194814 0 0 0 103512 2687 0 0 25 0 1 0 2767824 37756928 7556 1992294400 4194304 9819077 140733409817936 18446744073709551615 7304794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9218 7556 722 1374 0 7839 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 36872 [startup+1122.3 s] /proc/loadavg: 1.03 1.04 1.08 2/107 5168 /proc/meminfo: memFree=1527668/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=40092 CPUtime=1121.97 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 4473841 0 0 0 109339 2858 0 0 25 0 1 0 2767824 41054208 7617 1992294400 4194304 9819077 140733409817936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 10023 7617 722 1374 0 8644 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 40092 [startup+1182.3 s] /proc/loadavg: 1.01 1.03 1.08 2/107 5171 /proc/meminfo: memFree=1526676/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=37136 CPUtime=1181.95 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 4755370 0 0 0 115165 3030 0 0 25 0 1 0 2767824 38027264 7643 1992294400 4194304 9819077 140733409817936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9284 7643 722 1374 0 7905 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 37136 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.07 2/107 5173 /proc/meminfo: memFree=1526552/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=37216 CPUtime=1241.93 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 5052388 0 0 0 120988 3205 0 0 25 0 1 0 2767824 38109184 7642 1992294400 4194304 9819077 140733409817936 18446744073709551615 7317620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9304 7642 722 1374 0 7925 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 37216 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.06 2/107 5175 /proc/meminfo: memFree=1526056/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=37824 CPUtime=1301.93 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 5329843 0 0 0 126819 3374 0 0 25 0 1 0 2767824 38731776 7789 1992294400 4194304 9819077 140733409817936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9456 7789 722 1374 0 8077 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 37824 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.06 2/107 5177 /proc/meminfo: memFree=1526180/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=37784 CPUtime=1361.9 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 5614378 0 0 0 132649 3541 0 0 25 0 1 0 2767824 38690816 7784 1992294400 4194304 9819077 140733409817936 18446744073709551615 7317736 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9446 7784 722 1374 0 8067 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 37784 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.05 2/107 5179 /proc/meminfo: memFree=1526180/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=37820 CPUtime=1421.89 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 5903807 0 0 0 138475 3714 0 0 25 0 1 0 2767824 38727680 7776 1992294400 4194304 9819077 140733409817936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9455 7776 722 1374 0 8076 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 37820 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 5179 /proc/meminfo: memFree=1526180/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=40852 CPUtime=1481.86 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 6197635 0 0 0 144298 3888 0 0 25 0 1 0 2767824 41832448 7824 1992294400 4194304 9819077 140733409817936 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 10213 7824 722 1374 0 8834 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 40852 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 5181 /proc/meminfo: memFree=1526304/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=38024 CPUtime=1541.84 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 6486651 0 0 0 150122 4062 0 0 25 0 1 0 2767824 38936576 7830 1992294400 4194304 9819077 140733409817936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9506 7830 722 1374 0 8127 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 38024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 5183 /proc/meminfo: memFree=1525932/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=38120 CPUtime=1601.83 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 6759646 0 0 0 155962 4221 0 0 25 0 1 0 2767824 39034880 7841 1992294400 4194304 9819077 140733409817936 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9530 7841 722 1374 0 8151 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 38120 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 5185 /proc/meminfo: memFree=1525312/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=38548 CPUtime=1661.81 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 7026144 0 0 0 161803 4378 0 0 25 0 1 0 2767824 39473152 8005 1992294400 4194304 9819077 140733409817936 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9637 8005 722 1374 0 8258 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 38548 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 5187 /proc/meminfo: memFree=1525188/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=38684 CPUtime=1721.78 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 7303301 0 0 0 167638 4540 0 0 25 0 1 0 2767824 39612416 7999 1992294400 4194304 9819077 140733409817936 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9671 7999 722 1374 0 8292 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 38684 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 5187 /proc/meminfo: memFree=1525064/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=37844 CPUtime=1781.77 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 7575922 0 0 0 173481 4696 0 0 25 0 1 0 2767824 38752256 7982 1992294400 4194304 9819077 140733409817936 18446744073709551615 7263146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9461 7982 722 1374 0 8082 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 37844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.02 2/107 5189 /proc/meminfo: memFree=1525064/2059040 swapFree=4192956/4192956 [pid=5137] ppid=5135 vsize=38744 CPUtime=1800.07 /proc/5137/stat : 5137 (pbscip.linux.x8) R 5135 5137 5046 0 -1 4202496 7657160 0 0 0 175261 4746 0 0 25 0 1 0 2767824 39673856 8035 1992294400 4194304 9819077 140733409817936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5137/statm: 9686 8035 722 1374 0 8307 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 38744 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.66 CPU time (s): 1800.14 CPU user time (s): 1752.66 CPU system time (s): 47.4738 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 41824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1752.66 system time used= 47.4738 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7657255 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 6568 runsolver used 2.99154 second user time and 8.49171 second system time The end
Begin job on node026 at 2010-06-11 23:18:44 IDJOB=2665831 IDBENCH=1300 IDSOLVER=1168 FILE ID=node026/2665831-1276291124 PBS_JOBID= 11173112 Free space on /tmp= 62508 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.1900583053.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-2665831-1276291124/watcher-2665831-1276291124 -o /tmp/evaluation-result-2665831-1276291124/solver-2665831-1276291124 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665831-1276291124.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f6db72fa29ffa9d071020a030f71e7d0 RANDOM SEED=565780697 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1557344 kB Buffers: 61216 kB Cached: 313964 kB SwapCached: 0 kB Active: 175684 kB Inactive: 258604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1557344 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6340 kB Writeback: 0 kB AnonPages: 59076 kB Mapped: 15376 kB Slab: 45576 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181264 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= 62504 MiB End job on node026 at 2010-06-11 23:48:47