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.07 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb |
MD5SUM | 9a7dcf907234f84f0d33881f56632ec3 |
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 | 830.59 |
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 | 625 |
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-2665467-1276310774.opb> 0.01/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.01/0.05 c problem read 0.01/0.05 c No objective function, only one solution is needed. 0.01/0.05 c presolving settings loaded 0.01/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.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 | 65 | - |3551k| 0 | 35 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.4s| 1 | 0 | 132 | - |4063k| 0 | 58 | 231 |2728 | 231 |2571 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.80 c 0.7s| 1 | 0 | 388 | - |4836k| 0 | 69 | 231 |2728 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.29 c 1.1s| 1 | 0 | 723 | - |5341k| 0 | 72 | 231 |2728 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.90 c 1.8s| 1 | 0 | 1164 | - |5378k| 0 | 72 | 231 |2728 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 2.29/2.39 c 2.2s| 1 | 0 | 1342 | - |5847k| 0 | 88 | 231 |2728 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 5.79/5.86 c 5.7s| 1 | 2 | 1342 | - |5847k| 0 | 88 | 231 |2728 | 231 |2580 | 16 | 0 | 11 | 0.000000e+00 | -- | Inf 194.32/194.45 c 190s| 10000 | 104 |398009 | 39.7 |7615k| 40 | 22 | 231 |5926 | 231 |2571 | 16 |4562 |1820 | 0.000000e+00 | -- | Inf 334.78/334.99 c 327s| 20000 | 130 |768546 | 38.4 |8157k| 45 | - | 231 |6682 | 231 |2571 | 16 |8727 |2215 | 0.000000e+00 | -- | Inf 484.42/484.60 c 472s| 30000 | 149 | 1156k| 38.5 |8302k| 46 | - | 231 |6582 | 231 |2571 | 16 | 12k|2762 | 0.000000e+00 | -- | Inf 630.09/630.35 c 613s| 40000 | 138 | 1532k| 38.3 |8128k| 46 | - | 231 |5737 | 231 |2571 | 16 | 17k|3245 | 0.000000e+00 | -- | Inf 777.93/778.21 c 756s| 50000 | 125 | 1915k| 38.3 |8360k| 46 | 40 | 231 |6395 | 231 |2571 | 16 | 21k|3736 | 0.000000e+00 | -- | Inf 923.79/924.18 c 898s| 60000 | 107 | 2299k| 38.3 |8553k| 52 | 36 | 231 |6753 | 231 |2571 | 16 | 25k|4121 | 0.000000e+00 | -- | Inf 1066.04/1066.44 c 1036s| 70000 | 94 | 2677k| 38.2 |8873k| 53 | - | 231 |7457 | 231 |2571 | 16 | 29k|4489 | 0.000000e+00 | -- | Inf 1214.60/1215.00 c 1180s| 80000 | 80 | 3072k| 38.4 |8646k| 53 | 38 | 231 |6759 | 231 |2571 | 16 | 33k|4861 | 0.000000e+00 | -- | Inf 1359.06/1359.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1359.06/1359.59 c 1320s| 90000 | 105 | 3467k| 38.5 |9364k| 53 | 14 | 231 |8418 | 231 |2571 | 16 | 37k|5159 | 0.000000e+00 | -- | Inf 1510.70/1511.26 c 1467s|100000 | 95 | 3878k| 38.8 |9473k| 53 | - | 231 |8699 | 231 |2571 | 16 | 41k|5465 | 0.000000e+00 | -- | Inf 1666.55/1667.17 c 1619s|110000 | 108 | 4302k| 39.1 |9929k| 53 | - | 231 |9591 | 231 |2571 | 16 | 45k|5787 | 0.000000e+00 | -- | Inf 1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.62 c 1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.62 c Solving Time (sec) : 1748.38 1800.02/1800.62 c Solving Nodes : 118954 1800.02/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.62 c Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Gap : infinite 1800.02/1800.62 s UNKNOWN 1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.62 c Solving Time : 1748.38 1800.02/1800.62 c Original Problem : 1800.02/1800.62 c Problem name : HOME/instance-2665467-1276310774.opb 1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.02/1800.62 c Presolved Problem : 1800.02/1800.62 c Problem name : t_HOME/instance-2665467-1276310774.opb 1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.62 c Constraints : 2564 initial, 10062 maximal 1800.02/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0 1800.02/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.62 c root node : - 0 - - 0 - - - - 1800.02/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.62 c integral : 0 0 0 61330 0 291 2073 0 0 119560 1800.02/1800.62 c knapsack : 1 5 361097 0 0 788 151144 0 0 0 1800.02/1800.62 c setppc : 22 5 360547 0 0 1807 580175 0 0 0 1800.02/1800.62 c linear : 0+ 5 274259 0 0 7 2914 12 0 0 1800.02/1800.62 c logicor : 2541+ 5 216097 0 0 673 798174 0 0 0 1800.02/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.62 c integral : 139.40 0.00 0.00 139.40 0.00 1800.02/1800.62 c knapsack : 3.77 0.00 3.77 0.00 0.00 1800.02/1800.62 c setppc : 6.45 0.00 6.45 0.00 0.00 1800.02/1800.62 c linear : 1.16 0.00 1.16 0.00 0.00 1800.02/1800.62 c logicor : 30.17 0.00 30.17 0.00 0.00 1800.02/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.62 c vbounds : 0.25 1 0 0 1800.02/1800.62 c rootredcost : 0.31 0 0 0 1800.02/1800.62 c pseudoobj : 0.17 0 0 0 1800.02/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.62 c propagation : 0.30 3275 3251 18945 23.3 36 22.0 - 1800.02/1800.62 c infeasible LP : 22.84 56128 38264 239714 36.9 167 16.2 0 1800.02/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.62 c applied globally : - - - 47325 19.5 - - - 1800.02/1800.62 c applied locally : - - - 1333 33.4 - - - 1800.02/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.62 c cut pool : 0.00 4 - - 8 - (maximal pool size: 590) 1800.02/1800.62 c redcost : 0.55 60133 0 0 0 0 1800.02/1800.62 c impliedbounds : 0.00 5 0 0 0 0 1800.02/1800.62 c intobj : 0.00 0 0 0 0 0 1800.02/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.62 c gomory : 0.79 5 0 0 1000 0 1800.02/1800.62 c strongcg : 0.61 5 0 0 2062 0 1800.02/1800.62 c cmir : 0.00 0 0 0 0 0 1800.02/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.62 c clique : 0.00 5 0 0 0 0 1800.02/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.62 c mcf : 0.00 1 0 0 0 0 1800.02/1800.62 c rapidlearning : 0.20 1 0 0 0 164 1800.02/1800.62 c Pricers : Time Calls Vars 1800.02/1800.62 c problem variables: 0.00 0 0 1800.02/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.62 c relpscost : 139.25 61330 291 2073 0 0 119560 1800.02/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.02/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.62 c random : 0.00 0 0 0 0 0 0 1800.02/1800.62 c Primal Heuristics : Time Calls Found 1800.02/1800.62 c LP solutions : 0.00 - 0 1800.02/1800.62 c pseudo solutions : 0.00 - 0 1800.02/1800.62 c trivial : 0.00 1 0 1800.02/1800.62 c simplerounding : 0.00 0 0 1800.02/1800.62 c zirounding : 0.00 0 0 1800.02/1800.62 c rounding : 0.00 0 0 1800.02/1800.62 c shifting : 0.00 0 0 1800.02/1800.62 c intshifting : 0.00 0 0 1800.02/1800.62 c oneopt : 0.00 0 0 1800.02/1800.62 c twoopt : 0.00 0 0 1800.02/1800.62 c fixandinfer : 0.00 0 0 1800.02/1800.62 c feaspump : 0.00 0 0 1800.02/1800.62 c coefdiving : 0.00 0 0 1800.02/1800.62 c pscostdiving : 0.00 0 0 1800.02/1800.62 c fracdiving : 0.00 0 0 1800.02/1800.62 c veclendiving : 0.00 0 0 1800.02/1800.62 c intdiving : 0.00 0 0 1800.02/1800.62 c actconsdiving : 0.00 0 0 1800.02/1800.62 c objpscostdiving : 0.00 0 0 1800.02/1800.62 c rootsoldiving : 0.00 0 0 1800.02/1800.62 c linesearchdiving : 0.00 0 0 1800.02/1800.62 c guideddiving : 0.00 0 0 1800.02/1800.62 c octane : 0.00 0 0 1800.02/1800.62 c rens : 0.00 0 0 1800.02/1800.62 c rins : 0.00 0 0 1800.02/1800.62 c localbranching : 0.00 0 0 1800.02/1800.62 c mutation : 0.00 0 0 1800.02/1800.62 c crossover : 0.00 0 0 1800.02/1800.62 c dins : 0.00 0 0 1800.02/1800.62 c undercover : 0.00 0 0 1800.02/1800.62 c nlp : 0.00 0 0 1800.02/1800.62 c trysol : 0.00 0 0 1800.02/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.62 c dual LP : 1461.90 117327 4660760 39.72 3188.15 1800.02/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.62 c strong branching : 136.61 5989 479955 80.14 3513.32 1800.02/1800.62 c (at root node) : - 11 7024 638.55 - 1800.02/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.62 c B&B Tree : 1800.02/1800.62 c number of runs : 1 1800.02/1800.62 c nodes : 118954 1800.02/1800.62 c nodes (total) : 118954 1800.02/1800.62 c nodes left : 86 1800.02/1800.62 c max depth : 53 1800.02/1800.62 c max depth (total): 53 1800.02/1800.62 c backtracks : 14887 (12.5%) 1800.02/1800.62 c delayed cutoffs : 521 1800.02/1800.62 c repropagations : 104069 (173256 domain reductions, 520 cutoffs) 1800.02/1800.62 c avg switch length: 3.86 1800.02/1800.62 c switching time : 33.58 1800.02/1800.62 c Solution : 1800.02/1800.62 c Solutions found : 0 (0 improvements) 1800.02/1800.62 c Primal Bound : - 1800.02/1800.62 c Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Gap : infinite 1800.02/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Root Iterations : 1342 1800.02/1800.65 c Time complete: 1800.06.
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-2665467-1276310774/watcher-2665467-1276310774 -o /tmp/evaluation-result-2665467-1276310774/solver-2665467-1276310774 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665467-1276310774.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 9700 /proc/meminfo: memFree=1421796/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=8260 CPUtime=0 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 1022 0 0 0 0 0 0 0 21 0 1 0 4733767 8458240 943 1992294400 4194304 9819077 140736015097056 18446744073709551615 8723754 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9700/statm: 2322 951 371 1374 0 943 0 [startup+0.0250491 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9700 /proc/meminfo: memFree=1421796/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=11212 CPUtime=0.01 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 1723 0 0 0 1 0 0 0 23 0 1 0 4733767 11481088 1644 1992294400 4194304 9819077 140736015097056 18446744073709551615 8080882 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9700/statm: 2803 1644 386 1374 0 1424 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11212 [startup+0.101057 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9700 /proc/meminfo: memFree=1421796/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=17476 CPUtime=0.09 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 3758 0 0 0 8 1 0 0 23 0 1 0 4733767 17895424 3068 1992294400 4194304 9819077 140736015097056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 4369 3068 489 1374 0 2990 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17476 [startup+0.301075 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9700 /proc/meminfo: memFree=1421796/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=37144 CPUtime=0.29 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 10675 0 0 0 25 4 0 0 23 0 1 0 4733767 38035456 7367 1992294400 4194304 9819077 140736015097056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9286 7367 670 1374 0 7907 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37144 [startup+0.701114 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9700 /proc/meminfo: memFree=1421796/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=31736 CPUtime=0.69 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 13866 0 0 0 62 7 0 0 25 0 1 0 4733767 32497664 6817 1992294400 4194304 9819077 140736015097056 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 7934 6817 692 1374 0 6555 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31736 [startup+1.50119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9701 /proc/meminfo: memFree=1397112/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=34764 CPUtime=1.49 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 14583 0 0 0 141 8 0 0 25 0 1 0 4733767 35598336 7516 1992294400 4194304 9819077 140736015097056 18446744073709551615 4310886 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 8691 7516 692 1374 0 7312 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34764 [startup+3.10034 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9701 /proc/meminfo: memFree=1393888/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40524 CPUtime=3.09 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 16102 0 0 0 299 10 0 0 25 0 1 0 4733767 41496576 8001 1992294400 4194304 9819077 140736015097056 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10131 8001 698 1374 0 8752 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40524 [startup+6.30065 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9701 /proc/meminfo: memFree=1391532/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39704 CPUtime=6.29 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 20441 0 0 0 616 13 0 0 25 0 1 0 4733767 40656896 7977 1992294400 4194304 9819077 140736015097056 18446744073709551615 7292346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9926 7977 705 1374 0 8547 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39704 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9703 /proc/meminfo: memFree=1391532/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39260 CPUtime=12.68 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 32869 0 0 0 1245 23 0 0 25 0 1 0 4733767 40202240 8002 1992294400 4194304 9819077 140736015097056 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9815 8002 718 1374 0 8436 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 39260 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9703 /proc/meminfo: memFree=1391532/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39788 CPUtime=25.48 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 59107 0 0 0 2504 44 0 0 25 0 1 0 4733767 40742912 8011 1992294400 4194304 9819077 140736015097056 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9947 8011 721 1374 0 8568 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39788 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9703 /proc/meminfo: memFree=1391532/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=37324 CPUtime=51.07 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 107138 0 0 0 5021 86 0 0 25 0 1 0 4733767 38219776 8016 1992294400 4194304 9819077 140736015097056 18446744073709551615 7309071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9331 8016 722 1374 0 7952 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37324 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9705 /proc/meminfo: memFree=1391160/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=37152 CPUtime=102.26 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 221979 0 0 0 10034 192 0 0 25 0 1 0 4733767 38043648 8009 1992294400 4194304 9819077 140736015097056 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9416 8011 722 1374 0 8037 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 37152 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9707 /proc/meminfo: memFree=1391036/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=38304 CPUtime=162.22 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 412981 0 0 0 15894 328 0 0 25 0 1 0 4733767 39223296 8109 1992294400 4194304 9819077 140736015097056 18446744073709551615 7312760 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9576 8109 722 1374 0 8197 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 38304 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9707 /proc/meminfo: memFree=1390664/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39096 CPUtime=222.22 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 670127 0 0 0 21729 493 0 0 25 0 1 0 4733767 40034304 8119 1992294400 4194304 9819077 140736015097056 18446744073709551615 7302703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9774 8119 722 1374 0 8395 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 39096 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9709 /proc/meminfo: memFree=1390664/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39212 CPUtime=282.2 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 968540 0 0 0 27552 668 0 0 25 0 1 0 4733767 40153088 8143 1992294400 4194304 9819077 140736015097056 18446744073709551615 7304799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9803 8143 722 1374 0 8424 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 39212 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9711 /proc/meminfo: memFree=1390664/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=38484 CPUtime=342.17 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 1255739 0 0 0 33367 850 0 0 25 0 1 0 4733767 39407616 8115 1992294400 4194304 9819077 140736015097056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9621 8121 722 1374 0 8242 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 38484 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9713 /proc/meminfo: memFree=1389052/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39400 CPUtime=402.15 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 1558073 0 0 0 39179 1036 0 0 25 0 1 0 4733767 40345600 8175 1992294400 4194304 9819077 140736015097056 18446744073709551615 7317729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9850 8175 722 1374 0 8471 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 39400 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9715 /proc/meminfo: memFree=1390168/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39584 CPUtime=462.14 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 1851385 0 0 0 45001 1213 0 0 25 0 1 0 4733767 40534016 8207 1992294400 4194304 9819077 140736015097056 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9896 8207 722 1374 0 8517 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 39584 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9715 /proc/meminfo: memFree=1390168/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39672 CPUtime=522.12 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 2156144 0 0 0 50815 1397 0 0 25 0 1 0 4733767 40624128 8223 1992294400 4194304 9819077 140736015097056 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9918 8223 722 1374 0 8539 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 39672 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9717 /proc/meminfo: memFree=1389920/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39716 CPUtime=582.09 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 2461735 0 0 0 56635 1574 0 0 25 0 1 0 4733767 40669184 8246 1992294400 4194304 9819077 140736015097056 18446744073709551615 6567022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9929 8246 722 1374 0 8550 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 39716 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9719 /proc/meminfo: memFree=1389920/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=42924 CPUtime=642.08 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 2769091 0 0 0 62453 1755 0 0 25 0 1 0 4733767 43954176 8312 1992294400 4194304 9819077 140736015097056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10731 8312 722 1374 0 9352 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 42924 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9723 /proc/meminfo: memFree=1388928/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40020 CPUtime=822.03 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 3676691 0 0 0 79905 2298 0 0 25 0 1 0 4733767 40980480 8299 1992294400 4194304 9819077 140736015097056 18446744073709551615 7302705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10005 8299 722 1374 0 8626 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 40020 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9725 /proc/meminfo: memFree=1389548/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40136 CPUtime=882.01 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 3976528 0 0 0 85729 2472 0 0 25 0 1 0 4733767 41099264 8376 1992294400 4194304 9819077 140736015097056 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10034 8376 722 1374 0 8655 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 40136 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9736 /proc/meminfo: memFree=1389052/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40072 CPUtime=941.98 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 4269649 0 0 0 91551 2647 0 0 25 0 1 0 4733767 41033728 8368 1992294400 4194304 9819077 140736015097056 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10018 8368 722 1374 0 8639 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 40072 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9738 /proc/meminfo: memFree=1388804/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40200 CPUtime=1001.96 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 4573495 0 0 0 97366 2830 0 0 25 0 1 0 4733767 41164800 8376 1992294400 4194304 9819077 140736015097056 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10050 8376 722 1374 0 8671 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 40200 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9740 /proc/meminfo: memFree=1388928/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39624 CPUtime=1061.94 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 4864525 0 0 0 103189 3005 0 0 25 0 1 0 4733767 40574976 8422 1992294400 4194304 9819077 140736015097056 18446744073709551615 7263109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9906 8422 722 1374 0 8527 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 39624 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9740 /proc/meminfo: memFree=1388804/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40608 CPUtime=1121.92 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 5152159 0 0 0 109018 3174 0 0 25 0 1 0 4733767 41582592 8472 1992294400 4194304 9819077 140736015097056 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10152 8472 722 1374 0 8773 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 40608 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9742 /proc/meminfo: memFree=1388804/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39812 CPUtime=1181.9 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 5443538 0 0 0 114832 3358 0 0 25 0 1 0 4733767 40767488 8454 1992294400 4194304 9819077 140736015097056 18446744073709551615 7226094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9953 8454 722 1374 0 8574 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 39812 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9744 /proc/meminfo: memFree=1388680/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40640 CPUtime=1241.89 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 5741102 0 0 0 120647 3542 0 0 25 0 1 0 4733767 41615360 8464 1992294400 4194304 9819077 140736015097056 18446744073709551615 6568822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10160 8464 722 1374 0 8781 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 40640 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9746 /proc/meminfo: memFree=1388432/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=39768 CPUtime=1301.87 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 6033680 0 0 0 126467 3720 0 0 25 0 1 0 4733767 40722432 8453 1992294400 4194304 9819077 140736015097056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 9942 8453 722 1374 0 8563 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 39768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9748 /proc/meminfo: memFree=1387316/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40792 CPUtime=1361.85 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 6318116 0 0 0 132287 3898 0 0 25 0 1 0 4733767 41771008 8715 1992294400 4194304 9819077 140736015097056 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10198 8715 722 1374 0 8819 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 40792 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9748 /proc/meminfo: memFree=1387316/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=41000 CPUtime=1421.84 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 6589163 0 0 0 138121 4063 0 0 25 0 1 0 4733767 41984000 8748 1992294400 4194304 9819077 140736015097056 18446744073709551615 7224739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10250 8748 722 1374 0 8871 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 41000 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9750 /proc/meminfo: memFree=1387068/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=41832 CPUtime=1481.81 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 6885816 0 0 0 143938 4243 0 0 25 0 1 0 4733767 42835968 8758 1992294400 4194304 9819077 140736015097056 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10458 8758 722 1374 0 9079 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 41832 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9752 /proc/meminfo: memFree=1387316/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=40936 CPUtime=1541.79 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 7159415 0 0 0 149767 4412 0 0 25 0 1 0 4733767 41918464 8748 1992294400 4194304 9819077 140736015097056 18446744073709551615 7263109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10234 8748 722 1374 0 8855 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 40936 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9754 /proc/meminfo: memFree=1387068/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=42128 CPUtime=1601.78 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 7433449 0 0 0 155604 4574 0 0 25 0 1 0 4733767 43139072 8864 1992294400 4194304 9819077 140736015097056 18446744073709551615 7292051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10532 8864 722 1374 0 9153 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 42128 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9756 /proc/meminfo: memFree=1386944/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=42196 CPUtime=1661.75 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 7718461 0 0 0 161422 4753 0 0 25 0 1 0 4733767 43208704 8903 1992294400 4194304 9819077 140736015097056 18446744073709551615 7306075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10549 8903 722 1374 0 9170 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 42196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9756 /proc/meminfo: memFree=1386448/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=42524 CPUtime=1721.73 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 8007997 0 0 0 167233 4940 0 0 25 0 1 0 4733767 43544576 8940 1992294400 4194304 9819077 140736015097056 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10631 8940 722 1374 0 9252 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 42524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9758 /proc/meminfo: memFree=1386448/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=42588 CPUtime=1781.72 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 8289148 0 0 0 173061 5111 0 0 25 0 1 0 4733767 43610112 8960 1992294400 4194304 9819077 140736015097056 18446744073709551615 7326177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10647 8960 722 1374 0 9268 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 42588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9758 /proc/meminfo: memFree=1386448/2059040 swapFree=4192956/4192956 [pid=9700] ppid=9698 vsize=42500 CPUtime=1800.02 /proc/9700/stat : 9700 (pbscip.linux.x8) R 9698 9700 9007 0 -1 4202496 8370909 0 0 0 174843 5159 0 0 25 0 1 0 4733767 43520000 8944 1992294400 4194304 9819077 140736015097056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9700/statm: 10625 8944 722 1374 0 9246 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 42500 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.66 CPU time (s): 1800.07 CPU user time (s): 1748.47 CPU system time (s): 51.6052 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 45808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1748.47 system time used= 51.6052 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8370958 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= 7339 runsolver used 3.05154 second user time and 8.43872 second system time The end
Begin job on node018 at 2010-06-12 04:46:14 IDJOB=2665467 IDBENCH=1356 IDSOLVER=1168 FILE ID=node018/2665467-1276310774 PBS_JOBID= 11173143 Free space on /tmp= 62292 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.1900548667.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-2665467-1276310774/watcher-2665467-1276310774 -o /tmp/evaluation-result-2665467-1276310774/solver-2665467-1276310774 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665467-1276310774.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3 RANDOM SEED=453698564 node018.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.248 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.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1422324 kB Buffers: 89720 kB Cached: 404732 kB SwapCached: 0 kB Active: 200136 kB Inactive: 353532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1422324 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6352 kB Writeback: 0 kB AnonPages: 59212 kB Mapped: 15352 kB Slab: 61360 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181300 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= 62288 MiB End job on node018 at 2010-06-12 05:16:17