Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 1603.01 | 1603.61 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb |
MD5SUM | 12591fb3a3171df58322c5e93cb6a45b |
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 | 44.8062 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2703730-1278549065.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.06 c presolving: 0.09/0.10 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.11 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.13 c (round 3) 0 del vars, 264 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.13 c presolving (4 rounds): 0.09/0.13 c 0 deleted vars, 264 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.13 c 242 implications, 22 cliques 0.09/0.13 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints 0.09/0.13 c 1 constraints of type <knapsack> 0.09/0.13 c 22 constraints of type <setppc> 0.09/0.13 c 2420 constraints of type <logicor> 0.09/0.13 c transformed objective value is always integral (scale: 1) 0.09/0.13 c Presolving Time: 0.07 0.09/0.13 c - non default parameters ---------------------------------------------------------------------- 0.09/0.13 c # SCIP version 1.2.1.3 0.09/0.13 c 0.09/0.13 c # frequency for displaying node information lines 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.13 c display/freq = 10000 0.09/0.13 c 0.09/0.13 c # maximal time in seconds to run 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/time = 1789.96 0.09/0.13 c 0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/memory = 1620 0.09/0.13 c 0.09/0.13 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c limits/solutions = 1 0.09/0.13 c 0.09/0.13 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.13 c separating/maxrounds = 1 0.09/0.13 c 0.09/0.13 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/maxroundsroot = 5 0.09/0.13 c 0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.13 c # [type: int, range: [1,2], default: 1] 0.09/0.13 c timing/clocktype = 2 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify inequalities 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/linear/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/indicator/addCouplingCons = TRUE 0.09/0.13 c 0.09/0.13 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.13 c constraints/knapsack/disaggregation = FALSE 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify knapsacks 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c presolving/probing/maxrounds = 0 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/coefdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.13 c heuristics/crossover/freq = -1 0.09/0.13 c 0.09/0.13 c # number of nodes added to the contingent of the total nodes 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.13 c heuristics/crossover/nodesofs = 750 0.09/0.13 c 0.09/0.13 c # number of nodes without incumbent change that heuristic should wait 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.13 c heuristics/crossover/nwaitingnodes = 100 0.09/0.13 c 0.09/0.13 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.13 c # [type: real, range: [0,1], default: 0.1] 0.09/0.13 c heuristics/crossover/nodesquot = 0.15 0.09/0.13 c 0.09/0.13 c # minimum percentage of integer variables that have to be fixed 0.09/0.13 c # [type: real, range: [0,1], default: 0.666] 0.09/0.13 c heuristics/crossover/minfixingrate = 0.5 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/feaspump/freq = -1 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/fracdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/guideddiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/intshifting/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/linesearchdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/nlp/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/objpscostdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.13 c # [type: real, range: [0,1], default: 0.01] 0.09/0.13 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/oneopt/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/pscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/rens/freq = -1 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixable 0.09/0.14 c # [type: real, range: [0,1], default: 0.5] 0.09/0.14 c heuristics/rens/minfixingrate = 0.3 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/rens/nodesofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/rootsoldiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/rounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/shifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/simplerounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/trivial/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/trysol/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/veclendiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/zirounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/cmir/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/flowcover/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/rapidlearning/freq = 0 0.09/0.14 c 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c start solving 0.09/0.14 c 0.09/0.16 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.16 c 0.1s| 1 | 0 | 76 | - |3488k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.5s| 1 | 0 | 108 | - |3908k| 0 | 46 | 231 |2611 | 231 |2456 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.81 c 0.8s| 1 | 0 | 132 | - |4241k| 0 | 46 | 231 |2611 | 231 |2459 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.07 c 1.0s| 1 | 0 | 168 | - |4576k| 0 | 48 | 231 |2611 | 231 |2462 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.38 c 1.3s| 1 | 0 | 195 | - |4955k| 0 | 50 | 231 |2611 | 231 |2463 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.74 c 1.7s| 1 | 0 | 244 | - |5039k| 0 | 54 | 231 |2611 | 231 |2464 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.44 c 2.4s| 1 | 2 | 244 | - |5040k| 0 | 54 | 231 |2611 | 231 |2464 | 21 | 0 | 10 | 0.000000e+00 | -- | Inf 139.12/139.24 c 139s| 10000 | 108 |254967 | 25.5 |6919k| 39 | 37 | 231 |5959 | 231 |2453 | 21 |5337 |2117 | 0.000000e+00 | -- | Inf 237.50/237.61 c 238s| 20000 | 104 |506436 | 25.3 |7640k| 40 | 33 | 231 |7183 | 231 |2453 | 21 | 11k|2311 | 0.000000e+00 | -- | Inf 347.95/348.12 c 348s| 30000 | 93 |773886 | 25.8 |7893k| 48 | 27 | 231 |7436 | 231 |2453 | 21 | 17k|2893 | 0.000000e+00 | -- | Inf 449.21/449.41 c 449s| 40000 | 103 | 1015k| 25.4 |9502k| 49 | - | 231 | 11k| 231 |2453 | 21 | 23k|3484 | 0.000000e+00 | -- | Inf 556.47/556.76 c 557s| 50000 | 73 | 1275k| 25.5 |9426k| 49 | 29 | 231 | 10k| 231 |2453 | 21 | 29k|3985 | 0.000000e+00 | -- | Inf 663.43/663.72 c 664s| 60000 | 50 | 1537k| 25.6 |8878k| 49 | - | 231 |8960 | 231 |2453 | 21 | 35k|4347 | 0.000000e+00 | -- | Inf 773.00/773.34 c 773s| 70000 | 54 | 1809k| 25.9 |9757k| 49 | 38 | 231 | 11k| 231 |2453 | 21 | 41k|4720 | 0.000000e+00 | -- | Inf 882.16/882.53 c 882s| 80000 | 41 | 2079k| 26.0 | 10M| 49 | 28 | 231 | 13k| 231 |2453 | 21 | 47k|5053 | 0.000000e+00 | -- | Inf 987.21/987.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 987.21/987.66 c 988s| 90000 | 75 | 2335k| 25.9 | 11M| 49 | - | 231 | 15k| 231 |2453 | 21 | 53k|5347 | 0.000000e+00 | -- | Inf 1093.67/1094.17 c 1094s|100000 | 152 | 2590k| 25.9 | 12M| 54 | 29 | 231 | 17k| 231 |2453 | 21 | 59k|5730 | 0.000000e+00 | -- | Inf 1198.04/1198.57 c 1199s|110000 | 172 | 2842k| 25.8 | 12M| 58 | 31 | 231 | 16k| 231 |2453 | 21 | 65k|5988 | 0.000000e+00 | -- | Inf 1305.20/1305.76 c 1306s|120000 | 95 | 3106k| 25.9 | 12M| 58 | 32 | 231 | 15k| 231 |2453 | 21 | 70k|6213 | 0.000000e+00 | -- | Inf 1413.45/1414.04 c 1414s|130000 | 30 | 3371k| 25.9 | 11M| 58 | 34 | 231 | 15k| 231 |2453 | 21 | 76k|6526 | 0.000000e+00 | -- | Inf 1517.43/1518.09 c 1518s|140000 | 17 | 3630k| 25.9 | 10M| 58 | 30 | 231 | 12k| 231 |2453 | 21 | 82k|6703 | 0.000000e+00 | -- | Inf 1602.89/1603.57 c 1602.89/1603.57 c SCIP Status : problem is solved [infeasible] 1602.89/1603.57 c Solving Time (sec) : 1603.52 1602.89/1603.57 c Solving Nodes : 147925 1602.89/1603.57 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1602.89/1603.57 c Dual Bound : +1.00000000000000e+20 1602.89/1603.57 c Gap : 0.00 % 1602.89/1603.57 s UNSATISFIABLE 1602.89/1603.57 c SCIP Status : problem is solved [infeasible] 1602.89/1603.57 c Solving Time : 1603.52 1602.89/1603.57 c Original Problem : 1602.89/1603.57 c Problem name : HOME/instance-2703730-1278549065.opb 1602.89/1603.57 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1602.89/1603.57 c Constraints : 2707 initial, 2707 maximal 1602.89/1603.57 c Presolved Problem : 1602.89/1603.57 c Problem name : t_HOME/instance-2703730-1278549065.opb 1602.89/1603.57 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1602.89/1603.57 c Constraints : 2443 initial, 17546 maximal 1602.89/1603.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1602.89/1603.57 c trivial : 0.00 0 0 0 0 0 0 0 0 1602.89/1603.57 c dualfix : 0.00 0 0 0 0 0 0 0 0 1602.89/1603.57 c boundshift : 0.00 0 0 0 0 0 0 0 0 1602.89/1603.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1602.89/1603.57 c implics : 0.00 0 0 0 0 0 0 0 0 1602.89/1603.57 c probing : 0.00 0 0 0 0 0 0 0 0 1602.89/1603.57 c knapsack : 0.00 0 0 0 0 0 0 0 0 1602.89/1603.57 c setppc : 0.00 0 0 0 0 0 121 0 0 1602.89/1603.57 c linear : 0.03 0 0 0 0 0 143 0 0 1602.89/1603.57 c logicor : 0.03 0 0 0 0 0 0 0 0 1602.89/1603.57 c root node : - 21 - - 21 - - - - 1602.89/1603.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1602.89/1603.57 c integral : 0 0 0 76411 0 234 2785 0 0 148820 1602.89/1603.57 c knapsack : 1 5 552596 0 0 1159 253890 0 0 0 1602.89/1603.57 c setppc : 22 5 551784 0 0 2959 768429 0 0 0 1602.89/1603.57 c linear : 0+ 5 236954 0 0 16 4634 3 0 0 1602.89/1603.57 c logicor : 2420+ 5 277483 0 0 1133 966604 0 0 0 1602.89/1603.57 c countsols : 0 0 0 0 0 0 0 0 0 0 1602.89/1603.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1602.89/1603.57 c integral : 117.93 0.00 0.00 117.93 0.00 1602.89/1603.57 c knapsack : 4.31 0.00 4.31 0.00 0.00 1602.89/1603.57 c setppc : 8.78 0.00 8.78 0.00 0.00 1602.89/1603.57 c linear : 1.19 0.00 1.19 0.00 0.00 1602.89/1603.57 c logicor : 57.14 0.00 57.14 0.00 0.00 1602.89/1603.57 c countsols : 0.00 0.00 0.00 0.00 0.00 1602.89/1603.57 c Propagators : Time Calls Cutoffs DomReds 1602.89/1603.57 c vbounds : 0.31 1 0 0 1602.89/1603.57 c rootredcost : 0.30 0 0 0 1602.89/1603.57 c pseudoobj : 0.20 0 0 0 1602.89/1603.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1602.89/1603.57 c propagation : 0.46 5267 5245 29781 24.1 86 20.8 - 1602.89/1603.57 c infeasible LP : 27.91 68906 65578 423984 36.4 362 18.4 0 1602.89/1603.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1602.89/1603.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1602.89/1603.57 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1602.89/1603.57 c applied globally : - - - 79300 19.8 - - - 1602.89/1603.57 c applied locally : - - - 7641 35.2 - - - 1602.89/1603.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1602.89/1603.57 c cut pool : 0.00 4 - - 20 - (maximal pool size: 448) 1602.89/1603.57 c redcost : 0.69 74744 0 0 0 0 1602.89/1603.57 c impliedbounds : 0.00 5 0 0 0 0 1602.89/1603.57 c intobj : 0.00 0 0 0 0 0 1602.89/1603.57 c cgmip : 0.00 0 0 0 0 0 1602.89/1603.57 c gomory : 0.79 5 0 0 775 0 1602.89/1603.57 c strongcg : 0.48 5 0 0 2051 0 1602.89/1603.57 c cmir : 0.00 0 0 0 0 0 1602.89/1603.57 c flowcover : 0.00 0 0 0 0 0 1602.89/1603.57 c clique : 0.00 5 0 0 0 0 1602.89/1603.57 c zerohalf : 0.00 0 0 0 0 0 1602.89/1603.57 c mcf : 0.00 1 0 0 0 0 1602.89/1603.57 c rapidlearning : 0.24 1 0 0 0 168 1602.89/1603.57 c Pricers : Time Calls Vars 1602.89/1603.57 c problem variables: 0.00 0 0 1602.89/1603.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1602.89/1603.57 c relpscost : 117.74 76411 234 2785 0 0 148820 1602.89/1603.57 c pscost : 0.00 0 0 0 0 0 0 1602.89/1603.57 c inference : 0.00 0 0 0 0 0 0 1602.89/1603.57 c mostinf : 0.00 0 0 0 0 0 0 1602.89/1603.57 c leastinf : 0.00 0 0 0 0 0 0 1602.89/1603.57 c fullstrong : 0.00 0 0 0 0 0 0 1602.89/1603.57 c allfullstrong : 0.00 0 0 0 0 0 0 1602.89/1603.57 c random : 0.00 0 0 0 0 0 0 1602.89/1603.57 c Primal Heuristics : Time Calls Found 1602.89/1603.57 c LP solutions : 0.00 - 0 1602.89/1603.57 c pseudo solutions : 0.00 - 0 1602.89/1603.57 c trivial : 0.00 1 0 1602.89/1603.57 c simplerounding : 0.00 0 0 1602.89/1603.57 c zirounding : 0.00 0 0 1602.89/1603.57 c rounding : 0.00 0 0 1602.89/1603.57 c shifting : 0.00 0 0 1602.89/1603.57 c intshifting : 0.00 0 0 1602.89/1603.57 c oneopt : 0.00 0 0 1602.89/1603.57 c twoopt : 0.00 0 0 1602.89/1603.57 c fixandinfer : 0.00 0 0 1602.89/1603.57 c feaspump : 0.00 0 0 1602.89/1603.57 c coefdiving : 0.00 0 0 1602.89/1603.57 c pscostdiving : 0.00 0 0 1602.89/1603.57 c fracdiving : 0.00 0 0 1602.89/1603.57 c veclendiving : 0.00 0 0 1602.89/1603.57 c intdiving : 0.00 0 0 1602.89/1603.57 c actconsdiving : 0.00 0 0 1602.89/1603.57 c objpscostdiving : 0.00 0 0 1602.89/1603.57 c rootsoldiving : 0.00 0 0 1602.89/1603.57 c linesearchdiving : 0.00 0 0 1602.89/1603.57 c guideddiving : 0.00 0 0 1602.89/1603.57 c octane : 0.00 0 0 1602.89/1603.57 c rens : 0.00 0 0 1602.89/1603.57 c rins : 0.00 0 0 1602.89/1603.57 c localbranching : 0.00 0 0 1602.89/1603.57 c mutation : 0.00 0 0 1602.89/1603.57 c crossover : 0.00 0 0 1602.89/1603.57 c dins : 0.00 0 0 1602.89/1603.57 c undercover : 0.00 0 0 1602.89/1603.57 c nlp : 0.00 0 0 1602.89/1603.57 c trysol : 0.00 0 0 1602.89/1603.57 c LP : Time Calls Iterations Iter/call Iter/sec 1602.89/1603.57 c primal LP : 0.00 0 0 0.00 - 1602.89/1603.57 c dual LP : 1251.43 144921 3842316 26.51 3070.34 1602.89/1603.57 c lex dual LP : 0.00 0 0 0.00 - 1602.89/1603.57 c barrier LP : 0.00 0 0 0.00 - 1602.89/1603.57 c diving/probing LP: 0.00 0 0 0.00 - 1602.89/1603.57 c strong branching : 114.84 6902 345110 50.00 3005.02 1602.89/1603.57 c (at root node) : - 10 1836 183.60 - 1602.89/1603.57 c conflict analysis: 0.00 0 0 0.00 - 1602.89/1603.57 c B&B Tree : 1602.89/1603.57 c number of runs : 1 1602.89/1603.57 c nodes : 147925 1602.89/1603.57 c nodes (total) : 147925 1602.89/1603.57 c nodes left : 0 1602.89/1603.57 c max depth : 58 1602.89/1603.57 c max depth (total): 58 1602.89/1603.57 c backtracks : 18324 (12.4%) 1602.89/1603.57 c delayed cutoffs : 896 1602.89/1603.57 c repropagations : 216524 (270121 domain reductions, 892 cutoffs) 1602.89/1603.57 c avg switch length: 4.54 1602.89/1603.57 c switching time : 54.85 1602.89/1603.57 c Solution : 1602.89/1603.57 c Solutions found : 0 (0 improvements) 1602.89/1603.57 c Primal Bound : infeasible 1602.89/1603.57 c Dual Bound : - 1602.89/1603.57 c Gap : 0.00 % 1602.89/1603.57 c Root Dual Bound : +0.00000000000000e+00 1602.89/1603.57 c Root Iterations : 244 1602.99/1603.61 c Time complete: 1602.99.
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-2703730-1278549065/watcher-2703730-1278549065 -o /tmp/evaluation-result-2703730-1278549065/solver-2703730-1278549065 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703730-1278549065.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.90 3/106 26360 /proc/meminfo: memFree=1716020/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=7904 CPUtime=0 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 1021 0 0 0 0 0 0 0 20 0 1 0 23113537 8093696 932 1992294400 4194304 8395647 140735898969648 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26360/statm: 1976 939 365 1026 0 946 0 [startup+0.089973 s] /proc/loadavg: 0.92 0.98 0.90 3/106 26360 /proc/meminfo: memFree=1716020/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=18180 CPUtime=0.08 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 3930 0 0 0 7 1 0 0 22 0 1 0 23113537 18616320 3487 1992294400 4194304 8395647 140735898969648 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 4545 3487 470 1026 0 3515 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18180 [startup+0.100974 s] /proc/loadavg: 0.92 0.98 0.90 3/106 26360 /proc/meminfo: memFree=1716020/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=19272 CPUtime=0.09 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 4206 0 0 0 8 1 0 0 22 0 1 0 23113537 19734528 3763 1992294400 4194304 8395647 140735898969648 18446744073709551615 4288144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 4818 3763 474 1026 0 3788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19272 [startup+0.301008 s] /proc/loadavg: 0.92 0.98 0.90 3/106 26360 /proc/meminfo: memFree=1716020/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=32908 CPUtime=0.29 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 7779 0 0 0 27 2 0 0 22 0 1 0 23113537 33697792 7298 1992294400 4194304 8395647 140735898969648 18446744073709551615 6349608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 8227 7302 601 1026 0 7197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32908 [startup+0.701077 s] /proc/loadavg: 0.92 0.98 0.90 3/106 26360 /proc/meminfo: memFree=1716020/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=0.69 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8780 0 0 0 64 5 0 0 24 0 1 0 23113537 38371328 8271 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8271 626 1026 0 8338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37472 [startup+1.50122 s] /proc/loadavg: 0.92 0.98 0.90 2/107 26361 /proc/meminfo: memFree=1685136/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=1.49 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8862 0 0 0 144 5 0 0 25 0 1 0 23113537 38371328 8348 1992294400 4194304 8395647 140735898969648 18446744073709551615 6202710 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8348 621 1026 0 8338 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37472 [startup+3.10149 s] /proc/loadavg: 0.92 0.98 0.90 2/107 26361 /proc/meminfo: memFree=1684640/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=3.09 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8865 0 0 0 302 7 0 0 25 0 1 0 23113537 38371328 8351 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8351 624 1026 0 8338 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37472 [startup+6.30104 s] /proc/loadavg: 0.93 0.98 0.90 2/107 26361 /proc/meminfo: memFree=1684144/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=6.29 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8865 0 0 0 619 10 0 0 25 0 1 0 23113537 38371328 8351 1992294400 4194304 8395647 140735898969648 18446744073709551615 6698282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8351 624 1026 0 8338 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37472 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.90 2/107 26361 /proc/meminfo: memFree=1684268/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=12.69 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8867 0 0 0 1252 17 0 0 25 0 1 0 23113537 38371328 8353 1992294400 4194304 8395647 140735898969648 18446744073709551615 7382027 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8353 626 1026 0 8338 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37472 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.91 2/107 26361 /proc/meminfo: memFree=1684268/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=25.48 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8868 0 0 0 2517 31 0 0 25 0 1 0 23113537 38371328 8354 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8354 627 1026 0 8338 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37472 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.91 2/107 26362 /proc/meminfo: memFree=1684144/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=51.06 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8869 0 0 0 5048 58 0 0 25 0 1 0 23113537 38371328 8355 1992294400 4194304 8395647 140735898969648 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8355 627 1026 0 8338 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 37472 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.91 2/107 26363 /proc/meminfo: memFree=1684144/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=102.24 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8871 0 0 0 10112 112 0 0 25 0 1 0 23113537 38371328 8357 1992294400 4194304 8395647 140735898969648 18446744073709551615 6696936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8357 627 1026 0 8338 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 37472 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26365 /proc/meminfo: memFree=1684144/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=162.21 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8871 0 0 0 16054 167 0 0 25 0 1 0 23113537 38371328 8357 1992294400 4194304 8395647 140735898969648 18446744073709551615 6383879 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8357 627 1026 0 8338 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 37472 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26367 /proc/meminfo: memFree=1684144/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=222.19 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8871 0 0 0 21995 224 0 0 25 0 1 0 23113537 38371328 8357 1992294400 4194304 8395647 140735898969648 18446744073709551615 6644461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8357 627 1026 0 8338 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 37472 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26368 /proc/meminfo: memFree=1683896/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=282.17 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 8944 0 0 0 27933 284 0 0 25 0 1 0 23113537 38371328 8430 1992294400 4194304 8395647 140735898969648 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8430 627 1026 0 8338 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 37472 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26370 /proc/meminfo: memFree=1683524/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=342.15 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9026 0 0 0 33869 346 0 0 25 0 1 0 23113537 38371328 8512 1992294400 4194304 8395647 140735898969648 18446744073709551615 6693705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8512 627 1026 0 8338 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 37472 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26371 /proc/meminfo: memFree=1683152/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=402.13 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9124 0 0 0 39810 403 0 0 25 0 1 0 23113537 38371328 8610 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8610 627 1026 0 8338 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 37472 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26373 /proc/meminfo: memFree=1683152/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37472 CPUtime=462.1 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9124 0 0 0 45749 461 0 0 25 0 1 0 23113537 38371328 8610 1992294400 4194304 8395647 140735898969648 18446744073709551615 6731701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9368 8610 627 1026 0 8338 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 37472 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26375 /proc/meminfo: memFree=1683028/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=37932 CPUtime=522.09 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9159 0 0 0 51693 516 0 0 25 0 1 0 23113537 38842368 8645 1992294400 4194304 8395647 140735898969648 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9483 8645 627 1026 0 8453 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 37932 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26376 /proc/meminfo: memFree=1682780/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=38064 CPUtime=582.06 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9222 0 0 0 57630 576 0 0 25 0 1 0 23113537 38977536 8708 1992294400 4194304 8395647 140735898969648 18446744073709551615 6696700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9516 8708 627 1026 0 8486 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 38064 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26378 /proc/meminfo: memFree=1682656/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=38064 CPUtime=642.05 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9237 0 0 0 63570 635 0 0 25 0 1 0 23113537 38977536 8723 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9516 8723 627 1026 0 8486 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 38064 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1682408/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=38264 CPUtime=702.02 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9281 0 0 0 69509 693 0 0 25 0 1 0 23113537 39182336 8767 1992294400 4194304 8395647 140735898969648 18446744073709551615 4911262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9566 8767 627 1026 0 8536 0 Current children cumulated CPU time (s) 702.02 Current children cumulated vsize (KiB) 38264 [startup+762.309 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26381 /proc/meminfo: memFree=1682284/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=38264 CPUtime=762 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9290 0 0 0 75452 748 0 0 25 0 1 0 23113537 39182336 8776 1992294400 4194304 8395647 140735898969648 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9566 8776 627 1026 0 8536 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 38264 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.91 3/107 26383 /proc/meminfo: memFree=1682160/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=38404 CPUtime=821.98 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9335 0 0 0 81391 807 0 0 25 0 1 0 23113537 39325696 8821 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9601 8821 627 1026 0 8571 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 38404 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26384 /proc/meminfo: memFree=1681788/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=38848 CPUtime=881.95 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9423 0 0 0 87328 867 0 0 25 0 1 0 23113537 39780352 8909 1992294400 4194304 8395647 140735898969648 18446744073709551615 6746523 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9712 8909 627 1026 0 8682 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 38848 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26386 /proc/meminfo: memFree=1681292/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=39580 CPUtime=941.93 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9549 0 0 0 93266 927 0 0 25 0 1 0 23113537 40529920 9035 1992294400 4194304 8395647 140735898969648 18446744073709551615 6697254 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9895 9035 627 1026 0 8865 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 39580 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26387 /proc/meminfo: memFree=1680920/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=39788 CPUtime=1001.9 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 9611 0 0 0 99203 987 0 0 25 0 1 0 23113537 40742912 9097 1992294400 4194304 8395647 140735898969648 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 9947 9097 627 1026 0 8917 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 39788 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26389 /proc/meminfo: memFree=1679060/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=41720 CPUtime=1061.88 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10083 0 0 0 105144 1044 0 0 25 0 1 0 23113537 42721280 9569 1992294400 4194304 8395647 140735898969648 18446744073709551615 6698104 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10430 9569 627 1026 0 9400 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 41720 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26391 /proc/meminfo: memFree=1678936/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=41720 CPUtime=1121.87 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10108 0 0 0 111078 1109 0 0 25 0 1 0 23113537 42721280 9594 1992294400 4194304 8395647 140735898969648 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10430 9594 627 1026 0 9400 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 41720 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26392 /proc/meminfo: memFree=1678564/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=41720 CPUtime=1181.84 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10150 0 0 0 117016 1168 0 0 25 0 1 0 23113537 42721280 9636 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10430 9636 627 1026 0 9400 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 41720 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26394 /proc/meminfo: memFree=1678192/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=41904 CPUtime=1241.82 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10202 0 0 0 122958 1224 0 0 25 0 1 0 23113537 42909696 9688 1992294400 4194304 8395647 140735898969648 18446744073709551615 6723557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10476 9688 627 1026 0 9446 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 41904 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26395 /proc/meminfo: memFree=1678192/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=41904 CPUtime=1301.81 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10206 0 0 0 128898 1283 0 0 25 0 1 0 23113537 42909696 9692 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10476 9692 627 1026 0 9446 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 41904 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26397 /proc/meminfo: memFree=1678192/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=41904 CPUtime=1361.77 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10206 0 0 0 134833 1344 0 0 25 0 1 0 23113537 42909696 9692 1992294400 4194304 8395647 140735898969648 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10476 9692 627 1026 0 9446 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 41904 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26399 /proc/meminfo: memFree=1677944/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=42224 CPUtime=1421.76 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10265 0 0 0 140774 1402 0 0 25 0 1 0 23113537 43237376 9751 1992294400 4194304 8395647 140735898969648 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10556 9751 627 1026 0 9526 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 42224 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26400 /proc/meminfo: memFree=1677820/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=42224 CPUtime=1481.73 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10291 0 0 0 146711 1462 0 0 25 0 1 0 23113537 43237376 9777 1992294400 4194304 8395647 140735898969648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10556 9777 627 1026 0 9526 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 42224 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26402 /proc/meminfo: memFree=1677820/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=42224 CPUtime=1541.71 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10292 0 0 0 152648 1523 0 0 25 0 1 0 23113537 43237376 9778 1992294400 4194304 8395647 140735898969648 18446744073709551615 6723962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10556 9778 627 1026 0 9526 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 42224 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26403 /proc/meminfo: memFree=1677820/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=42224 CPUtime=1601.69 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10293 0 0 0 158589 1580 0 0 25 0 1 0 23113537 43237376 9779 1992294400 4194304 8395647 140735898969648 18446744073709551615 6688187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10556 9779 628 1026 0 9526 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 42224 Solver just ended. Dumping a history of the last processes samples [startup+1603.1 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26403 /proc/meminfo: memFree=1677820/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=42224 CPUtime=1602.49 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10293 0 0 0 158668 1581 0 0 25 0 1 0 23113537 43237376 9779 1992294400 4194304 8395647 140735898969648 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10556 9779 628 1026 0 9526 0 Current children cumulated CPU time (s) 1602.49 Current children cumulated vsize (KiB) 42224 [startup+1603.5 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26403 /proc/meminfo: memFree=1677820/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=42224 CPUtime=1602.89 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10293 0 0 0 158708 1581 0 0 25 0 1 0 23113537 43237376 9779 1992294400 4194304 8395647 140735898969648 18446744073709551615 6696677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26360/statm: 10556 9779 628 1026 0 9526 0 Current children cumulated CPU time (s) 1602.89 Current children cumulated vsize (KiB) 42224 [startup+1603.6 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26403 /proc/meminfo: memFree=1677820/2059040 swapFree=4139720/4192956 [pid=26360] ppid=26358 vsize=42224 CPUtime=1602.99 /proc/26360/stat : 26360 (pbscip.linux.x8) R 26358 26360 25841 0 -1 4202496 10295 0 0 0 158718 1581 0 0 25 0 1 0 23113537 43237376 9781 1992294400 4194304 8395647 140735898969648 18446744073709551615 6345832 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26360/statm: 10556 9781 630 1026 0 9526 0 Current children cumulated CPU time (s) 1602.99 Current children cumulated vsize (KiB) 42224 Child status: 0 Real time (s): 1603.61 CPU time (s): 1603.01 CPU user time (s): 1587.19 CPU system time (s): 15.8186 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 42224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1587.19 system time used= 15.8186 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10298 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= 2 involuntary context switches= 3295 runsolver used 2.5986 second user time and 7.62484 second system time The end
Begin job on node048 at 2010-07-08 02:31:05 IDJOB=2703730 IDBENCH=1315 IDSOLVER=1213 FILE ID=node048/2703730-1278549065 PBS_JOBID= 11239493 Free space on /tmp= 62568 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 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.1900556231.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-2703730-1278549065/watcher-2703730-1278549065 -o /tmp/evaluation-result-2703730-1278549065/solver-2703730-1278549065 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703730-1278549065.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b RANDOM SEED=1393110255 node048.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.262 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.52 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.262 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1716424 kB Buffers: 59732 kB Cached: 195452 kB SwapCached: 7124 kB Active: 111724 kB Inactive: 157356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1716424 kB SwapTotal: 4192956 kB SwapFree: 4139720 kB Dirty: 10432 kB Writeback: 0 kB AnonPages: 11440 kB Mapped: 11968 kB Slab: 51488 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180548 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= 62556 MiB End job on node048 at 2010-07-08 02:57:49