Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.33 | 1800.88 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb |
MD5SUM | 608a9740e0756eec3b8d3bf2dd1f591f |
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 | 36.6784 |
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 | 765 |
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: NONE] [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-2664418-1276298818.opb> 0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.06 c problem read 0.00/0.06 c No objective function, only one solution is needed. 0.00/0.06 c presolving settings loaded 0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 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.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.96 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 # frequency for solving LP at the nodes (-1: never; 0: only root LP) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c lp/solvefreq = -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.15 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.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.72 c 4.4s| 10000 | 7463 | 0 | 0.0 |7453k| 109 | - | 231 |5071 | 0 | 0 | 0 |3642 | 0 | 0.000000e+00 | -- | Inf 10.59/10.67 c 10.1s| 20000 | 14138 | 0 | 0.0 | 12M| 109 | - | 231 |5898 | 0 | 0 | 0 |7474 | 0 | 0.000000e+00 | -- | Inf 16.99/17.08 c 16.3s| 30000 | 21188 | 0 | 0.0 | 16M| 109 | - | 231 |6948 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf 24.59/24.61 c 23.6s| 40000 | 27799 | 0 | 0.0 | 21M| 109 | - | 231 |8123 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf 33.89/33.96 c 32.6s| 50000 | 33645 | 0 | 0.0 | 26M| 109 | - | 231 |9726 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf 49.08/49.19 c 47.5s| 60000 | 37166 | 0 | 0.0 | 31M| 109 | - | 231 | 12k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf 68.58/68.62 c 66.6s| 70000 | 39828 | 0 | 0.0 | 35M| 109 | - | 231 | 11k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf 82.26/82.30 c 80.0s| 80000 | 45385 | 0 | 0.0 | 40M| 109 | - | 231 | 11k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf 99.16/99.23 c 96.6s| 90000 | 49883 | 0 | 0.0 | 45M| 109 | - | 231 | 12k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf 118.06/118.10 c 115s|100000 | 53961 | 0 | 0.0 | 50M| 109 | - | 231 | 13k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf 137.75/137.82 c 134s|110000 | 57684 | 0 | 0.0 | 55M| 109 | - | 231 | 13k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf 159.14/159.22 c 156s|120000 | 61092 | 0 | 0.0 | 60M| 109 | - | 231 | 14k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf 183.03/183.15 c 179s|130000 | 63866 | 0 | 0.0 | 64M| 109 | - | 231 | 14k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf 207.63/207.71 c 203s|140000 | 66651 | 0 | 0.0 | 69M| 109 | - | 231 | 16k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf 235.33/235.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 235.33/235.42 c 231s|150000 | 68804 | 0 | 0.0 | 74M| 109 | - | 231 | 17k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf 266.01/266.19 c 261s|160000 | 70369 | 0 | 0.0 | 78M| 109 | - | 231 | 18k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf 297.29/297.50 c 292s|170000 | 72082 | 0 | 0.0 | 83M| 109 | - | 231 | 19k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf 332.99/333.14 c 327s|180000 | 73138 | 0 | 0.0 | 87M| 109 | - | 231 | 20k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf 370.78/370.91 c 365s|190000 | 73975 | 0 | 0.0 | 91M| 109 | - | 231 | 21k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf 414.56/414.73 c 408s|200000 | 73744 | 0 | 0.0 | 93M| 109 | - | 231 | 22k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf 463.25/463.42 c 456s|210000 | 72614 | 0 | 0.0 | 94M| 109 | - | 231 | 21k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf 507.43/507.68 c 500s|220000 | 73784 | 0 | 0.0 | 97M| 109 | - | 231 | 20k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf 558.72/558.93 c 551s|230000 | 72884 | 0 | 0.0 | 101M| 109 | - | 231 | 21k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf 615.91/616.16 c 608s|240000 | 71185 | 0 | 0.0 | 103M| 109 | - | 231 | 24k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf 679.19/679.47 c 670s|250000 | 69079 | 0 | 0.0 | 106M| 109 | - | 231 | 25k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf 747.97/748.20 c 739s|260000 | 66270 | 0 | 0.0 | 107M| 109 | - | 231 | 27k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf 817.44/817.73 c 808s|270000 | 63632 | 0 | 0.0 | 108M| 109 | - | 231 | 28k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf 890.12/890.44 c 880s|280000 | 60475 | 0 | 0.0 | 108M| 109 | - | 231 | 28k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf 965.00/965.33 c 954s|290000 | 57078 | 0 | 0.0 | 108M| 109 | - | 231 | 29k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf 1039.98/1040.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1039.98/1040.39 c 1029s|300000 | 53937 | 0 | 0.0 | 107M| 109 | - | 231 | 31k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf 1119.66/1120.00 c 1108s|310000 | 50151 | 0 | 0.0 | 104M| 109 | - | 231 | 32k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf 1206.93/1207.37 c 1195s|320000 | 45135 | 0 | 0.0 | 101M| 109 | - | 231 | 36k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf 1301.20/1301.65 c 1288s|330000 | 39387 | 0 | 0.0 | 96M| 109 | - | 231 | 37k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf 1416.06/1416.54 c 1403s|340000 | 32871 | 0 | 0.0 | 88M| 109 | - | 231 | 39k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf 1540.72/1541.28 c 1527s|350000 | 25063 | 0 | 0.0 | 76M| 109 | - | 231 | 42k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf 1663.48/1664.10 c 1649s|360000 | 16989 | 0 | 0.0 | 63M| 109 | - | 231 | 48k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf 1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.62 c 1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.62 c Solving Time (sec) : 1784.80 1800.06/1800.62 c Solving Nodes : 369245 1800.06/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.06/1800.62 c Dual Bound : +0.00000000000000e+00 1800.06/1800.62 c Gap : infinite 1800.06/1800.62 s UNKNOWN 1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.62 c Solving Time : 1784.80 1800.06/1800.62 c Original Problem : 1800.06/1800.62 c Problem name : HOME/instance-2664418-1276298818.opb 1800.06/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.06/1800.62 c Presolved Problem : 1800.06/1800.62 c Problem name : t_HOME/instance-2664418-1276298818.opb 1800.06/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.62 c Constraints : 2564 initial, 54906 maximal 1800.06/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0 1800.06/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.06/1800.62 c root node : - 0 - - 0 - - - - 1800.06/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0 1800.06/1800.62 c knapsack : 1 0 1615677 0 234189 60278 5196714 0 0 0 1800.06/1800.62 c setppc : 22 0 1567134 0 234182 77887 1983340 0 0 0 1800.06/1800.62 c logicor : 2541+ 0 1151899 0 234182 59955 5278561 0 0 0 1800.06/1800.62 c countsols : 0 0 0 0 234170 0 0 0 0 0 1800.06/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.62 c knapsack : 41.33 0.00 39.74 0.00 1.59 1800.06/1800.62 c setppc : 26.86 0.00 23.64 0.00 3.22 1800.06/1800.62 c logicor : 941.95 0.00 909.05 0.00 32.90 1800.06/1800.62 c countsols : 0.14 0.00 0.00 0.00 0.14 1800.06/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.62 c vbounds : 0.93 1 0 0 1800.06/1800.62 c rootredcost : 1.07 0 0 0 1800.06/1800.62 c pseudoobj : 0.72 0 0 0 1800.06/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.62 c propagation : 12.73 198120 198039 917292 17.3 4345 18.5 - 1800.06/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.62 c applied globally : - - - 435514 13.9 - - - 1800.06/1800.62 c applied locally : - - - 1135 34.4 - - - 1800.06/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.06/1800.62 c redcost : 0.00 0 0 0 0 0 1800.06/1800.62 c impliedbounds : 0.00 0 0 0 0 0 1800.06/1800.62 c intobj : 0.00 0 0 0 0 0 1800.06/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.62 c gomory : 0.00 0 0 0 0 0 1800.06/1800.62 c strongcg : 0.00 0 0 0 0 0 1800.06/1800.62 c cmir : 0.00 0 0 0 0 0 1800.06/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.06/1800.62 c clique : 0.00 0 0 0 0 0 1800.06/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.62 c mcf : 0.00 0 0 0 0 0 1800.06/1800.62 c rapidlearning : 0.00 0 0 0 0 0 1800.06/1800.62 c Pricers : Time Calls Vars 1800.06/1800.62 c problem variables: 0.00 0 0 1800.06/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.62 c relpscost : 0.00 0 0 0 0 0 0 1800.06/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.62 c inference : 6.83 234170 0 0 0 0 468340 1800.06/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.62 c random : 0.00 0 0 0 0 0 0 1800.06/1800.62 c Primal Heuristics : Time Calls Found 1800.06/1800.62 c LP solutions : 0.00 - 0 1800.06/1800.62 c pseudo solutions : 0.00 - 0 1800.06/1800.62 c trivial : 0.00 1 0 1800.06/1800.62 c simplerounding : 0.00 0 0 1800.06/1800.62 c zirounding : 0.00 0 0 1800.06/1800.62 c rounding : 0.00 0 0 1800.06/1800.62 c shifting : 0.00 0 0 1800.06/1800.62 c intshifting : 0.00 0 0 1800.06/1800.62 c oneopt : 0.00 0 0 1800.06/1800.62 c twoopt : 0.00 0 0 1800.06/1800.62 c fixandinfer : 0.00 0 0 1800.06/1800.62 c feaspump : 0.00 0 0 1800.06/1800.62 c coefdiving : 0.00 0 0 1800.06/1800.62 c pscostdiving : 0.00 0 0 1800.06/1800.62 c fracdiving : 0.00 0 0 1800.06/1800.62 c veclendiving : 0.00 0 0 1800.06/1800.62 c intdiving : 0.00 0 0 1800.06/1800.62 c actconsdiving : 0.00 0 0 1800.06/1800.62 c objpscostdiving : 0.00 0 0 1800.06/1800.62 c rootsoldiving : 0.00 0 0 1800.06/1800.62 c linesearchdiving : 0.00 0 0 1800.06/1800.62 c guideddiving : 0.00 0 0 1800.06/1800.62 c octane : 0.00 0 0 1800.06/1800.62 c rens : 0.00 0 0 1800.06/1800.62 c rins : 0.00 0 0 1800.06/1800.62 c localbranching : 0.00 0 0 1800.06/1800.62 c mutation : 0.00 0 0 1800.06/1800.62 c crossover : 0.00 0 0 1800.06/1800.62 c dins : 0.00 0 0 1800.06/1800.62 c undercover : 0.00 0 0 1800.06/1800.62 c nlp : 0.00 0 0 1800.06/1800.62 c trysol : 0.00 0 0 1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.06/1800.62 c dual LP : 0.00 0 0 0.00 - 1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.06/1800.62 c strong branching : 0.00 0 0 0.00 - 1800.06/1800.62 c (at root node) : - 0 0 0.00 - 1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.62 c B&B Tree : 1800.06/1800.62 c number of runs : 1 1800.06/1800.62 c nodes : 369245 1800.06/1800.62 c nodes (total) : 369245 1800.06/1800.62 c nodes left : 6797 1800.06/1800.62 c max depth : 109 1800.06/1800.62 c max depth (total): 109 1800.06/1800.62 c backtracks : 148710 (40.3%) 1800.06/1800.62 c delayed cutoffs : 92299 1800.06/1800.62 c repropagations : 505398 (3577524 domain reductions, 63045 cutoffs) 1800.06/1800.62 c avg switch length: 21.74 1800.06/1800.62 c switching time : 496.66 1800.06/1800.62 c Solution : 1800.06/1800.62 c Solutions found : 0 (0 improvements) 1800.06/1800.62 c Primal Bound : - 1800.06/1800.62 c Dual Bound : +0.00000000000000e+00 1800.06/1800.62 c Gap : infinite 1800.06/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.62 c Root Iterations : 0 1800.24/1800.87 c Time complete: 1800.32.
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-2664418-1276298818/watcher-2664418-1276298818 -o /tmp/evaluation-result-2664418-1276298818/solver-2664418-1276298818 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664418-1276298818.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5929 /proc/meminfo: memFree=1548968/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=6584 CPUtime=0 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 1004 0 0 0 0 0 0 0 20 0 1 0 5485684 6742016 926 1992294400 4194304 7136930 140735179108048 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5929/statm: 1646 935 254 719 0 925 0 [startup+0.0860451 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5929 /proc/meminfo: memFree=1548968/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=15496 CPUtime=0.07 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 3483 0 0 0 6 1 0 0 20 0 1 0 5485684 15867904 3052 1992294400 4194304 7136930 140735179108048 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 3874 3064 340 719 0 3153 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15496 [startup+0.101047 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5929 /proc/meminfo: memFree=1548968/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=14628 CPUtime=0.09 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 3588 0 0 0 8 1 0 0 20 0 1 0 5485684 14979072 2899 1992294400 4194304 7136930 140735179108048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 3657 2899 345 719 0 2936 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14628 [startup+0.301066 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5929 /proc/meminfo: memFree=1548968/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=17060 CPUtime=0.29 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 6816 0 0 0 25 4 0 0 20 0 1 0 5485684 17469440 3557 1992294400 4194304 7136930 140735179108048 18446744073709551615 4223163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 4265 3557 391 719 0 3544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17060 [startup+0.701103 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5929 /proc/meminfo: memFree=1548968/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=17588 CPUtime=0.69 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 6951 0 0 0 63 6 0 0 21 0 1 0 5485684 18010112 3692 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 4397 3692 391 719 0 3676 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17588 [startup+1.50118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5930 /proc/meminfo: memFree=1534700/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=19204 CPUtime=1.49 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 7327 0 0 0 139 10 0 0 23 0 1 0 5485684 19664896 4068 1992294400 4194304 7136930 140735179108048 18446744073709551615 5484165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 4801 4068 391 719 0 4080 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19204 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5930 /proc/meminfo: memFree=1532840/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=21532 CPUtime=3.09 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 7929 0 0 0 291 18 0 0 25 0 1 0 5485684 22048768 4670 1992294400 4194304 7136930 140735179108048 18446744073709551615 6166606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 5383 4670 391 719 0 4662 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21532 [startup+6.30064 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5930 /proc/meminfo: memFree=1528500/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=24828 CPUtime=6.29 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 8770 0 0 0 598 31 0 0 25 0 1 0 5485684 25423872 5511 1992294400 4194304 7136930 140735179108048 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 6207 5511 391 719 0 5486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24828 [startup+12.7002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5930 /proc/meminfo: memFree=1522300/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=31008 CPUtime=12.69 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 10325 0 0 0 1212 57 0 0 25 0 1 0 5485684 31752192 7066 1992294400 4194304 7136930 140735179108048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 7752 7066 391 719 0 7031 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31008 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5930 /proc/meminfo: memFree=1512132/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=40496 CPUtime=25.49 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 12760 0 0 0 2450 99 0 0 25 0 1 0 5485684 41467904 9501 1992294400 4194304 7136930 140735179108048 18446744073709551615 5005117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 10124 9501 391 719 0 9403 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40496 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5932 /proc/meminfo: memFree=1495764/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=56740 CPUtime=51.07 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 16812 0 0 0 4944 163 0 0 25 0 1 0 5485684 58101760 13553 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 14185 13553 391 719 0 13464 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56740 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5932 /proc/meminfo: memFree=1478404/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=73988 CPUtime=102.27 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 21111 0 0 0 9965 262 0 0 25 0 1 0 5485684 75763712 17852 1992294400 4194304 7136930 140735179108048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 18497 17852 391 719 0 17776 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 73988 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5934 /proc/meminfo: memFree=1459804/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=92352 CPUtime=162.24 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 25697 0 0 0 15858 366 0 0 25 0 1 0 5485684 94568448 22438 1992294400 4194304 7136930 140735179108048 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 23088 22438 391 719 0 22367 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 92352 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5936 /proc/meminfo: memFree=1445916/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=108408 CPUtime=222.22 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 29175 0 0 0 21775 447 0 0 25 0 1 0 5485684 111009792 25916 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 27102 25916 391 719 0 26381 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 108408 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5938 /proc/meminfo: memFree=1437112/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=117664 CPUtime=282.2 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 31478 0 0 0 27700 520 0 0 25 0 1 0 5485684 120487936 28219 1992294400 4194304 7136930 140735179108048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 29416 28219 391 719 0 28695 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 117664 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5940 /proc/meminfo: memFree=1428184/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=126136 CPUtime=342.19 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 33555 0 0 0 33633 586 0 0 25 0 1 0 5485684 129163264 30296 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 31534 30296 391 719 0 30813 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 126136 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5940 /proc/meminfo: memFree=1417644/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=137116 CPUtime=402.17 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 36184 0 0 0 39570 647 0 0 25 0 1 0 5485684 140406784 32925 1992294400 4194304 7136930 140735179108048 18446744073709551615 4678328 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 34279 32925 391 719 0 33558 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 137116 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5942 /proc/meminfo: memFree=1414544/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=140160 CPUtime=462.14 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 36970 0 0 0 45510 704 0 0 25 0 1 0 5485684 143523840 33711 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 35040 33711 391 719 0 34319 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 140160 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5944 /proc/meminfo: memFree=1410080/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=144572 CPUtime=522.13 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 38052 0 0 0 51454 759 0 0 25 0 1 0 5485684 148041728 34793 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 36143 34793 391 719 0 35422 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 144572 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5946 /proc/meminfo: memFree=1406732/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=147984 CPUtime=582.11 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 38884 0 0 0 57403 808 0 0 25 0 1 0 5485684 151535616 35625 1992294400 4194304 7136930 140735179108048 18446744073709551615 4210637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 36996 35625 391 719 0 36275 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 147984 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5948 /proc/meminfo: memFree=1402764/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=151640 CPUtime=642.1 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 39845 0 0 0 63358 852 0 0 25 0 1 0 5485684 155279360 36586 1992294400 4194304 7136930 140735179108048 18446744073709551615 4210021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 37910 36586 391 719 0 37189 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 151640 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5954 /proc/meminfo: memFree=1393836/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=160528 CPUtime=882.03 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 41996 0 0 0 87178 1025 0 0 25 0 1 0 5485684 164380672 38737 1992294400 4194304 7136930 140735179108048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 40132 38737 391 719 0 39411 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 160528 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5956 /proc/meminfo: memFree=1392596/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=161796 CPUtime=942.01 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 42330 0 0 0 93138 1063 0 0 25 0 1 0 5485684 165679104 39071 1992294400 4194304 7136930 140735179108048 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 40449 39071 391 719 0 39728 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 161796 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5956 /proc/meminfo: memFree=1391480/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=162640 CPUtime=1002 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 42563 0 0 0 99097 1103 0 0 25 0 1 0 5485684 166543360 39304 1992294400 4194304 7136930 140735179108048 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 40660 39304 391 719 0 39939 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 162640 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5958 /proc/meminfo: memFree=1390736/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=163836 CPUtime=1061.98 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 42768 0 0 0 105058 1140 0 0 25 0 1 0 5485684 167768064 39509 1992294400 4194304 7136930 140735179108048 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 40959 39509 391 719 0 40238 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 163836 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5960 /proc/meminfo: memFree=1389000/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=165804 CPUtime=1121.96 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 43201 0 0 0 111018 1178 0 0 25 0 1 0 5485684 169783296 39942 1992294400 4194304 7136930 140735179108048 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 41451 39942 391 719 0 40730 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 165804 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5962 /proc/meminfo: memFree=1388008/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=166488 CPUtime=1181.94 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 43402 0 0 0 116979 1215 0 0 25 0 1 0 5485684 170483712 40143 1992294400 4194304 7136930 140735179108048 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 41622 40143 391 719 0 40901 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 166488 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5964 /proc/meminfo: memFree=1387140/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=167108 CPUtime=1241.92 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 43579 0 0 0 122937 1255 0 0 25 0 1 0 5485684 171118592 40320 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 41777 40320 391 719 0 41056 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 167108 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5964 /proc/meminfo: memFree=1386644/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=167680 CPUtime=1301.91 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 43674 0 0 0 128904 1287 0 0 25 0 1 0 5485684 171704320 40415 1992294400 4194304 7136930 140735179108048 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 41920 40415 391 719 0 41199 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 167680 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5966 /proc/meminfo: memFree=1386396/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=168096 CPUtime=1361.88 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 43756 0 0 0 134871 1317 0 0 25 0 1 0 5485684 172130304 40497 1992294400 4194304 7136930 140735179108048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 42024 40497 391 719 0 41303 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 168096 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5968 /proc/meminfo: memFree=1386148/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=168096 CPUtime=1421.87 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 43804 0 0 0 140842 1345 0 0 25 0 1 0 5485684 172130304 40545 1992294400 4194304 7136930 140735179108048 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 42024 40545 391 719 0 41303 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 168096 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5970 /proc/meminfo: memFree=1385900/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=168860 CPUtime=1481.85 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 43883 0 0 0 146813 1372 0 0 25 0 1 0 5485684 172912640 40624 1992294400 4194304 7136930 140735179108048 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 42215 40624 391 719 0 41494 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 168860 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5972 /proc/meminfo: memFree=1385280/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=169752 CPUtime=1541.83 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 44019 0 0 0 152783 1400 0 0 25 0 1 0 5485684 173826048 40760 1992294400 4194304 7136930 140735179108048 18446744073709551615 4210526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 42438 40760 391 719 0 41717 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 169752 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5972 /proc/meminfo: memFree=1384660/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=170340 CPUtime=1601.8 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 44177 0 0 0 158752 1428 0 0 25 0 1 0 5485684 174428160 40918 1992294400 4194304 7136930 140735179108048 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 42585 40918 391 719 0 41864 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 170340 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5974 /proc/meminfo: memFree=1384536/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=170412 CPUtime=1661.79 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 44193 0 0 0 164722 1457 0 0 25 0 1 0 5485684 174501888 40934 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 42603 40934 391 719 0 41882 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 170412 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5976 /proc/meminfo: memFree=1383544/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=171732 CPUtime=1721.76 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 44426 0 0 0 170687 1489 0 0 25 0 1 0 5485684 175853568 41167 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 42933 41167 391 719 0 42212 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 171732 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5978 /proc/meminfo: memFree=1382924/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=172760 CPUtime=1781.75 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 44546 0 0 0 176661 1514 0 0 25 0 1 0 5485684 176906240 41287 1992294400 4194304 7136930 140735179108048 18446744073709551615 4999919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 43190 41287 391 719 0 42469 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 172760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5978 /proc/meminfo: memFree=1382676/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=173044 CPUtime=1800.06 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 44599 0 0 0 178484 1522 0 0 25 0 1 0 5485684 177197056 41340 1992294400 4194304 7136930 140735179108048 18446744073709551615 4431654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5929/statm: 43261 41340 391 719 0 42540 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 173044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5978 /proc/meminfo: memFree=1382676/2059040 swapFree=4192956/4192956 [pid=5929] ppid=5927 vsize=172448 CPUtime=1800.24 /proc/5929/stat : 5929 (pbscip.linux.x8) R 5927 5929 5592 0 -1 4202496 44691 0 0 0 178502 1522 0 0 25 0 1 0 5485684 176586752 41175 1992294400 4194304 7136930 140735179108048 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5929/statm: 43112 41175 396 719 0 42391 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 172448 Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.33 CPU user time (s): 1785.08 CPU system time (s): 15.2447 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 173476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.08 system time used= 15.2447 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44698 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= 5 involuntary context switches= 25676 runsolver used 3.11053 second user time and 8.37073 second system time The end
Begin job on node004 at 2010-06-12 01:26:58 IDJOB=2664418 IDBENCH=1320 IDSOLVER=1167 FILE ID=node004/2664418-1276298818 PBS_JOBID= 11173125 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664418-1276298818/watcher-2664418-1276298818 -o /tmp/evaluation-result-2664418-1276298818/solver-2664418-1276298818 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664418-1276298818.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 608a9740e0756eec3b8d3bf2dd1f591f RANDOM SEED=865345698 node004.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.210 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.42 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.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1549496 kB Buffers: 71652 kB Cached: 311016 kB SwapCached: 0 kB Active: 170460 kB Inactive: 271564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1549496 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3404 kB Writeback: 4 kB AnonPages: 59312 kB Mapped: 15400 kB Slab: 45756 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180592 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= 62528 MiB End job on node004 at 2010-06-12 01:57:01