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 | 792.994 | 793.215 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb |
MD5SUM | 8170439ba832b251137a16b29cd20ba3 |
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 | 46.122 |
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 | 801 |
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-2665858-1276302126.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.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.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 64 | - |3551k| 0 | 35 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.57 c 0.4s| 1 | 0 | 269 | - |3917k| 0 | 54 | 231 |2736 | 231 |2574 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.86 c 0.7s| 1 | 0 | 351 | - |4383k| 0 | 89 | 231 |2736 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.28 c 1.1s| 1 | 0 | 644 | - |4907k| 0 | 72 | 231 |2736 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.76 c 1.6s| 1 | 0 | 1072 | - |5513k| 0 | 62 | 231 |2736 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.08 c 1.9s| 1 | 0 | 1150 | - |6129k| 0 | 85 | 231 |2736 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 4.99/5.03 c 4.8s| 1 | 2 | 1150 | - |6129k| 0 | 85 | 231 |2736 | 231 |2587 | 23 | 0 | 11 | 0.000000e+00 | -- | Inf 150.06/150.13 c 146s| 10000 | 61 |305427 | 30.4 |7740k| 39 | 28 | 231 |5803 | 231 |2569 | 23 |4565 |2090 | 0.000000e+00 | -- | Inf 270.82/270.96 c 263s| 20000 | 36 |639534 | 31.9 |8245k| 44 | 33 | 231 |6710 | 231 |2569 | 23 |9032 |2495 | 0.000000e+00 | -- | Inf 390.79/390.97 c 379s| 30000 | 45 |960678 | 32.0 |8946k| 50 | - | 231 |8051 | 231 |2569 | 23 | 13k|3120 | 0.000000e+00 | -- | Inf 511.26/511.45 c 495s| 40000 | 35 | 1279k| 32.0 |9008k| 50 | 25 | 231 |7982 | 231 |2569 | 23 | 18k|3763 | 0.000000e+00 | -- | Inf 635.22/635.48 c 615s| 50000 | 26 | 1621k| 32.4 |9271k| 50 | 27 | 231 |8378 | 231 |2569 | 23 | 23k|4216 | 0.000000e+00 | -- | Inf 760.18/760.48 c 736s| 60000 | 18 | 1966k| 32.8 |9401k| 56 | 32 | 231 |8785 | 231 |2569 | 23 | 28k|4693 | 0.000000e+00 | -- | Inf 792.88/793.19 c 792.88/793.19 c SCIP Status : problem is solved [infeasible] 792.88/793.19 c Solving Time (sec) : 767.35 792.88/793.19 c Solving Nodes : 62526 792.88/793.19 c Primal Bound : +1.00000000000000e+20 (0 solutions) 792.88/793.19 c Dual Bound : +1.00000000000000e+20 792.88/793.19 c Gap : 0.00 % 792.88/793.19 s UNSATISFIABLE 792.88/793.19 c SCIP Status : problem is solved [infeasible] 792.88/793.19 c Solving Time : 767.35 792.88/793.19 c Original Problem : 792.88/793.19 c Problem name : HOME/instance-2665858-1276302126.opb 792.88/793.19 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 792.88/793.19 c Constraints : 2707 initial, 2707 maximal 792.88/793.19 c Presolved Problem : 792.88/793.19 c Problem name : t_HOME/instance-2665858-1276302126.opb 792.88/793.19 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 792.88/793.19 c Constraints : 2564 initial, 8896 maximal 792.88/793.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 792.88/793.19 c trivial : 0.00 0 0 0 0 0 0 0 0 792.88/793.19 c dualfix : 0.00 0 0 0 0 0 0 0 0 792.88/793.19 c boundshift : 0.00 0 0 0 0 0 0 0 0 792.88/793.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0 792.88/793.19 c implics : 0.00 0 0 0 0 0 0 0 0 792.88/793.19 c probing : 0.00 0 0 0 0 0 0 0 0 792.88/793.19 c knapsack : 0.00 0 0 0 0 0 0 0 0 792.88/793.19 c setppc : 0.01 0 0 0 0 0 0 0 0 792.88/793.19 c linear : 0.04 0 0 0 0 0 143 0 0 792.88/793.19 c logicor : 0.01 0 0 0 0 0 0 0 0 792.88/793.19 c root node : - 22 - - 22 - - - - 792.88/793.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 792.88/793.19 c integral : 0 0 0 33090 0 317 2006 0 0 62756 792.88/793.19 c knapsack : 1 5 200508 0 0 294 94252 3 0 0 792.88/793.19 c setppc : 22 5 200308 0 0 1042 335561 0 0 0 792.88/793.19 c linear : 0+ 5 177741 0 0 4 801 1 0 0 792.88/793.19 c logicor : 2541+ 5 111083 0 0 300 360507 0 0 0 792.88/793.19 c countsols : 0 0 0 0 0 0 0 0 0 0 792.88/793.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 792.88/793.19 c integral : 82.84 0.00 0.00 82.84 0.00 792.88/793.19 c knapsack : 1.57 0.00 1.57 0.00 0.00 792.88/793.19 c setppc : 3.36 0.00 3.36 0.00 0.00 792.88/793.19 c linear : 1.26 0.00 1.26 0.00 0.00 792.88/793.19 c logicor : 15.47 0.01 15.46 0.00 0.00 792.88/793.19 c countsols : 0.00 0.00 0.00 0.00 0.00 792.88/793.19 c Propagators : Time Calls Cutoffs DomReds 792.88/793.19 c vbounds : 0.22 1 0 0 792.88/793.19 c rootredcost : 0.12 0 0 0 792.88/793.19 c pseudoobj : 0.07 0 0 0 792.88/793.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 792.88/793.19 c propagation : 0.08 1640 1639 8058 20.6 19 27.3 - 792.88/793.19 c infeasible LP : 11.49 29421 21999 125106 34.7 49 18.3 0 792.88/793.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 792.88/793.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 792.88/793.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 792.88/793.19 c applied globally : - - - 28033 19.5 - - - 792.88/793.19 c applied locally : - - - 1496 34.2 - - - 792.88/793.19 c Separators : Time Calls Cutoffs DomReds Cuts Conss 792.88/793.19 c cut pool : 0.00 4 - - 24 - (maximal pool size: 616) 792.88/793.19 c redcost : 0.41 31755 0 0 0 0 792.88/793.19 c impliedbounds : 0.00 5 0 0 0 0 792.88/793.19 c intobj : 0.00 0 0 0 0 0 792.88/793.19 c cgmip : 0.00 0 0 0 0 0 792.88/793.19 c gomory : 0.73 5 0 0 622 0 792.88/793.19 c strongcg : 0.43 5 0 0 2500 0 792.88/793.19 c cmir : 0.00 0 0 0 0 0 792.88/793.19 c flowcover : 0.00 0 0 0 0 0 792.88/793.19 c clique : 0.00 5 0 0 0 0 792.88/793.19 c zerohalf : 0.00 0 0 0 0 0 792.88/793.19 c mcf : 0.01 1 0 0 0 0 792.88/793.19 c rapidlearning : 0.21 1 0 0 0 172 792.88/793.19 c Pricers : Time Calls Vars 792.88/793.19 c problem variables: 0.00 0 0 792.88/793.19 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 792.88/793.19 c relpscost : 82.72 33090 317 2006 0 0 62756 792.88/793.19 c pscost : 0.00 0 0 0 0 0 0 792.88/793.19 c inference : 0.00 0 0 0 0 0 0 792.88/793.19 c mostinf : 0.00 0 0 0 0 0 0 792.88/793.19 c leastinf : 0.00 0 0 0 0 0 0 792.88/793.19 c fullstrong : 0.00 0 0 0 0 0 0 792.88/793.19 c allfullstrong : 0.00 0 0 0 0 0 0 792.88/793.19 c random : 0.00 0 0 0 0 0 0 792.88/793.19 c Primal Heuristics : Time Calls Found 792.88/793.19 c LP solutions : 0.00 - 0 792.88/793.19 c pseudo solutions : 0.00 - 0 792.88/793.19 c trivial : 0.00 1 0 792.88/793.19 c simplerounding : 0.00 0 0 792.88/793.19 c zirounding : 0.00 0 0 792.88/793.19 c rounding : 0.00 0 0 792.88/793.19 c shifting : 0.00 0 0 792.88/793.19 c intshifting : 0.00 0 0 792.88/793.19 c oneopt : 0.00 0 0 792.88/793.19 c twoopt : 0.00 0 0 792.88/793.19 c fixandinfer : 0.00 0 0 792.88/793.19 c feaspump : 0.00 0 0 792.88/793.19 c coefdiving : 0.00 0 0 792.88/793.19 c pscostdiving : 0.00 0 0 792.88/793.19 c fracdiving : 0.00 0 0 792.88/793.19 c veclendiving : 0.00 0 0 792.88/793.19 c intdiving : 0.00 0 0 792.88/793.19 c actconsdiving : 0.00 0 0 792.88/793.19 c objpscostdiving : 0.00 0 0 792.88/793.19 c rootsoldiving : 0.00 0 0 792.88/793.19 c linesearchdiving : 0.00 0 0 792.88/793.19 c guideddiving : 0.00 0 0 792.88/793.19 c octane : 0.00 0 0 792.88/793.19 c rens : 0.00 0 0 792.88/793.19 c rins : 0.00 0 0 792.88/793.19 c localbranching : 0.00 0 0 792.88/793.19 c mutation : 0.00 0 0 792.88/793.19 c crossover : 0.00 0 0 792.88/793.19 c dins : 0.00 0 0 792.88/793.19 c undercover : 0.00 0 0 792.88/793.19 c nlp : 0.00 0 0 792.88/793.19 c trysol : 0.00 0 0 792.88/793.19 c LP : Time Calls Iterations Iter/call Iter/sec 792.88/793.19 c primal LP : 0.01 0 0 0.00 0.00 792.88/793.19 c dual LP : 606.73 62456 2053398 32.88 3384.37 792.88/793.19 c lex dual LP : 0.00 0 0 0.00 - 792.88/793.19 c barrier LP : 0.00 0 0 0.00 - 792.88/793.19 c diving/probing LP: 0.00 0 0 0.00 - 792.88/793.19 c strong branching : 81.35 4874 312351 64.09 3839.59 792.88/793.19 c (at root node) : - 11 6841 621.91 - 792.88/793.19 c conflict analysis: 0.00 0 0 0.00 - 792.88/793.19 c B&B Tree : 792.88/793.19 c number of runs : 1 792.88/793.19 c nodes : 62526 792.88/793.19 c nodes (total) : 62526 792.88/793.19 c nodes left : 0 792.88/793.19 c max depth : 56 792.88/793.19 c max depth (total): 56 792.88/793.19 c backtracks : 6867 (11.0%) 792.88/793.19 c delayed cutoffs : 231 792.88/793.19 c repropagations : 66876 (84501 domain reductions, 230 cutoffs) 792.88/793.19 c avg switch length: 3.96 792.88/793.19 c switching time : 17.14 792.88/793.19 c Solution : 792.88/793.19 c Solutions found : 0 (0 improvements) 792.88/793.19 c Primal Bound : infeasible 792.88/793.19 c Dual Bound : - 792.88/793.19 c Gap : 0.00 % 792.88/793.19 c Root Dual Bound : +0.00000000000000e+00 792.88/793.19 c Root Iterations : 1150 792.97/793.21 c Time complete: 792.99.
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-2665858-1276302126/watcher-2665858-1276302126 -o /tmp/evaluation-result-2665858-1276302126/solver-2665858-1276302126 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665858-1276302126.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: 2.71 2.49 1.97 3/107 5895 /proc/meminfo: memFree=1506164/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=9288 CPUtime=0 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 1037 0 0 0 0 0 0 0 18 0 1 0 3868378 9510912 958 1992294400 4194304 9819077 140734507567232 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5895/statm: 2322 967 371 1374 0 943 0 [startup+0.013605 s] /proc/loadavg: 2.71 2.49 1.97 3/107 5895 /proc/meminfo: memFree=1506164/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=10696 CPUtime=0 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 1615 0 0 0 0 0 0 0 18 0 1 0 3868378 10952704 1536 1992294400 4194304 9819077 140734507567232 18446744073709551615 8668083 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5895/statm: 2674 1536 386 1374 0 1295 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10696 [startup+0.1006 s] /proc/loadavg: 2.71 2.49 1.97 3/107 5895 /proc/meminfo: memFree=1506164/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=17480 CPUtime=0.09 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3763 0 0 0 8 1 0 0 20 0 1 0 3868378 17899520 3073 1992294400 4194304 9819077 140734507567232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 4370 3073 489 1374 0 2991 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17480 [startup+0.300618 s] /proc/loadavg: 2.71 2.49 1.97 3/107 5895 /proc/meminfo: memFree=1506164/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=38108 CPUtime=0.29 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 11717 0 0 0 24 5 0 0 20 0 1 0 3868378 39022592 7379 1992294400 4194304 9819077 140734507567232 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9527 7396 670 1374 0 8148 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38108 [startup+0.700654 s] /proc/loadavg: 2.71 2.49 1.97 3/107 5895 /proc/meminfo: memFree=1506164/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=27868 CPUtime=0.69 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 12941 0 0 0 61 8 0 0 21 0 1 0 3868378 28536832 5890 1992294400 4194304 9819077 140734507567232 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 6967 5890 692 1374 0 5588 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27868 [startup+1.50073 s] /proc/loadavg: 2.58 2.46 1.96 2/108 5896 /proc/meminfo: memFree=1484456/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=29520 CPUtime=1.49 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 13347 0 0 0 140 9 0 0 23 0 1 0 3868378 30228480 6283 1992294400 4194304 9819077 140734507567232 18446744073709551615 8674882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 7380 6283 692 1374 0 6001 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29520 [startup+3.10087 s] /proc/loadavg: 2.58 2.46 1.96 2/108 5896 /proc/meminfo: memFree=1481728/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=34632 CPUtime=3.09 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 14435 0 0 0 299 10 0 0 25 0 1 0 3868378 35463168 6626 1992294400 4194304 9819077 140734507567232 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8658 6626 698 1374 0 7279 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34632 [startup+6.30016 s] /proc/loadavg: 2.45 2.44 1.96 2/108 5896 /proc/meminfo: memFree=1481480/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=33536 CPUtime=6.29 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 17293 0 0 0 616 13 0 0 25 0 1 0 3868378 34340864 6611 1992294400 4194304 9819077 140734507567232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8384 6611 705 1374 0 7005 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33536 [startup+12.7017 s] /proc/loadavg: 2.33 2.41 1.95 2/108 5896 /proc/meminfo: memFree=1481480/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=33652 CPUtime=12.68 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 27617 0 0 0 1247 21 0 0 25 0 1 0 3868378 34459648 6636 1992294400 4194304 9819077 140734507567232 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8413 6636 721 1374 0 7034 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33652 [startup+25.5009 s] /proc/loadavg: 2.04 2.34 1.94 2/108 5896 /proc/meminfo: memFree=1481480/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=33144 CPUtime=25.48 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 52333 0 0 0 2508 40 0 0 25 0 1 0 3868378 33939456 6627 1992294400 4194304 9819077 140734507567232 18446744073709551615 7226552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8286 6627 721 1374 0 6907 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33144 [startup+51.1012 s] /proc/loadavg: 1.68 2.23 1.91 2/108 5896 /proc/meminfo: memFree=1481604/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=31884 CPUtime=51.08 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 108246 0 0 0 5013 95 0 0 25 0 1 0 3868378 32649216 6594 1992294400 4194304 9819077 140734507567232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 7971 6594 722 1374 0 6592 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31884 [startup+102.309 s] /proc/loadavg: 1.29 2.04 1.86 2/108 5898 /proc/meminfo: memFree=1481480/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=32424 CPUtime=102.27 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 306358 0 0 0 9980 247 0 0 25 0 1 0 3868378 33202176 6637 1992294400 4194304 9819077 140734507567232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8106 6637 722 1374 0 6727 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32424 [startup+162.301 s] /proc/loadavg: 1.11 1.85 1.80 2/108 5900 /proc/meminfo: memFree=1481232/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=32796 CPUtime=162.25 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 573903 0 0 0 15795 430 0 0 25 0 1 0 3868378 33583104 6673 1992294400 4194304 9819077 140734507567232 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8199 6673 722 1374 0 6820 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32796 [startup+222.301 s] /proc/loadavg: 1.09 1.71 1.76 2/108 5902 /proc/meminfo: memFree=1480860/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=33616 CPUtime=222.23 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 861789 0 0 0 21605 618 0 0 25 0 1 0 3868378 34422784 6797 1992294400 4194304 9819077 140734507567232 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8404 6797 722 1374 0 7025 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33616 [startup+282.301 s] /proc/loadavg: 1.09 1.59 1.71 2/108 5902 /proc/meminfo: memFree=1480736/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=33616 CPUtime=282.21 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 1153731 0 0 0 27418 803 0 0 25 0 1 0 3868378 34422784 6788 1992294400 4194304 9819077 140734507567232 18446744073709551615 7303398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8404 6790 722 1374 0 7025 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33616 [startup+342.301 s] /proc/loadavg: 1.08 1.50 1.67 2/108 5904 /proc/meminfo: memFree=1480240/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=34112 CPUtime=342.2 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 1476273 0 0 0 33213 1007 0 0 25 0 1 0 3868378 34930688 6871 1992294400 4194304 9819077 140734507567232 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8528 6871 722 1374 0 7149 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 34112 [startup+402.301 s] /proc/loadavg: 1.07 1.42 1.63 2/108 5906 /proc/meminfo: memFree=1480240/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=33352 CPUtime=402.18 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 1823452 0 0 0 38998 1220 0 0 25 0 1 0 3868378 34152448 6875 1992294400 4194304 9819077 140734507567232 18446744073709551615 7263231 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8338 6875 722 1374 0 6959 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 33352 [startup+462.301 s] /proc/loadavg: 1.07 1.35 1.59 2/108 5908 /proc/meminfo: memFree=1479992/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=34276 CPUtime=462.17 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 2160425 0 0 0 44779 1438 0 0 25 0 1 0 3868378 35098624 6907 1992294400 4194304 9819077 140734507567232 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8569 6907 722 1374 0 7190 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 34276 [startup+522.301 s] /proc/loadavg: 1.02 1.29 1.55 2/108 5910 /proc/meminfo: memFree=1479868/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=34512 CPUtime=522.16 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 2504109 0 0 0 50570 1646 0 0 25 0 1 0 3868378 35340288 6995 1992294400 4194304 9819077 140734507567232 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8628 6995 722 1374 0 7249 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 34512 [startup+582.301 s] /proc/loadavg: 1.01 1.23 1.52 2/108 5910 /proc/meminfo: memFree=1478504/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=35744 CPUtime=582.13 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 2824599 0 0 0 56367 1846 0 0 25 0 1 0 3868378 36601856 7304 1992294400 4194304 9819077 140734507567232 18446744073709551615 7295711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8936 7304 722 1374 0 7557 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 35744 [startup+642.301 s] /proc/loadavg: 1.00 1.19 1.48 2/108 5912 /proc/meminfo: memFree=1478132/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=35956 CPUtime=642.13 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3140349 0 0 0 62167 2046 0 0 25 0 1 0 3868378 36818944 7319 1992294400 4194304 9819077 140734507567232 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8989 7319 722 1374 0 7610 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 35956 [startup+702.301 s] /proc/loadavg: 1.00 1.15 1.45 2/108 5914 /proc/meminfo: memFree=1477760/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=36104 CPUtime=702.1 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3464860 0 0 0 67954 2256 0 0 25 0 1 0 3868378 36970496 7382 1992294400 4194304 9819077 140734507567232 18446744073709551615 7292298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9026 7382 722 1374 0 7647 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 36104 [startup+762.309 s] /proc/loadavg: 1.00 1.12 1.42 2/108 5916 /proc/meminfo: memFree=1477760/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=35572 CPUtime=762.08 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3774977 0 0 0 73759 2449 0 0 25 0 1 0 3868378 36425728 7356 1992294400 4194304 9819077 140734507567232 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8893 7356 722 1374 0 7514 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 35572 Solver just ended. Dumping a history of the last processes samples [startup+767.9 s] /proc/loadavg: 1.00 1.12 1.41 2/108 5916 /proc/meminfo: memFree=1477760/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=36100 CPUtime=767.67 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3803790 0 0 0 74301 2466 0 0 25 0 1 0 3868378 36966400 7371 1992294400 4194304 9819077 140734507567232 18446744073709551615 7291700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9025 7371 722 1374 0 7646 0 Current children cumulated CPU time (s) 767.67 Current children cumulated vsize (KiB) 36100 [startup+780.701 s] /proc/loadavg: 1.00 1.11 1.41 2/108 5916 /proc/meminfo: memFree=1477636/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=35388 CPUtime=780.47 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3875973 0 0 0 75537 2510 0 0 25 0 1 0 3868378 36237312 7389 1992294400 4194304 9819077 140734507567232 18446744073709551615 7226588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 8847 7389 722 1374 0 7468 0 Current children cumulated CPU time (s) 780.47 Current children cumulated vsize (KiB) 35388 [startup+787.101 s] /proc/loadavg: 1.00 1.11 1.41 2/108 5916 /proc/meminfo: memFree=1477636/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=36184 CPUtime=786.88 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3910635 0 0 0 76154 2534 0 0 25 0 1 0 3868378 37052416 7405 1992294400 4194304 9819077 140734507567232 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9046 7405 722 1374 0 7667 0 Current children cumulated CPU time (s) 786.88 Current children cumulated vsize (KiB) 36184 [startup+790.301 s] /proc/loadavg: 1.00 1.11 1.41 2/108 5916 /proc/meminfo: memFree=1477636/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=36272 CPUtime=790.07 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3929617 0 0 0 76462 2545 0 0 25 0 1 0 3868378 37142528 7408 1992294400 4194304 9819077 140734507567232 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9068 7408 722 1374 0 7689 0 Current children cumulated CPU time (s) 790.07 Current children cumulated vsize (KiB) 36272 [startup+791.901 s] /proc/loadavg: 1.00 1.11 1.40 2/108 5916 /proc/meminfo: memFree=1477636/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=36336 CPUtime=791.68 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3938296 0 0 0 76617 2551 0 0 25 0 1 0 3868378 37208064 7400 1992294400 4194304 9819077 140734507567232 18446744073709551615 7096837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9041 7398 722 1374 0 7662 0 Current children cumulated CPU time (s) 791.68 Current children cumulated vsize (KiB) 36336 [startup+792.701 s] /proc/loadavg: 1.00 1.11 1.40 2/108 5916 /proc/meminfo: memFree=1477636/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=36308 CPUtime=792.47 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3942614 0 0 0 76694 2553 0 0 25 0 1 0 3868378 37179392 7404 1992294400 4194304 9819077 140734507567232 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9077 7404 722 1374 0 7698 0 Current children cumulated CPU time (s) 792.47 Current children cumulated vsize (KiB) 36308 [startup+793.109 s] /proc/loadavg: 1.00 1.11 1.40 2/108 5916 /proc/meminfo: memFree=1477636/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=38988 CPUtime=792.88 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3944910 0 0 0 76733 2555 0 0 25 0 1 0 3868378 39923712 7471 1992294400 4194304 9819077 140734507567232 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5895/statm: 9747 7471 722 1374 0 8368 0 Current children cumulated CPU time (s) 792.88 Current children cumulated vsize (KiB) 38988 [startup+793.2 s] /proc/loadavg: 1.00 1.11 1.40 2/108 5916 /proc/meminfo: memFree=1477636/2059040 swapFree=4192956/4192956 [pid=5895] ppid=5893 vsize=35280 CPUtime=792.97 /proc/5895/stat : 5895 (pbscip.linux.x8) R 5893 5895 5414 0 -1 4202496 3945218 0 0 0 76742 2555 0 0 25 0 1 0 3868378 36126720 7147 1992294400 4194304 9819077 140734507567232 18446744073709551615 4408827 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5895/statm: 8820 7147 725 1374 0 7441 0 Current children cumulated CPU time (s) 792.97 Current children cumulated vsize (KiB) 35280 Child status: 0 Real time (s): 793.215 CPU time (s): 792.994 CPU user time (s): 767.433 CPU system time (s): 25.5611 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 39228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 767.433 system time used= 25.5611 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3945222 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= 4 involuntary context switches= 952 runsolver used 1.3308 second user time and 3.73243 second system time The end
Begin job on node025 at 2010-06-12 02:22:06 IDJOB=2665858 IDBENCH=1330 IDSOLVER=1168 FILE ID=node025/2665858-1276302126 PBS_JOBID= 11173126 Free space on /tmp= 62540 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.1900566157.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-2665858-1276302126/watcher-2665858-1276302126 -o /tmp/evaluation-result-2665858-1276302126/solver-2665858-1276302126 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665858-1276302126.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8170439ba832b251137a16b29cd20ba3 RANDOM SEED=2134850488 node025.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.242 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.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1506692 kB Buffers: 77532 kB Cached: 335060 kB SwapCached: 0 kB Active: 175860 kB Inactive: 296024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1506692 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6248 kB Writeback: 0 kB AnonPages: 59284 kB Mapped: 15432 kB Slab: 58700 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183008 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= 62532 MiB End job on node025 at 2010-06-12 02:35:20