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 | 976.396 | 976.767 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb |
MD5SUM | 0fea7c185f4d6e2091fba763db8ccbcc |
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 | 52.791 |
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 | 685 |
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-2667251-1276288269.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.07 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.4s| 1 | 0 | 103 | - |3971k| 0 | 41 | 231 |2735 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.73 c 0.6s| 1 | 0 | 127 | - |4581k| 0 | 47 | 231 |2735 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.06 c 0.9s| 1 | 0 | 171 | - |4633k| 0 | 52 | 231 |2735 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.44 c 1.3s| 1 | 0 | 179 | - |4634k| 0 | 54 | 231 |2735 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.81 c 1.7s| 1 | 0 | 183 | - |4634k| 0 | 54 | 231 |2735 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.46 c 2.3s| 1 | 2 | 183 | - |4635k| 0 | 54 | 231 |2735 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 156.62/156.74 c 154s| 10000 | 10 |266712 | 26.7 |6587k| 37 | - | 231 |7018 | 231 |2578 | 23 |6026 |2219 | 0.000000e+00 | -- | Inf 263.69/263.87 c 258s| 20000 | 16 |509994 | 25.5 |7855k| 50 | - | 231 |9869 | 231 |2578 | 23 | 12k|2533 | 0.000000e+00 | -- | Inf 387.05/387.24 c 379s| 30000 | 52 |785405 | 26.2 |8456k| 50 | - | 231 | 10k| 231 |2578 | 23 | 18k|3079 | 0.000000e+00 | -- | Inf 518.39/518.67 c 508s| 40000 | 42 | 1084k| 27.1 |9909k| 50 | 46 | 231 | 14k| 231 |2578 | 23 | 24k|3566 | 0.000000e+00 | -- | Inf 643.64/643.95 c 631s| 50000 | 41 | 1361k| 27.2 | 11M| 50 | - | 231 | 17k| 231 |2578 | 23 | 31k|4086 | 0.000000e+00 | -- | Inf 774.89/775.29 c 760s| 60000 | 66 | 1650k| 27.5 | 12M| 50 | 27 | 231 | 20k| 231 |2578 | 23 | 38k|4575 | 0.000000e+00 | -- | Inf 912.74/913.18 c 895s| 70000 | 28 | 1961k| 28.0 | 13M| 50 | 27 | 231 | 22k| 231 |2578 | 23 | 44k|4926 | 0.000000e+00 | -- | Inf 976.33/976.71 c 976.33/976.71 c SCIP Status : problem is solved [infeasible] 976.33/976.71 c Solving Time (sec) : 957.51 976.33/976.71 c Solving Nodes : 74997 976.33/976.71 c Primal Bound : +1.00000000000000e+20 (0 solutions) 976.33/976.71 c Dual Bound : +1.00000000000000e+20 976.33/976.71 c Gap : 0.00 % 976.33/976.71 s UNSATISFIABLE 976.33/976.71 c SCIP Status : problem is solved [infeasible] 976.33/976.71 c Solving Time : 957.51 976.33/976.71 c Original Problem : 976.33/976.71 c Problem name : HOME/instance-2667251-1276288269.opb 976.33/976.71 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 976.33/976.71 c Constraints : 2707 initial, 2707 maximal 976.33/976.71 c Presolved Problem : 976.33/976.71 c Problem name : t_HOME/instance-2667251-1276288269.opb 976.33/976.71 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 976.33/976.71 c Constraints : 2564 initial, 23636 maximal 976.33/976.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 976.33/976.71 c trivial : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c implics : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c probing : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c knapsack : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c setppc : 0.00 0 0 0 0 0 0 0 0 976.33/976.71 c linear : 0.02 0 0 0 0 0 143 0 0 976.33/976.71 c logicor : 0.02 0 0 0 0 0 0 0 0 976.33/976.71 c root node : - 1 - - 1 - - - - 976.33/976.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 976.33/976.71 c integral : 0 0 0 39067 0 167 2083 0 0 75492 976.33/976.71 c knapsack : 1 5 284204 0 0 413 131396 0 0 0 976.33/976.71 c setppc : 22 5 284022 0 0 1608 397080 0 0 0 976.33/976.71 c linear : 0+ 5 219083 0 0 2 3857 0 0 0 976.33/976.71 c logicor : 2541+ 5 139789 0 0 476 477558 0 0 0 976.33/976.71 c countsols : 0 0 0 0 0 0 0 0 0 0 976.33/976.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 976.33/976.71 c integral : 97.01 0.00 0.00 97.01 0.00 976.33/976.71 c knapsack : 2.30 0.00 2.30 0.00 0.00 976.33/976.71 c setppc : 4.57 0.00 4.57 0.00 0.00 976.33/976.71 c linear : 1.27 0.00 1.27 0.00 0.00 976.33/976.71 c logicor : 33.32 0.00 33.32 0.00 0.00 976.33/976.71 c countsols : 0.00 0.00 0.00 0.00 0.00 976.33/976.71 c Propagators : Time Calls Cutoffs DomReds 976.33/976.71 c vbounds : 0.15 1 0 0 976.33/976.71 c rootredcost : 0.13 0 0 0 976.33/976.71 c pseudoobj : 0.05 0 0 0 976.33/976.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 976.33/976.71 c propagation : 0.18 2499 2494 13304 21.1 52 18.6 - 976.33/976.71 c infeasible LP : 15.35 35076 34264 213789 32.9 222 15.7 0 976.33/976.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 976.33/976.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 976.33/976.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 976.33/976.71 c applied globally : - - - 46523 18.8 - - - 976.33/976.71 c applied locally : - - - 1138 32.9 - - - 976.33/976.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 976.33/976.71 c cut pool : 0.00 4 - - 73 - (maximal pool size: 346) 976.33/976.71 c redcost : 0.31 37983 0 0 0 0 976.33/976.71 c impliedbounds : 0.00 5 0 0 0 0 976.33/976.71 c intobj : 0.00 0 0 0 0 0 976.33/976.71 c cgmip : 0.00 0 0 0 0 0 976.33/976.71 c gomory : 0.75 5 0 0 1275 0 976.33/976.71 c strongcg : 0.58 5 0 0 1306 0 976.33/976.71 c cmir : 0.00 0 0 0 0 0 976.33/976.71 c flowcover : 0.00 0 0 0 0 0 976.33/976.71 c clique : 0.00 5 0 0 0 0 976.33/976.71 c zerohalf : 0.00 0 0 0 0 0 976.33/976.71 c mcf : 0.00 1 0 0 0 0 976.33/976.71 c rapidlearning : 0.19 1 0 0 0 171 976.33/976.71 c Pricers : Time Calls Vars 976.33/976.71 c problem variables: 0.00 0 0 976.33/976.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 976.33/976.71 c relpscost : 96.87 39067 167 2083 0 0 75492 976.33/976.71 c pscost : 0.00 0 0 0 0 0 0 976.33/976.71 c inference : 0.00 0 0 0 0 0 0 976.33/976.71 c mostinf : 0.00 0 0 0 0 0 0 976.33/976.71 c leastinf : 0.00 0 0 0 0 0 0 976.33/976.71 c fullstrong : 0.00 0 0 0 0 0 0 976.33/976.71 c allfullstrong : 0.00 0 0 0 0 0 0 976.33/976.71 c random : 0.00 0 0 0 0 0 0 976.33/976.71 c Primal Heuristics : Time Calls Found 976.33/976.71 c LP solutions : 0.00 - 0 976.33/976.71 c pseudo solutions : 0.00 - 0 976.33/976.71 c trivial : 0.01 1 0 976.33/976.71 c simplerounding : 0.00 0 0 976.33/976.71 c zirounding : 0.00 0 0 976.33/976.71 c rounding : 0.00 0 0 976.33/976.71 c shifting : 0.00 0 0 976.33/976.71 c intshifting : 0.00 0 0 976.33/976.71 c oneopt : 0.00 0 0 976.33/976.71 c twoopt : 0.00 0 0 976.33/976.71 c fixandinfer : 0.00 0 0 976.33/976.71 c feaspump : 0.00 0 0 976.33/976.71 c coefdiving : 0.00 0 0 976.33/976.71 c pscostdiving : 0.00 0 0 976.33/976.71 c fracdiving : 0.00 0 0 976.33/976.71 c veclendiving : 0.00 0 0 976.33/976.71 c intdiving : 0.00 0 0 976.33/976.71 c actconsdiving : 0.00 0 0 976.33/976.71 c objpscostdiving : 0.00 0 0 976.33/976.71 c rootsoldiving : 0.00 0 0 976.33/976.71 c linesearchdiving : 0.00 0 0 976.33/976.71 c guideddiving : 0.00 0 0 976.33/976.71 c octane : 0.00 0 0 976.33/976.71 c rens : 0.00 0 0 976.33/976.71 c rins : 0.00 0 0 976.33/976.71 c localbranching : 0.00 0 0 976.33/976.71 c mutation : 0.00 0 0 976.33/976.71 c crossover : 0.00 0 0 976.33/976.71 c dins : 0.00 0 0 976.33/976.71 c undercover : 0.00 0 0 976.33/976.71 c nlp : 0.00 0 0 976.33/976.71 c trysol : 0.00 0 0 976.33/976.71 c LP : Time Calls Iterations Iter/call Iter/sec 976.33/976.71 c primal LP : 0.00 0 0 0.00 - 976.33/976.71 c dual LP : 729.11 73959 2101101 28.41 2881.73 976.33/976.71 c lex dual LP : 0.00 0 0 0.00 - 976.33/976.71 c barrier LP : 0.00 0 0 0.00 - 976.33/976.71 c diving/probing LP: 0.00 0 0 0.00 - 976.33/976.71 c strong branching : 95.16 5116 267085 52.21 2806.69 976.33/976.71 c (at root node) : - 10 1575 157.50 - 976.33/976.71 c conflict analysis: 0.00 0 0 0.00 - 976.33/976.71 c B&B Tree : 976.33/976.71 c number of runs : 1 976.33/976.71 c nodes : 74997 976.33/976.71 c nodes (total) : 74997 976.33/976.71 c nodes left : 0 976.33/976.71 c max depth : 50 976.33/976.71 c max depth (total): 50 976.33/976.71 c backtracks : 9686 (12.9%) 976.33/976.71 c delayed cutoffs : 496 976.33/976.71 c repropagations : 113889 (142756 domain reductions, 491 cutoffs) 976.33/976.71 c avg switch length: 4.57 976.33/976.71 c switching time : 29.78 976.33/976.71 c Solution : 976.33/976.71 c Solutions found : 0 (0 improvements) 976.33/976.71 c Primal Bound : infeasible 976.33/976.71 c Dual Bound : - 976.33/976.71 c Gap : 0.00 % 976.33/976.71 c Root Dual Bound : +0.00000000000000e+00 976.33/976.71 c Root Iterations : 183 976.33/976.76 c Time complete: 976.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-2667251-1276288269/watcher-2667251-1276288269 -o /tmp/evaluation-result-2667251-1276288269/solver-2667251-1276288269 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667251-1276288269.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.00 1.00 3/106 7791 /proc/meminfo: memFree=1445956/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=7724 CPUtime=0 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1033 0 0 0 0 0 0 0 22 0 1 0 4428247 7909376 952 1992294400 4194304 8223781 140733404648448 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7791/statm: 1931 962 348 984 0 944 0 [startup+0.098186 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7791 /proc/meminfo: memFree=1445956/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=16096 CPUtime=0.09 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 3683 0 0 0 8 1 0 0 24 0 1 0 4428247 16482304 2981 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 4024 2981 443 984 0 3037 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16096 [startup+0.101187 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7791 /proc/meminfo: memFree=1445956/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=16232 CPUtime=0.09 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 3719 0 0 0 8 1 0 0 24 0 1 0 4428247 16621568 3017 1992294400 4194304 8223781 140733404648448 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 4058 3020 443 984 0 3071 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16232 [startup+0.30122 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7791 /proc/meminfo: memFree=1445956/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=30168 CPUtime=0.29 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 9905 0 0 0 25 4 0 0 25 0 1 0 4428247 30892032 6567 1992294400 4194304 8223781 140733404648448 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 7542 6567 570 984 0 6555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30168 [startup+0.70129 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7791 /proc/meminfo: memFree=1445956/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=27228 CPUtime=0.69 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 13015 0 0 0 62 7 0 0 25 0 1 0 4428247 27881472 5949 1992294400 4194304 8223781 140733404648448 18446744073709551615 6058066 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 6807 5949 583 984 0 5820 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27228 [startup+1.50143 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7792 /proc/meminfo: memFree=1423876/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=27560 CPUtime=1.49 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 13084 0 0 0 141 8 0 0 25 0 1 0 4428247 28221440 6018 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 6890 6018 583 984 0 5903 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27560 [startup+3.10071 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7792 /proc/meminfo: memFree=1423628/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=27560 CPUtime=3.09 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 13195 0 0 0 299 10 0 0 25 0 1 0 4428247 28221440 6038 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 6890 6038 584 984 0 5903 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27560 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7792 /proc/meminfo: memFree=1423380/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=27560 CPUtime=6.29 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 13243 0 0 0 616 13 0 0 25 0 1 0 4428247 28221440 6069 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 6890 6069 584 984 0 5903 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27560 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7792 /proc/meminfo: memFree=1423380/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=27560 CPUtime=12.69 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 13325 0 0 0 1248 21 0 0 25 0 1 0 4428247 28221440 6072 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 6890 6072 586 984 0 5903 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27560 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7792 /proc/meminfo: memFree=1423380/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=27560 CPUtime=25.48 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 13329 0 0 0 2514 34 0 0 25 0 1 0 4428247 28221440 6073 1992294400 4194304 8223781 140733404648448 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 6890 6073 587 984 0 5903 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27560 [startup+51.101 s] /proc/loadavg: 1.06 1.01 1.00 2/107 7794 /proc/meminfo: memFree=1423008/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=27684 CPUtime=51.07 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 18262 0 0 0 5039 68 0 0 25 0 1 0 4428247 28348416 6084 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 6921 6084 587 984 0 5934 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27684 [startup+102.309 s] /proc/loadavg: 1.08 1.03 1.00 2/107 7794 /proc/meminfo: memFree=1422016/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=28500 CPUtime=102.25 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 118076 0 0 0 10043 182 0 0 25 0 1 0 4428247 29184000 6308 1992294400 4194304 8223781 140733404648448 18446744073709551615 6448531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 7125 6308 587 984 0 6138 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 28500 [startup+162.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 7796 /proc/meminfo: memFree=1421024/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=29544 CPUtime=162.22 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 243452 0 0 0 15913 309 0 0 25 0 1 0 4428247 30253056 6557 1992294400 4194304 8223781 140733404648448 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 7386 6557 587 984 0 6399 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 29544 [startup+222.301 s] /proc/loadavg: 1.08 1.04 1.00 2/107 7798 /proc/meminfo: memFree=1419536/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=30948 CPUtime=222.2 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 299891 0 0 0 21796 424 0 0 25 0 1 0 4428247 31690752 6905 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 7737 6905 587 984 0 6750 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 30948 [startup+282.301 s] /proc/loadavg: 1.03 1.03 1.00 2/107 7800 /proc/meminfo: memFree=1418544/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=31692 CPUtime=282.17 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 406921 0 0 0 27662 555 0 0 25 0 1 0 4428247 32452608 7104 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 7923 7104 587 984 0 6936 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 31692 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7802 /proc/meminfo: memFree=1417552/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=32840 CPUtime=342.15 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 468144 0 0 0 33549 666 0 0 25 0 1 0 4428247 33628160 7368 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 8210 7368 590 984 0 7223 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 32840 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7802 /proc/meminfo: memFree=1416312/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=33984 CPUtime=402.14 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 583987 0 0 0 39412 802 0 0 25 0 1 0 4428247 34799616 7642 1992294400 4194304 8223781 140733404648448 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 8496 7642 590 984 0 7509 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 33984 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7804 /proc/meminfo: memFree=1415940/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=34160 CPUtime=462.12 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 667636 0 0 0 45295 917 0 0 25 0 1 0 4428247 34979840 7723 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 8540 7723 587 984 0 7553 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 34160 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7806 /proc/meminfo: memFree=1415940/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=34564 CPUtime=522.08 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 774417 0 0 0 51163 1045 0 0 25 0 1 0 4428247 35393536 7790 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 8641 7790 587 984 0 7654 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 34564 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7808 /proc/meminfo: memFree=1414080/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=36196 CPUtime=582.06 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 855354 0 0 0 57039 1167 0 0 25 0 1 0 4428247 37064704 8209 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 9049 8209 587 984 0 8062 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 36196 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7810 /proc/meminfo: memFree=1413088/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=37048 CPUtime=642.06 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 917635 0 0 0 62928 1278 0 0 25 0 1 0 4428247 37937152 8421 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 9262 8421 587 984 0 8275 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 37048 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7810 /proc/meminfo: memFree=1411600/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=38296 CPUtime=702.03 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 961351 0 0 0 68827 1376 0 0 25 0 1 0 4428247 39215104 8725 1992294400 4194304 8223781 140733404648448 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 9574 8725 587 984 0 8587 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 38296 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7812 /proc/meminfo: memFree=1411476/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=38504 CPUtime=762.01 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1024525 0 0 0 74717 1484 0 0 25 0 1 0 4428247 39428096 8780 1992294400 4194304 8223781 140733404648448 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 9626 8780 587 984 0 8639 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 38504 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7814 /proc/meminfo: memFree=1410732/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=39272 CPUtime=821.97 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1060451 0 0 0 80614 1583 0 0 25 0 1 0 4428247 40214528 8941 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 9818 8941 587 984 0 8831 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 39272 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7816 /proc/meminfo: memFree=1410236/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40024 CPUtime=881.95 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1145245 0 0 0 86502 1693 0 0 25 0 1 0 4428247 40984576 9109 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10006 9109 589 984 0 9019 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 40024 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409368/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40532 CPUtime=941.93 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1212819 0 0 0 92383 1810 0 0 25 0 1 0 4428247 41504768 9264 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10133 9264 587 984 0 9146 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 40532 Solver just ended. Dumping a history of the last processes samples [startup+947.108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409368/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40656 CPUtime=946.74 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1219973 0 0 0 92855 1819 0 0 25 0 1 0 4428247 41631744 9297 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10164 9297 587 984 0 9177 0 Current children cumulated CPU time (s) 946.74 Current children cumulated vsize (KiB) 40656 [startup+959.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409120/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40656 CPUtime=959.52 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1241341 0 0 0 94108 1844 0 0 25 0 1 0 4428247 41631744 9298 1992294400 4194304 8223781 140733404648448 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10164 9298 587 984 0 9177 0 Current children cumulated CPU time (s) 959.52 Current children cumulated vsize (KiB) 40656 [startup+966.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409120/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40800 CPUtime=965.92 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1247889 0 0 0 94736 1856 0 0 25 0 1 0 4428247 41779200 9334 1992294400 4194304 8223781 140733404648448 18446744073709551615 6251352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10200 9334 587 984 0 9213 0 Current children cumulated CPU time (s) 965.92 Current children cumulated vsize (KiB) 40800 [startup+972.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409120/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40800 CPUtime=972.33 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1253761 0 0 0 95364 1869 0 0 25 0 1 0 4428247 41779200 9334 1992294400 4194304 8223781 140733404648448 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10200 9334 587 984 0 9213 0 Current children cumulated CPU time (s) 972.33 Current children cumulated vsize (KiB) 40800 [startup+974.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409120/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40800 CPUtime=973.92 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1256294 0 0 0 95520 1872 0 0 25 0 1 0 4428247 41779200 9339 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10200 9339 587 984 0 9213 0 Current children cumulated CPU time (s) 973.92 Current children cumulated vsize (KiB) 40800 [startup+975.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409120/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40800 CPUtime=975.52 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1258848 0 0 0 95677 1875 0 0 25 0 1 0 4428247 41779200 9339 1992294400 4194304 8223781 140733404648448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10200 9339 587 984 0 9213 0 Current children cumulated CPU time (s) 975.52 Current children cumulated vsize (KiB) 40800 [startup+976.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409120/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40800 CPUtime=975.92 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1259049 0 0 0 95716 1876 0 0 25 0 1 0 4428247 41779200 9339 1992294400 4194304 8223781 140733404648448 18446744073709551615 6592430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10200 9339 587 984 0 9213 0 Current children cumulated CPU time (s) 975.92 Current children cumulated vsize (KiB) 40800 [startup+976.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1409120/2059040 swapFree=4192956/4192956 [pid=7791] ppid=7789 vsize=40800 CPUtime=976.33 /proc/7791/stat : 7791 (pbscip.linux.x8) R 7789 7791 7056 0 -1 4202496 1259727 0 0 0 95756 1877 0 0 25 0 1 0 4428247 41779200 9339 1992294400 4194304 8223781 140733404648448 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7791/statm: 10200 9339 587 984 0 9213 0 Current children cumulated CPU time (s) 976.33 Current children cumulated vsize (KiB) 40800 Child status: 0 Real time (s): 976.767 CPU time (s): 976.396 CPU user time (s): 957.613 CPU system time (s): 18.7821 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 41776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 957.613 system time used= 18.7821 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1259783 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= 3 involuntary context switches= 4539 runsolver used 1.63675 second user time and 4.5953 second system time The end
Begin job on node014 at 2010-06-11 22:31:09 IDJOB=2667251 IDBENCH=1289 IDSOLVER=1169 FILE ID=node014/2667251-1276288269 PBS_JOBID= 11173104 Free space on /tmp= 62460 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.1900565534.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-2667251-1276288269/watcher-2667251-1276288269 -o /tmp/evaluation-result-2667251-1276288269/solver-2667251-1276288269 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667251-1276288269.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0fea7c185f4d6e2091fba763db8ccbcc RANDOM SEED=450105821 node014.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.258 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.51 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.258 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: 1446484 kB Buffers: 68888 kB Cached: 402184 kB SwapCached: 0 kB Active: 183056 kB Inactive: 347688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1446484 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4604 kB Writeback: 0 kB AnonPages: 59708 kB Mapped: 15376 kB Slab: 60052 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182340 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= 62456 MiB End job on node014 at 2010-06-11 22:47:25