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 | 1372.67 | 1373.17 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb |
MD5SUM | 3135d58f22cd009942de3e1dff086931 |
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 | 29.4245 |
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 | 667 |
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-2665826-1276289507.opb> 0.04/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.04/0.05 c problem read 0.04/0.05 c No objective function, only one solution is needed. 0.04/0.05 c presolving settings loaded 0.04/0.07 c presolving: 0.09/0.11 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.06 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.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 1620 0.09/0.14 c 0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c limits/solutions = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.14 c separating/maxrounds = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/maxroundsroot = 5 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.14 c constraints/knapsack/disaggregation = FALSE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c presolving/probing/maxrounds = 0 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/coefdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.14 c heuristics/crossover/freq = -1 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/crossover/nodesofs = 750 0.09/0.14 c 0.09/0.14 c # number of nodes without incumbent change that heuristic should wait 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.14 c heuristics/crossover/nwaitingnodes = 100 0.09/0.14 c 0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.14 c # [type: real, range: [0,1], default: 0.1] 0.09/0.14 c heuristics/crossover/nodesquot = 0.15 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixed 0.09/0.14 c # [type: real, range: [0,1], default: 0.666] 0.09/0.14 c heuristics/crossover/minfixingrate = 0.5 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/feaspump/freq = -1 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/fracdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/guideddiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/intshifting/freq = -1 0.09/0.14 c 0.09/0.14 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 | 61 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.4s| 1 | 0 | 106 | - |3909k| 0 | 25 | 231 |2681 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/1.00 c 0.8s| 1 | 0 | 1019 | - |3983k| 0 | 61 | 231 |2681 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.34 c 1.2s| 1 | 0 | 1117 | - |4726k| 0 | 74 | 231 |2681 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.20/2.23 c 2.1s| 1 | 0 | 1958 | - |4850k| 0 | 59 | 231 |2681 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.65 c 2.5s| 1 | 0 | 2275 | - |5270k| 0 | 70 | 231 |2681 | 231 |2594 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.75 c 4.6s| 1 | 2 | 2275 | - |5271k| 0 | 70 | 231 |2681 | 231 |2594 | 30 | 0 | 10 | 0.000000e+00 | -- | Inf 239.30/239.44 c 234s| 10000 | 49 |508570 | 50.6 |6838k| 35 | - | 231 |5773 | 231 |2568 | 30 |4968 |1748 | 0.000000e+00 | -- | Inf 448.53/448.76 c 438s| 20000 | 76 | 1085k| 54.2 |7479k| 41 | 43 | 231 |6756 | 231 |2568 | 30 | 10k|2266 | 0.000000e+00 | -- | Inf 665.74/666.06 c 650s| 30000 | 91 | 1667k| 55.5 |7817k| 47 | - | 231 |7267 | 231 |2568 | 30 | 14k|2941 | 0.000000e+00 | -- | Inf 864.97/865.39 c 844s| 40000 | 75 | 2205k| 55.1 |7967k| 47 | - | 231 |7440 | 231 |2568 | 30 | 19k|3541 | 0.000000e+00 | -- | Inf 1065.20/1065.64 c 1039s| 50000 | 92 | 2763k| 55.2 |8266k| 54 | 35 | 231 |8030 | 231 |2568 | 30 | 24k|3956 | 0.000000e+00 | -- | Inf 1268.42/1268.94 c 1238s| 60000 | 56 | 3334k| 55.5 |7795k| 54 | 31 | 231 |6758 | 231 |2568 | 30 | 28k|4380 | 0.000000e+00 | -- | Inf 1372.59/1373.15 c 1372.59/1373.15 c SCIP Status : problem is solved [infeasible] 1372.59/1373.15 c Solving Time (sec) : 1339.38 1372.59/1373.15 c Solving Nodes : 64933 1372.59/1373.15 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1372.59/1373.15 c Dual Bound : +1.00000000000000e+20 1372.59/1373.15 c Gap : 0.00 % 1372.59/1373.15 s UNSATISFIABLE 1372.59/1373.15 c SCIP Status : problem is solved [infeasible] 1372.59/1373.15 c Solving Time : 1339.38 1372.59/1373.15 c Original Problem : 1372.59/1373.15 c Problem name : HOME/instance-2665826-1276289507.opb 1372.59/1373.15 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1372.59/1373.15 c Constraints : 2707 initial, 2707 maximal 1372.59/1373.15 c Presolved Problem : 1372.59/1373.15 c Problem name : t_HOME/instance-2665826-1276289507.opb 1372.59/1373.15 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1372.59/1373.15 c Constraints : 2564 initial, 8485 maximal 1372.59/1373.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1372.59/1373.15 c trivial : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c dualfix : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c boundshift : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c implics : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c probing : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c knapsack : 0.02 0 0 0 0 0 0 0 0 1372.59/1373.15 c setppc : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c linear : 0.02 0 0 0 0 0 143 0 0 1372.59/1373.15 c logicor : 0.00 0 0 0 0 0 0 0 0 1372.59/1373.15 c root node : - 1 - - 1 - - - - 1372.59/1373.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1372.59/1373.15 c integral : 0 0 0 33648 0 166 1344 0 0 65418 1372.59/1373.15 c knapsack : 1 5 206759 0 0 586 136794 0 0 0 1372.59/1373.15 c setppc : 22 5 206434 0 0 1554 350827 0 0 0 1372.59/1373.15 c linear : 0+ 5 183999 0 0 5 3966 0 0 0 1372.59/1373.15 c logicor : 2541+ 5 120059 0 0 508 421555 0 0 0 1372.59/1373.15 c countsols : 0 0 0 0 0 0 0 0 0 0 1372.59/1373.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1372.59/1373.15 c integral : 148.04 0.00 0.00 148.04 0.00 1372.59/1373.15 c knapsack : 1.71 0.00 1.71 0.00 0.00 1372.59/1373.15 c setppc : 3.09 0.00 3.09 0.00 0.00 1372.59/1373.15 c linear : 0.97 0.00 0.97 0.00 0.00 1372.59/1373.15 c logicor : 17.13 0.00 17.13 0.00 0.00 1372.59/1373.15 c countsols : 0.00 0.00 0.00 0.00 0.00 1372.59/1373.15 c Propagators : Time Calls Cutoffs DomReds 1372.59/1373.15 c vbounds : 0.15 1 0 0 1372.59/1373.15 c rootredcost : 0.19 0 0 0 1372.59/1373.15 c pseudoobj : 0.07 0 0 0 1372.59/1373.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1372.59/1373.15 c propagation : 0.18 2653 2626 12388 20.7 43 22.6 - 1372.59/1373.15 c infeasible LP : 11.80 29890 22095 123753 34.5 147 15.7 0 1372.59/1373.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1372.59/1373.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1372.59/1373.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1372.59/1373.15 c applied globally : - - - 29323 19.1 - - - 1372.59/1373.15 c applied locally : - - - 1716 33.8 - - - 1372.59/1373.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1372.59/1373.15 c cut pool : 0.00 4 - - 8 - (maximal pool size: 491) 1372.59/1373.15 c redcost : 0.27 32924 0 0 0 0 1372.59/1373.15 c impliedbounds : 0.00 5 0 0 0 0 1372.59/1373.15 c intobj : 0.00 0 0 0 0 0 1372.59/1373.15 c cgmip : 0.00 0 0 0 0 0 1372.59/1373.15 c gomory : 0.68 5 0 0 1128 0 1372.59/1373.15 c strongcg : 0.46 5 0 0 2079 0 1372.59/1373.15 c cmir : 0.00 0 0 0 0 0 1372.59/1373.15 c flowcover : 0.00 0 0 0 0 0 1372.59/1373.15 c clique : 0.00 5 0 0 0 0 1372.59/1373.15 c zerohalf : 0.00 0 0 0 0 0 1372.59/1373.15 c mcf : 0.00 1 0 0 0 0 1372.59/1373.15 c rapidlearning : 0.22 1 0 0 0 117 1372.59/1373.15 c Pricers : Time Calls Vars 1372.59/1373.15 c problem variables: 0.00 0 0 1372.59/1373.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1372.59/1373.15 c relpscost : 147.97 33648 166 1344 0 0 65418 1372.59/1373.15 c pscost : 0.00 0 0 0 0 0 0 1372.59/1373.15 c inference : 0.00 0 0 0 0 0 0 1372.59/1373.15 c mostinf : 0.00 0 0 0 0 0 0 1372.59/1373.15 c leastinf : 0.00 0 0 0 0 0 0 1372.59/1373.15 c fullstrong : 0.00 0 0 0 0 0 0 1372.59/1373.15 c allfullstrong : 0.00 0 0 0 0 0 0 1372.59/1373.15 c random : 0.00 0 0 0 0 0 0 1372.59/1373.15 c Primal Heuristics : Time Calls Found 1372.59/1373.15 c LP solutions : 0.00 - 0 1372.59/1373.15 c pseudo solutions : 0.00 - 0 1372.59/1373.15 c trivial : 0.01 1 0 1372.59/1373.15 c simplerounding : 0.00 0 0 1372.59/1373.15 c zirounding : 0.00 0 0 1372.59/1373.15 c rounding : 0.00 0 0 1372.59/1373.15 c shifting : 0.00 0 0 1372.59/1373.15 c intshifting : 0.00 0 0 1372.59/1373.15 c oneopt : 0.00 0 0 1372.59/1373.15 c twoopt : 0.00 0 0 1372.59/1373.15 c fixandinfer : 0.00 0 0 1372.59/1373.15 c feaspump : 0.00 0 0 1372.59/1373.15 c coefdiving : 0.00 0 0 1372.59/1373.15 c pscostdiving : 0.00 0 0 1372.59/1373.15 c fracdiving : 0.00 0 0 1372.59/1373.15 c veclendiving : 0.00 0 0 1372.59/1373.15 c intdiving : 0.00 0 0 1372.59/1373.15 c actconsdiving : 0.00 0 0 1372.59/1373.15 c objpscostdiving : 0.00 0 0 1372.59/1373.15 c rootsoldiving : 0.00 0 0 1372.59/1373.15 c linesearchdiving : 0.00 0 0 1372.59/1373.15 c guideddiving : 0.00 0 0 1372.59/1373.15 c octane : 0.00 0 0 1372.59/1373.15 c rens : 0.00 0 0 1372.59/1373.15 c rins : 0.00 0 0 1372.59/1373.15 c localbranching : 0.00 0 0 1372.59/1373.15 c mutation : 0.00 0 0 1372.59/1373.15 c crossover : 0.00 0 0 1372.59/1373.15 c dins : 0.00 0 0 1372.59/1373.15 c undercover : 0.00 0 0 1372.59/1373.15 c nlp : 0.00 0 0 1372.59/1373.15 c trysol : 0.00 0 0 1372.59/1373.15 c LP : Time Calls Iterations Iter/call Iter/sec 1372.59/1373.15 c primal LP : 0.00 0 0 0.00 - 1372.59/1373.15 c dual LP : 1110.58 63479 3626847 57.13 3265.72 1372.59/1373.15 c lex dual LP : 0.00 0 0 0.00 - 1372.59/1373.15 c barrier LP : 0.00 0 0 0.00 - 1372.59/1373.15 c diving/probing LP: 0.00 0 0 0.00 - 1372.59/1373.15 c strong branching : 146.25 4593 488525 106.36 3340.34 1372.59/1373.15 c (at root node) : - 10 5158 515.80 - 1372.59/1373.15 c conflict analysis: 0.00 0 0 0.00 - 1372.59/1373.15 c B&B Tree : 1372.59/1373.15 c number of runs : 1 1372.59/1373.15 c nodes : 64933 1372.59/1373.15 c nodes (total) : 64933 1372.59/1373.15 c nodes left : 0 1372.59/1373.15 c max depth : 54 1372.59/1373.15 c max depth (total): 54 1372.59/1373.15 c backtracks : 8116 (12.5%) 1372.59/1373.15 c delayed cutoffs : 486 1372.59/1373.15 c repropagations : 63218 (122850 domain reductions, 485 cutoffs) 1372.59/1373.15 c avg switch length: 3.98 1372.59/1373.15 c switching time : 17.55 1372.59/1373.15 c Solution : 1372.59/1373.15 c Solutions found : 0 (0 improvements) 1372.59/1373.15 c Primal Bound : infeasible 1372.59/1373.15 c Dual Bound : - 1372.59/1373.15 c Gap : 0.00 % 1372.59/1373.15 c Root Dual Bound : +0.00000000000000e+00 1372.59/1373.15 c Root Iterations : 2275 1372.59/1373.17 c Time complete: 1372.66.
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-2665826-1276289507/watcher-2665826-1276289507 -o /tmp/evaluation-result-2665826-1276289507/solver-2665826-1276289507 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665826-1276289507.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: 0.92 0.98 0.99 2/106 6019 /proc/meminfo: memFree=1557276/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=9288 CPUtime=0 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 1046 0 0 0 0 0 0 0 21 0 1 0 4554174 9510912 967 1992294400 4194304 9819077 140734269117600 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6019/statm: 2322 977 371 1374 0 943 0 [startup+0.049108 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6019 /proc/meminfo: memFree=1557276/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=11868 CPUtime=0.04 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 1880 0 0 0 4 0 0 0 21 0 1 0 4554174 12152832 1801 1992294400 4194304 9819077 140734269117600 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6019/statm: 2967 1812 386 1374 0 1588 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11868 [startup+0.101115 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6019 /proc/meminfo: memFree=1557276/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=17764 CPUtime=0.09 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 3820 0 0 0 8 1 0 0 23 0 1 0 4554174 18190336 3130 1992294400 4194304 9819077 140734269117600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 4441 3130 489 1374 0 3062 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17764 [startup+0.301152 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6019 /proc/meminfo: memFree=1557276/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=37820 CPUtime=0.29 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 11082 0 0 0 25 4 0 0 23 0 1 0 4554174 38727680 7517 1992294400 4194304 9819077 140734269117600 18446744073709551615 6180692 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 9455 7517 670 1374 0 8076 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37820 [startup+0.701225 s] /proc/loadavg: 0.92 0.98 0.99 2/106 6019 /proc/meminfo: memFree=1557276/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=28528 CPUtime=0.69 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 13099 0 0 0 61 8 0 0 25 0 1 0 4554174 29212672 6053 1992294400 4194304 9819077 140734269117600 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 7132 6053 691 1374 0 5753 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28528 [startup+1.50137 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6020 /proc/meminfo: memFree=1534824/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=30744 CPUtime=1.49 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 13416 0 0 0 141 8 0 0 25 0 1 0 4554174 31481856 6366 1992294400 4194304 9819077 140734269117600 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 7686 6366 692 1374 0 6307 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30744 [startup+3.10066 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6020 /proc/meminfo: memFree=1533460/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35712 CPUtime=3.09 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 15771 0 0 0 299 10 0 0 25 0 1 0 4554174 36569088 6720 1992294400 4194304 9819077 140734269117600 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8928 6720 698 1374 0 7549 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35712 [startup+6.30125 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6020 /proc/meminfo: memFree=1532096/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34476 CPUtime=6.29 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 21189 0 0 0 616 13 0 0 25 0 1 0 4554174 35303424 6723 1992294400 4194304 9819077 140734269117600 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8619 6723 705 1374 0 7240 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34476 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6020 /proc/meminfo: memFree=1531972/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34480 CPUtime=12.68 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 31551 0 0 0 1248 20 0 0 25 0 1 0 4554174 35307520 6749 1992294400 4194304 9819077 140734269117600 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8620 6750 720 1374 0 7241 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34480 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6020 /proc/meminfo: memFree=1531972/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34724 CPUtime=25.48 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 59009 0 0 0 2508 40 0 0 25 0 1 0 4554174 35557376 6739 1992294400 4194304 9819077 140734269117600 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8681 6739 720 1374 0 7302 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34724 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 6020 /proc/meminfo: memFree=1532096/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35420 CPUtime=51.06 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 117677 0 0 0 5024 82 0 0 25 0 1 0 4554174 36270080 6738 1992294400 4194304 9819077 140734269117600 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8855 6738 722 1374 0 7476 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 35420 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 6022 /proc/meminfo: memFree=1532096/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34640 CPUtime=102.25 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 259333 0 0 0 10039 186 0 0 25 0 1 0 4554174 35471360 6727 1992294400 4194304 9819077 140734269117600 18446744073709551615 7226310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8660 6727 722 1374 0 7281 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34640 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6024 /proc/meminfo: memFree=1532096/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=33156 CPUtime=162.23 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 457623 0 0 0 15899 324 0 0 25 0 1 0 4554174 33951744 6758 1992294400 4194304 9819077 140734269117600 18446744073709551615 7291693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8289 6758 722 1374 0 6910 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 33156 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6026 /proc/meminfo: memFree=1531848/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=33556 CPUtime=222.2 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 667297 0 0 0 21754 466 0 0 25 0 1 0 4554174 34361344 6795 1992294400 4194304 9819077 140734269117600 18446744073709551615 7317911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8389 6795 722 1374 0 7010 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 33556 [startup+282.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6026 /proc/meminfo: memFree=1531724/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=36880 CPUtime=282.18 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 899574 0 0 0 27608 610 0 0 25 0 1 0 4554174 37765120 6835 1992294400 4194304 9819077 140734269117600 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 9220 6835 722 1374 0 7841 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 36880 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6028 /proc/meminfo: memFree=1531352/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34120 CPUtime=342.16 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 1154630 0 0 0 33458 758 0 0 25 0 1 0 4554174 34938880 6883 1992294400 4194304 9819077 140734269117600 18446744073709551615 7297955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8530 6883 722 1374 0 7151 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 34120 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6030 /proc/meminfo: memFree=1531104/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34292 CPUtime=402.14 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 1390136 0 0 0 39311 903 0 0 25 0 1 0 4554174 35115008 6911 1992294400 4194304 9819077 140734269117600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8573 6911 722 1374 0 7194 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 34292 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6032 /proc/meminfo: memFree=1530732/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34504 CPUtime=462.12 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 1633342 0 0 0 45166 1046 0 0 25 0 1 0 4554174 35332096 6969 1992294400 4194304 9819077 140734269117600 18446744073709551615 7311971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8626 6969 722 1374 0 7247 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 34504 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6034 /proc/meminfo: memFree=1530732/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34552 CPUtime=522.09 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 1868595 0 0 0 51021 1188 0 0 25 0 1 0 4554174 35381248 6965 1992294400 4194304 9819077 140734269117600 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8638 6965 722 1374 0 7259 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 34552 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6043 /proc/meminfo: memFree=1530236/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34164 CPUtime=582.06 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 2114549 0 0 0 56870 1336 0 0 25 0 1 0 4554174 34983936 6978 1992294400 4194304 9819077 140734269117600 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8673 6980 722 1374 0 7294 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 34164 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6045 /proc/meminfo: memFree=1530112/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34596 CPUtime=642.05 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 2370915 0 0 0 62716 1489 0 0 25 0 1 0 4554174 35426304 6992 1992294400 4194304 9819077 140734269117600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8649 6992 722 1374 0 7270 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 34596 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6047 /proc/meminfo: memFree=1529864/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34900 CPUtime=702.03 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 2621808 0 0 0 68554 1649 0 0 25 0 1 0 4554174 35737600 7036 1992294400 4194304 9819077 140734269117600 18446744073709551615 7302683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8725 7036 722 1374 0 7346 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 34900 [startup+762.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6049 /proc/meminfo: memFree=1529740/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34996 CPUtime=762.01 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 2873271 0 0 0 74397 1804 0 0 25 0 1 0 4554174 35835904 7083 1992294400 4194304 9819077 140734269117600 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8749 7083 722 1374 0 7370 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 34996 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6051 /proc/meminfo: memFree=1529740/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=34960 CPUtime=821.98 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 3120852 0 0 0 80238 1960 0 0 25 0 1 0 4554174 35799040 7066 1992294400 4194304 9819077 140734269117600 18446744073709551615 6372751 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8740 7066 722 1374 0 7361 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 34960 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6051 /proc/meminfo: memFree=1529616/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35000 CPUtime=881.96 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 3373208 0 0 0 86084 2112 0 0 25 0 1 0 4554174 35840000 7070 1992294400 4194304 9819077 140734269117600 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8750 7070 722 1374 0 7371 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 35000 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6053 /proc/meminfo: memFree=1529492/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35136 CPUtime=941.94 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 3611286 0 0 0 91938 2256 0 0 25 0 1 0 4554174 35979264 7123 1992294400 4194304 9819077 140734269117600 18446744073709551615 7295817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8784 7123 722 1374 0 7405 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 35136 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6055 /proc/meminfo: memFree=1529368/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35132 CPUtime=1001.91 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 3858125 0 0 0 97787 2404 0 0 25 0 1 0 4554174 35975168 7121 1992294400 4194304 9819077 140734269117600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8783 7121 722 1374 0 7404 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 35132 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6057 /proc/meminfo: memFree=1529368/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35180 CPUtime=1061.9 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 4113733 0 0 0 103625 2565 0 0 25 0 1 0 4554174 36024320 7115 1992294400 4194304 9819077 140734269117600 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8795 7115 722 1374 0 7416 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 35180 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6059 /proc/meminfo: memFree=1529120/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35304 CPUtime=1121.88 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 4363123 0 0 0 109469 2719 0 0 25 0 1 0 4554174 36151296 7160 1992294400 4194304 9819077 140734269117600 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8826 7160 722 1374 0 7447 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 35304 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6059 /proc/meminfo: memFree=1528996/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35516 CPUtime=1181.86 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 4602754 0 0 0 115322 2864 0 0 25 0 1 0 4554174 36368384 7206 1992294400 4194304 9819077 140734269117600 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8879 7206 722 1374 0 7500 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 35516 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6061 /proc/meminfo: memFree=1528872/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35488 CPUtime=1241.83 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 4837909 0 0 0 121181 3002 0 0 25 0 1 0 4554174 36339712 7252 1992294400 4194304 9819077 140734269117600 18446744073709551615 7296171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8872 7252 722 1374 0 7493 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 35488 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6063 /proc/meminfo: memFree=1528748/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35452 CPUtime=1301.82 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5081140 0 0 0 127030 3152 0 0 25 0 1 0 4554174 36302848 7222 1992294400 4194304 9819077 140734269117600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8863 7222 722 1374 0 7484 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 35452 [startup+1362.3 s] /proc/loadavg: 1.03 1.00 1.00 2/107 6068 /proc/meminfo: memFree=1528872/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=38560 CPUtime=1361.79 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5311032 0 0 0 132889 3290 0 0 25 0 1 0 4554174 39485440 7231 1992294400 4194304 9819077 140734269117600 18446744073709551615 6656825 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 9640 7231 722 1374 0 8261 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 38560 Solver just ended. Dumping a history of the last processes samples [startup+1363.1 s] /proc/loadavg: 1.03 1.00 1.00 2/107 6068 /proc/meminfo: memFree=1528748/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35552 CPUtime=1362.59 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5314302 0 0 0 132967 3292 0 0 25 0 1 0 4554174 36405248 7212 1992294400 4194304 9819077 140734269117600 18446744073709551615 7298121 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8888 7212 722 1374 0 7509 0 Current children cumulated CPU time (s) 1362.59 Current children cumulated vsize (KiB) 35552 [startup+1369.51 s] /proc/loadavg: 1.03 1.00 1.00 2/107 6068 /proc/meminfo: memFree=1528624/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35448 CPUtime=1368.99 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5343768 0 0 0 133589 3310 0 0 25 0 1 0 4554174 36298752 7222 1992294400 4194304 9819077 140734269117600 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8862 7222 722 1374 0 7483 0 Current children cumulated CPU time (s) 1368.99 Current children cumulated vsize (KiB) 35448 [startup+1371.1 s] /proc/loadavg: 1.03 1.00 1.00 2/107 6068 /proc/meminfo: memFree=1528624/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35512 CPUtime=1370.58 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5350235 0 0 0 133744 3314 0 0 25 0 1 0 4554174 36364288 7204 1992294400 4194304 9819077 140734269117600 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8878 7204 722 1374 0 7499 0 Current children cumulated CPU time (s) 1370.58 Current children cumulated vsize (KiB) 35512 [startup+1371.9 s] /proc/loadavg: 1.03 1.00 1.00 2/107 6068 /proc/meminfo: memFree=1528624/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=38440 CPUtime=1371.39 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5353698 0 0 0 133822 3317 0 0 25 0 1 0 4554174 39362560 7225 1992294400 4194304 9819077 140734269117600 18446744073709551615 7289309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 9610 7225 722 1374 0 8231 0 Current children cumulated CPU time (s) 1371.39 Current children cumulated vsize (KiB) 38440 [startup+1372.7 s] /proc/loadavg: 1.03 1.00 1.00 2/107 6068 /proc/meminfo: memFree=1528624/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35512 CPUtime=1372.2 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5357477 0 0 0 133901 3319 0 0 25 0 1 0 4554174 36364288 7204 1992294400 4194304 9819077 140734269117600 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8878 7204 722 1374 0 7499 0 Current children cumulated CPU time (s) 1372.2 Current children cumulated vsize (KiB) 35512 [startup+1373.1 s] /proc/loadavg: 1.03 1.00 1.00 2/107 6068 /proc/meminfo: memFree=1528624/2059040 swapFree=4192956/4192956 [pid=6019] ppid=6017 vsize=35488 CPUtime=1372.59 /proc/6019/stat : 6019 (pbscip.linux.x8) R 6017 6019 5075 0 -1 4202496 5358971 0 0 0 133939 3320 0 0 25 0 1 0 4554174 36339712 7199 1992294400 4194304 9819077 140734269117600 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6019/statm: 8872 7199 722 1374 0 7493 0 Current children cumulated CPU time (s) 1372.59 Current children cumulated vsize (KiB) 35488 Child status: 0 Real time (s): 1373.17 CPU time (s): 1372.67 CPU user time (s): 1339.46 CPU system time (s): 33.2059 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 39324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1339.46 system time used= 33.206 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5359125 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= 14938 runsolver used 2.33465 second user time and 6.42502 second system time The end
Begin job on node007 at 2010-06-11 22:51:47 IDJOB=2665826 IDBENCH=1294 IDSOLVER=1168 FILE ID=node007/2665826-1276289507 PBS_JOBID= 11173100 Free space on /tmp= 62444 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.1900575442.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-2665826-1276289507/watcher-2665826-1276289507 -o /tmp/evaluation-result-2665826-1276289507/solver-2665826-1276289507 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665826-1276289507.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3135d58f22cd009942de3e1dff086931 RANDOM SEED=645549650 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1557680 kB Buffers: 61008 kB Cached: 313724 kB SwapCached: 0 kB Active: 176328 kB Inactive: 257688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1557680 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6368 kB Writeback: 0 kB AnonPages: 59260 kB Mapped: 15324 kB Slab: 45616 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180216 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= 62436 MiB End job on node007 at 2010-06-11 23:14:40