Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 1015.03 | 1015.34 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb |
MD5SUM | d9d7c99a4b01b1207d32721f3efdc2ab |
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 | 50.6633 |
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: Clp 1.11.1] [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-2665840-1276295053.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.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 22 constraints of type <setppc> 0.09/0.14 c 2541 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.07 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.2 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1799.95 0.09/0.14 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.17 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.17 c 0.1s| 1 | 0 | 69 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.51 c 0.4s| 1 | 0 | 170 | - |3950k| 0 | 61 | 231 |2731 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.94 c 0.8s| 1 | 0 | 288 | - |4176k| 0 | 72 | 231 |2731 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.48 c 1.4s| 1 | 0 | 437 | - |4501k| 0 | 73 | 231 |2731 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 2.19/2.21 c 2.1s| 1 | 0 | 1060 | - |4656k| 0 | 59 | 231 |2731 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.63 c 2.5s| 1 | 0 | 1203 | - |5077k| 0 | 67 | 231 |2731 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 4.59/4.69 c 4.5s| 1 | 2 | 1203 | - |5078k| 0 | 67 | 231 |2731 | 231 |2588 | 24 | 0 | 10 | 0.000000e+00 | -- | Inf 143.25/143.37 c 140s| 10000 | 32 |293800 | 29.3 |6767k| 39 | 30 | 231 |6073 | 231 |2568 | 24 |4898 |2165 | 0.000000e+00 | -- | Inf 251.52/251.64 c 245s| 20000 | 31 |585044 | 29.2 |7186k| 47 | - | 231 |6769 | 231 |2568 | 24 |9498 |2575 | 0.000000e+00 | -- | Inf 357.39/357.50 c 347s| 30000 | 70 |863136 | 28.7 |7964k| 47 | 22 | 231 |8309 | 231 |2568 | 24 | 13k|3094 | 0.000000e+00 | -- | Inf 472.86/473.08 c 458s| 40000 | 69 | 1166k| 29.1 |8082k| 47 | - | 231 |8002 | 231 |2568 | 24 | 18k|3665 | 0.000000e+00 | -- | Inf 595.11/595.33 c 576s| 50000 | 91 | 1495k| 29.9 |8557k| 47 | - | 231 |8821 | 231 |2568 | 24 | 22k|4202 | 0.000000e+00 | -- | Inf 718.78/719.08 c 696s| 60000 | 34 | 1832k| 30.5 |7984k| 47 | - | 231 |7702 | 231 |2568 | 24 | 27k|4654 | 0.000000e+00 | -- | Inf 841.03/841.37 c 814s| 70000 | 29 | 2171k| 31.0 |8455k| 47 | - | 231 |8970 | 231 |2568 | 24 | 32k|5063 | 0.000000e+00 | -- | Inf 960.70/961.01 c 930s| 80000 | 26 | 2498k| 31.2 |8723k| 50 | - | 231 |9538 | 231 |2568 | 24 | 36k|5470 | 0.000000e+00 | -- | Inf 1014.98/1015.31 c 1014.98/1015.31 c SCIP Status : problem is solved [infeasible] 1014.98/1015.31 c Solving Time (sec) : 982.53 1014.98/1015.31 c Solving Nodes : 84230 1014.98/1015.31 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1014.98/1015.31 c Dual Bound : +1.00000000000000e+20 1014.98/1015.31 c Gap : 0.00 % 1014.98/1015.31 s UNSATISFIABLE 1014.98/1015.31 c SCIP Status : problem is solved [infeasible] 1014.98/1015.31 c Solving Time : 982.53 1014.98/1015.31 c Original Problem : 1014.98/1015.31 c Problem name : HOME/instance-2665840-1276295053.opb 1014.98/1015.31 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1014.98/1015.31 c Constraints : 2707 initial, 2707 maximal 1014.98/1015.31 c Presolved Problem : 1014.98/1015.31 c Problem name : t_HOME/instance-2665840-1276295053.opb 1014.98/1015.31 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1014.98/1015.31 c Constraints : 2564 initial, 10521 maximal 1014.98/1015.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1014.98/1015.31 c trivial : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c dualfix : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c boundshift : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c implics : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c probing : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c knapsack : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c setppc : 0.00 0 0 0 0 0 0 0 0 1014.98/1015.31 c linear : 0.03 0 0 0 0 0 143 0 0 1014.98/1015.31 c logicor : 0.03 0 0 0 0 0 0 0 0 1014.98/1015.31 c root node : - 2 - - 2 - - - - 1014.98/1015.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1014.98/1015.31 c integral : 0 0 0 44139 0 301 2334 0 0 84670 1014.98/1015.31 c knapsack : 1 5 263853 0 0 576 185669 0 0 0 1014.98/1015.31 c setppc : 22 5 263462 0 0 1751 457268 0 0 0 1014.98/1015.31 c linear : 0+ 5 185570 0 0 14 2736 2 0 0 1014.98/1015.31 c logicor : 2541+ 5 154425 0 0 614 543499 0 0 0 1014.98/1015.31 c countsols : 0 0 0 0 0 0 0 0 0 0 1014.98/1015.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1014.98/1015.31 c integral : 88.01 0.00 0.00 88.01 0.00 1014.98/1015.31 c knapsack : 2.38 0.00 2.38 0.00 0.00 1014.98/1015.31 c setppc : 4.35 0.00 4.35 0.00 0.00 1014.98/1015.31 c linear : 1.16 0.00 1.16 0.00 0.00 1014.98/1015.31 c logicor : 24.04 0.01 24.03 0.00 0.00 1014.98/1015.31 c countsols : 0.00 0.00 0.00 0.00 0.00 1014.98/1015.31 c Propagators : Time Calls Cutoffs DomReds 1014.98/1015.31 c vbounds : 0.23 1 0 0 1014.98/1015.31 c rootredcost : 0.23 0 0 0 1014.98/1015.31 c pseudoobj : 0.14 0 0 0 1014.98/1015.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1014.98/1015.31 c propagation : 0.22 2955 2940 14626 21.3 41 21.3 - 1014.98/1015.31 c infeasible LP : 15.33 39080 28077 162202 35.3 82 19.0 0 1014.98/1015.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1014.98/1015.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1014.98/1015.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1014.98/1015.31 c applied globally : - - - 35706 19.6 - - - 1014.98/1015.31 c applied locally : - - - 2227 33.9 - - - 1014.98/1015.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1014.98/1015.31 c cut pool : 0.00 4 - - 0 - (maximal pool size: 344) 1014.98/1015.31 c redcost : 0.46 42702 0 0 0 0 1014.98/1015.31 c impliedbounds : 0.00 5 0 0 0 0 1014.98/1015.31 c intobj : 0.00 0 0 0 0 0 1014.98/1015.31 c cgmip : 0.00 0 0 0 0 0 1014.98/1015.31 c gomory : 0.92 5 0 0 512 0 1014.98/1015.31 c strongcg : 0.76 5 0 0 1597 0 1014.98/1015.31 c cmir : 0.00 0 0 0 0 0 1014.98/1015.31 c flowcover : 0.00 0 0 0 0 0 1014.98/1015.31 c clique : 0.00 5 0 0 0 0 1014.98/1015.31 c zerohalf : 0.00 0 0 0 0 0 1014.98/1015.31 c mcf : 0.00 1 0 0 0 0 1014.98/1015.31 c rapidlearning : 0.20 1 0 0 0 167 1014.98/1015.31 c Pricers : Time Calls Vars 1014.98/1015.31 c problem variables: 0.00 0 0 1014.98/1015.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1014.98/1015.31 c relpscost : 87.91 44139 301 2334 0 0 84670 1014.98/1015.31 c pscost : 0.00 0 0 0 0 0 0 1014.98/1015.31 c inference : 0.00 0 0 0 0 0 0 1014.98/1015.31 c mostinf : 0.00 0 0 0 0 0 0 1014.98/1015.31 c leastinf : 0.00 0 0 0 0 0 0 1014.98/1015.31 c fullstrong : 0.00 0 0 0 0 0 0 1014.98/1015.31 c allfullstrong : 0.00 0 0 0 0 0 0 1014.98/1015.31 c random : 0.00 0 0 0 0 0 0 1014.98/1015.31 c Primal Heuristics : Time Calls Found 1014.98/1015.31 c LP solutions : 0.00 - 0 1014.98/1015.31 c pseudo solutions : 0.00 - 0 1014.98/1015.31 c trivial : 0.01 1 0 1014.98/1015.31 c simplerounding : 0.00 0 0 1014.98/1015.31 c zirounding : 0.00 0 0 1014.98/1015.31 c rounding : 0.00 0 0 1014.98/1015.31 c shifting : 0.00 0 0 1014.98/1015.31 c intshifting : 0.00 0 0 1014.98/1015.31 c oneopt : 0.00 0 0 1014.98/1015.31 c twoopt : 0.00 0 0 1014.98/1015.31 c fixandinfer : 0.00 0 0 1014.98/1015.31 c feaspump : 0.00 0 0 1014.98/1015.31 c coefdiving : 0.00 0 0 1014.98/1015.31 c pscostdiving : 0.00 0 0 1014.98/1015.31 c fracdiving : 0.00 0 0 1014.98/1015.31 c veclendiving : 0.00 0 0 1014.98/1015.31 c intdiving : 0.00 0 0 1014.98/1015.31 c actconsdiving : 0.00 0 0 1014.98/1015.31 c objpscostdiving : 0.00 0 0 1014.98/1015.31 c rootsoldiving : 0.00 0 0 1014.98/1015.31 c linesearchdiving : 0.00 0 0 1014.98/1015.31 c guideddiving : 0.00 0 0 1014.98/1015.31 c octane : 0.00 0 0 1014.98/1015.31 c rens : 0.00 0 0 1014.98/1015.31 c rins : 0.00 0 0 1014.98/1015.31 c localbranching : 0.00 0 0 1014.98/1015.31 c mutation : 0.00 0 0 1014.98/1015.31 c crossover : 0.00 0 0 1014.98/1015.31 c dins : 0.00 0 0 1014.98/1015.31 c undercover : 0.00 0 0 1014.98/1015.31 c nlp : 0.00 0 0 1014.98/1015.31 c trysol : 0.00 0 0 1014.98/1015.31 c LP : Time Calls Iterations Iter/call Iter/sec 1014.98/1015.31 c primal LP : 0.01 0 0 0.00 0.00 1014.98/1015.31 c dual LP : 785.14 83147 2651118 31.88 3376.62 1014.98/1015.31 c lex dual LP : 0.00 0 0 0.00 - 1014.98/1015.31 c barrier LP : 0.00 0 0 0.00 - 1014.98/1015.31 c diving/probing LP: 0.00 0 0 0.00 - 1014.98/1015.31 c strong branching : 85.85 5651 342230 60.56 3986.37 1014.98/1015.31 c (at root node) : - 10 5466 546.60 - 1014.98/1015.31 c conflict analysis: 0.00 0 0 0.00 - 1014.98/1015.31 c B&B Tree : 1014.98/1015.31 c number of runs : 1 1014.98/1015.31 c nodes : 84230 1014.98/1015.31 c nodes (total) : 84230 1014.98/1015.31 c nodes left : 0 1014.98/1015.31 c max depth : 51 1014.98/1015.31 c max depth (total): 51 1014.98/1015.31 c backtracks : 10297 (12.2%) 1014.98/1015.31 c delayed cutoffs : 441 1014.98/1015.31 c repropagations : 79116 (142546 domain reductions, 441 cutoffs) 1014.98/1015.31 c avg switch length: 3.85 1014.98/1015.31 c switching time : 24.96 1014.98/1015.31 c Solution : 1014.98/1015.31 c Solutions found : 0 (0 improvements) 1014.98/1015.31 c Primal Bound : infeasible 1014.98/1015.31 c Dual Bound : - 1014.98/1015.31 c Gap : 0.00 % 1014.98/1015.31 c Root Dual Bound : +0.00000000000000e+00 1014.98/1015.31 c Root Iterations : 1203 1014.98/1015.34 c Time complete: 1015.03.
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-2665840-1276295053/watcher-2665840-1276295053 -o /tmp/evaluation-result-2665840-1276295053/solver-2665840-1276295053 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665840-1276295053.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 6158 /proc/meminfo: memFree=1540144/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=9288 CPUtime=0 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 1084 0 0 0 0 0 0 0 18 0 1 0 5109313 9510912 1005 1992294400 4194304 9819077 140734950299168 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6158/statm: 2322 1014 371 1374 0 943 0 [startup+0.10273 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6158 /proc/meminfo: memFree=1540144/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=17768 CPUtime=0.09 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 3820 0 0 0 8 1 0 0 21 0 1 0 5109313 18194432 3130 1992294400 4194304 9819077 140734950299168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 4442 3130 489 1374 0 3063 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17768 [startup+0.200741 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6158 /proc/meminfo: memFree=1540144/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=24912 CPUtime=0.19 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 7844 0 0 0 16 3 0 0 21 0 1 0 5109313 25509888 4534 1992294400 4194304 9819077 140734950299168 18446744073709551615 6046714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 6228 4534 652 1374 0 4849 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 24912 [startup+0.300752 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6158 /proc/meminfo: memFree=1540144/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=38004 CPUtime=0.29 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 12294 0 0 0 24 5 0 0 21 0 1 0 5109313 38916096 7442 1992294400 4194304 9819077 140734950299168 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9501 7457 670 1374 0 8122 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38004 [startup+0.700799 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6158 /proc/meminfo: memFree=1540144/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=27664 CPUtime=0.69 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 12895 0 0 0 62 7 0 0 22 0 1 0 5109313 28327936 5845 1992294400 4194304 9819077 140734950299168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 6916 5845 692 1374 0 5537 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27664 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6159 /proc/meminfo: memFree=1518684/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=28448 CPUtime=1.49 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 13104 0 0 0 141 8 0 0 25 0 1 0 5109313 29130752 6050 1992294400 4194304 9819077 140734950299168 18446744073709551615 6044382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 7112 6050 694 1374 0 5733 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28448 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6159 /proc/meminfo: memFree=1518064/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=34152 CPUtime=3.09 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 14287 0 0 0 300 9 0 0 25 0 1 0 5109313 34971648 6610 1992294400 4194304 9819077 140734950299168 18446744073709551615 6191199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8538 6610 700 1374 0 7159 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34152 [startup+6.30046 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6159 /proc/meminfo: memFree=1515460/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=33368 CPUtime=6.29 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 18112 0 0 0 617 12 0 0 25 0 1 0 5109313 34168832 6676 1992294400 4194304 9819077 140734950299168 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8342 6676 722 1374 0 6963 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33368 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6159 /proc/meminfo: memFree=1515460/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=31156 CPUtime=12.69 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 29121 0 0 0 1248 21 0 0 25 0 1 0 5109313 31903744 6647 1992294400 4194304 9819077 140734950299168 18446744073709551615 7816449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 7789 6647 723 1374 0 6410 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31156 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6159 /proc/meminfo: memFree=1515468/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=33556 CPUtime=25.48 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 48909 0 0 0 2508 40 0 0 25 0 1 0 5109313 34361344 6670 1992294400 4194304 9819077 140734950299168 18446744073709551615 7291645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8389 6670 723 1374 0 7010 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33556 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6161 /proc/meminfo: memFree=1515468/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=32120 CPUtime=51.08 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 102873 0 0 0 5014 94 0 0 25 0 1 0 5109313 32890880 6687 1992294400 4194304 9819077 140734950299168 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8030 6687 724 1374 0 6651 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32120 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6163 /proc/meminfo: memFree=1515096/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=32524 CPUtime=102.27 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 261886 0 0 0 9997 230 0 0 25 0 1 0 5109313 33304576 6764 1992294400 4194304 9819077 140734950299168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8131 6765 724 1374 0 6752 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32524 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6163 /proc/meminfo: memFree=1514600/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=33204 CPUtime=162.25 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 492970 0 0 0 15822 403 0 0 25 0 1 0 5109313 34000896 6778 1992294400 4194304 9819077 140734950299168 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8301 6778 724 1374 0 6922 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33204 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6165 /proc/meminfo: memFree=1514600/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=33084 CPUtime=222.23 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 770096 0 0 0 21632 591 0 0 25 0 1 0 5109313 33878016 6779 1992294400 4194304 9819077 140734950299168 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8354 6780 724 1374 0 6975 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33084 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6167 /proc/meminfo: memFree=1514600/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=33848 CPUtime=282.2 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 1088241 0 0 0 27428 792 0 0 25 0 1 0 5109313 34660352 6783 1992294400 4194304 9819077 140734950299168 18446744073709551615 6513035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8462 6783 724 1374 0 7083 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 33848 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6169 /proc/meminfo: memFree=1514476/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=33816 CPUtime=342.19 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 1449404 0 0 0 33205 1014 0 0 25 0 1 0 5109313 34627584 6804 1992294400 4194304 9819077 140734950299168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8454 6804 724 1374 0 7075 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33816 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6171 /proc/meminfo: memFree=1513112/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35140 CPUtime=402.17 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 1800195 0 0 0 38983 1234 0 0 25 0 1 0 5109313 35983360 7134 1992294400 4194304 9819077 140734950299168 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8785 7134 724 1374 0 7406 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35140 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6171 /proc/meminfo: memFree=1512740/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35548 CPUtime=462.15 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 2121827 0 0 0 44782 1433 0 0 25 0 1 0 5109313 36401152 7215 1992294400 4194304 9819077 140734950299168 18446744073709551615 6361868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8887 7215 724 1374 0 7508 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35548 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6173 /proc/meminfo: memFree=1512740/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35484 CPUtime=522.13 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 2453805 0 0 0 50586 1627 0 0 25 0 1 0 5109313 36335616 7209 1992294400 4194304 9819077 140734950299168 18446744073709551615 7317636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8871 7209 724 1374 0 7492 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 35484 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6175 /proc/meminfo: memFree=1512492/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=34704 CPUtime=582.12 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 2788534 0 0 0 56386 1826 0 0 25 0 1 0 5109313 35536896 7224 1992294400 4194304 9819077 140734950299168 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8676 7224 724 1374 0 7297 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 34704 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6177 /proc/meminfo: memFree=1512244/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35804 CPUtime=642.1 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 3111078 0 0 0 62192 2018 0 0 25 0 1 0 5109313 36663296 7289 1992294400 4194304 9819077 140734950299168 18446744073709551615 5909911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8951 7289 724 1374 0 7572 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 35804 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6179 /proc/meminfo: memFree=1512120/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35748 CPUtime=702.08 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 3429956 0 0 0 67989 2219 0 0 25 0 1 0 5109313 36605952 7291 1992294400 4194304 9819077 140734950299168 18446744073709551615 7306961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8937 7291 724 1374 0 7558 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 35748 [startup+762.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6179 /proc/meminfo: memFree=1511996/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35900 CPUtime=762.07 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 3746621 0 0 0 73787 2420 0 0 25 0 1 0 5109313 36761600 7342 1992294400 4194304 9819077 140734950299168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8975 7342 724 1374 0 7596 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 35900 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6181 /proc/meminfo: memFree=1511872/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35972 CPUtime=822.04 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 4065397 0 0 0 79587 2617 0 0 25 0 1 0 5109313 36835328 7360 1992294400 4194304 9819077 140734950299168 18446744073709551615 7292224 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8993 7360 724 1374 0 7614 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 35972 [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6183 /proc/meminfo: memFree=1511624/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=35324 CPUtime=882.03 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 4389696 0 0 0 85382 2821 0 0 25 0 1 0 5109313 36171776 7368 1992294400 4194304 9819077 140734950299168 18446744073709551615 7263208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 8831 7368 724 1374 0 7452 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 35324 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6185 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37076 CPUtime=942 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 4707989 0 0 0 91179 3021 0 0 25 0 1 0 5109313 37965824 7632 1992294400 4194304 9819077 140734950299168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9269 7632 724 1374 0 7890 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 37076 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=39116 CPUtime=1001.98 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5007388 0 0 0 96996 3202 0 0 25 0 1 0 5109313 40054784 7685 1992294400 4194304 9819077 140734950299168 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9779 7689 724 1374 0 8400 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 39116 Solver just ended. Dumping a history of the last processes samples [startup+1004.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37112 CPUtime=1004.48 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5019982 0 0 0 97238 3210 0 0 25 0 1 0 5109313 38002688 7622 1992294400 4194304 9819077 140734950299168 18446744073709551615 6723444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9278 7622 724 1374 0 7899 0 Current children cumulated CPU time (s) 1004.48 Current children cumulated vsize (KiB) 37112 [startup+1011.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37052 CPUtime=1010.88 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5052831 0 0 0 97858 3230 0 0 25 0 1 0 5109313 37941248 7610 1992294400 4194304 9819077 140734950299168 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9263 7610 724 1374 0 7884 0 Current children cumulated CPU time (s) 1010.88 Current children cumulated vsize (KiB) 37052 [startup+1012.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37144 CPUtime=1012.48 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5061189 0 0 0 98013 3235 0 0 25 0 1 0 5109313 38035456 7623 1992294400 4194304 9819077 140734950299168 18446744073709551615 6170826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9286 7623 724 1374 0 7907 0 Current children cumulated CPU time (s) 1012.48 Current children cumulated vsize (KiB) 37144 [startup+1014.4 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37016 CPUtime=1014.08 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5068254 0 0 0 98169 3239 0 0 25 0 1 0 5109313 37904384 7627 1992294400 4194304 9819077 140734950299168 18446744073709551615 7318551 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9254 7627 724 1374 0 7875 0 Current children cumulated CPU time (s) 1014.08 Current children cumulated vsize (KiB) 37016 [startup+1014.8 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37180 CPUtime=1014.48 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5070055 0 0 0 98208 3240 0 0 25 0 1 0 5109313 38072320 7623 1992294400 4194304 9819077 140734950299168 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9295 7623 724 1374 0 7916 0 Current children cumulated CPU time (s) 1014.48 Current children cumulated vsize (KiB) 37180 [startup+1015.2 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37116 CPUtime=1014.88 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5071996 0 0 0 98247 3241 0 0 25 0 1 0 5109313 38006784 7639 1992294400 4194304 9819077 140734950299168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9279 7639 724 1374 0 7900 0 Current children cumulated CPU time (s) 1014.88 Current children cumulated vsize (KiB) 37116 [startup+1015.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6187 /proc/meminfo: memFree=1510632/2059040 swapFree=4192956/4192956 [pid=6158] ppid=6156 vsize=37048 CPUtime=1014.98 /proc/6158/stat : 6158 (pbscip.linux.x8) R 6156 6158 5972 0 -1 4202496 5072437 0 0 0 98257 3241 0 0 25 0 1 0 5109313 37937152 7622 1992294400 4194304 9819077 140734950299168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6158/statm: 9262 7624 724 1374 0 7883 0 Current children cumulated CPU time (s) 1014.98 Current children cumulated vsize (KiB) 37048 Child status: 0 Real time (s): 1015.34 CPU time (s): 1015.03 CPU user time (s): 982.611 CPU system time (s): 32.4221 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 40096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 982.611 system time used= 32.4221 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5072495 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= 3 involuntary context switches= 700 runsolver used 1.64175 second user time and 4.83626 second system time The end
Begin job on node001 at 2010-06-12 00:24:13 IDJOB=2665840 IDBENCH=1310 IDSOLVER=1168 FILE ID=node001/2665840-1276295053 PBS_JOBID= 11173120 Free space on /tmp= 62364 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665840-1276295053/watcher-2665840-1276295053 -o /tmp/evaluation-result-2665840-1276295053/solver-2665840-1276295053 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665840-1276295053.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d9d7c99a4b01b1207d32721f3efdc2ab RANDOM SEED=2015880731 node001.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.202 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1540672 kB Buffers: 72792 kB Cached: 317744 kB SwapCached: 0 kB Active: 179480 kB Inactive: 270292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1540672 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6344 kB Writeback: 0 kB AnonPages: 59248 kB Mapped: 15484 kB Slab: 46904 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182260 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= 62360 MiB End job on node001 at 2010-06-12 00:41:08