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 | 783.666 | 783.903 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb |
MD5SUM | 30c4f9acafc0f3a30de05f75833db699 |
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 | 26.279 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2665886-1276313279.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.06 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.07 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.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 72 | - |3551k| 0 | 38 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.57 c 0.5s| 1 | 0 | 272 | - |4044k| 0 | 60 | 231 |2747 | 231 |2574 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.03 c 0.9s| 1 | 0 | 902 | - |4802k| 0 | 54 | 231 |2747 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.41 c 1.3s| 1 | 0 | 1086 | - |5228k| 0 | 66 | 231 |2747 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 2.09/2.17 c 2.0s| 1 | 0 | 1896 | - |5309k| 0 | 47 | 231 |2747 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.51 c 2.4s| 1 | 0 | 2102 | - |5425k| 0 | 59 | 231 |2747 | 231 |2590 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf 4.29/4.38 c 4.2s| 1 | 2 | 2102 | - |5426k| 0 | 59 | 231 |2747 | 231 |2590 | 26 | 0 | 10 | 0.000000e+00 | -- | Inf 142.45/142.53 c 139s| 10000 | 48 |293076 | 29.1 |6935k| 39 | - | 231 |5501 | 231 |2569 | 26 |4689 |2137 | 0.000000e+00 | -- | Inf 263.31/263.48 c 257s| 20000 | 31 |634886 | 31.6 |7349k| 45 | - | 231 |6492 | 231 |2569 | 26 |9244 |2454 | 0.000000e+00 | -- | Inf 387.28/387.49 c 377s| 30000 | 47 |963330 | 32.0 |8022k| 45 | - | 231 |7736 | 231 |2569 | 26 | 14k|3115 | 0.000000e+00 | -- | Inf 513.94/514.12 c 499s| 40000 | 22 | 1301k| 32.5 |8206k| 45 | - | 231 |8203 | 231 |2569 | 26 | 19k|3691 | 0.000000e+00 | -- | Inf 633.42/633.66 c 614s| 50000 | 12 | 1624k| 32.4 |8679k| 46 | - | 231 |9464 | 231 |2569 | 26 | 23k|4124 | 0.000000e+00 | -- | Inf 758.77/759.06 c 736s| 60000 | 18 | 1963k| 32.7 |9617k| 47 | 25 | 231 | 11k| 231 |2569 | 26 | 28k|4606 | 0.000000e+00 | -- | Inf 783.56/783.87 c 783.56/783.87 c SCIP Status : problem is solved [infeasible] 783.56/783.87 c Solving Time (sec) : 759.76 783.56/783.87 c Solving Nodes : 61795 783.56/783.87 c Primal Bound : +1.00000000000000e+20 (0 solutions) 783.56/783.87 c Dual Bound : +1.00000000000000e+20 783.56/783.87 c Gap : 0.00 % 783.56/783.87 s UNSATISFIABLE 783.56/783.87 c SCIP Status : problem is solved [infeasible] 783.56/783.87 c Solving Time : 759.76 783.56/783.87 c Original Problem : 783.56/783.87 c Problem name : HOME/instance-2665886-1276313279.opb 783.56/783.87 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 783.56/783.87 c Constraints : 2707 initial, 2707 maximal 783.56/783.87 c Presolved Problem : 783.56/783.87 c Problem name : t_HOME/instance-2665886-1276313279.opb 783.56/783.87 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 783.56/783.87 c Constraints : 2564 initial, 11678 maximal 783.56/783.87 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 783.56/783.87 c trivial : 0.00 0 0 0 0 0 0 0 0 783.56/783.87 c dualfix : 0.00 0 0 0 0 0 0 0 0 783.56/783.87 c boundshift : 0.00 0 0 0 0 0 0 0 0 783.56/783.87 c inttobinary : 0.00 0 0 0 0 0 0 0 0 783.56/783.87 c implics : 0.00 0 0 0 0 0 0 0 0 783.56/783.87 c probing : 0.00 0 0 0 0 0 0 0 0 783.56/783.87 c knapsack : 0.01 0 0 0 0 0 0 0 0 783.56/783.87 c setppc : 0.00 0 0 0 0 0 0 0 0 783.56/783.87 c linear : 0.03 0 0 0 0 0 143 0 0 783.56/783.87 c logicor : 0.01 0 0 0 0 0 0 0 0 783.56/783.87 c root node : - 2 - - 2 - - - - 783.56/783.87 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 783.56/783.87 c integral : 0 0 0 32299 0 204 1683 0 0 62124 783.56/783.87 c knapsack : 1 5 191329 0 0 381 127243 0 0 0 783.56/783.87 c setppc : 22 5 191118 0 0 1256 358216 0 0 0 783.56/783.87 c linear : 0+ 5 129298 0 0 4 6350 1 0 0 783.56/783.87 c logicor : 2541+ 5 115266 0 0 342 397450 0 0 0 783.56/783.87 c countsols : 0 0 0 0 0 0 0 0 0 0 783.56/783.87 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 783.56/783.87 c integral : 76.40 0.00 0.00 76.40 0.00 783.56/783.87 c knapsack : 1.70 0.00 1.70 0.00 0.00 783.56/783.87 c setppc : 3.08 0.00 3.08 0.00 0.00 783.56/783.87 c linear : 1.04 0.00 1.04 0.00 0.00 783.56/783.87 c logicor : 17.51 0.00 17.51 0.00 0.00 783.56/783.87 c countsols : 0.00 0.00 0.00 0.00 0.00 783.56/783.87 c Propagators : Time Calls Cutoffs DomReds 783.56/783.87 c vbounds : 0.16 1 0 0 783.56/783.87 c rootredcost : 0.18 0 0 0 783.56/783.87 c pseudoobj : 0.10 0 0 0 783.56/783.87 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 783.56/783.87 c propagation : 0.08 1983 1972 8849 18.9 24 18.1 - 783.56/783.87 c infeasible LP : 10.80 28873 20388 114624 34.2 73 16.9 0 783.56/783.87 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 783.56/783.87 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 783.56/783.87 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 783.56/783.87 c applied globally : - - - 28840 18.9 - - - 783.56/783.87 c applied locally : - - - 485 34.1 - - - 783.56/783.87 c Separators : Time Calls Cutoffs DomReds Cuts Conss 783.56/783.87 c cut pool : 0.00 4 - - 28 - (maximal pool size: 518) 783.56/783.87 c redcost : 0.26 31322 0 0 0 0 783.56/783.87 c impliedbounds : 0.00 5 0 0 0 0 783.56/783.87 c intobj : 0.00 0 0 0 0 0 783.56/783.87 c cgmip : 0.00 0 0 0 0 0 783.56/783.87 c gomory : 0.63 5 0 0 1141 0 783.56/783.87 c strongcg : 0.50 5 0 0 1841 0 783.56/783.87 c cmir : 0.00 0 0 0 0 0 783.56/783.87 c flowcover : 0.00 0 0 0 0 0 783.56/783.87 c clique : 0.00 5 0 0 0 0 783.56/783.87 c zerohalf : 0.00 0 0 0 0 0 783.56/783.87 c mcf : 0.00 1 0 0 0 0 783.56/783.87 c rapidlearning : 0.21 1 0 0 0 183 783.56/783.87 c Pricers : Time Calls Vars 783.56/783.87 c problem variables: 0.00 0 0 783.56/783.87 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 783.56/783.87 c relpscost : 76.32 32299 204 1683 0 0 62124 783.56/783.87 c pscost : 0.00 0 0 0 0 0 0 783.56/783.87 c inference : 0.00 0 0 0 0 0 0 783.56/783.87 c mostinf : 0.00 0 0 0 0 0 0 783.56/783.87 c leastinf : 0.00 0 0 0 0 0 0 783.56/783.87 c fullstrong : 0.00 0 0 0 0 0 0 783.56/783.87 c allfullstrong : 0.00 0 0 0 0 0 0 783.56/783.87 c random : 0.00 0 0 0 0 0 0 783.56/783.87 c Primal Heuristics : Time Calls Found 783.56/783.87 c LP solutions : 0.00 - 0 783.56/783.87 c pseudo solutions : 0.00 - 0 783.56/783.87 c trivial : 0.01 1 0 783.56/783.87 c simplerounding : 0.00 0 0 783.56/783.87 c zirounding : 0.00 0 0 783.56/783.87 c rounding : 0.00 0 0 783.56/783.87 c shifting : 0.00 0 0 783.56/783.87 c intshifting : 0.00 0 0 783.56/783.87 c oneopt : 0.00 0 0 783.56/783.87 c twoopt : 0.00 0 0 783.56/783.87 c fixandinfer : 0.00 0 0 783.56/783.87 c feaspump : 0.00 0 0 783.56/783.87 c coefdiving : 0.00 0 0 783.56/783.87 c pscostdiving : 0.00 0 0 783.56/783.87 c fracdiving : 0.00 0 0 783.56/783.87 c veclendiving : 0.00 0 0 783.56/783.87 c intdiving : 0.00 0 0 783.56/783.87 c actconsdiving : 0.00 0 0 783.56/783.87 c objpscostdiving : 0.00 0 0 783.56/783.87 c rootsoldiving : 0.00 0 0 783.56/783.87 c linesearchdiving : 0.00 0 0 783.56/783.87 c guideddiving : 0.00 0 0 783.56/783.87 c octane : 0.00 0 0 783.56/783.87 c rens : 0.00 0 0 783.56/783.87 c rins : 0.00 0 0 783.56/783.87 c localbranching : 0.00 0 0 783.56/783.87 c mutation : 0.00 0 0 783.56/783.87 c crossover : 0.00 0 0 783.56/783.87 c dins : 0.00 0 0 783.56/783.87 c undercover : 0.00 0 0 783.56/783.87 c nlp : 0.00 0 0 783.56/783.87 c trysol : 0.00 0 0 783.56/783.87 c LP : Time Calls Iterations Iter/call Iter/sec 783.56/783.87 c primal LP : 0.00 0 0 0.00 - 783.56/783.87 c dual LP : 604.32 61098 2030627 33.24 3360.19 783.56/783.87 c lex dual LP : 0.00 0 0 0.00 - 783.56/783.87 c barrier LP : 0.00 0 0 0.00 - 783.56/783.87 c diving/probing LP: 0.00 0 0 0.00 - 783.56/783.87 c strong branching : 74.84 4704 292267 62.13 3905.22 783.56/783.87 c (at root node) : - 10 5057 505.70 - 783.56/783.87 c conflict analysis: 0.00 0 0 0.00 - 783.56/783.87 c B&B Tree : 783.56/783.87 c number of runs : 1 783.56/783.87 c nodes : 61795 783.56/783.87 c nodes (total) : 61795 783.56/783.87 c nodes left : 0 783.56/783.87 c max depth : 47 783.56/783.87 c max depth (total): 47 783.56/783.87 c backtracks : 8160 (13.2%) 783.56/783.87 c delayed cutoffs : 330 783.56/783.87 c repropagations : 54119 (114933 domain reductions, 327 cutoffs) 783.56/783.87 c avg switch length: 3.74 783.56/783.87 c switching time : 17.69 783.56/783.87 c Solution : 783.56/783.87 c Solutions found : 0 (0 improvements) 783.56/783.87 c Primal Bound : infeasible 783.56/783.87 c Dual Bound : - 783.56/783.87 c Gap : 0.00 % 783.56/783.87 c Root Dual Bound : +0.00000000000000e+00 783.56/783.87 c Root Iterations : 2102 783.65/783.90 c Time complete: 783.66.
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-2665886-1276313279/watcher-2665886-1276313279 -o /tmp/evaluation-result-2665886-1276313279/solver-2665886-1276313279 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665886-1276313279.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.90 1.39 1.14 3/106 7793 /proc/meminfo: memFree=1534952/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=9288 CPUtime=0 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 1062 0 0 0 0 0 0 0 21 0 1 0 6929621 9510912 983 1992294400 4194304 9819077 140736604016304 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7793/statm: 2322 993 371 1374 0 943 0 [startup+0.104116 s] /proc/loadavg: 1.90 1.39 1.14 3/106 7793 /proc/meminfo: memFree=1534952/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=18236 CPUtime=0.09 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3948 0 0 0 8 1 0 0 23 0 1 0 6929621 18673664 3258 1992294400 4194304 9819077 140736604016304 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 4559 3258 489 1374 0 3180 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18236 [startup+0.201128 s] /proc/loadavg: 1.90 1.39 1.14 3/106 7793 /proc/meminfo: memFree=1534952/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=25144 CPUtime=0.19 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 7920 0 0 0 16 3 0 0 23 0 1 0 6929621 25747456 4608 1992294400 4194304 9819077 140736604016304 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 6286 4608 652 1374 0 4907 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 25144 [startup+0.301139 s] /proc/loadavg: 1.90 1.39 1.14 3/106 7793 /proc/meminfo: memFree=1534952/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=36744 CPUtime=0.29 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 10833 0 0 0 24 5 0 0 23 0 1 0 6929621 37625856 7264 1992294400 4194304 9819077 140736604016304 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9186 7264 670 1374 0 7807 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36744 [startup+0.701181 s] /proc/loadavg: 1.90 1.39 1.14 3/106 7793 /proc/meminfo: memFree=1534952/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=28548 CPUtime=0.69 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 13115 0 0 0 63 6 0 0 25 0 1 0 6929621 29233152 6063 1992294400 4194304 9819077 140736604016304 18446744073709551615 6059730 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 7137 6063 692 1374 0 5758 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28548 [startup+1.50127 s] /proc/loadavg: 1.90 1.39 1.14 2/107 7794 /proc/meminfo: memFree=1512624/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=30976 CPUtime=1.49 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 13725 0 0 0 142 7 0 0 25 0 1 0 6929621 31719424 6576 1992294400 4194304 9819077 140736604016304 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 7744 6576 692 1374 0 6365 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30976 [startup+3.10145 s] /proc/loadavg: 1.90 1.39 1.14 2/107 7794 /proc/meminfo: memFree=1510764/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=34964 CPUtime=3.09 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 14725 0 0 0 301 8 0 0 25 0 1 0 6929621 35803136 6749 1992294400 4194304 9819077 140736604016304 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8741 6749 698 1374 0 7362 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34964 [startup+6.3018 s] /proc/loadavg: 1.83 1.38 1.14 2/107 7794 /proc/meminfo: memFree=1509896/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=34204 CPUtime=6.29 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 20189 0 0 0 616 13 0 0 25 0 1 0 6929621 35024896 6770 1992294400 4194304 9819077 140736604016304 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8551 6770 718 1374 0 7172 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34204 [startup+12.7015 s] /proc/loadavg: 1.76 1.38 1.14 2/107 7794 /proc/meminfo: memFree=1509772/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=34168 CPUtime=12.69 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 30373 0 0 0 1244 25 0 0 25 0 1 0 6929621 34988032 6778 1992294400 4194304 9819077 140736604016304 18446744073709551615 7292055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8542 6778 720 1374 0 7163 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34168 [startup+25.5009 s] /proc/loadavg: 1.59 1.36 1.13 2/107 7794 /proc/meminfo: memFree=1509772/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=34484 CPUtime=25.49 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 55248 0 0 0 2502 47 0 0 25 0 1 0 6929621 35311616 6808 1992294400 4194304 9819077 140736604016304 18446744073709551615 7296859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8621 6808 721 1374 0 7242 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34484 [startup+51.1007 s] /proc/loadavg: 1.39 1.33 1.13 2/107 7794 /proc/meminfo: memFree=1509648/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=35076 CPUtime=51.08 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 105822 0 0 0 5010 98 0 0 25 0 1 0 6929621 35917824 6823 1992294400 4194304 9819077 140736604016304 18446744073709551615 7292336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8769 6823 722 1374 0 7390 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35076 [startup+102.3 s] /proc/loadavg: 1.17 1.28 1.12 2/107 7796 /proc/meminfo: memFree=1509524/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=32548 CPUtime=102.26 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 241005 0 0 0 9997 229 0 0 25 0 1 0 6929621 33329152 6795 1992294400 4194304 9819077 140736604016304 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8137 6795 722 1374 0 6758 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32548 [startup+162.301 s] /proc/loadavg: 1.06 1.22 1.11 2/107 7798 /proc/meminfo: memFree=1509028/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=33132 CPUtime=162.24 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 435995 0 0 0 15835 389 0 0 25 0 1 0 6929621 33927168 6865 1992294400 4194304 9819077 140736604016304 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8283 6865 722 1374 0 6904 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33132 [startup+222.308 s] /proc/loadavg: 1.02 1.18 1.10 2/107 7800 /proc/meminfo: memFree=1508904/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=33524 CPUtime=222.23 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 643747 0 0 0 21679 544 0 0 25 0 1 0 6929621 34328576 6869 1992294400 4194304 9819077 140736604016304 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8381 6869 722 1374 0 7002 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33524 [startup+282.3 s] /proc/loadavg: 1.01 1.14 1.09 2/107 7802 /proc/meminfo: memFree=1508904/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=33032 CPUtime=282.21 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 906675 0 0 0 27502 719 0 0 25 0 1 0 6929621 33824768 6874 1992294400 4194304 9819077 140736604016304 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8258 6875 722 1374 0 6879 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33032 [startup+342.301 s] /proc/loadavg: 1.00 1.12 1.08 2/107 7802 /proc/meminfo: memFree=1507912/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=34392 CPUtime=342.19 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 1214743 0 0 0 33301 918 0 0 25 0 1 0 6929621 35217408 7135 1992294400 4194304 9819077 140736604016304 18446744073709551615 7224634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8598 7135 722 1374 0 7219 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34392 [startup+402.301 s] /proc/loadavg: 1.00 1.09 1.08 2/107 7804 /proc/meminfo: memFree=1507664/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=35400 CPUtime=402.17 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 1541106 0 0 0 39094 1123 0 0 25 0 1 0 6929621 36249600 7204 1992294400 4194304 9819077 140736604016304 18446744073709551615 7292309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8850 7206 722 1374 0 7471 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35400 [startup+462.301 s] /proc/loadavg: 1.00 1.07 1.07 2/107 7806 /proc/meminfo: memFree=1507168/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=35780 CPUtime=462.15 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 1862733 0 0 0 44909 1306 0 0 25 0 1 0 6929621 36638720 7296 1992294400 4194304 9819077 140736604016304 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8945 7296 722 1374 0 7566 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35780 [startup+522.301 s] /proc/loadavg: 1.00 1.06 1.06 2/107 7808 /proc/meminfo: memFree=1506920/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=36080 CPUtime=522.14 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 2190769 0 0 0 50703 1511 0 0 25 0 1 0 6929621 36945920 7363 1992294400 4194304 9819077 140736604016304 18446744073709551615 4431915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9020 7363 722 1374 0 7641 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 36080 [startup+582.3 s] /proc/loadavg: 1.00 1.04 1.06 2/107 7810 /proc/meminfo: memFree=1506672/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=39276 CPUtime=582.11 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 2512195 0 0 0 56494 1717 0 0 25 0 1 0 6929621 40218624 7527 1992294400 4194304 9819077 140736604016304 18446744073709551615 7289267 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9819 7528 722 1374 0 8440 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 39276 [startup+642.301 s] /proc/loadavg: 1.00 1.03 1.05 2/107 7810 /proc/meminfo: memFree=1506424/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=36520 CPUtime=642.11 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 2850192 0 0 0 62288 1923 0 0 25 0 1 0 6929621 37396480 7460 1992294400 4194304 9819077 140736604016304 18446744073709551615 7317683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9130 7460 722 1374 0 7751 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 36520 [startup+702.301 s] /proc/loadavg: 1.00 1.03 1.05 2/107 7812 /proc/meminfo: memFree=1505432/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=37428 CPUtime=702.08 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3169700 0 0 0 68088 2120 0 0 25 0 1 0 6929621 38326272 7695 1992294400 4194304 9819077 140736604016304 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9357 7695 722 1374 0 7978 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 37428 [startup+762.301 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=40536 CPUtime=762.07 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3480579 0 0 0 73892 2315 0 0 25 0 1 0 6929621 41508864 7850 1992294400 4194304 9819077 140736604016304 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 10134 7850 722 1374 0 8755 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 40536 Solver just ended. Dumping a history of the last processes samples [startup+768.002 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=37496 CPUtime=767.76 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3512403 0 0 0 74442 2334 0 0 25 0 1 0 6929621 38395904 7744 1992294400 4194304 9819077 140736604016304 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9374 7744 722 1374 0 7995 0 Current children cumulated CPU time (s) 767.76 Current children cumulated vsize (KiB) 37496 [startup+774.402 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=37556 CPUtime=774.17 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3545363 0 0 0 75064 2353 0 0 25 0 1 0 6929621 38457344 7730 1992294400 4194304 9819077 140736604016304 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9389 7730 722 1374 0 8010 0 Current children cumulated CPU time (s) 774.17 Current children cumulated vsize (KiB) 37556 [startup+780.801 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=37556 CPUtime=780.55 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3576362 0 0 0 75683 2372 0 0 25 0 1 0 6929621 38457344 7721 1992294400 4194304 9819077 140736604016304 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9389 7721 722 1374 0 8010 0 Current children cumulated CPU time (s) 780.55 Current children cumulated vsize (KiB) 37556 [startup+782.401 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=37496 CPUtime=782.15 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3584157 0 0 0 75838 2377 0 0 25 0 1 0 6929621 38395904 7740 1992294400 4194304 9819077 140736604016304 18446744073709551615 7312810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9374 7740 722 1374 0 7995 0 Current children cumulated CPU time (s) 782.15 Current children cumulated vsize (KiB) 37496 [startup+783.202 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=37556 CPUtime=782.96 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3588152 0 0 0 75917 2379 0 0 25 0 1 0 6929621 38457344 7732 1992294400 4194304 9819077 140736604016304 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9389 7732 722 1374 0 8010 0 Current children cumulated CPU time (s) 782.96 Current children cumulated vsize (KiB) 37556 [startup+783.602 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=36696 CPUtime=783.36 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3590153 0 0 0 75955 2381 0 0 25 0 1 0 6929621 37576704 7716 1992294400 4194304 9819077 140736604016304 18446744073709551615 7234115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 9174 7716 722 1374 0 7795 0 Current children cumulated CPU time (s) 783.36 Current children cumulated vsize (KiB) 36696 [startup+783.802 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=35404 CPUtime=783.56 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3591207 0 0 0 75974 2382 0 0 25 0 1 0 6929621 36253696 7700 1992294400 4194304 9819077 140736604016304 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7793/statm: 8967 7695 722 1374 0 7588 0 Current children cumulated CPU time (s) 783.56 Current children cumulated vsize (KiB) 35404 [startup+783.902 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7814 /proc/meminfo: memFree=1505184/2059040 swapFree=4192956/4192956 [pid=7793] ppid=7791 vsize=20900 CPUtime=783.65 /proc/7793/stat : 7793 (pbscip.linux.x8) R 7791 7793 6883 0 -1 4202496 3591575 0 0 0 75983 2382 0 0 25 0 1 0 6929621 21401600 3191 1992294400 4194304 9819077 140736604016304 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7793/statm: 5225 3191 725 1374 0 3846 0 Current children cumulated CPU time (s) 783.65 Current children cumulated vsize (KiB) 20900 Child status: 0 Real time (s): 783.903 CPU time (s): 783.666 CPU user time (s): 759.841 CPU system time (s): 23.8254 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 40608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 759.84 system time used= 23.8254 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3591579 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= 1 involuntary context switches= 7029 runsolver used 1.36379 second user time and 3.63845 second system time The end
Begin job on node009 at 2010-06-12 05:27:59 IDJOB=2665886 IDBENCH=1362 IDSOLVER=1168 FILE ID=node009/2665886-1276313279 PBS_JOBID= 11173144 Free space on /tmp= 62444 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.1900554420.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-2665886-1276313279/watcher-2665886-1276313279 -o /tmp/evaluation-result-2665886-1276313279/solver-2665886-1276313279 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665886-1276313279.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 30c4f9acafc0f3a30de05f75833db699 RANDOM SEED=1689213000 node009.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.199 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.39 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.199 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: 1535356 kB Buffers: 81520 kB Cached: 314544 kB SwapCached: 0 kB Active: 179468 kB Inactive: 275820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1535356 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6248 kB Writeback: 8 kB AnonPages: 59100 kB Mapped: 15368 kB Slab: 46612 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181184 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= 62436 MiB End job on node009 at 2010-06-12 05:41:03