Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 1280.27 | 1280.78 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb |
MD5SUM | c118a5f7f4e95d7123e302378befd6ff |
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 | 8.36073 |
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 | 671 |
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-2665838-1276294145.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.05/0.07 c presolving: 0.09/0.11 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 22 constraints of type <setppc> 0.09/0.14 c 2541 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.06 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.2 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1799.95 0.09/0.14 c 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 1620 0.09/0.14 c 0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c limits/solutions = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.14 c separating/maxrounds = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/maxroundsroot = 5 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.14 c constraints/knapsack/disaggregation = FALSE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c presolving/probing/maxrounds = 0 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/coefdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.14 c heuristics/crossover/freq = -1 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/crossover/nodesofs = 750 0.09/0.14 c 0.09/0.14 c # number of nodes without incumbent change that heuristic should wait 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.14 c heuristics/crossover/nwaitingnodes = 100 0.09/0.14 c 0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.14 c # [type: real, range: [0,1], default: 0.1] 0.09/0.14 c heuristics/crossover/nodesquot = 0.15 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixed 0.09/0.14 c # [type: real, range: [0,1], default: 0.666] 0.09/0.14 c heuristics/crossover/minfixingrate = 0.5 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/feaspump/freq = -1 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/fracdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/guideddiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/intshifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/linesearchdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/nlp/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/objpscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.14 c # [type: real, range: [0,1], default: 0.01] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/oneopt/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/pscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/rens/freq = -1 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixable 0.09/0.14 c # [type: real, range: [0,1], default: 0.5] 0.09/0.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.51 c 0.4s| 1 | 0 | 102 | - |3981k| 0 | 46 | 231 |2714 | 231 |2571 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.73 c 0.6s| 1 | 0 | 290 | - |4458k| 0 | 63 | 231 |2714 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.36 c 1.2s| 1 | 0 | 1213 | - |5376k| 0 | 61 | 231 |2714 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.59/1.61 c 1.5s| 1 | 0 | 1447 | - |6090k| 0 | 76 | 231 |2714 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.03 c 1.9s| 1 | 0 | 1545 | - |6094k| 0 | 75 | 231 |2714 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 4.09/4.11 c 3.9s| 1 | 2 | 1545 | - |6094k| 0 | 75 | 231 |2714 | 231 |2589 | 25 | 0 | 10 | 0.000000e+00 | -- | Inf 286.58/286.73 c 282s| 10000 | 137 |646203 | 64.5 |7792k| 37 | 26 | 231 |5331 | 231 |2572 | 25 |4913 |1581 | 0.000000e+00 | -- | Inf 522.49/522.79 c 512s| 20000 | 151 | 1311k| 65.5 |8337k| 43 | - | 231 |6300 | 231 |2572 | 25 | 10k|2114 | 0.000000e+00 | -- | Inf 772.18/772.58 c 756s| 30000 | 137 | 2006k| 66.8 |8599k| 47 | 41 | 231 |6798 | 231 |2572 | 25 | 14k|2769 | 0.000000e+00 | -- | Inf 1023.08/1023.52 c 1001s| 40000 | 74 | 2720k| 68.0 |8638k| 47 | - | 231 |7192 | 231 |2572 | 25 | 19k|3308 | 0.000000e+00 | -- | Inf 1274.58/1275.19 c 1247s| 50000 | 5 | 3442k| 68.8 |8696k| 54 | - | 231 |8017 | 231 |2572 | 25 | 24k|3789 | 0.000000e+00 | -- | Inf 1280.18/1280.75 c 1280.18/1280.75 c SCIP Status : problem is solved [infeasible] 1280.18/1280.75 c Solving Time (sec) : 1252.59 1280.18/1280.75 c Solving Nodes : 50255 1280.18/1280.75 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1280.18/1280.75 c Dual Bound : +1.00000000000000e+20 1280.18/1280.75 c Gap : 0.00 % 1280.18/1280.75 s UNSATISFIABLE 1280.18/1280.75 c SCIP Status : problem is solved [infeasible] 1280.18/1280.75 c Solving Time : 1252.59 1280.18/1280.75 c Original Problem : 1280.18/1280.75 c Problem name : HOME/instance-2665838-1276294145.opb 1280.18/1280.75 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1280.18/1280.75 c Constraints : 2707 initial, 2707 maximal 1280.18/1280.75 c Presolved Problem : 1280.18/1280.75 c Problem name : t_HOME/instance-2665838-1276294145.opb 1280.18/1280.75 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1280.18/1280.75 c Constraints : 2564 initial, 8083 maximal 1280.18/1280.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1280.18/1280.75 c trivial : 0.00 0 0 0 0 0 0 0 0 1280.18/1280.75 c dualfix : 0.00 0 0 0 0 0 0 0 0 1280.18/1280.75 c boundshift : 0.00 0 0 0 0 0 0 0 0 1280.18/1280.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1280.18/1280.75 c implics : 0.00 0 0 0 0 0 0 0 0 1280.18/1280.75 c probing : 0.00 0 0 0 0 0 0 0 0 1280.18/1280.75 c knapsack : 0.00 0 0 0 0 0 0 0 0 1280.18/1280.75 c setppc : 0.01 0 0 0 0 0 0 0 0 1280.18/1280.75 c linear : 0.03 0 0 0 0 0 143 0 0 1280.18/1280.75 c logicor : 0.01 0 0 0 0 0 0 0 0 1280.18/1280.75 c root node : - 2 - - 2 - - - - 1280.18/1280.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1280.18/1280.75 c integral : 0 0 0 25821 0 119 909 0 0 50542 1280.18/1280.75 c knapsack : 1 5 163070 0 0 266 92613 0 0 0 1280.18/1280.75 c setppc : 22 5 162983 0 0 1122 274132 0 0 0 1280.18/1280.75 c linear : 0+ 5 157128 0 0 3 2926 1 0 0 1280.18/1280.75 c logicor : 2541+ 5 91189 0 0 288 308914 0 0 0 1280.18/1280.75 c countsols : 0 0 0 0 0 0 0 0 0 0 1280.18/1280.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1280.18/1280.75 c integral : 160.98 0.00 0.00 160.98 0.00 1280.18/1280.75 c knapsack : 1.31 0.00 1.31 0.00 0.00 1280.18/1280.75 c setppc : 2.82 0.00 2.82 0.00 0.00 1280.18/1280.75 c linear : 1.02 0.00 1.02 0.00 0.00 1280.18/1280.75 c logicor : 12.83 0.00 12.83 0.00 0.00 1280.18/1280.75 c countsols : 0.00 0.00 0.00 0.00 0.00 1280.18/1280.75 c Propagators : Time Calls Cutoffs DomReds 1280.18/1280.75 c vbounds : 0.14 1 0 0 1280.18/1280.75 c rootredcost : 0.16 0 0 0 1280.18/1280.75 c pseudoobj : 0.05 0 0 0 1280.18/1280.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1280.18/1280.75 c propagation : 0.12 1679 1666 7866 19.9 21 21.1 - 1280.18/1280.75 c infeasible LP : 9.07 23471 17827 97747 33.0 60 16.2 0 1280.18/1280.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1280.18/1280.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1280.18/1280.75 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1280.18/1280.75 c applied globally : - - - 24243 18.5 - - - 1280.18/1280.75 c applied locally : - - - 553 33.2 - - - 1280.18/1280.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1280.18/1280.75 c cut pool : 0.00 4 - - 17 - (maximal pool size: 787) 1280.18/1280.75 c redcost : 0.17 25439 0 0 0 0 1280.18/1280.75 c impliedbounds : 0.00 5 0 0 0 0 1280.18/1280.75 c intobj : 0.00 0 0 0 0 0 1280.18/1280.75 c cgmip : 0.00 0 0 0 0 0 1280.18/1280.75 c gomory : 0.57 5 0 0 2000 0 1280.18/1280.75 c strongcg : 0.42 5 0 0 2000 0 1280.18/1280.75 c cmir : 0.00 0 0 0 0 0 1280.18/1280.75 c flowcover : 0.00 0 0 0 0 0 1280.18/1280.75 c clique : 0.00 5 0 0 0 0 1280.18/1280.75 c zerohalf : 0.00 0 0 0 0 0 1280.18/1280.75 c mcf : 0.00 1 0 0 0 0 1280.18/1280.75 c rapidlearning : 0.19 1 0 0 0 150 1280.18/1280.75 c Pricers : Time Calls Vars 1280.18/1280.75 c problem variables: 0.00 0 0 1280.18/1280.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1280.18/1280.75 c relpscost : 160.92 25821 119 909 0 0 50542 1280.18/1280.75 c pscost : 0.00 0 0 0 0 0 0 1280.18/1280.75 c inference : 0.00 0 0 0 0 0 0 1280.18/1280.75 c mostinf : 0.00 0 0 0 0 0 0 1280.18/1280.75 c leastinf : 0.00 0 0 0 0 0 0 1280.18/1280.75 c fullstrong : 0.00 0 0 0 0 0 0 1280.18/1280.75 c allfullstrong : 0.00 0 0 0 0 0 0 1280.18/1280.75 c random : 0.00 0 0 0 0 0 0 1280.18/1280.75 c Primal Heuristics : Time Calls Found 1280.18/1280.75 c LP solutions : 0.00 - 0 1280.18/1280.75 c pseudo solutions : 0.00 - 0 1280.18/1280.75 c trivial : 0.01 1 0 1280.18/1280.75 c simplerounding : 0.00 0 0 1280.18/1280.75 c zirounding : 0.00 0 0 1280.18/1280.75 c rounding : 0.00 0 0 1280.18/1280.75 c shifting : 0.00 0 0 1280.18/1280.75 c intshifting : 0.00 0 0 1280.18/1280.75 c oneopt : 0.00 0 0 1280.18/1280.75 c twoopt : 0.00 0 0 1280.18/1280.75 c fixandinfer : 0.00 0 0 1280.18/1280.75 c feaspump : 0.00 0 0 1280.18/1280.75 c coefdiving : 0.00 0 0 1280.18/1280.75 c pscostdiving : 0.00 0 0 1280.18/1280.75 c fracdiving : 0.00 0 0 1280.18/1280.75 c veclendiving : 0.00 0 0 1280.18/1280.75 c intdiving : 0.00 0 0 1280.18/1280.75 c actconsdiving : 0.00 0 0 1280.18/1280.75 c objpscostdiving : 0.00 0 0 1280.18/1280.75 c rootsoldiving : 0.00 0 0 1280.18/1280.75 c linesearchdiving : 0.00 0 0 1280.18/1280.75 c guideddiving : 0.00 0 0 1280.18/1280.75 c octane : 0.00 0 0 1280.18/1280.75 c rens : 0.00 0 0 1280.18/1280.75 c rins : 0.00 0 0 1280.18/1280.75 c localbranching : 0.00 0 0 1280.18/1280.75 c mutation : 0.00 0 0 1280.18/1280.75 c crossover : 0.00 0 0 1280.18/1280.75 c dins : 0.00 0 0 1280.18/1280.75 c undercover : 0.00 0 0 1280.18/1280.75 c nlp : 0.00 0 0 1280.18/1280.75 c trysol : 0.00 0 0 1280.18/1280.75 c LP : Time Calls Iterations Iter/call Iter/sec 1280.18/1280.75 c primal LP : 0.01 0 0 0.00 0.00 1280.18/1280.75 c dual LP : 1029.68 49266 3459908 70.23 3360.18 1280.18/1280.75 c lex dual LP : 0.00 0 0 0.00 - 1280.18/1280.75 c barrier LP : 0.00 0 0 0.00 - 1280.18/1280.75 c diving/probing LP: 0.00 0 0 0.00 - 1280.18/1280.75 c strong branching : 159.78 3789 541061 142.80 3386.29 1280.18/1280.75 c (at root node) : - 10 5523 552.30 - 1280.18/1280.75 c conflict analysis: 0.00 0 0 0.00 - 1280.18/1280.75 c B&B Tree : 1280.18/1280.75 c number of runs : 1 1280.18/1280.75 c nodes : 50255 1280.18/1280.75 c nodes (total) : 50255 1280.18/1280.75 c nodes left : 0 1280.18/1280.75 c max depth : 54 1280.18/1280.75 c max depth (total): 54 1280.18/1280.75 c backtracks : 5749 (11.4%) 1280.18/1280.75 c delayed cutoffs : 288 1280.18/1280.75 c repropagations : 53586 (88469 domain reductions, 285 cutoffs) 1280.18/1280.75 c avg switch length: 4.25 1280.18/1280.75 c switching time : 13.25 1280.18/1280.75 c Solution : 1280.18/1280.75 c Solutions found : 0 (0 improvements) 1280.18/1280.75 c Primal Bound : infeasible 1280.18/1280.75 c Dual Bound : - 1280.18/1280.75 c Gap : 0.00 % 1280.18/1280.75 c Root Dual Bound : +0.00000000000000e+00 1280.18/1280.75 c Root Iterations : 1545 1280.18/1280.78 c Time complete: 1280.27.
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-2665838-1276294145/watcher-2665838-1276294145 -o /tmp/evaluation-result-2665838-1276294145/solver-2665838-1276294145 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665838-1276294145.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/106 6816 /proc/meminfo: memFree=1698764/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=9288 CPUtime=0 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 1200 0 0 0 0 0 0 0 15 0 1 0 3070842 9510912 1122 1992294400 4194304 9819077 140735799716128 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6816/statm: 2322 1132 371 1374 0 943 0 [startup+0.0608891 s] /proc/loadavg: 0.91 0.97 0.99 3/106 6816 /proc/meminfo: memFree=1698764/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=13128 CPUtime=0.05 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 2431 0 0 0 5 0 0 0 18 0 1 0 3070842 13443072 1998 1992294400 4194304 9819077 140735799716128 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 3282 2011 422 1374 0 1903 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13128 [startup+0.100896 s] /proc/loadavg: 0.91 0.97 0.99 3/106 6816 /proc/meminfo: memFree=1698764/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=17768 CPUtime=0.09 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 3820 0 0 0 8 1 0 0 18 0 1 0 3070842 18194432 3130 1992294400 4194304 9819077 140735799716128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 4442 3130 489 1374 0 3063 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17768 [startup+0.300933 s] /proc/loadavg: 0.91 0.97 0.99 3/106 6816 /proc/meminfo: memFree=1698764/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=37064 CPUtime=0.29 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 10652 0 0 0 25 4 0 0 18 0 1 0 3070842 37953536 7346 1992294400 4194304 9819077 140735799716128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9266 7346 670 1374 0 7887 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37064 [startup+0.701007 s] /proc/loadavg: 0.91 0.97 0.99 3/106 6816 /proc/meminfo: memFree=1698764/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=30264 CPUtime=0.69 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 13487 0 0 0 62 7 0 0 18 0 1 0 3070842 30990336 6441 1992294400 4194304 9819077 140735799716128 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 7566 6441 692 1374 0 6187 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30264 [startup+1.50116 s] /proc/loadavg: 0.91 0.97 0.99 2/107 6817 /proc/meminfo: memFree=1673088/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=35200 CPUtime=1.49 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 14805 0 0 0 141 8 0 0 19 0 1 0 3070842 36044800 7652 1992294400 4194304 9819077 140735799716128 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 8800 7664 692 1374 0 7421 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35200 [startup+3.10145 s] /proc/loadavg: 0.92 0.97 0.99 2/107 6817 /proc/meminfo: memFree=1668872/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39184 CPUtime=3.09 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 15968 0 0 0 299 10 0 0 23 0 1 0 3070842 40124416 8067 1992294400 4194304 9819077 140735799716128 18446744073709551615 7334353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9887 8067 698 1374 0 8508 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39184 [startup+6.30105 s] /proc/loadavg: 0.92 0.97 0.99 2/107 6817 /proc/meminfo: memFree=1668376/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39516 CPUtime=6.29 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 18984 0 0 0 616 13 0 0 25 0 1 0 3070842 40464384 8027 1992294400 4194304 9819077 140735799716128 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9879 8027 718 1374 0 8500 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39516 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.99 2/107 6817 /proc/meminfo: memFree=1668376/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39664 CPUtime=12.68 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 26291 0 0 0 1251 17 0 0 25 0 1 0 3070842 40615936 8041 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9916 8041 718 1374 0 8537 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 39664 [startup+25.5006 s] /proc/loadavg: 0.94 0.97 0.99 2/107 6817 /proc/meminfo: memFree=1668376/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39816 CPUtime=25.48 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 39752 0 0 0 2518 30 0 0 25 0 1 0 3070842 40771584 8035 1992294400 4194304 9819077 140735799716128 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9954 8035 720 1374 0 8575 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39816 [startup+51.1014 s] /proc/loadavg: 0.96 0.97 0.99 2/107 6817 /proc/meminfo: memFree=1668500/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=37344 CPUtime=51.06 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 73966 0 0 0 5047 59 0 0 25 0 1 0 3070842 38240256 8012 1992294400 4194304 9819077 140735799716128 18446744073709551615 7096974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9336 8012 722 1374 0 7957 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 37344 [startup+102.309 s] /proc/loadavg: 0.98 0.97 0.99 2/107 6819 /proc/meminfo: memFree=1668376/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=37316 CPUtime=102.26 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 168054 0 0 0 10087 139 0 0 25 0 1 0 3070842 38211584 8032 1992294400 4194304 9819077 140735799716128 18446744073709551615 7318417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9329 8032 722 1374 0 7950 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 37316 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6821 /proc/meminfo: memFree=1668252/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=38080 CPUtime=162.22 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 310094 0 0 0 15987 235 0 0 25 0 1 0 3070842 38993920 8046 1992294400 4194304 9819077 140735799716128 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9520 8046 722 1374 0 8141 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 38080 [startup+222.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6823 /proc/meminfo: memFree=1668252/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=41116 CPUtime=222.2 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 488307 0 0 0 21865 355 0 0 25 0 1 0 3070842 42102784 8069 1992294400 4194304 9819077 140735799716128 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10279 8069 722 1374 0 8900 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 41116 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6823 /proc/meminfo: memFree=1667756/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=38664 CPUtime=282.18 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 678735 0 0 0 27744 474 0 0 25 0 1 0 3070842 39591936 8108 1992294400 4194304 9819077 140735799716128 18446744073709551615 6568800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9666 8108 722 1374 0 8287 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 38664 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6825 /proc/meminfo: memFree=1667508/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=38112 CPUtime=342.16 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 885470 0 0 0 33613 603 0 0 25 0 1 0 3070842 39026688 8132 1992294400 4194304 9819077 140735799716128 18446744073709551615 7263109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9528 8132 722 1374 0 8149 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 38112 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6827 /proc/meminfo: memFree=1667508/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39364 CPUtime=402.12 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 1117787 0 0 0 39473 739 0 0 25 0 1 0 3070842 40308736 8156 1992294400 4194304 9819077 140735799716128 18446744073709551615 7292298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9841 8156 722 1374 0 8462 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 39364 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6829 /proc/meminfo: memFree=1667508/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39300 CPUtime=462.11 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 1346618 0 0 0 45331 880 0 0 25 0 1 0 3070842 40243200 8199 1992294400 4194304 9819077 140735799716128 18446744073709551615 6656789 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9825 8199 722 1374 0 8446 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 39300 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6831 /proc/meminfo: memFree=1667384/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39420 CPUtime=522.09 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 1579085 0 0 0 51193 1016 0 0 25 0 1 0 3070842 40366080 8188 1992294400 4194304 9819077 140735799716128 18446744073709551615 7304786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9855 8188 722 1374 0 8476 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 39420 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6831 /proc/meminfo: memFree=1667260/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39460 CPUtime=582.06 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 1825422 0 0 0 57049 1157 0 0 25 0 1 0 3070842 40407040 8204 1992294400 4194304 9819077 140735799716128 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9865 8206 722 1374 0 8486 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 39460 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6833 /proc/meminfo: memFree=1667012/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39492 CPUtime=642.04 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 2050967 0 0 0 62916 1288 0 0 25 0 1 0 3070842 40439808 8209 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9873 8209 722 1374 0 8494 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 39492 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6835 /proc/meminfo: memFree=1667012/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39648 CPUtime=702.01 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 2285191 0 0 0 68775 1426 0 0 25 0 1 0 3070842 40599552 8237 1992294400 4194304 9819077 140735799716128 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9912 8237 722 1374 0 8533 0 Current children cumulated CPU time (s) 702.01 Current children cumulated vsize (KiB) 39648 [startup+762.309 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6837 /proc/meminfo: memFree=1666640/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39912 CPUtime=761.99 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 2532303 0 0 0 74630 1569 0 0 25 0 1 0 3070842 40869888 8292 1992294400 4194304 9819077 140735799716128 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9978 8296 722 1374 0 8599 0 Current children cumulated CPU time (s) 761.99 Current children cumulated vsize (KiB) 39912 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6839 /proc/meminfo: memFree=1666516/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39996 CPUtime=821.97 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 2758279 0 0 0 80493 1704 0 0 25 0 1 0 3070842 40955904 8319 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9999 8319 722 1374 0 8620 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 39996 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6839 /proc/meminfo: memFree=1666392/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39996 CPUtime=881.94 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 2992287 0 0 0 86354 1840 0 0 25 0 1 0 3070842 40955904 8319 1992294400 4194304 9819077 140735799716128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9999 8319 722 1374 0 8620 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 39996 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6841 /proc/meminfo: memFree=1666144/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40196 CPUtime=941.92 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 3226434 0 0 0 92214 1978 0 0 25 0 1 0 3070842 41160704 8386 1992294400 4194304 9819077 140735799716128 18446744073709551615 6192366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10049 8386 722 1374 0 8670 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 40196 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6843 /proc/meminfo: memFree=1666020/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=43276 CPUtime=1001.9 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 3453956 0 0 0 98080 2110 0 0 25 0 1 0 3070842 44314624 8442 1992294400 4194304 9819077 140735799716128 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10819 8442 722 1374 0 9440 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 43276 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6845 /proc/meminfo: memFree=1666020/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40192 CPUtime=1061.87 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 3688183 0 0 0 103939 2248 0 0 25 0 1 0 3070842 41156608 8364 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10048 8364 722 1374 0 8669 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 40192 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6847 /proc/meminfo: memFree=1665896/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40196 CPUtime=1121.85 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 3913783 0 0 0 109794 2391 0 0 25 0 1 0 3070842 41160704 8363 1992294400 4194304 9819077 140735799716128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10049 8363 722 1374 0 8670 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 40196 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6847 /proc/meminfo: memFree=1665896/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40216 CPUtime=1181.82 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4149365 0 0 0 115651 2531 0 0 25 0 1 0 3070842 41181184 8378 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10054 8378 722 1374 0 8675 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 40216 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6849 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39456 CPUtime=1241.81 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4380358 0 0 0 121506 2675 0 0 25 0 1 0 3070842 40402944 8374 1992294400 4194304 9819077 140735799716128 18446744073709551615 7226667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9864 8374 722 1374 0 8485 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 39456 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6849 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40368 CPUtime=1253.8 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4425863 0 0 0 122679 2701 0 0 25 0 1 0 3070842 41336832 8387 1992294400 4194304 9819077 140735799716128 18446744073709551615 6364915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10092 8387 722 1374 0 8713 0 Current children cumulated CPU time (s) 1253.8 Current children cumulated vsize (KiB) 40368 [startup+1267.1 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6851 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40268 CPUtime=1266.6 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4472735 0 0 0 123929 2731 0 0 25 0 1 0 3070842 41234432 8418 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10067 8418 722 1374 0 8688 0 Current children cumulated CPU time (s) 1266.6 Current children cumulated vsize (KiB) 40268 [startup+1273.5 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6851 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40272 CPUtime=1272.98 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4496355 0 0 0 124554 2744 0 0 25 0 1 0 3070842 41238528 8390 1992294400 4194304 9819077 140735799716128 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10068 8390 722 1374 0 8689 0 Current children cumulated CPU time (s) 1272.98 Current children cumulated vsize (KiB) 40272 [startup+1276.7 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6851 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39408 CPUtime=1276.18 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4508677 0 0 0 124867 2751 0 0 25 0 1 0 3070842 40353792 8377 1992294400 4194304 9819077 140735799716128 18446744073709551615 7228112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 9852 8379 722 1374 0 8473 0 Current children cumulated CPU time (s) 1276.18 Current children cumulated vsize (KiB) 39408 [startup+1278.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6851 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40240 CPUtime=1277.78 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4514846 0 0 0 125023 2755 0 0 25 0 1 0 3070842 41205760 8381 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10060 8381 722 1374 0 8681 0 Current children cumulated CPU time (s) 1277.78 Current children cumulated vsize (KiB) 40240 [startup+1279.9 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6851 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=39752 CPUtime=1279.38 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4520556 0 0 0 125180 2758 0 0 25 0 1 0 3070842 40706048 8380 1992294400 4194304 9819077 140735799716128 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10067 8382 722 1374 0 8688 0 Current children cumulated CPU time (s) 1279.38 Current children cumulated vsize (KiB) 39752 [startup+1280.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6851 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40268 CPUtime=1279.78 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4522033 0 0 0 125219 2759 0 0 25 0 1 0 3070842 41234432 8409 1992294400 4194304 9819077 140735799716128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10067 8409 722 1374 0 8688 0 Current children cumulated CPU time (s) 1279.78 Current children cumulated vsize (KiB) 40268 [startup+1280.7 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6851 /proc/meminfo: memFree=1665772/2059040 swapFree=4192956/4192956 [pid=6816] ppid=6814 vsize=40304 CPUtime=1280.18 /proc/6816/stat : 6816 (pbscip.linux.x8) R 6814 6816 6791 0 -1 4202496 4523355 0 0 0 125258 2760 0 0 25 0 1 0 3070842 41271296 8413 1992294400 4194304 9819077 140735799716128 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6816/statm: 10076 8413 722 1374 0 8697 0 Current children cumulated CPU time (s) 1280.18 Current children cumulated vsize (KiB) 40304 Child status: 0 Real time (s): 1280.78 CPU time (s): 1280.27 CPU user time (s): 1252.66 CPU system time (s): 27.6118 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 43536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1252.66 system time used= 27.6118 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4523563 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= 6 involuntary context switches= 3030 runsolver used 2.21666 second user time and 5.9481 second system time The end
Begin job on node019 at 2010-06-12 00:09:05 IDJOB=2665838 IDBENCH=1308 IDSOLVER=1168 FILE ID=node019/2665838-1276294145 PBS_JOBID= 11173127 Free space on /tmp= 62356 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.1900670675.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-2665838-1276294145/watcher-2665838-1276294145 -o /tmp/evaluation-result-2665838-1276294145/solver-2665838-1276294145 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665838-1276294145.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c118a5f7f4e95d7123e302378befd6ff RANDOM SEED=370612402 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1699292 kB Buffers: 60864 kB Cached: 172756 kB SwapCached: 0 kB Active: 136184 kB Inactive: 156484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1699292 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6512 kB Writeback: 0 kB AnonPages: 59112 kB Mapped: 15384 kB Slab: 45428 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181040 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= 62348 MiB End job on node019 at 2010-06-12 00:30:26