Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.52 | 1801.07 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb |
MD5SUM | fff7b3dc5d07bd6a4fd3046b5e5241f1 |
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 | 0.467928 |
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 | 8190 |
Total number of constraints | 181 |
Number of constraints which are clauses | 91 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 91 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 92 |
Number of bits of the biggest sum of numbers | 7 |
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-2664735-1276578201.opb> 0.00/0.05 c original problem has 8190 variables (8190 bin, 0 int, 0 impl, 0 cont) and 181 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.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.09/0.15 c presolving: 0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 91 upgd conss, 0 impls, 90 clqs 0.19/0.23 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 181 upgd conss, 0 impls, 90 clqs 0.19/0.25 c presolving (3 rounds): 0.19/0.25 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.19/0.25 c 0 implications, 90 cliques 0.19/0.25 c presolved problem has 8190 variables (8190 bin, 0 int, 0 impl, 0 cont) and 181 constraints 0.19/0.25 c 90 constraints of type <setppc> 0.19/0.25 c 91 constraints of type <logicor> 0.19/0.25 c transformed objective value is always integral (scale: 1) 0.19/0.25 c Presolving Time: 0.15 0.19/0.25 c - non default parameters ---------------------------------------------------------------------- 0.19/0.25 c # SCIP version 1.2.1.2 0.19/0.25 c 0.19/0.25 c # frequency for displaying node information lines 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100] 0.19/0.25 c display/freq = 10000 0.19/0.25 c 0.19/0.25 c # maximal time in seconds to run 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.19/0.25 c limits/time = 1799.96 0.19/0.25 c 0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.19/0.25 c limits/memory = 1620 0.19/0.25 c 0.19/0.25 c # solving stops, if the given number of solutions were found (-1: no limit) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c limits/solutions = 1 0.19/0.25 c 0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c lp/solvefreq = -1 0.19/0.25 c 0.19/0.25 c # maximal number of separation rounds per node (-1: unlimited) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 5] 0.19/0.25 c separating/maxrounds = 1 0.19/0.25 c 0.19/0.25 c # maximal number of separation rounds in the root node (-1: unlimited) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c separating/maxroundsroot = 5 0.19/0.25 c 0.19/0.25 c # should presolving try to simplify inequalities 0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.19/0.25 c constraints/linear/simplifyinequalities = TRUE 0.19/0.25 c 0.19/0.25 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.19/0.25 c constraints/knapsack/disaggregation = FALSE 0.19/0.25 c 0.19/0.25 c # should presolving try to simplify knapsacks 0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE 0.19/0.25 c 0.19/0.25 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c presolving/probing/maxrounds = 0 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/coefdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/coefdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/coefdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 30] 0.19/0.25 c heuristics/crossover/freq = -1 0.19/0.25 c 0.19/0.25 c # number of nodes added to the contingent of the total nodes 0.19/0.25 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.19/0.25 c heuristics/crossover/nodesofs = 750 0.19/0.25 c 0.19/0.25 c # number of nodes without incumbent change that heuristic should wait 0.19/0.25 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.19/0.25 c heuristics/crossover/nwaitingnodes = 100 0.19/0.25 c 0.19/0.25 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.19/0.25 c # [type: real, range: [0,1], default: 0.1] 0.19/0.25 c heuristics/crossover/nodesquot = 0.15 0.19/0.25 c 0.19/0.25 c # minimum percentage of integer variables that have to be fixed 0.19/0.25 c # [type: real, range: [0,1], default: 0.666] 0.19/0.25 c heuristics/crossover/minfixingrate = 0.5 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.25 c heuristics/feaspump/freq = -1 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/feaspump/maxlpiterofs = 2000 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/fracdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/fracdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/fracdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/guideddiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/guideddiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/guideddiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/intdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/intshifting/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/linesearchdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/nlp/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.25 c heuristics/objpscostdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to total iteration number 0.19/0.25 c # [type: real, range: [0,1], default: 0.01] 0.19/0.25 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/oneopt/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/pscostdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/pscostdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c heuristics/rens/freq = -1 0.19/0.25 c 0.19/0.25 c # minimum percentage of integer variables that have to be fixable 0.19/0.25 c # [type: real, range: [0,1], default: 0.5] 0.19/0.25 c heuristics/rens/minfixingrate = 0.3 0.19/0.25 c 0.19/0.25 c # number of nodes added to the contingent of the total nodes 0.19/0.25 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.19/0.25 c heuristics/rens/nodesofs = 2000 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.25 c heuristics/rootsoldiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.19/0.25 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/rounding/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/shifting/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/simplerounding/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c heuristics/trivial/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/trysol/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/veclendiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/veclendiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/veclendiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/zirounding/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c separating/cmir/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c separating/flowcover/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c separating/rapidlearning/freq = 0 0.19/0.25 c 0.19/0.25 c ----------------------------------------------------------------------------------------------- 0.19/0.25 c start solving 0.19/0.25 c 0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.19/0.26 c 0.2s| 1 | 2 | 0 | - | 14M| 0 | - |8190 | 181 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 33.17/33.28 c 33.0s| 10000 | 9998 | 0 | 0.0 | 19M|5484 | - |8190 | 194 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf 76.66/76.75 c 76.3s| 20000 | 19985 | 0 | 0.0 | 22M|5695 | - |8190 | 230 | 0 | 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf 115.14/115.28 c 115s| 30000 | 29972 | 0 | 0.0 | 25M|5695 | - |8190 | 254 | 0 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf 157.84/157.92 c 157s| 40000 | 39963 | 0 | 0.0 | 28M|5695 | - |8190 | 258 | 0 | 0 | 0 | 197 | 0 | 0.000000e+00 | -- | Inf 195.22/195.39 c 194s| 50000 | 49952 | 0 | 0.0 | 31M|5695 | - |8190 | 255 | 0 | 0 | 0 | 267 | 0 | 0.000000e+00 | -- | Inf 235.91/236.07 c 235s| 60000 | 59946 | 0 | 0.0 | 34M|5695 | - |8190 | 269 | 0 | 0 | 0 | 307 | 0 | 0.000000e+00 | -- | Inf 280.50/280.63 c 279s| 70000 | 69939 | 0 | 0.0 | 37M|5695 | - |8190 | 250 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf 320.39/320.51 c 319s| 80000 | 79926 | 0 | 0.0 | 40M|5695 | - |8190 | 274 | 0 | 0 | 0 | 410 | 0 | 0.000000e+00 | -- | Inf 361.27/361.42 c 360s| 90000 | 89916 | 0 | 0.0 | 43M|5695 | - |8190 | 284 | 0 | 0 | 0 | 470 | 0 | 0.000000e+00 | -- | Inf 401.76/401.94 c 400s|100000 | 99905 | 0 | 0.0 | 46M|5695 | - |8190 | 300 | 0 | 0 | 0 | 540 | 0 | 0.000000e+00 | -- | Inf 444.35/444.54 c 442s|110000 |109902 | 0 | 0.0 | 49M|5695 | - |8190 | 290 | 0 | 0 | 0 | 560 | 0 | 0.000000e+00 | -- | Inf 488.44/488.62 c 486s|120000 |119894 | 0 | 0.0 | 52M|5695 | - |8190 | 268 | 0 | 0 | 0 | 610 | 0 | 0.000000e+00 | -- | Inf 531.13/531.34 c 529s|130000 |129884 | 0 | 0.0 | 55M|5695 | - |8190 | 273 | 0 | 0 | 0 | 668 | 0 | 0.000000e+00 | -- | Inf 573.22/573.42 c 571s|140000 |139876 | 0 | 0.0 | 58M|5717 | - |8190 | 287 | 0 | 0 | 0 | 718 | 0 | 0.000000e+00 | -- | Inf 614.11/614.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 614.11/614.39 c 611s|150000 |149866 | 0 | 0.0 | 61M|5879 | - |8190 | 310 | 0 | 0 | 0 | 771 | 0 | 0.000000e+00 | -- | Inf 661.00/661.27 c 658s|160000 |159861 | 0 | 0.0 | 64M|5961 | - |8190 | 302 | 0 | 0 | 0 | 801 | 0 | 0.000000e+00 | -- | Inf 704.48/704.80 c 701s|170000 |169853 | 0 | 0.0 | 67M|6121 | - |8190 | 306 | 0 | 0 | 0 | 851 | 0 | 0.000000e+00 | -- | Inf 745.97/746.21 c 743s|180000 |179848 | 0 | 0.0 | 69M|6195 | - |8190 | 321 | 0 | 0 | 0 | 881 | 0 | 0.000000e+00 | -- | Inf 793.06/793.37 c 790s|190000 |189842 | 0 | 0.0 | 72M|6334 | - |8190 | 296 | 0 | 0 | 0 | 921 | 0 | 0.000000e+00 | -- | Inf 834.56/834.87 c 831s|200000 |199834 | 0 | 0.0 | 75M|6478 | - |8190 | 278 | 0 | 0 | 0 | 968 | 0 | 0.000000e+00 | -- | Inf 881.33/881.63 c 877s|210000 |209829 | 0 | 0.0 | 78M|6564 | - |8190 | 289 | 0 | 0 | 0 | 998 | 0 | 0.000000e+00 | -- | Inf 923.31/923.67 c 919s|220000 |219823 | 0 | 0.0 | 81M|6727 | - |8190 | 273 | 0 | 0 | 0 |1034 | 0 | 0.000000e+00 | -- | Inf 969.82/970.14 c 966s|230000 |229818 | 0 | 0.0 | 83M|6788 | - |8190 | 284 | 0 | 0 | 0 |1056 | 0 | 0.000000e+00 | -- | Inf 1011.49/1011.87 c 1007s|240000 |239808 | 0 | 0.0 | 86M|6910 | - |8190 | 241 | 0 | 0 | 0 |1072 | 0 | 0.000000e+00 | -- | Inf 1058.78/1059.12 c 1054s|250000 |249803 | 0 | 0.0 | 89M|6968 | - |8190 | 263 | 0 | 0 | 0 |1102 | 0 | 0.000000e+00 | -- | Inf 1099.67/1100.09 c 1095s|260000 |259800 | 0 | 0.0 | 92M|6976 | - |8190 | 268 | 0 | 0 | 0 |1122 | 0 | 0.000000e+00 | -- | Inf 1146.55/1146.98 c 1142s|270000 |269794 | 0 | 0.0 | 94M|6976 | - |8190 | 239 | 0 | 0 | 0 |1126 | 0 | 0.000000e+00 | -- | Inf 1189.34/1189.79 c 1184s|280000 |279789 | 0 | 0.0 | 97M|6976 | - |8190 | 238 | 0 | 0 | 0 |1129 | 0 | 0.000000e+00 | -- | Inf 1234.63/1235.05 c 1229s|290000 |289781 | 0 | 0.0 | 100M|6976 | - |8190 | 248 | 0 | 0 | 0 |1144 | 0 | 0.000000e+00 | -- | Inf 1278.61/1279.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1278.61/1279.00 c 1273s|300000 |299776 | 0 | 0.0 | 102M|6976 | - |8190 | 244 | 0 | 0 | 0 |1154 | 0 | 0.000000e+00 | -- | Inf 1322.80/1323.28 c 1317s|310000 |309766 | 0 | 0.0 | 105M|6976 | - |8190 | 252 | 0 | 0 | 0 |1181 | 0 | 0.000000e+00 | -- | Inf 1366.68/1367.13 c 1361s|320000 |319759 | 0 | 0.0 | 108M|6976 | - |8190 | 264 | 0 | 0 | 0 |1199 | 0 | 0.000000e+00 | -- | Inf 1411.46/1411.93 c 1405s|330000 |329725 | 0 | 0.0 | 111M|6976 | - |8190 | 284 | 0 | 0 | 0 |1262 | 0 | 0.000000e+00 | -- | Inf 1455.55/1456.02 c 1449s|340000 |339722 | 0 | 0.0 | 113M|6976 | - |8190 | 291 | 0 | 0 | 0 |1279 | 0 | 0.000000e+00 | -- | Inf 1500.14/1500.67 c 1494s|350000 |349714 | 0 | 0.0 | 116M|6976 | - |8190 | 289 | 0 | 0 | 0 |1308 | 0 | 0.000000e+00 | -- | Inf 1543.83/1544.36 c 1537s|360000 |359709 | 0 | 0.0 | 119M|6976 | - |8190 | 270 | 0 | 0 | 0 |1320 | 0 | 0.000000e+00 | -- | Inf 1588.61/1589.15 c 1582s|370000 |369701 | 0 | 0.0 | 121M|6976 | - |8190 | 294 | 0 | 0 | 0 |1370 | 0 | 0.000000e+00 | -- | Inf 1633.00/1633.57 c 1626s|380000 |379691 | 0 | 0.0 | 124M|6976 | - |8190 | 287 | 0 | 0 | 0 |1389 | 0 | 0.000000e+00 | -- | Inf 1678.18/1678.70 c 1671s|390000 |389681 | 0 | 0.0 | 127M|6976 | - |8190 | 284 | 0 | 0 | 0 |1433 | 0 | 0.000000e+00 | -- | Inf 1722.18/1722.70 c 1715s|400000 |399673 | 0 | 0.0 | 130M|6976 | - |8190 | 288 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | -- | Inf 1767.56/1768.17 c 1760s|410000 |409659 | 0 | 0.0 | 133M|6976 | - |8190 | 308 | 0 | 0 | 0 |1531 | 0 | 0.000000e+00 | -- | Inf 1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.61 c 1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.61 c Solving Time (sec) : 1792.23 1800.06/1800.61 c Solving Nodes : 417309 1800.06/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.06/1800.61 c Dual Bound : +0.00000000000000e+00 1800.06/1800.61 c Gap : infinite 1800.06/1800.61 s UNKNOWN 1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.61 c Solving Time : 1792.23 1800.06/1800.61 c Original Problem : 1800.06/1800.61 c Problem name : HOME/instance-2664735-1276578201.opb 1800.06/1800.61 c Variables : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.61 c Constraints : 181 initial, 181 maximal 1800.06/1800.61 c Presolved Problem : 1800.06/1800.61 c Problem name : t_HOME/instance-2664735-1276578201.opb 1800.06/1800.61 c Variables : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.61 c Constraints : 181 initial, 341 maximal 1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.61 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.61 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.61 c root node : - 0 - - 0 - - - - 1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0 1800.06/1800.61 c setppc : 90 0 428835 0 417181 162 149770 0 0 0 1800.06/1800.61 c logicor : 91+ 0 40290 0 417181 43 6581 0 0 0 1800.06/1800.61 c countsols : 0 0 0 0 417181 0 0 0 0 0 1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.61 c setppc : 367.84 0.00 15.45 0.00 352.39 1800.06/1800.61 c logicor : 230.98 0.00 3.75 0.00 227.23 1800.06/1800.61 c countsols : 0.36 0.00 0.00 0.00 0.36 1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.61 c vbounds : 0.29 1 0 0 1800.06/1800.61 c rootredcost : 0.48 0 0 0 1800.06/1800.61 c pseudoobj : 0.26 0 0 0 1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.61 c propagation : 14.74 205 205 11229 794.5 1 351.0 - 1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.61 c applied globally : - - - 1543 387.6 - - - 1800.06/1800.61 c applied locally : - - - 8 1068.2 - - - 1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.06/1800.61 c redcost : 0.00 0 0 0 0 0 1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0 1800.06/1800.61 c intobj : 0.00 0 0 0 0 0 1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.61 c gomory : 0.00 0 0 0 0 0 1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0 1800.06/1800.61 c cmir : 0.00 0 0 0 0 0 1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.06/1800.61 c clique : 0.00 0 0 0 0 0 1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.61 c mcf : 0.00 0 0 0 0 0 1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0 1800.06/1800.61 c Pricers : Time Calls Vars 1800.06/1800.61 c problem variables: 0.00 0 0 1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0 1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.61 c inference : 1164.56 417181 0 0 0 0 834362 1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.61 c random : 0.00 0 0 0 0 0 0 1800.06/1800.61 c Primal Heuristics : Time Calls Found 1800.06/1800.61 c LP solutions : 0.00 - 0 1800.06/1800.61 c pseudo solutions : 0.00 - 0 1800.06/1800.61 c trivial : 0.01 1 0 1800.06/1800.61 c simplerounding : 0.00 0 0 1800.06/1800.61 c zirounding : 0.00 0 0 1800.06/1800.61 c rounding : 0.00 0 0 1800.06/1800.61 c shifting : 0.00 0 0 1800.06/1800.61 c intshifting : 0.00 0 0 1800.06/1800.61 c oneopt : 0.00 0 0 1800.06/1800.61 c twoopt : 0.00 0 0 1800.06/1800.61 c fixandinfer : 0.00 0 0 1800.06/1800.61 c feaspump : 0.00 0 0 1800.06/1800.61 c coefdiving : 0.00 0 0 1800.06/1800.61 c pscostdiving : 0.00 0 0 1800.06/1800.61 c fracdiving : 0.00 0 0 1800.06/1800.61 c veclendiving : 0.00 0 0 1800.06/1800.61 c intdiving : 0.00 0 0 1800.06/1800.61 c actconsdiving : 0.00 0 0 1800.06/1800.61 c objpscostdiving : 0.00 0 0 1800.06/1800.61 c rootsoldiving : 0.00 0 0 1800.06/1800.61 c linesearchdiving : 0.00 0 0 1800.06/1800.61 c guideddiving : 0.00 0 0 1800.06/1800.61 c octane : 0.00 0 0 1800.06/1800.61 c rens : 0.00 0 0 1800.06/1800.61 c rins : 0.00 0 0 1800.06/1800.61 c localbranching : 0.00 0 0 1800.06/1800.61 c mutation : 0.00 0 0 1800.06/1800.61 c crossover : 0.00 0 0 1800.06/1800.61 c dins : 0.00 0 0 1800.06/1800.61 c undercover : 0.00 0 0 1800.06/1800.61 c nlp : 0.00 0 0 1800.06/1800.61 c trysol : 0.00 0 0 1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.06/1800.61 c dual LP : 0.00 0 0 0.00 - 1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.06/1800.61 c strong branching : 0.00 0 0 0.00 - 1800.06/1800.61 c (at root node) : - 0 0 0.00 - 1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.61 c B&B Tree : 1800.06/1800.61 c number of runs : 1 1800.06/1800.61 c nodes : 417309 1800.06/1800.61 c nodes (total) : 417309 1800.06/1800.61 c nodes left : 416965 1800.06/1800.61 c max depth : 6976 1800.06/1800.61 c max depth (total): 6976 1800.06/1800.61 c backtracks : 82 (0.0%) 1800.06/1800.61 c delayed cutoffs : 89 1800.06/1800.61 c repropagations : 851 (3110 domain reductions, 77 cutoffs) 1800.06/1800.61 c avg switch length: 2.12 1800.06/1800.61 c switching time : 7.86 1800.06/1800.61 c Solution : 1800.06/1800.61 c Solutions found : 0 (0 improvements) 1800.06/1800.61 c Primal Bound : - 1800.06/1800.61 c Dual Bound : +0.00000000000000e+00 1800.06/1800.61 c Gap : infinite 1800.06/1800.61 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.61 c Root Iterations : 0 1800.45/1801.06 c Time complete: 1800.51.
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-2664735-1276578201/watcher-2664735-1276578201 -o /tmp/evaluation-result-2664735-1276578201/solver-2664735-1276578201 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664735-1276578201.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.29 1.09 1.02 3/106 3076 /proc/meminfo: memFree=1850652/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=6584 CPUtime=0 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 913 0 0 0 0 0 0 0 20 0 1 0 33421449 6742016 835 1992294400 4194304 7136930 140735692677648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3076/statm: 1646 845 254 719 0 925 0 [startup+0.0818041 s] /proc/loadavg: 1.29 1.09 1.02 3/106 3076 /proc/meminfo: memFree=1850652/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=24672 CPUtime=0.08 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 6030 0 0 0 6 2 0 0 20 0 1 0 33421449 25264128 5598 1992294400 4194304 7136930 140735692677648 18446744073709551615 4461481 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 6168 5598 282 719 0 5447 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 24672 [startup+0.100806 s] /proc/loadavg: 1.29 1.09 1.02 3/106 3076 /proc/meminfo: memFree=1850652/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=26728 CPUtime=0.09 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 6556 0 0 0 7 2 0 0 20 0 1 0 33421449 27369472 6124 1992294400 4194304 7136930 140735692677648 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 6682 6124 302 719 0 5961 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26728 [startup+0.300825 s] /proc/loadavg: 1.29 1.09 1.02 3/106 3076 /proc/meminfo: memFree=1850652/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=32076 CPUtime=0.29 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 8947 0 0 0 27 2 0 0 20 0 1 0 33421449 32845824 7160 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 8019 7160 374 719 0 7298 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32076 [startup+0.700862 s] /proc/loadavg: 1.29 1.09 1.02 3/106 3076 /proc/meminfo: memFree=1850652/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=32076 CPUtime=0.69 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 8948 0 0 0 66 3 0 0 21 0 1 0 33421449 32845824 7161 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 8019 7161 375 719 0 7298 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32076 [startup+1.50094 s] /proc/loadavg: 1.29 1.09 1.02 2/107 3077 /proc/meminfo: memFree=1823116/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=32340 CPUtime=1.49 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 9011 0 0 0 146 3 0 0 23 0 1 0 33421449 33116160 7224 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 8085 7224 375 719 0 7364 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32340 [startup+3.10109 s] /proc/loadavg: 1.29 1.09 1.02 2/107 3077 /proc/meminfo: memFree=1822620/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=32600 CPUtime=3.09 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 9096 0 0 0 305 4 0 0 25 0 1 0 33421449 33382400 7309 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 8150 7309 375 719 0 7429 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32600 [startup+6.30138 s] /proc/loadavg: 1.27 1.09 1.02 2/107 3077 /proc/meminfo: memFree=1821628/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=33408 CPUtime=6.29 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 9271 0 0 0 624 5 0 0 25 0 1 0 33421449 34209792 7484 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 8352 7484 375 719 0 7631 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33408 [startup+12.701 s] /proc/loadavg: 1.25 1.09 1.02 2/107 3077 /proc/meminfo: memFree=1820140/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=34848 CPUtime=12.68 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 9633 0 0 0 1259 9 0 0 25 0 1 0 33421449 35684352 7846 1992294400 4194304 7136930 140735692677648 18446744073709551615 5005205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 8712 7846 375 719 0 7991 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34848 [startup+25.5012 s] /proc/loadavg: 1.19 1.08 1.02 2/107 3077 /proc/meminfo: memFree=1817164/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=37728 CPUtime=25.48 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 10382 0 0 0 2532 16 0 0 25 0 1 0 33421449 38633472 8593 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 9432 8593 379 719 0 8711 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37728 [startup+51.1006 s] /proc/loadavg: 1.12 1.08 1.02 2/107 3079 /proc/meminfo: memFree=1813444/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=41296 CPUtime=51.06 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 11312 0 0 0 5078 28 0 0 25 0 1 0 33421449 42287104 9523 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 10324 9523 379 719 0 9603 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 41296 [startup+102.308 s] /proc/loadavg: 1.05 1.06 1.01 2/107 3079 /proc/meminfo: memFree=1808856/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=45616 CPUtime=102.26 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 12441 0 0 0 10178 48 0 0 25 0 1 0 33421449 46710784 10652 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 11404 10652 379 719 0 10683 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45616 [startup+162.301 s] /proc/loadavg: 1.02 1.05 1.00 2/107 3081 /proc/meminfo: memFree=1801292/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=53004 CPUtime=162.23 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 14308 0 0 0 16148 75 0 0 25 0 1 0 33421449 54276096 12519 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 13251 12519 379 719 0 12530 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 53004 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.00 2/107 3083 /proc/meminfo: memFree=1796084/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=57968 CPUtime=222.21 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 15628 0 0 0 22118 103 0 0 25 0 1 0 33421449 59359232 13839 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 14492 13839 379 719 0 13771 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 57968 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 3085 /proc/meminfo: memFree=1790628/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=65192 CPUtime=282.2 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 16968 0 0 0 28088 132 0 0 25 0 1 0 33421449 66756608 15179 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 16298 15179 379 719 0 15577 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 65192 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3087 /proc/meminfo: memFree=1785544/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=69992 CPUtime=342.18 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 18213 0 0 0 34060 158 0 0 25 0 1 0 33421449 71671808 16424 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 17498 16424 379 719 0 16777 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 69992 [startup+402.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3087 /proc/meminfo: memFree=1780460/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=74880 CPUtime=402.16 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 19485 0 0 0 40031 185 0 0 25 0 1 0 33421449 76677120 17696 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 18720 17696 379 719 0 17999 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 74880 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 3089 /proc/meminfo: memFree=1776492/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=78652 CPUtime=462.14 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 20471 0 0 0 46003 211 0 0 25 0 1 0 33421449 80539648 18682 1992294400 4194304 7136930 140735692677648 18446744073709551615 4740327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 19663 18682 379 719 0 18942 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 78652 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3091 /proc/meminfo: memFree=1771532/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=83192 CPUtime=522.13 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 21674 0 0 0 51976 237 0 0 25 0 1 0 33421449 85188608 19885 1992294400 4194304 7136930 140735692677648 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 20798 19885 379 719 0 20077 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 83192 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3093 /proc/meminfo: memFree=1766076/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=88320 CPUtime=582.11 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 23020 0 0 0 57950 261 0 0 25 0 1 0 33421449 90439680 21231 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 22080 21231 379 719 0 21359 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 88320 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3098 /proc/meminfo: memFree=1760188/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=93288 CPUtime=642.11 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 24293 0 0 0 63923 288 0 0 25 0 1 0 33421449 95526912 22501 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 23322 22501 379 719 0 22601 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 93288 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3104 /proc/meminfo: memFree=1745060/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=111576 CPUtime=882.03 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 28073 0 0 0 87818 385 0 0 25 0 1 0 33421449 114253824 26281 1992294400 4194304 7136930 140735692677648 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 27894 26281 379 719 0 27173 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 111576 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3106 /proc/meminfo: memFree=1741588/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=114980 CPUtime=942.01 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 28968 0 0 0 93789 412 0 0 25 0 1 0 33421449 117739520 27176 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 28745 27176 379 719 0 28024 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 114980 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3106 /proc/meminfo: memFree=1736132/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=120252 CPUtime=1001.99 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 30334 0 0 0 99762 437 0 0 25 0 1 0 33421449 123138048 28542 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 30063 28542 379 719 0 29342 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 120252 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3108 /proc/meminfo: memFree=1729312/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=126920 CPUtime=1061.98 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 32038 0 0 0 105736 462 0 0 25 0 1 0 33421449 129966080 30246 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 31730 30246 379 719 0 31009 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 126920 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3110 /proc/meminfo: memFree=1725220/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=130864 CPUtime=1121.96 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 33060 0 0 0 111710 486 0 0 25 0 1 0 33421449 134004736 31268 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 32716 31268 379 719 0 31995 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 130864 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3112 /proc/meminfo: memFree=1718028/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=138084 CPUtime=1181.94 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 34878 0 0 0 117682 512 0 0 25 0 1 0 33421449 141398016 33086 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 34521 33086 379 719 0 33800 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 138084 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3114 /proc/meminfo: memFree=1712076/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=143736 CPUtime=1241.92 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 36299 0 0 0 123653 539 0 0 25 0 1 0 33421449 147185664 34507 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 35934 34507 379 719 0 35213 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 143736 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3114 /proc/meminfo: memFree=1706620/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=148940 CPUtime=1301.91 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 37635 0 0 0 129627 564 0 0 25 0 1 0 33421449 152514560 35843 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 37235 35843 379 719 0 36514 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 148940 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3116 /proc/meminfo: memFree=1701784/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=154032 CPUtime=1361.89 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 38953 0 0 0 135597 592 0 0 25 0 1 0 33421449 157728768 37161 1992294400 4194304 7136930 140735692677648 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 38508 37161 379 719 0 37787 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 154032 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3118 /proc/meminfo: memFree=1694716/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=160604 CPUtime=1421.87 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 40616 0 0 0 141568 619 0 0 25 0 1 0 33421449 164458496 38824 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 40151 38824 379 719 0 39430 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 160604 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3120 /proc/meminfo: memFree=1690500/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=164616 CPUtime=1481.85 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 41660 0 0 0 147541 644 0 0 25 0 1 0 33421449 168566784 39868 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 41154 39868 379 719 0 40433 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 164616 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3122 /proc/meminfo: memFree=1685540/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=169624 CPUtime=1541.82 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 42912 0 0 0 153510 672 0 0 25 0 1 0 33421449 173694976 41120 1992294400 4194304 7136930 140735692677648 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 42406 41120 379 719 0 41685 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 169624 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3122 /proc/meminfo: memFree=1681696/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=173252 CPUtime=1601.8 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 43861 0 0 0 159484 696 0 0 25 0 1 0 33421449 177410048 42069 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 43313 42069 379 719 0 42592 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 173252 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3124 /proc/meminfo: memFree=1676116/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=178588 CPUtime=1661.79 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 45228 0 0 0 165456 723 0 0 25 0 1 0 33421449 182874112 43436 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 44647 43436 379 719 0 43926 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 178588 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3126 /proc/meminfo: memFree=1672148/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=182396 CPUtime=1721.78 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 46205 0 0 0 171431 747 0 0 25 0 1 0 33421449 186773504 44413 1992294400 4194304 7136930 140735692677648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 45599 44413 379 719 0 44878 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 182396 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3128 /proc/meminfo: memFree=1667312/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=187144 CPUtime=1781.75 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 47440 0 0 0 177402 773 0 0 25 0 1 0 33421449 191635456 45648 1992294400 4194304 7136930 140735692677648 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 46786 45648 379 719 0 46065 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 187144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3128 /proc/meminfo: memFree=1666196/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=187796 CPUtime=1800.06 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 47628 0 0 0 179227 779 0 0 25 0 1 0 33421449 192303104 45836 1992294400 4194304 7136930 140735692677648 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3076/statm: 46949 45836 379 719 0 46228 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 187796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3128 /proc/meminfo: memFree=1666196/2059040 swapFree=4135900/4192956 [pid=3076] ppid=3074 vsize=143908 CPUtime=1800.45 /proc/3076/stat : 3076 (pbscip.linux.x8) R 3074 3076 2782 0 -1 4202496 47777 0 0 0 179265 780 0 0 25 0 1 0 33421449 147361792 34884 1992294400 4194304 7136930 140735692677648 18446744073709551615 6165643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3076/statm: 35977 34884 384 719 0 35256 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 143908 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.52 CPU user time (s): 1792.7 CPU system time (s): 7.82781 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 187796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.7 system time used= 7.82781 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47786 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= 2 involuntary context switches= 14622 runsolver used 3.06153 second user time and 8.42672 second system time The end
Begin job on node015 at 2010-06-15 07:03:21 IDJOB=2664735 IDBENCH=2584 IDSOLVER=1167 FILE ID=node015/2664735-1276578201 PBS_JOBID= 11173527 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.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-2664735-1276578201/watcher-2664735-1276578201 -o /tmp/evaluation-result-2664735-1276578201/solver-2664735-1276578201 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664735-1276578201.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fff7b3dc5d07bd6a4fd3046b5e5241f1 RANDOM SEED=26600808 node015.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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851056 kB Buffers: 26296 kB Cached: 102892 kB SwapCached: 10696 kB Active: 28492 kB Inactive: 114172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851056 kB SwapTotal: 4192956 kB SwapFree: 4135900 kB Dirty: 3620 kB Writeback: 0 kB AnonPages: 11928 kB Mapped: 9304 kB Slab: 43356 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180084 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= 62580 MiB End job on node015 at 2010-06-15 07:33:24