Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.09 | 1800.84 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb |
MD5SUM | a94882f61e84be0ce1718fd53c8fd7c8 |
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 | 61.6686 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2665825-1276289224.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/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.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/linesearchdiving/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/linesearchdiving/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/linesearchdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/nlp/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-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/objpscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.14 c # [type: real, range: [0,1], default: 0.01] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterquot = 0.015 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/objpscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/oneopt/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <pscostdiving> (-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/pscostdiving/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/pscostdiving/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/pscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/rens/freq = -1 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixable 0.09/0.14 c # [type: real, range: [0,1], default: 0.5] 0.09/0.14 c heuristics/rens/minfixingrate = 0.3 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/rens/nodesofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rootsoldiving> (-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/rootsoldiving/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.01] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterquot = 0.015 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/rootsoldiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/rounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <shifting> (-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/shifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/simplerounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/trivial/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/trysol/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <veclendiving> (-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/veclendiving/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.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 | 66 | - |3551k| 0 | 40 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.60 c 0.5s| 1 | 0 | 269 | - |4009k| 0 | 65 | 231 |2679 | 231 |2574 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.54 c 1.4s| 1 | 0 | 1427 | - |4357k| 0 | 61 | 231 |2679 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.09 c 1.9s| 1 | 0 | 1922 | - |5230k| 0 | 62 | 231 |2679 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.61 c 2.5s| 1 | 0 | 2282 | - |5827k| 0 | 76 | 231 |2679 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 3.09/3.16 c 3.0s| 1 | 0 | 2536 | - |6605k| 0 | 81 | 231 |2679 | 231 |2591 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 5.29/5.32 c 5.2s| 1 | 2 | 2536 | - |6605k| 0 | 81 | 231 |2679 | 231 |2591 | 27 | 0 | 10 | 0.000000e+00 | -- | Inf 214.69/214.82 c 211s| 10000 | 74 |444115 | 44.2 |8283k| 38 | - | 231 |5863 | 231 |2570 | 27 |4546 |1665 | 0.000000e+00 | -- | Inf 379.52/379.76 c 371s| 20000 | 54 |889513 | 44.4 |9021k| 38 | 43 | 231 |7544 | 231 |2570 | 27 |9403 |2090 | 0.000000e+00 | -- | Inf 557.55/557.88 c 545s| 30000 | 54 | 1358k| 45.2 |9101k| 47 | 23 | 231 |7406 | 231 |2570 | 27 | 14k|2690 | 0.000000e+00 | -- | Inf 734.99/735.31 c 717s| 40000 | 52 | 1828k| 45.6 |9640k| 47 | - | 231 |8607 | 231 |2570 | 27 | 18k|3330 | 0.000000e+00 | -- | Inf 905.60/906.03 c 883s| 50000 | 47 | 2288k| 45.7 |9744k| 47 | - | 231 |8625 | 231 |2570 | 27 | 23k|3808 | 0.000000e+00 | -- | Inf 1062.74/1063.23 c 1036s| 60000 | 32 | 2707k| 45.1 |9878k| 48 | 36 | 231 |8780 | 231 |2570 | 27 | 28k|4212 | 0.000000e+00 | -- | Inf 1229.88/1230.40 c 1199s| 70000 | 56 | 3164k| 45.2 | 10M| 48 | 26 | 231 |9802 | 231 |2570 | 27 | 33k|4556 | 0.000000e+00 | -- | Inf 1398.52/1399.19 c 1363s| 80000 | 31 | 3624k| 45.3 | 10M| 49 | 42 | 231 |8864 | 231 |2570 | 27 | 38k|4921 | 0.000000e+00 | -- | Inf 1567.24/1567.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1567.24/1567.96 c 1527s| 90000 | 61 | 4094k| 45.5 | 10M| 49 | - | 231 |8679 | 231 |2570 | 27 | 43k|5239 | 0.000000e+00 | -- | Inf 1727.67/1728.48 c 1683s|100000 | 132 | 4545k| 45.4 | 10M| 49 | - | 231 | 10k| 231 |2570 | 27 | 46k|5507 | 0.000000e+00 | -- | Inf 1800.04/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.81 c 1800.04/1800.81 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.81 c Solving Time (sec) : 1753.32 1800.04/1800.81 c Solving Nodes : 104367 1800.04/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.81 c Dual Bound : +0.00000000000000e+00 1800.04/1800.81 c Gap : infinite 1800.04/1800.81 s UNKNOWN 1800.04/1800.81 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.81 c Solving Time : 1753.32 1800.04/1800.81 c Original Problem : 1800.04/1800.81 c Problem name : HOME/instance-2665825-1276289224.opb 1800.04/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.81 c Constraints : 2707 initial, 2707 maximal 1800.04/1800.81 c Presolved Problem : 1800.04/1800.81 c Problem name : t_HOME/instance-2665825-1276289224.opb 1800.04/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.81 c Constraints : 2564 initial, 10754 maximal 1800.04/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c probing : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.81 c linear : 0.03 0 0 0 0 0 143 0 0 1800.04/1800.81 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.04/1800.81 c root node : - 0 - - 0 - - - - 1800.04/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.81 c integral : 0 0 0 54145 0 196 2061 0 0 105258 1800.04/1800.81 c knapsack : 1 5 328337 0 0 969 202117 0 0 0 1800.04/1800.81 c setppc : 22 5 327696 0 0 2673 542610 0 0 0 1800.04/1800.81 c linear : 0+ 5 205191 0 0 14 5437 6 0 0 1800.04/1800.81 c logicor : 2541+ 5 194605 0 0 1063 711612 0 0 0 1800.04/1800.81 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.81 c integral : 153.49 0.00 0.00 153.49 0.00 1800.04/1800.81 c knapsack : 3.42 0.00 3.42 0.00 0.00 1800.04/1800.81 c setppc : 4.53 0.00 4.53 0.00 0.00 1800.04/1800.81 c linear : 1.12 0.00 1.12 0.00 0.00 1800.04/1800.81 c logicor : 30.41 0.00 30.41 0.00 0.00 1800.04/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.81 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.81 c vbounds : 0.31 1 0 0 1800.04/1800.81 c rootredcost : 0.30 0 0 0 1800.04/1800.81 c pseudoobj : 0.14 0 0 0 1800.04/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.81 c propagation : 0.46 4719 4680 26538 22.5 71 20.3 - 1800.04/1800.81 c infeasible LP : 18.62 47552 33190 204411 36.9 188 13.4 0 1800.04/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.81 c applied globally : - - - 47503 19.0 - - - 1800.04/1800.81 c applied locally : - - - 1093 33.6 - - - 1800.04/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.81 c cut pool : 0.00 4 - - 4 - (maximal pool size: 721) 1800.04/1800.81 c redcost : 0.56 52885 0 0 0 0 1800.04/1800.81 c impliedbounds : 0.00 5 0 0 0 0 1800.04/1800.81 c intobj : 0.00 0 0 0 0 0 1800.04/1800.81 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.81 c gomory : 0.96 5 0 0 1084 0 1800.04/1800.81 c strongcg : 0.64 5 0 0 2450 0 1800.04/1800.81 c cmir : 0.00 0 0 0 0 0 1800.04/1800.81 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.81 c clique : 0.00 5 0 0 0 0 1800.04/1800.81 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.81 c mcf : 0.00 1 0 0 0 0 1800.04/1800.81 c rapidlearning : 0.22 1 0 0 0 115 1800.04/1800.81 c Pricers : Time Calls Vars 1800.04/1800.81 c problem variables: 0.00 0 0 1800.04/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.81 c relpscost : 153.36 54145 196 2061 0 0 105258 1800.04/1800.81 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.81 c inference : 0.00 0 0 0 0 0 0 1800.04/1800.81 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.81 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.81 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.81 c random : 0.00 0 0 0 0 0 0 1800.04/1800.81 c Primal Heuristics : Time Calls Found 1800.04/1800.81 c LP solutions : 0.00 - 0 1800.04/1800.81 c pseudo solutions : 0.00 - 0 1800.04/1800.81 c trivial : 0.01 1 0 1800.04/1800.81 c simplerounding : 0.00 0 0 1800.04/1800.81 c zirounding : 0.00 0 0 1800.04/1800.81 c rounding : 0.00 0 0 1800.04/1800.81 c shifting : 0.00 0 0 1800.04/1800.81 c intshifting : 0.00 0 0 1800.04/1800.81 c oneopt : 0.00 0 0 1800.04/1800.81 c twoopt : 0.00 0 0 1800.04/1800.81 c fixandinfer : 0.00 0 0 1800.04/1800.81 c feaspump : 0.00 0 0 1800.04/1800.81 c coefdiving : 0.00 0 0 1800.04/1800.81 c pscostdiving : 0.00 0 0 1800.04/1800.81 c fracdiving : 0.00 0 0 1800.04/1800.81 c veclendiving : 0.00 0 0 1800.04/1800.81 c intdiving : 0.00 0 0 1800.04/1800.81 c actconsdiving : 0.00 0 0 1800.04/1800.81 c objpscostdiving : 0.00 0 0 1800.04/1800.81 c rootsoldiving : 0.00 0 0 1800.04/1800.81 c linesearchdiving : 0.00 0 0 1800.04/1800.81 c guideddiving : 0.00 0 0 1800.04/1800.81 c octane : 0.00 0 0 1800.04/1800.81 c rens : 0.00 0 0 1800.04/1800.81 c rins : 0.00 0 0 1800.04/1800.81 c localbranching : 0.00 0 0 1800.04/1800.81 c mutation : 0.00 0 0 1800.04/1800.81 c crossover : 0.00 0 0 1800.04/1800.81 c dins : 0.00 0 0 1800.04/1800.81 c undercover : 0.00 0 0 1800.04/1800.81 c nlp : 0.00 0 0 1800.04/1800.81 c trysol : 0.00 0 0 1800.04/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.81 c primal LP : 0.01 0 0 0.00 0.00 1800.04/1800.81 c dual LP : 1466.32 101611 4750243 46.75 3239.57 1800.04/1800.81 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.81 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.81 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.81 c strong branching : 151.25 5594 520403 93.03 3440.68 1800.04/1800.81 c (at root node) : - 10 5395 539.50 - 1800.04/1800.81 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.81 c B&B Tree : 1800.04/1800.81 c number of runs : 1 1800.04/1800.81 c nodes : 104367 1800.04/1800.81 c nodes (total) : 104367 1800.04/1800.81 c nodes left : 162 1800.04/1800.81 c max depth : 50 1800.04/1800.81 c max depth (total): 50 1800.04/1800.81 c backtracks : 12954 (12.4%) 1800.04/1800.81 c delayed cutoffs : 730 1800.04/1800.81 c repropagations : 96938 (163230 domain reductions, 729 cutoffs) 1800.04/1800.81 c avg switch length: 3.84 1800.04/1800.81 c switching time : 29.83 1800.04/1800.81 c Solution : 1800.04/1800.81 c Solutions found : 0 (0 improvements) 1800.04/1800.81 c Primal Bound : - 1800.04/1800.81 c Dual Bound : +0.00000000000000e+00 1800.04/1800.81 c Gap : infinite 1800.04/1800.81 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.81 c Root Iterations : 2536 1800.04/1800.84 c Time complete: 1800.08.
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-2665825-1276289224/watcher-2665825-1276289224 -o /tmp/evaluation-result-2665825-1276289224/solver-2665825-1276289224 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665825-1276289224.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 6519 /proc/meminfo: memFree=1550200/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=9288 CPUtime=0 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 1069 0 0 0 0 0 0 0 18 0 1 0 4524021 9510912 990 1992294400 4194304 9819077 140734572983680 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6519/statm: 2322 1000 371 1374 0 943 0 [startup+0.0738819 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6519 /proc/meminfo: memFree=1550200/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=17184 CPUtime=0.07 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 3419 0 0 0 6 1 0 0 20 0 1 0 4524021 17596416 2986 1992294400 4194304 9819077 140734572983680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 4296 2986 482 1374 0 2917 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17184 [startup+0.101888 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6519 /proc/meminfo: memFree=1550200/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=18236 CPUtime=0.09 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 3881 0 0 0 8 1 0 0 20 0 1 0 4524021 18673664 3191 1992294400 4194304 9819077 140734572983680 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 4559 3208 489 1374 0 3180 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18236 [startup+0.301931 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6519 /proc/meminfo: memFree=1550200/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=37224 CPUtime=0.29 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 10690 0 0 0 25 4 0 0 20 0 1 0 4524021 38117376 7382 1992294400 4194304 9819077 140734572983680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9306 7382 670 1374 0 7927 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37224 [startup+0.702017 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6519 /proc/meminfo: memFree=1550200/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=29256 CPUtime=0.7 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 13302 0 0 0 62 8 0 0 20 0 1 0 4524021 29958144 6254 1992294400 4194304 9819077 140734572983680 18446744073709551615 6051987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 7314 6254 692 1374 0 5935 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 29256 [startup+1.50119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6520 /proc/meminfo: memFree=1527128/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=29588 CPUtime=1.49 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 13427 0 0 0 141 8 0 0 23 0 1 0 4524021 30298112 6272 1992294400 4194304 9819077 140734572983680 18446744073709551615 6192358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 7397 6272 692 1374 0 6018 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29588 [startup+3.10053 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6520 /proc/meminfo: memFree=1522664/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=35832 CPUtime=3.09 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 15044 0 0 0 299 10 0 0 25 0 1 0 4524021 36691968 7758 1992294400 4194304 9819077 140734572983680 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 8958 7758 692 1374 0 7579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35832 [startup+6.30022 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6520 /proc/meminfo: memFree=1520804/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=38416 CPUtime=6.29 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 17041 0 0 0 617 12 0 0 25 0 1 0 4524021 39337984 7795 1992294400 4194304 9819077 140734572983680 18446744073709551615 7298644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9604 7795 705 1374 0 8225 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38416 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6520 /proc/meminfo: memFree=1520804/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=38636 CPUtime=12.69 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 21659 0 0 0 1251 18 0 0 25 0 1 0 4524021 39563264 7835 1992294400 4194304 9819077 140734572983680 18446744073709551615 7297806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9659 7835 718 1374 0 8280 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38636 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6520 /proc/meminfo: memFree=1520804/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=35772 CPUtime=25.48 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 36824 0 0 0 2516 32 0 0 25 0 1 0 4524021 36630528 7788 1992294400 4194304 9819077 140734572983680 18446744073709551615 6823180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 8943 7788 721 1374 0 7564 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35772 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6522 /proc/meminfo: memFree=1520680/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=36476 CPUtime=51.06 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 72021 0 0 0 5040 66 0 0 25 0 1 0 4524021 37351424 7793 1992294400 4194304 9819077 140734572983680 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9119 7793 722 1374 0 7740 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 36476 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6522 /proc/meminfo: memFree=1520680/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=35960 CPUtime=102.24 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 172942 0 0 0 10066 158 0 0 25 0 1 0 4524021 36823040 7789 1992294400 4194304 9819077 140734572983680 18446744073709551615 7263325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 8990 7789 722 1374 0 7611 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 35960 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6524 /proc/meminfo: memFree=1520432/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=37232 CPUtime=162.21 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 323169 0 0 0 15946 275 0 0 25 0 1 0 4524021 38125568 7870 1992294400 4194304 9819077 140734572983680 18446744073709551615 7326262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9308 7870 722 1374 0 7929 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 37232 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6526 /proc/meminfo: memFree=1520308/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=37972 CPUtime=222.19 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 527171 0 0 0 21808 411 0 0 25 0 1 0 4524021 38883328 7899 1992294400 4194304 9819077 140734572983680 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9493 7899 722 1374 0 8114 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 37972 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6528 /proc/meminfo: memFree=1520308/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=38276 CPUtime=282.17 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 772532 0 0 0 27661 556 0 0 25 0 1 0 4524021 39194624 7909 1992294400 4194304 9819077 140734572983680 18446744073709551615 6364915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9569 7909 722 1374 0 8190 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 38276 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6528 /proc/meminfo: memFree=1520060/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=38684 CPUtime=342.14 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 1028552 0 0 0 33499 715 0 0 25 0 1 0 4524021 39612416 7980 1992294400 4194304 9819077 140734572983680 18446744073709551615 7312697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9671 7980 722 1374 0 8292 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 38684 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6530 /proc/meminfo: memFree=1519688/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=38772 CPUtime=402.12 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 1294464 0 0 0 39338 874 0 0 25 0 1 0 4524021 39702528 8006 1992294400 4194304 9819077 140734572983680 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9693 8006 722 1374 0 8314 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 38772 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6532 /proc/meminfo: memFree=1519440/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=38912 CPUtime=462.1 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 1561178 0 0 0 45170 1040 0 0 25 0 1 0 4524021 39845888 8050 1992294400 4194304 9819077 140734572983680 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9728 8050 722 1374 0 8349 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 38912 [startup+522.301 s] /proc/loadavg: 1.06 1.01 1.00 2/107 6534 /proc/meminfo: memFree=1518572/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=39748 CPUtime=522.07 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 1831998 0 0 0 51000 1207 0 0 25 0 1 0 4524021 40701952 8266 1992294400 4194304 9819077 140734572983680 18446744073709551615 6699264 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9937 8266 722 1374 0 8558 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 39748 [startup+582.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 6536 /proc/meminfo: memFree=1518448/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=39832 CPUtime=582.05 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 2102634 0 0 0 56830 1375 0 0 25 0 1 0 4524021 40787968 8270 1992294400 4194304 9819077 140734572983680 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 9958 8270 722 1374 0 8579 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 39832 [startup+642.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 6536 /proc/meminfo: memFree=1518200/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=40020 CPUtime=642.02 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 2367213 0 0 0 62675 1527 0 0 25 0 1 0 4524021 40980480 8354 1992294400 4194304 9819077 140734572983680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10005 8354 722 1374 0 8626 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 40020 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 6542 /proc/meminfo: memFree=1517828/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=40276 CPUtime=821.95 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 3170268 0 0 0 80195 2000 0 0 25 0 1 0 4524021 41242624 8393 1992294400 4194304 9819077 140734572983680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10069 8393 722 1374 0 8690 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 40276 [startup+882.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 6553 /proc/meminfo: memFree=1517084/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=40576 CPUtime=881.91 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 3438094 0 0 0 86041 2150 0 0 25 0 1 0 4524021 41549824 8459 1992294400 4194304 9819077 140734572983680 18446744073709551615 7326280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10144 8459 722 1374 0 8765 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 40576 [startup+942.301 s] /proc/loadavg: 1.13 1.07 1.01 2/107 6553 /proc/meminfo: memFree=1516836/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=40936 CPUtime=941.89 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 3720711 0 0 0 91864 2325 0 0 25 0 1 0 4524021 41918464 8541 1992294400 4194304 9819077 140734572983680 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10234 8541 722 1374 0 8855 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 40936 [startup+1002.3 s] /proc/loadavg: 1.05 1.05 1.00 2/107 6555 /proc/meminfo: memFree=1516464/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=41104 CPUtime=1001.87 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 3994510 0 0 0 97695 2492 0 0 25 0 1 0 4524021 42090496 8612 1992294400 4194304 9819077 140734572983680 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10276 8612 722 1374 0 8897 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 41104 [startup+1062.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 6557 /proc/meminfo: memFree=1516340/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=41292 CPUtime=1061.84 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 4278299 0 0 0 103524 2660 0 0 25 0 1 0 4524021 42283008 8639 1992294400 4194304 9819077 140734572983680 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10323 8639 722 1374 0 8944 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 41292 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6559 /proc/meminfo: memFree=1516216/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=40424 CPUtime=1121.81 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 4549992 0 0 0 109360 2821 0 0 25 0 1 0 4524021 41394176 8623 1992294400 4194304 9819077 140734572983680 18446744073709551615 7233235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10106 8625 722 1374 0 8727 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 40424 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6561 /proc/meminfo: memFree=1516216/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=40468 CPUtime=1181.79 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 4809586 0 0 0 115197 2982 0 0 25 0 1 0 4524021 41439232 8637 1992294400 4194304 9819077 140734572983680 18446744073709551615 7227236 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10117 8639 722 1374 0 8738 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 40468 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6561 /proc/meminfo: memFree=1516092/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=41652 CPUtime=1241.77 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 5069687 0 0 0 121031 3146 0 0 25 0 1 0 4524021 42651648 8713 1992294400 4194304 9819077 140734572983680 18446744073709551615 7302698 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10413 8713 722 1374 0 9034 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 41652 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6563 /proc/meminfo: memFree=1515348/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42196 CPUtime=1301.76 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 5334730 0 0 0 126868 3308 0 0 25 0 1 0 4524021 43208704 8914 1992294400 4194304 9819077 140734572983680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10549 8914 722 1374 0 9170 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 42196 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6565 /proc/meminfo: memFree=1515100/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42220 CPUtime=1361.72 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 5595085 0 0 0 132701 3471 0 0 25 0 1 0 4524021 43233280 8883 1992294400 4194304 9819077 140734572983680 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10555 8883 722 1374 0 9176 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 42220 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6567 /proc/meminfo: memFree=1515100/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42320 CPUtime=1421.7 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 5872724 0 0 0 138530 3640 0 0 25 0 1 0 4524021 43335680 8878 1992294400 4194304 9819077 140734572983680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10580 8878 722 1374 0 9201 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 42320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6569 /proc/meminfo: memFree=1515100/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42224 CPUtime=1481.67 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 6137996 0 0 0 144364 3803 0 0 25 0 1 0 4524021 43237376 8877 1992294400 4194304 9819077 140734572983680 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10556 8877 722 1374 0 9177 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 42224 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6569 /proc/meminfo: memFree=1515348/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42332 CPUtime=1541.64 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 6398014 0 0 0 150201 3963 0 0 25 0 1 0 4524021 43347968 8906 1992294400 4194304 9819077 140734572983680 18446744073709551615 7308970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10583 8906 722 1374 0 9204 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 42332 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6571 /proc/meminfo: memFree=1515224/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42232 CPUtime=1601.62 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 6647341 0 0 0 156045 4117 0 0 25 0 1 0 4524021 43245568 8886 1992294400 4194304 9819077 140734572983680 18446744073709551615 5916872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10558 8886 722 1374 0 9179 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 42232 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 6576 /proc/meminfo: memFree=1515224/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=41416 CPUtime=1661.6 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 6921090 0 0 0 161868 4292 0 0 25 0 1 0 4524021 42409984 8878 1992294400 4194304 9819077 140734572983680 18446744073709551615 7227260 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10354 8880 722 1374 0 8975 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 41416 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6578 /proc/meminfo: memFree=1514976/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42348 CPUtime=1721.57 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 7187170 0 0 0 167701 4456 0 0 25 0 1 0 4524021 43364352 8915 1992294400 4194304 9819077 140734572983680 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10587 8915 722 1374 0 9208 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 42348 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6580 /proc/meminfo: memFree=1514976/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=42416 CPUtime=1781.55 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 7451699 0 0 0 173534 4621 0 0 25 0 1 0 4524021 43433984 8927 1992294400 4194304 9819077 140734572983680 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10604 8927 722 1374 0 9225 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 42416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6580 /proc/meminfo: memFree=1514976/2059040 swapFree=4192956/4192956 [pid=6519] ppid=6517 vsize=41536 CPUtime=1800.04 /proc/6519/stat : 6519 (pbscip.linux.x8) R 6517 6519 5582 0 -1 4202496 7527985 0 0 0 175337 4667 0 0 25 0 1 0 4524021 42532864 8908 1992294400 4194304 9819077 140734572983680 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6519/statm: 10384 8908 722 1374 0 9005 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 41536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.84 CPU time (s): 1800.09 CPU user time (s): 1753.41 CPU system time (s): 46.6839 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (KiB): 45576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.41 system time used= 46.6839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7528027 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= 4393 runsolver used 3.12552 second user time and 8.36073 second system time The end
Begin job on node010 at 2010-06-11 22:47:04 IDJOB=2665825 IDBENCH=1293 IDSOLVER=1168 FILE ID=node010/2665825-1276289224 PBS_JOBID= 11173098 Free space on /tmp= 62500 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.1900546417.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-2665825-1276289224/watcher-2665825-1276289224 -o /tmp/evaluation-result-2665825-1276289224/solver-2665825-1276289224 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665825-1276289224.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a94882f61e84be0ce1718fd53c8fd7c8 RANDOM SEED=56868916 node010.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.267 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.53 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.267 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: 1550604 kB Buffers: 67344 kB Cached: 313944 kB SwapCached: 0 kB Active: 177072 kB Inactive: 263532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1550604 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6364 kB Writeback: 0 kB AnonPages: 59284 kB Mapped: 15392 kB Slab: 46116 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181804 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= 62492 MiB End job on node010 at 2010-06-11 23:17:07