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 | 1490.56 | 1490.93 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb |
MD5SUM | 19ba22a32308a07bd9c7341c12b6a0ff |
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 | 164.6 |
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 | 733 |
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-2667250-1276287780.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.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.94 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.50/0.54 c 0.4s| 1 | 0 | 103 | - |3968k| 0 | 41 | 231 |2739 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.75 c 0.6s| 1 | 0 | 127 | - |4578k| 0 | 47 | 231 |2739 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.07 c 0.9s| 1 | 0 | 171 | - |4631k| 0 | 52 | 231 |2739 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.45 c 1.3s| 1 | 0 | 179 | - |4633k| 0 | 54 | 231 |2739 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.83 c 1.7s| 1 | 0 | 183 | - |4633k| 0 | 54 | 231 |2739 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.69 c 2.5s| 1 | 2 | 183 | - |4634k| 0 | 54 | 231 |2739 | 231 |2588 | 24 | 0 | 11 | 0.000000e+00 | -- | Inf 176.05/176.13 c 173s| 10000 | 17 |305484 | 30.5 |7214k| 44 | 34 | 231 |8413 | 231 |2578 | 24 |6962 |2289 | 0.000000e+00 | -- | Inf 289.31/289.40 c 283s| 20000 | 86 |560006 | 28.0 |8489k| 44 | 35 | 231 | 10k| 231 |2578 | 24 | 13k|2697 | 0.000000e+00 | -- | Inf 405.99/406.12 c 398s| 30000 | 181 |818402 | 27.3 | 10M| 44 | - | 231 | 13k| 231 |2578 | 24 | 19k|3136 | 0.000000e+00 | -- | Inf 522.46/522.67 c 512s| 40000 | 202 | 1069k| 26.7 | 10M| 44 | - | 231 | 13k| 231 |2578 | 24 | 26k|3721 | 0.000000e+00 | -- | Inf 639.53/639.77 c 626s| 50000 | 194 | 1326k| 26.5 | 10M| 49 | - | 231 | 12k| 231 |2578 | 24 | 33k|4193 | 0.000000e+00 | -- | Inf 749.91/750.12 c 734s| 60000 | 196 | 1568k| 26.1 | 10M| 49 | 32 | 231 | 12k| 231 |2578 | 24 | 39k|4570 | 0.000000e+00 | -- | Inf 862.67/862.97 c 844s| 70000 | 147 | 1818k| 26.0 | 10M| 51 | 27 | 231 | 12k| 231 |2578 | 24 | 45k|4959 | 0.000000e+00 | -- | Inf 979.04/979.33 c 958s| 80000 | 71 | 2080k| 26.0 |9816k| 51 | - | 231 | 11k| 231 |2578 | 24 | 51k|5270 | 0.000000e+00 | -- | Inf 1094.12/1094.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1094.12/1094.45 c 1071s| 90000 | 145 | 2343k| 26.0 | 11M| 52 | - | 231 | 14k| 231 |2578 | 24 | 57k|5599 | 0.000000e+00 | -- | Inf 1210.08/1210.43 c 1184s|100000 | 99 | 2603k| 26.0 | 11M| 59 | - | 231 | 15k| 231 |2578 | 24 | 63k|5968 | 0.000000e+00 | -- | Inf 1332.26/1332.67 c 1304s|110000 | 26 | 2883k| 26.2 | 10M| 59 | - | 231 | 14k| 231 |2578 | 24 | 69k|6249 | 0.000000e+00 | -- | Inf 1459.53/1459.99 c 1429s|120000 | 12 | 3170k| 26.4 | 10M| 59 | 32 | 231 | 12k| 231 |2578 | 24 | 76k|6592 | 0.000000e+00 | -- | Inf 1490.42/1490.89 c 1490.42/1490.89 c SCIP Status : problem is solved [infeasible] 1490.42/1490.89 c Solving Time (sec) : 1459.63 1490.42/1490.89 c Solving Nodes : 122398 1490.42/1490.89 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1490.42/1490.89 c Dual Bound : +1.00000000000000e+20 1490.42/1490.89 c Gap : 0.00 % 1490.42/1490.89 s UNSATISFIABLE 1490.42/1490.89 c SCIP Status : problem is solved [infeasible] 1490.42/1490.89 c Solving Time : 1459.63 1490.42/1490.89 c Original Problem : 1490.42/1490.89 c Problem name : HOME/instance-2667250-1276287780.opb 1490.42/1490.89 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1490.42/1490.89 c Constraints : 2707 initial, 2707 maximal 1490.42/1490.89 c Presolved Problem : 1490.42/1490.89 c Problem name : t_HOME/instance-2667250-1276287780.opb 1490.42/1490.89 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1490.42/1490.89 c Constraints : 2564 initial, 15492 maximal 1490.42/1490.89 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1490.42/1490.89 c trivial : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c dualfix : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c boundshift : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c implics : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c probing : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c knapsack : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c setppc : 0.00 0 0 0 0 0 0 0 0 1490.42/1490.89 c linear : 0.03 0 0 0 0 0 143 0 0 1490.42/1490.89 c logicor : 0.03 0 0 0 0 0 0 0 0 1490.42/1490.89 c root node : - 21 - - 21 - - - - 1490.42/1490.89 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1490.42/1490.89 c integral : 0 0 0 63565 0 226 3032 0 0 123196 1490.42/1490.89 c knapsack : 1 5 477633 0 0 793 217523 0 0 0 1490.42/1490.89 c setppc : 22 5 477104 0 0 2798 650939 0 0 0 1490.42/1490.89 c linear : 0+ 5 341416 0 0 15 2615 1 0 0 1490.42/1490.90 c logicor : 2541+ 5 231920 0 0 1064 813442 0 0 0 1490.42/1490.90 c countsols : 0 0 0 0 0 0 0 0 0 0 1490.42/1490.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1490.42/1490.90 c integral : 125.18 0.00 0.00 125.18 0.00 1490.42/1490.90 c knapsack : 4.15 0.00 4.15 0.00 0.00 1490.42/1490.90 c setppc : 8.85 0.00 8.85 0.00 0.00 1490.42/1490.90 c linear : 1.80 0.00 1.80 0.00 0.00 1490.42/1490.90 c logicor : 51.75 0.00 51.75 0.00 0.00 1490.42/1490.90 c countsols : 0.00 0.00 0.00 0.00 0.00 1490.42/1490.90 c Propagators : Time Calls Cutoffs DomReds 1490.42/1490.90 c vbounds : 0.27 1 0 0 1490.42/1490.90 c rootredcost : 0.25 0 0 0 1490.42/1490.90 c pseudoobj : 0.25 0 0 0 1490.42/1490.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1490.42/1490.90 c propagation : 0.22 4670 4658 25854 24.1 59 22.3 - 1490.42/1490.90 c infeasible LP : 23.80 56691 55222 358930 35.3 291 18.9 0 1490.42/1490.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1490.42/1490.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1490.42/1490.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1490.42/1490.90 c applied globally : - - - 71179 20.4 - - - 1490.42/1490.90 c applied locally : - - - 7181 34.2 - - - 1490.42/1490.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1490.42/1490.90 c cut pool : 0.00 4 - - 72 - (maximal pool size: 346) 1490.42/1490.90 c redcost : 0.59 61912 0 0 0 0 1490.42/1490.90 c impliedbounds : 0.00 5 0 0 0 0 1490.42/1490.90 c intobj : 0.00 0 0 0 0 0 1490.42/1490.90 c cgmip : 0.00 0 0 0 0 0 1490.42/1490.90 c gomory : 0.75 5 0 0 1275 0 1490.42/1490.90 c strongcg : 0.59 5 0 0 1306 0 1490.42/1490.90 c cmir : 0.00 0 0 0 0 0 1490.42/1490.90 c flowcover : 0.00 0 0 0 0 0 1490.42/1490.90 c clique : 0.00 5 0 0 0 0 1490.42/1490.90 c zerohalf : 0.00 0 0 0 0 0 1490.42/1490.90 c mcf : 0.01 1 0 0 0 0 1490.42/1490.90 c rapidlearning : 0.20 1 0 0 0 175 1490.42/1490.90 c Pricers : Time Calls Vars 1490.42/1490.90 c problem variables: 0.00 0 0 1490.42/1490.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1490.42/1490.90 c relpscost : 124.97 63565 226 3032 0 0 123196 1490.42/1490.90 c pscost : 0.00 0 0 0 0 0 0 1490.42/1490.90 c inference : 0.00 0 0 0 0 0 0 1490.42/1490.90 c mostinf : 0.00 0 0 0 0 0 0 1490.42/1490.90 c leastinf : 0.00 0 0 0 0 0 0 1490.42/1490.90 c fullstrong : 0.00 0 0 0 0 0 0 1490.42/1490.90 c allfullstrong : 0.00 0 0 0 0 0 0 1490.42/1490.90 c random : 0.00 0 0 0 0 0 0 1490.42/1490.90 c Primal Heuristics : Time Calls Found 1490.42/1490.90 c LP solutions : 0.00 - 0 1490.42/1490.90 c pseudo solutions : 0.00 - 0 1490.42/1490.90 c trivial : 0.00 1 0 1490.42/1490.90 c simplerounding : 0.00 0 0 1490.42/1490.90 c zirounding : 0.00 0 0 1490.42/1490.90 c rounding : 0.00 0 0 1490.42/1490.90 c shifting : 0.00 0 0 1490.42/1490.90 c intshifting : 0.00 0 0 1490.42/1490.90 c oneopt : 0.00 0 0 1490.42/1490.90 c twoopt : 0.00 0 0 1490.42/1490.90 c fixandinfer : 0.00 0 0 1490.42/1490.90 c feaspump : 0.00 0 0 1490.42/1490.90 c coefdiving : 0.00 0 0 1490.42/1490.90 c pscostdiving : 0.00 0 0 1490.42/1490.90 c fracdiving : 0.00 0 0 1490.42/1490.90 c veclendiving : 0.00 0 0 1490.42/1490.90 c intdiving : 0.00 0 0 1490.42/1490.90 c actconsdiving : 0.00 0 0 1490.42/1490.90 c objpscostdiving : 0.00 0 0 1490.42/1490.90 c rootsoldiving : 0.00 0 0 1490.42/1490.90 c linesearchdiving : 0.00 0 0 1490.42/1490.90 c guideddiving : 0.00 0 0 1490.42/1490.90 c octane : 0.00 0 0 1490.42/1490.90 c rens : 0.00 0 0 1490.42/1490.90 c rins : 0.00 0 0 1490.42/1490.90 c localbranching : 0.00 0 0 1490.42/1490.90 c mutation : 0.00 0 0 1490.42/1490.90 c crossover : 0.00 0 0 1490.42/1490.90 c dins : 0.00 0 0 1490.42/1490.90 c undercover : 0.00 0 0 1490.42/1490.90 c nlp : 0.00 0 0 1490.42/1490.90 c trysol : 0.00 0 0 1490.42/1490.90 c LP : Time Calls Iterations Iter/call Iter/sec 1490.42/1490.90 c primal LP : 0.00 0 0 0.00 - 1490.42/1490.90 c dual LP : 1122.27 119954 3245354 27.05 2891.78 1490.42/1490.90 c lex dual LP : 0.00 0 0 0.00 - 1490.42/1490.90 c barrier LP : 0.00 0 0 0.00 - 1490.42/1490.90 c diving/probing LP: 0.00 0 0 0.00 - 1490.42/1490.90 c strong branching : 122.17 6611 344213 52.07 2817.49 1490.42/1490.90 c (at root node) : - 11 2072 188.36 - 1490.42/1490.90 c conflict analysis: 0.00 0 0 0.00 - 1490.42/1490.90 c B&B Tree : 1490.42/1490.90 c number of runs : 1 1490.42/1490.90 c nodes : 122398 1490.42/1490.90 c nodes (total) : 122398 1490.42/1490.90 c nodes left : 0 1490.42/1490.90 c max depth : 59 1490.42/1490.90 c max depth (total): 59 1490.42/1490.90 c backtracks : 14257 (11.6%) 1490.42/1490.90 c delayed cutoffs : 799 1490.42/1490.90 c repropagations : 197217 (232119 domain reductions, 787 cutoffs) 1490.42/1490.90 c avg switch length: 4.92 1490.42/1490.90 c switching time : 49.78 1490.42/1490.90 c Solution : 1490.42/1490.90 c Solutions found : 0 (0 improvements) 1490.42/1490.90 c Primal Bound : infeasible 1490.42/1490.90 c Dual Bound : - 1490.42/1490.90 c Gap : 0.00 % 1490.42/1490.90 c Root Dual Bound : +0.00000000000000e+00 1490.42/1490.90 c Root Iterations : 183 1490.51/1490.93 c Time complete: 1490.55.
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-2667250-1276287780/watcher-2667250-1276287780 -o /tmp/evaluation-result-2667250-1276287780/solver-2667250-1276287780 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667250-1276287780.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 5287 /proc/meminfo: memFree=1558944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=7724 CPUtime=0 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 4381846 7909376 931 1992294400 4194304 8223781 140736273474640 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5287/statm: 1931 941 348 984 0 944 0 [startup+0.011422 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5287 /proc/meminfo: memFree=1558944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=8996 CPUtime=0 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1550 0 0 0 0 0 0 0 20 0 1 0 4381846 9211904 1469 1992294400 4194304 8223781 140736273474640 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5287/statm: 2249 1469 363 984 0 1262 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8996 [startup+0.101404 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5287 /proc/meminfo: memFree=1558944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=16100 CPUtime=0.09 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 3695 0 0 0 7 2 0 0 20 0 1 0 4381846 16486400 2993 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 4025 2993 443 984 0 3038 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16100 [startup+0.301423 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5287 /proc/meminfo: memFree=1558944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=29484 CPUtime=0.29 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 9539 0 0 0 24 5 0 0 20 0 1 0 4381846 30191616 6201 1992294400 4194304 8223781 140736273474640 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 7371 6211 570 984 0 6384 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29484 [startup+0.701461 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5287 /proc/meminfo: memFree=1558944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=27236 CPUtime=0.69 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 13032 0 0 0 61 8 0 0 21 0 1 0 4381846 27889664 5966 1992294400 4194304 8223781 140736273474640 18446744073709551615 6059796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 6809 5966 583 984 0 5822 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27236 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5288 /proc/meminfo: memFree=1536864/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=27568 CPUtime=1.5 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 13101 0 0 0 140 10 0 0 23 0 1 0 4381846 28229632 6035 1992294400 4194304 8223781 140736273474640 18446744073709551615 6051943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 6892 6035 583 984 0 5905 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 27568 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5288 /proc/meminfo: memFree=1536616/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=27632 CPUtime=3.09 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 13193 0 0 0 298 11 0 0 25 0 1 0 4381846 28295168 6074 1992294400 4194304 8223781 140736273474640 18446744073709551615 6571352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 6908 6074 584 984 0 5921 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27632 [startup+6.30099 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5288 /proc/meminfo: memFree=1536368/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=27632 CPUtime=6.29 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 13194 0 0 0 614 15 0 0 25 0 1 0 4381846 28295168 6074 1992294400 4194304 8223781 140736273474640 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 6908 6074 584 984 0 5921 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27632 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5288 /proc/meminfo: memFree=1536120/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=27632 CPUtime=12.69 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 13314 0 0 0 1247 22 0 0 25 0 1 0 4381846 28295168 6087 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 6908 6087 586 984 0 5921 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27632 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5288 /proc/meminfo: memFree=1536120/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=27632 CPUtime=25.49 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 13350 0 0 0 2513 36 0 0 25 0 1 0 4381846 28295168 6088 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 6908 6088 586 984 0 5921 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27632 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5290 /proc/meminfo: memFree=1535996/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=27716 CPUtime=51.07 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 23305 0 0 0 5035 72 0 0 25 0 1 0 4381846 28381184 6101 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 6929 6101 587 984 0 5942 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27716 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5290 /proc/meminfo: memFree=1534632/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=29024 CPUtime=102.26 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 142479 0 0 0 10040 186 0 0 25 0 1 0 4381846 29720576 6409 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 7256 6409 587 984 0 6269 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29024 [startup+162.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5292 /proc/meminfo: memFree=1533888/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=29596 CPUtime=162.24 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 253531 0 0 0 15912 312 0 0 25 0 1 0 4381846 30306304 6579 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 7399 6579 587 984 0 6412 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29596 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5294 /proc/meminfo: memFree=1531904/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=31720 CPUtime=222.23 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 382000 0 0 0 21772 451 0 0 25 0 1 0 4381846 32481280 7083 1992294400 4194304 8223781 140736273474640 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 7930 7083 590 984 0 6943 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 31720 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5296 /proc/meminfo: memFree=1530540/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=33024 CPUtime=282.21 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 481298 0 0 0 27637 584 0 0 25 0 1 0 4381846 33816576 7436 1992294400 4194304 8223781 140736273474640 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8256 7436 587 984 0 7269 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33024 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5296 /proc/meminfo: memFree=1529796/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=33720 CPUtime=342.2 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 570398 0 0 0 33511 709 0 0 25 0 1 0 4381846 34529280 7609 1992294400 4194304 8223781 140736273474640 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8430 7609 587 984 0 7443 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33720 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5298 /proc/meminfo: memFree=1529052/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=34504 CPUtime=402.19 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 662191 0 0 0 39385 834 0 0 25 0 1 0 4381846 35332096 7806 1992294400 4194304 8223781 140736273474640 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8626 7806 587 984 0 7639 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34504 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5300 /proc/meminfo: memFree=1528432/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=34940 CPUtime=462.17 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 714752 0 0 0 45263 954 0 0 25 0 1 0 4381846 35778560 7888 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8735 7888 587 984 0 7748 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 34940 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5302 /proc/meminfo: memFree=1528184/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=35020 CPUtime=522.15 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 803761 0 0 0 51138 1077 0 0 25 0 1 0 4381846 35860480 7917 1992294400 4194304 8223781 140736273474640 18446744073709551615 6568118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8755 7917 587 984 0 7768 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 35020 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5304 /proc/meminfo: memFree=1528060/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=35276 CPUtime=582.14 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 907056 0 0 0 57003 1211 0 0 25 0 1 0 4381846 36122624 7976 1992294400 4194304 8223781 140736273474640 18446744073709551615 6436809 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8819 7976 587 984 0 7832 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 35276 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5304 /proc/meminfo: memFree=1527688/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=35528 CPUtime=642.13 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1013109 0 0 0 62875 1338 0 0 25 0 1 0 4381846 36380672 8029 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8882 8029 587 984 0 7895 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 35528 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1526944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=35780 CPUtime=762.1 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1234853 0 0 0 74606 1604 0 0 25 0 1 0 4381846 36638720 8120 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8945 8120 587 984 0 7958 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 35780 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5310 /proc/meminfo: memFree=1526944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=35880 CPUtime=822.08 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1351352 0 0 0 80468 1740 0 0 25 0 1 0 4381846 36741120 8129 1992294400 4194304 8223781 140736273474640 18446744073709551615 5950800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8970 8129 587 984 0 7983 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 35880 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5312 /proc/meminfo: memFree=1526820/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=35880 CPUtime=882.07 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1469783 0 0 0 86333 1874 0 0 25 0 1 0 4381846 36741120 8128 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8970 8128 587 984 0 7983 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 35880 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5312 /proc/meminfo: memFree=1526944/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=36104 CPUtime=942.05 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1595069 0 0 0 92195 2010 0 0 25 0 1 0 4381846 36970496 8179 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9026 8179 587 984 0 8039 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 36104 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5314 /proc/meminfo: memFree=1526820/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=35996 CPUtime=1002.03 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1728678 0 0 0 98050 2153 0 0 25 0 1 0 4381846 36859904 8141 1992294400 4194304 8223781 140736273474640 18446744073709551615 6592488 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 8999 8141 587 984 0 8012 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 35996 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5316 /proc/meminfo: memFree=1526696/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=36600 CPUtime=1062.02 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1852029 0 0 0 103920 2282 0 0 25 0 1 0 4381846 37478400 8283 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9150 8283 600 984 0 8163 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 36600 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5318 /proc/meminfo: memFree=1526076/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=36808 CPUtime=1122 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1910145 0 0 0 109802 2398 0 0 25 0 1 0 4381846 37691392 8376 1992294400 4194304 8223781 140736273474640 18446744073709551615 6296740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9202 8376 587 984 0 8215 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 36808 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5320 /proc/meminfo: memFree=1525704/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=37044 CPUtime=1181.99 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 1982026 0 0 0 115683 2516 0 0 25 0 1 0 4381846 37933056 8430 1992294400 4194304 8223781 140736273474640 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9261 8430 587 984 0 8274 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 37044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5320 /proc/meminfo: memFree=1525208/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=37312 CPUtime=1241.98 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2027235 0 0 0 121576 2622 0 0 25 0 1 0 4381846 38207488 8493 1992294400 4194304 8223781 140736273474640 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9328 8493 587 984 0 8341 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 37312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5322 /proc/meminfo: memFree=1525084/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=37592 CPUtime=1301.97 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2092684 0 0 0 127457 2740 0 0 25 0 1 0 4381846 38494208 8534 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9398 8534 587 984 0 8411 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 37592 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5324 /proc/meminfo: memFree=1524464/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38272 CPUtime=1361.95 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2162203 0 0 0 133340 2855 0 0 25 0 1 0 4381846 39190528 8713 1992294400 4194304 8223781 140736273474640 18446744073709551615 4220848 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9568 8713 587 984 0 8581 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 38272 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5326 /proc/meminfo: memFree=1524216/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38272 CPUtime=1421.95 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2225171 0 0 0 139235 2960 0 0 25 0 1 0 4381846 39190528 8713 1992294400 4194304 8223781 140736273474640 18446744073709551615 6569356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9568 8713 587 984 0 8581 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 38272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5328 /proc/meminfo: memFree=1523968/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38704 CPUtime=1481.92 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2286036 0 0 0 145124 3068 0 0 25 0 1 0 4381846 39632896 8821 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9676 8821 587 984 0 8689 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 38704 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5328 /proc/meminfo: memFree=1523968/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38704 CPUtime=1484.32 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2287076 0 0 0 145360 3072 0 0 25 0 1 0 4381846 39632896 8821 1992294400 4194304 8223781 140736273474640 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9676 8821 587 984 0 8689 0 Current children cumulated CPU time (s) 1484.32 Current children cumulated vsize (KiB) 38704 [startup+1487.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5328 /proc/meminfo: memFree=1523844/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38704 CPUtime=1487.52 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2289064 0 0 0 145673 3079 0 0 25 0 1 0 4381846 39632896 8821 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9676 8821 587 984 0 8689 0 Current children cumulated CPU time (s) 1487.52 Current children cumulated vsize (KiB) 38704 [startup+1489.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5328 /proc/meminfo: memFree=1523844/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38704 CPUtime=1489.12 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2289833 0 0 0 145830 3082 0 0 25 0 1 0 4381846 39632896 8821 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9676 8821 587 984 0 8689 0 Current children cumulated CPU time (s) 1489.12 Current children cumulated vsize (KiB) 38704 [startup+1490.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5328 /proc/meminfo: memFree=1523844/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38836 CPUtime=1489.92 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2290283 0 0 0 145909 3083 0 0 25 0 1 0 4381846 39768064 8852 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9709 8852 587 984 0 8722 0 Current children cumulated CPU time (s) 1489.92 Current children cumulated vsize (KiB) 38836 [startup+1490.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5328 /proc/meminfo: memFree=1523844/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38704 CPUtime=1490.32 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2290583 0 0 0 145949 3083 0 0 25 0 1 0 4381846 39632896 8821 1992294400 4194304 8223781 140736273474640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5287/statm: 9676 8821 587 984 0 8689 0 Current children cumulated CPU time (s) 1490.32 Current children cumulated vsize (KiB) 38704 [startup+1490.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5328 /proc/meminfo: memFree=1523844/2059040 swapFree=4192956/4192956 [pid=5287] ppid=5285 vsize=38704 CPUtime=1490.51 /proc/5287/stat : 5287 (pbscip.linux.x8) R 5285 5287 4839 0 -1 4202496 2290733 0 0 0 145968 3083 0 0 25 0 1 0 4381846 39632896 8822 1992294400 4194304 8223781 140736273474640 18446744073709551615 5003348 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5287/statm: 9676 8822 588 984 0 8689 0 Current children cumulated CPU time (s) 1490.51 Current children cumulated vsize (KiB) 38704 Child status: 0 Real time (s): 1490.93 CPU time (s): 1490.56 CPU user time (s): 1459.72 CPU system time (s): 30.8433 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 39264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1459.72 system time used= 30.8433 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2290738 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 18680 runsolver used 2.43963 second user time and 7.06193 second system time The end
Begin job on node004 at 2010-06-11 22:23:00 IDJOB=2667250 IDBENCH=1288 IDSOLVER=1169 FILE ID=node004/2667250-1276287780 PBS_JOBID= 11173111 Free space on /tmp= 62532 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.1900576360.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-2667250-1276287780/watcher-2667250-1276287780 -o /tmp/evaluation-result-2667250-1276287780/solver-2667250-1276287780 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667250-1276287780.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19ba22a32308a07bd9c7341c12b6a0ff RANDOM SEED=48437632 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: 1559472 kB Buffers: 61068 kB Cached: 312012 kB SwapCached: 0 kB Active: 171404 kB Inactive: 261072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1559472 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4608 kB Writeback: 0 kB AnonPages: 59320 kB Mapped: 15384 kB Slab: 45304 kB PageTables: 4052 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= 62528 MiB End job on node004 at 2010-06-11 22:47:51