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.06 | 1800.75 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb |
MD5SUM | 46461f0e86cd2c07d09bc154a5f6739a |
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 | 58.879 |
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 | 715 |
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-2665462-1276312698.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.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.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 | 60 | - |3551k| 0 | 33 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.4s| 1 | 0 | 91 | - |3945k| 0 | 34 | 231 |2741 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.68 c 0.6s| 1 | 0 | 139 | - |4440k| 0 | 51 | 231 |2741 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.03 c 0.9s| 1 | 0 | 424 | - |4453k| 0 | 50 | 231 |2741 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.32 c 1.2s| 1 | 0 | 527 | - |4459k| 0 | 55 | 231 |2741 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 3.69/3.70 c 3.5s| 1 | 2 | 527 | - |4460k| 0 | 55 | 231 |2741 | 231 |2589 | 25 | 0 | 10 | 0.000000e+00 | -- | Inf 235.69/235.88 c 231s| 10000 | 57 |526940 | 52.6 |6012k| 35 | 30 | 231 |5710 | 231 |2576 | 25 |4900 |1669 | 0.000000e+00 | -- | Inf 420.92/421.18 c 412s| 20000 | 58 | 1046k| 52.3 |6910k| 38 | 38 | 231 |7705 | 231 |2576 | 25 |9694 |2152 | 0.000000e+00 | -- | Inf 611.35/611.67 c 597s| 30000 | 57 | 1565k| 52.2 |7560k| 47 | 25 | 231 |8862 | 231 |2576 | 25 | 14k|2814 | 0.000000e+00 | -- | Inf 803.08/803.47 c 784s| 40000 | 51 | 2092k| 52.3 |7948k| 47 | - | 231 |9488 | 231 |2576 | 25 | 19k|3350 | 0.000000e+00 | -- | Inf 1002.80/1003.24 c 979s| 50000 | 71 | 2657k| 53.1 |7477k| 48 | - | 231 |7600 | 231 |2576 | 25 | 24k|3786 | 0.000000e+00 | -- | Inf 1197.34/1197.83 c 1168s| 60000 | 98 | 3217k| 53.6 |8380k| 48 | 37 | 231 |9546 | 231 |2576 | 25 | 28k|4177 | 0.000000e+00 | -- | Inf 1387.66/1388.22 c 1353s| 70000 | 127 | 3758k| 53.7 |8363k| 51 | 49 | 231 |9027 | 231 |2576 | 25 | 32k|4530 | 0.000000e+00 | -- | Inf 1567.29/1567.90 c 1528s| 80000 | 132 | 4274k| 53.4 |8917k| 51 | 26 | 231 | 10k| 231 |2576 | 25 | 37k|4817 | 0.000000e+00 | -- | Inf 1753.52/1754.27 c 1710s| 90000 | 82 | 4801k| 53.3 |7942k| 51 | - | 231 |7784 | 231 |2576 | 25 | 41k|5178 | 0.000000e+00 | -- | Inf 1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.72 c 1800.02/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.72 c Solving Time (sec) : 1755.03 1800.02/1800.72 c Solving Nodes : 92642 1800.02/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.72 c Dual Bound : +0.00000000000000e+00 1800.02/1800.72 c Gap : infinite 1800.02/1800.72 s UNKNOWN 1800.02/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.72 c Solving Time : 1755.03 1800.02/1800.72 c Original Problem : 1800.02/1800.72 c Problem name : HOME/instance-2665462-1276312698.opb 1800.02/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.72 c Constraints : 2707 initial, 2707 maximal 1800.02/1800.72 c Presolved Problem : 1800.02/1800.72 c Problem name : t_HOME/instance-2665462-1276312698.opb 1800.02/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.72 c Constraints : 2564 initial, 10439 maximal 1800.02/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.72 c linear : 0.03 0 0 0 0 0 143 0 0 1800.02/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.72 c root node : - 0 - - 0 - - - - 1800.02/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.72 c integral : 0 0 0 47879 0 165 1813 0 0 93242 1800.02/1800.72 c knapsack : 1 5 297074 0 0 702 171623 0 0 0 1800.02/1800.72 c setppc : 22 5 296578 0 0 1814 497262 0 0 0 1800.02/1800.72 c linear : 0+ 5 219571 0 0 13 2298 1 0 0 1800.02/1800.72 c logicor : 2541+ 5 168543 0 0 715 588245 0 0 0 1800.02/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.72 c integral : 163.73 0.00 0.00 163.73 0.00 1800.02/1800.72 c knapsack : 2.82 0.00 2.82 0.00 0.00 1800.02/1800.72 c setppc : 5.99 0.00 5.99 0.00 0.00 1800.02/1800.72 c linear : 1.30 0.01 1.29 0.00 0.00 1800.02/1800.72 c logicor : 28.29 0.00 28.29 0.00 0.00 1800.02/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.72 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.72 c vbounds : 0.21 1 0 0 1800.02/1800.72 c rootredcost : 0.16 0 0 0 1800.02/1800.72 c pseudoobj : 0.11 0 0 0 1800.02/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.72 c propagation : 0.31 3244 3224 16861 22.2 50 18.9 - 1800.02/1800.72 c infeasible LP : 16.25 43144 31371 183346 36.3 117 14.5 0 1800.02/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.72 c applied globally : - - - 40788 19.6 - - - 1800.02/1800.72 c applied locally : - - - 2062 33.5 - - - 1800.02/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.72 c cut pool : 0.01 4 - - 16 - (maximal pool size: 295) 1800.02/1800.72 c redcost : 0.64 46846 0 0 0 0 1800.02/1800.72 c impliedbounds : 0.00 5 0 0 0 0 1800.02/1800.72 c intobj : 0.00 0 0 0 0 0 1800.02/1800.72 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.72 c gomory : 0.57 5 0 0 1467 0 1800.02/1800.72 c strongcg : 0.47 5 0 0 1469 0 1800.02/1800.72 c cmir : 0.00 0 0 0 0 0 1800.02/1800.72 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.72 c clique : 0.01 5 0 0 0 0 1800.02/1800.72 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.72 c mcf : 0.00 1 0 0 0 0 1800.02/1800.72 c rapidlearning : 0.22 1 0 0 0 177 1800.02/1800.72 c Pricers : Time Calls Vars 1800.02/1800.72 c problem variables: 0.00 0 0 1800.02/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.72 c relpscost : 163.64 47879 165 1813 0 0 93242 1800.02/1800.72 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.72 c inference : 0.00 0 0 0 0 0 0 1800.02/1800.72 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.72 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.72 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.72 c random : 0.00 0 0 0 0 0 0 1800.02/1800.72 c Primal Heuristics : Time Calls Found 1800.02/1800.72 c LP solutions : 0.00 - 0 1800.02/1800.72 c pseudo solutions : 0.00 - 0 1800.02/1800.72 c trivial : 0.00 1 0 1800.02/1800.72 c simplerounding : 0.00 0 0 1800.02/1800.72 c zirounding : 0.00 0 0 1800.02/1800.72 c rounding : 0.00 0 0 1800.02/1800.72 c shifting : 0.00 0 0 1800.02/1800.72 c intshifting : 0.00 0 0 1800.02/1800.72 c oneopt : 0.00 0 0 1800.02/1800.72 c twoopt : 0.00 0 0 1800.02/1800.72 c fixandinfer : 0.00 0 0 1800.02/1800.72 c feaspump : 0.00 0 0 1800.02/1800.72 c coefdiving : 0.00 0 0 1800.02/1800.72 c pscostdiving : 0.00 0 0 1800.02/1800.72 c fracdiving : 0.00 0 0 1800.02/1800.72 c veclendiving : 0.00 0 0 1800.02/1800.72 c intdiving : 0.00 0 0 1800.02/1800.72 c actconsdiving : 0.00 0 0 1800.02/1800.72 c objpscostdiving : 0.00 0 0 1800.02/1800.72 c rootsoldiving : 0.00 0 0 1800.02/1800.72 c linesearchdiving : 0.00 0 0 1800.02/1800.72 c guideddiving : 0.00 0 0 1800.02/1800.72 c octane : 0.00 0 0 1800.02/1800.72 c rens : 0.00 0 0 1800.02/1800.72 c rins : 0.00 0 0 1800.02/1800.72 c localbranching : 0.00 0 0 1800.02/1800.72 c mutation : 0.00 0 0 1800.02/1800.72 c crossover : 0.00 0 0 1800.02/1800.72 c dins : 0.00 0 0 1800.02/1800.72 c undercover : 0.00 0 0 1800.02/1800.72 c nlp : 0.00 0 0 1800.02/1800.72 c trysol : 0.00 0 0 1800.02/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.72 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.72 c dual LP : 1466.77 90907 4939375 54.33 3367.52 1800.02/1800.72 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.72 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.72 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.72 c strong branching : 161.64 5213 576301 110.55 3565.34 1800.02/1800.72 c (at root node) : - 10 6000 600.00 - 1800.02/1800.72 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.72 c B&B Tree : 1800.02/1800.72 c number of runs : 1 1800.02/1800.72 c nodes : 92642 1800.02/1800.72 c nodes (total) : 92642 1800.02/1800.72 c nodes left : 69 1800.02/1800.72 c max depth : 53 1800.02/1800.72 c max depth (total): 53 1800.02/1800.72 c backtracks : 10509 (11.3%) 1800.02/1800.72 c delayed cutoffs : 532 1800.02/1800.72 c repropagations : 95576 (147060 domain reductions, 532 cutoffs) 1800.02/1800.72 c avg switch length: 3.99 1800.02/1800.72 c switching time : 29.16 1800.02/1800.72 c Solution : 1800.02/1800.72 c Solutions found : 0 (0 improvements) 1800.02/1800.72 c Primal Bound : - 1800.02/1800.72 c Dual Bound : +0.00000000000000e+00 1800.02/1800.72 c Gap : infinite 1800.02/1800.72 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.72 c Root Iterations : 527 1800.02/1800.75 c Time complete: 1800.05.
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-2665462-1276312698/watcher-2665462-1276312698 -o /tmp/evaluation-result-2665462-1276312698/solver-2665462-1276312698 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665462-1276312698.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.01 1.08 1.18 3/106 8788 /proc/meminfo: memFree=1522528/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=9288 CPUtime=0 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 1068 0 0 0 0 0 0 0 18 0 1 0 6871374 9510912 989 1992294400 4194304 9819077 140734464235264 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8788/statm: 2322 999 371 1374 0 943 0 [startup+0.0188021 s] /proc/loadavg: 1.01 1.08 1.18 3/106 8788 /proc/meminfo: memFree=1522528/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=11016 CPUtime=0.01 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 1670 0 0 0 1 0 0 0 18 0 1 0 6871374 11280384 1591 1992294400 4194304 9819077 140734464235264 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8788/statm: 2754 1595 386 1374 0 1375 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11016 [startup+0.100816 s] /proc/loadavg: 1.01 1.08 1.18 3/106 8788 /proc/meminfo: memFree=1522528/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=17484 CPUtime=0.09 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 3767 0 0 0 8 1 0 0 20 0 1 0 6871374 17903616 3077 1992294400 4194304 9819077 140734464235264 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 4371 3077 489 1374 0 2992 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17484 [startup+0.300851 s] /proc/loadavg: 1.01 1.08 1.18 3/106 8788 /proc/meminfo: memFree=1522528/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=38340 CPUtime=0.29 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 11415 0 0 0 24 5 0 0 18 0 1 0 6871374 39260160 7596 1992294400 4194304 9819077 140734464235264 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9585 7610 668 1374 0 8206 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38340 [startup+0.700922 s] /proc/loadavg: 1.01 1.08 1.18 3/106 8788 /proc/meminfo: memFree=1522528/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=29448 CPUtime=0.69 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 13287 0 0 0 62 7 0 0 18 0 1 0 6871374 30154752 6239 1992294400 4194304 9819077 140734464235264 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 7362 6239 692 1374 0 5983 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29448 [startup+1.50106 s] /proc/loadavg: 1.01 1.08 1.18 2/107 8789 /proc/meminfo: memFree=1500200/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=29616 CPUtime=1.49 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 13318 0 0 0 140 9 0 0 19 0 1 0 6871374 30326784 6256 1992294400 4194304 9819077 140734464235264 18446744073709551615 7311779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 7404 6256 692 1374 0 6025 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29616 [startup+3.10135 s] /proc/loadavg: 1.01 1.08 1.18 2/107 8789 /proc/meminfo: memFree=1499580/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=32476 CPUtime=3.09 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 14245 0 0 0 299 10 0 0 23 0 1 0 6871374 33255424 6326 1992294400 4194304 9819077 140734464235264 18446744073709551615 7294976 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8119 6326 698 1374 0 6740 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32476 [startup+6.30091 s] /proc/loadavg: 1.01 1.08 1.18 2/107 8789 /proc/meminfo: memFree=1498960/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=31992 CPUtime=6.29 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 17366 0 0 0 617 12 0 0 25 0 1 0 6871374 32759808 6324 1992294400 4194304 9819077 140734464235264 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 7998 6324 705 1374 0 6619 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31992 [startup+12.701 s] /proc/loadavg: 1.01 1.08 1.18 2/107 8789 /proc/meminfo: memFree=1498960/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=32868 CPUtime=12.69 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 25519 0 0 0 1250 19 0 0 25 0 1 0 6871374 33656832 6352 1992294400 4194304 9819077 140734464235264 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8217 6352 719 1374 0 6838 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32868 [startup+25.5003 s] /proc/loadavg: 1.00 1.07 1.17 2/107 8789 /proc/meminfo: memFree=1498960/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=32664 CPUtime=25.48 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 42655 0 0 0 2515 33 0 0 25 0 1 0 6871374 33447936 6381 1992294400 4194304 9819077 140734464235264 18446744073709551615 6192272 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8166 6381 721 1374 0 6787 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32664 [startup+51.101 s] /proc/loadavg: 1.00 1.06 1.17 2/107 8791 /proc/meminfo: memFree=1499084/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=30740 CPUtime=51.06 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 83794 0 0 0 5034 72 0 0 25 0 1 0 6871374 31477760 6338 1992294400 4194304 9819077 140734464235264 18446744073709551615 7292983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 7685 6338 721 1374 0 6306 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 30740 [startup+102.308 s] /proc/loadavg: 1.00 1.05 1.16 2/107 8791 /proc/meminfo: memFree=1498960/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=33808 CPUtime=102.25 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 195572 0 0 0 10058 167 0 0 25 0 1 0 6871374 34619392 6357 1992294400 4194304 9819077 140734464235264 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8452 6357 722 1374 0 7073 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 33808 [startup+162.301 s] /proc/loadavg: 1.00 1.04 1.15 2/107 8793 /proc/meminfo: memFree=1498960/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=31284 CPUtime=162.22 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 358656 0 0 0 15928 294 0 0 25 0 1 0 6871374 32034816 6361 1992294400 4194304 9819077 140734464235264 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 7821 6361 722 1374 0 6442 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 31284 [startup+222.302 s] /proc/loadavg: 1.00 1.03 1.14 2/107 8795 /proc/meminfo: memFree=1498588/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=31964 CPUtime=222.19 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 550679 0 0 0 21796 423 0 0 25 0 1 0 6871374 32731136 6427 1992294400 4194304 9819077 140734464235264 18446744073709551615 7311779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 7991 6427 722 1374 0 6612 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 31964 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.12 2/107 8797 /proc/meminfo: memFree=1498588/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=31988 CPUtime=282.17 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 770452 0 0 0 27647 570 0 0 25 0 1 0 6871374 32755712 6453 1992294400 4194304 9819077 140734464235264 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 7997 6453 722 1374 0 6618 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 31988 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.11 2/107 8797 /proc/meminfo: memFree=1498340/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=32592 CPUtime=342.15 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 1017007 0 0 0 33498 717 0 0 25 0 1 0 6871374 33374208 6503 1992294400 4194304 9819077 140734464235264 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8148 6503 722 1374 0 6769 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 32592 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.10 2/107 8799 /proc/meminfo: memFree=1498340/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=32664 CPUtime=402.12 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 1269565 0 0 0 39334 878 0 0 25 0 1 0 6871374 33447936 6481 1992294400 4194304 9819077 140734464235264 18446744073709551615 6696069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8166 6481 722 1374 0 6787 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 32664 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.09 2/107 8801 /proc/meminfo: memFree=1497100/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=33680 CPUtime=462.11 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 1527483 0 0 0 45175 1036 0 0 25 0 1 0 6871374 34488320 6770 1992294400 4194304 9819077 140734464235264 18446744073709551615 6698950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8420 6770 722 1374 0 7041 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 33680 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 8803 /proc/meminfo: memFree=1496356/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=34328 CPUtime=522.08 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 1793087 0 0 0 51006 1202 0 0 25 0 1 0 6871374 35151872 6946 1992294400 4194304 9819077 140734464235264 18446744073709551615 7298091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8582 6946 722 1374 0 7203 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 34328 [startup+582.301 s] /proc/loadavg: 1.05 1.01 1.08 2/107 8805 /proc/meminfo: memFree=1496108/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=34520 CPUtime=582.06 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 2053960 0 0 0 56846 1360 0 0 25 0 1 0 6871374 35348480 6954 1992294400 4194304 9819077 140734464235264 18446744073709551615 7312693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8630 6954 722 1374 0 7251 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 34520 [startup+642.301 s] /proc/loadavg: 1.06 1.02 1.08 2/107 8805 /proc/meminfo: memFree=1495860/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=34696 CPUtime=642.04 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 2302057 0 0 0 62694 1510 0 0 25 0 1 0 6871374 35528704 7017 1992294400 4194304 9819077 140734464235264 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8674 7017 722 1374 0 7295 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 34696 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.13 1.06 1.09 2/107 8813 /proc/meminfo: memFree=1494992/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=35292 CPUtime=881.94 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 3343985 0 0 0 86061 2133 0 0 25 0 1 0 6871374 36139008 7154 1992294400 4194304 9819077 140734464235264 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8823 7154 722 1374 0 7444 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 35292 [startup+942.301 s] /proc/loadavg: 1.12 1.07 1.09 2/107 8813 /proc/meminfo: memFree=1494868/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=35500 CPUtime=941.92 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 3584386 0 0 0 91911 2281 0 0 25 0 1 0 6871374 36352000 7214 1992294400 4194304 9819077 140734464235264 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8875 7214 722 1374 0 7496 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 35500 [startup+1002.3 s] /proc/loadavg: 1.04 1.05 1.08 2/107 8815 /proc/meminfo: memFree=1494868/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=34604 CPUtime=1001.9 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 3832890 0 0 0 97765 2425 0 0 25 0 1 0 6871374 35434496 7177 1992294400 4194304 9819077 140734464235264 18446744073709551615 7263084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8651 7177 722 1374 0 7272 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 34604 [startup+1062.3 s] /proc/loadavg: 1.01 1.04 1.07 2/107 8817 /proc/meminfo: memFree=1494744/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=34612 CPUtime=1061.88 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 4083395 0 0 0 103608 2580 0 0 25 0 1 0 6871374 35442688 7188 1992294400 4194304 9819077 140734464235264 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8653 7188 722 1374 0 7274 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 34612 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.07 2/107 8819 /proc/meminfo: memFree=1494744/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=35656 CPUtime=1121.86 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 4332218 0 0 0 109455 2731 0 0 25 0 1 0 6871374 36511744 7248 1992294400 4194304 9819077 140734464235264 18446744073709551615 6391506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8914 7248 722 1374 0 7535 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 35656 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.06 2/107 8821 /proc/meminfo: memFree=1494620/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=35740 CPUtime=1181.83 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 4589865 0 0 0 115293 2890 0 0 25 0 1 0 6871374 36597760 7272 1992294400 4194304 9819077 140734464235264 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8935 7272 722 1374 0 7556 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 35740 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.06 2/107 8821 /proc/meminfo: memFree=1494248/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=35892 CPUtime=1241.8 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 4846400 0 0 0 121135 3045 0 0 25 0 1 0 6871374 36753408 7306 1992294400 4194304 9819077 140734464235264 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8973 7306 722 1374 0 7594 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 35892 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.05 2/107 8823 /proc/meminfo: memFree=1493504/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=35664 CPUtime=1301.79 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 5096774 0 0 0 126975 3204 0 0 25 0 1 0 6871374 36519936 7436 1992294400 4194304 9819077 140734464235264 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8916 7438 722 1374 0 7537 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 35664 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.05 2/107 8825 /proc/meminfo: memFree=1493504/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36536 CPUtime=1361.77 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 5354912 0 0 0 132814 3363 0 0 25 0 1 0 6871374 37412864 7448 1992294400 4194304 9819077 140734464235264 18446744073709551615 7303391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9134 7448 722 1374 0 7755 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 36536 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.04 2/107 8827 /proc/meminfo: memFree=1493380/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36564 CPUtime=1421.75 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 5598687 0 0 0 138669 3506 0 0 25 0 1 0 6871374 37441536 7462 1992294400 4194304 9819077 140734464235264 18446744073709551615 7317642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9141 7462 722 1374 0 7762 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 36564 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.04 2/107 8829 /proc/meminfo: memFree=1493380/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36568 CPUtime=1481.72 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 5854667 0 0 0 144506 3666 0 0 25 0 1 0 6871374 37445632 7466 1992294400 4194304 9819077 140734464235264 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9142 7466 722 1374 0 7763 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 36568 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.03 2/107 8829 /proc/meminfo: memFree=1493380/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36568 CPUtime=1541.7 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 6118365 0 0 0 150344 3826 0 0 25 0 1 0 6871374 37445632 7475 1992294400 4194304 9819077 140734464235264 18446744073709551615 7292051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9142 7475 722 1374 0 7763 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 36568 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 8831 /proc/meminfo: memFree=1493256/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36796 CPUtime=1601.67 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 6375119 0 0 0 156194 3973 0 0 25 0 1 0 6871374 37679104 7540 1992294400 4194304 9819077 140734464235264 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9199 7540 722 1374 0 7820 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 36796 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 8833 /proc/meminfo: memFree=1493132/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36672 CPUtime=1661.65 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 6643660 0 0 0 162025 4140 0 0 25 0 1 0 6871374 37552128 7509 1992294400 4194304 9819077 140734464235264 18446744073709551615 4223878 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9168 7509 722 1374 0 7789 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 36672 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 8835 /proc/meminfo: memFree=1493008/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=35884 CPUtime=1721.63 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 6892414 0 0 0 167869 4294 0 0 25 0 1 0 6871374 36745216 7503 1992294400 4194304 9819077 140734464235264 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 8971 7503 722 1374 0 7592 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 35884 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 8837 /proc/meminfo: memFree=1493008/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36768 CPUtime=1781.61 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 7140014 0 0 0 173713 4448 0 0 25 0 1 0 6871374 37650432 7514 1992294400 4194304 9819077 140734464235264 18446744073709551615 7317347 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9192 7514 722 1374 0 7813 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 36768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.01 2/107 8837 /proc/meminfo: memFree=1493008/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36740 CPUtime=1800.02 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 7218923 0 0 0 175507 4495 0 0 25 0 1 0 6871374 37621760 7510 1992294400 4194304 9819077 140734464235264 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9185 7510 722 1374 0 7806 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 36740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.01 2/107 8837 /proc/meminfo: memFree=1493008/2059040 swapFree=4192956/4192956 [pid=8788] ppid=8786 vsize=36740 CPUtime=1800.02 /proc/8788/stat : 8788 (pbscip.linux.x8) R 8786 8788 7969 0 -1 4202496 7218923 0 0 0 175507 4495 0 0 25 0 1 0 6871374 37621760 7510 1992294400 4194304 9819077 140734464235264 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8788/statm: 9185 7510 722 1374 0 7806 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 36740 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.06 CPU user time (s): 1755.11 CPU system time (s): 44.9552 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 39940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.11 system time used= 44.9552 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7219002 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= 7910 runsolver used 2.93955 second user time and 8.5467 second system time The end
Begin job on node012 at 2010-06-12 05:18:18 IDJOB=2665462 IDBENCH=1360 IDSOLVER=1168 FILE ID=node012/2665462-1276312698 PBS_JOBID= 11173142 Free space on /tmp= 62412 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.1900553647.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-2665462-1276312698/watcher-2665462-1276312698 -o /tmp/evaluation-result-2665462-1276312698/solver-2665462-1276312698 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665462-1276312698.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 46461f0e86cd2c07d09bc154a5f6739a RANDOM SEED=1997458233 node012.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.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1523056 kB Buffers: 92624 kB Cached: 315120 kB SwapCached: 0 kB Active: 180416 kB Inactive: 286572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1523056 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6344 kB Writeback: 0 kB AnonPages: 59200 kB Mapped: 15480 kB Slab: 47216 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182180 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= 62404 MiB End job on node012 at 2010-06-12 05:48:21