Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 834.401 | 834.65 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb |
MD5SUM | 148040983257ccf233b3daf7936d3c1f |
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 | 8.59869 |
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 | 723 |
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: SoPlex 1.4.2] [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-2667247-1276287332.opb> 0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.03/0.05 c problem read 0.03/0.05 c No objective function, only one solution is needed. 0.03/0.05 c presolving settings loaded 0.03/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 103 | - |4010k| 0 | 41 | 231 |2781 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.75 c 0.6s| 1 | 0 | 127 | - |4619k| 0 | 47 | 231 |2781 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.08 c 0.9s| 1 | 0 | 176 | - |4671k| 0 | 53 | 231 |2781 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.01 c 1.9s| 1 | 2 | 176 | - |4672k| 0 | 53 | 231 |2781 | 231 |2585 | 21 | 0 | 10 | 0.000000e+00 | -- | Inf 174.14/174.23 c 171s| 10000 | 40 |300891 | 30.1 |6674k| 44 | - | 231 |6568 | 231 |2575 | 21 |7306 |2327 | 0.000000e+00 | -- | Inf 295.10/295.29 c 289s| 20000 | 85 |589063 | 29.4 |8243k| 49 | - | 231 |9848 | 231 |2575 | 21 | 14k|2599 | 0.000000e+00 | -- | Inf 426.96/427.16 c 419s| 30000 | 91 |881805 | 29.4 |9432k| 49 | 27 | 231 | 12k| 231 |2575 | 21 | 21k|3268 | 0.000000e+00 | -- | Inf 558.63/558.81 c 548s| 40000 | 53 | 1182k| 29.5 |8576k| 49 | 23 | 231 |9508 | 231 |2575 | 21 | 28k|3769 | 0.000000e+00 | -- | Inf 689.39/689.63 c 676s| 50000 | 26 | 1479k| 29.6 |8662k| 50 | 23 | 231 | 10k| 231 |2575 | 21 | 35k|4301 | 0.000000e+00 | -- | Inf 822.15/822.48 c 806s| 60000 | 10 | 1790k| 29.8 |9170k| 52 | - | 231 | 11k| 231 |2575 | 21 | 42k|4725 | 0.000000e+00 | -- | Inf 834.35/834.62 c 834.35/834.62 c SCIP Status : problem is solved [infeasible] 834.35/834.62 c Solving Time (sec) : 818.16 834.35/834.62 c Solving Nodes : 60951 834.35/834.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 834.35/834.62 c Dual Bound : +1.00000000000000e+20 834.35/834.62 c Gap : 0.00 % 834.35/834.62 s UNSATISFIABLE 834.35/834.62 c SCIP Status : problem is solved [infeasible] 834.35/834.62 c Solving Time : 818.16 834.35/834.62 c Original Problem : 834.35/834.62 c Problem name : HOME/instance-2667247-1276287332.opb 834.35/834.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 834.35/834.62 c Constraints : 2707 initial, 2707 maximal 834.35/834.62 c Presolved Problem : 834.35/834.62 c Problem name : t_HOME/instance-2667247-1276287332.opb 834.35/834.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 834.35/834.62 c Constraints : 2564 initial, 12800 maximal 834.35/834.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 834.35/834.62 c trivial : 0.00 0 0 0 0 0 0 0 0 834.35/834.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 834.35/834.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 834.35/834.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 834.35/834.62 c implics : 0.00 0 0 0 0 0 0 0 0 834.35/834.62 c probing : 0.00 0 0 0 0 0 0 0 0 834.35/834.62 c knapsack : 0.01 0 0 0 0 0 0 0 0 834.35/834.62 c setppc : 0.00 0 0 0 0 0 0 0 0 834.35/834.62 c linear : 0.03 0 0 0 0 0 143 0 0 834.35/834.62 c logicor : 0.02 0 0 0 0 0 0 0 0 834.35/834.62 c root node : - 2 - - 2 - - - - 834.35/834.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 834.35/834.62 c integral : 0 0 0 31926 0 121 2066 0 0 61302 834.35/834.62 c knapsack : 1 4 244032 0 0 336 112898 0 0 0 834.35/834.62 c setppc : 22 4 243858 0 0 1252 348806 0 0 0 834.35/834.62 c linear : 0+ 4 232715 0 0 14 3175 0 0 0 834.35/834.62 c logicor : 2541+ 4 116797 0 0 382 382226 0 0 0 834.35/834.62 c countsols : 0 0 0 0 0 0 0 0 0 0 834.35/834.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 834.35/834.62 c integral : 95.56 0.00 0.00 95.56 0.00 834.35/834.62 c knapsack : 1.72 0.00 1.72 0.00 0.00 834.35/834.62 c setppc : 3.80 0.00 3.80 0.00 0.00 834.35/834.62 c linear : 1.93 0.00 1.93 0.00 0.00 834.35/834.62 c logicor : 19.34 0.00 19.34 0.00 0.00 834.35/834.62 c countsols : 0.00 0.00 0.00 0.00 0.00 834.35/834.62 c Propagators : Time Calls Cutoffs DomReds 834.35/834.62 c vbounds : 0.22 1 0 0 834.35/834.62 c rootredcost : 0.13 0 0 0 834.35/834.62 c pseudoobj : 0.11 0 0 0 834.35/834.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 834.35/834.62 c propagation : 0.26 1984 1979 10197 21.4 28 22.4 - 834.35/834.62 c infeasible LP : 12.18 28541 28155 166854 32.2 178 19.9 0 834.35/834.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 834.35/834.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 834.35/834.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 834.35/834.62 c applied globally : - - - 41205 19.5 - - - 834.35/834.62 c applied locally : - - - 1703 33.9 - - - 834.35/834.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 834.35/834.62 c cut pool : 0.00 3 - - 57 - (maximal pool size: 346) 834.35/834.62 c redcost : 0.28 30831 0 0 0 0 834.35/834.62 c impliedbounds : 0.00 4 0 0 0 0 834.35/834.62 c intobj : 0.00 0 0 0 0 0 834.35/834.62 c cgmip : 0.00 0 0 0 0 0 834.35/834.62 c gomory : 0.57 4 0 0 1275 0 834.35/834.62 c strongcg : 0.45 4 0 0 1306 0 834.35/834.62 c cmir : 0.00 0 0 0 0 0 834.35/834.62 c flowcover : 0.00 0 0 0 0 0 834.35/834.62 c clique : 0.00 4 0 0 0 0 834.35/834.62 c zerohalf : 0.00 0 0 0 0 0 834.35/834.62 c mcf : 0.00 1 0 0 0 0 834.35/834.62 c rapidlearning : 0.22 1 0 0 0 217 834.35/834.62 c Pricers : Time Calls Vars 834.35/834.62 c problem variables: 0.00 0 0 834.35/834.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 834.35/834.62 c relpscost : 95.45 31926 121 2066 0 0 61302 834.35/834.62 c pscost : 0.00 0 0 0 0 0 0 834.35/834.62 c inference : 0.00 0 0 0 0 0 0 834.35/834.62 c mostinf : 0.00 0 0 0 0 0 0 834.35/834.62 c leastinf : 0.00 0 0 0 0 0 0 834.35/834.62 c fullstrong : 0.00 0 0 0 0 0 0 834.35/834.62 c allfullstrong : 0.00 0 0 0 0 0 0 834.35/834.62 c random : 0.00 0 0 0 0 0 0 834.35/834.62 c Primal Heuristics : Time Calls Found 834.35/834.62 c LP solutions : 0.00 - 0 834.35/834.62 c pseudo solutions : 0.00 - 0 834.35/834.62 c trivial : 0.00 1 0 834.35/834.62 c simplerounding : 0.00 0 0 834.35/834.62 c zirounding : 0.00 0 0 834.35/834.62 c rounding : 0.00 0 0 834.35/834.62 c shifting : 0.00 0 0 834.35/834.62 c intshifting : 0.00 0 0 834.35/834.62 c oneopt : 0.00 0 0 834.35/834.62 c twoopt : 0.00 0 0 834.35/834.62 c fixandinfer : 0.00 0 0 834.35/834.62 c feaspump : 0.00 0 0 834.35/834.62 c coefdiving : 0.00 0 0 834.35/834.62 c pscostdiving : 0.00 0 0 834.35/834.62 c fracdiving : 0.00 0 0 834.35/834.62 c veclendiving : 0.00 0 0 834.35/834.62 c intdiving : 0.00 0 0 834.35/834.62 c actconsdiving : 0.00 0 0 834.35/834.62 c objpscostdiving : 0.00 0 0 834.35/834.62 c rootsoldiving : 0.00 0 0 834.35/834.62 c linesearchdiving : 0.00 0 0 834.35/834.62 c guideddiving : 0.00 0 0 834.35/834.62 c octane : 0.00 0 0 834.35/834.62 c rens : 0.00 0 0 834.35/834.62 c rins : 0.00 0 0 834.35/834.62 c localbranching : 0.00 0 0 834.35/834.62 c mutation : 0.00 0 0 834.35/834.62 c crossover : 0.00 0 0 834.35/834.62 c dins : 0.00 0 0 834.35/834.62 c undercover : 0.00 0 0 834.35/834.62 c nlp : 0.00 0 0 834.35/834.62 c trysol : 0.00 0 0 834.35/834.62 c LP : Time Calls Iterations Iter/call Iter/sec 834.35/834.62 c primal LP : 0.00 0 0 0.00 - 834.35/834.62 c dual LP : 628.42 60310 1819717 30.17 2895.70 834.35/834.62 c lex dual LP : 0.00 0 0 0.00 - 834.35/834.62 c barrier LP : 0.00 0 0 0.00 - 834.35/834.62 c diving/probing LP: 0.00 0 0 0.00 - 834.35/834.62 c strong branching : 94.07 4732 267544 56.54 2844.09 834.35/834.62 c (at root node) : - 10 1302 130.20 - 834.35/834.62 c conflict analysis: 0.00 0 0 0.00 - 834.35/834.62 c B&B Tree : 834.35/834.62 c number of runs : 1 834.35/834.62 c nodes : 60951 834.35/834.62 c nodes (total) : 60951 834.35/834.62 c nodes left : 0 834.35/834.62 c max depth : 52 834.35/834.62 c max depth (total): 52 834.35/834.62 c backtracks : 6942 (11.4%) 834.35/834.62 c delayed cutoffs : 352 834.35/834.62 c repropagations : 102042 (127196 domain reductions, 346 cutoffs) 834.35/834.62 c avg switch length: 4.87 834.35/834.62 c switching time : 20.72 834.35/834.62 c Solution : 834.35/834.62 c Solutions found : 0 (0 improvements) 834.35/834.62 c Primal Bound : infeasible 834.35/834.62 c Dual Bound : - 834.35/834.62 c Gap : 0.00 % 834.35/834.62 c Root Dual Bound : +0.00000000000000e+00 834.35/834.62 c Root Iterations : 176 834.35/834.64 c Time complete: 834.39.
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-2667247-1276287332/watcher-2667247-1276287332 -o /tmp/evaluation-result-2667247-1276287332/solver-2667247-1276287332 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667247-1276287332.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/107 5040 /proc/meminfo: memFree=1526676/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=7724 CPUtime=0 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1054 0 0 0 0 0 0 0 22 0 1 0 2388940 7909376 973 1992294400 4194304 8223781 140737338555296 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5040/statm: 1931 982 348 984 0 944 0 [startup+0.0401729 s] /proc/loadavg: 0.92 0.98 0.99 3/107 5040 /proc/meminfo: memFree=1526676/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=10064 CPUtime=0.03 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1831 0 0 0 3 0 0 0 22 0 1 0 2388940 10305536 1750 1992294400 4194304 8223781 140737338555296 18446744073709551615 7256342 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5040/statm: 2516 1750 363 984 0 1529 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10064 [startup+0.101178 s] /proc/loadavg: 0.92 0.98 0.99 3/107 5040 /proc/meminfo: memFree=1526676/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=16228 CPUtime=0.09 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 3729 0 0 0 8 1 0 0 22 0 1 0 2388940 16617472 3027 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 4057 3027 443 984 0 3070 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16228 [startup+0.301195 s] /proc/loadavg: 0.92 0.98 0.99 3/107 5040 /proc/meminfo: memFree=1526676/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=30384 CPUtime=0.29 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 9941 0 0 0 24 5 0 0 22 0 1 0 2388940 31113216 6603 1992294400 4194304 8223781 140737338555296 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 7596 6614 570 984 0 6609 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30384 [startup+0.70123 s] /proc/loadavg: 0.92 0.98 0.99 3/107 5040 /proc/meminfo: memFree=1526676/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=27320 CPUtime=0.69 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 13051 0 0 0 62 7 0 0 23 0 1 0 2388940 27975680 5985 1992294400 4194304 8223781 140737338555296 18446744073709551615 6056550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 6830 5985 583 984 0 5843 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27320 [startup+1.5013 s] /proc/loadavg: 0.92 0.98 0.99 2/108 5041 /proc/meminfo: memFree=1504472/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=27484 CPUtime=1.49 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 13098 0 0 0 140 9 0 0 25 0 1 0 2388940 28143616 6032 1992294400 4194304 8223781 140737338555296 18446744073709551615 4310596 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 6871 6032 583 984 0 5884 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27484 [startup+3.10144 s] /proc/loadavg: 0.92 0.98 0.99 2/108 5041 /proc/meminfo: memFree=1504224/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=27536 CPUtime=3.1 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 13114 0 0 0 299 11 0 0 25 0 1 0 2388940 28196864 6046 1992294400 4194304 8223781 140737338555296 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 6884 6046 584 984 0 5897 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 27536 [startup+6.30172 s] /proc/loadavg: 0.93 0.98 0.99 2/108 5041 /proc/meminfo: memFree=1504100/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=27536 CPUtime=6.29 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 13118 0 0 0 614 15 0 0 25 0 1 0 2388940 28196864 6049 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 6884 6049 586 984 0 5897 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27536 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/108 5041 /proc/meminfo: memFree=1503984/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=27536 CPUtime=12.69 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 13119 0 0 0 1247 22 0 0 25 0 1 0 2388940 28196864 6050 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 6884 6050 586 984 0 5897 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27536 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/108 5043 /proc/meminfo: memFree=1503984/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=27536 CPUtime=25.48 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 13119 0 0 0 2513 35 0 0 25 0 1 0 2388940 28196864 6050 1992294400 4194304 8223781 140737338555296 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 6884 6050 586 984 0 5897 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27536 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.99 2/108 5043 /proc/meminfo: memFree=1503736/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=27536 CPUtime=51.06 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 14616 0 0 0 5037 69 0 0 25 0 1 0 2388940 28196864 6069 1992294400 4194304 8223781 140737338555296 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 6884 6069 587 984 0 5897 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 27536 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 5045 /proc/meminfo: memFree=1502744/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=28544 CPUtime=102.26 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 114825 0 0 0 10047 179 0 0 25 0 1 0 2388940 29229056 6321 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 7136 6321 587 984 0 6149 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28544 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5045 /proc/meminfo: memFree=1501876/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=29428 CPUtime=162.24 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 218733 0 0 0 15920 304 0 0 25 0 1 0 2388940 30134272 6541 1992294400 4194304 8223781 140737338555296 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 7357 6541 587 984 0 6370 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29428 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5047 /proc/meminfo: memFree=1501132/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=30156 CPUtime=222.21 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 310909 0 0 0 21796 425 0 0 25 0 1 0 2388940 30879744 6723 1992294400 4194304 8223781 140737338555296 18446744073709551615 6591204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 7539 6723 587 984 0 6552 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 30156 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5049 /proc/meminfo: memFree=1499396/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=31804 CPUtime=282.2 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 381685 0 0 0 27679 541 0 0 25 0 1 0 2388940 32567296 7108 1992294400 4194304 8223781 140737338555296 18446744073709551615 4220846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 7951 7108 587 984 0 6964 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31804 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5051 /proc/meminfo: memFree=1498280/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=32548 CPUtime=342.18 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 479327 0 0 0 33554 664 0 0 25 0 1 0 2388940 33329152 7305 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8137 7306 587 984 0 7150 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 32548 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5053 /proc/meminfo: memFree=1497784/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=33164 CPUtime=402.17 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 554631 0 0 0 39436 781 0 0 25 0 1 0 2388940 33959936 7475 1992294400 4194304 8223781 140737338555296 18446744073709551615 6592463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8291 7475 587 984 0 7304 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33164 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5053 /proc/meminfo: memFree=1496916/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=33840 CPUtime=462.14 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 620647 0 0 0 45320 894 0 0 25 0 1 0 2388940 34652160 7642 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8460 7642 587 984 0 7473 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 33840 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5055 /proc/meminfo: memFree=1496544/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34372 CPUtime=522.12 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 706213 0 0 0 51196 1016 0 0 25 0 1 0 2388940 35196928 7738 1992294400 4194304 8223781 140737338555296 18446744073709551615 6570006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8593 7738 587 984 0 7606 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 34372 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5057 /proc/meminfo: memFree=1496296/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34848 CPUtime=582.11 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 792521 0 0 0 57072 1139 0 0 25 0 1 0 2388940 35684352 7840 1992294400 4194304 8223781 140737338555296 18446744073709551615 6559804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8712 7840 587 984 0 7725 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 34848 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5059 /proc/meminfo: memFree=1496172/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34544 CPUtime=642.1 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 853995 0 0 0 62954 1256 0 0 25 0 1 0 2388940 35373056 7793 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8636 7793 587 984 0 7649 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 34544 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 5061 /proc/meminfo: memFree=1496048/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34436 CPUtime=702.08 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 908325 0 0 0 68842 1366 0 0 25 0 1 0 2388940 35262464 7780 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8609 7780 587 984 0 7622 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 34436 [startup+762.308 s] /proc/loadavg: 1.04 1.00 1.00 2/108 5061 /proc/meminfo: memFree=1495800/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34436 CPUtime=762.07 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 984947 0 0 0 74722 1485 0 0 25 0 1 0 2388940 35262464 7780 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8609 7780 587 984 0 7622 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 34436 [startup+822.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34664 CPUtime=822.04 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1042993 0 0 0 80615 1589 0 0 25 0 1 0 2388940 35495936 7840 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8666 7840 587 984 0 7679 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 34664 Solver just ended. Dumping a history of the last processes samples [startup+825.501 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34664 CPUtime=825.25 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1047100 0 0 0 80928 1597 0 0 25 0 1 0 2388940 35495936 7840 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8666 7840 587 984 0 7679 0 Current children cumulated CPU time (s) 825.25 Current children cumulated vsize (KiB) 34664 [startup+828.701 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34892 CPUtime=828.44 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1053102 0 0 0 81241 1603 0 0 25 0 1 0 2388940 35729408 7873 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8723 7873 588 984 0 7736 0 Current children cumulated CPU time (s) 828.44 Current children cumulated vsize (KiB) 34892 [startup+831.901 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34812 CPUtime=831.65 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1059348 0 0 0 81554 1611 0 0 25 0 1 0 2388940 35647488 7867 1992294400 4194304 8223781 140737338555296 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8703 7867 587 984 0 7716 0 Current children cumulated CPU time (s) 831.65 Current children cumulated vsize (KiB) 34812 [startup+833.501 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34888 CPUtime=833.25 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1062215 0 0 0 81711 1614 0 0 25 0 1 0 2388940 35725312 7871 1992294400 4194304 8223781 140737338555296 18446744073709551615 6569863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8722 7871 587 984 0 7735 0 Current children cumulated CPU time (s) 833.25 Current children cumulated vsize (KiB) 34888 [startup+834.302 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34664 CPUtime=834.04 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1064155 0 0 0 81788 1616 0 0 25 0 1 0 2388940 35495936 7841 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8666 7841 587 984 0 7679 0 Current children cumulated CPU time (s) 834.04 Current children cumulated vsize (KiB) 34664 [startup+834.502 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34780 CPUtime=834.24 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1064640 0 0 0 81808 1616 0 0 25 0 1 0 2388940 35614720 7870 1992294400 4194304 8223781 140737338555296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8695 7870 587 984 0 7708 0 Current children cumulated CPU time (s) 834.24 Current children cumulated vsize (KiB) 34780 [startup+834.602 s] /proc/loadavg: 1.01 1.00 1.00 2/108 5063 /proc/meminfo: memFree=1495552/2059040 swapFree=4192956/4192956 [pid=5040] ppid=5038 vsize=34996 CPUtime=834.35 /proc/5040/stat : 5040 (pbscip.linux.x8) R 5038 5040 4594 0 -1 4202496 1064755 0 0 0 81818 1617 0 0 25 0 1 0 2388940 35835904 7891 1992294400 4194304 8223781 140737338555296 18446744073709551615 4431496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5040/statm: 8749 7891 587 984 0 7762 0 Current children cumulated CPU time (s) 834.35 Current children cumulated vsize (KiB) 34996 Child status: 0 Real time (s): 834.65 CPU time (s): 834.401 CPU user time (s): 818.228 CPU system time (s): 16.1735 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 36148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 818.228 system time used= 16.1735 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1064794 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 1044 runsolver used 1.36279 second user time and 3.9624 second system time The end
Begin job on node025 at 2010-06-11 22:15:32 IDJOB=2667247 IDBENCH=1285 IDSOLVER=1169 FILE ID=node025/2667247-1276287332 PBS_JOBID= 11173108 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667247-1276287332/watcher-2667247-1276287332 -o /tmp/evaluation-result-2667247-1276287332/solver-2667247-1276287332 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667247-1276287332.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 148040983257ccf233b3daf7936d3c1f RANDOM SEED=762209241 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1527080 kB Buffers: 59824 kB Cached: 332924 kB SwapCached: 0 kB Active: 173748 kB Inactive: 278420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1527080 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4620 kB Writeback: 0 kB AnonPages: 59404 kB Mapped: 15488 kB Slab: 57952 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182012 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= 62536 MiB End job on node025 at 2010-06-11 22:29:27