Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.33 | 1800.78 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb |
MD5SUM | 321349c7a7114538010c83c600c72ae9 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 96.1494 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 8281 |
Total number of constraints | 826 |
Number of constraints which are clauses | 364 |
Number of constraints which are cardinality constraints (but not clauses) | 462 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 91 |
Maximum length of a constraint | 169 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 171 |
Number of bits of the biggest sum of numbers | 8 |
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-2664264-1276268857.opb> 0.09/0.17 c original problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 826 constraints 0.09/0.17 c problem read 0.09/0.17 c No objective function, only one solution is needed. 0.09/0.17 c presolving settings loaded 0.09/0.17 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.19/0.29 c presolving: 0.49/0.58 c (round 1) 0 del vars, 364 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 0 impls, 364 clqs 0.79/0.86 c (round 2) 0 del vars, 364 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 462 upgd conss, 0 impls, 364 clqs 0.89/0.92 c presolving (3 rounds): 0.89/0.92 c 0 deleted vars, 364 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.89/0.92 c 0 implications, 364 cliques 0.89/0.92 c presolved problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 462 constraints 0.89/0.92 c 98 constraints of type <knapsack> 0.89/0.92 c 364 constraints of type <setppc> 0.89/0.92 c transformed objective value is always integral (scale: 1) 0.89/0.92 c Presolving Time: 0.66 0.89/0.92 c - non default parameters ---------------------------------------------------------------------- 0.89/0.92 c # SCIP version 1.2.1.2 0.89/0.92 c 0.89/0.92 c # frequency for displaying node information lines 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 100] 0.89/0.92 c display/freq = 10000 0.89/0.92 c 0.89/0.92 c # maximal time in seconds to run 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.89/0.92 c limits/time = 1799.84 0.89/0.92 c 0.89/0.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.89/0.92 c limits/memory = 1620 0.89/0.92 c 0.89/0.92 c # solving stops, if the given number of solutions were found (-1: no limit) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: -1] 0.89/0.92 c limits/solutions = 1 0.89/0.92 c 0.89/0.92 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.92 c lp/solvefreq = -1 0.89/0.92 c 0.89/0.92 c # maximal number of separation rounds per node (-1: unlimited) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 5] 0.89/0.92 c separating/maxrounds = 1 0.89/0.92 c 0.89/0.92 c # maximal number of separation rounds in the root node (-1: unlimited) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: -1] 0.89/0.92 c separating/maxroundsroot = 5 0.89/0.92 c 0.89/0.92 c # should presolving try to simplify inequalities 0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.89/0.92 c constraints/linear/simplifyinequalities = TRUE 0.89/0.92 c 0.89/0.92 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.89/0.92 c constraints/knapsack/disaggregation = FALSE 0.89/0.92 c 0.89/0.92 c # should presolving try to simplify knapsacks 0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.89/0.92 c constraints/knapsack/simplifyinequalities = TRUE 0.89/0.92 c 0.89/0.92 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: -1] 0.89/0.92 c presolving/probing/maxrounds = 0 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/coefdiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.92 c heuristics/coefdiving/maxlpiterquot = 0.075 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/coefdiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 30] 0.89/0.92 c heuristics/crossover/freq = -1 0.89/0.92 c 0.89/0.92 c # number of nodes added to the contingent of the total nodes 0.89/0.92 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.89/0.92 c heuristics/crossover/nodesofs = 750 0.89/0.92 c 0.89/0.92 c # number of nodes without incumbent change that heuristic should wait 0.89/0.92 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.89/0.92 c heuristics/crossover/nwaitingnodes = 100 0.89/0.92 c 0.89/0.92 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.89/0.92 c # [type: real, range: [0,1], default: 0.1] 0.89/0.92 c heuristics/crossover/nodesquot = 0.15 0.89/0.92 c 0.89/0.92 c # minimum percentage of integer variables that have to be fixed 0.89/0.92 c # [type: real, range: [0,1], default: 0.666] 0.89/0.92 c heuristics/crossover/minfixingrate = 0.5 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 20] 0.89/0.92 c heuristics/feaspump/freq = -1 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/feaspump/maxlpiterofs = 2000 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/fracdiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.92 c heuristics/fracdiving/maxlpiterquot = 0.075 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/fracdiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/guideddiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.92 c heuristics/guideddiving/maxlpiterquot = 0.075 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/guideddiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.92 c heuristics/intdiving/maxlpiterquot = 0.075 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/intshifting/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/linesearchdiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.92 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.92 c heuristics/nlp/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 20] 0.89/0.92 c heuristics/objpscostdiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to total iteration number 0.89/0.92 c # [type: real, range: [0,1], default: 0.01] 0.89/0.92 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.92 c heuristics/oneopt/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/pscostdiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.92 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/pscostdiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 0] 0.89/0.92 c heuristics/rens/freq = -1 0.89/0.92 c 0.89/0.92 c # minimum percentage of integer variables that have to be fixable 0.89/0.92 c # [type: real, range: [0,1], default: 0.5] 0.89/0.92 c heuristics/rens/minfixingrate = 0.3 0.89/0.92 c 0.89/0.92 c # number of nodes added to the contingent of the total nodes 0.89/0.92 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.89/0.92 c heuristics/rens/nodesofs = 2000 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 20] 0.89/0.92 c heuristics/rootsoldiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.89/0.92 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.92 c heuristics/rounding/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/shifting/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.92 c heuristics/simplerounding/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 0] 0.89/0.92 c heuristics/trivial/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.92 c heuristics/trysol/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.92 c heuristics/veclendiving/freq = -1 0.89/0.92 c 0.89/0.92 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.92 c heuristics/veclendiving/maxlpiterquot = 0.075 0.89/0.92 c 0.89/0.92 c # additional number of allowed LP iterations 0.89/0.92 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.92 c heuristics/veclendiving/maxlpiterofs = 1500 0.89/0.92 c 0.89/0.92 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.92 c heuristics/zirounding/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 0] 0.89/0.92 c separating/cmir/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: 0] 0.89/0.92 c separating/flowcover/freq = -1 0.89/0.92 c 0.89/0.92 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.89/0.92 c # [type: int, range: [-1,2147483647], default: -1] 0.89/0.92 c separating/rapidlearning/freq = 0 0.89/0.92 c 0.89/0.92 c ----------------------------------------------------------------------------------------------- 0.89/0.92 c start solving 0.89/0.93 c 0.89/0.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.89/0.94 c 0.7s| 1 | 2 | 0 | - | 25M| 0 | - |8281 | 462 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 67.56/67.63 c 67.2s| 10000 | 9994 | 0 | 0.0 | 30M|4560 | - |8281 | 489 | 0 | 0 | 0 | 27 | 0 | 0.000000e+00 | -- | Inf 142.35/142.44 c 142s| 20000 | 19957 | 0 | 0.0 | 34M|4560 | - |8281 | 625 | 0 | 0 | 0 | 163 | 0 | 0.000000e+00 | -- | Inf 228.24/228.33 c 227s| 30000 | 29773 | 0 | 0.0 | 38M|4560 | - |8281 | 769 | 0 | 0 | 0 | 307 | 0 | 0.000000e+00 | -- | Inf 315.63/315.75 c 315s| 40000 | 39744 | 0 | 0.0 | 41M|4560 | - |8281 | 864 | 0 | 0 | 0 | 402 | 0 | 0.000000e+00 | -- | Inf 401.60/401.79 c 400s| 50000 | 49716 | 0 | 0.0 | 45M|4560 | - |8281 | 938 | 0 | 0 | 0 | 516 | 0 | 0.000000e+00 | -- | Inf 488.08/488.26 c 487s| 60000 | 59689 | 0 | 0.0 | 48M|4560 | - |8281 | 999 | 0 | 0 | 0 | 616 | 0 | 0.000000e+00 | -- | Inf 572.16/572.32 c 571s| 70000 | 69663 | 0 | 0.0 | 51M|4560 | - |8281 |1059 | 0 | 0 | 0 | 698 | 0 | 0.000000e+00 | -- | Inf 658.64/658.82 c 657s| 80000 | 79637 | 0 | 0.0 | 55M|4560 | - |8281 |1123 | 0 | 0 | 0 | 782 | 0 | 0.000000e+00 | -- | Inf 743.20/743.49 c 741s| 90000 | 89607 | 0 | 0.0 | 58M|4560 | - |8281 |1189 | 0 | 0 | 0 | 860 | 0 | 0.000000e+00 | -- | Inf 829.09/829.34 c 827s|100000 | 99581 | 0 | 0.0 | 61M|4560 | - |8281 |1260 | 0 | 0 | 0 | 946 | 0 | 0.000000e+00 | -- | Inf 911.67/911.93 c 909s|110000 |109557 | 0 | 0.0 | 65M|4560 | - |8281 |1337 | 0 | 0 | 0 |1051 | 0 | 0.000000e+00 | -- | Inf 997.14/997.41 c 994s|120000 |119540 | 0 | 0.0 | 68M|4560 | - |8281 |1362 | 0 | 0 | 0 |1118 | 0 | 0.000000e+00 | -- | Inf 1081.03/1081.32 c 1078s|130000 |129520 | 0 | 0.0 | 71M|4560 | - |8281 |1420 | 0 | 0 | 0 |1202 | 0 | 0.000000e+00 | -- | Inf 1166.50/1166.88 c 1163s|140000 |139497 | 0 | 0.0 | 75M|4560 | - |8281 |1445 | 0 | 0 | 0 |1278 | 0 | 0.000000e+00 | -- | Inf 1253.38/1253.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1253.38/1253.71 c 1250s|150000 |149489 | 0 | 0.0 | 77M|4560 | - |8281 |1427 | 0 | 0 | 0 |1291 | 0 | 0.000000e+00 | -- | Inf 1338.96/1339.32 c 1335s|160000 |159467 | 0 | 0.0 | 81M|4560 | - |8281 |1449 | 0 | 0 | 0 |1360 | 0 | 0.000000e+00 | -- | Inf 1421.24/1421.62 c 1417s|170000 |169442 | 0 | 0.0 | 84M|4560 | - |8281 |1529 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | -- | Inf 1506.71/1507.15 c 1503s|180000 |179419 | 0 | 0.0 | 87M|4560 | - |8281 |1566 | 0 | 0 | 0 |1542 | 0 | 0.000000e+00 | -- | Inf 1590.10/1590.54 c 1586s|190000 |189393 | 0 | 0.0 | 90M|4560 | - |8281 |1616 | 0 | 0 | 0 |1650 | 0 | 0.000000e+00 | -- | Inf 1672.78/1673.27 c 1668s|200000 |199373 | 0 | 0.0 | 94M|4560 | - |8281 |1653 | 0 | 0 | 0 |1718 | 0 | 0.000000e+00 | -- | Inf 1754.16/1754.61 c 1750s|210000 |209343 | 0 | 0.0 | 97M|4560 | - |8281 |1722 | 0 | 0 | 0 |1831 | 0 | 0.000000e+00 | -- | Inf 1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.51 c 1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.51 c Solving Time (sec) : 1795.27 1800.05/1800.51 c Solving Nodes : 215533 1800.05/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.05/1800.51 c Dual Bound : +0.00000000000000e+00 1800.05/1800.51 c Gap : infinite 1800.05/1800.51 s UNKNOWN 1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.51 c Solving Time : 1795.27 1800.05/1800.51 c Original Problem : 1800.05/1800.51 c Problem name : HOME/instance-2664264-1276268857.opb 1800.05/1800.51 c Variables : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.51 c Constraints : 826 initial, 826 maximal 1800.05/1800.51 c Presolved Problem : 1800.05/1800.51 c Problem name : t_HOME/instance-2664264-1276268857.opb 1800.05/1800.51 c Variables : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.51 c Constraints : 462 initial, 1755 maximal 1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.51 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.51 c knapsack : 0.21 0 0 0 0 0 0 0 0 1800.05/1800.51 c setppc : 0.05 0 0 0 0 0 0 0 0 1800.05/1800.51 c linear : 0.30 0 0 0 0 0 364 0 0 1800.05/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.51 c root node : - 0 - - 0 - - - - 1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0 1800.05/1800.51 c knapsack : 98 0 224999 0 215329 7 62460 0 0 0 1800.05/1800.51 c setppc : 364 0 224992 0 215329 291 254291 0 0 0 1800.05/1800.51 c logicor : 0+ 0 6438 0 0 3 225 0 0 0 1800.05/1800.51 c countsols : 0 0 0 0 215329 0 0 0 0 0 1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.51 c knapsack : 447.63 0.00 6.05 0.00 441.58 1800.05/1800.51 c setppc : 550.29 0.00 10.48 0.00 539.81 1800.05/1800.51 c logicor : 0.08 0.00 0.08 0.00 0.00 1800.05/1800.51 c countsols : 0.17 0.00 0.00 0.00 0.17 1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.51 c vbounds : 0.23 1 0 0 1800.05/1800.51 c rootredcost : 0.16 0 0 0 1800.05/1800.51 c pseudoobj : 0.13 0 0 0 1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.51 c propagation : 1.65 301 301 3265 387.6 101 129.0 - 1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.51 c applied globally : - - - 1872 226.0 - - - 1800.05/1800.51 c applied locally : - - - 0 0.0 - - - 1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.05/1800.51 c redcost : 0.00 0 0 0 0 0 1800.05/1800.51 c impliedbounds : 0.00 0 0 0 0 0 1800.05/1800.51 c intobj : 0.00 0 0 0 0 0 1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.51 c gomory : 0.00 0 0 0 0 0 1800.05/1800.51 c strongcg : 0.00 0 0 0 0 0 1800.05/1800.51 c cmir : 0.00 0 0 0 0 0 1800.05/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.05/1800.51 c clique : 0.00 0 0 0 0 0 1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.51 c mcf : 0.00 0 0 0 0 0 1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0 1800.05/1800.51 c Pricers : Time Calls Vars 1800.05/1800.51 c problem variables: 0.00 0 0 1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.51 c relpscost : 0.00 0 0 0 0 0 0 1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.51 c inference : 779.78 215329 0 0 0 0 430658 1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.51 c random : 0.00 0 0 0 0 0 0 1800.05/1800.51 c Primal Heuristics : Time Calls Found 1800.05/1800.51 c LP solutions : 0.00 - 0 1800.05/1800.51 c pseudo solutions : 0.00 - 0 1800.05/1800.51 c trivial : 0.01 1 0 1800.05/1800.51 c simplerounding : 0.00 0 0 1800.05/1800.51 c zirounding : 0.00 0 0 1800.05/1800.51 c rounding : 0.00 0 0 1800.05/1800.51 c shifting : 0.00 0 0 1800.05/1800.51 c intshifting : 0.00 0 0 1800.05/1800.51 c oneopt : 0.00 0 0 1800.05/1800.51 c twoopt : 0.00 0 0 1800.05/1800.51 c fixandinfer : 0.00 0 0 1800.05/1800.51 c feaspump : 0.00 0 0 1800.05/1800.51 c coefdiving : 0.00 0 0 1800.05/1800.51 c pscostdiving : 0.00 0 0 1800.05/1800.51 c fracdiving : 0.00 0 0 1800.05/1800.51 c veclendiving : 0.00 0 0 1800.05/1800.51 c intdiving : 0.00 0 0 1800.05/1800.51 c actconsdiving : 0.00 0 0 1800.05/1800.51 c objpscostdiving : 0.00 0 0 1800.05/1800.51 c rootsoldiving : 0.00 0 0 1800.05/1800.51 c linesearchdiving : 0.00 0 0 1800.05/1800.51 c guideddiving : 0.00 0 0 1800.05/1800.51 c octane : 0.00 0 0 1800.05/1800.51 c rens : 0.00 0 0 1800.05/1800.51 c rins : 0.00 0 0 1800.05/1800.51 c localbranching : 0.00 0 0 1800.05/1800.51 c mutation : 0.00 0 0 1800.05/1800.51 c crossover : 0.00 0 0 1800.05/1800.51 c dins : 0.00 0 0 1800.05/1800.51 c undercover : 0.00 0 0 1800.05/1800.51 c nlp : 0.00 0 0 1800.05/1800.51 c trysol : 0.00 0 0 1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.51 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.51 c dual LP : 0.00 0 0 0.00 - 1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.05/1800.51 c strong branching : 0.00 0 0 0.00 - 1800.05/1800.51 c (at root node) : - 0 0 0.00 - 1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.51 c B&B Tree : 1800.05/1800.51 c number of runs : 1 1800.05/1800.51 c nodes : 215533 1800.05/1800.51 c nodes (total) : 215533 1800.05/1800.51 c nodes left : 214866 1800.05/1800.51 c max depth : 4560 1800.05/1800.51 c max depth (total): 4560 1800.05/1800.51 c backtracks : 115 (0.1%) 1800.05/1800.51 c delayed cutoffs : 260 1800.05/1800.51 c repropagations : 4772 (29577 domain reductions, 97 cutoffs) 1800.05/1800.51 c avg switch length: 2.17 1800.05/1800.51 c switching time : 5.42 1800.05/1800.51 c Solution : 1800.05/1800.51 c Solutions found : 0 (0 improvements) 1800.05/1800.51 c Primal Bound : - 1800.05/1800.51 c Dual Bound : +0.00000000000000e+00 1800.05/1800.51 c Gap : infinite 1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.51 c Root Iterations : 0 1800.25/1800.78 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-2664264-1276268857/watcher-2664264-1276268857 -o /tmp/evaluation-result-2664264-1276268857/solver-2664264-1276268857 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664264-1276268857.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.96 3/106 5403 /proc/meminfo: memFree=1501376/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=7612 CPUtime=0 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 1167 0 0 0 0 0 0 0 18 0 1 0 542051 7794688 1089 1992294400 4194304 7136930 140736559751984 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5403/statm: 1903 1100 254 719 0 1182 0 [startup+0.0585039 s] /proc/loadavg: 0.85 0.97 0.96 3/106 5403 /proc/meminfo: memFree=1501376/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=15320 CPUtime=0.05 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 3324 0 0 0 4 1 0 0 20 0 1 0 542051 15687680 3246 1992294400 4194304 7136930 140736559751984 18446744073709551615 6303907 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5403/statm: 3830 3246 268 719 0 3109 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15320 [startup+0.101503 s] /proc/loadavg: 0.85 0.97 0.96 3/106 5403 /proc/meminfo: memFree=1501376/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=15872 CPUtime=0.09 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 3438 0 0 0 8 1 0 0 20 0 1 0 542051 16252928 3360 1992294400 4194304 7136930 140736559751984 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5403/statm: 3968 3360 268 719 0 3247 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15872 [startup+0.301498 s] /proc/loadavg: 0.85 0.97 0.96 3/106 5403 /proc/meminfo: memFree=1501376/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=37692 CPUtime=0.29 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 9056 0 0 0 26 3 0 0 20 0 1 0 542051 38596608 8624 1992294400 4194304 7136930 140736559751984 18446744073709551615 4929566 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 9423 8624 335 719 0 8702 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37692 [startup+0.70149 s] /proc/loadavg: 0.85 0.97 0.96 3/106 5403 /proc/meminfo: memFree=1501376/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=43716 CPUtime=0.69 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 11037 0 0 0 65 4 0 0 20 0 1 0 542051 44765184 10091 1992294400 4194304 7136930 140736559751984 18446744073709551615 6166837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 10929 10091 351 719 0 10208 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43716 [startup+1.50147 s] /proc/loadavg: 0.85 0.97 0.96 2/107 5404 /proc/meminfo: memFree=1459456/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=46328 CPUtime=1.49 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 13271 0 0 0 144 5 0 0 23 0 1 0 542051 47439872 10772 1992294400 4194304 7136930 140736559751984 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 11582 10772 380 719 0 10861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46328 [startup+3.10144 s] /proc/loadavg: 0.85 0.97 0.96 2/107 5404 /proc/meminfo: memFree=1459208/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=46856 CPUtime=3.09 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 13415 0 0 0 304 5 0 0 25 0 1 0 542051 47980544 10916 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 11714 10916 381 719 0 10993 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46856 [startup+6.30136 s] /proc/loadavg: 0.86 0.97 0.96 2/107 5404 /proc/meminfo: memFree=1458216/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=47504 CPUtime=6.29 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 13577 0 0 0 623 6 0 0 25 0 1 0 542051 48644096 11078 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 11876 11078 381 719 0 11155 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47504 [startup+12.7002 s] /proc/loadavg: 0.87 0.97 0.96 2/107 5404 /proc/meminfo: memFree=1456852/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=48724 CPUtime=12.69 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 13894 0 0 0 1261 8 0 0 25 0 1 0 542051 49893376 11395 1992294400 4194304 7136930 140736559751984 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 12181 11395 381 719 0 11460 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48724 [startup+25.5009 s] /proc/loadavg: 0.90 0.97 0.96 2/107 5404 /proc/meminfo: memFree=1455736/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=50024 CPUtime=25.48 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 14204 0 0 0 2536 12 0 0 25 0 1 0 542051 51224576 11705 1992294400 4194304 7136930 140736559751984 18446744073709551615 4858882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 12506 11705 387 719 0 11785 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50024 [startup+51.1012 s] /proc/loadavg: 0.93 0.97 0.96 2/107 5404 /proc/meminfo: memFree=1454124/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=51572 CPUtime=51.09 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 14610 0 0 0 5088 21 0 0 25 0 1 0 542051 52809728 12111 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697674 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 12893 12111 387 719 0 12172 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 51572 [startup+102.309 s] /proc/loadavg: 0.97 0.97 0.96 2/107 5413 /proc/meminfo: memFree=1450776/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=54604 CPUtime=102.26 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 15384 0 0 0 10190 36 0 0 25 0 1 0 542051 55914496 12885 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 13651 12885 387 719 0 12930 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 54604 [startup+162.302 s] /proc/loadavg: 1.02 0.99 0.97 2/107 5415 /proc/meminfo: memFree=1445196/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=60176 CPUtime=162.25 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 16774 0 0 0 16172 53 0 0 25 0 1 0 542051 61620224 14275 1992294400 4194304 7136930 140736559751984 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 15044 14275 387 719 0 14323 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 60176 [startup+222.301 s] /proc/loadavg: 1.01 0.99 0.97 2/107 5417 /proc/meminfo: memFree=1442468/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=62936 CPUtime=222.24 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 17449 0 0 0 22155 69 0 0 25 0 1 0 542051 64446464 14950 1992294400 4194304 7136930 140736559751984 18446744073709551615 4643031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 15734 14950 387 719 0 15013 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 62936 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5417 /proc/meminfo: memFree=1440112/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=65320 CPUtime=282.23 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 18043 0 0 0 28141 82 0 0 25 0 1 0 542051 66887680 15544 1992294400 4194304 7136930 140736559751984 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 16330 15544 387 719 0 15609 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 65320 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5419 /proc/meminfo: memFree=1436888/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=68372 CPUtime=342.22 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 18814 0 0 0 34127 95 0 0 25 0 1 0 542051 70012928 16315 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 17093 16315 387 719 0 16372 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 68372 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5421 /proc/meminfo: memFree=1434160/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=71036 CPUtime=402.2 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 19481 0 0 0 40112 108 0 0 25 0 1 0 542051 72740864 16982 1992294400 4194304 7136930 140736559751984 18446744073709551615 4642986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 17759 16982 387 719 0 17038 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 71036 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5423 /proc/meminfo: memFree=1431804/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=73276 CPUtime=462.19 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 20047 0 0 0 46098 121 0 0 25 0 1 0 542051 75034624 17548 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 18319 17548 387 719 0 17598 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 73276 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5425 /proc/meminfo: memFree=1428828/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=76484 CPUtime=522.17 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 20823 0 0 0 52083 134 0 0 25 0 1 0 542051 78319616 18324 1992294400 4194304 7136930 140736559751984 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 19121 18324 387 719 0 18400 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 76484 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5425 /proc/meminfo: memFree=1426348/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=81180 CPUtime=582.15 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 21503 0 0 0 58067 148 0 0 25 0 1 0 542051 83128320 19004 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 20295 19004 387 719 0 19574 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 81180 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5434 /proc/meminfo: memFree=1423248/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=83140 CPUtime=642.14 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 22026 0 0 0 64050 164 0 0 25 0 1 0 542051 85135360 19527 1992294400 4194304 7136930 140736559751984 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 20785 19527 387 719 0 20064 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 83140 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5449 /proc/meminfo: memFree=1409732/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=96572 CPUtime=942.06 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 25409 0 0 0 93965 241 0 0 25 0 1 0 542051 98889728 22910 1992294400 4194304 7136930 140736559751984 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 24143 22910 387 719 0 23422 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 96572 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5451 /proc/meminfo: memFree=1406756/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=99400 CPUtime=1002.04 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 26160 0 0 0 99949 255 0 0 25 0 1 0 542051 101785600 23661 1992294400 4194304 7136930 140736559751984 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 24850 23661 387 719 0 24129 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 99400 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5453 /proc/meminfo: memFree=1404028/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=102176 CPUtime=1062.03 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 26846 0 0 0 105932 271 0 0 25 0 1 0 542051 104628224 24347 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 25544 24347 387 719 0 24823 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 102176 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5455 /proc/meminfo: memFree=1402044/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=104020 CPUtime=1122.01 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 27338 0 0 0 111915 286 0 0 25 0 1 0 542051 106516480 24839 1992294400 4194304 7136930 140736559751984 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 26005 24839 387 719 0 25284 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 104020 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5455 /proc/meminfo: memFree=1398820/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=107296 CPUtime=1182 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 28138 0 0 0 117899 301 0 0 25 0 1 0 542051 109871104 25639 1992294400 4194304 7136930 140736559751984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 26824 25639 387 719 0 26103 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 107296 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5457 /proc/meminfo: memFree=1396340/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=109500 CPUtime=1241.98 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 28692 0 0 0 123881 317 0 0 25 0 1 0 542051 112128000 26193 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 27375 26193 387 719 0 26654 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 109500 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/107 5459 /proc/meminfo: memFree=1393488/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=112324 CPUtime=1301.97 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 29410 0 0 0 129863 334 0 0 25 0 1 0 542051 115019776 26911 1992294400 4194304 7136930 140736559751984 18446744073709551615 4642105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 28081 26911 387 719 0 27360 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 112324 [startup+1362.3 s] /proc/loadavg: 1.08 1.00 0.97 2/107 5461 /proc/meminfo: memFree=1391504/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=114180 CPUtime=1361.95 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 29894 0 0 0 135847 348 0 0 25 0 1 0 542051 116920320 27395 1992294400 4194304 7136930 140736559751984 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 28545 27395 387 719 0 27824 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 114180 [startup+1422.31 s] /proc/loadavg: 1.03 1.00 0.97 2/107 5463 /proc/meminfo: memFree=1388156/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=117596 CPUtime=1421.94 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 30756 0 0 0 141831 363 0 0 25 0 1 0 542051 120418304 28257 1992294400 4194304 7136930 140736559751984 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 29399 28257 387 719 0 28678 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 117596 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 0.97 2/107 5463 /proc/meminfo: memFree=1385924/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=119792 CPUtime=1481.92 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 31299 0 0 0 147814 378 0 0 25 0 1 0 542051 122667008 28800 1992294400 4194304 7136930 140736559751984 18446744073709551615 4414772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 29948 28800 387 719 0 29227 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 119792 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 5465 /proc/meminfo: memFree=1383692/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=121744 CPUtime=1541.91 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 31823 0 0 0 153796 395 0 0 25 0 1 0 542051 124665856 29324 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 30436 29324 387 719 0 29715 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 121744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 5467 /proc/meminfo: memFree=1381088/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=124544 CPUtime=1601.89 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 32501 0 0 0 159778 411 0 0 25 0 1 0 542051 127533056 30002 1992294400 4194304 7136930 140736559751984 18446744073709551615 5892288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 31136 30002 387 719 0 30415 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 124544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 5469 /proc/meminfo: memFree=1376996/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=132688 CPUtime=1661.87 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 33523 0 0 0 165761 426 0 0 25 0 1 0 542051 135872512 31024 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 33172 31024 387 719 0 32451 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 132688 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 5471 /proc/meminfo: memFree=1374640/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=134836 CPUtime=1721.86 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 34059 0 0 0 171744 442 0 0 25 0 1 0 542051 138072064 31560 1992294400 4194304 7136930 140736559751984 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 33709 31560 387 719 0 32988 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 134836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 5471 /proc/meminfo: memFree=1371664/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=137372 CPUtime=1781.84 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 34730 0 0 0 177726 458 0 0 25 0 1 0 542051 140668928 32231 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 34343 32231 387 719 0 33622 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 137372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.97 2/107 5473 /proc/meminfo: memFree=1371044/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=138080 CPUtime=1800.05 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 34896 0 0 0 179542 463 0 0 25 0 1 0 542051 141393920 32397 1992294400 4194304 7136930 140736559751984 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5403/statm: 34520 32397 387 719 0 33799 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 138080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.97 2/108 5474 /proc/meminfo: memFree=1371036/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=138060 CPUtime=1800.16 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 34949 0 0 0 179553 463 0 0 25 0 1 0 542051 141373440 32415 1992294400 4194304 7136930 140736559751984 18446744073709551615 6165634 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5403/statm: 34515 32415 392 719 0 33794 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 138060 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/108 5474 /proc/meminfo: memFree=1371036/2059040 swapFree=4192956/4192956 [pid=5403] ppid=5401 vsize=129524 CPUtime=1800.25 /proc/5403/stat : 5403 (pbscip.linux.x8) R 5401 5403 2320 0 -1 4202496 34975 0 0 0 179562 463 0 0 25 0 1 0 542051 132632576 30281 1992294400 4194304 7136930 140736559751984 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5403/statm: 32381 30281 392 719 0 31660 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 129524 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.33 CPU user time (s): 1795.68 CPU system time (s): 4.64929 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 138080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.68 system time used= 4.64929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34984 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= 2683 runsolver used 3.09253 second user time and 8.39372 second system time The end
Begin job on node018 at 2010-06-11 17:07:37 IDJOB=2664264 IDBENCH=1156 IDSOLVER=1167 FILE ID=node018/2664264-1276268857 PBS_JOBID= 11172194 Free space on /tmp= 62292 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.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-2664264-1276268857/watcher-2664264-1276268857 -o /tmp/evaluation-result-2664264-1276268857/solver-2664264-1276268857 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664264-1276268857.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9 RANDOM SEED=1485342248 node018.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.248 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.49 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.248 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: 1501904 kB Buffers: 38780 kB Cached: 378916 kB SwapCached: 0 kB Active: 167832 kB Inactive: 308912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1501904 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4388 kB Writeback: 0 kB AnonPages: 59080 kB Mapped: 15388 kB Slab: 58600 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180020 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= 62288 MiB End job on node018 at 2010-06-11 17:37:40