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 | 1451.03 | 1451.47 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb |
MD5SUM | 92f66beef1a16468af1cdeb8f0308249 |
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 | 483.153 |
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 | 641 |
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-2666889-1276284430.opb> 0.03/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.03/0.06 c problem read 0.03/0.06 c No objective function, only one solution is needed. 0.03/0.06 c presolving settings loaded 0.03/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.18 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.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.4s| 1 | 0 | 102 | - |3963k| 0 | 43 | 231 |2728 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.70 c 0.6s| 1 | 0 | 119 | - |4532k| 0 | 45 | 231 |2728 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.07 c 0.9s| 1 | 0 | 135 | - |4887k| 0 | 51 | 231 |2728 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.41 c 1.3s| 1 | 0 | 161 | - |4917k| 0 | 51 | 231 |2728 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.79 c 1.6s| 1 | 0 | 181 | - |4928k| 0 | 54 | 231 |2728 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.54 c 2.4s| 1 | 2 | 181 | - |4929k| 0 | 54 | 231 |2728 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 171.63/171.72 c 168s| 10000 | 31 |302059 | 30.2 |6957k| 34 | - | 231 |7180 | 231 |2578 | 23 |6024 |2322 | 0.000000e+00 | -- | Inf 280.71/280.86 c 275s| 20000 | 22 |560077 | 28.0 |8593k| 40 | - | 231 | 11k| 231 |2578 | 23 | 12k|2518 | 0.000000e+00 | -- | Inf 404.36/404.55 c 396s| 30000 | 37 |827933 | 27.6 |9722k| 45 | 35 | 231 | 13k| 231 |2578 | 23 | 18k|3238 | 0.000000e+00 | -- | Inf 523.23/523.48 c 512s| 40000 | 82 | 1092k| 27.3 | 11M| 45 | - | 231 | 17k| 231 |2578 | 23 | 24k|3707 | 0.000000e+00 | -- | Inf 643.30/643.54 c 631s| 50000 | 78 | 1354k| 27.1 | 12M| 45 | 29 | 231 | 19k| 231 |2578 | 23 | 31k|4234 | 0.000000e+00 | -- | Inf 767.36/767.64 c 752s| 60000 | 57 | 1627k| 27.1 | 12M| 45 | 38 | 231 | 17k| 231 |2578 | 23 | 37k|4661 | 0.000000e+00 | -- | Inf 888.92/889.21 c 871s| 70000 | 160 | 1898k| 27.1 | 13M| 45 | 30 | 231 | 20k| 231 |2578 | 23 | 44k|5044 | 0.000000e+00 | -- | Inf 1016.88/1017.21 c 997s| 80000 | 179 | 2189k| 27.4 | 14M| 51 | - | 231 | 22k| 231 |2578 | 23 | 50k|5412 | 0.000000e+00 | -- | Inf 1140.35/1140.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1140.35/1140.72 c 1119s| 90000 | 165 | 2466k| 27.4 | 15M| 51 | 27 | 231 | 24k| 231 |2578 | 23 | 57k|5756 | 0.000000e+00 | -- | Inf 1264.41/1264.85 c 1241s|100000 | 88 | 2741k| 27.4 | 13M| 51 | - | 231 | 21k| 231 |2578 | 23 | 64k|6065 | 0.000000e+00 | -- | Inf 1392.77/1393.27 c 1368s|110000 | 28 | 3029k| 27.5 | 13M| 51 | 40 | 231 | 20k| 231 |2578 | 23 | 71k|6406 | 0.000000e+00 | -- | Inf 1450.95/1451.41 c 1450.95/1451.41 c SCIP Status : problem is solved [infeasible] 1450.95/1451.41 c Solving Time (sec) : 1424.76 1450.95/1451.41 c Solving Nodes : 114608 1450.95/1451.41 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1450.95/1451.41 c Dual Bound : +1.00000000000000e+20 1450.95/1451.41 c Gap : 0.00 % 1450.95/1451.41 s UNSATISFIABLE 1450.95/1451.41 c SCIP Status : problem is solved [infeasible] 1450.95/1451.41 c Solving Time : 1424.76 1450.95/1451.41 c Original Problem : 1450.95/1451.41 c Problem name : HOME/instance-2666889-1276284430.opb 1450.95/1451.41 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1450.95/1451.41 c Constraints : 2707 initial, 2707 maximal 1450.95/1451.41 c Presolved Problem : 1450.95/1451.41 c Problem name : t_HOME/instance-2666889-1276284430.opb 1450.95/1451.41 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1450.95/1451.41 c Constraints : 2564 initial, 24702 maximal 1450.95/1451.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1450.95/1451.41 c trivial : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c dualfix : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c boundshift : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c implics : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c probing : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c knapsack : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c setppc : 0.00 0 0 0 0 0 0 0 0 1450.95/1451.41 c linear : 0.04 0 0 0 0 0 143 0 0 1450.95/1451.41 c logicor : 0.01 0 0 0 0 0 0 0 0 1450.95/1451.41 c root node : - 2 - - 2 - - - - 1450.95/1451.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1450.95/1451.41 c integral : 0 0 0 59429 0 227 2666 0 0 115252 1450.95/1451.41 c knapsack : 1 5 440720 0 0 659 177533 0 0 0 1450.95/1451.41 c setppc : 22 5 440375 0 0 1788 604546 0 0 0 1450.95/1451.41 c linear : 0+ 5 257921 0 0 0 5440 0 0 0 1450.95/1451.41 c logicor : 2541+ 5 220169 0 0 477 757008 0 0 0 1450.95/1451.42 c countsols : 0 0 0 0 0 0 0 0 0 0 1450.95/1451.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1450.95/1451.42 c integral : 121.36 0.00 0.00 121.36 0.00 1450.95/1451.42 c knapsack : 3.42 0.00 3.42 0.00 0.00 1450.95/1451.42 c setppc : 6.98 0.00 6.98 0.00 0.00 1450.95/1451.42 c linear : 1.39 0.00 1.39 0.00 0.00 1450.95/1451.42 c logicor : 59.49 0.01 59.48 0.00 0.00 1450.95/1451.42 c countsols : 0.00 0.00 0.00 0.00 0.00 1450.95/1451.42 c Propagators : Time Calls Cutoffs DomReds 1450.95/1451.42 c vbounds : 0.32 1 0 0 1450.95/1451.42 c rootredcost : 0.30 0 0 0 1450.95/1451.42 c pseudoobj : 0.26 0 0 0 1450.95/1451.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1450.95/1451.42 c propagation : 0.24 2924 2921 16376 22.9 45 20.5 - 1450.95/1451.42 c infeasible LP : 24.43 54469 53361 347747 33.1 318 17.7 0 1450.95/1451.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1450.95/1451.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1450.95/1451.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1450.95/1451.42 c applied globally : - - - 72023 19.7 - - - 1450.95/1451.42 c applied locally : - - - 2821 33.5 - - - 1450.95/1451.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1450.95/1451.42 c cut pool : 0.00 4 - - 78 - (maximal pool size: 405) 1450.95/1451.42 c redcost : 0.55 57926 0 0 0 0 1450.95/1451.42 c impliedbounds : 0.00 5 0 0 0 0 1450.95/1451.42 c intobj : 0.00 0 0 0 0 0 1450.95/1451.42 c cgmip : 0.00 0 0 0 0 0 1450.95/1451.42 c gomory : 0.67 5 0 0 1108 0 1450.95/1451.42 c strongcg : 0.59 5 0 0 1649 0 1450.95/1451.42 c cmir : 0.00 0 0 0 0 0 1450.95/1451.42 c flowcover : 0.00 0 0 0 0 0 1450.95/1451.42 c clique : 0.01 5 0 0 0 0 1450.95/1451.42 c zerohalf : 0.00 0 0 0 0 0 1450.95/1451.42 c mcf : 0.00 1 0 0 0 0 1450.95/1451.42 c rapidlearning : 0.20 1 0 0 0 164 1450.95/1451.42 c Pricers : Time Calls Vars 1450.95/1451.42 c problem variables: 0.00 0 0 1450.95/1451.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1450.95/1451.42 c relpscost : 121.22 59429 227 2666 0 0 115252 1450.95/1451.42 c pscost : 0.00 0 0 0 0 0 0 1450.95/1451.42 c inference : 0.00 0 0 0 0 0 0 1450.95/1451.42 c mostinf : 0.00 0 0 0 0 0 0 1450.95/1451.42 c leastinf : 0.00 0 0 0 0 0 0 1450.95/1451.42 c fullstrong : 0.00 0 0 0 0 0 0 1450.95/1451.42 c allfullstrong : 0.00 0 0 0 0 0 0 1450.95/1451.42 c random : 0.00 0 0 0 0 0 0 1450.95/1451.42 c Primal Heuristics : Time Calls Found 1450.95/1451.42 c LP solutions : 0.00 - 0 1450.95/1451.42 c pseudo solutions : 0.00 - 0 1450.95/1451.42 c trivial : 0.00 1 0 1450.95/1451.42 c simplerounding : 0.00 0 0 1450.95/1451.42 c zirounding : 0.00 0 0 1450.95/1451.42 c rounding : 0.00 0 0 1450.95/1451.42 c shifting : 0.00 0 0 1450.95/1451.42 c intshifting : 0.00 0 0 1450.95/1451.42 c oneopt : 0.00 0 0 1450.95/1451.42 c twoopt : 0.00 0 0 1450.95/1451.42 c fixandinfer : 0.00 0 0 1450.95/1451.42 c feaspump : 0.00 0 0 1450.95/1451.42 c coefdiving : 0.00 0 0 1450.95/1451.42 c pscostdiving : 0.00 0 0 1450.95/1451.42 c fracdiving : 0.00 0 0 1450.95/1451.42 c veclendiving : 0.00 0 0 1450.95/1451.42 c intdiving : 0.00 0 0 1450.95/1451.42 c actconsdiving : 0.00 0 0 1450.95/1451.42 c objpscostdiving : 0.00 0 0 1450.95/1451.42 c rootsoldiving : 0.00 0 0 1450.95/1451.42 c linesearchdiving : 0.00 0 0 1450.95/1451.42 c guideddiving : 0.00 0 0 1450.95/1451.42 c octane : 0.00 0 0 1450.95/1451.42 c rens : 0.00 0 0 1450.95/1451.42 c rins : 0.00 0 0 1450.95/1451.42 c localbranching : 0.00 0 0 1450.95/1451.42 c mutation : 0.00 0 0 1450.95/1451.42 c crossover : 0.00 0 0 1450.95/1451.42 c dins : 0.00 0 0 1450.95/1451.42 c undercover : 0.00 0 0 1450.95/1451.42 c nlp : 0.00 0 0 1450.95/1451.42 c trysol : 0.00 0 0 1450.95/1451.42 c LP : Time Calls Iterations Iter/call Iter/sec 1450.95/1451.42 c primal LP : 0.00 0 0 0.00 - 1450.95/1451.42 c dual LP : 1082.97 113569 3161482 27.84 2919.27 1450.95/1451.42 c lex dual LP : 0.00 0 0 0.00 - 1450.95/1451.42 c barrier LP : 0.00 0 0 0.00 - 1450.95/1451.42 c diving/probing LP: 0.00 0 0 0.00 - 1450.95/1451.42 c strong branching : 118.58 6529 335288 51.35 2827.53 1450.95/1451.42 c (at root node) : - 10 1914 191.40 - 1450.95/1451.42 c conflict analysis: 0.00 0 0 0.00 - 1450.95/1451.42 c B&B Tree : 1450.95/1451.42 c number of runs : 1 1450.95/1451.42 c nodes : 114608 1450.95/1451.42 c nodes (total) : 114608 1450.95/1451.42 c nodes left : 0 1450.95/1451.42 c max depth : 51 1450.95/1451.42 c max depth (total): 51 1450.95/1451.42 c backtracks : 14599 (12.7%) 1450.95/1451.42 c delayed cutoffs : 645 1450.95/1451.42 c repropagations : 174319 (263100 domain reductions, 638 cutoffs) 1450.95/1451.42 c avg switch length: 4.69 1450.95/1451.42 c switching time : 52.20 1450.95/1451.42 c Solution : 1450.95/1451.42 c Solutions found : 0 (0 improvements) 1450.95/1451.42 c Primal Bound : infeasible 1450.95/1451.42 c Dual Bound : - 1450.95/1451.42 c Gap : 0.00 % 1450.95/1451.42 c Root Dual Bound : +0.00000000000000e+00 1450.95/1451.42 c Root Iterations : 181 1450.95/1451.47 c Time complete: 1451.02.
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-2666889-1276284430/watcher-2666889-1276284430 -o /tmp/evaluation-result-2666889-1276284430/solver-2666889-1276284430 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666889-1276284430.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5935 /proc/meminfo: memFree=1559508/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=6692 CPUtime=0 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 846 0 0 0 0 0 0 0 19 0 1 0 4046706 6852608 766 1992294400 4194304 8223781 140734588429728 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5935/statm: 1673 776 338 984 0 686 0 [startup+0.0403209 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5935 /proc/meminfo: memFree=1559508/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=10072 CPUtime=0.03 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1823 0 0 0 3 0 0 0 19 0 1 0 4046706 10313728 1743 1992294400 4194304 8223781 140734588429728 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5935/statm: 2518 1743 363 984 0 1531 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10072 [startup+0.101328 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5935 /proc/meminfo: memFree=1559508/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=16100 CPUtime=0.09 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 3681 0 0 0 8 1 0 0 20 0 1 0 4046706 16486400 2980 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 4025 2980 443 984 0 3038 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16100 [startup+0.301351 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5935 /proc/meminfo: memFree=1559508/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=29484 CPUtime=0.29 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 9541 0 0 0 25 4 0 0 20 0 1 0 4046706 30191616 6204 1992294400 4194304 8223781 140734588429728 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7371 6213 570 984 0 6384 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29484 [startup+0.701395 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5935 /proc/meminfo: memFree=1559508/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=27328 CPUtime=0.69 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 13046 0 0 0 61 8 0 0 21 0 1 0 4046706 27983872 5981 1992294400 4194304 8223781 140734588429728 18446744073709551615 6592556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 6832 5981 583 984 0 5845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27328 [startup+1.50149 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5936 /proc/meminfo: memFree=1537304/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=29848 CPUtime=1.49 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 13675 0 0 0 139 10 0 0 23 0 1 0 4046706 30564352 6605 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7462 6605 583 984 0 6475 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29848 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5936 /proc/meminfo: memFree=1534700/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=29860 CPUtime=3.09 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 14439 0 0 0 296 13 0 0 25 0 1 0 4046706 30576640 6625 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7465 6625 584 984 0 6478 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29860 [startup+6.30103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5936 /proc/meminfo: memFree=1534576/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=29860 CPUtime=6.29 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 16288 0 0 0 612 17 0 0 25 0 1 0 4046706 30576640 6625 1992294400 4194304 8223781 140734588429728 18446744073709551615 6570559 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7465 6625 584 984 0 6478 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29860 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5936 /proc/meminfo: memFree=1534328/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=29860 CPUtime=12.69 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 24114 0 0 0 1243 26 0 0 25 0 1 0 4046706 30576640 6628 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7465 6628 586 984 0 6478 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29860 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5936 /proc/meminfo: memFree=1534328/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=29860 CPUtime=25.48 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 40330 0 0 0 2501 47 0 0 25 0 1 0 4046706 30576640 6629 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7465 6629 587 984 0 6478 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29860 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5938 /proc/meminfo: memFree=1534080/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=30224 CPUtime=51.08 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 78146 0 0 0 5015 93 0 0 25 0 1 0 4046706 30949376 6720 1992294400 4194304 8223781 140734588429728 18446744073709551615 6448554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7556 6720 587 984 0 6569 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30224 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5938 /proc/meminfo: memFree=1533336/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=31224 CPUtime=102.26 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 180286 0 0 0 10023 203 0 0 25 0 1 0 4046706 31973376 6932 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 7806 6932 587 984 0 6819 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31224 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5940 /proc/meminfo: memFree=1531972/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=32232 CPUtime=162.24 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 316176 0 0 0 15894 330 0 0 25 0 1 0 4046706 33005568 7211 1992294400 4194304 8223781 140734588429728 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 8058 7211 587 984 0 7071 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32232 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5942 /proc/meminfo: memFree=1530360/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=34076 CPUtime=222.22 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 444411 0 0 0 21750 472 0 0 25 0 1 0 4046706 34893824 7656 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 8519 7656 587 984 0 7532 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34076 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5944 /proc/meminfo: memFree=1528376/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=35760 CPUtime=282.21 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 532530 0 0 0 27623 598 0 0 25 0 1 0 4046706 36618240 8099 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 8940 8099 587 984 0 7953 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 35760 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5946 /proc/meminfo: memFree=1527880/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=36112 CPUtime=342.19 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 603466 0 0 0 33501 718 0 0 25 0 1 0 4046706 36978688 8186 1992294400 4194304 8223781 140734588429728 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 9028 8186 587 984 0 8041 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 36112 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5946 /proc/meminfo: memFree=1527508/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=36636 CPUtime=402.16 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 710536 0 0 0 39368 848 0 0 25 0 1 0 4046706 37515264 8293 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 9159 8293 587 984 0 8172 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 36636 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5948 /proc/meminfo: memFree=1526516/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=37652 CPUtime=462.15 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 786790 0 0 0 45247 968 0 0 25 0 1 0 4046706 38555648 8523 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 9413 8523 587 984 0 8426 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 37652 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5950 /proc/meminfo: memFree=1524408/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=39672 CPUtime=522.13 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 873795 0 0 0 51125 1088 0 0 25 0 1 0 4046706 40624128 9004 1992294400 4194304 8223781 140734588429728 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 9918 9004 587 984 0 8931 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 39672 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5952 /proc/meminfo: memFree=1523292/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=41108 CPUtime=582.12 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 916263 0 0 0 57016 1196 0 0 25 0 1 0 4046706 42094592 9332 1992294400 4194304 8223781 140734588429728 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 10277 9332 587 984 0 9290 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 41108 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5954 /proc/meminfo: memFree=1522300/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=41584 CPUtime=642.11 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 922734 0 0 0 62941 1270 0 0 25 0 1 0 4046706 42582016 9503 1992294400 4194304 8223781 140734588429728 18446744073709551615 6162453 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 10396 9503 587 984 0 9409 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 41584 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1521804/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=42072 CPUtime=822.04 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1087262 0 0 0 80602 1602 0 0 25 0 1 0 4046706 43081728 9599 1992294400 4194304 8223781 140734588429728 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 10518 9599 587 984 0 9531 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 42072 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5960 /proc/meminfo: memFree=1521680/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=42200 CPUtime=882.02 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1182400 0 0 0 86476 1726 0 0 25 0 1 0 4046706 43212800 9632 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 10550 9632 587 984 0 9563 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 42200 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5962 /proc/meminfo: memFree=1520812/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=43088 CPUtime=942 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1240810 0 0 0 92365 1835 0 0 25 0 1 0 4046706 44122112 9865 1992294400 4194304 8223781 140734588429728 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 10772 9865 587 984 0 9785 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 43088 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5962 /proc/meminfo: memFree=1520192/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=43528 CPUtime=1001.98 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1252942 0 0 0 98283 1915 0 0 25 0 1 0 4046706 44572672 9951 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 10882 9951 587 984 0 9895 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 43528 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5964 /proc/meminfo: memFree=1519820/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=44152 CPUtime=1061.97 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1265555 0 0 0 104198 1999 0 0 25 0 1 0 4046706 45211648 10113 1992294400 4194304 8223781 140734588429728 18446744073709551615 7256791 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11038 10113 587 984 0 10051 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 44152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5966 /proc/meminfo: memFree=1518704/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=44892 CPUtime=1121.95 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1271797 0 0 0 110120 2075 0 0 25 0 1 0 4046706 45969408 10325 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11223 10325 587 984 0 10236 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 44892 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5968 /proc/meminfo: memFree=1518084/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45252 CPUtime=1181.93 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1287113 0 0 0 116033 2160 0 0 25 0 1 0 4046706 46338048 10402 1992294400 4194304 8223781 140734588429728 18446744073709551615 6592205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11313 10402 587 984 0 10326 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 45252 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5970 /proc/meminfo: memFree=1517960/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45492 CPUtime=1241.91 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1322547 0 0 0 121932 2259 0 0 25 0 1 0 4046706 46583808 10442 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11373 10442 587 984 0 10386 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 45492 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5970 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45512 CPUtime=1301.9 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1361282 0 0 0 127828 2362 0 0 25 0 1 0 4046706 46604288 10422 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11378 10422 587 984 0 10391 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 45512 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5972 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45252 CPUtime=1361.88 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1396336 0 0 0 133726 2462 0 0 25 0 1 0 4046706 46338048 10410 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11313 10410 587 984 0 10326 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 45252 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45504 CPUtime=1421.87 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1436601 0 0 0 139622 2565 0 0 25 0 1 0 4046706 46596096 10441 1992294400 4194304 8223781 140734588429728 18446744073709551615 6304269 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11376 10441 587 984 0 10389 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 45504 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45492 CPUtime=1433.06 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1444745 0 0 0 140721 2585 0 0 25 0 1 0 4046706 46583808 10447 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11373 10447 587 984 0 10386 0 Current children cumulated CPU time (s) 1433.06 Current children cumulated vsize (KiB) 45492 [startup+1439.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45492 CPUtime=1439.46 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1450176 0 0 0 141351 2595 0 0 25 0 1 0 4046706 46583808 10447 1992294400 4194304 8223781 140734588429728 18446744073709551615 6592895 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11373 10447 587 984 0 10386 0 Current children cumulated CPU time (s) 1439.46 Current children cumulated vsize (KiB) 45492 [startup+1446.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45508 CPUtime=1445.86 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1455594 0 0 0 141978 2608 0 0 25 0 1 0 4046706 46600192 10418 1992294400 4194304 8223781 140734588429728 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11377 10418 587 984 0 10390 0 Current children cumulated CPU time (s) 1445.86 Current children cumulated vsize (KiB) 45508 [startup+1449.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45252 CPUtime=1449.05 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1457613 0 0 0 142292 2613 0 0 25 0 1 0 4046706 46338048 10410 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11313 10410 587 984 0 10326 0 Current children cumulated CPU time (s) 1449.05 Current children cumulated vsize (KiB) 45252 [startup+1450.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45364 CPUtime=1449.85 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1457896 0 0 0 142371 2614 0 0 25 0 1 0 4046706 46452736 10411 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11341 10411 587 984 0 10354 0 Current children cumulated CPU time (s) 1449.85 Current children cumulated vsize (KiB) 45364 [startup+1451.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45252 CPUtime=1450.65 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1458226 0 0 0 142449 2616 0 0 25 0 1 0 4046706 46338048 10410 1992294400 4194304 8223781 140734588429728 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11313 10410 587 984 0 10326 0 Current children cumulated CPU time (s) 1450.65 Current children cumulated vsize (KiB) 45252 [startup+1451.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45252 CPUtime=1450.85 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1458256 0 0 0 142469 2616 0 0 25 0 1 0 4046706 46338048 10410 1992294400 4194304 8223781 140734588429728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11313 10410 587 984 0 10326 0 Current children cumulated CPU time (s) 1450.85 Current children cumulated vsize (KiB) 45252 [startup+1451.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1517836/2059040 swapFree=4192956/4192956 [pid=5935] ppid=5933 vsize=45252 CPUtime=1450.95 /proc/5935/stat : 5935 (pbscip.linux.x8) R 5933 5935 5182 0 -1 4202496 1458307 0 0 0 142479 2616 0 0 25 0 1 0 4046706 46338048 10410 1992294400 4194304 8223781 140734588429728 18446744073709551615 6599041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5935/statm: 11363 10411 587 984 0 10376 0 Current children cumulated CPU time (s) 1450.95 Current children cumulated vsize (KiB) 45252 Child status: 0 Real time (s): 1451.47 CPU time (s): 1451.03 CPU user time (s): 1424.86 CPU system time (s): 26.172 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 46040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1424.86 system time used= 26.172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1458430 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3650 runsolver used 2.50462 second user time and 6.74198 second system time The end
Begin job on node006 at 2010-06-11 21:27:10 IDJOB=2666889 IDBENCH=1279 IDSOLVER=1169 FILE ID=node006/2666889-1276284430 PBS_JOBID= 11173093 Free space on /tmp= 62472 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.1900670234.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-2666889-1276284430/watcher-2666889-1276284430 -o /tmp/evaluation-result-2666889-1276284430/solver-2666889-1276284430 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666889-1276284430.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 92f66beef1a16468af1cdeb8f0308249 RANDOM SEED=555288611 node006.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.204 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.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1560036 kB Buffers: 60432 kB Cached: 311960 kB SwapCached: 0 kB Active: 172000 kB Inactive: 259748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1560036 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4616 kB Writeback: 0 kB AnonPages: 59292 kB Mapped: 15392 kB Slab: 45520 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180340 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= 62468 MiB End job on node006 at 2010-06-11 21:51:22