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 | 867.957 | 868.409 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb |
MD5SUM | ad2f2eb73d6b7e5f546be528b10bc762 |
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 | 24.6932 |
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 | 745 |
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-2667305-1276307425.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.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.56 c 0.4s| 1 | 0 | 103 | - |3961k| 0 | 41 | 231 |2745 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.78 c 0.7s| 1 | 0 | 127 | - |4570k| 0 | 47 | 231 |2745 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.10 c 1.0s| 1 | 0 | 173 | - |4623k| 0 | 53 | 231 |2745 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.53 c 1.4s| 1 | 0 | 188 | - |4628k| 0 | 57 | 231 |2745 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.98 c 1.8s| 1 | 0 | 193 | - |4628k| 0 | 58 | 231 |2745 | 231 |2590 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf 2.79/2.83 c 2.7s| 1 | 2 | 193 | - |4629k| 0 | 58 | 231 |2745 | 231 |2590 | 26 | 0 | 10 | 0.000000e+00 | -- | Inf 163.94/164.09 c 161s| 10000 | 46 |275257 | 27.5 |6907k| 46 | 27 | 231 |7351 | 231 |2578 | 26 |6822 |2162 | 0.000000e+00 | -- | Inf 279.51/279.64 c 274s| 20000 | 44 |545951 | 27.3 |7173k| 46 | - | 231 |7243 | 231 |2578 | 26 | 13k|2446 | 0.000000e+00 | -- | Inf 406.78/406.99 c 399s| 30000 | 48 |832975 | 27.8 |7738k| 46 | - | 231 |8307 | 231 |2578 | 26 | 19k|3048 | 0.000000e+00 | -- | Inf 540.34/540.55 c 530s| 40000 | 40 | 1138k| 28.5 |8302k| 46 | 32 | 231 |9480 | 231 |2578 | 26 | 26k|3591 | 0.000000e+00 | -- | Inf 671.59/671.86 c 659s| 50000 | 30 | 1444k| 28.9 |8859k| 46 | - | 231 | 10k| 231 |2578 | 26 | 33k|4014 | 0.000000e+00 | -- | Inf 800.26/800.74 c 785s| 60000 | 38 | 1740k| 29.0 |9830k| 53 | 30 | 231 | 12k| 231 |2578 | 26 | 40k|4488 | 0.000000e+00 | -- | Inf 867.84/868.38 c 867.84/868.38 c SCIP Status : problem is solved [infeasible] 867.84/868.38 c Solving Time (sec) : 851.13 867.84/868.38 c Solving Nodes : 65260 867.84/868.38 c Primal Bound : +1.00000000000000e+20 (0 solutions) 867.84/868.38 c Dual Bound : +1.00000000000000e+20 867.84/868.38 c Gap : 0.00 % 867.84/868.38 s UNSATISFIABLE 867.84/868.38 c SCIP Status : problem is solved [infeasible] 867.84/868.38 c Solving Time : 851.13 867.84/868.38 c Original Problem : 867.84/868.38 c Problem name : HOME/instance-2667305-1276307425.opb 867.84/868.38 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 867.84/868.38 c Constraints : 2707 initial, 2707 maximal 867.84/868.38 c Presolved Problem : 867.84/868.38 c Problem name : t_HOME/instance-2667305-1276307425.opb 867.84/868.38 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 867.84/868.38 c Constraints : 2564 initial, 12928 maximal 867.84/868.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 867.84/868.38 c trivial : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c dualfix : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c boundshift : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c implics : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c probing : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c knapsack : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c setppc : 0.00 0 0 0 0 0 0 0 0 867.84/868.38 c linear : 0.03 0 0 0 0 0 143 0 0 867.84/868.38 c logicor : 0.03 0 0 0 0 0 0 0 0 867.84/868.38 c root node : - 2 - - 2 - - - - 867.84/868.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 867.84/868.38 c integral : 0 0 0 34068 0 124 1913 0 0 65694 867.84/868.38 c knapsack : 1 5 256592 0 0 405 123201 2 0 0 867.84/868.38 c setppc : 22 5 256322 0 0 1556 368316 0 0 0 867.84/868.38 c linear : 0+ 5 152279 0 0 5 5201 0 0 0 867.84/868.38 c logicor : 2541+ 5 122799 0 0 503 417034 0 0 0 867.84/868.38 c countsols : 0 0 0 0 0 0 0 0 0 0 867.84/868.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 867.84/868.38 c integral : 95.47 0.00 0.00 95.47 0.00 867.84/868.38 c knapsack : 2.08 0.00 2.08 0.00 0.00 867.84/868.38 c setppc : 4.15 0.00 4.15 0.00 0.00 867.84/868.38 c linear : 1.16 0.00 1.16 0.00 0.00 867.84/868.38 c logicor : 22.24 0.00 22.24 0.00 0.00 867.84/868.38 c countsols : 0.00 0.00 0.00 0.00 0.00 867.84/868.38 c Propagators : Time Calls Cutoffs DomReds 867.84/868.38 c vbounds : 0.19 1 0 0 867.84/868.38 c rootredcost : 0.14 0 0 0 867.84/868.38 c pseudoobj : 0.17 0 0 0 867.84/868.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 867.84/868.38 c propagation : 0.19 2469 2458 12853 21.7 33 19.6 - 867.84/868.38 c infeasible LP : 12.54 30250 29480 179478 33.2 215 16.1 0 867.84/868.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 867.84/868.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 867.84/868.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 867.84/868.38 c applied globally : - - - 42520 19.4 - - - 867.84/868.38 c applied locally : - - - 1441 33.4 - - - 867.84/868.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss 867.84/868.38 c cut pool : 0.00 4 - - 65 - (maximal pool size: 348) 867.84/868.38 c redcost : 0.23 33025 0 0 0 0 867.84/868.38 c impliedbounds : 0.00 5 0 0 0 0 867.84/868.38 c intobj : 0.00 0 0 0 0 0 867.84/868.38 c cgmip : 0.00 0 0 0 0 0 867.84/868.38 c gomory : 0.81 5 0 0 1432 0 867.84/868.38 c strongcg : 0.63 5 0 0 1463 0 867.84/868.38 c cmir : 0.00 0 0 0 0 0 867.84/868.38 c flowcover : 0.00 0 0 0 0 0 867.84/868.38 c clique : 0.00 5 0 0 0 0 867.84/868.38 c zerohalf : 0.00 0 0 0 0 0 867.84/868.38 c mcf : 0.01 1 0 0 0 0 867.84/868.38 c rapidlearning : 0.23 1 0 0 0 181 867.84/868.38 c Pricers : Time Calls Vars 867.84/868.38 c problem variables: 0.00 0 0 867.84/868.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 867.84/868.38 c relpscost : 95.33 34068 124 1913 0 0 65694 867.84/868.38 c pscost : 0.00 0 0 0 0 0 0 867.84/868.38 c inference : 0.00 0 0 0 0 0 0 867.84/868.38 c mostinf : 0.00 0 0 0 0 0 0 867.84/868.38 c leastinf : 0.00 0 0 0 0 0 0 867.84/868.38 c fullstrong : 0.00 0 0 0 0 0 0 867.84/868.38 c allfullstrong : 0.00 0 0 0 0 0 0 867.84/868.38 c random : 0.00 0 0 0 0 0 0 867.84/868.38 c Primal Heuristics : Time Calls Found 867.84/868.38 c LP solutions : 0.00 - 0 867.84/868.38 c pseudo solutions : 0.00 - 0 867.84/868.38 c trivial : 0.00 1 0 867.84/868.38 c simplerounding : 0.00 0 0 867.84/868.38 c zirounding : 0.00 0 0 867.84/868.38 c rounding : 0.00 0 0 867.84/868.38 c shifting : 0.00 0 0 867.84/868.38 c intshifting : 0.00 0 0 867.84/868.38 c oneopt : 0.00 0 0 867.84/868.38 c twoopt : 0.00 0 0 867.84/868.38 c fixandinfer : 0.00 0 0 867.84/868.38 c feaspump : 0.00 0 0 867.84/868.38 c coefdiving : 0.00 0 0 867.84/868.38 c pscostdiving : 0.00 0 0 867.84/868.38 c fracdiving : 0.00 0 0 867.84/868.38 c veclendiving : 0.00 0 0 867.84/868.38 c intdiving : 0.00 0 0 867.84/868.38 c actconsdiving : 0.00 0 0 867.84/868.38 c objpscostdiving : 0.00 0 0 867.84/868.38 c rootsoldiving : 0.00 0 0 867.84/868.38 c linesearchdiving : 0.00 0 0 867.84/868.38 c guideddiving : 0.00 0 0 867.84/868.38 c octane : 0.00 0 0 867.84/868.38 c rens : 0.00 0 0 867.84/868.38 c rins : 0.00 0 0 867.84/868.38 c localbranching : 0.00 0 0 867.84/868.38 c mutation : 0.00 0 0 867.84/868.38 c crossover : 0.00 0 0 867.84/868.38 c dins : 0.00 0 0 867.84/868.38 c undercover : 0.00 0 0 867.84/868.38 c nlp : 0.00 0 0 867.84/868.38 c trysol : 0.00 0 0 867.84/868.38 c LP : Time Calls Iterations Iter/call Iter/sec 867.84/868.38 c primal LP : 0.01 0 0 0.00 0.00 867.84/868.38 c dual LP : 653.68 64184 1895503 29.53 2899.74 867.84/868.38 c lex dual LP : 0.00 0 0 0.00 - 867.84/868.38 c barrier LP : 0.00 0 0 0.00 - 867.84/868.38 c diving/probing LP: 0.00 0 0 0.00 - 867.84/868.38 c strong branching : 93.97 4715 265515 56.31 2825.53 867.84/868.38 c (at root node) : - 10 2015 201.50 - 867.84/868.38 c conflict analysis: 0.00 0 0 0.00 - 867.84/868.38 c B&B Tree : 867.84/868.38 c number of runs : 1 867.84/868.38 c nodes : 65260 867.84/868.38 c nodes (total) : 65260 867.84/868.38 c nodes left : 0 867.84/868.38 c max depth : 53 867.84/868.38 c max depth (total): 53 867.84/868.38 c backtracks : 7515 (11.5%) 867.84/868.38 c delayed cutoffs : 435 867.84/868.38 c repropagations : 106691 (132629 domain reductions, 430 cutoffs) 867.84/868.38 c avg switch length: 4.89 867.84/868.38 c switching time : 21.44 867.84/868.38 c Solution : 867.84/868.38 c Solutions found : 0 (0 improvements) 867.84/868.38 c Primal Bound : infeasible 867.84/868.38 c Dual Bound : - 867.84/868.38 c Gap : 0.00 % 867.84/868.38 c Root Dual Bound : +0.00000000000000e+00 867.84/868.38 c Root Iterations : 193 867.94/868.40 c Time complete: 867.94.
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-2667305-1276307425/watcher-2667305-1276307425 -o /tmp/evaluation-result-2667305-1276307425/solver-2667305-1276307425 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667305-1276307425.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.78 1.48 1.19 3/106 7503 /proc/meminfo: memFree=1524732/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=7724 CPUtime=0 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1032 0 0 0 0 0 0 0 20 0 1 0 6346522 7909376 952 1992294400 4194304 8223781 140735965308400 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7503/statm: 1931 963 348 984 0 944 0 [startup+0.0948749 s] /proc/loadavg: 1.78 1.48 1.19 3/106 7503 /proc/meminfo: memFree=1524732/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=15936 CPUtime=0.08 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 3653 0 0 0 7 1 0 0 20 0 1 0 6346522 16318464 2952 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 3984 2952 441 984 0 2997 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15936 [startup+0.100876 s] /proc/loadavg: 1.78 1.48 1.19 3/106 7503 /proc/meminfo: memFree=1524732/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=16236 CPUtime=0.09 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 3721 0 0 0 8 1 0 0 20 0 1 0 6346522 16625664 3020 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 4059 3028 443 984 0 3072 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16236 [startup+0.300898 s] /proc/loadavg: 1.78 1.48 1.19 3/106 7503 /proc/meminfo: memFree=1524732/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=29952 CPUtime=0.29 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 9853 0 0 0 24 5 0 0 20 0 1 0 6346522 30670848 6516 1992294400 4194304 8223781 140735965308400 18446744073709551615 7256580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 7488 6518 570 984 0 6501 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29952 [startup+0.700945 s] /proc/loadavg: 1.78 1.48 1.19 3/106 7503 /proc/meminfo: memFree=1524732/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=27228 CPUtime=0.69 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 13040 0 0 0 61 8 0 0 21 0 1 0 6346522 27881472 5975 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 6807 5975 583 984 0 5820 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27228 [startup+1.50104 s] /proc/loadavg: 1.78 1.48 1.19 2/107 7504 /proc/meminfo: memFree=1502528/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=27392 CPUtime=1.49 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 13087 0 0 0 140 9 0 0 23 0 1 0 6346522 28049408 6022 1992294400 4194304 8223781 140735965308400 18446744073709551615 6054136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 6848 6022 583 984 0 5861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27392 [startup+3.10123 s] /proc/loadavg: 1.78 1.48 1.19 2/107 7504 /proc/meminfo: memFree=1502156/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=27668 CPUtime=3.09 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 13176 0 0 0 298 11 0 0 25 0 1 0 6346522 28332032 6092 1992294400 4194304 8223781 140735965308400 18446744073709551615 6570035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 6917 6092 584 984 0 5930 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27668 [startup+6.3006 s] /proc/loadavg: 1.72 1.47 1.19 2/107 7504 /proc/meminfo: memFree=1502032/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=27668 CPUtime=6.29 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 13176 0 0 0 615 14 0 0 25 0 1 0 6346522 28332032 6092 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 6917 6092 584 984 0 5930 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27668 [startup+12.7014 s] /proc/loadavg: 1.66 1.46 1.19 2/107 7504 /proc/meminfo: memFree=1501908/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=27668 CPUtime=12.69 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 13179 0 0 0 1249 20 0 0 25 0 1 0 6346522 28332032 6092 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 6917 6092 584 984 0 5930 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27668 [startup+25.5009 s] /proc/loadavg: 1.51 1.44 1.18 2/107 7504 /proc/meminfo: memFree=1501908/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=27668 CPUtime=25.48 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 13183 0 0 0 2517 31 0 0 25 0 1 0 6346522 28332032 6095 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 6917 6095 586 984 0 5930 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27668 [startup+51.1008 s] /proc/loadavg: 1.34 1.40 1.18 2/107 7506 /proc/meminfo: memFree=1501660/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=27860 CPUtime=51.07 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 18340 0 0 0 5041 66 0 0 25 0 1 0 6346522 28528640 6114 1992294400 4194304 8223781 140735965308400 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 6965 6114 587 984 0 5978 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27860 [startup+102.309 s] /proc/loadavg: 1.14 1.34 1.17 2/107 7506 /proc/meminfo: memFree=1500668/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=28776 CPUtime=102.26 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 132275 0 0 0 10045 181 0 0 25 0 1 0 6346522 29466624 6346 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 7194 6346 587 984 0 6207 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28776 [startup+162.301 s] /proc/loadavg: 1.05 1.28 1.16 2/107 7508 /proc/meminfo: memFree=1499800/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=29428 CPUtime=162.24 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 267188 0 0 0 15913 311 0 0 25 0 1 0 6346522 30134272 6536 1992294400 4194304 8223781 140735965308400 18446744073709551615 6592899 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 7357 6536 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: 1.02 1.22 1.14 2/107 7510 /proc/meminfo: memFree=1499056/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=30240 CPUtime=222.22 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 370317 0 0 0 21773 449 0 0 25 0 1 0 6346522 30965760 6739 1992294400 4194304 8223781 140735965308400 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 7560 6739 587 984 0 6573 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 30240 [startup+282.301 s] /proc/loadavg: 1.00 1.18 1.13 2/107 7512 /proc/meminfo: memFree=1498560/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=30752 CPUtime=282.2 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 447422 0 0 0 27652 568 0 0 25 0 1 0 6346522 31490048 6850 1992294400 4194304 8223781 140735965308400 18446744073709551615 4221615 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 7688 6850 587 984 0 6701 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 30752 [startup+342.301 s] /proc/loadavg: 1.00 1.14 1.12 2/107 7514 /proc/meminfo: memFree=1497072/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=32272 CPUtime=342.19 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 520848 0 0 0 33537 682 0 0 25 0 1 0 6346522 33046528 7220 1992294400 4194304 8223781 140735965308400 18446744073709551615 5902678 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8068 7220 587 984 0 7081 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 32272 [startup+402.301 s] /proc/loadavg: 1.00 1.12 1.11 2/107 7514 /proc/meminfo: memFree=1496452/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=32484 CPUtime=402.18 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 601467 0 0 0 39417 801 0 0 25 0 1 0 6346522 33263616 7290 1992294400 4194304 8223781 140735965308400 18446744073709551615 6505908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8121 7290 587 984 0 7134 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 32484 [startup+462.301 s] /proc/loadavg: 1.00 1.09 1.10 2/107 7516 /proc/meminfo: memFree=1496328/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=32784 CPUtime=462.16 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 694890 0 0 0 45296 920 0 0 25 0 1 0 6346522 33570816 7365 1992294400 4194304 8223781 140735965308400 18446744073709551615 6599046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8196 7365 587 984 0 7209 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 32784 [startup+522.301 s] /proc/loadavg: 1.00 1.07 1.09 2/107 7518 /proc/meminfo: memFree=1496080/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=33020 CPUtime=522.14 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 803843 0 0 0 51172 1042 0 0 25 0 1 0 6346522 33812480 7420 1992294400 4194304 8223781 140735965308400 18446744073709551615 6514327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8255 7420 587 984 0 7268 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 33020 [startup+582.301 s] /proc/loadavg: 1.00 1.06 1.08 2/107 7520 /proc/meminfo: memFree=1494840/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34204 CPUtime=582.13 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 877200 0 0 0 57053 1160 0 0 25 0 1 0 6346522 35024896 7693 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8551 7693 587 984 0 7564 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34204 [startup+642.301 s] /proc/loadavg: 1.00 1.04 1.08 2/107 7531 /proc/meminfo: memFree=1494220/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34204 CPUtime=642.1 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 918168 0 0 0 62951 1259 0 0 25 0 1 0 6346522 35024896 7693 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8551 7693 587 984 0 7564 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 34204 [startup+702.302 s] /proc/loadavg: 1.00 1.03 1.07 2/107 8023 /proc/meminfo: memFree=1493204/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34328 CPUtime=701.89 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 971608 0 0 0 68823 1366 0 0 25 0 1 0 6346522 35151872 7721 1992294400 4194304 8223781 140735965308400 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8582 7721 587 984 0 7595 0 Current children cumulated CPU time (s) 701.89 Current children cumulated vsize (KiB) 34328 [startup+762.309 s] /proc/loadavg: 1.00 1.03 1.06 2/107 8025 /proc/meminfo: memFree=1492972/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34664 CPUtime=761.87 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1049997 0 0 0 74708 1479 0 0 25 0 1 0 6346522 35495936 7832 1992294400 4194304 8223781 140735965308400 18446744073709551615 6568060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8666 7832 587 984 0 7679 0 Current children cumulated CPU time (s) 761.87 Current children cumulated vsize (KiB) 34664 [startup+822.302 s] /proc/loadavg: 1.00 1.02 1.06 2/107 8027 /proc/meminfo: memFree=1492972/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34664 CPUtime=821.85 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1133526 0 0 0 80589 1596 0 0 25 0 1 0 6346522 35495936 7833 1992294400 4194304 8223781 140735965308400 18446744073709551615 6003754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8666 7833 587 984 0 7679 0 Current children cumulated CPU time (s) 821.85 Current children cumulated vsize (KiB) 34664 Solver just ended. Dumping a history of the last processes samples [startup+844.701 s] /proc/loadavg: 1.00 1.02 1.06 2/107 8027 /proc/meminfo: memFree=1492972/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34992 CPUtime=844.25 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1149101 0 0 0 82791 1634 0 0 25 0 1 0 6346522 35831808 7915 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8748 7915 587 984 0 7761 0 Current children cumulated CPU time (s) 844.25 Current children cumulated vsize (KiB) 34992 [startup+857.502 s] /proc/loadavg: 1.00 1.02 1.06 2/107 8029 /proc/meminfo: memFree=1492848/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34992 CPUtime=857.04 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1152567 0 0 0 84050 1654 0 0 25 0 1 0 6346522 35831808 7917 1992294400 4194304 8223781 140735965308400 18446744073709551615 6250733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8748 7917 587 984 0 7761 0 Current children cumulated CPU time (s) 857.04 Current children cumulated vsize (KiB) 34992 [startup+863.902 s] /proc/loadavg: 1.00 1.02 1.05 2/107 8029 /proc/meminfo: memFree=1492848/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34992 CPUtime=863.44 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1156175 0 0 0 84676 1668 0 0 25 0 1 0 6346522 35831808 7917 1992294400 4194304 8223781 140735965308400 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8748 7917 587 984 0 7761 0 Current children cumulated CPU time (s) 863.44 Current children cumulated vsize (KiB) 34992 [startup+865.502 s] /proc/loadavg: 1.00 1.02 1.05 2/107 8029 /proc/meminfo: memFree=1492848/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34992 CPUtime=865.04 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1156666 0 0 0 84833 1671 0 0 25 0 1 0 6346522 35831808 7917 1992294400 4194304 8223781 140735965308400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8748 7917 587 984 0 7761 0 Current children cumulated CPU time (s) 865.04 Current children cumulated vsize (KiB) 34992 [startup+867.102 s] /proc/loadavg: 1.00 1.02 1.05 2/107 8029 /proc/meminfo: memFree=1492848/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34992 CPUtime=866.64 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1157183 0 0 0 84991 1673 0 0 25 0 1 0 6346522 35831808 7917 1992294400 4194304 8223781 140735965308400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8748 7917 587 984 0 7761 0 Current children cumulated CPU time (s) 866.64 Current children cumulated vsize (KiB) 34992 [startup+867.909 s] /proc/loadavg: 1.00 1.02 1.05 2/107 8029 /proc/meminfo: memFree=1492848/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34992 CPUtime=867.44 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1157405 0 0 0 85070 1674 0 0 25 0 1 0 6346522 35831808 7917 1992294400 4194304 8223781 140735965308400 18446744073709551615 6251364 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8748 7917 587 984 0 7761 0 Current children cumulated CPU time (s) 867.44 Current children cumulated vsize (KiB) 34992 [startup+868.302 s] /proc/loadavg: 1.00 1.02 1.05 2/107 8029 /proc/meminfo: memFree=1492848/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=34992 CPUtime=867.84 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1157486 0 0 0 85109 1675 0 0 25 0 1 0 6346522 35831808 7917 1992294400 4194304 8223781 140735965308400 18446744073709551615 6569880 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7503/statm: 8748 7917 587 984 0 7761 0 Current children cumulated CPU time (s) 867.84 Current children cumulated vsize (KiB) 34992 [startup+868.402 s] /proc/loadavg: 1.00 1.02 1.05 2/107 8029 /proc/meminfo: memFree=1492848/2059040 swapFree=4192956/4192956 [pid=7503] ppid=7501 vsize=32936 CPUtime=867.94 /proc/7503/stat : 7503 (pbscip.linux.x8) R 7501 7503 7321 0 -1 4202496 1157521 0 0 0 85119 1675 0 0 25 0 1 0 6346522 33726464 7405 1992294400 4194304 8223781 140735965308400 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7503/statm: 8234 7405 589 984 0 7247 0 Current children cumulated CPU time (s) 867.94 Current children cumulated vsize (KiB) 32936 Child status: 0 Real time (s): 868.409 CPU time (s): 867.957 CPU user time (s): 851.198 CPU system time (s): 16.7595 CPU usage (%): 99.9479 Max. virtual memory (cumulated for all children) (KiB): 36188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 851.198 system time used= 16.7595 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1157525 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= 10107 runsolver used 1.43978 second user time and 4.11537 second system time The end
Begin job on node001 at 2010-06-12 03:50:25 IDJOB=2667305 IDBENCH=1348 IDSOLVER=1169 FILE ID=node001/2667305-1276307425 PBS_JOBID= 11173141 Free space on /tmp= 62364 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.1900551347.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-2667305-1276307425/watcher-2667305-1276307425 -o /tmp/evaluation-result-2667305-1276307425/solver-2667305-1276307425 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667305-1276307425.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad2f2eb73d6b7e5f546be528b10bc762 RANDOM SEED=1535457077 node001.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.202 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.40 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.202 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: 1525136 kB Buffers: 88120 kB Cached: 316808 kB SwapCached: 0 kB Active: 179104 kB Inactive: 285164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1525136 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4628 kB Writeback: 0 kB AnonPages: 59356 kB Mapped: 15428 kB Slab: 47788 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182324 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62388 MiB End job on node001 at 2010-06-12 04:04:53