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 | 967.545 | 967.85 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb |
MD5SUM | ae752929c20bdaef808bd42af6910473 |
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 | 25.7751 |
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 | 761 |
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-2667237-1276279967.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.14 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.18 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.4s| 1 | 0 | 103 | - |3929k| 0 | 41 | 231 |2732 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.73 c 0.6s| 1 | 0 | 127 | - |4539k| 0 | 47 | 231 |2732 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.07 c 0.9s| 1 | 0 | 189 | - |4591k| 0 | 58 | 231 |2732 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.52 c 1.4s| 1 | 0 | 195 | - |4592k| 0 | 60 | 231 |2732 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.97 c 1.8s| 1 | 0 | 212 | - |4593k| 0 | 58 | 231 |2732 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.68 c 2.5s| 1 | 2 | 212 | - |4593k| 0 | 58 | 231 |2732 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 169.52/169.62 c 166s| 10000 | 27 |294992 | 29.5 |6829k| 40 | - | 231 |7392 | 231 |2576 | 23 |7782 |2346 | 0.000000e+00 | -- | Inf 288.59/288.75 c 283s| 20000 | 57 |571585 | 28.6 |8519k| 41 | 29 | 231 | 11k| 231 |2576 | 23 | 14k|2630 | 0.000000e+00 | -- | Inf 415.15/415.37 c 407s| 30000 | 52 |852291 | 28.4 |8694k| 43 | 23 | 231 | 10k| 231 |2576 | 23 | 20k|3227 | 0.000000e+00 | -- | Inf 539.71/539.91 c 529s| 40000 | 33 | 1126k| 28.2 |9632k| 44 | 50 | 231 | 13k| 231 |2576 | 23 | 27k|3820 | 0.000000e+00 | -- | Inf 662.99/663.20 c 650s| 50000 | 50 | 1402k| 28.0 | 10M| 47 | - | 231 | 15k| 231 |2576 | 23 | 34k|4325 | 0.000000e+00 | -- | Inf 781.24/781.57 c 767s| 60000 | 58 | 1668k| 27.8 | 11M| 59 | - | 231 | 18k| 231 |2576 | 23 | 41k|4724 | 0.000000e+00 | -- | Inf 901.81/902.19 c 886s| 70000 | 31 | 1940k| 27.7 | 11M| 59 | - | 231 | 17k| 231 |2576 | 23 | 47k|5097 | 0.000000e+00 | -- | Inf 967.49/967.80 c 967.49/967.80 c SCIP Status : problem is solved [infeasible] 967.49/967.80 c Solving Time (sec) : 950.25 967.49/967.80 c Solving Nodes : 75134 967.49/967.80 c Primal Bound : +1.00000000000000e+20 (0 solutions) 967.49/967.80 c Dual Bound : +1.00000000000000e+20 967.49/967.80 c Gap : 0.00 % 967.49/967.80 s UNSATISFIABLE 967.49/967.80 c SCIP Status : problem is solved [infeasible] 967.49/967.80 c Solving Time : 950.25 967.49/967.80 c Original Problem : 967.49/967.80 c Problem name : HOME/instance-2667237-1276279967.opb 967.49/967.80 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 967.49/967.80 c Constraints : 2707 initial, 2707 maximal 967.49/967.80 c Presolved Problem : 967.49/967.80 c Problem name : t_HOME/instance-2667237-1276279967.opb 967.49/967.80 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 967.49/967.80 c Constraints : 2564 initial, 18082 maximal 967.49/967.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 967.49/967.80 c trivial : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c dualfix : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c boundshift : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c implics : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c probing : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c knapsack : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c setppc : 0.00 0 0 0 0 0 0 0 0 967.49/967.80 c linear : 0.03 0 0 0 0 0 143 0 0 967.49/967.80 c logicor : 0.03 0 0 0 0 0 0 0 0 967.49/967.80 c root node : - 21 - - 21 - - - - 967.49/967.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 967.49/967.80 c integral : 0 0 0 39455 0 142 2333 0 0 75806 967.49/967.80 c knapsack : 1 5 287883 0 0 492 155485 0 0 0 967.49/967.80 c setppc : 22 5 287618 0 0 2114 413991 0 0 0 967.49/967.80 c linear : 0+ 5 172771 0 0 8 119 0 0 0 967.49/967.80 c logicor : 2541+ 5 143698 0 0 593 498828 0 0 0 967.49/967.80 c countsols : 0 0 0 0 0 0 0 0 0 0 967.49/967.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 967.49/967.80 c integral : 99.95 0.00 0.00 99.95 0.00 967.49/967.80 c knapsack : 2.06 0.00 2.06 0.00 0.00 967.49/967.80 c setppc : 4.50 0.00 4.50 0.00 0.00 967.49/967.80 c linear : 1.14 0.00 1.14 0.00 0.00 967.49/967.80 c logicor : 31.59 0.00 31.59 0.00 0.00 967.49/967.80 c countsols : 0.00 0.00 0.00 0.00 0.00 967.49/967.80 c Propagators : Time Calls Cutoffs DomReds 967.49/967.80 c vbounds : 0.23 1 0 0 967.49/967.80 c rootredcost : 0.20 0 0 0 967.49/967.80 c pseudoobj : 0.14 0 0 0 967.49/967.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 967.49/967.80 c propagation : 0.28 3207 3185 16998 23.1 49 21.4 - 967.49/967.80 c infeasible LP : 15.28 34550 33720 207221 34.4 238 19.4 0 967.49/967.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 967.49/967.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 967.49/967.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 967.49/967.80 c applied globally : - - - 46460 20.2 - - - 967.49/967.80 c applied locally : - - - 3863 34.1 - - - 967.49/967.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss 967.49/967.80 c cut pool : 0.00 4 - - 69 - (maximal pool size: 344) 967.49/967.80 c redcost : 0.30 38107 0 0 0 0 967.49/967.80 c impliedbounds : 0.00 5 0 0 0 0 967.49/967.80 c intobj : 0.00 0 0 0 0 0 967.49/967.80 c cgmip : 0.00 0 0 0 0 0 967.49/967.80 c gomory : 0.83 5 0 0 1275 0 967.49/967.80 c strongcg : 0.65 5 0 0 1306 0 967.49/967.80 c cmir : 0.00 0 0 0 0 0 967.49/967.80 c flowcover : 0.00 0 0 0 0 0 967.49/967.80 c clique : 0.01 5 0 0 0 0 967.49/967.80 c zerohalf : 0.00 0 0 0 0 0 967.49/967.80 c mcf : 0.00 1 0 0 0 0 967.49/967.80 c rapidlearning : 0.18 1 0 0 0 168 967.49/967.80 c Pricers : Time Calls Vars 967.49/967.80 c problem variables: 0.00 0 0 967.49/967.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 967.49/967.80 c relpscost : 99.83 39455 142 2333 0 0 75806 967.49/967.80 c pscost : 0.00 0 0 0 0 0 0 967.49/967.80 c inference : 0.00 0 0 0 0 0 0 967.49/967.80 c mostinf : 0.00 0 0 0 0 0 0 967.49/967.80 c leastinf : 0.00 0 0 0 0 0 0 967.49/967.80 c fullstrong : 0.00 0 0 0 0 0 0 967.49/967.80 c allfullstrong : 0.00 0 0 0 0 0 0 967.49/967.80 c random : 0.00 0 0 0 0 0 0 967.49/967.80 c Primal Heuristics : Time Calls Found 967.49/967.80 c LP solutions : 0.00 - 0 967.49/967.80 c pseudo solutions : 0.00 - 0 967.49/967.80 c trivial : 0.00 1 0 967.49/967.80 c simplerounding : 0.00 0 0 967.49/967.80 c zirounding : 0.00 0 0 967.49/967.80 c rounding : 0.00 0 0 967.49/967.80 c shifting : 0.00 0 0 967.49/967.80 c intshifting : 0.00 0 0 967.49/967.80 c oneopt : 0.00 0 0 967.49/967.80 c twoopt : 0.00 0 0 967.49/967.80 c fixandinfer : 0.00 0 0 967.49/967.80 c feaspump : 0.00 0 0 967.49/967.80 c coefdiving : 0.00 0 0 967.49/967.80 c pscostdiving : 0.00 0 0 967.49/967.80 c fracdiving : 0.00 0 0 967.49/967.80 c veclendiving : 0.00 0 0 967.49/967.80 c intdiving : 0.00 0 0 967.49/967.80 c actconsdiving : 0.00 0 0 967.49/967.80 c objpscostdiving : 0.00 0 0 967.49/967.80 c rootsoldiving : 0.00 0 0 967.49/967.80 c linesearchdiving : 0.00 0 0 967.49/967.80 c guideddiving : 0.00 0 0 967.49/967.80 c octane : 0.00 0 0 967.49/967.80 c rens : 0.00 0 0 967.49/967.80 c rins : 0.00 0 0 967.49/967.80 c localbranching : 0.00 0 0 967.49/967.80 c mutation : 0.00 0 0 967.49/967.80 c crossover : 0.00 0 0 967.49/967.80 c dins : 0.00 0 0 967.49/967.80 c undercover : 0.00 0 0 967.49/967.80 c nlp : 0.00 0 0 967.49/967.80 c trysol : 0.00 0 0 967.49/967.80 c LP : Time Calls Iterations Iter/call Iter/sec 967.49/967.80 c primal LP : 0.01 0 0 0.00 0.00 967.49/967.80 c dual LP : 721.34 73843 2086523 28.26 2892.57 967.49/967.80 c lex dual LP : 0.00 0 0 0.00 - 967.49/967.80 c barrier LP : 0.00 0 0 0.00 - 967.49/967.80 c diving/probing LP: 0.00 0 0 0.00 - 967.49/967.80 c strong branching : 98.30 5304 278959 52.59 2837.83 967.49/967.80 c (at root node) : - 10 1727 172.70 - 967.49/967.80 c conflict analysis: 0.00 0 0 0.00 - 967.49/967.80 c B&B Tree : 967.49/967.80 c number of runs : 1 967.49/967.80 c nodes : 75134 967.49/967.80 c nodes (total) : 75134 967.49/967.80 c nodes left : 0 967.49/967.80 c max depth : 59 967.49/967.80 c max depth (total): 59 967.49/967.80 c backtracks : 9278 (12.3%) 967.49/967.80 c delayed cutoffs : 673 967.49/967.80 c repropagations : 113767 (164454 domain reductions, 668 cutoffs) 967.49/967.80 c avg switch length: 4.59 967.49/967.80 c switching time : 28.34 967.49/967.80 c Solution : 967.49/967.80 c Solutions found : 0 (0 improvements) 967.49/967.80 c Primal Bound : infeasible 967.49/967.80 c Dual Bound : - 967.49/967.80 c Gap : 0.00 % 967.49/967.80 c Root Dual Bound : +0.00000000000000e+00 967.49/967.80 c Root Iterations : 212 967.49/967.84 c Time complete: 967.53.
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-2667237-1276279967/watcher-2667237-1276279967 -o /tmp/evaluation-result-2667237-1276279967/solver-2667237-1276279967 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667237-1276279967.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.05 1.01 1.00 3/106 5706 /proc/meminfo: memFree=1563908/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=6692 CPUtime=0 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 3600413 6852608 887 1992294400 4194304 8223781 140733962450352 18446744073709551615 7253720 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5706/statm: 1673 896 341 984 0 686 0 [startup+0.0101391 s] /proc/loadavg: 1.05 1.01 1.00 3/106 5706 /proc/meminfo: memFree=1563908/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=8752 CPUtime=0 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 1301 0 0 0 0 0 0 0 20 0 1 0 3600413 8962048 1221 1992294400 4194304 8223781 140733962450352 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5706/statm: 2188 1232 348 984 0 1201 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8752 [startup+0.101124 s] /proc/loadavg: 1.05 1.01 1.00 3/106 5706 /proc/meminfo: memFree=1563908/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=16100 CPUtime=0.09 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 3679 0 0 0 8 1 0 0 20 0 1 0 3600413 16486400 2978 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 4025 2979 443 984 0 3038 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16100 [startup+0.300147 s] /proc/loadavg: 1.05 1.01 1.00 3/106 5706 /proc/meminfo: memFree=1563908/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27748 CPUtime=0.29 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 9213 0 0 0 25 4 0 0 20 0 1 0 3600413 28413952 5878 1992294400 4194304 8223781 140733962450352 18446744073709551615 7302042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 7114 5877 570 984 0 6127 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27748 [startup+0.700195 s] /proc/loadavg: 1.05 1.01 1.00 3/106 5706 /proc/meminfo: memFree=1563908/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27276 CPUtime=0.69 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 13038 0 0 0 61 8 0 0 20 0 1 0 3600413 27930624 5973 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 6819 5973 583 984 0 5832 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27276 [startup+1.50029 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5707 /proc/meminfo: memFree=1541828/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27440 CPUtime=1.49 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 13085 0 0 0 139 10 0 0 23 0 1 0 3600413 28098560 6020 1992294400 4194304 8223781 140733962450352 18446744073709551615 7070951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 6860 6020 583 984 0 5873 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27440 [startup+3.10048 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5707 /proc/meminfo: memFree=1541580/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27660 CPUtime=3.09 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 13177 0 0 0 297 12 0 0 25 0 1 0 3600413 28323840 6091 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 6915 6091 584 984 0 5928 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27660 [startup+6.30086 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5707 /proc/meminfo: memFree=1541332/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27660 CPUtime=6.29 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 13191 0 0 0 614 15 0 0 25 0 1 0 3600413 28323840 6094 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 6915 6094 586 984 0 5928 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27660 [startup+12.7006 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5707 /proc/meminfo: memFree=1541332/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27660 CPUtime=12.68 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 13191 0 0 0 1245 23 0 0 25 0 1 0 3600413 28323840 6094 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 6915 6094 586 984 0 5928 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27660 [startup+25.5011 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5707 /proc/meminfo: memFree=1541332/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27660 CPUtime=25.48 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 13248 0 0 0 2513 35 0 0 25 0 1 0 3600413 28323840 6094 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 6915 6094 586 984 0 5928 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27660 [startup+51.1022 s] /proc/loadavg: 1.02 1.01 1.00 3/108 5710 /proc/meminfo: memFree=1526940/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=27660 CPUtime=51.07 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 17571 0 0 0 5038 69 0 0 25 0 1 0 3600413 28323840 6095 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 6915 6095 587 984 0 5928 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27660 [startup+102.309 s] /proc/loadavg: 1.04 1.02 1.00 2/107 5712 /proc/meminfo: memFree=1539596/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=28704 CPUtime=102.26 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 133698 0 0 0 10039 187 0 0 25 0 1 0 3600413 29392896 6356 1992294400 4194304 8223781 140733962450352 18446744073709551615 6329557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 7176 6356 587 984 0 6189 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28704 [startup+162.302 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5714 /proc/meminfo: memFree=1538728/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=29960 CPUtime=162.23 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 253632 0 0 0 15906 317 0 0 25 0 1 0 3600413 30679040 6652 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 7490 6652 587 984 0 6503 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29960 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5716 /proc/meminfo: memFree=1536868/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=31712 CPUtime=222.21 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 353582 0 0 0 21772 449 0 0 25 0 1 0 3600413 32473088 7080 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 7928 7080 587 984 0 6941 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 31712 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5716 /proc/meminfo: memFree=1535504/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=32860 CPUtime=282.19 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 439008 0 0 0 27646 573 0 0 25 0 1 0 3600413 33648640 7388 1992294400 4194304 8223781 140733962450352 18446744073709551615 6569669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 8215 7388 587 984 0 7228 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 32860 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5718 /proc/meminfo: memFree=1535256/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=33364 CPUtime=342.17 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 520867 0 0 0 33525 692 0 0 25 0 1 0 3600413 34164736 7509 1992294400 4194304 8223781 140733962450352 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 8341 7509 587 984 0 7354 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 33364 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5720 /proc/meminfo: memFree=1534884/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=33628 CPUtime=402.15 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 635601 0 0 0 39398 817 0 0 25 0 1 0 3600413 34435072 7578 1992294400 4194304 8223781 140733962450352 18446744073709551615 6570134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 8407 7578 587 984 0 7420 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 33628 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5722 /proc/meminfo: memFree=1534140/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=33876 CPUtime=462.13 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 676674 0 0 0 45290 923 0 0 25 0 1 0 3600413 34689024 7747 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 8469 7747 691 984 0 7482 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 33876 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5724 /proc/meminfo: memFree=1534140/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=34356 CPUtime=522.12 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 734409 0 0 0 51177 1035 0 0 25 0 1 0 3600413 35180544 7838 1992294400 4194304 8223781 140733962450352 18446744073709551615 6568494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 8589 7838 693 984 0 7602 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 34356 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5724 /proc/meminfo: memFree=1533768/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=34648 CPUtime=582.1 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 810415 0 0 0 57056 1154 0 0 25 0 1 0 3600413 35479552 7924 1992294400 4194304 8223781 140733962450352 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 8662 7924 691 984 0 7675 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 34648 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5726 /proc/meminfo: memFree=1532900/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=35212 CPUtime=642.09 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 884026 0 0 0 62942 1267 0 0 25 0 1 0 3600413 36057088 8074 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 8803 8074 691 984 0 7816 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 35212 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5728 /proc/meminfo: memFree=1530792/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38000 CPUtime=702.06 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 929423 0 0 0 68835 1371 0 0 25 0 1 0 3600413 38912000 8759 1992294400 4194304 8223781 140733962450352 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9500 8759 701 984 0 8513 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 38000 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5730 /proc/meminfo: memFree=1530048/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38000 CPUtime=762.05 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 931436 0 0 0 74761 1444 0 0 25 0 1 0 3600413 38912000 8765 1992294400 4194304 8223781 140733962450352 18446744073709551615 6122413 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9500 8765 691 984 0 8513 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 38000 [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5732 /proc/meminfo: memFree=1529800/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38120 CPUtime=822.03 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 936543 0 0 0 80681 1522 0 0 25 0 1 0 3600413 39034880 8797 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9530 8797 691 984 0 8543 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 38120 [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5732 /proc/meminfo: memFree=1529676/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38120 CPUtime=882.01 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 939076 0 0 0 86608 1593 0 0 25 0 1 0 3600413 39034880 8798 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9530 8798 691 984 0 8543 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 38120 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529552/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38268 CPUtime=942 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 959050 0 0 0 92524 1676 0 0 25 0 1 0 3600413 39186432 8820 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9567 8820 691 984 0 8580 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 38268 Solver just ended. Dumping a history of the last processes samples [startup+947.109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529552/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38384 CPUtime=946.8 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 965625 0 0 0 92995 1685 0 0 25 0 1 0 3600413 39305216 8828 1992294400 4194304 8223781 140733962450352 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9596 8828 691 984 0 8609 0 Current children cumulated CPU time (s) 946.8 Current children cumulated vsize (KiB) 38384 [startup+959.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529552/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38700 CPUtime=959.59 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 983921 0 0 0 94251 1708 0 0 25 0 1 0 3600413 39628800 8918 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9675 8918 691 984 0 8688 0 Current children cumulated CPU time (s) 959.59 Current children cumulated vsize (KiB) 38700 [startup+963.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529304/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38700 CPUtime=962.79 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 984316 0 0 0 94567 1712 0 0 25 0 1 0 3600413 39628800 8923 1992294400 4194304 8223781 140733962450352 18446744073709551615 4923501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9675 8923 691 984 0 8688 0 Current children cumulated CPU time (s) 962.79 Current children cumulated vsize (KiB) 38700 [startup+966.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529304/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38700 CPUtime=965.99 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 984594 0 0 0 94882 1717 0 0 25 0 1 0 3600413 39628800 8923 1992294400 4194304 8223781 140733962450352 18446744073709551615 6568308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9675 8923 691 984 0 8688 0 Current children cumulated CPU time (s) 965.99 Current children cumulated vsize (KiB) 38700 [startup+967.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529304/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38700 CPUtime=966.79 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 984672 0 0 0 94961 1718 0 0 25 0 1 0 3600413 39628800 8923 1992294400 4194304 8223781 140733962450352 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9675 8923 691 984 0 8688 0 Current children cumulated CPU time (s) 966.79 Current children cumulated vsize (KiB) 38700 [startup+967.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529304/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38700 CPUtime=967.19 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 984722 0 0 0 95000 1719 0 0 25 0 1 0 3600413 39628800 8923 1992294400 4194304 8223781 140733962450352 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9675 8923 691 984 0 8688 0 Current children cumulated CPU time (s) 967.19 Current children cumulated vsize (KiB) 38700 [startup+967.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529304/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38700 CPUtime=967.39 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 984756 0 0 0 95020 1719 0 0 25 0 1 0 3600413 39628800 8923 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9675 8923 691 984 0 8688 0 Current children cumulated CPU time (s) 967.39 Current children cumulated vsize (KiB) 38700 [startup+967.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1529304/2059040 swapFree=4192956/4192956 [pid=5706] ppid=5704 vsize=38828 CPUtime=967.49 /proc/5706/stat : 5706 (pbscip.linux.x8) R 5704 5706 5182 0 -1 4202496 984918 0 0 0 95030 1719 0 0 25 0 1 0 3600413 39759872 8924 1992294400 4194304 8223781 140733962450352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5706/statm: 9707 8924 691 984 0 8720 0 Current children cumulated CPU time (s) 967.49 Current children cumulated vsize (KiB) 38828 Child status: 0 Real time (s): 967.85 CPU time (s): 967.545 CPU user time (s): 950.346 CPU system time (s): 17.1994 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 39096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 950.346 system time used= 17.1994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 984920 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= 13180 runsolver used 1.62575 second user time and 4.55731 second system time The end
Begin job on node006 at 2010-06-11 20:12:47 IDJOB=2667237 IDBENCH=1269 IDSOLVER=1169 FILE ID=node006/2667237-1276279967 PBS_JOBID= 11173093 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135.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-2667237-1276279967/watcher-2667237-1276279967 -o /tmp/evaluation-result-2667237-1276279967/solver-2667237-1276279967 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667237-1276279967.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ae752929c20bdaef808bd42af6910473 RANDOM SEED=296600060 node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1564436 kB Buffers: 56244 kB Cached: 311920 kB SwapCached: 0 kB Active: 171876 kB Inactive: 255584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1564436 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4648 kB Writeback: 0 kB AnonPages: 59316 kB Mapped: 15340 kB Slab: 45376 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181188 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62468 MiB End job on node006 at 2010-06-11 20:28:55