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 | 1182.57 | 1182.94 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb |
MD5SUM | 30c4f9acafc0f3a30de05f75833db699 |
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 | 26.279 |
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 | 689 |
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-2667316-1276313586.opb> 0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.06 c problem read 0.00/0.06 c No objective function, only one solution is needed. 0.00/0.06 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.07 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.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.54 c 0.4s| 1 | 0 | 103 | - |3973k| 0 | 43 | 231 |2747 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.71 c 0.6s| 1 | 0 | 118 | - |4602k| 0 | 44 | 231 |2747 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.97 c 0.8s| 1 | 0 | 128 | - |5027k| 0 | 48 | 231 |2747 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.32 c 1.2s| 1 | 0 | 133 | - |5028k| 0 | 50 | 231 |2747 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.71 c 1.6s| 1 | 0 | 143 | - |5030k| 0 | 49 | 231 |2747 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 2.29/2.36 c 2.2s| 1 | 2 | 143 | - |5030k| 0 | 49 | 231 |2747 | 231 |2589 | 25 | 0 | 10 | 0.000000e+00 | -- | Inf 162.04/162.16 c 159s| 10000 | 87 |284559 | 28.4 |7117k| 33 | 30 | 231 |6773 | 231 |2577 | 25 |6137 |2374 | 0.000000e+00 | -- | Inf 284.71/284.88 c 279s| 20000 | 85 |574799 | 28.7 |8007k| 41 | 38 | 231 |8561 | 231 |2577 | 25 | 12k|2609 | 0.000000e+00 | -- | Inf 409.08/409.28 c 401s| 30000 | 162 |848774 | 28.3 |9944k| 41 | - | 231 | 12k| 231 |2577 | 25 | 19k|3275 | 0.000000e+00 | -- | Inf 536.23/536.44 c 526s| 40000 | 198 | 1135k| 28.4 |9932k| 47 | 44 | 231 | 11k| 231 |2577 | 25 | 25k|3785 | 0.000000e+00 | -- | Inf 664.30/664.60 c 652s| 50000 | 198 | 1423k| 28.5 |9745k| 47 | - | 231 | 10k| 231 |2577 | 25 | 32k|4301 | 0.000000e+00 | -- | Inf 788.74/789.04 c 774s| 60000 | 198 | 1709k| 28.5 | 10M| 50 | 46 | 231 | 12k| 231 |2577 | 25 | 39k|4724 | 0.000000e+00 | -- | Inf 919.81/920.17 c 902s| 70000 | 193 | 2014k| 28.8 | 10M| 53 | 45 | 231 | 11k| 231 |2577 | 25 | 45k|5087 | 0.000000e+00 | -- | Inf 1049.36/1049.74 c 1029s| 80000 | 117 | 2314k| 28.9 | 10M| 53 | - | 231 | 12k| 231 |2577 | 25 | 52k|5441 | 0.000000e+00 | -- | Inf 1182.13/1182.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1182.13/1182.57 c 1160s| 90000 | 4 | 2622k| 29.1 |9880k| 53 | - | 231 | 12k| 231 |2577 | 25 | 58k|5799 | 0.000000e+00 | -- | Inf 1182.53/1182.90 c 1182.53/1182.90 c SCIP Status : problem is solved [infeasible] 1182.53/1182.90 c Solving Time (sec) : 1159.92 1182.53/1182.90 c Solving Nodes : 90014 1182.53/1182.90 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1182.53/1182.90 c Dual Bound : +1.00000000000000e+20 1182.53/1182.90 c Gap : 0.00 % 1182.53/1182.90 s UNSATISFIABLE 1182.53/1182.90 c SCIP Status : problem is solved [infeasible] 1182.53/1182.90 c Solving Time : 1159.92 1182.53/1182.90 c Original Problem : 1182.53/1182.90 c Problem name : HOME/instance-2667316-1276313586.opb 1182.53/1182.90 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1182.53/1182.90 c Constraints : 2707 initial, 2707 maximal 1182.53/1182.90 c Presolved Problem : 1182.53/1182.90 c Problem name : t_HOME/instance-2667316-1276313586.opb 1182.53/1182.90 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1182.53/1182.90 c Constraints : 2564 initial, 13510 maximal 1182.53/1182.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1182.53/1182.90 c trivial : 0.00 0 0 0 0 0 0 0 0 1182.53/1182.90 c dualfix : 0.00 0 0 0 0 0 0 0 0 1182.53/1182.90 c boundshift : 0.00 0 0 0 0 0 0 0 0 1182.53/1182.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1182.53/1182.90 c implics : 0.00 0 0 0 0 0 0 0 0 1182.53/1182.90 c probing : 0.00 0 0 0 0 0 0 0 0 1182.53/1182.90 c knapsack : 0.02 0 0 0 0 0 0 0 0 1182.53/1182.90 c setppc : 0.00 0 0 0 0 0 0 0 0 1182.53/1182.90 c linear : 0.03 0 0 0 0 0 143 0 0 1182.53/1182.90 c logicor : 0.02 0 0 0 0 0 0 0 0 1182.53/1182.90 c root node : - 23 - - 23 - - - - 1182.53/1182.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1182.53/1182.90 c integral : 0 0 0 46657 0 166 2147 0 0 90722 1182.53/1182.90 c knapsack : 1 5 344707 0 0 640 188376 0 0 0 1182.53/1182.90 c setppc : 22 5 344351 0 0 2219 488656 0 0 0 1182.53/1182.90 c linear : 0+ 5 169012 0 0 3 6129 1 0 0 1182.53/1182.90 c logicor : 2541+ 5 170998 0 0 702 592154 0 0 0 1182.53/1182.90 c countsols : 0 0 0 0 0 0 0 0 0 0 1182.53/1182.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1182.53/1182.90 c integral : 109.22 0.00 0.00 109.22 0.00 1182.53/1182.90 c knapsack : 2.97 0.00 2.97 0.00 0.00 1182.53/1182.90 c setppc : 6.37 0.00 6.37 0.00 0.00 1182.53/1182.90 c linear : 0.93 0.00 0.93 0.00 0.00 1182.53/1182.90 c logicor : 33.17 0.00 33.17 0.00 0.00 1182.53/1182.90 c countsols : 0.00 0.00 0.00 0.00 0.00 1182.53/1182.90 c Propagators : Time Calls Cutoffs DomReds 1182.53/1182.90 c vbounds : 0.25 1 0 0 1182.53/1182.90 c rootredcost : 0.17 0 0 0 1182.53/1182.90 c pseudoobj : 0.24 0 0 0 1182.53/1182.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1182.53/1182.90 c propagation : 0.23 3564 3543 18372 21.4 46 21.5 - 1182.53/1182.90 c infeasible LP : 18.16 41628 40554 249800 33.5 224 17.6 0 1182.53/1182.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1182.53/1182.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1182.53/1182.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1182.53/1182.90 c applied globally : - - - 56103 19.4 - - - 1182.53/1182.90 c applied locally : - - - 2663 33.6 - - - 1182.53/1182.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1182.53/1182.90 c cut pool : 0.00 4 - - 150 - (maximal pool size: 444) 1182.53/1182.90 c redcost : 0.46 45617 0 0 0 0 1182.53/1182.90 c impliedbounds : 0.00 5 0 0 0 0 1182.53/1182.90 c intobj : 0.00 0 0 0 0 0 1182.53/1182.90 c cgmip : 0.00 0 0 0 0 0 1182.53/1182.90 c gomory : 0.70 5 0 0 1191 0 1182.53/1182.90 c strongcg : 0.52 5 0 0 1500 0 1182.53/1182.90 c cmir : 0.00 0 0 0 0 0 1182.53/1182.90 c flowcover : 0.00 0 0 0 0 0 1182.53/1182.90 c clique : 0.00 5 0 0 0 0 1182.53/1182.90 c zerohalf : 0.00 0 0 0 0 0 1182.53/1182.90 c mcf : 0.00 1 0 0 0 0 1182.53/1182.90 c rapidlearning : 0.21 1 0 0 0 183 1182.53/1182.90 c Pricers : Time Calls Vars 1182.53/1182.90 c problem variables: 0.00 0 0 1182.53/1182.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1182.53/1182.90 c relpscost : 109.05 46657 166 2147 0 0 90722 1182.53/1182.90 c pscost : 0.00 0 0 0 0 0 0 1182.53/1182.90 c inference : 0.00 0 0 0 0 0 0 1182.53/1182.90 c mostinf : 0.00 0 0 0 0 0 0 1182.53/1182.90 c leastinf : 0.00 0 0 0 0 0 0 1182.53/1182.90 c fullstrong : 0.00 0 0 0 0 0 0 1182.53/1182.90 c allfullstrong : 0.00 0 0 0 0 0 0 1182.53/1182.90 c random : 0.00 0 0 0 0 0 0 1182.53/1182.90 c Primal Heuristics : Time Calls Found 1182.53/1182.90 c LP solutions : 0.00 - 0 1182.53/1182.90 c pseudo solutions : 0.00 - 0 1182.53/1182.90 c trivial : 0.00 1 0 1182.53/1182.90 c simplerounding : 0.00 0 0 1182.53/1182.90 c zirounding : 0.00 0 0 1182.53/1182.90 c rounding : 0.00 0 0 1182.53/1182.90 c shifting : 0.00 0 0 1182.53/1182.90 c intshifting : 0.00 0 0 1182.53/1182.90 c oneopt : 0.00 0 0 1182.53/1182.90 c twoopt : 0.00 0 0 1182.53/1182.90 c fixandinfer : 0.00 0 0 1182.53/1182.90 c feaspump : 0.00 0 0 1182.53/1182.90 c coefdiving : 0.00 0 0 1182.53/1182.90 c pscostdiving : 0.00 0 0 1182.53/1182.90 c fracdiving : 0.00 0 0 1182.53/1182.90 c veclendiving : 0.00 0 0 1182.53/1182.90 c intdiving : 0.00 0 0 1182.53/1182.90 c actconsdiving : 0.00 0 0 1182.53/1182.90 c objpscostdiving : 0.00 0 0 1182.53/1182.90 c rootsoldiving : 0.00 0 0 1182.53/1182.90 c linesearchdiving : 0.00 0 0 1182.53/1182.90 c guideddiving : 0.00 0 0 1182.53/1182.90 c octane : 0.00 0 0 1182.53/1182.90 c rens : 0.00 0 0 1182.53/1182.90 c rins : 0.00 0 0 1182.53/1182.90 c localbranching : 0.00 0 0 1182.53/1182.90 c mutation : 0.00 0 0 1182.53/1182.90 c crossover : 0.00 0 0 1182.53/1182.90 c dins : 0.00 0 0 1182.53/1182.90 c undercover : 0.00 0 0 1182.53/1182.90 c nlp : 0.00 0 0 1182.53/1182.90 c trysol : 0.00 0 0 1182.53/1182.90 c LP : Time Calls Iterations Iter/call Iter/sec 1182.53/1182.90 c primal LP : 0.00 0 0 0.00 - 1182.53/1182.90 c dual LP : 902.15 88064 2623612 29.79 2908.18 1182.53/1182.90 c lex dual LP : 0.00 0 0 0.00 - 1182.53/1182.90 c barrier LP : 0.00 0 0 0.00 - 1182.53/1182.90 c diving/probing LP: 0.00 0 0 0.00 - 1182.53/1182.90 c strong branching : 107.13 5799 303329 52.31 2831.41 1182.53/1182.90 c (at root node) : - 10 1691 169.10 - 1182.53/1182.90 c conflict analysis: 0.00 0 0 0.00 - 1182.53/1182.90 c B&B Tree : 1182.53/1182.90 c number of runs : 1 1182.53/1182.90 c nodes : 90014 1182.53/1182.90 c nodes (total) : 90014 1182.53/1182.90 c nodes left : 0 1182.53/1182.90 c max depth : 53 1182.53/1182.90 c max depth (total): 53 1182.53/1182.90 c backtracks : 11472 (12.7%) 1182.53/1182.90 c delayed cutoffs : 709 1182.53/1182.90 c repropagations : 137018 (201890 domain reductions, 705 cutoffs) 1182.53/1182.90 c avg switch length: 4.96 1182.53/1182.90 c switching time : 33.08 1182.53/1182.90 c Solution : 1182.53/1182.90 c Solutions found : 0 (0 improvements) 1182.53/1182.90 c Primal Bound : infeasible 1182.53/1182.90 c Dual Bound : - 1182.53/1182.90 c Gap : 0.00 % 1182.53/1182.90 c Root Dual Bound : +0.00000000000000e+00 1182.53/1182.90 c Root Iterations : 143 1182.53/1182.93 c Time complete: 1182.56.
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-2667316-1276313586/watcher-2667316-1276313586 -o /tmp/evaluation-result-2667316-1276313586/solver-2667316-1276313586 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667316-1276313586.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: 3.75 2.59 1.88 3/106 7207 /proc/meminfo: memFree=1529440/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=7724 CPUtime=0 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 6962492 7909376 929 1992294400 4194304 8223781 140733862990784 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7207/statm: 1931 936 348 984 0 944 0 [startup+0.0749549 s] /proc/loadavg: 3.75 2.59 1.88 3/106 7207 /proc/meminfo: memFree=1529440/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=15936 CPUtime=0.07 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 3386 0 0 0 6 1 0 0 20 0 1 0 6962492 16318464 2941 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 3984 2941 436 984 0 2997 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15936 [startup+0.100956 s] /proc/loadavg: 3.75 2.59 1.88 3/106 7207 /proc/meminfo: memFree=1529440/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=16100 CPUtime=0.09 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 3709 0 0 0 8 1 0 0 20 0 1 0 6962492 16486400 3007 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 4025 3007 443 984 0 3038 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16100 [startup+0.300975 s] /proc/loadavg: 3.75 2.59 1.88 3/106 7207 /proc/meminfo: memFree=1529440/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=29628 CPUtime=0.29 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 9783 0 0 0 25 4 0 0 20 0 1 0 6962492 30339072 6445 1992294400 4194304 8223781 140733862990784 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7407 6446 570 984 0 6420 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29628 [startup+0.701013 s] /proc/loadavg: 3.75 2.59 1.88 3/106 7207 /proc/meminfo: memFree=1529440/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=28188 CPUtime=0.69 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 13268 0 0 0 61 8 0 0 21 0 1 0 6962492 28864512 6202 1992294400 4194304 8223781 140733862990784 18446744073709551615 6007365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7047 6202 583 984 0 6060 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28188 [startup+1.50109 s] /proc/loadavg: 3.75 2.59 1.88 2/107 7208 /proc/meminfo: memFree=1506616/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=28520 CPUtime=1.49 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 13338 0 0 0 139 10 0 0 23 0 1 0 6962492 29204480 6272 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7130 6272 583 984 0 6143 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28520 [startup+3.10124 s] /proc/loadavg: 3.75 2.59 1.88 2/107 7208 /proc/meminfo: memFree=1506120/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=28684 CPUtime=3.09 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 13448 0 0 0 297 12 0 0 25 0 1 0 6962492 29372416 6324 1992294400 4194304 8223781 140733862990784 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7171 6324 584 984 0 6184 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28684 [startup+6.30055 s] /proc/loadavg: 3.53 2.56 1.87 2/107 7208 /proc/meminfo: memFree=1505996/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=28684 CPUtime=6.29 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 13488 0 0 0 614 15 0 0 25 0 1 0 6962492 29372416 6327 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7171 6327 584 984 0 6184 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28684 [startup+12.7012 s] /proc/loadavg: 3.33 2.54 1.87 2/107 7208 /proc/meminfo: memFree=1505748/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=28684 CPUtime=12.69 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 13632 0 0 0 1248 21 0 0 25 0 1 0 6962492 29372416 6331 1992294400 4194304 8223781 140733862990784 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7171 6331 586 984 0 6184 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28684 [startup+25.5014 s] /proc/loadavg: 2.81 2.46 1.85 2/107 7208 /proc/meminfo: memFree=1505748/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=28684 CPUtime=25.49 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 14006 0 0 0 2514 35 0 0 25 0 1 0 6962492 29372416 6331 1992294400 4194304 8223781 140733862990784 18446744073709551615 6571307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7171 6331 586 984 0 6184 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28684 [startup+51.1008 s] /proc/loadavg: 2.19 2.34 1.83 2/107 7210 /proc/meminfo: memFree=1505500/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=28980 CPUtime=51.07 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 39163 0 0 0 5027 80 0 0 25 0 1 0 6962492 29675520 6365 1992294400 4194304 8223781 140733862990784 18446744073709551615 4923115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7245 6365 587 984 0 6258 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28980 [startup+102.309 s] /proc/loadavg: 1.52 2.13 1.78 2/107 7210 /proc/meminfo: memFree=1504136/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=30336 CPUtime=102.26 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 149229 0 0 0 10030 196 0 0 25 0 1 0 6962492 31064064 6728 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7584 6728 587 984 0 6597 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30336 [startup+162.301 s] /proc/loadavg: 1.19 1.92 1.73 2/107 7212 /proc/meminfo: memFree=1503020/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=31132 CPUtime=162.25 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 258322 0 0 0 15903 322 0 0 25 0 1 0 6962492 31879168 6925 1992294400 4194304 8223781 140733862990784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7783 6925 587 984 0 6796 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 31132 [startup+222.301 s] /proc/loadavg: 1.07 1.75 1.68 2/107 7214 /proc/meminfo: memFree=1502152/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=31828 CPUtime=222.23 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 360275 0 0 0 21780 443 0 0 25 0 1 0 6962492 32591872 7105 1992294400 4194304 8223781 140733862990784 18446744073709551615 6568165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 7957 7105 588 984 0 6970 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 31828 [startup+282.301 s] /proc/loadavg: 1.02 1.61 1.64 2/107 7216 /proc/meminfo: memFree=1500912/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=33144 CPUtime=282.21 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 423420 0 0 0 27676 545 0 0 25 0 1 0 6962492 33939456 7446 1992294400 4194304 8223781 140733862990784 18446744073709551615 6588743 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 8286 7446 587 984 0 7299 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33144 [startup+342.302 s] /proc/loadavg: 1.01 1.50 1.59 2/107 7216 /proc/meminfo: memFree=1499548/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=34380 CPUtime=342.19 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 509366 0 0 0 33560 659 0 0 25 0 1 0 6962492 35205120 7755 1992294400 4194304 8223781 140733862990784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 8595 7755 587 984 0 7608 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34380 [startup+402.301 s] /proc/loadavg: 1.00 1.41 1.55 2/107 7218 /proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=35288 CPUtime=402.17 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 589076 0 0 0 39442 775 0 0 25 0 1 0 6962492 36134912 7968 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 8822 7968 587 984 0 7835 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35288 [startup+462.301 s] /proc/loadavg: 1.00 1.33 1.52 2/107 7220 /proc/meminfo: memFree=1498060/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36052 CPUtime=462.15 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 651441 0 0 0 45329 886 0 0 25 0 1 0 6962492 36917248 8160 1992294400 4194304 8223781 140733862990784 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9013 8160 587 984 0 8026 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 36052 [startup+522.302 s] /proc/loadavg: 1.00 1.27 1.48 2/107 7222 /proc/meminfo: memFree=1497688/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36052 CPUtime=522.14 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 685999 0 0 0 51231 983 0 0 25 0 1 0 6962492 36917248 8160 1992294400 4194304 8223781 140733862990784 18446744073709551615 6598990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9013 8160 587 984 0 8026 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 36052 [startup+582.301 s] /proc/loadavg: 1.00 1.22 1.45 2/107 7224 /proc/meminfo: memFree=1497564/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36172 CPUtime=582.13 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 750796 0 0 0 57116 1097 0 0 25 0 1 0 6962492 37040128 8176 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9043 8176 587 984 0 8056 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 36172 [startup+642.301 s] /proc/loadavg: 1.00 1.17 1.42 2/107 7224 /proc/meminfo: memFree=1497564/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36288 CPUtime=642.11 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 845295 0 0 0 62995 1216 0 0 25 0 1 0 6962492 37158912 8205 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9072 8205 587 984 0 8085 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 36288 [startup+702.301 s] /proc/loadavg: 1.00 1.14 1.39 2/107 7226 /proc/meminfo: memFree=1497316/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36264 CPUtime=702.08 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 940950 0 0 0 68872 1336 0 0 25 0 1 0 6962492 37134336 8217 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9066 8217 587 984 0 8079 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 36264 [startup+762.308 s] /proc/loadavg: 1.04 1.13 1.37 2/107 7228 /proc/meminfo: memFree=1496944/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36148 CPUtime=762.06 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1035301 0 0 0 74742 1464 0 0 25 0 1 0 6962492 37015552 8189 1992294400 4194304 8223781 140733862990784 18446744073709551615 6612569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9037 8189 587 984 0 8050 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 36148 [startup+822.301 s] /proc/loadavg: 1.01 1.10 1.34 2/107 7230 /proc/meminfo: memFree=1496696/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36444 CPUtime=822.04 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1089054 0 0 0 80634 1570 0 0 25 0 1 0 6962492 37318656 8251 1992294400 4194304 8223781 140733862990784 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9111 8251 587 984 0 8124 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 36444 [startup+882.301 s] /proc/loadavg: 1.00 1.08 1.32 2/107 7232 /proc/meminfo: memFree=1496696/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36472 CPUtime=882.01 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1189259 0 0 0 86511 1690 0 0 25 0 1 0 6962492 37347328 8244 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9118 8244 587 984 0 8131 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 36472 [startup+942.302 s] /proc/loadavg: 1.00 1.06 1.29 2/107 7232 /proc/meminfo: memFree=1496696/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36324 CPUtime=942 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1296346 0 0 0 92389 1811 0 0 25 0 1 0 6962492 37195776 8233 1992294400 4194304 8223781 140733862990784 18446744073709551615 6296614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9081 8233 587 984 0 8094 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 36324 [startup+1002.3 s] /proc/loadavg: 1.00 1.05 1.27 2/107 7234 /proc/meminfo: memFree=1496448/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36812 CPUtime=1001.97 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1406424 0 0 0 98262 1935 0 0 25 0 1 0 6962492 37695488 8335 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9203 8335 587 984 0 8216 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 36812 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.25 2/107 7236 /proc/meminfo: memFree=1496200/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=36848 CPUtime=1061.96 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1487582 0 0 0 104151 2045 0 0 25 0 1 0 6962492 37732352 8359 1992294400 4194304 8223781 140733862990784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9212 8359 587 984 0 8225 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 36848 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.24 2/107 7238 /proc/meminfo: memFree=1496076/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=37076 CPUtime=1121.93 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1530311 0 0 0 110042 2151 0 0 25 0 1 0 6962492 37965824 8416 1992294400 4194304 8223781 140733862990784 18446744073709551615 6569636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9269 8416 587 984 0 8282 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 37076 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.22 2/107 7240 /proc/meminfo: memFree=1495952/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=37076 CPUtime=1181.92 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1576426 0 0 0 115938 2254 0 0 25 0 1 0 6962492 37965824 8419 1992294400 4194304 8223781 140733862990784 18446744073709551615 6611395 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9269 8419 587 984 0 8282 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 37076 Solver just ended. Dumping a history of the last processes samples [startup+1182.7 s] /proc/loadavg: 1.00 1.02 1.22 2/107 7240 /proc/meminfo: memFree=1495952/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=37200 CPUtime=1182.32 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1576967 0 0 0 115977 2255 0 0 25 0 1 0 6962492 38092800 8422 1992294400 4194304 8223781 140733862990784 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9300 8422 587 984 0 8313 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 37200 [startup+1182.9 s] /proc/loadavg: 1.00 1.02 1.22 2/107 7240 /proc/meminfo: memFree=1495952/2059040 swapFree=4192956/4192956 [pid=7207] ppid=7205 vsize=37168 CPUtime=1182.53 /proc/7207/stat : 7207 (pbscip.linux.x8) R 7205 7207 6933 0 -1 4202496 1577173 0 0 0 115997 2256 0 0 25 0 1 0 6962492 38060032 8437 1992294400 4194304 8223781 140733862990784 18446744073709551615 7257375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7207/statm: 9292 8437 587 984 0 8305 0 Current children cumulated CPU time (s) 1182.53 Current children cumulated vsize (KiB) 37168 Child status: 0 Real time (s): 1182.94 CPU time (s): 1182.57 CPU user time (s): 1160 CPU system time (s): 22.5646 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 38116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1160 system time used= 22.5646 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1577180 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= 4 involuntary context switches= 15956 runsolver used 2.01769 second user time and 5.52516 second system time The end
Begin job on node004 at 2010-06-12 05:33:06 IDJOB=2667316 IDBENCH=1362 IDSOLVER=1169 FILE ID=node004/2667316-1276313586 PBS_JOBID= 11173150 Free space on /tmp= 62536 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.1900554420.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-2667316-1276313586/watcher-2667316-1276313586 -o /tmp/evaluation-result-2667316-1276313586/solver-2667316-1276313586 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667316-1276313586.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 30c4f9acafc0f3a30de05f75833db699 RANDOM SEED=143935229 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1529968 kB Buffers: 88688 kB Cached: 312768 kB SwapCached: 0 kB Active: 174724 kB Inactive: 286012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1529968 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4644 kB Writeback: 0 kB AnonPages: 59320 kB Mapped: 15384 kB Slab: 46548 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182572 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= 62532 MiB End job on node004 at 2010-06-12 05:52:49