Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.39 | 1801.86 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1209_4-sat.opb |
MD5SUM | c17285ecf4c0c17a63d3aa8966d3d2bd |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 40.9488 |
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 | 21296 |
Total number of constraints | 66999 |
Number of constraints which are clauses | 66651 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 348 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 65 |
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 | 39 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 389 |
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.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-2684730-1278432716.opb> 1.10/1.17 c original problem has 21296 variables (21296 bin, 0 int, 0 impl, 0 cont) and 66999 constraints 1.10/1.17 c problem read 1.10/1.17 c No objective function, only one solution is needed. 1.10/1.17 c presolving settings loaded 1.10/1.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 1.49/1.54 c presolving: 4.48/4.50 c (round 1) 4977 del vars, 14787 del conss, 3362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3708054 impls, 0 clqs 5.79/5.81 c (round 2) 12346 del vars, 38435 del conss, 10200 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3748387 impls, 0 clqs 5.89/5.98 c (round 3) 14270 del vars, 47631 del conss, 11242 chg bounds, 39 chg sides, 50 chg coeffs, 0 upgd conss, 3758245 impls, 0 clqs 5.98/6.09 c (round 4) 15429 del vars, 51116 del conss, 12004 chg bounds, 60 chg sides, 77 chg coeffs, 0 upgd conss, 3769025 impls, 0 clqs 6.09/6.16 c (round 5) 16033 del vars, 53248 del conss, 12375 chg bounds, 62 chg sides, 81 chg coeffs, 0 upgd conss, 3774725 impls, 0 clqs 6.19/6.21 c (round 6) 16346 del vars, 54427 del conss, 12576 chg bounds, 62 chg sides, 81 chg coeffs, 0 upgd conss, 3776994 impls, 0 clqs 6.19/6.23 c (round 7) 16439 del vars, 54819 del conss, 12623 chg bounds, 62 chg sides, 81 chg coeffs, 0 upgd conss, 3777945 impls, 0 clqs 6.19/6.26 c (round 8) 16511 del vars, 55083 del conss, 12676 chg bounds, 62 chg sides, 81 chg coeffs, 0 upgd conss, 3778308 impls, 0 clqs 6.19/6.28 c (round 9) 16527 del vars, 55167 del conss, 12684 chg bounds, 62 chg sides, 81 chg coeffs, 0 upgd conss, 3778500 impls, 0 clqs 6.19/6.30 c (round 10) 16535 del vars, 55190 del conss, 12688 chg bounds, 62 chg sides, 81 chg coeffs, 0 upgd conss, 3778660 impls, 0 clqs 6.29/6.31 c (round 11) 16539 del vars, 55214 del conss, 12688 chg bounds, 62 chg sides, 81 chg coeffs, 0 upgd conss, 3778696 impls, 0 clqs 6.39/6.49 c (round 12) 16539 del vars, 55214 del conss, 12688 chg bounds, 62 chg sides, 81 chg coeffs, 11785 upgd conss, 3778696 impls, 0 clqs 6.50/6.59 c (round 13) 16539 del vars, 55214 del conss, 12688 chg bounds, 77 chg sides, 122 chg coeffs, 11785 upgd conss, 3778712 impls, 4 clqs 6.60/6.64 c presolving (14 rounds): 6.60/6.64 c 16539 deleted vars, 55214 deleted constraints, 12688 tightened bounds, 0 added holes, 77 changed sides, 137 changed coefficients 6.60/6.64 c 3778712 implications, 4 cliques 6.60/6.64 c presolved problem has 4757 variables (4757 bin, 0 int, 0 impl, 0 cont) and 11785 constraints 6.60/6.64 c 282 constraints of type <knapsack> 6.60/6.64 c 11503 constraints of type <logicor> 6.60/6.64 c transformed objective value is always integral (scale: 1) 6.60/6.64 c Presolving Time: 4.88 6.60/6.64 c - non default parameters ---------------------------------------------------------------------- 6.60/6.64 c # SCIP version 1.2.1.2 6.60/6.64 c 6.60/6.64 c # frequency for displaying node information lines 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 100] 6.60/6.64 c display/freq = 10000 6.60/6.64 c 6.60/6.64 c # maximal time in seconds to run 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.60/6.64 c limits/time = 1798.83 6.60/6.64 c 6.60/6.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.60/6.64 c limits/memory = 1620 6.60/6.64 c 6.60/6.64 c # solving stops, if the given number of solutions were found (-1: no limit) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: -1] 6.60/6.64 c limits/solutions = 1 6.60/6.64 c 6.60/6.64 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 1] 6.60/6.64 c lp/solvefreq = -1 6.60/6.64 c 6.60/6.64 c # maximal number of separation rounds per node (-1: unlimited) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 5] 6.60/6.64 c separating/maxrounds = 1 6.60/6.64 c 6.60/6.64 c # maximal number of separation rounds in the root node (-1: unlimited) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: -1] 6.60/6.64 c separating/maxroundsroot = 5 6.60/6.64 c 6.60/6.64 c # should presolving try to simplify inequalities 6.60/6.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.60/6.64 c constraints/linear/simplifyinequalities = TRUE 6.60/6.64 c 6.60/6.64 c # should disaggregation of knapsack constraints be allowed in preprocessing? 6.60/6.64 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 6.60/6.64 c constraints/knapsack/disaggregation = FALSE 6.60/6.64 c 6.60/6.64 c # should presolving try to simplify knapsacks 6.60/6.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.60/6.64 c constraints/knapsack/simplifyinequalities = TRUE 6.60/6.64 c 6.60/6.64 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: -1] 6.60/6.64 c presolving/probing/maxrounds = 0 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/coefdiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.60/6.64 c heuristics/coefdiving/maxlpiterquot = 0.075 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/coefdiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 30] 6.60/6.64 c heuristics/crossover/freq = -1 6.60/6.64 c 6.60/6.64 c # number of nodes added to the contingent of the total nodes 6.60/6.64 c # [type: longint, range: [0,9223372036854775807], default: 500] 6.60/6.64 c heuristics/crossover/nodesofs = 750 6.60/6.64 c 6.60/6.64 c # number of nodes without incumbent change that heuristic should wait 6.60/6.64 c # [type: longint, range: [0,9223372036854775807], default: 200] 6.60/6.64 c heuristics/crossover/nwaitingnodes = 100 6.60/6.64 c 6.60/6.64 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 6.60/6.64 c # [type: real, range: [0,1], default: 0.1] 6.60/6.64 c heuristics/crossover/nodesquot = 0.15 6.60/6.64 c 6.60/6.64 c # minimum percentage of integer variables that have to be fixed 6.60/6.64 c # [type: real, range: [0,1], default: 0.666] 6.60/6.64 c heuristics/crossover/minfixingrate = 0.5 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 20] 6.60/6.64 c heuristics/feaspump/freq = -1 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/feaspump/maxlpiterofs = 2000 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/fracdiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.60/6.64 c heuristics/fracdiving/maxlpiterquot = 0.075 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/fracdiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/guideddiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.60/6.64 c heuristics/guideddiving/maxlpiterquot = 0.075 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/guideddiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.60/6.64 c heuristics/intdiving/maxlpiterquot = 0.075 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/intshifting/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/linesearchdiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.60/6.64 c heuristics/linesearchdiving/maxlpiterquot = 0.075 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/linesearchdiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 1] 6.60/6.64 c heuristics/nlp/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 20] 6.60/6.64 c heuristics/objpscostdiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to total iteration number 6.60/6.64 c # [type: real, range: [0,1], default: 0.01] 6.60/6.64 c heuristics/objpscostdiving/maxlpiterquot = 0.015 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/objpscostdiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 1] 6.60/6.64 c heuristics/oneopt/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/pscostdiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.60/6.64 c heuristics/pscostdiving/maxlpiterquot = 0.075 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/pscostdiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 0] 6.60/6.64 c heuristics/rens/freq = -1 6.60/6.64 c 6.60/6.64 c # minimum percentage of integer variables that have to be fixable 6.60/6.64 c # [type: real, range: [0,1], default: 0.5] 6.60/6.64 c heuristics/rens/minfixingrate = 0.3 6.60/6.64 c 6.60/6.64 c # number of nodes added to the contingent of the total nodes 6.60/6.64 c # [type: longint, range: [0,9223372036854775807], default: 500] 6.60/6.64 c heuristics/rens/nodesofs = 2000 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 20] 6.60/6.64 c heuristics/rootsoldiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 6.60/6.64 c heuristics/rootsoldiving/maxlpiterquot = 0.015 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/rootsoldiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 1] 6.60/6.64 c heuristics/rounding/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/shifting/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 1] 6.60/6.64 c heuristics/simplerounding/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 0] 6.60/6.64 c heuristics/trivial/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 1] 6.60/6.64 c heuristics/trysol/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 10] 6.60/6.64 c heuristics/veclendiving/freq = -1 6.60/6.64 c 6.60/6.64 c # maximal fraction of diving LP iterations compared to node LP iterations 6.60/6.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.60/6.64 c heuristics/veclendiving/maxlpiterquot = 0.075 6.60/6.64 c 6.60/6.64 c # additional number of allowed LP iterations 6.60/6.64 c # [type: int, range: [0,2147483647], default: 1000] 6.60/6.64 c heuristics/veclendiving/maxlpiterofs = 1500 6.60/6.64 c 6.60/6.64 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 1] 6.60/6.64 c heuristics/zirounding/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 0] 6.60/6.64 c separating/cmir/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: 0] 6.60/6.64 c separating/flowcover/freq = -1 6.60/6.64 c 6.60/6.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 6.60/6.64 c # [type: int, range: [-1,2147483647], default: -1] 6.60/6.64 c separating/rapidlearning/freq = 0 6.60/6.64 c 6.60/6.64 c ----------------------------------------------------------------------------------------------- 6.60/6.64 c start solving 6.60/6.64 c 6.60/6.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.60/6.67 c 5.1s| 1 | 2 | 0 | - | 87M| 0 | - |4757 | 11k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 89.57/89.61 c 87.1s| 10000 | 6950 | 0 | 0.0 | 124M| 367 | - |4757 | 13k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf 176.34/176.48 c 173s| 20000 | 12828 | 0 | 0.0 | 161M| 367 | - |4757 | 14k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf 261.32/261.49 c 257s| 30000 | 18463 | 0 | 0.0 | 198M| 367 | - |4757 | 16k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf 340.70/340.87 c 336s| 40000 | 24140 | 0 | 0.0 | 235M| 367 | - |4757 | 18k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf 426.78/426.93 c 421s| 50000 | 29156 | 0 | 0.0 | 262M| 367 | - |4757 | 13k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf 514.96/515.11 c 508s| 60000 | 35767 | 0 | 0.0 | 296M| 367 | - |4757 | 14k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf 603.13/603.33 c 596s| 70000 | 41754 | 0 | 0.0 | 331M| 367 | - |4757 | 14k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf 690.91/691.11 c 682s| 80000 | 47504 | 0 | 0.0 | 365M| 367 | - |4757 | 14k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf 778.60/778.83 c 769s| 90000 | 52745 | 0 | 0.0 | 398M| 367 | - |4757 | 14k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf 868.06/868.33 c 858s|100000 | 57458 | 0 | 0.0 | 433M| 367 | - |4757 | 15k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf 957.54/957.86 c 947s|110000 | 62193 | 0 | 0.0 | 466M| 367 | - |4757 | 15k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf 1047.61/1047.97 c 1036s|120000 | 67027 | 0 | 0.0 | 499M| 367 | - |4757 | 15k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf 1136.30/1136.64 c 1123s|130000 | 71992 | 0 | 0.0 | 536M| 367 | - |4757 | 16k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf 1224.17/1224.52 c 1210s|140000 | 76945 | 0 | 0.0 | 574M| 367 | - |4757 | 16k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf 1309.84/1310.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1309.84/1310.20 c 1295s|150000 | 81966 | 0 | 0.0 | 610M| 367 | - |4757 | 17k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf 1394.43/1394.81 c 1379s|160000 | 87133 | 0 | 0.0 | 646M| 367 | - |4757 | 17k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf 1479.31/1479.75 c 1463s|170000 | 92279 | 0 | 0.0 | 684M| 367 | - |4757 | 17k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf 1564.48/1564.95 c 1547s|180000 | 97132 | 0 | 0.0 | 722M| 367 | - |4757 | 19k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf 1652.06/1652.59 c 1634s|190000 |102051 | 0 | 0.0 | 760M| 367 | - |4757 | 19k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf 1738.14/1738.63 c 1719s|200000 |107414 | 0 | 0.0 | 793M| 367 | - |4757 | 19k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf 1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.51 c 1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.51 c Solving Time (sec) : 1780.27 1800.02/1800.51 c Solving Nodes : 206972 1800.02/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.51 c Dual Bound : +0.00000000000000e+00 1800.02/1800.51 c Gap : infinite 1800.02/1800.51 s UNKNOWN 1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.51 c Solving Time : 1780.27 1800.02/1800.51 c Original Problem : 1800.02/1800.51 c Problem name : HOME/instance-2684730-1278432716.opb 1800.02/1800.51 c Variables : 21296 (21296 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.51 c Constraints : 66999 initial, 66999 maximal 1800.02/1800.51 c Presolved Problem : 1800.02/1800.51 c Problem name : t_HOME/instance-2684730-1278432716.opb 1800.02/1800.51 c Variables : 4757 (4757 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.51 c Constraints : 11785 initial, 20213 maximal 1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.51 c trivial : 0.01 798 0 0 0 0 0 0 0 1800.02/1800.51 c dualfix : 0.05 114 0 0 0 0 0 0 0 1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.51 c implics : 0.08 0 0 0 0 0 0 0 0 1800.02/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.51 c knapsack : 0.07 0 0 0 0 0 0 15 56 1800.02/1800.51 c linear : 4.36 11890 3737 0 12688 0 55214 62 81 1800.02/1800.51 c logicor : 0.09 0 0 0 0 0 0 0 0 1800.02/1800.51 c root node : - 0 - - 0 - - - - 1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.51 c knapsack : 282 0 2452058 0 167434 9667 7291888 0 0 0 1800.02/1800.51 c logicor : 11503+ 0 2350833 0 167434 44872 23261305 0 0 0 1800.02/1800.51 c countsols : 0 0 0 0 167434 0 0 0 0 0 1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.51 c knapsack : 147.75 0.00 136.86 0.00 10.89 1800.02/1800.51 c logicor : 1047.75 0.00 250.09 0.00 797.66 1800.02/1800.51 c countsols : 0.16 0.00 0.00 0.00 0.16 1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.51 c vbounds : 1.44 1 0 0 1800.02/1800.51 c rootredcost : 1.28 0 0 0 1800.02/1800.51 c pseudoobj : 0.98 0 0 0 1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.51 c propagation : 29.22 54539 54539 793679 44.2 6004 17.9 - 1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.51 c applied globally : - - - 331918 37.7 - - - 1800.02/1800.51 c applied locally : - - - 0 0.0 - - - 1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.02/1800.51 c redcost : 0.00 0 0 0 0 0 1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0 1800.02/1800.51 c intobj : 0.00 0 0 0 0 0 1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.51 c gomory : 0.00 0 0 0 0 0 1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0 1800.02/1800.51 c cmir : 0.00 0 0 0 0 0 1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.51 c clique : 0.00 0 0 0 0 0 1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.51 c mcf : 0.00 0 0 0 0 0 1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0 1800.02/1800.51 c Pricers : Time Calls Vars 1800.02/1800.51 c problem variables: 0.00 0 0 1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0 1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.51 c inference : 309.07 167434 0 0 0 0 334868 1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.51 c random : 0.00 0 0 0 0 0 0 1800.02/1800.51 c Primal Heuristics : Time Calls Found 1800.02/1800.51 c LP solutions : 0.00 - 0 1800.02/1800.51 c pseudo solutions : 0.00 - 0 1800.02/1800.51 c trivial : 0.04 1 0 1800.02/1800.51 c simplerounding : 0.00 0 0 1800.02/1800.51 c zirounding : 0.00 0 0 1800.02/1800.51 c rounding : 0.00 0 0 1800.02/1800.51 c shifting : 0.00 0 0 1800.02/1800.51 c intshifting : 0.00 0 0 1800.02/1800.51 c oneopt : 0.00 0 0 1800.02/1800.51 c twoopt : 0.00 0 0 1800.02/1800.51 c fixandinfer : 0.00 0 0 1800.02/1800.51 c feaspump : 0.00 0 0 1800.02/1800.51 c coefdiving : 0.00 0 0 1800.02/1800.51 c pscostdiving : 0.00 0 0 1800.02/1800.51 c fracdiving : 0.00 0 0 1800.02/1800.51 c veclendiving : 0.00 0 0 1800.02/1800.51 c intdiving : 0.00 0 0 1800.02/1800.51 c actconsdiving : 0.00 0 0 1800.02/1800.51 c objpscostdiving : 0.00 0 0 1800.02/1800.51 c rootsoldiving : 0.00 0 0 1800.02/1800.51 c linesearchdiving : 0.00 0 0 1800.02/1800.51 c guideddiving : 0.00 0 0 1800.02/1800.51 c octane : 0.00 0 0 1800.02/1800.51 c rens : 0.00 0 0 1800.02/1800.51 c rins : 0.00 0 0 1800.02/1800.51 c localbranching : 0.00 0 0 1800.02/1800.51 c mutation : 0.00 0 0 1800.02/1800.51 c crossover : 0.00 0 0 1800.02/1800.51 c dins : 0.00 0 0 1800.02/1800.51 c undercover : 0.00 0 0 1800.02/1800.51 c nlp : 0.00 0 0 1800.02/1800.51 c trysol : 0.00 0 0 1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.51 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.51 c dual LP : 0.00 0 0 0.00 - 1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.51 c strong branching : 0.00 0 0 0.00 - 1800.02/1800.51 c (at root node) : - 0 0 0.00 - 1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.51 c B&B Tree : 1800.02/1800.51 c number of runs : 1 1800.02/1800.51 c nodes : 206972 1800.02/1800.51 c nodes (total) : 206972 1800.02/1800.51 c nodes left : 110996 1800.02/1800.51 c max depth : 367 1800.02/1800.51 c max depth (total): 367 1800.02/1800.51 c backtracks : 15618 (7.5%) 1800.02/1800.51 c delayed cutoffs : 16901 1800.02/1800.51 c repropagations : 85828 (5903556 domain reductions, 15001 cutoffs) 1800.02/1800.51 c avg switch length: 4.32 1800.02/1800.51 c switching time : 202.16 1800.02/1800.51 c Solution : 1800.02/1800.51 c Solutions found : 0 (0 improvements) 1800.02/1800.51 c Primal Bound : - 1800.02/1800.51 c Dual Bound : +0.00000000000000e+00 1800.02/1800.51 c Gap : infinite 1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.51 c Root Iterations : 0 1801.33/1801.86 c Time complete: 1801.38.
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-2684730-1278432716/watcher-2684730-1278432716 -o /tmp/evaluation-result-2684730-1278432716/solver-2684730-1278432716 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684730-1278432716.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.98 0.48 0.18 3/106 20703 /proc/meminfo: memFree=1457288/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=6584 CPUtime=0 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 995 0 0 0 0 0 0 0 22 0 1 0 11483750 6742016 919 1992294400 4194304 7136930 140733760335936 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 1646 928 254 719 0 925 0 [startup+0.012141 s] /proc/loadavg: 0.98 0.48 0.18 3/106 20703 /proc/meminfo: memFree=1457288/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=7984 CPUtime=0 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 1465 0 0 0 0 0 0 0 22 0 1 0 11483750 8175616 1388 1992294400 4194304 7136930 140733760335936 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 1996 1388 268 719 0 1275 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7984 [startup+0.101128 s] /proc/loadavg: 0.98 0.48 0.18 3/106 20703 /proc/meminfo: memFree=1457288/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=14904 CPUtime=0.1 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 3204 0 0 0 9 1 0 0 22 0 1 0 11483750 15261696 3127 1992294400 4194304 7136930 140733760335936 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 3726 3127 268 719 0 3005 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14904 [startup+0.30115 s] /proc/loadavg: 0.98 0.48 0.18 3/106 20703 /proc/meminfo: memFree=1457288/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=22704 CPUtime=0.29 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 5148 0 0 0 28 1 0 0 22 0 1 0 11483750 23248896 5071 1992294400 4194304 7136930 140733760335936 18446744073709551615 6340259 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 5676 5071 268 719 0 4955 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22704 [startup+0.701192 s] /proc/loadavg: 0.98 0.48 0.18 3/106 20703 /proc/meminfo: memFree=1457288/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=32640 CPUtime=0.69 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 7647 0 0 0 67 2 0 0 24 0 1 0 11483750 33423360 7570 1992294400 4194304 7136930 140733760335936 18446744073709551615 6340068 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 8160 7570 268 719 0 7439 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32640 [startup+1.50128 s] /proc/loadavg: 0.98 0.48 0.18 2/107 20704 /proc/meminfo: memFree=1417104/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=108860 CPUtime=1.49 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 26741 0 0 0 140 9 0 0 25 0 1 0 11483750 111472640 26237 1992294400 4194304 7136930 140733760335936 18446744073709551615 4567010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 27250 26245 313 719 0 26529 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 108860 [startup+3.10045 s] /proc/loadavg: 0.98 0.48 0.18 2/107 20704 /proc/meminfo: memFree=1317904/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=189768 CPUtime=3.09 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 46685 0 0 0 291 18 0 0 25 0 1 0 11483750 194322432 46181 1992294400 4194304 7136930 140733760335936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 47442 46181 341 719 0 46721 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 189768 [startup+6.30079 s] /proc/loadavg: 0.98 0.48 0.18 2/107 20704 /proc/meminfo: memFree=1244248/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=217744 CPUtime=6.29 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 56355 0 0 0 590 39 0 0 25 0 1 0 11483750 222969856 52782 1992294400 4194304 7136930 140733760335936 18446744073709551615 5504378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 54436 52782 346 719 0 53715 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 217744 [startup+12.7005 s] /proc/loadavg: 0.98 0.50 0.19 2/107 20704 /proc/meminfo: memFree=1241768/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=222964 CPUtime=12.68 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 61496 0 0 0 1219 49 0 0 25 0 1 0 11483750 228315136 54120 1992294400 4194304 7136930 140733760335936 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 55741 54120 393 719 0 55020 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 222964 [startup+25.5018 s] /proc/loadavg: 0.98 0.52 0.20 2/107 20704 /proc/meminfo: memFree=1233956/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=231356 CPUtime=25.48 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 63418 0 0 0 2485 63 0 0 25 0 1 0 11483750 236908544 56042 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 57839 56042 393 719 0 57118 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 231356 [startup+51.1016 s] /proc/loadavg: 0.99 0.55 0.22 2/107 20706 /proc/meminfo: memFree=1216472/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=250740 CPUtime=51.07 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 67843 0 0 0 5014 93 0 0 25 0 1 0 11483750 256757760 60467 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697113 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 62685 60467 393 719 0 61964 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 250740 [startup+102.309 s] /proc/loadavg: 0.99 0.63 0.26 2/107 20708 /proc/meminfo: memFree=1191052/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=279260 CPUtime=102.27 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 74093 0 0 0 10084 143 0 0 25 0 1 0 11483750 285962240 66717 1992294400 4194304 7136930 140733760335936 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 69815 66717 393 719 0 69094 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 279260 [startup+162.301 s] /proc/loadavg: 0.99 0.69 0.30 2/107 20708 /proc/meminfo: memFree=1159184/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=316780 CPUtime=162.24 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 82133 0 0 0 16018 206 0 0 25 0 1 0 11483750 324382720 74757 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 79195 74757 393 719 0 78474 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 316780 [startup+222.302 s] /proc/loadavg: 0.99 0.75 0.34 2/107 20710 /proc/meminfo: memFree=1127936/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=353848 CPUtime=222.24 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 89887 0 0 0 21953 271 0 0 25 0 1 0 11483750 362340352 82511 1992294400 4194304 7136930 140733760335936 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 88462 82511 393 719 0 87741 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 353848 [startup+282.301 s] /proc/loadavg: 0.99 0.79 0.38 2/107 20712 /proc/meminfo: memFree=1097804/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=390484 CPUtime=282.22 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 97523 0 0 0 27889 333 0 0 25 0 1 0 11483750 399855616 90147 1992294400 4194304 7136930 140733760335936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 97621 90147 393 719 0 96900 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 390484 [startup+342.302 s] /proc/loadavg: 0.99 0.83 0.42 2/107 20714 /proc/meminfo: memFree=1064820/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=428424 CPUtime=342.21 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 105636 0 0 0 33824 397 0 0 25 0 1 0 11483750 438706176 98260 1992294400 4194304 7136930 140733760335936 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 107106 98260 393 719 0 106385 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 428424 [startup+402.301 s] /proc/loadavg: 0.99 0.85 0.45 2/107 20714 /proc/meminfo: memFree=1039152/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=459508 CPUtime=402.19 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 112026 0 0 0 39763 456 0 0 25 0 1 0 11483750 470536192 104650 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 114877 104650 393 719 0 114156 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 459508 [startup+462.301 s] /proc/loadavg: 0.99 0.88 0.48 2/107 20719 /proc/meminfo: memFree=1014600/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=485504 CPUtime=462.17 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 117895 0 0 0 45706 511 0 0 25 0 1 0 11483750 497156096 110519 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 121376 110519 393 719 0 120655 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 485504 [startup+522.302 s] /proc/loadavg: 0.99 0.90 0.51 2/107 20721 /proc/meminfo: memFree=988436/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=517224 CPUtime=522.15 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 124466 0 0 0 51648 567 0 0 25 0 1 0 11483750 529637376 117090 1992294400 4194304 7136930 140733760335936 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 129306 117090 393 719 0 128585 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 517224 [startup+582.301 s] /proc/loadavg: 0.99 0.91 0.54 2/107 20723 /proc/meminfo: memFree=959048/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=551128 CPUtime=582.14 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 131739 0 0 0 57588 626 0 0 25 0 1 0 11483750 564355072 124363 1992294400 4194304 7136930 140733760335936 18446744073709551615 5005094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 137782 124363 393 719 0 137061 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 551128 [startup+642.302 s] /proc/loadavg: 0.99 0.93 0.57 2/107 20725 /proc/meminfo: memFree=933876/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=580856 CPUtime=642.13 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 137992 0 0 0 63529 684 0 0 25 0 1 0 11483750 594796544 130616 1992294400 4194304 7136930 140733760335936 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 145214 130616 393 719 0 144493 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 580856 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.69 2/107 20735 /proc/meminfo: memFree=772924/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=772792 CPUtime=1002.03 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 178074 0 0 0 99164 1039 0 0 25 0 1 0 11483750 791339008 170698 1992294400 4194304 7136930 140733760335936 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 193198 170698 393 719 0 192477 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 772792 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.71 2/107 20735 /proc/meminfo: memFree=750976/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=804264 CPUtime=1062.01 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 183700 0 0 0 105102 1099 0 0 25 0 1 0 11483750 823566336 176324 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 201066 176324 393 719 0 200345 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 804264 [startup+1122.3 s] /proc/loadavg: 1.03 0.99 0.73 2/107 20737 /proc/meminfo: memFree=719852/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=842020 CPUtime=1122 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 191330 0 0 0 111038 1162 0 0 25 0 1 0 11483750 862228480 183954 1992294400 4194304 7136930 140733760335936 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 210505 183954 393 719 0 209784 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 842020 [startup+1182.3 s] /proc/loadavg: 1.01 0.99 0.74 2/107 20739 /proc/meminfo: memFree=693688/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=874384 CPUtime=1181.99 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 197904 0 0 0 116975 1224 0 0 25 0 1 0 11483750 895369216 190528 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 218596 190528 393 719 0 217875 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 874384 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.75 2/107 20741 /proc/meminfo: memFree=663928/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=909328 CPUtime=1241.97 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 205526 0 0 0 122914 1283 0 0 25 0 1 0 11483750 931151872 198150 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 227332 198150 393 719 0 226611 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 909328 [startup+1302.3 s] /proc/loadavg: 1.07 1.00 0.77 2/107 20743 /proc/meminfo: memFree=634788/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=942128 CPUtime=1301.95 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 212461 0 0 0 128852 1343 0 0 25 0 1 0 11483750 964739072 205085 1992294400 4194304 7136930 140733760335936 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 235532 205085 393 719 0 234811 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 942128 [startup+1362.3 s] /proc/loadavg: 1.08 1.02 0.79 2/107 20743 /proc/meminfo: memFree=604036/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=974744 CPUtime=1361.94 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 220364 0 0 0 134787 1407 0 0 25 0 1 0 11483750 998137856 212988 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 243686 212988 393 719 0 242965 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 974744 [startup+1422.31 s] /proc/loadavg: 1.09 1.03 0.80 2/107 20745 /proc/meminfo: memFree=576756/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1009408 CPUtime=1421.92 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 226917 0 0 0 140719 1473 0 0 25 0 1 0 11483750 1033633792 219541 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 252352 219541 393 719 0 251631 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1009408 [startup+1482.3 s] /proc/loadavg: 1.08 1.03 0.82 2/107 20747 /proc/meminfo: memFree=548980/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1045308 CPUtime=1481.9 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 233843 0 0 0 146657 1533 0 0 25 0 1 0 11483750 1070395392 226467 1992294400 4194304 7136930 140733760335936 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 261327 226467 393 719 0 260606 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1045308 [startup+1542.3 s] /proc/loadavg: 1.08 1.04 0.83 2/107 20749 /proc/meminfo: memFree=515252/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1086704 CPUtime=1541.88 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 242303 0 0 0 152590 1598 0 0 25 0 1 0 11483750 1112784896 234927 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 271676 234927 393 719 0 270955 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1086704 [startup+1602.3 s] /proc/loadavg: 1.07 1.04 0.84 2/107 20749 /proc/meminfo: memFree=484500/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1122712 CPUtime=1601.87 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 249990 0 0 0 158525 1662 0 0 25 0 1 0 11483750 1149657088 242614 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 280678 242614 393 719 0 279957 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1122712 [startup+1662.3 s] /proc/loadavg: 1.07 1.05 0.85 2/107 20751 /proc/meminfo: memFree=461312/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1151060 CPUtime=1661.86 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 255785 0 0 0 164463 1723 0 0 25 0 1 0 11483750 1178685440 248409 1992294400 4194304 7136930 140733760335936 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 287765 248409 393 719 0 287044 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1151060 [startup+1722.3 s] /proc/loadavg: 1.06 1.05 0.86 2/107 20753 /proc/meminfo: memFree=430684/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1191476 CPUtime=1721.84 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 263397 0 0 0 170400 1784 0 0 25 0 1 0 11483750 1220071424 256021 1992294400 4194304 7136930 140733760335936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 297869 256021 393 719 0 297148 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1191476 [startup+1782.3 s] /proc/loadavg: 1.06 1.05 0.88 2/107 20755 /proc/meminfo: memFree=409728/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1215756 CPUtime=1781.83 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 268632 0 0 0 176337 1846 0 0 25 0 1 0 11483750 1244934144 261256 1992294400 4194304 7136930 140733760335936 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 303939 261256 393 719 0 303218 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1215756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.11 1.07 0.88 2/107 20755 /proc/meminfo: memFree=404272/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1221228 CPUtime=1800.02 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 269928 0 0 0 178139 1863 0 0 25 0 1 0 11483750 1250537472 262552 1992294400 4194304 7136930 140733760335936 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20703/statm: 305307 262552 393 719 0 304586 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1221228 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.11 1.07 0.88 2/108 20756 /proc/meminfo: memFree=404264/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1221228 CPUtime=1800.13 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 269935 0 0 0 178150 1863 0 0 25 0 1 0 11483750 1250537472 262559 1992294400 4194304 7136930 140733760335936 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 305307 262559 399 719 0 304586 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 1221228 [startup+1801.4 s] /proc/loadavg: 1.11 1.07 0.88 2/108 20756 /proc/meminfo: memFree=404264/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=1221228 CPUtime=1800.92 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 269935 0 0 0 178229 1863 0 0 25 0 1 0 11483750 1250537472 262559 1992294400 4194304 7136930 140733760335936 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 305307 262559 399 719 0 304586 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 1221228 [startup+1801.81 s] /proc/loadavg: 1.10 1.07 0.88 2/108 20756 /proc/meminfo: memFree=657844/2059040 swapFree=4192956/4192956 [pid=20703] ppid=20701 vsize=154400 CPUtime=1801.33 /proc/20703/stat : 20703 (pbscip.linux.x8) R 20701 20703 20280 0 -1 4202496 269935 0 0 0 178258 1875 0 0 25 0 1 0 11483750 158105600 37834 1992294400 4194304 7136930 140733760335936 18446744073709551615 6166364 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20703/statm: 38600 37834 399 719 0 37879 0 Current children cumulated CPU time (s) 1801.33 Current children cumulated vsize (KiB) 154400 Child status: 0 Real time (s): 1801.86 CPU time (s): 1801.39 CPU user time (s): 1782.62 CPU system time (s): 18.7721 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 1221228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.62 system time used= 18.7721 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269942 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= 7 involuntary context switches= 5226 runsolver used 2.79257 second user time and 8.69868 second system time The end
Begin job on node019 at 2010-07-06 18:11:56 IDJOB=2684730 IDBENCH=73476 IDSOLVER=1167 FILE ID=node019/2684730-1278432716 PBS_JOBID= 11233453 Free space on /tmp= 62344 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1209_4-sat.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-2684730-1278432716/watcher-2684730-1278432716 -o /tmp/evaluation-result-2684730-1278432716/solver-2684730-1278432716 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684730-1278432716.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c17285ecf4c0c17a63d3aa8966d3d2bd RANDOM SEED=1819123189 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1457816 kB Buffers: 103348 kB Cached: 365284 kB SwapCached: 0 kB Active: 189728 kB Inactive: 339176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1457816 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5224 kB Writeback: 4 kB AnonPages: 60180 kB Mapped: 14460 kB Slab: 50384 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181552 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= 62340 MiB End job on node019 at 2010-07-06 18:41:59