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 | 992.231 | 992.539 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb |
MD5SUM | 6281627dc4c435fe3011d1036bb94900 |
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 | 32.695 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
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-2665560-1276290720.opb> 0.01/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.01/0.06 c problem read 0.01/0.06 c No objective function, only one solution is needed. 0.01/0.06 c presolving settings loaded 0.01/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 | 62 | - |3551k| 0 | 34 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 273 | - |3951k| 0 | 46 | 231 |2773 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.04 c 0.9s| 1 | 0 | 832 | - |4834k| 0 | 55 | 231 |2773 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.37 c 1.2s| 1 | 0 | 1085 | - |5401k| 0 | 73 | 231 |2773 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.90 c 1.8s| 1 | 0 | 1585 | - |5433k| 0 | 67 | 231 |2773 | 231 |2592 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf 2.20/2.22 c 2.1s| 1 | 0 | 1656 | - |5608k| 0 | 51 | 231 |2773 | 231 |2597 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf 4.79/4.84 c 4.7s| 1 | 2 | 1656 | - |5609k| 0 | 51 | 231 |2773 | 231 |2597 | 33 | 0 | 10 | 0.000000e+00 | -- | Inf 153.75/153.87 c 150s| 10000 | 26 |335543 | 33.4 |7036k| 36 | 41 | 231 |5601 | 231 |2575 | 33 |4763 |2184 | 0.000000e+00 | -- | Inf 272.01/272.12 c 264s| 20000 | 16 |664950 | 33.2 |7678k| 41 | - | 231 |7067 | 231 |2575 | 33 |9199 |2590 | 0.000000e+00 | -- | Inf 394.98/395.18 c 383s| 30000 | 10 | 1003k| 33.4 |8269k| 41 | - | 231 |8502 | 231 |2575 | 33 | 13k|3212 | 0.000000e+00 | -- | Inf 520.83/521.02 c 505s| 40000 | 15 | 1345k| 33.6 |9102k| 45 | 34 | 231 | 10k| 231 |2575 | 33 | 18k|3793 | 0.000000e+00 | -- | Inf 645.80/646.02 c 626s| 50000 | 62 | 1693k| 33.8 |9981k| 49 | 29 | 231 | 12k| 231 |2575 | 33 | 23k|4297 | 0.000000e+00 | -- | Inf 773.56/773.89 c 749s| 60000 | 70 | 2049k| 34.1 | 10M| 49 | - | 231 | 13k| 231 |2575 | 33 | 27k|4765 | 0.000000e+00 | -- | Inf 917.51/917.89 c 889s| 70000 | 18 | 2466k| 35.2 |9901k| 49 | - | 231 | 11k| 231 |2575 | 33 | 31k|5150 | 0.000000e+00 | -- | Inf 992.18/992.50 c 992.18/992.50 c SCIP Status : problem is solved [infeasible] 992.18/992.50 c Solving Time (sec) : 961.36 992.18/992.50 c Solving Nodes : 75595 992.18/992.50 c Primal Bound : +1.00000000000000e+20 (0 solutions) 992.18/992.50 c Dual Bound : +1.00000000000000e+20 992.18/992.50 c Gap : 0.00 % 992.18/992.50 s UNSATISFIABLE 992.18/992.50 c SCIP Status : problem is solved [infeasible] 992.18/992.50 c Solving Time : 961.36 992.18/992.50 c Original Problem : 992.18/992.50 c Problem name : HOME/instance-2665560-1276290720.opb 992.18/992.50 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 992.18/992.50 c Constraints : 2707 initial, 2707 maximal 992.18/992.50 c Presolved Problem : 992.18/992.50 c Problem name : t_HOME/instance-2665560-1276290720.opb 992.18/992.50 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 992.18/992.50 c Constraints : 2564 initial, 13882 maximal 992.18/992.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 992.18/992.50 c trivial : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c dualfix : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c boundshift : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c implics : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c probing : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c knapsack : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c setppc : 0.00 0 0 0 0 0 0 0 0 992.18/992.50 c linear : 0.02 0 0 0 0 0 143 0 0 992.18/992.50 c logicor : 0.03 0 0 0 0 0 0 0 0 992.18/992.50 c root node : - 3 - - 3 - - - - 992.18/992.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 992.18/992.50 c integral : 0 0 0 39574 0 296 2066 0 0 75934 992.18/992.50 c knapsack : 1 5 236996 0 0 415 129263 4 0 0 992.18/992.50 c setppc : 22 5 236769 0 0 1429 403149 0 0 0 992.18/992.50 c linear : 0+ 5 206308 0 0 7 2393 23 0 0 992.18/992.50 c logicor : 2541+ 5 137617 0 0 396 467800 0 0 0 992.18/992.50 c countsols : 0 0 0 0 0 0 0 0 0 0 992.18/992.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 992.18/992.50 c integral : 88.78 0.00 0.00 88.78 0.00 992.18/992.50 c knapsack : 2.10 0.00 2.10 0.00 0.00 992.18/992.50 c setppc : 4.42 0.00 4.42 0.00 0.00 992.18/992.50 c linear : 1.45 0.00 1.45 0.00 0.00 992.18/992.50 c logicor : 25.55 0.00 25.55 0.00 0.00 992.18/992.50 c countsols : 0.00 0.00 0.00 0.00 0.00 992.18/992.50 c Propagators : Time Calls Cutoffs DomReds 992.18/992.50 c vbounds : 0.15 1 0 0 992.18/992.50 c rootredcost : 0.16 0 0 0 992.18/992.50 c pseudoobj : 0.16 0 0 0 992.18/992.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 992.18/992.50 c propagation : 0.11 2247 2239 11018 20.1 17 19.3 - 992.18/992.50 c infeasible LP : 13.65 35425 25497 145241 34.8 58 16.2 0 992.18/992.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 992.18/992.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 992.18/992.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 992.18/992.50 c applied globally : - - - 33290 19.1 - - - 992.18/992.50 c applied locally : - - - 907 33.0 - - - 992.18/992.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss 992.18/992.50 c cut pool : 0.00 4 - - 7 - (maximal pool size: 539) 992.18/992.50 c redcost : 0.41 38320 0 0 0 0 992.18/992.50 c impliedbounds : 0.00 5 0 0 0 0 992.18/992.50 c intobj : 0.00 0 0 0 0 0 992.18/992.50 c cgmip : 0.00 0 0 0 0 0 992.18/992.50 c gomory : 0.63 5 0 0 1044 0 992.18/992.50 c strongcg : 0.48 5 0 0 1585 0 992.18/992.50 c cmir : 0.00 0 0 0 0 0 992.18/992.50 c flowcover : 0.00 0 0 0 0 0 992.18/992.50 c clique : 0.00 5 0 0 0 0 992.18/992.50 c zerohalf : 0.00 0 0 0 0 0 992.18/992.50 c mcf : 0.00 1 0 0 0 0 992.18/992.50 c rapidlearning : 0.20 1 0 0 0 209 992.18/992.50 c Pricers : Time Calls Vars 992.18/992.50 c problem variables: 0.00 0 0 992.18/992.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 992.18/992.51 c relpscost : 88.64 39574 296 2066 0 0 75934 992.18/992.51 c pscost : 0.00 0 0 0 0 0 0 992.18/992.51 c inference : 0.00 0 0 0 0 0 0 992.18/992.51 c mostinf : 0.00 0 0 0 0 0 0 992.18/992.51 c leastinf : 0.00 0 0 0 0 0 0 992.18/992.51 c fullstrong : 0.00 0 0 0 0 0 0 992.18/992.51 c allfullstrong : 0.00 0 0 0 0 0 0 992.18/992.51 c random : 0.00 0 0 0 0 0 0 992.18/992.51 c Primal Heuristics : Time Calls Found 992.18/992.51 c LP solutions : 0.00 - 0 992.18/992.51 c pseudo solutions : 0.00 - 0 992.18/992.51 c trivial : 0.01 1 0 992.18/992.51 c simplerounding : 0.00 0 0 992.18/992.51 c zirounding : 0.00 0 0 992.18/992.51 c rounding : 0.00 0 0 992.18/992.51 c shifting : 0.00 0 0 992.18/992.51 c intshifting : 0.00 0 0 992.18/992.51 c oneopt : 0.00 0 0 992.18/992.51 c twoopt : 0.00 0 0 992.18/992.51 c fixandinfer : 0.00 0 0 992.18/992.51 c feaspump : 0.00 0 0 992.18/992.51 c coefdiving : 0.00 0 0 992.18/992.51 c pscostdiving : 0.00 0 0 992.18/992.51 c fracdiving : 0.00 0 0 992.18/992.51 c veclendiving : 0.00 0 0 992.18/992.51 c intdiving : 0.00 0 0 992.18/992.51 c actconsdiving : 0.00 0 0 992.18/992.51 c objpscostdiving : 0.00 0 0 992.18/992.51 c rootsoldiving : 0.00 0 0 992.18/992.51 c linesearchdiving : 0.00 0 0 992.18/992.51 c guideddiving : 0.00 0 0 992.18/992.51 c octane : 0.00 0 0 992.18/992.51 c rens : 0.00 0 0 992.18/992.51 c rins : 0.00 0 0 992.18/992.51 c localbranching : 0.00 0 0 992.18/992.51 c mutation : 0.00 0 0 992.18/992.51 c crossover : 0.00 0 0 992.18/992.51 c dins : 0.00 0 0 992.18/992.51 c undercover : 0.00 0 0 992.18/992.51 c nlp : 0.00 0 0 992.18/992.51 c trysol : 0.00 0 0 992.18/992.51 c LP : Time Calls Iterations Iter/call Iter/sec 992.18/992.51 c primal LP : 0.01 0 0 0.00 0.00 992.18/992.51 c dual LP : 767.54 74924 2677042 35.73 3487.82 992.18/992.51 c lex dual LP : 0.00 0 0 0.00 - 992.18/992.51 c barrier LP : 0.00 0 0 0.00 - 992.18/992.51 c diving/probing LP: 0.00 0 0 0.00 - 992.18/992.51 c strong branching : 86.95 5339 348782 65.33 4011.29 992.18/992.51 c (at root node) : - 10 6378 637.80 - 992.18/992.51 c conflict analysis: 0.00 0 0 0.00 - 992.18/992.51 c B&B Tree : 992.18/992.51 c number of runs : 1 992.18/992.51 c nodes : 75595 992.18/992.51 c nodes (total) : 75595 992.18/992.51 c nodes left : 0 992.18/992.51 c max depth : 49 992.18/992.51 c max depth (total): 49 992.18/992.51 c backtracks : 9016 (11.9%) 992.18/992.51 c delayed cutoffs : 340 992.18/992.51 c repropagations : 72071 (120318 domain reductions, 340 cutoffs) 992.18/992.51 c avg switch length: 3.82 992.18/992.51 c switching time : 23.59 992.18/992.51 c Solution : 992.18/992.51 c Solutions found : 0 (0 improvements) 992.18/992.51 c Primal Bound : infeasible 992.18/992.51 c Dual Bound : - 992.18/992.51 c Gap : 0.00 % 992.18/992.51 c Root Dual Bound : +0.00000000000000e+00 992.18/992.51 c Root Iterations : 1656 992.18/992.53 c Time complete: 992.22.
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-2665560-1276290720/watcher-2665560-1276290720 -o /tmp/evaluation-result-2665560-1276290720/solver-2665560-1276290720 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665560-1276290720.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.04 1.00 3/106 7208 /proc/meminfo: memFree=1551632/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=9288 CPUtime=0 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 1036 0 0 0 0 0 0 0 18 0 1 0 4675949 9510912 957 1992294400 4194304 9819077 140734903943952 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7208/statm: 2322 967 371 1374 0 943 0 [startup+0.0217429 s] /proc/loadavg: 0.99 1.04 1.00 3/106 7208 /proc/meminfo: memFree=1551632/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=11008 CPUtime=0.01 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 1690 0 0 0 1 0 0 0 18 0 1 0 4675949 11272192 1611 1992294400 4194304 9819077 140734903943952 18446744073709551615 8610806 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7208/statm: 2752 1611 386 1374 0 1373 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11008 [startup+0.100751 s] /proc/loadavg: 0.99 1.04 1.00 3/106 7208 /proc/meminfo: memFree=1551632/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=17476 CPUtime=0.09 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 3751 0 0 0 8 1 0 0 20 0 1 0 4675949 17895424 3061 1992294400 4194304 9819077 140734903943952 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 4369 3069 489 1374 0 2990 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17476 [startup+0.300774 s] /proc/loadavg: 0.99 1.04 1.00 3/106 7208 /proc/meminfo: memFree=1551632/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=36904 CPUtime=0.29 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 12405 0 0 0 23 6 0 0 20 0 1 0 4675949 37789696 7298 1992294400 4194304 9819077 140734903943952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9483 7311 670 1374 0 8104 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36904 [startup+0.700818 s] /proc/loadavg: 0.99 1.04 1.00 3/106 7208 /proc/meminfo: memFree=1551632/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=27496 CPUtime=0.69 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 12845 0 0 0 62 7 0 0 20 0 1 0 4675949 28155904 5798 1992294400 4194304 9819077 140734903943952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 6874 5798 692 1374 0 5495 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27496 [startup+1.5009 s] /proc/loadavg: 0.99 1.04 1.00 2/107 7209 /proc/meminfo: memFree=1529800/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=29892 CPUtime=1.49 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 13432 0 0 0 141 8 0 0 23 0 1 0 4675949 30609408 6365 1992294400 4194304 9819077 140734903943952 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 7473 6365 692 1374 0 6094 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29892 [startup+3.10108 s] /proc/loadavg: 0.99 1.04 1.00 2/107 7209 /proc/meminfo: memFree=1528560/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=33336 CPUtime=3.09 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 14131 0 0 0 300 9 0 0 25 0 1 0 4675949 34136064 6418 1992294400 4194304 9819077 140734903943952 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8334 6418 698 1374 0 6955 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33336 [startup+6.30143 s] /proc/loadavg: 0.99 1.04 1.00 2/107 7209 /proc/meminfo: memFree=1527940/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=29712 CPUtime=6.29 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 17450 0 0 0 618 11 0 0 25 0 1 0 4675949 30425088 6406 1992294400 4194304 9819077 140734903943952 18446744073709551615 7232097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 7428 6406 719 1374 0 6049 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29712 [startup+12.7011 s] /proc/loadavg: 0.99 1.03 1.00 2/107 7209 /proc/meminfo: memFree=1527816/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=32852 CPUtime=12.69 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 29337 0 0 0 1247 22 0 0 25 0 1 0 4675949 33640448 6434 1992294400 4194304 9819077 140734903943952 18446744073709551615 6692943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8213 6434 721 1374 0 6834 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32852 [startup+25.5006 s] /proc/loadavg: 0.99 1.03 1.00 2/107 7209 /proc/meminfo: memFree=1527816/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=32868 CPUtime=25.48 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 50423 0 0 0 2506 42 0 0 25 0 1 0 4675949 33656832 6438 1992294400 4194304 9819077 140734903943952 18446744073709551615 6361772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8217 6438 721 1374 0 6838 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32868 [startup+51.1004 s] /proc/loadavg: 0.99 1.03 1.00 2/107 7211 /proc/meminfo: memFree=1527692/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=31400 CPUtime=51.08 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 122991 0 0 0 5005 103 0 0 25 0 1 0 4675949 32153600 6445 1992294400 4194304 9819077 140734903943952 18446744073709551615 7317759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 7850 6445 722 1374 0 6471 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31400 [startup+102.308 s] /proc/loadavg: 1.07 1.04 1.00 2/107 7214 /proc/meminfo: memFree=1526948/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=31564 CPUtime=102.27 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 285281 0 0 0 9990 237 0 0 25 0 1 0 4675949 32321536 6481 1992294400 4194304 9819077 140734903943952 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 7891 6481 722 1374 0 6512 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31564 [startup+162.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 7216 /proc/meminfo: memFree=1526948/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=32320 CPUtime=162.24 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 531120 0 0 0 15816 408 0 0 25 0 1 0 4675949 33095680 6555 1992294400 4194304 9819077 140734903943952 18446744073709551615 7292346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8080 6555 722 1374 0 6701 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32320 [startup+222.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7218 /proc/meminfo: memFree=1526824/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=32104 CPUtime=222.23 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 805029 0 0 0 21629 594 0 0 25 0 1 0 4675949 32874496 6537 1992294400 4194304 9819077 140734903943952 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8026 6537 722 1374 0 6647 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 32104 [startup+282.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7220 /proc/meminfo: memFree=1526824/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=32804 CPUtime=282.21 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 1090051 0 0 0 27437 784 0 0 25 0 1 0 4675949 33591296 6588 1992294400 4194304 9819077 140734903943952 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8201 6588 722 1374 0 6822 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32804 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7222 /proc/meminfo: memFree=1526452/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=32596 CPUtime=342.19 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 1417646 0 0 0 33227 992 0 0 25 0 1 0 4675949 33378304 6611 1992294400 4194304 9819077 140734903943952 18446744073709551615 7235141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8275 6613 722 1374 0 6896 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 32596 [startup+402.3 s] /proc/loadavg: 1.03 1.02 1.00 2/107 7222 /proc/meminfo: memFree=1525212/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=34248 CPUtime=402.17 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 1746676 0 0 0 39016 1201 0 0 25 0 1 0 4675949 35069952 6920 1992294400 4194304 9819077 140734903943952 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8562 6920 722 1374 0 7183 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34248 [startup+462.301 s] /proc/loadavg: 1.09 1.03 1.01 2/107 7224 /proc/meminfo: memFree=1524964/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=34760 CPUtime=462.16 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 2074782 0 0 0 44810 1406 0 0 25 0 1 0 4675949 35594240 7034 1992294400 4194304 9819077 140734903943952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8690 7034 722 1374 0 7311 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 34760 [startup+522.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 7226 /proc/meminfo: memFree=1523972/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=35416 CPUtime=522.14 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 2399574 0 0 0 50608 1606 0 0 25 0 1 0 4675949 36265984 7254 1992294400 4194304 9819077 140734903943952 18446744073709551615 7326362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8854 7254 722 1374 0 7475 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 35416 [startup+582.3 s] /proc/loadavg: 1.10 1.05 1.00 2/107 7228 /proc/meminfo: memFree=1523724/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=35740 CPUtime=582.12 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 2699268 0 0 0 56410 1802 0 0 25 0 1 0 4675949 36597760 7311 1992294400 4194304 9819077 140734903943952 18446744073709551615 6191195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8935 7311 722 1374 0 7556 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 35740 [startup+642.301 s] /proc/loadavg: 1.10 1.05 1.00 2/107 7230 /proc/meminfo: memFree=1523476/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=35920 CPUtime=642.11 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 3003242 0 0 0 62218 1993 0 0 25 0 1 0 4675949 36782080 7374 1992294400 4194304 9819077 140734903943952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 8980 7374 722 1374 0 7601 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 35920 [startup+702.301 s] /proc/loadavg: 1.09 1.06 1.00 2/107 7230 /proc/meminfo: memFree=1523352/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=36252 CPUtime=702.08 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 3309393 0 0 0 68024 2184 0 0 25 0 1 0 4675949 37122048 7461 1992294400 4194304 9819077 140734903943952 18446744073709551615 6364943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9063 7461 722 1374 0 7684 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 36252 [startup+762.308 s] /proc/loadavg: 1.08 1.06 1.00 2/107 7232 /proc/meminfo: memFree=1522856/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=36604 CPUtime=762.07 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 3592642 0 0 0 73831 2376 0 0 25 0 1 0 4675949 37482496 7561 1992294400 4194304 9819077 140734903943952 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9151 7561 722 1374 0 7772 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 36604 [startup+822.3 s] /proc/loadavg: 1.08 1.06 1.00 2/107 7234 /proc/meminfo: memFree=1522360/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=36868 CPUtime=822.04 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 3870651 0 0 0 79649 2555 0 0 25 0 1 0 4675949 37752832 7594 1992294400 4194304 9819077 140734903943952 18446744073709551615 6656779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9217 7594 722 1374 0 7838 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 36868 [startup+882.301 s] /proc/loadavg: 1.07 1.06 1.00 2/107 7236 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37060 CPUtime=882.02 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4164608 0 0 0 85461 2741 0 0 25 0 1 0 4675949 37949440 7613 1992294400 4194304 9819077 140734903943952 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9265 7613 722 1374 0 7886 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 37060 [startup+942.301 s] /proc/loadavg: 1.15 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37188 CPUtime=942 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4467059 0 0 0 91275 2925 0 0 25 0 1 0 4675949 38080512 7628 1992294400 4194304 9819077 140734903943952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9297 7628 722 1374 0 7918 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 37188 Solver just ended. Dumping a history of the last processes samples [startup+947.108 s] /proc/loadavg: 1.13 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37084 CPUtime=946.8 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4490739 0 0 0 91744 2936 0 0 25 0 1 0 4675949 37974016 7635 1992294400 4194304 9819077 140734903943952 18446744073709551615 7317911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9271 7635 722 1374 0 7892 0 Current children cumulated CPU time (s) 946.8 Current children cumulated vsize (KiB) 37084 [startup+972.702 s] /proc/loadavg: 1.15 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37188 CPUtime=972.39 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4625546 0 0 0 94215 3024 0 0 25 0 1 0 4675949 38080512 7624 1992294400 4194304 9819077 140734903943952 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9297 7624 722 1374 0 7918 0 Current children cumulated CPU time (s) 972.39 Current children cumulated vsize (KiB) 37188 [startup+985.501 s] /proc/loadavg: 1.12 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37148 CPUtime=985.19 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4683735 0 0 0 95459 3060 0 0 25 0 1 0 4675949 38039552 7623 1992294400 4194304 9819077 140734903943952 18446744073709551615 7105354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9287 7623 722 1374 0 7908 0 Current children cumulated CPU time (s) 985.19 Current children cumulated vsize (KiB) 37148 [startup+988.701 s] /proc/loadavg: 1.12 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=36292 CPUtime=988.38 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4697840 0 0 0 95770 3068 0 0 25 0 1 0 4675949 37163008 7613 1992294400 4194304 9819077 140734903943952 18446744073709551615 7263341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9073 7613 722 1374 0 7694 0 Current children cumulated CPU time (s) 988.38 Current children cumulated vsize (KiB) 36292 [startup+990.302 s] /proc/loadavg: 1.11 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37208 CPUtime=989.99 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4705111 0 0 0 95926 3073 0 0 25 0 1 0 4675949 38100992 7623 1992294400 4194304 9819077 140734903943952 18446744073709551615 7096890 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9302 7623 722 1374 0 7923 0 Current children cumulated CPU time (s) 989.99 Current children cumulated vsize (KiB) 37208 [startup+991.901 s] /proc/loadavg: 1.11 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37148 CPUtime=991.58 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4712605 0 0 0 96082 3076 0 0 25 0 1 0 4675949 38039552 7627 1992294400 4194304 9819077 140734903943952 18446744073709551615 6697822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9287 7627 722 1374 0 7908 0 Current children cumulated CPU time (s) 991.58 Current children cumulated vsize (KiB) 37148 [startup+992.301 s] /proc/loadavg: 1.11 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37056 CPUtime=991.98 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4714427 0 0 0 96121 3077 0 0 25 0 1 0 4675949 37945344 7645 1992294400 4194304 9819077 140734903943952 18446744073709551615 7292359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9264 7645 722 1374 0 7885 0 Current children cumulated CPU time (s) 991.98 Current children cumulated vsize (KiB) 37056 [startup+992.501 s] /proc/loadavg: 1.11 1.08 1.01 2/107 7238 /proc/meminfo: memFree=1522236/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=37088 CPUtime=992.18 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 5381 0 -1 4202496 4715274 0 0 0 96140 3078 0 0 25 0 1 0 4675949 37978112 7649 1992294400 4194304 9819077 140734903943952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 9272 7649 722 1374 0 7893 0 Current children cumulated CPU time (s) 992.18 Current children cumulated vsize (KiB) 37088 Child status: 0 Real time (s): 992.539 CPU time (s): 992.231 CPU user time (s): 961.442 CPU system time (s): 30.7893 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 40244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 961.442 system time used= 30.7893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4715318 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= 1 involuntary context switches= 1993 runsolver used 1.61675 second user time and 4.71328 second system time The end
Begin job on node002 at 2010-06-11 23:12:00 IDJOB=2665560 IDBENCH=1299 IDSOLVER=1168 FILE ID=node002/2665560-1276290720 PBS_JOBID= 11173101 Free space on /tmp= 62392 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.1900554072.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-2665560-1276290720/watcher-2665560-1276290720 -o /tmp/evaluation-result-2665560-1276290720/solver-2665560-1276290720 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665560-1276290720.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6281627dc4c435fe3011d1036bb94900 RANDOM SEED=578595114 node002.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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1552160 kB Buffers: 64780 kB Cached: 314652 kB SwapCached: 0 kB Active: 177764 kB Inactive: 260960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1552160 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6332 kB Writeback: 0 kB AnonPages: 59204 kB Mapped: 15472 kB Slab: 46340 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181504 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= 62388 MiB End job on node002 at 2010-06-11 23:28:33