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 | 1434.16 | 1434.64 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb |
MD5SUM | 6f786d0e248f798e90612aee65004e7e |
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 | 28.3357 |
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 | 741 |
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-2665849-1276299470.opb> 0.02/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.02/0.05 c problem read 0.02/0.05 c No objective function, only one solution is needed. 0.02/0.05 c presolving settings loaded 0.02/0.07 c presolving: 0.09/0.11 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 22 constraints of type <setppc> 0.09/0.14 c 2541 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.07 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.2 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1799.95 0.09/0.14 c 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 1620 0.09/0.14 c 0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c limits/solutions = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.14 c separating/maxrounds = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/maxroundsroot = 5 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.14 c constraints/knapsack/disaggregation = FALSE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c presolving/probing/maxrounds = 0 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/coefdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.14 c heuristics/crossover/freq = -1 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/crossover/nodesofs = 750 0.09/0.14 c 0.09/0.14 c # number of nodes without incumbent change that heuristic should wait 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.14 c heuristics/crossover/nwaitingnodes = 100 0.09/0.14 c 0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.14 c # [type: real, range: [0,1], default: 0.1] 0.09/0.14 c heuristics/crossover/nodesquot = 0.15 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixed 0.09/0.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 | 63 | - |3551k| 0 | 34 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.51 c 0.4s| 1 | 0 | 98 | - |3996k| 0 | 47 | 231 |2719 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.99 c 0.9s| 1 | 0 | 767 | - |4415k| 0 | 53 | 231 |2719 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.44 c 1.3s| 1 | 0 | 1228 | - |4914k| 0 | 59 | 231 |2719 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.91 c 1.8s| 1 | 0 | 1667 | - |4936k| 0 | 61 | 231 |2719 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 2.29/2.34 c 2.2s| 1 | 0 | 1808 | - |5427k| 0 | 71 | 231 |2719 | 231 |2592 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf 4.30/4.37 c 4.2s| 1 | 2 | 1808 | - |5428k| 0 | 71 | 231 |2719 | 231 |2592 | 28 | 0 | 10 | 0.000000e+00 | -- | Inf 226.31/226.47 c 222s| 10000 | 26 |500187 | 49.8 |6963k| 39 | - | 231 |5819 | 231 |2574 | 28 |4654 |1631 | 0.000000e+00 | -- | Inf 414.35/414.54 c 405s| 20000 | 18 | 1036k| 51.7 |7689k| 46 | - | 231 |7539 | 231 |2574 | 28 |9627 |2083 | 0.000000e+00 | -- | Inf 601.58/601.85 c 588s| 30000 | 12 | 1547k| 51.5 |8759k| 46 | 39 | 231 | 10k| 231 |2574 | 28 | 14k|2745 | 0.000000e+00 | -- | Inf 792.33/792.70 c 773s| 40000 | 30 | 2074k| 51.8 |9578k| 48 | 31 | 231 | 12k| 231 |2574 | 28 | 18k|3358 | 0.000000e+00 | -- | Inf 977.07/977.49 c 953s| 50000 | 26 | 2601k| 52.0 | 10M| 48 | - | 231 | 14k| 231 |2574 | 28 | 23k|3796 | 0.000000e+00 | -- | Inf 1167.72/1168.13 c 1139s| 60000 | 18 | 3155k| 52.6 | 10M| 50 | 51 | 231 | 14k| 231 |2574 | 28 | 28k|4153 | 0.000000e+00 | -- | Inf 1354.95/1355.41 c 1322s| 70000 | 15 | 3688k| 52.7 | 11M| 53 | - | 231 | 16k| 231 |2574 | 28 | 32k|4515 | 0.000000e+00 | -- | Inf 1434.11/1434.60 c 1434.11/1434.60 c SCIP Status : problem is solved [infeasible] 1434.11/1434.60 c Solving Time (sec) : 1398.53 1434.11/1434.60 c Solving Nodes : 74393 1434.11/1434.60 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1434.11/1434.60 c Dual Bound : +1.00000000000000e+20 1434.11/1434.60 c Gap : 0.00 % 1434.11/1434.60 s UNSATISFIABLE 1434.11/1434.60 c SCIP Status : problem is solved [infeasible] 1434.11/1434.60 c Solving Time : 1398.53 1434.11/1434.60 c Original Problem : 1434.11/1434.60 c Problem name : HOME/instance-2665849-1276299470.opb 1434.11/1434.60 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1434.11/1434.60 c Constraints : 2707 initial, 2707 maximal 1434.11/1434.60 c Presolved Problem : 1434.11/1434.60 c Problem name : t_HOME/instance-2665849-1276299470.opb 1434.11/1434.60 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1434.11/1434.60 c Constraints : 2564 initial, 16240 maximal 1434.11/1434.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1434.11/1434.60 c trivial : 0.00 0 0 0 0 0 0 0 0 1434.11/1434.60 c dualfix : 0.00 0 0 0 0 0 0 0 0 1434.11/1434.60 c boundshift : 0.00 0 0 0 0 0 0 0 0 1434.11/1434.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1434.11/1434.60 c implics : 0.00 0 0 0 0 0 0 0 0 1434.11/1434.60 c probing : 0.00 0 0 0 0 0 0 0 0 1434.11/1434.60 c knapsack : 0.01 0 0 0 0 0 0 0 0 1434.11/1434.60 c setppc : 0.00 0 0 0 0 0 0 0 0 1434.11/1434.60 c linear : 0.03 0 0 0 0 0 143 0 0 1434.11/1434.60 c logicor : 0.03 0 0 0 0 0 0 0 0 1434.11/1434.60 c root node : - 2 - - 2 - - - - 1434.11/1434.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1434.11/1434.60 c integral : 0 0 0 38648 0 188 1686 0 0 74780 1434.11/1434.60 c knapsack : 1 5 238922 0 0 520 129552 0 0 0 1434.11/1434.60 c setppc : 22 5 238605 0 0 1300 395414 0 0 0 1434.11/1434.60 c linear : 0+ 5 211744 0 0 24 2237 3 0 0 1434.11/1434.60 c logicor : 2541+ 5 134623 0 0 464 455959 0 0 0 1434.11/1434.60 c countsols : 0 0 0 0 0 0 0 0 0 0 1434.11/1434.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1434.11/1434.60 c integral : 142.17 0.00 0.00 142.17 0.00 1434.11/1434.60 c knapsack : 2.10 0.00 2.10 0.00 0.00 1434.11/1434.60 c setppc : 3.64 0.00 3.64 0.00 0.00 1434.11/1434.60 c linear : 1.20 0.00 1.20 0.00 0.00 1434.11/1434.60 c logicor : 24.69 0.00 24.69 0.00 0.00 1434.11/1434.60 c countsols : 0.00 0.00 0.00 0.00 0.00 1434.11/1434.60 c Propagators : Time Calls Cutoffs DomReds 1434.11/1434.60 c vbounds : 0.21 1 0 0 1434.11/1434.60 c rootredcost : 0.13 0 0 0 1434.11/1434.60 c pseudoobj : 0.12 0 0 0 1434.11/1434.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1434.11/1434.60 c propagation : 0.19 2308 2300 11671 20.5 29 21.0 - 1434.11/1434.60 c infeasible LP : 13.92 34893 26026 148185 34.2 92 14.5 0 1434.11/1434.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1434.11/1434.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1434.11/1434.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1434.11/1434.60 c applied globally : - - - 33354 19.0 - - - 1434.11/1434.60 c applied locally : - - - 1624 33.9 - - - 1434.11/1434.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1434.11/1434.60 c cut pool : 0.01 4 - - 4 - (maximal pool size: 496) 1434.11/1434.60 c redcost : 0.34 37634 0 0 0 0 1434.11/1434.60 c impliedbounds : 0.00 5 0 0 0 0 1434.11/1434.60 c intobj : 0.00 0 0 0 0 0 1434.11/1434.60 c cgmip : 0.00 0 0 0 0 0 1434.11/1434.60 c gomory : 0.69 5 0 0 1435 0 1434.11/1434.60 c strongcg : 0.48 5 0 0 2126 0 1434.11/1434.60 c cmir : 0.00 0 0 0 0 0 1434.11/1434.60 c flowcover : 0.00 0 0 0 0 0 1434.11/1434.60 c clique : 0.00 5 0 0 0 0 1434.11/1434.60 c zerohalf : 0.00 0 0 0 0 0 1434.11/1434.60 c mcf : 0.00 1 0 0 0 0 1434.11/1434.60 c rapidlearning : 0.21 1 0 0 0 155 1434.11/1434.60 c Pricers : Time Calls Vars 1434.11/1434.60 c problem variables: 0.00 0 0 1434.11/1434.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1434.11/1434.60 c relpscost : 142.08 38648 188 1686 0 0 74780 1434.11/1434.60 c pscost : 0.00 0 0 0 0 0 0 1434.11/1434.60 c inference : 0.00 0 0 0 0 0 0 1434.11/1434.60 c mostinf : 0.00 0 0 0 0 0 0 1434.11/1434.60 c leastinf : 0.00 0 0 0 0 0 0 1434.11/1434.60 c fullstrong : 0.00 0 0 0 0 0 0 1434.11/1434.60 c allfullstrong : 0.00 0 0 0 0 0 0 1434.11/1434.60 c random : 0.00 0 0 0 0 0 0 1434.11/1434.60 c Primal Heuristics : Time Calls Found 1434.11/1434.60 c LP solutions : 0.00 - 0 1434.11/1434.60 c pseudo solutions : 0.00 - 0 1434.11/1434.60 c trivial : 0.00 1 0 1434.11/1434.60 c simplerounding : 0.00 0 0 1434.11/1434.60 c zirounding : 0.00 0 0 1434.11/1434.60 c rounding : 0.00 0 0 1434.11/1434.60 c shifting : 0.00 0 0 1434.11/1434.60 c intshifting : 0.00 0 0 1434.11/1434.60 c oneopt : 0.00 0 0 1434.11/1434.60 c twoopt : 0.00 0 0 1434.11/1434.60 c fixandinfer : 0.00 0 0 1434.11/1434.60 c feaspump : 0.00 0 0 1434.11/1434.60 c coefdiving : 0.00 0 0 1434.11/1434.60 c pscostdiving : 0.00 0 0 1434.11/1434.60 c fracdiving : 0.00 0 0 1434.11/1434.60 c veclendiving : 0.00 0 0 1434.11/1434.60 c intdiving : 0.00 0 0 1434.11/1434.60 c actconsdiving : 0.00 0 0 1434.11/1434.60 c objpscostdiving : 0.00 0 0 1434.11/1434.60 c rootsoldiving : 0.00 0 0 1434.11/1434.60 c linesearchdiving : 0.00 0 0 1434.11/1434.60 c guideddiving : 0.00 0 0 1434.11/1434.60 c octane : 0.00 0 0 1434.11/1434.60 c rens : 0.00 0 0 1434.11/1434.60 c rins : 0.00 0 0 1434.11/1434.60 c localbranching : 0.00 0 0 1434.11/1434.60 c mutation : 0.00 0 0 1434.11/1434.60 c crossover : 0.00 0 0 1434.11/1434.60 c dins : 0.00 0 0 1434.11/1434.60 c undercover : 0.00 0 0 1434.11/1434.60 c nlp : 0.00 0 0 1434.11/1434.60 c trysol : 0.00 0 0 1434.11/1434.60 c LP : Time Calls Iterations Iter/call Iter/sec 1434.11/1434.60 c primal LP : 0.00 0 0 0.00 - 1434.11/1434.60 c dual LP : 1154.34 73481 3907464 53.18 3385.02 1434.11/1434.60 c lex dual LP : 0.00 0 0 0.00 - 1434.11/1434.60 c barrier LP : 0.00 0 0 0.00 - 1434.11/1434.60 c diving/probing LP: 0.00 0 0 0.00 - 1434.11/1434.60 c strong branching : 140.57 4700 514996 109.57 3663.63 1434.11/1434.60 c (at root node) : - 10 5683 568.30 - 1434.11/1434.60 c conflict analysis: 0.00 0 0 0.00 - 1434.11/1434.60 c B&B Tree : 1434.11/1434.60 c number of runs : 1 1434.11/1434.60 c nodes : 74393 1434.11/1434.60 c nodes (total) : 74393 1434.11/1434.60 c nodes left : 0 1434.11/1434.60 c max depth : 53 1434.11/1434.60 c max depth (total): 53 1434.11/1434.60 c backtracks : 8739 (11.7%) 1434.11/1434.60 c delayed cutoffs : 388 1434.11/1434.60 c repropagations : 77793 (116592 domain reductions, 386 cutoffs) 1434.11/1434.60 c avg switch length: 3.88 1434.11/1434.60 c switching time : 23.10 1434.11/1434.60 c Solution : 1434.11/1434.60 c Solutions found : 0 (0 improvements) 1434.11/1434.60 c Primal Bound : infeasible 1434.11/1434.60 c Dual Bound : - 1434.11/1434.60 c Gap : 0.00 % 1434.11/1434.60 c Root Dual Bound : +0.00000000000000e+00 1434.11/1434.60 c Root Iterations : 1808 1434.11/1434.63 c Time complete: 1434.15.
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-2665849-1276299470/watcher-2665849-1276299470 -o /tmp/evaluation-result-2665849-1276299470/solver-2665849-1276299470 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665849-1276299470.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 2/106 7295 /proc/meminfo: memFree=1538392/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=9288 CPUtime=0 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 1033 0 0 0 0 0 0 0 21 0 1 0 5548471 9510912 953 1992294400 4194304 9819077 140736524496224 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7295/statm: 2322 963 371 1374 0 943 0 [startup+0.0300261 s] /proc/loadavg: 1.00 1.01 1.00 2/106 7295 /proc/meminfo: memFree=1538392/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=11388 CPUtime=0.02 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 1745 0 0 0 2 0 0 0 21 0 1 0 5548471 11661312 1665 1992294400 4194304 9819077 140736524496224 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7295/statm: 2847 1676 386 1374 0 1468 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11388 [startup+0.101034 s] /proc/loadavg: 1.00 1.01 1.00 2/106 7295 /proc/meminfo: memFree=1538392/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=17764 CPUtime=0.09 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 3820 0 0 0 8 1 0 0 23 0 1 0 5548471 18190336 3129 1992294400 4194304 9819077 140736524496224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 4441 3129 489 1374 0 3062 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17764 [startup+0.30106 s] /proc/loadavg: 1.00 1.01 1.00 2/106 7295 /proc/meminfo: memFree=1538392/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=37472 CPUtime=0.29 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 11000 0 0 0 25 4 0 0 23 0 1 0 5548471 38371328 7436 1992294400 4194304 9819077 140736524496224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9368 7436 668 1374 0 7989 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37472 [startup+0.701112 s] /proc/loadavg: 1.00 1.01 1.00 2/106 7295 /proc/meminfo: memFree=1538392/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=28124 CPUtime=0.69 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 13016 0 0 0 63 6 0 0 25 0 1 0 5548471 28798976 5970 1992294400 4194304 9819077 140736524496224 18446744073709551615 6031536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 7031 5970 692 1374 0 5652 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28124 [startup+1.50122 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7296 /proc/meminfo: memFree=1516436/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=29760 CPUtime=1.49 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 13453 0 0 0 142 7 0 0 25 0 1 0 5548471 30474240 6318 1992294400 4194304 9819077 140736524496224 18446744073709551615 6044316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 7440 6318 692 1374 0 6061 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29760 [startup+3.10043 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7296 /proc/meminfo: memFree=1515320/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=35004 CPUtime=3.09 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 14753 0 0 0 301 8 0 0 25 0 1 0 5548471 35844096 6720 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8751 6720 698 1374 0 7372 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35004 [startup+6.30084 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7296 /proc/meminfo: memFree=1513336/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=34176 CPUtime=6.29 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 17728 0 0 0 619 10 0 0 25 0 1 0 5548471 34996224 6802 1992294400 4194304 9819077 140736524496224 18446744073709551615 6712539 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8544 6805 705 1374 0 7165 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34176 [startup+12.7007 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7296 /proc/meminfo: memFree=1512964/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=34428 CPUtime=12.69 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 24594 0 0 0 1254 15 0 0 25 0 1 0 5548471 35254272 6973 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8607 6973 718 1374 0 7228 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34428 [startup+25.5014 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7298 /proc/meminfo: memFree=1513336/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=34356 CPUtime=25.48 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 44317 0 0 0 2517 31 0 0 25 0 1 0 5548471 35180544 6740 1992294400 4194304 9819077 140736524496224 18446744073709551615 7298075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8589 6740 721 1374 0 7210 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34356 [startup+51.1017 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7298 /proc/meminfo: memFree=1512840/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=31868 CPUtime=51.07 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 90999 0 0 0 5034 73 0 0 25 0 1 0 5548471 32632832 6710 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 7967 6710 722 1374 0 6588 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31868 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7300 /proc/meminfo: memFree=1512964/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=32752 CPUtime=102.26 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 228013 0 0 0 10046 180 0 0 25 0 1 0 5548471 33538048 6734 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8188 6734 722 1374 0 6809 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32752 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7300 /proc/meminfo: memFree=1512964/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=32924 CPUtime=162.23 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 427083 0 0 0 15904 319 0 0 25 0 1 0 5548471 33714176 6719 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8231 6719 722 1374 0 6852 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32924 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7302 /proc/meminfo: memFree=1512964/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=33300 CPUtime=222.2 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 637629 0 0 0 21771 449 0 0 25 0 1 0 5548471 34099200 6811 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8325 6811 722 1374 0 6946 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 33300 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7304 /proc/meminfo: memFree=1512840/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=33728 CPUtime=282.19 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 864846 0 0 0 27625 594 0 0 25 0 1 0 5548471 34537472 6793 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8432 6793 722 1374 0 7053 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 33728 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7306 /proc/meminfo: memFree=1512840/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=34072 CPUtime=342.17 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 1109157 0 0 0 33474 743 0 0 25 0 1 0 5548471 34889728 6840 1992294400 4194304 9819077 140736524496224 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8518 6840 722 1374 0 7139 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 34072 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7308 /proc/meminfo: memFree=1512840/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=33152 CPUtime=402.15 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 1354476 0 0 0 39326 889 0 0 25 0 1 0 5548471 33947648 6817 1992294400 4194304 9819077 140736524496224 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8288 6817 722 1374 0 6909 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 33152 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7308 /proc/meminfo: memFree=1511600/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=35004 CPUtime=462.13 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 1609487 0 0 0 45173 1040 0 0 25 0 1 0 5548471 35844096 7079 1992294400 4194304 9819077 140736524496224 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8751 7079 722 1374 0 7372 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 35004 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7310 /proc/meminfo: memFree=1511476/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=35344 CPUtime=522.12 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 1864348 0 0 0 51017 1195 0 0 25 0 1 0 5548471 36192256 7177 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8836 7177 722 1374 0 7457 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 35344 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7312 /proc/meminfo: memFree=1510856/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38828 CPUtime=582.09 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 2142831 0 0 0 56846 1363 0 0 25 0 1 0 5548471 39759872 7298 1992294400 4194304 9819077 140736524496224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9707 7298 722 1374 0 8328 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 38828 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7314 /proc/meminfo: memFree=1510608/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=35932 CPUtime=642.08 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 2408724 0 0 0 62688 1520 0 0 25 0 1 0 5548471 36794368 7306 1992294400 4194304 9819077 140736524496224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 8983 7306 722 1374 0 7604 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 35932 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1509864/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=36660 CPUtime=762.05 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 2922440 0 0 0 74383 1822 0 0 25 0 1 0 5548471 37539840 7514 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9165 7514 722 1374 0 7786 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 36660 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7318 /proc/meminfo: memFree=1509492/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=36864 CPUtime=822.02 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 3182686 0 0 0 80220 1982 0 0 25 0 1 0 5548471 37748736 7551 1992294400 4194304 9819077 140736524496224 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9216 7551 722 1374 0 7837 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 36864 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7320 /proc/meminfo: memFree=1508996/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=37204 CPUtime=882 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 3429580 0 0 0 86072 2128 0 0 25 0 1 0 5548471 38096896 7654 1992294400 4194304 9819077 140736524496224 18446744073709551615 6191195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9301 7654 722 1374 0 7922 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 37204 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7322 /proc/meminfo: memFree=1508748/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=37532 CPUtime=941.98 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 3681825 0 0 0 91920 2278 0 0 25 0 1 0 5548471 38432768 7715 1992294400 4194304 9819077 140736524496224 18446744073709551615 7292309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9383 7715 722 1374 0 8004 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 37532 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7324 /proc/meminfo: memFree=1508748/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=37532 CPUtime=1001.96 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 3942810 0 0 0 97761 2435 0 0 25 0 1 0 5548471 38432768 7707 1992294400 4194304 9819077 140736524496224 18446744073709551615 7318400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9383 7707 722 1374 0 8004 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 37532 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7324 /proc/meminfo: memFree=1508500/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=37820 CPUtime=1061.94 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 4193286 0 0 0 103614 2580 0 0 25 0 1 0 5548471 38727680 7785 1992294400 4194304 9819077 140736524496224 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9455 7785 722 1374 0 8076 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 37820 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7326 /proc/meminfo: memFree=1508004/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38268 CPUtime=1121.93 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 4442547 0 0 0 109459 2734 0 0 25 0 1 0 5548471 39186432 7873 1992294400 4194304 9819077 140736524496224 18446744073709551615 7317736 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9567 7873 722 1374 0 8188 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 38268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7328 /proc/meminfo: memFree=1507756/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38228 CPUtime=1181.9 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 4693214 0 0 0 115303 2887 0 0 25 0 1 0 5548471 39145472 7920 1992294400 4194304 9819077 140736524496224 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9557 7920 722 1374 0 8178 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 38228 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7330 /proc/meminfo: memFree=1507508/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38588 CPUtime=1241.88 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 4955529 0 0 0 121141 3047 0 0 25 0 1 0 5548471 39514112 7968 1992294400 4194304 9819077 140736524496224 18446744073709551615 7292341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9647 7968 722 1374 0 8268 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 38588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7332 /proc/meminfo: memFree=1507260/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38552 CPUtime=1301.87 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5197467 0 0 0 126987 3200 0 0 25 0 1 0 5548471 39477248 7962 1992294400 4194304 9819077 140736524496224 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9638 7962 722 1374 0 8259 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 38552 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7332 /proc/meminfo: memFree=1507260/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38660 CPUtime=1361.85 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5440766 0 0 0 132831 3354 0 0 25 0 1 0 5548471 39587840 8006 1992294400 4194304 9819077 140736524496224 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9665 8006 722 1374 0 8286 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 38660 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38784 CPUtime=1421.83 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5700415 0 0 0 138663 3520 0 0 25 0 1 0 5548471 39714816 8017 1992294400 4194304 9819077 140736524496224 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9696 8017 722 1374 0 8317 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 38784 Solver just ended. Dumping a history of the last processes samples [startup+1427.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38724 CPUtime=1426.61 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5720950 0 0 0 139128 3533 0 0 25 0 1 0 5548471 39653376 8005 1992294400 4194304 9819077 140736524496224 18446744073709551615 6361885 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9681 8005 722 1374 0 8302 0 Current children cumulated CPU time (s) 1426.61 Current children cumulated vsize (KiB) 38724 [startup+1430.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38788 CPUtime=1429.82 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5733982 0 0 0 139440 3542 0 0 25 0 1 0 5548471 39718912 8015 1992294400 4194304 9819077 140736524496224 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9697 8015 722 1374 0 8318 0 Current children cumulated CPU time (s) 1429.82 Current children cumulated vsize (KiB) 38788 [startup+1431.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38760 CPUtime=1431.41 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5740030 0 0 0 139596 3545 0 0 25 0 1 0 5548471 39690240 8005 1992294400 4194304 9819077 140736524496224 18446744073709551615 6004167 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9690 8005 722 1374 0 8311 0 Current children cumulated CPU time (s) 1431.41 Current children cumulated vsize (KiB) 38760 [startup+1433.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38760 CPUtime=1433.01 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5746372 0 0 0 139752 3549 0 0 25 0 1 0 5548471 39690240 8038 1992294400 4194304 9819077 140736524496224 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9690 8038 722 1374 0 8311 0 Current children cumulated CPU time (s) 1433.01 Current children cumulated vsize (KiB) 38760 [startup+1434.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38788 CPUtime=1433.82 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5749827 0 0 0 139830 3552 0 0 25 0 1 0 5548471 39718912 8028 1992294400 4194304 9819077 140736524496224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9697 8028 722 1374 0 8318 0 Current children cumulated CPU time (s) 1433.82 Current children cumulated vsize (KiB) 38788 [startup+1434.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=37924 CPUtime=1434.01 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5750568 0 0 0 139848 3553 0 0 25 0 1 0 5548471 38834176 7996 1992294400 4194304 9819077 140736524496224 18446744073709551615 7263190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9481 7996 722 1374 0 8102 0 Current children cumulated CPU time (s) 1434.01 Current children cumulated vsize (KiB) 37924 [startup+1434.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7343 /proc/meminfo: memFree=1506764/2059040 swapFree=4192956/4192956 [pid=7295] ppid=7293 vsize=38724 CPUtime=1434.11 /proc/7295/stat : 7295 (pbscip.linux.x8) R 7293 7295 6786 0 -1 4202496 5751019 0 0 0 139858 3553 0 0 25 0 1 0 5548471 39653376 8005 1992294400 4194304 9819077 140736524496224 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7295/statm: 9681 8005 722 1374 0 8302 0 Current children cumulated CPU time (s) 1434.11 Current children cumulated vsize (KiB) 38724 Child status: 0 Real time (s): 1434.64 CPU time (s): 1434.16 CPU user time (s): 1398.62 CPU system time (s): 35.5416 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 41868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1398.62 system time used= 35.5416 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5751099 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= 3417 runsolver used 2.39264 second user time and 6.75397 second system time The end
Begin job on node013 at 2010-06-12 01:37:50 IDJOB=2665849 IDBENCH=1321 IDSOLVER=1168 FILE ID=node013/2665849-1276299470 PBS_JOBID= 11173116 Free space on /tmp= 62424 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.1900544484.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-2665849-1276299470/watcher-2665849-1276299470 -o /tmp/evaluation-result-2665849-1276299470/solver-2665849-1276299470 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665849-1276299470.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f786d0e248f798e90612aee65004e7e RANDOM SEED=369037923 node013.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.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 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: 1538796 kB Buffers: 77604 kB Cached: 314944 kB SwapCached: 0 kB Active: 176988 kB Inactive: 274776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1538796 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6340 kB Writeback: 0 kB AnonPages: 59188 kB Mapped: 15388 kB Slab: 46744 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181116 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= 62420 MiB End job on node013 at 2010-06-12 02:01:44