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 | 1299.99 | 1300.5 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb |
MD5SUM | 3972d8c24730f4742ee881de3ad25c62 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 31.7442 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 707 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2665878-1276308882.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.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.07 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 59 | - |3551k| 0 | 35 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 106 | - |4077k| 0 | 59 | 231 |2727 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.85 c 0.7s| 1 | 0 | 239 | - |4650k| 0 | 71 | 231 |2727 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.30 c 1.2s| 1 | 0 | 277 | - |4694k| 0 | 77 | 231 |2727 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.79 c 1.6s| 1 | 0 | 346 | - |4701k| 0 | 76 | 231 |2727 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 2.29/2.30 c 2.2s| 1 | 0 | 491 | - |4710k| 0 | 83 | 231 |2727 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 4.78/4.88 c 4.7s| 1 | 2 | 491 | - |4710k| 0 | 83 | 231 |2727 | 231 |2585 | 21 | 0 | 10 | 0.000000e+00 | -- | Inf 212.11/212.22 c 208s| 10000 | 68 |442963 | 44.3 |6205k| 40 | - | 231 |5317 | 231 |2574 | 21 |4272 |1657 | 0.000000e+00 | -- | Inf 379.03/379.20 c 371s| 20000 | 63 |896497 | 44.8 |6784k| 42 | - | 231 |6442 | 231 |2574 | 21 |8944 |2084 | 0.000000e+00 | -- | Inf 565.77/566.06 c 552s| 30000 | 132 | 1400k| 46.7 |7937k| 45 | 34 | 231 |8813 | 231 |2574 | 21 | 13k|2802 | 0.000000e+00 | -- | Inf 751.59/751.95 c 733s| 40000 | 99 | 1910k| 47.7 |7321k| 50 | - | 231 |6978 | 231 |2574 | 21 | 18k|3305 | 0.000000e+00 | -- | Inf 939.72/940.12 c 916s| 50000 | 74 | 2428k| 48.6 |7259k| 50 | 40 | 231 |6829 | 231 |2574 | 21 | 23k|3920 | 0.000000e+00 | -- | Inf 1119.36/1119.88 c 1091s| 60000 | 35 | 2925k| 48.8 |7608k| 50 | - | 231 |8044 | 231 |2574 | 21 | 28k|4365 | 0.000000e+00 | -- | Inf 1299.87/1300.47 c 1299.87/1300.47 c SCIP Status : problem is solved [infeasible] 1299.87/1300.47 c Solving Time (sec) : 1266.82 1299.87/1300.47 c Solving Nodes : 69869 1299.87/1300.47 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1299.87/1300.47 c Dual Bound : +1.00000000000000e+20 1299.87/1300.47 c Gap : 0.00 % 1299.87/1300.47 s UNSATISFIABLE 1299.87/1300.47 c SCIP Status : problem is solved [infeasible] 1299.87/1300.47 c Solving Time : 1266.82 1299.87/1300.47 c Original Problem : 1299.87/1300.47 c Problem name : HOME/instance-2665878-1276308882.opb 1299.87/1300.47 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1299.87/1300.47 c Constraints : 2707 initial, 2707 maximal 1299.87/1300.47 c Presolved Problem : 1299.87/1300.47 c Problem name : t_HOME/instance-2665878-1276308882.opb 1299.87/1300.47 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1299.87/1300.47 c Constraints : 2564 initial, 9765 maximal 1299.87/1300.47 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1299.87/1300.47 c trivial : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c dualfix : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c boundshift : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c implics : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c probing : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c knapsack : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c setppc : 0.00 0 0 0 0 0 0 0 0 1299.87/1300.47 c linear : 0.03 0 0 0 0 0 143 0 0 1299.87/1300.47 c logicor : 0.02 0 0 0 0 0 0 0 0 1299.87/1300.47 c root node : - 1 - - 1 - - - - 1299.87/1300.47 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1299.87/1300.47 c integral : 0 0 0 36158 0 136 1595 0 0 70218 1299.87/1300.47 c knapsack : 1 5 222985 0 0 378 112572 0 0 0 1299.87/1300.47 c setppc : 22 5 222769 0 0 1293 373600 0 0 0 1299.87/1300.47 c linear : 0+ 5 158164 0 0 12 4119 3 0 0 1299.87/1300.47 c logicor : 2541+ 5 126597 0 0 362 425914 0 0 0 1299.87/1300.47 c countsols : 0 0 0 0 0 0 0 0 0 0 1299.87/1300.47 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1299.87/1300.47 c integral : 132.69 0.00 0.00 132.69 0.00 1299.87/1300.47 c knapsack : 1.87 0.00 1.87 0.00 0.00 1299.87/1300.47 c setppc : 3.64 0.00 3.64 0.00 0.00 1299.87/1300.47 c linear : 0.95 0.01 0.94 0.00 0.00 1299.87/1300.47 c logicor : 17.57 0.00 17.57 0.00 0.00 1299.87/1300.47 c countsols : 0.00 0.00 0.00 0.00 0.00 1299.87/1300.47 c Propagators : Time Calls Cutoffs DomReds 1299.87/1300.47 c vbounds : 0.16 1 0 0 1299.87/1300.47 c rootredcost : 0.11 0 0 0 1299.87/1300.47 c pseudoobj : 0.10 0 0 0 1299.87/1300.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1299.87/1300.47 c propagation : 0.17 2045 2027 10163 20.5 26 17.3 - 1299.87/1300.47 c infeasible LP : 13.07 32925 24244 138026 34.4 132 15.8 0 1299.87/1300.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1299.87/1300.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1299.87/1300.47 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1299.87/1300.47 c applied globally : - - - 32021 19.1 - - - 1299.87/1300.47 c applied locally : - - - 1042 33.3 - - - 1299.87/1300.47 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1299.87/1300.47 c cut pool : 0.00 4 - - 17 - (maximal pool size: 320) 1299.87/1300.47 c redcost : 0.42 35311 0 0 0 0 1299.87/1300.47 c impliedbounds : 0.00 5 0 0 0 0 1299.87/1300.47 c intobj : 0.00 0 0 0 0 0 1299.87/1300.47 c cgmip : 0.00 0 0 0 0 0 1299.87/1300.47 c gomory : 0.96 5 0 0 661 0 1299.87/1300.47 c strongcg : 0.70 5 0 0 1019 0 1299.87/1300.47 c cmir : 0.00 0 0 0 0 0 1299.87/1300.47 c flowcover : 0.00 0 0 0 0 0 1299.87/1300.47 c clique : 0.00 5 0 0 0 0 1299.87/1300.47 c zerohalf : 0.00 0 0 0 0 0 1299.87/1300.47 c mcf : 0.00 1 0 0 0 0 1299.87/1300.47 c rapidlearning : 0.21 1 0 0 0 163 1299.87/1300.47 c Pricers : Time Calls Vars 1299.87/1300.47 c problem variables: 0.00 0 0 1299.87/1300.47 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1299.87/1300.47 c relpscost : 132.56 36158 136 1595 0 0 70218 1299.87/1300.47 c pscost : 0.00 0 0 0 0 0 0 1299.87/1300.47 c inference : 0.00 0 0 0 0 0 0 1299.87/1300.47 c mostinf : 0.00 0 0 0 0 0 0 1299.87/1300.47 c leastinf : 0.00 0 0 0 0 0 0 1299.87/1300.47 c fullstrong : 0.00 0 0 0 0 0 0 1299.87/1300.47 c allfullstrong : 0.00 0 0 0 0 0 0 1299.87/1300.47 c random : 0.00 0 0 0 0 0 0 1299.87/1300.47 c Primal Heuristics : Time Calls Found 1299.87/1300.47 c LP solutions : 0.00 - 0 1299.87/1300.47 c pseudo solutions : 0.00 - 0 1299.87/1300.47 c trivial : 0.00 1 0 1299.87/1300.47 c simplerounding : 0.00 0 0 1299.87/1300.47 c zirounding : 0.00 0 0 1299.87/1300.47 c rounding : 0.00 0 0 1299.87/1300.47 c shifting : 0.00 0 0 1299.87/1300.47 c intshifting : 0.00 0 0 1299.87/1300.47 c oneopt : 0.00 0 0 1299.87/1300.47 c twoopt : 0.00 0 0 1299.87/1300.47 c fixandinfer : 0.00 0 0 1299.87/1300.47 c feaspump : 0.00 0 0 1299.87/1300.47 c coefdiving : 0.00 0 0 1299.87/1300.47 c pscostdiving : 0.00 0 0 1299.87/1300.47 c fracdiving : 0.00 0 0 1299.87/1300.47 c veclendiving : 0.00 0 0 1299.87/1300.47 c intdiving : 0.00 0 0 1299.87/1300.47 c actconsdiving : 0.00 0 0 1299.87/1300.47 c objpscostdiving : 0.00 0 0 1299.87/1300.47 c rootsoldiving : 0.00 0 0 1299.87/1300.47 c linesearchdiving : 0.00 0 0 1299.87/1300.47 c guideddiving : 0.00 0 0 1299.87/1300.47 c octane : 0.00 0 0 1299.87/1300.47 c rens : 0.00 0 0 1299.87/1300.47 c rins : 0.00 0 0 1299.87/1300.47 c localbranching : 0.00 0 0 1299.87/1300.47 c mutation : 0.00 0 0 1299.87/1300.47 c crossover : 0.00 0 0 1299.87/1300.47 c dins : 0.00 0 0 1299.87/1300.47 c undercover : 0.00 0 0 1299.87/1300.47 c nlp : 0.00 0 0 1299.87/1300.47 c trysol : 0.00 0 0 1299.87/1300.47 c LP : Time Calls Iterations Iter/call Iter/sec 1299.87/1300.47 c primal LP : 0.00 0 0 0.00 - 1299.87/1300.47 c dual LP : 1048.84 69015 3434705 49.77 3274.77 1299.87/1300.47 c lex dual LP : 0.00 0 0 0.00 - 1299.87/1300.47 c barrier LP : 0.00 0 0 0.00 - 1299.87/1300.47 c diving/probing LP: 0.00 0 0 0.00 - 1299.87/1300.47 c strong branching : 130.93 4719 457625 96.97 3495.19 1299.87/1300.47 c (at root node) : - 10 6058 605.80 - 1299.87/1300.47 c conflict analysis: 0.00 0 0 0.00 - 1299.87/1300.47 c B&B Tree : 1299.87/1300.47 c number of runs : 1 1299.87/1300.47 c nodes : 69869 1299.87/1300.47 c nodes (total) : 69869 1299.87/1300.47 c nodes left : 0 1299.87/1300.47 c max depth : 50 1299.87/1300.47 c max depth (total): 50 1299.87/1300.47 c backtracks : 8151 (11.7%) 1299.87/1300.47 c delayed cutoffs : 350 1299.87/1300.47 c repropagations : 71947 (110986 domain reductions, 346 cutoffs) 1299.87/1300.47 c avg switch length: 4.09 1299.87/1300.47 c switching time : 18.59 1299.87/1300.47 c Solution : 1299.87/1300.47 c Solutions found : 0 (0 improvements) 1299.87/1300.47 c Primal Bound : infeasible 1299.87/1300.47 c Dual Bound : - 1299.87/1300.47 c Gap : 0.00 % 1299.87/1300.47 c Root Dual Bound : +0.00000000000000e+00 1299.87/1300.47 c Root Iterations : 491 1299.98/1300.50 c Time complete: 1299.98.
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-2665878-1276308882/watcher-2665878-1276308882 -o /tmp/evaluation-result-2665878-1276308882/solver-2665878-1276308882 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665878-1276308882.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: 3.20 2.92 2.21 3/106 8432 /proc/meminfo: memFree=1681160/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=9288 CPUtime=0 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 1186 0 0 0 0 0 0 0 17 0 1 0 4544540 9510912 1108 1992294400 4194304 9819077 140734809223408 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8432/statm: 2322 1117 371 1374 0 943 0 [startup+0.0409021 s] /proc/loadavg: 3.20 2.92 2.21 3/106 8432 /proc/meminfo: memFree=1681160/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=11628 CPUtime=0.03 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 1850 0 0 0 3 0 0 0 17 0 1 0 4544540 11907072 1771 1992294400 4194304 9819077 140734809223408 18446744073709551615 6180902 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8432/statm: 2907 1771 386 1374 0 1528 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11628 [startup+0.100914 s] /proc/loadavg: 3.20 2.92 2.21 3/106 8432 /proc/meminfo: memFree=1681160/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=17476 CPUtime=0.09 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 3749 0 0 0 8 1 0 0 17 0 1 0 4544540 17895424 3059 1992294400 4194304 9819077 140734809223408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 4369 3059 489 1374 0 2990 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17476 [startup+0.30095 s] /proc/loadavg: 3.20 2.92 2.21 3/106 8432 /proc/meminfo: memFree=1681160/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35464 CPUtime=0.29 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 10499 0 0 0 25 4 0 0 17 0 1 0 4544540 36315136 7193 1992294400 4194304 9819077 140734809223408 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8866 7193 670 1374 0 7487 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35464 [startup+0.701026 s] /proc/loadavg: 3.20 2.92 2.21 3/106 8432 /proc/meminfo: memFree=1681160/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=29484 CPUtime=0.69 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 13340 0 0 0 62 7 0 0 17 0 1 0 4544540 30191616 6293 1992294400 4194304 9819077 140734809223408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 7371 6293 692 1374 0 5992 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29484 [startup+1.50117 s] /proc/loadavg: 3.20 2.92 2.21 2/107 8433 /proc/meminfo: memFree=1657964/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=29988 CPUtime=1.49 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 13414 0 0 0 141 8 0 0 18 0 1 0 4544540 30707712 6358 1992294400 4194304 9819077 140734809223408 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 7497 6358 694 1374 0 6118 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29988 [startup+3.10047 s] /proc/loadavg: 3.20 2.92 2.21 2/107 8433 /proc/meminfo: memFree=1657716/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=33244 CPUtime=3.09 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 14596 0 0 0 300 9 0 0 21 0 1 0 4544540 34041856 6406 1992294400 4194304 9819077 140734809223408 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8311 6406 700 1374 0 6932 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33244 [startup+6.30107 s] /proc/loadavg: 3.03 2.89 2.20 2/107 8433 /proc/meminfo: memFree=1657096/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=32780 CPUtime=6.28 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 17844 0 0 0 617 11 0 0 25 0 1 0 4544540 33566720 6424 1992294400 4194304 9819077 140734809223408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8195 6424 707 1374 0 6816 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32780 [startup+12.7013 s] /proc/loadavg: 2.86 2.86 2.20 2/107 8433 /proc/meminfo: memFree=1657104/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=33128 CPUtime=12.69 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 25717 0 0 0 1251 18 0 0 25 0 1 0 4544540 33923072 6428 1992294400 4194304 9819077 140734809223408 18446744073709551615 7289463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8282 6428 720 1374 0 6903 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33128 [startup+25.5006 s] /proc/loadavg: 2.45 2.77 2.18 2/107 8433 /proc/meminfo: memFree=1657104/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=33252 CPUtime=25.48 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 41959 0 0 0 2517 31 0 0 25 0 1 0 4544540 34050048 6422 1992294400 4194304 9819077 140734809223408 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8313 6422 722 1374 0 6934 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33252 [startup+51.1014 s] /proc/loadavg: 1.95 2.62 2.15 2/107 8435 /proc/meminfo: memFree=1657104/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=30992 CPUtime=51.06 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 89188 0 0 0 5032 74 0 0 25 0 1 0 4544540 31735808 6424 1992294400 4194304 9819077 140734809223408 18446744073709551615 7292280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 7748 6424 724 1374 0 6369 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 30992 [startup+102.308 s] /proc/loadavg: 1.41 2.37 2.08 2/107 8437 /proc/meminfo: memFree=1656980/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=31392 CPUtime=102.25 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 212665 0 0 0 10048 177 0 0 25 0 1 0 4544540 32145408 6416 1992294400 4194304 9819077 140734809223408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 7848 6416 724 1374 0 6469 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 31392 [startup+162.301 s] /proc/loadavg: 1.15 2.12 2.01 2/107 8437 /proc/meminfo: memFree=1656856/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=34552 CPUtime=162.22 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 395022 0 0 0 15915 307 0 0 25 0 1 0 4544540 35381248 6656 1992294400 4194304 9819077 140734809223408 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8638 6656 724 1374 0 7259 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 34552 [startup+222.3 s] /proc/loadavg: 1.05 1.91 1.95 2/107 8439 /proc/meminfo: memFree=1656732/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35156 CPUtime=222.19 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 602286 0 0 0 21773 446 0 0 25 0 1 0 4544540 35999744 6543 1992294400 4194304 9819077 140734809223408 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8789 6543 724 1374 0 7410 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 35156 [startup+282.301 s] /proc/loadavg: 1.02 1.74 1.88 2/107 8441 /proc/meminfo: memFree=1656484/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=31616 CPUtime=282.17 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 838850 0 0 0 27618 599 0 0 25 0 1 0 4544540 32374784 6510 1992294400 4194304 9819077 140734809223408 18446744073709551615 7226654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 7904 6510 724 1374 0 6525 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 31616 [startup+342.302 s] /proc/loadavg: 1.00 1.60 1.83 2/107 8443 /proc/meminfo: memFree=1656112/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=33072 CPUtime=342.15 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 1088386 0 0 0 33462 753 0 0 25 0 1 0 4544540 33865728 6656 1992294400 4194304 9819077 140734809223408 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8268 6656 724 1374 0 6889 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 33072 [startup+402.301 s] /proc/loadavg: 1.00 1.49 1.77 2/107 8445 /proc/meminfo: memFree=1655864/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=33296 CPUtime=402.13 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 1353425 0 0 0 39302 911 0 0 25 0 1 0 4544540 34095104 6650 1992294400 4194304 9819077 140734809223408 18446744073709551615 7096962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8324 6650 724 1374 0 6945 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 33296 [startup+462.301 s] /proc/loadavg: 1.00 1.40 1.72 2/107 8445 /proc/meminfo: memFree=1655740/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=33520 CPUtime=462.11 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 1617982 0 0 0 45137 1074 0 0 25 0 1 0 4544540 34324480 6738 1992294400 4194304 9819077 140734809223408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8380 6738 724 1374 0 7001 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 33520 [startup+522.3 s] /proc/loadavg: 1.00 1.32 1.67 2/107 8447 /proc/meminfo: memFree=1654376/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=34704 CPUtime=522.08 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 1889785 0 0 0 50977 1231 0 0 25 0 1 0 4544540 35536896 7006 1992294400 4194304 9819077 140734809223408 18446744073709551615 6372783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8676 7006 724 1374 0 7297 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 34704 [startup+582.301 s] /proc/loadavg: 1.00 1.26 1.63 2/107 8449 /proc/meminfo: memFree=1654376/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=34952 CPUtime=582.06 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 2153730 0 0 0 56812 1394 0 0 25 0 1 0 4544540 35790848 7065 1992294400 4194304 9819077 140734809223408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8738 7065 724 1374 0 7359 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 34952 [startup+642.302 s] /proc/loadavg: 1.00 1.21 1.59 2/107 8451 /proc/meminfo: memFree=1654252/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35064 CPUtime=642.04 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 2420004 0 0 0 62647 1557 0 0 25 0 1 0 4544540 35905536 7099 1992294400 4194304 9819077 140734809223408 18446744073709551615 7317686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8766 7099 724 1374 0 7387 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 35064 [startup+702.301 s] /proc/loadavg: 1.00 1.17 1.54 2/107 8453 /proc/meminfo: memFree=1654128/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35104 CPUtime=702.01 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 2678825 0 0 0 68487 1714 0 0 25 0 1 0 4544540 35946496 7151 1992294400 4194304 9819077 140734809223408 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8776 7151 724 1374 0 7397 0 Current children cumulated CPU time (s) 702.01 Current children cumulated vsize (KiB) 35104 [startup+762.308 s] /proc/loadavg: 1.00 1.14 1.51 2/107 8453 /proc/meminfo: memFree=1654128/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35004 CPUtime=762 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 2940818 0 0 0 74324 1876 0 0 25 0 1 0 4544540 35844096 7089 1992294400 4194304 9819077 140734809223408 18446744073709551615 7486745 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8751 7089 724 1374 0 7372 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 35004 [startup+822.301 s] /proc/loadavg: 1.00 1.11 1.47 2/107 8455 /proc/meminfo: memFree=1654128/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=38044 CPUtime=821.97 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 3211612 0 0 0 80164 2033 0 0 25 0 1 0 4544540 38957056 7137 1992294400 4194304 9819077 140734809223408 18446744073709551615 7292028 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 9511 7137 724 1374 0 8132 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 38044 [startup+882.301 s] /proc/loadavg: 1.00 1.09 1.44 2/107 8457 /proc/meminfo: memFree=1654004/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35132 CPUtime=881.94 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 3487432 0 0 0 85999 2195 0 0 25 0 1 0 4544540 35975168 7091 1992294400 4194304 9819077 140734809223408 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8783 7093 724 1374 0 7404 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 35132 [startup+942.302 s] /proc/loadavg: 1.00 1.07 1.41 2/107 8459 /proc/meminfo: memFree=1654004/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35104 CPUtime=941.92 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 3751238 0 0 0 91837 2355 0 0 25 0 1 0 4544540 35946496 7091 1992294400 4194304 9819077 140734809223408 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8776 7091 724 1374 0 7397 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 35104 [startup+1002.3 s] /proc/loadavg: 1.00 1.05 1.38 2/107 8461 /proc/meminfo: memFree=1653756/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35300 CPUtime=1001.9 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 4017891 0 0 0 97678 2512 0 0 25 0 1 0 4544540 36147200 7179 1992294400 4194304 9819077 140734809223408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8825 7179 724 1374 0 7446 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 35300 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.36 2/107 8461 /proc/meminfo: memFree=1653756/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35272 CPUtime=1061.87 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 4282758 0 0 0 103512 2675 0 0 25 0 1 0 4544540 36118528 7133 1992294400 4194304 9819077 140734809223408 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8818 7137 724 1374 0 7439 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 35272 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.33 2/107 8463 /proc/meminfo: memFree=1653756/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=34404 CPUtime=1121.86 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 4554418 0 0 0 109347 2839 0 0 25 0 1 0 4544540 35229696 7123 1992294400 4194304 9819077 140734809223408 18446744073709551615 7225024 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8601 7123 724 1374 0 7222 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 34404 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.31 2/107 8465 /proc/meminfo: memFree=1653384/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35300 CPUtime=1181.82 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 4802860 0 0 0 115193 2989 0 0 25 0 1 0 4544540 36147200 7175 1992294400 4194304 9819077 140734809223408 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8825 7175 724 1374 0 7446 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 35300 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.29 2/107 8467 /proc/meminfo: memFree=1653384/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35204 CPUtime=1241.79 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5072219 0 0 0 121022 3157 0 0 25 0 1 0 4544540 36048896 7170 1992294400 4194304 9819077 140734809223408 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8801 7171 724 1374 0 7422 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 35204 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 1.00 1.02 1.28 2/107 8467 /proc/meminfo: memFree=1653136/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35328 CPUtime=1253.79 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5127258 0 0 0 122190 3189 0 0 25 0 1 0 4544540 36175872 7182 1992294400 4194304 9819077 140734809223408 18446744073709551615 6391502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8832 7182 724 1374 0 7453 0 Current children cumulated CPU time (s) 1253.79 Current children cumulated vsize (KiB) 35328 [startup+1279.9 s] /proc/loadavg: 1.00 1.01 1.27 2/107 8467 /proc/meminfo: memFree=1652888/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=34716 CPUtime=1279.38 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5235559 0 0 0 124688 3250 0 0 25 0 1 0 4544540 35549184 7213 1992294400 4194304 9819077 140734809223408 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8679 7213 724 1374 0 7300 0 Current children cumulated CPU time (s) 1279.38 Current children cumulated vsize (KiB) 34716 [startup+1292.7 s] /proc/loadavg: 1.00 1.01 1.27 2/107 8467 /proc/meminfo: memFree=1652888/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35576 CPUtime=1292.18 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5298480 0 0 0 125932 3286 0 0 25 0 1 0 4544540 36429824 7218 1992294400 4194304 9819077 140734809223408 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8894 7218 724 1374 0 7515 0 Current children cumulated CPU time (s) 1292.18 Current children cumulated vsize (KiB) 35576 [startup+1295.9 s] /proc/loadavg: 1.00 1.01 1.27 2/107 8467 /proc/meminfo: memFree=1652888/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35684 CPUtime=1295.38 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5313322 0 0 0 126243 3295 0 0 25 0 1 0 4544540 36540416 7252 1992294400 4194304 9819077 140734809223408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8921 7252 724 1374 0 7542 0 Current children cumulated CPU time (s) 1295.38 Current children cumulated vsize (KiB) 35684 [startup+1299.11 s] /proc/loadavg: 1.00 1.01 1.27 2/107 8467 /proc/meminfo: memFree=1652888/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35652 CPUtime=1298.59 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5327257 0 0 0 126555 3304 0 0 25 0 1 0 4544540 36507648 7229 1992294400 4194304 9819077 140734809223408 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8913 7229 724 1374 0 7534 0 Current children cumulated CPU time (s) 1298.59 Current children cumulated vsize (KiB) 35652 [startup+1299.9 s] /proc/loadavg: 1.00 1.01 1.27 2/107 8467 /proc/meminfo: memFree=1652888/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35652 CPUtime=1299.38 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5330865 0 0 0 126631 3307 0 0 25 0 1 0 4544540 36507648 7232 1992294400 4194304 9819077 140734809223408 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8913 7232 724 1374 0 7534 0 Current children cumulated CPU time (s) 1299.38 Current children cumulated vsize (KiB) 35652 [startup+1300.3 s] /proc/loadavg: 1.00 1.01 1.26 2/107 8467 /proc/meminfo: memFree=1652888/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=35620 CPUtime=1299.78 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5332509 0 0 0 126670 3308 0 0 25 0 1 0 4544540 36474880 7250 1992294400 4194304 9819077 140734809223408 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8432/statm: 8905 7250 724 1374 0 7526 0 Current children cumulated CPU time (s) 1299.78 Current children cumulated vsize (KiB) 35620 [startup+1300.5 s] /proc/loadavg: 1.00 1.01 1.26 2/107 8467 /proc/meminfo: memFree=1652888/2059040 swapFree=4192956/4192956 [pid=8432] ppid=8430 vsize=20420 CPUtime=1299.98 /proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 8407 0 -1 4202496 5333290 0 0 0 126689 3309 0 0 25 0 1 0 4544540 20910080 3330 1992294400 4194304 9819077 140734809223408 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8432/statm: 5105 3253 727 1374 0 3726 0 Current children cumulated CPU time (s) 1299.98 Current children cumulated vsize (KiB) 20420 Child status: 0 Real time (s): 1300.5 CPU time (s): 1299.99 CPU user time (s): 1266.9 CPU system time (s): 33.093 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (KiB): 40400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1266.9 system time used= 33.093 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5333294 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= 4 involuntary context switches= 15999 runsolver used 2.12068 second user time and 6.16906 second system time The end
Begin job on node019 at 2010-06-12 04:14:42 IDJOB=2665878 IDBENCH=1351 IDSOLVER=1168 FILE ID=node019/2665878-1276308882 PBS_JOBID= 11173149 Free space on /tmp= 62356 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.1900670167.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-2665878-1276308882/watcher-2665878-1276308882 -o /tmp/evaluation-result-2665878-1276308882/solver-2665878-1276308882 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665878-1276308882.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3972d8c24730f4742ee881de3ad25c62 RANDOM SEED=258149310 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1681688 kB Buffers: 76996 kB Cached: 173352 kB SwapCached: 0 kB Active: 139624 kB Inactive: 169768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1681688 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6420 kB Writeback: 0 kB AnonPages: 59012 kB Mapped: 15312 kB Slab: 46252 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180692 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= 62348 MiB End job on node019 at 2010-06-12 04:36:23