Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.45 | 1801.89 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6013_2-unsat.opb |
MD5SUM | c3eb9faf1d58b30f1971366448425ca3 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 61.8236 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 12322 |
Total number of constraints | 38967 |
Number of constraints which are clauses | 38567 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 400 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 394 |
Number of bits of the biggest sum of numbers | 9 |
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.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.01 c 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c reading problem <HOME/instance-2685402-1278440860.opb> 0.69/0.70 c original problem has 12322 variables (12322 bin, 0 int, 0 impl, 0 cont) and 38967 constraints 0.69/0.70 c problem read 0.69/0.70 c No objective function, only one solution is needed. 0.69/0.70 c presolving settings loaded 0.69/0.70 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.89/0.92 c presolving: 2.79/2.88 c (round 1) 1928 del vars, 5359 del conss, 1269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2408864 impls, 0 clqs 3.79/3.85 c (round 2) 4896 del vars, 15276 del conss, 4027 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2423259 impls, 0 clqs 3.89/3.99 c (round 3) 5906 del vars, 20188 del conss, 4614 chg bounds, 13 chg sides, 17 chg coeffs, 0 upgd conss, 2427306 impls, 0 clqs 3.99/4.06 c (round 4) 6135 del vars, 21424 del conss, 4756 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2429143 impls, 0 clqs 4.09/4.10 c (round 5) 6238 del vars, 21835 del conss, 4809 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2430144 impls, 0 clqs 4.09/4.14 c (round 6) 6315 del vars, 22114 del conss, 4858 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2430630 impls, 0 clqs 4.09/4.18 c (round 7) 6346 del vars, 22238 del conss, 4872 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2430921 impls, 0 clqs 4.19/4.20 c (round 8) 6353 del vars, 22278 del conss, 4874 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2431034 impls, 0 clqs 4.19/4.22 c (round 9) 6353 del vars, 22281 del conss, 4874 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2431034 impls, 0 clqs 4.40/4.45 c (round 10) 6353 del vars, 22283 del conss, 4874 chg bounds, 19 chg sides, 23 chg coeffs, 16684 upgd conss, 2431034 impls, 0 clqs 4.59/4.67 c presolving (11 rounds): 4.59/4.67 c 6353 deleted vars, 22283 deleted constraints, 4874 tightened bounds, 0 added holes, 19 changed sides, 58 changed coefficients 4.59/4.67 c 2431120 implications, 105 cliques 4.59/4.67 c presolved problem has 5969 variables (5969 bin, 0 int, 0 impl, 0 cont) and 16684 constraints 4.59/4.67 c 368 constraints of type <knapsack> 4.59/4.67 c 16316 constraints of type <logicor> 4.59/4.67 c transformed objective value is always integral (scale: 1) 4.59/4.67 c Presolving Time: 3.57 4.59/4.67 c - non default parameters ---------------------------------------------------------------------- 4.59/4.67 c # SCIP version 1.2.1.2 4.59/4.67 c 4.59/4.67 c # frequency for displaying node information lines 4.59/4.67 c # [type: int, range: [-1,2147483647], default: 100] 4.59/4.67 c display/freq = 10000 4.59/4.67 c 4.59/4.67 c # maximal time in seconds to run 4.59/4.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.59/4.67 c limits/time = 1799.31 4.59/4.67 c 4.59/4.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 4.59/4.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.59/4.67 c limits/memory = 1620 4.59/4.67 c 4.59/4.67 c # solving stops, if the given number of solutions were found (-1: no limit) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: -1] 4.59/4.67 c limits/solutions = 1 4.59/4.67 c 4.59/4.67 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: 1] 4.59/4.67 c lp/solvefreq = -1 4.59/4.67 c 4.59/4.67 c # maximal number of separation rounds per node (-1: unlimited) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: 5] 4.59/4.67 c separating/maxrounds = 1 4.59/4.67 c 4.59/4.67 c # maximal number of separation rounds in the root node (-1: unlimited) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: -1] 4.59/4.67 c separating/maxroundsroot = 5 4.59/4.67 c 4.59/4.67 c # should presolving try to simplify inequalities 4.59/4.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.59/4.67 c constraints/linear/simplifyinequalities = TRUE 4.59/4.67 c 4.59/4.67 c # should disaggregation of knapsack constraints be allowed in preprocessing? 4.59/4.67 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 4.59/4.67 c constraints/knapsack/disaggregation = FALSE 4.59/4.67 c 4.59/4.67 c # should presolving try to simplify knapsacks 4.59/4.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.59/4.67 c constraints/knapsack/simplifyinequalities = TRUE 4.59/4.67 c 4.59/4.67 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: -1] 4.59/4.67 c presolving/probing/maxrounds = 0 4.59/4.67 c 4.59/4.67 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.67 c heuristics/coefdiving/freq = -1 4.59/4.67 c 4.59/4.67 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.59/4.67 c heuristics/coefdiving/maxlpiterquot = 0.075 4.59/4.67 c 4.59/4.67 c # additional number of allowed LP iterations 4.59/4.67 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.67 c heuristics/coefdiving/maxlpiterofs = 1500 4.59/4.67 c 4.59/4.67 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: 30] 4.59/4.67 c heuristics/crossover/freq = -1 4.59/4.67 c 4.59/4.67 c # number of nodes added to the contingent of the total nodes 4.59/4.67 c # [type: longint, range: [0,9223372036854775807], default: 500] 4.59/4.67 c heuristics/crossover/nodesofs = 750 4.59/4.67 c 4.59/4.67 c # number of nodes without incumbent change that heuristic should wait 4.59/4.67 c # [type: longint, range: [0,9223372036854775807], default: 200] 4.59/4.67 c heuristics/crossover/nwaitingnodes = 100 4.59/4.67 c 4.59/4.67 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 4.59/4.67 c # [type: real, range: [0,1], default: 0.1] 4.59/4.67 c heuristics/crossover/nodesquot = 0.15 4.59/4.67 c 4.59/4.67 c # minimum percentage of integer variables that have to be fixed 4.59/4.67 c # [type: real, range: [0,1], default: 0.666] 4.59/4.67 c heuristics/crossover/minfixingrate = 0.5 4.59/4.67 c 4.59/4.67 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 4.59/4.67 c # [type: int, range: [-1,2147483647], default: 20] 4.59/4.67 c heuristics/feaspump/freq = -1 4.59/4.67 c 4.59/4.67 c # additional number of allowed LP iterations 4.59/4.67 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.67 c heuristics/feaspump/maxlpiterofs = 2000 4.59/4.67 c 4.59/4.67 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.68 c heuristics/fracdiving/freq = -1 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.59/4.68 c heuristics/fracdiving/maxlpiterquot = 0.075 4.59/4.68 c 4.59/4.68 c # additional number of allowed LP iterations 4.59/4.68 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.68 c heuristics/fracdiving/maxlpiterofs = 1500 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.68 c heuristics/guideddiving/freq = -1 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.59/4.68 c heuristics/guideddiving/maxlpiterquot = 0.075 4.59/4.68 c 4.59/4.68 c # additional number of allowed LP iterations 4.59/4.68 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.68 c heuristics/guideddiving/maxlpiterofs = 1500 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.59/4.68 c heuristics/intdiving/maxlpiterquot = 0.075 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.68 c heuristics/intshifting/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.68 c heuristics/linesearchdiving/freq = -1 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.59/4.68 c heuristics/linesearchdiving/maxlpiterquot = 0.075 4.59/4.68 c 4.59/4.68 c # additional number of allowed LP iterations 4.59/4.68 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.68 c heuristics/linesearchdiving/maxlpiterofs = 1500 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 1] 4.59/4.68 c heuristics/nlp/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 20] 4.59/4.68 c heuristics/objpscostdiving/freq = -1 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to total iteration number 4.59/4.68 c # [type: real, range: [0,1], default: 0.01] 4.59/4.68 c heuristics/objpscostdiving/maxlpiterquot = 0.015 4.59/4.68 c 4.59/4.68 c # additional number of allowed LP iterations 4.59/4.68 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.68 c heuristics/objpscostdiving/maxlpiterofs = 1500 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 1] 4.59/4.68 c heuristics/oneopt/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.68 c heuristics/pscostdiving/freq = -1 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.59/4.68 c heuristics/pscostdiving/maxlpiterquot = 0.075 4.59/4.68 c 4.59/4.68 c # additional number of allowed LP iterations 4.59/4.68 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.68 c heuristics/pscostdiving/maxlpiterofs = 1500 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 0] 4.59/4.68 c heuristics/rens/freq = -1 4.59/4.68 c 4.59/4.68 c # minimum percentage of integer variables that have to be fixable 4.59/4.68 c # [type: real, range: [0,1], default: 0.5] 4.59/4.68 c heuristics/rens/minfixingrate = 0.3 4.59/4.68 c 4.59/4.68 c # number of nodes added to the contingent of the total nodes 4.59/4.68 c # [type: longint, range: [0,9223372036854775807], default: 500] 4.59/4.68 c heuristics/rens/nodesofs = 2000 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 20] 4.59/4.68 c heuristics/rootsoldiving/freq = -1 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 4.59/4.68 c heuristics/rootsoldiving/maxlpiterquot = 0.015 4.59/4.68 c 4.59/4.68 c # additional number of allowed LP iterations 4.59/4.68 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.68 c heuristics/rootsoldiving/maxlpiterofs = 1500 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 1] 4.59/4.68 c heuristics/rounding/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.68 c heuristics/shifting/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 1] 4.59/4.68 c heuristics/simplerounding/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 0] 4.59/4.68 c heuristics/trivial/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 1] 4.59/4.68 c heuristics/trysol/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 10] 4.59/4.68 c heuristics/veclendiving/freq = -1 4.59/4.68 c 4.59/4.68 c # maximal fraction of diving LP iterations compared to node LP iterations 4.59/4.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.59/4.68 c heuristics/veclendiving/maxlpiterquot = 0.075 4.59/4.68 c 4.59/4.68 c # additional number of allowed LP iterations 4.59/4.68 c # [type: int, range: [0,2147483647], default: 1000] 4.59/4.68 c heuristics/veclendiving/maxlpiterofs = 1500 4.59/4.68 c 4.59/4.68 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 1] 4.59/4.68 c heuristics/zirounding/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 0] 4.59/4.68 c separating/cmir/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: 0] 4.59/4.68 c separating/flowcover/freq = -1 4.59/4.68 c 4.59/4.68 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 4.59/4.68 c # [type: int, range: [-1,2147483647], default: -1] 4.59/4.68 c separating/rapidlearning/freq = 0 4.59/4.68 c 4.59/4.68 c ----------------------------------------------------------------------------------------------- 4.59/4.68 c start solving 4.59/4.68 c 4.69/4.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.69/4.71 c 3.7s| 1 | 2 | 0 | - | 72M| 0 | - |5969 | 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 109.26/109.36 c 107s| 10000 | 4833 | 0 | 0.0 | 129M| 239 | - |5969 | 18k| 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf 215.24/215.34 c 212s| 20000 | 9366 | 0 | 0.0 | 176M| 239 | - |5969 | 20k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf 321.81/321.91 c 318s| 30000 | 13232 | 0 | 0.0 | 225M| 239 | - |5969 | 22k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf 427.99/428.12 c 423s| 40000 | 17284 | 0 | 0.0 | 267M| 239 | - |5969 | 19k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf 534.47/534.61 c 528s| 50000 | 21626 | 0 | 0.0 | 314M| 239 | - |5969 | 19k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf 642.53/642.74 c 635s| 60000 | 25948 | 0 | 0.0 | 359M| 239 | - |5969 | 19k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf 749.81/750.01 c 741s| 70000 | 30344 | 0 | 0.0 | 403M| 239 | - |5969 | 21k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf 855.29/855.55 c 846s| 80000 | 34783 | 0 | 0.0 | 446M| 239 | - |5969 | 20k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf 962.05/962.37 c 952s| 90000 | 38887 | 0 | 0.0 | 488M| 239 | - |5969 | 22k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf 1071.23/1071.52 c 1060s|100000 | 42356 | 0 | 0.0 | 528M| 239 | - |5969 | 22k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf 1183.60/1183.95 c 1171s|110000 | 45357 | 0 | 0.0 | 564M| 239 | - |5969 | 23k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf 1297.37/1297.71 c 1284s|120000 | 48243 | 0 | 0.0 | 603M| 239 | - |5969 | 25k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf 1415.55/1415.95 c 1401s|130000 | 51094 | 0 | 0.0 | 637M| 239 | - |5969 | 19k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf 1520.83/1521.26 c 1505s|140000 | 55548 | 0 | 0.0 | 678M| 239 | - |5969 | 20k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf 1628.79/1629.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1628.79/1629.25 c 1612s|150000 | 59738 | 0 | 0.0 | 721M| 239 | - |5969 | 21k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf 1738.67/1739.17 c 1721s|160000 | 63802 | 0 | 0.0 | 763M| 239 | - |5969 | 20k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf 1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.17/1800.61 c 1800.17/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.17/1800.61 c Solving Time (sec) : 1782.01 1800.17/1800.61 c Solving Nodes : 165564 1800.17/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.17/1800.61 c Dual Bound : +0.00000000000000e+00 1800.17/1800.61 c Gap : infinite 1800.17/1800.61 s UNKNOWN 1800.17/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.17/1800.61 c Solving Time : 1782.01 1800.17/1800.61 c Original Problem : 1800.17/1800.61 c Problem name : HOME/instance-2685402-1278440860.opb 1800.17/1800.61 c Variables : 12322 (12322 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.17/1800.61 c Constraints : 38967 initial, 38967 maximal 1800.17/1800.61 c Presolved Problem : 1800.17/1800.61 c Problem name : t_HOME/instance-2685402-1278440860.opb 1800.17/1800.61 c Variables : 5969 (5969 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.17/1800.61 c Constraints : 16684 initial, 27294 maximal 1800.17/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.17/1800.61 c trivial : 0.04 324 0 0 0 0 0 0 0 1800.17/1800.61 c dualfix : 0.03 53 0 0 0 0 0 0 0 1800.17/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.61 c implics : 0.07 0 0 0 0 0 0 0 0 1800.17/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.61 c knapsack : 0.17 0 0 0 0 0 0 0 35 1800.17/1800.61 c linear : 3.05 4550 1426 0 4874 0 22283 19 23 1800.17/1800.61 c logicor : 0.08 0 0 0 0 0 0 0 0 1800.17/1800.61 c root node : - 9 - - 9 - - - - 1800.17/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.17/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0 1800.17/1800.61 c knapsack : 368 0 2191409 0 124497 10323 11033762 0 0 0 1800.17/1800.61 c logicor : 16316+ 0 2107799 0 124497 45576 25758770 0 0 0 1800.17/1800.61 c countsols : 0 0 0 0 124480 0 0 0 0 0 1800.17/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.17/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00 1800.17/1800.61 c knapsack : 301.95 0.00 249.30 0.00 52.65 1800.17/1800.61 c logicor : 909.46 0.00 281.52 0.00 627.94 1800.17/1800.61 c countsols : 0.14 0.00 0.00 0.00 0.14 1800.17/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.17/1800.61 c vbounds : 1.27 1 0 0 1800.17/1800.61 c rootredcost : 1.02 0 0 0 1800.17/1800.61 c pseudoobj : 1.16 0 0 0 1800.17/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.17/1800.61 c propagation : 24.96 55899 55899 622067 32.3 5948 13.1 - 1800.17/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.17/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.17/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.17/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.17/1800.61 c applied globally : - - - 276693 26.5 - - - 1800.17/1800.61 c applied locally : - - - 0 0.0 - - - 1800.17/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.17/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.17/1800.61 c redcost : 0.00 0 0 0 0 0 1800.17/1800.61 c impliedbounds : 0.00 0 0 0 0 0 1800.17/1800.61 c intobj : 0.00 0 0 0 0 0 1800.17/1800.61 c cgmip : 0.00 0 0 0 0 0 1800.17/1800.61 c gomory : 0.00 0 0 0 0 0 1800.17/1800.61 c strongcg : 0.00 0 0 0 0 0 1800.17/1800.61 c cmir : 0.00 0 0 0 0 0 1800.17/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.17/1800.61 c clique : 0.00 0 0 0 0 0 1800.17/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.17/1800.61 c mcf : 0.00 0 0 0 0 0 1800.17/1800.61 c rapidlearning : 0.00 0 0 0 0 0 1800.17/1800.61 c Pricers : Time Calls Vars 1800.17/1800.61 c problem variables: 0.00 0 0 1800.17/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.17/1800.61 c relpscost : 0.00 0 0 0 0 0 0 1800.17/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.17/1800.61 c inference : 204.46 124480 0 0 0 0 248960 1800.17/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.17/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.17/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.17/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.17/1800.61 c random : 0.00 0 0 0 0 0 0 1800.17/1800.61 c Primal Heuristics : Time Calls Found 1800.17/1800.61 c LP solutions : 0.00 - 0 1800.17/1800.61 c pseudo solutions : 0.00 - 0 1800.17/1800.61 c trivial : 0.02 1 0 1800.17/1800.61 c simplerounding : 0.00 0 0 1800.17/1800.61 c zirounding : 0.00 0 0 1800.17/1800.61 c rounding : 0.00 0 0 1800.17/1800.61 c shifting : 0.00 0 0 1800.17/1800.61 c intshifting : 0.00 0 0 1800.17/1800.61 c oneopt : 0.00 0 0 1800.17/1800.61 c twoopt : 0.00 0 0 1800.17/1800.61 c fixandinfer : 0.00 0 0 1800.17/1800.61 c feaspump : 0.00 0 0 1800.17/1800.61 c coefdiving : 0.00 0 0 1800.17/1800.61 c pscostdiving : 0.00 0 0 1800.17/1800.61 c fracdiving : 0.00 0 0 1800.17/1800.61 c veclendiving : 0.00 0 0 1800.17/1800.61 c intdiving : 0.00 0 0 1800.17/1800.61 c actconsdiving : 0.00 0 0 1800.17/1800.61 c objpscostdiving : 0.00 0 0 1800.17/1800.61 c rootsoldiving : 0.00 0 0 1800.17/1800.61 c linesearchdiving : 0.00 0 0 1800.17/1800.61 c guideddiving : 0.00 0 0 1800.17/1800.61 c octane : 0.00 0 0 1800.17/1800.61 c rens : 0.00 0 0 1800.17/1800.61 c rins : 0.00 0 0 1800.17/1800.61 c localbranching : 0.00 0 0 1800.17/1800.61 c mutation : 0.00 0 0 1800.17/1800.61 c crossover : 0.00 0 0 1800.17/1800.61 c dins : 0.00 0 0 1800.17/1800.61 c undercover : 0.00 0 0 1800.17/1800.61 c nlp : 0.00 0 0 1800.17/1800.61 c trysol : 0.00 0 0 1800.17/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.17/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.17/1800.61 c dual LP : 0.00 0 0 0.00 - 1800.17/1800.61 c lex dual LP : 0.00 0 0 0.00 - 1800.17/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.17/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.17/1800.61 c strong branching : 0.00 0 0 0.00 - 1800.17/1800.61 c (at root node) : - 0 0 0.00 - 1800.17/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.17/1800.61 c B&B Tree : 1800.17/1800.61 c number of runs : 1 1800.17/1800.61 c nodes : 165564 1800.17/1800.61 c nodes (total) : 165564 1800.17/1800.61 c nodes left : 66113 1800.17/1800.61 c max depth : 239 1800.17/1800.61 c max depth (total): 239 1800.17/1800.61 c backtracks : 16000 (9.7%) 1800.17/1800.61 c delayed cutoffs : 17284 1800.17/1800.61 c repropagations : 108697 (8019700 domain reductions, 14815 cutoffs) 1800.17/1800.61 c avg switch length: 4.73 1800.17/1800.61 c switching time : 290.31 1800.17/1800.61 c Solution : 1800.17/1800.61 c Solutions found : 0 (0 improvements) 1800.17/1800.61 c Primal Bound : - 1800.17/1800.61 c Dual Bound : +0.00000000000000e+00 1800.17/1800.61 c Gap : infinite 1800.17/1800.61 c Root Dual Bound : +0.00000000000000e+00 1800.17/1800.61 c Root Iterations : 0 1801.36/1801.89 c Time complete: 1801.44.
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-2685402-1278440860/watcher-2685402-1278440860 -o /tmp/evaluation-result-2685402-1278440860/solver-2685402-1278440860 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685402-1278440860.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.99 0.98 0.99 3/106 21889 /proc/meminfo: memFree=1761472/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=7612 CPUtime=0 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 1214 0 0 0 0 0 0 0 18 0 1 0 12298983 7794688 1136 1992294400 4194304 7136930 140735130891440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21889/statm: 1903 1146 254 719 0 1182 0 [startup+0.0278149 s] /proc/loadavg: 0.99 0.98 0.99 3/106 21889 /proc/meminfo: memFree=1761472/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=9188 CPUtime=0.02 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 1781 0 0 0 2 0 0 0 18 0 1 0 12298983 9408512 1703 1992294400 4194304 7136930 140735130891440 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21889/statm: 2297 1703 268 719 0 1576 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9188 [startup+0.101821 s] /proc/loadavg: 0.99 0.98 0.99 3/106 21889 /proc/meminfo: memFree=1761472/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=14912 CPUtime=0.09 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 3206 0 0 0 8 1 0 0 21 0 1 0 12298983 15269888 3128 1992294400 4194304 7136930 140735130891440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21889/statm: 3728 3128 268 719 0 3007 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14912 [startup+0.301839 s] /proc/loadavg: 0.99 0.98 0.99 3/106 21889 /proc/meminfo: memFree=1761472/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=20352 CPUtime=0.29 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 4564 0 0 0 28 1 0 0 21 0 1 0 12298983 20840448 4486 1992294400 4194304 7136930 140735130891440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21889/statm: 5088 4486 268 719 0 4367 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20352 [startup+0.701876 s] /proc/loadavg: 0.99 0.98 0.99 3/106 21889 /proc/meminfo: memFree=1761472/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=32180 CPUtime=0.69 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 7500 0 0 0 67 2 0 0 22 0 1 0 12298983 32952320 7422 1992294400 4194304 7136930 140735130891440 18446744073709551615 6326748 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21889/statm: 8045 7422 268 719 0 7324 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32180 [startup+1.50195 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21890 /proc/meminfo: memFree=1690908/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=108532 CPUtime=1.49 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 26598 0 0 0 140 9 0 0 25 0 1 0 12298983 111136768 26146 1992294400 4194304 7136930 140735130891440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 27133 26146 341 719 0 26412 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 108532 [startup+3.1011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21890 /proc/meminfo: memFree=1633248/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=150148 CPUtime=3.09 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 36994 0 0 0 292 17 0 0 25 0 1 0 12298983 153751552 36285 1992294400 4194304 7136930 140735130891440 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 37537 36285 346 719 0 36816 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 150148 [startup+6.30139 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21890 /proc/meminfo: memFree=1612044/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=154952 CPUtime=6.29 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 42737 0 0 0 597 32 0 0 25 0 1 0 12298983 158670848 37568 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 38738 37568 393 719 0 38017 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 154952 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21891 /proc/meminfo: memFree=1603116/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=165208 CPUtime=12.69 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 45197 0 0 0 1229 40 0 0 25 0 1 0 12298983 169172992 40028 1992294400 4194304 7136930 140735130891440 18446744073709551615 4858882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 41302 40028 393 719 0 40581 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 165208 [startup+25.5012 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21891 /proc/meminfo: memFree=1590220/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=178676 CPUtime=25.48 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 48259 0 0 0 2495 53 0 0 25 0 1 0 12298983 182964224 43090 1992294400 4194304 7136930 140735130891440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 44669 43090 393 719 0 43948 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 178676 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21892 /proc/meminfo: memFree=1570876/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=201244 CPUtime=51.08 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 53095 0 0 0 5027 81 0 0 25 0 1 0 12298983 206073856 47926 1992294400 4194304 7136930 140735130891440 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 50311 47926 393 719 0 49590 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 201244 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21893 /proc/meminfo: memFree=1537024/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=241060 CPUtime=102.27 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 61445 0 0 0 10093 134 0 0 25 0 1 0 12298983 246845440 56276 1992294400 4194304 7136930 140735130891440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 60265 56276 393 719 0 59544 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 241060 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21895 /proc/meminfo: memFree=1501560/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=284832 CPUtime=162.25 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 70307 0 0 0 16034 191 0 0 25 0 1 0 12298983 291667968 65138 1992294400 4194304 7136930 140735130891440 18446744073709551615 4854270 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 71208 65138 393 719 0 70487 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 284832 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21896 /proc/meminfo: memFree=1468948/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=324816 CPUtime=222.24 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 78407 0 0 0 21968 256 0 0 25 0 1 0 12298983 332611584 73238 1992294400 4194304 7136930 140735130891440 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 81204 73238 393 719 0 80483 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 324816 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21898 /proc/meminfo: memFree=1438072/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=362692 CPUtime=282.23 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 86238 0 0 0 27913 310 0 0 25 0 1 0 12298983 371396608 81069 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 90673 81069 393 719 0 89952 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 362692 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21900 /proc/meminfo: memFree=1402732/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=406508 CPUtime=342.21 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 94892 0 0 0 33855 366 0 0 25 0 1 0 12298983 416264192 89723 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 101627 89723 393 719 0 100906 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 406508 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21901 /proc/meminfo: memFree=1375080/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=440916 CPUtime=402.19 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 101839 0 0 0 39791 428 0 0 25 0 1 0 12298983 451497984 96670 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 110229 96670 393 719 0 109508 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 440916 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21903 /proc/meminfo: memFree=1346808/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=475500 CPUtime=462.18 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 108843 0 0 0 45725 493 0 0 25 0 1 0 12298983 486912000 103674 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 118875 103674 393 719 0 118154 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 475500 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21904 /proc/meminfo: memFree=1320396/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=509068 CPUtime=522.17 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 115502 0 0 0 51665 552 0 0 25 0 1 0 12298983 521285632 110333 1992294400 4194304 7136930 140735130891440 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 127267 110333 393 719 0 126546 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 509068 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21906 /proc/meminfo: memFree=1287784/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=551312 CPUtime=582.15 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 123609 0 0 0 57604 611 0 0 25 0 1 0 12298983 564543488 118440 1992294400 4194304 7136930 140735130891440 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 137828 118440 393 719 0 137107 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 551312 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21908 /proc/meminfo: memFree=1256412/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=590440 CPUtime=642.14 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 131306 0 0 0 63542 672 0 0 25 0 1 0 12298983 604610560 126137 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 147610 126137 393 719 0 146889 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 590440 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21917 /proc/meminfo: memFree=1093972/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=790308 CPUtime=1002.04 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 171769 0 0 0 99190 1014 0 0 25 0 1 0 12298983 809275392 166600 1992294400 4194304 7136930 140735130891440 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 197577 166600 393 719 0 196856 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 790308 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21919 /proc/meminfo: memFree=1071280/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=818080 CPUtime=1062.03 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 177474 0 0 0 105133 1070 0 0 25 0 1 0 12298983 837713920 172305 1992294400 4194304 7136930 140735130891440 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 204520 172305 393 719 0 203799 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 818080 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21920 /proc/meminfo: memFree=1044248/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=854832 CPUtime=1122.02 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 184162 0 0 0 111079 1123 0 0 25 0 1 0 12298983 875347968 178993 1992294400 4194304 7136930 140735130891440 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 213708 178993 393 719 0 212987 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 854832 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21922 /proc/meminfo: memFree=1023168/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=882264 CPUtime=1182 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 189426 0 0 0 117027 1173 0 0 25 0 1 0 12298983 903438336 184257 1992294400 4194304 7136930 140735130891440 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 220566 184257 393 719 0 219845 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 882264 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21924 /proc/meminfo: memFree=999856/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=911004 CPUtime=1241.98 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 195195 0 0 0 122968 1230 0 0 25 0 1 0 12298983 932868096 190026 1992294400 4194304 7136930 140735130891440 18446744073709551615 4999992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 227751 190026 393 719 0 227030 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 911004 [startup+1302.3 s] /proc/loadavg: 1.07 1.00 1.00 2/107 21925 /proc/meminfo: memFree=973444/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=944948 CPUtime=1301.98 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 201752 0 0 0 128915 1283 0 0 25 0 1 0 12298983 967626752 196583 1992294400 4194304 7136930 140735130891440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 236237 196583 393 719 0 235516 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 944948 [startup+1362.3 s] /proc/loadavg: 1.03 1.00 1.00 2/107 21927 /proc/meminfo: memFree=947652/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=980676 CPUtime=1361.95 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 208239 0 0 0 134857 1338 0 0 25 0 1 0 12298983 1004212224 203070 1992294400 4194304 7136930 140735130891440 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 245169 203070 393 719 0 244448 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 980676 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 21928 /proc/meminfo: memFree=920248/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1014612 CPUtime=1421.95 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 215069 0 0 0 140795 1400 0 0 25 0 1 0 12298983 1038962688 209900 1992294400 4194304 7136930 140735130891440 18446744073709551615 4218735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 253653 209900 393 719 0 252932 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1014612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21930 /proc/meminfo: memFree=900284/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1041232 CPUtime=1481.93 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 220042 0 0 0 146734 1459 0 0 25 0 1 0 12298983 1066221568 214873 1992294400 4194304 7136930 140735130891440 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 260308 214873 393 719 0 259587 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1041232 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21932 /proc/meminfo: memFree=877344/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1070728 CPUtime=1541.91 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 225740 0 0 0 152677 1514 0 0 25 0 1 0 12298983 1096425472 220571 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 267682 220571 393 719 0 266961 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1070728 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21933 /proc/meminfo: memFree=848576/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1102672 CPUtime=1601.9 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 233015 0 0 0 158619 1571 0 0 25 0 1 0 12298983 1129136128 227846 1992294400 4194304 7136930 140735130891440 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 275668 227846 393 719 0 274947 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1102672 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21935 /proc/meminfo: memFree=819064/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1136012 CPUtime=1661.89 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 240263 0 0 0 164563 1626 0 0 25 0 1 0 12298983 1163276288 235094 1992294400 4194304 7136930 140735130891440 18446744073709551615 4210033 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 284003 235094 393 719 0 283282 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1136012 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21936 /proc/meminfo: memFree=792156/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1172076 CPUtime=1721.87 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 247003 0 0 0 170506 1681 0 0 25 0 1 0 12298983 1200205824 241834 1992294400 4194304 7136930 140735130891440 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 293019 241834 393 719 0 292298 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1172076 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21938 /proc/meminfo: memFree=769960/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1201440 CPUtime=1781.86 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 252457 0 0 0 176455 1731 0 0 25 0 1 0 12298983 1230274560 247288 1992294400 4194304 7136930 140735130891440 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 300360 247288 393 719 0 299639 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1201440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21938 /proc/meminfo: memFree=764132/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1208776 CPUtime=1800.06 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 253864 0 0 0 178257 1749 0 0 25 0 1 0 12298983 1237786624 248695 1992294400 4194304 7136930 140735130891440 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 302194 248695 393 719 0 301473 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1208776 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 1.00 2/108 21939 /proc/meminfo: memFree=764124/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1208776 CPUtime=1800.17 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 253864 0 0 0 178268 1749 0 0 25 0 1 0 12298983 1237786624 248695 1992294400 4194304 7136930 140735130891440 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21889/statm: 302194 248695 393 719 0 301473 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 1208776 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21939 /proc/meminfo: memFree=764124/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=1208776 CPUtime=1800.95 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 253870 0 0 0 178346 1749 0 0 25 0 1 0 12298983 1237786624 248701 1992294400 4194304 7136930 140735130891440 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21889/statm: 302194 248701 399 719 0 301473 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (KiB) 1208776 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 3/108 21939 /proc/meminfo: memFree=777268/2059040 swapFree=4192956/4192956 [pid=21889] ppid=21887 vsize=438848 CPUtime=1801.36 /proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 20947 0 -1 4202496 253870 0 0 0 178379 1757 0 0 25 0 1 0 12298983 449380352 100213 1992294400 4194304 7136930 140735130891440 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21889/statm: 109624 100166 399 719 0 108903 0 Current children cumulated CPU time (s) 1801.36 Current children cumulated vsize (KiB) 438848 Child status: 0 Real time (s): 1801.89 CPU time (s): 1801.45 CPU user time (s): 1783.83 CPU system time (s): 17.6233 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1208776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.83 system time used= 17.6233 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 253877 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 22975 runsolver used 2.79257 second user time and 7.44087 second system time The end
Begin job on node014 at 2010-07-06 20:27:40 IDJOB=2685402 IDBENCH=75736 IDSOLVER=1167 FILE ID=node014/2685402-1278440860 PBS_JOBID= 11233457 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6013_2-unsat.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-2685402-1278440860/watcher-2685402-1278440860 -o /tmp/evaluation-result-2685402-1278440860/solver-2685402-1278440860 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685402-1278440860.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3eb9faf1d58b30f1971366448425ca3 RANDOM SEED=456696698 node014.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.246 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.246 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1762000 kB Buffers: 22344 kB Cached: 139840 kB SwapCached: 0 kB Active: 111496 kB Inactive: 110896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1762000 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4348 kB Writeback: 0 kB AnonPages: 60176 kB Mapped: 14472 kB Slab: 52744 kB PageTables: 4252 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180668 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= 62568 MiB End job on node014 at 2010-07-06 20:57:43