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 | 746.567 | 746.887 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb |
MD5SUM | 0626939ca6144a564c8e59fb048e3266 |
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 | 10.0725 |
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 | 705 |
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-2665892-1276315612.opb> 0.04/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.04/0.06 c problem read 0.04/0.06 c No objective function, only one solution is needed. 0.04/0.06 c presolving settings loaded 0.04/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 | 65 | - |3551k| 0 | 38 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.55 c 0.4s| 1 | 0 | 151 | - |4048k| 0 | 59 | 231 |2742 | 231 |2572 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.94 c 0.8s| 1 | 0 | 182 | - |4214k| 0 | 67 | 231 |2742 | 231 |2574 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.44 c 1.3s| 1 | 0 | 316 | - |4440k| 0 | 76 | 231 |2742 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 2.29/2.30 c 2.2s| 1 | 0 | 1235 | - |4448k| 0 | 53 | 231 |2742 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.56 c 2.4s| 1 | 0 | 1300 | - |4678k| 0 | 75 | 231 |2742 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 4.09/4.19 c 4.0s| 1 | 2 | 1300 | - |4679k| 0 | 75 | 231 |2742 | 231 |2585 | 21 | 0 | 10 | 0.000000e+00 | -- | Inf 240.97/241.17 c 236s| 10000 | 23 |536845 | 53.6 |6233k| 40 | 16 | 231 |5877 | 231 |2571 | 21 |5462 |1900 | 0.000000e+00 | -- | Inf 444.59/444.88 c 435s| 20000 | 26 | 1122k| 56.1 |7032k| 47 | - | 231 |7320 | 231 |2571 | 21 | 11k|2426 | 0.000000e+00 | -- | Inf 665.00/665.35 c 650s| 30000 | 28 | 1739k| 58.0 |7447k| 47 | - | 231 |8124 | 231 |2571 | 21 | 17k|3164 | 0.000000e+00 | -- | Inf 746.48/746.86 c 746.48/746.86 c SCIP Status : problem is solved [infeasible] 746.48/746.86 c Solving Time (sec) : 729.35 746.48/746.86 c Solving Nodes : 33165 746.48/746.86 c Primal Bound : +1.00000000000000e+20 (0 solutions) 746.48/746.86 c Dual Bound : +1.00000000000000e+20 746.48/746.86 c Gap : 0.00 % 746.48/746.86 s UNSATISFIABLE 746.48/746.86 c SCIP Status : problem is solved [infeasible] 746.48/746.86 c Solving Time : 729.35 746.48/746.86 c Original Problem : 746.48/746.86 c Problem name : HOME/instance-2665892-1276315612.opb 746.48/746.86 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 746.48/746.86 c Constraints : 2707 initial, 2707 maximal 746.48/746.86 c Presolved Problem : 746.48/746.86 c Problem name : t_HOME/instance-2665892-1276315612.opb 746.48/746.86 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 746.48/746.86 c Constraints : 2564 initial, 8670 maximal 746.48/746.86 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 746.48/746.86 c trivial : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c dualfix : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c boundshift : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c inttobinary : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c implics : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c probing : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c knapsack : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c setppc : 0.00 0 0 0 0 0 0 0 0 746.48/746.86 c linear : 0.02 0 0 0 0 0 143 0 0 746.48/746.86 c logicor : 0.02 0 0 0 0 0 0 0 0 746.48/746.86 c root node : - 21 - - 21 - - - - 746.48/746.86 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 746.48/746.86 c integral : 0 0 0 17491 0 96 1246 0 0 33376 746.48/746.86 c knapsack : 1 5 113120 0 0 179 67472 0 0 0 746.48/746.86 c setppc : 22 5 113066 0 0 837 199094 0 0 0 746.48/746.86 c linear : 0+ 5 107075 0 0 4 974 1 0 0 746.48/746.86 c logicor : 2541+ 5 61851 0 0 277 199822 0 0 0 746.48/746.86 c countsols : 0 0 0 0 0 0 0 0 0 0 746.48/746.86 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 746.48/746.86 c integral : 103.93 0.00 0.00 103.93 0.00 746.48/746.86 c knapsack : 0.93 0.00 0.93 0.00 0.00 746.48/746.86 c setppc : 2.08 0.00 2.08 0.00 0.00 746.48/746.86 c linear : 1.06 0.00 1.06 0.00 0.00 746.48/746.86 c logicor : 8.41 0.00 8.41 0.00 0.00 746.48/746.86 c countsols : 0.00 0.00 0.00 0.00 0.00 746.48/746.86 c Propagators : Time Calls Cutoffs DomReds 746.48/746.86 c vbounds : 0.14 1 0 0 746.48/746.86 c rootredcost : 0.06 0 0 0 746.48/746.86 c pseudoobj : 0.04 0 0 0 746.48/746.86 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 746.48/746.86 c propagation : 0.08 1297 1281 5937 18.8 19 17.5 - 746.48/746.86 c infeasible LP : 6.32 15292 11796 63568 31.5 93 13.9 0 746.48/746.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 746.48/746.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 746.48/746.86 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 746.48/746.86 c applied globally : - - - 19066 18.5 - - - 746.48/746.86 c applied locally : - - - 272 33.5 - - - 746.48/746.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss 746.48/746.86 c cut pool : 0.01 4 - - 11 - (maximal pool size: 286) 746.48/746.86 c redcost : 0.20 16825 0 0 0 0 746.48/746.86 c impliedbounds : 0.00 5 0 0 0 0 746.48/746.86 c intobj : 0.00 0 0 0 0 0 746.48/746.86 c cgmip : 0.00 0 0 0 0 0 746.48/746.86 c gomory : 0.88 5 0 0 857 0 746.48/746.86 c strongcg : 0.67 5 0 0 1352 0 746.48/746.86 c cmir : 0.00 0 0 0 0 0 746.48/746.86 c flowcover : 0.00 0 0 0 0 0 746.48/746.86 c clique : 0.00 5 0 0 0 0 746.48/746.86 c zerohalf : 0.00 0 0 0 0 0 746.48/746.86 c mcf : 0.00 1 0 0 0 0 746.48/746.86 c rapidlearning : 0.20 1 0 0 0 178 746.48/746.86 c Pricers : Time Calls Vars 746.48/746.86 c problem variables: 0.00 0 0 746.48/746.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 746.48/746.86 c relpscost : 103.86 17491 96 1246 0 0 33376 746.48/746.86 c pscost : 0.00 0 0 0 0 0 0 746.48/746.86 c inference : 0.00 0 0 0 0 0 0 746.48/746.86 c mostinf : 0.00 0 0 0 0 0 0 746.48/746.86 c leastinf : 0.00 0 0 0 0 0 0 746.48/746.86 c fullstrong : 0.00 0 0 0 0 0 0 746.48/746.86 c allfullstrong : 0.00 0 0 0 0 0 0 746.48/746.86 c random : 0.00 0 0 0 0 0 0 746.48/746.86 c Primal Heuristics : Time Calls Found 746.48/746.86 c LP solutions : 0.00 - 0 746.48/746.86 c pseudo solutions : 0.00 - 0 746.48/746.86 c trivial : 0.00 1 0 746.48/746.86 c simplerounding : 0.00 0 0 746.48/746.86 c zirounding : 0.00 0 0 746.48/746.86 c rounding : 0.00 0 0 746.48/746.86 c shifting : 0.00 0 0 746.48/746.86 c intshifting : 0.00 0 0 746.48/746.86 c oneopt : 0.00 0 0 746.48/746.86 c twoopt : 0.00 0 0 746.48/746.86 c fixandinfer : 0.00 0 0 746.48/746.86 c feaspump : 0.00 0 0 746.48/746.86 c coefdiving : 0.00 0 0 746.48/746.86 c pscostdiving : 0.00 0 0 746.48/746.86 c fracdiving : 0.00 0 0 746.48/746.86 c veclendiving : 0.00 0 0 746.48/746.86 c intdiving : 0.00 0 0 746.48/746.86 c actconsdiving : 0.00 0 0 746.48/746.86 c objpscostdiving : 0.00 0 0 746.48/746.86 c rootsoldiving : 0.00 0 0 746.48/746.86 c linesearchdiving : 0.00 0 0 746.48/746.86 c guideddiving : 0.00 0 0 746.48/746.86 c octane : 0.00 0 0 746.48/746.86 c rens : 0.00 0 0 746.48/746.86 c rins : 0.00 0 0 746.48/746.86 c localbranching : 0.00 0 0 746.48/746.86 c mutation : 0.00 0 0 746.48/746.86 c crossover : 0.00 0 0 746.48/746.86 c dins : 0.00 0 0 746.48/746.86 c undercover : 0.00 0 0 746.48/746.86 c nlp : 0.00 0 0 746.48/746.86 c trysol : 0.00 0 0 746.48/746.86 c LP : Time Calls Iterations Iter/call Iter/sec 746.48/746.86 c primal LP : 0.01 0 0 0.00 0.00 746.48/746.86 c dual LP : 582.18 32767 1978995 60.40 3399.28 746.48/746.86 c lex dual LP : 0.00 0 0 0.00 - 746.48/746.86 c barrier LP : 0.00 0 0 0.00 - 746.48/746.86 c diving/probing LP: 0.00 0 0 0.00 - 746.48/746.86 c strong branching : 103.22 3408 363472 106.65 3521.33 746.48/746.86 c (at root node) : - 10 4434 443.40 - 746.48/746.86 c conflict analysis: 0.00 0 0 0.00 - 746.48/746.86 c B&B Tree : 746.48/746.86 c number of runs : 1 746.48/746.86 c nodes : 33165 746.48/746.86 c nodes (total) : 33165 746.48/746.86 c nodes left : 0 746.48/746.86 c max depth : 48 746.48/746.86 c max depth (total): 48 746.48/746.86 c backtracks : 3591 (10.8%) 746.48/746.86 c delayed cutoffs : 212 746.48/746.86 c repropagations : 38605 (61433 domain reductions, 208 cutoffs) 746.48/746.86 c avg switch length: 4.12 746.48/746.86 c switching time : 9.09 746.48/746.86 c Solution : 746.48/746.86 c Solutions found : 0 (0 improvements) 746.48/746.86 c Primal Bound : infeasible 746.48/746.86 c Dual Bound : - 746.48/746.86 c Gap : 0.00 % 746.48/746.86 c Root Dual Bound : +0.00000000000000e+00 746.48/746.86 c Root Iterations : 1300 746.48/746.88 c Time complete: 746.55.
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-2665892-1276315612/watcher-2665892-1276315612 -o /tmp/evaluation-result-2665892-1276315612/solver-2665892-1276315612 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665892-1276315612.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.02 1.02 1.00 2/106 9236 /proc/meminfo: memFree=1517800/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=8260 CPUtime=0 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 1018 0 0 0 0 0 0 0 21 0 1 0 7162839 8458240 939 1992294400 4194304 9819077 140733379528016 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9236/statm: 2322 947 371 1374 0 943 0 [startup+0.051258 s] /proc/loadavg: 1.02 1.02 1.00 2/106 9236 /proc/meminfo: memFree=1517800/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=11872 CPUtime=0.04 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 1915 0 0 0 4 0 0 0 24 0 1 0 7162839 12156928 1836 1992294400 4194304 9819077 140733379528016 18446744073709551615 5649672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9236/statm: 2968 1836 386 1374 0 1589 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11872 [startup+0.101267 s] /proc/loadavg: 1.02 1.02 1.00 2/106 9236 /proc/meminfo: memFree=1517800/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=17484 CPUtime=0.09 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 3747 0 0 0 8 1 0 0 24 0 1 0 7162839 17903616 3057 1992294400 4194304 9819077 140733379528016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 4371 3057 489 1374 0 2992 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17484 [startup+0.301309 s] /proc/loadavg: 1.02 1.02 1.00 2/106 9236 /proc/meminfo: memFree=1517800/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=37156 CPUtime=0.29 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 10661 0 0 0 25 4 0 0 25 0 1 0 7162839 38047744 7355 1992294400 4194304 9819077 140733379528016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 9289 7356 670 1374 0 7910 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37156 [startup+0.701393 s] /proc/loadavg: 1.02 1.02 1.00 2/106 9236 /proc/meminfo: memFree=1517800/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=29048 CPUtime=0.69 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 13228 0 0 0 62 7 0 0 25 0 1 0 7162839 29745152 6182 1992294400 4194304 9819077 140733379528016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 7262 6182 692 1374 0 5883 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29048 [startup+1.50156 s] /proc/loadavg: 1.02 1.02 1.00 2/107 9237 /proc/meminfo: memFree=1495100/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=29048 CPUtime=1.49 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 13233 0 0 0 141 8 0 0 25 0 1 0 7162839 29745152 6187 1992294400 4194304 9819077 140733379528016 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 7262 6187 694 1374 0 5883 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29048 [startup+3.10091 s] /proc/loadavg: 1.02 1.02 1.00 2/107 9237 /proc/meminfo: memFree=1494852/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=32676 CPUtime=3.09 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 14114 0 0 0 299 10 0 0 25 0 1 0 7162839 33460224 6327 1992294400 4194304 9819077 140733379528016 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8169 6327 700 1374 0 6790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32676 [startup+6.30159 s] /proc/loadavg: 1.01 1.02 1.00 2/107 9237 /proc/meminfo: memFree=1494232/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=32464 CPUtime=6.29 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 17932 0 0 0 617 12 0 0 25 0 1 0 7162839 33243136 6327 1992294400 4194304 9819077 140733379528016 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8116 6327 707 1374 0 6737 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32464 [startup+12.7009 s] /proc/loadavg: 1.01 1.02 1.00 2/107 9237 /proc/meminfo: memFree=1494232/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33284 CPUtime=12.69 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 24058 0 0 0 1252 17 0 0 25 0 1 0 7162839 34082816 6366 1992294400 4194304 9819077 140733379528016 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8321 6366 722 1374 0 6942 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33284 [startup+25.5007 s] /proc/loadavg: 1.01 1.02 1.00 2/107 9237 /proc/meminfo: memFree=1494232/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=32432 CPUtime=25.48 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 39732 0 0 0 2517 31 0 0 25 0 1 0 7162839 33210368 6360 1992294400 4194304 9819077 140733379528016 18446744073709551615 7291726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8108 6360 722 1374 0 6729 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32432 [startup+51.1011 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9237 /proc/meminfo: memFree=1494232/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=31160 CPUtime=51.05 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 90839 0 0 0 5031 74 0 0 25 0 1 0 7162839 31907840 6377 1992294400 4194304 9819077 140733379528016 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 7790 6378 724 1374 0 6411 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 31160 [startup+102.308 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9239 /proc/meminfo: memFree=1494232/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=31176 CPUtime=102.24 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 225962 0 0 0 10052 172 0 0 25 0 1 0 7162839 31924224 6364 1992294400 4194304 9819077 140733379528016 18446744073709551615 7304799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 7794 6364 724 1374 0 6415 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 31176 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9241 /proc/meminfo: memFree=1494108/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=31932 CPUtime=162.22 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 403113 0 0 0 15927 295 0 0 25 0 1 0 7162839 32698368 6440 1992294400 4194304 9819077 140733379528016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 7983 6440 724 1374 0 6604 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 31932 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9243 /proc/meminfo: memFree=1493860/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=31392 CPUtime=222.18 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 603304 0 0 0 21797 421 0 0 25 0 1 0 7162839 32145408 6427 1992294400 4194304 9819077 140733379528016 18446744073709551615 7228019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 7848 6429 724 1374 0 6469 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 31392 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9243 /proc/meminfo: memFree=1493736/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=35020 CPUtime=282.16 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 830633 0 0 0 27653 563 0 0 25 0 1 0 7162839 35860480 6452 1992294400 4194304 9819077 140733379528016 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8755 6452 724 1374 0 7376 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 35020 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9245 /proc/meminfo: memFree=1493736/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=32216 CPUtime=342.13 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 1062743 0 0 0 33504 709 0 0 25 0 1 0 7162839 32989184 6439 1992294400 4194304 9819077 140733379528016 18446744073709551615 7325972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8054 6439 724 1374 0 6675 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 32216 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9247 /proc/meminfo: memFree=1493736/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=35236 CPUtime=402.11 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 1296654 0 0 0 39354 857 0 0 25 0 1 0 7162839 36081664 6465 1992294400 4194304 9819077 140733379528016 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8809 6465 724 1374 0 7430 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 35236 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9252 /proc/meminfo: memFree=1492992/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=35456 CPUtime=462.09 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 1548614 0 0 0 45201 1008 0 0 25 0 1 0 7162839 36306944 6483 1992294400 4194304 9819077 140733379528016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8864 6483 724 1374 0 7485 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 35456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9254 /proc/meminfo: memFree=1492992/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=32444 CPUtime=522.06 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 1797311 0 0 0 51043 1163 0 0 25 0 1 0 7162839 33222656 6479 1992294400 4194304 9819077 140733379528016 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8111 6479 724 1374 0 6732 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 32444 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9254 /proc/meminfo: memFree=1492992/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=35632 CPUtime=582.04 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2053079 0 0 0 56882 1322 0 0 25 0 1 0 7162839 36487168 6536 1992294400 4194304 9819077 140733379528016 18446744073709551615 7312815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8908 6536 724 1374 0 7529 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 35632 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9256 /proc/meminfo: memFree=1492868/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=32120 CPUtime=642.02 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2295962 0 0 0 62734 1468 0 0 25 0 1 0 7162839 32890880 6481 1992294400 4194304 9819077 140733379528016 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8030 6481 724 1374 0 6651 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 32120 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9258 /proc/meminfo: memFree=1491752/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33628 CPUtime=701.99 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2536660 0 0 0 68586 1613 0 0 25 0 1 0 7162839 34435072 6775 1992294400 4194304 9819077 140733379528016 18446744073709551615 7291704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8407 6775 724 1374 0 7028 0 Current children cumulated CPU time (s) 701.99 Current children cumulated vsize (KiB) 33628 Solver just ended. Dumping a history of the last processes samples [startup+716.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9258 /proc/meminfo: memFree=1491504/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33828 CPUtime=716.38 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2590431 0 0 0 69994 1644 0 0 25 0 1 0 7162839 34639872 6787 1992294400 4194304 9819077 140733379528016 18446744073709551615 6628704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8457 6787 724 1374 0 7078 0 Current children cumulated CPU time (s) 716.38 Current children cumulated vsize (KiB) 33828 [startup+729.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9258 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33936 CPUtime=729.18 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2643259 0 0 0 71243 1675 0 0 25 0 1 0 7162839 34750464 6806 1992294400 4194304 9819077 140733379528016 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8484 6806 724 1374 0 7105 0 Current children cumulated CPU time (s) 729.18 Current children cumulated vsize (KiB) 33936 [startup+735.908 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9258 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=36796 CPUtime=735.58 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2670173 0 0 0 71868 1690 0 0 25 0 1 0 7162839 37679104 6873 1992294400 4194304 9819077 140733379528016 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 9199 6875 724 1374 0 7820 0 Current children cumulated CPU time (s) 735.58 Current children cumulated vsize (KiB) 36796 [startup+742.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9260 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33904 CPUtime=741.97 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2695907 0 0 0 72494 1703 0 0 25 0 1 0 7162839 34717696 6825 1992294400 4194304 9819077 140733379528016 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8476 6825 724 1374 0 7097 0 Current children cumulated CPU time (s) 741.97 Current children cumulated vsize (KiB) 33904 [startup+743.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9260 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33904 CPUtime=743.57 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2701676 0 0 0 72652 1705 0 0 25 0 1 0 7162839 34717696 6817 1992294400 4194304 9819077 140733379528016 18446744073709551615 7480992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8476 6817 724 1374 0 7097 0 Current children cumulated CPU time (s) 743.57 Current children cumulated vsize (KiB) 33904 [startup+745.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9260 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33908 CPUtime=745.18 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2708227 0 0 0 72809 1709 0 0 25 0 1 0 7162839 34721792 6807 1992294400 4194304 9819077 140733379528016 18446744073709551615 6361799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8477 6807 724 1374 0 7098 0 Current children cumulated CPU time (s) 745.18 Current children cumulated vsize (KiB) 33908 [startup+746.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9260 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33972 CPUtime=745.97 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2712315 0 0 0 72886 1711 0 0 25 0 1 0 7162839 34787328 6859 1992294400 4194304 9819077 140733379528016 18446744073709551615 7296171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8493 6859 724 1374 0 7114 0 Current children cumulated CPU time (s) 745.97 Current children cumulated vsize (KiB) 33972 [startup+746.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9260 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33056 CPUtime=746.37 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2713834 0 0 0 72925 1712 0 0 25 0 1 0 7162839 33849344 6798 1992294400 4194304 9819077 140733379528016 18446744073709551615 7263407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8264 6798 724 1374 0 6885 0 Current children cumulated CPU time (s) 746.37 Current children cumulated vsize (KiB) 33056 [startup+746.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9260 /proc/meminfo: memFree=1491380/2059040 swapFree=4192956/4192956 [pid=9236] ppid=9234 vsize=33932 CPUtime=746.48 /proc/9236/stat : 9236 (pbscip.linux.x8) R 9234 9236 7653 0 -1 4202496 2714259 0 0 0 72935 1713 0 0 25 0 1 0 7162839 34746368 6813 1992294400 4194304 9819077 140733379528016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9236/statm: 8483 6813 724 1374 0 7104 0 Current children cumulated CPU time (s) 746.48 Current children cumulated vsize (KiB) 33932 Child status: 0 Real time (s): 746.887 CPU time (s): 746.567 CPU user time (s): 729.428 CPU system time (s): 17.1384 CPU usage (%): 99.9571 Max. virtual memory (cumulated for all children) (KiB): 39860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 729.428 system time used= 17.1384 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2714516 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= 10714 runsolver used 1.3198 second user time and 3.45347 second system time The end
Begin job on node010 at 2010-06-12 06:06:52 IDJOB=2665892 IDBENCH=1368 IDSOLVER=1168 FILE ID=node010/2665892-1276315612 PBS_JOBID= 11173137 Free space on /tmp= 62500 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.1900564281.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-2665892-1276315612/watcher-2665892-1276315612 -o /tmp/evaluation-result-2665892-1276315612/solver-2665892-1276315612 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665892-1276315612.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0626939ca6144a564c8e59fb048e3266 RANDOM SEED=20589223 node010.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1518328 kB Buffers: 97016 kB Cached: 315140 kB SwapCached: 0 kB Active: 181300 kB Inactive: 290120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1518328 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6328 kB Writeback: 0 kB AnonPages: 59240 kB Mapped: 15412 kB Slab: 47680 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182760 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= 62492 MiB End job on node010 at 2010-06-12 06:19:19