Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.32 | 1801.9 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12037_7-sat.opb |
MD5SUM | c76ba3fc1d0a0f3a1a96791ffe6c4cf4 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 39204 |
Total number of constraints | 130975 |
Number of constraints which are clauses | 130331 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 644 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
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 | 27 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 714 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2684884-1278435435.opb> 2.29/2.35 c original problem has 39204 variables (39204 bin, 0 int, 0 impl, 0 cont) and 130975 constraints 2.29/2.35 c problem read 2.29/2.35 c No objective function, only one solution is needed. 2.29/2.35 c presolving settings loaded 2.29/2.35 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 2.99/3.03 c presolving: 8.89/8.96 c (round 1) 5981 del vars, 17655 del conss, 4327 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7724824 impls, 0 clqs 14.69/14.73 c (round 2) 12480 del vars, 41842 del conss, 10476 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7763858 impls, 0 clqs 16.39/16.48 c (round 3) 14976 del vars, 53376 del conss, 11946 chg bounds, 9 chg sides, 15 chg coeffs, 0 upgd conss, 7778194 impls, 0 clqs 17.19/17.21 c (round 4) 15801 del vars, 57323 del conss, 12475 chg bounds, 12 chg sides, 21 chg coeffs, 0 upgd conss, 7787370 impls, 0 clqs 17.59/17.65 c (round 5) 16301 del vars, 59318 del conss, 12762 chg bounds, 12 chg sides, 21 chg coeffs, 0 upgd conss, 7793958 impls, 0 clqs 17.89/17.91 c (round 6) 16563 del vars, 60399 del conss, 12915 chg bounds, 12 chg sides, 21 chg coeffs, 0 upgd conss, 7797022 impls, 0 clqs 18.09/18.13 c (round 7) 16726 del vars, 61060 del conss, 13001 chg bounds, 12 chg sides, 21 chg coeffs, 0 upgd conss, 7799629 impls, 0 clqs 18.18/18.27 c (round 8) 16807 del vars, 61434 del conss, 13053 chg bounds, 18 chg sides, 26 chg coeffs, 0 upgd conss, 7800513 impls, 0 clqs 18.39/18.47 c (round 9) 16883 del vars, 61688 del conss, 13099 chg bounds, 18 chg sides, 26 chg coeffs, 0 upgd conss, 7801125 impls, 0 clqs 18.49/18.57 c (round 10) 16907 del vars, 61839 del conss, 13107 chg bounds, 18 chg sides, 26 chg coeffs, 0 upgd conss, 7801313 impls, 0 clqs 18.59/18.67 c (round 11) 16913 del vars, 61863 del conss, 13110 chg bounds, 18 chg sides, 26 chg coeffs, 0 upgd conss, 7801381 impls, 0 clqs 18.69/18.78 c (round 12) 16919 del vars, 61882 del conss, 13114 chg bounds, 18 chg sides, 26 chg coeffs, 0 upgd conss, 7801452 impls, 0 clqs 18.79/18.87 c (round 13) 16921 del vars, 61899 del conss, 13114 chg bounds, 18 chg sides, 26 chg coeffs, 0 upgd conss, 7801480 impls, 0 clqs 19.69/19.70 c (round 14) 16921 del vars, 61899 del conss, 13114 chg bounds, 18 chg sides, 26 chg coeffs, 69076 upgd conss, 7801480 impls, 0 clqs 20.79/20.88 c (round 15) 16921 del vars, 61899 del conss, 13114 chg bounds, 41 chg sides, 150 chg coeffs, 69076 upgd conss, 7801480 impls, 0 clqs 21.18/21.22 c presolving (16 rounds): 21.18/21.22 c 16921 deleted vars, 61899 deleted constraints, 13114 tightened bounds, 0 added holes, 45 changed sides, 178 changed coefficients 21.18/21.22 c 7801480 implications, 4 cliques 21.18/21.22 c presolved problem has 22283 variables (22283 bin, 0 int, 0 impl, 0 cont) and 69076 constraints 21.18/21.22 c 632 constraints of type <knapsack> 21.18/21.22 c 68444 constraints of type <logicor> 21.18/21.22 c transformed objective value is always integral (scale: 1) 21.18/21.22 c Presolving Time: 17.50 21.18/21.22 c - non default parameters ---------------------------------------------------------------------- 21.18/21.22 c # SCIP version 1.2.1.2 21.18/21.22 c 21.18/21.22 c # frequency for displaying node information lines 21.18/21.22 c # [type: int, range: [-1,2147483647], default: 100] 21.18/21.22 c display/freq = 10000 21.18/21.22 c 21.18/21.22 c # maximal time in seconds to run 21.18/21.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 21.18/21.22 c limits/time = 1797.65 21.18/21.22 c 21.18/21.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 21.18/21.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 21.18/21.22 c limits/memory = 1620 21.18/21.22 c 21.18/21.22 c # solving stops, if the given number of solutions were found (-1: no limit) 21.18/21.22 c # [type: int, range: [-1,2147483647], default: -1] 21.18/21.22 c limits/solutions = 1 21.18/21.23 c 21.18/21.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 1] 21.18/21.23 c lp/solvefreq = -1 21.18/21.23 c 21.18/21.23 c # maximal number of separation rounds per node (-1: unlimited) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 5] 21.18/21.23 c separating/maxrounds = 1 21.18/21.23 c 21.18/21.23 c # maximal number of separation rounds in the root node (-1: unlimited) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: -1] 21.18/21.23 c separating/maxroundsroot = 5 21.18/21.23 c 21.18/21.23 c # should presolving try to simplify inequalities 21.18/21.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 21.18/21.23 c constraints/linear/simplifyinequalities = TRUE 21.18/21.23 c 21.18/21.23 c # should disaggregation of knapsack constraints be allowed in preprocessing? 21.18/21.23 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 21.18/21.23 c constraints/knapsack/disaggregation = FALSE 21.18/21.23 c 21.18/21.23 c # should presolving try to simplify knapsacks 21.18/21.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 21.18/21.23 c constraints/knapsack/simplifyinequalities = TRUE 21.18/21.23 c 21.18/21.23 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: -1] 21.18/21.23 c presolving/probing/maxrounds = 0 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/coefdiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.18/21.23 c heuristics/coefdiving/maxlpiterquot = 0.075 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/coefdiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 30] 21.18/21.23 c heuristics/crossover/freq = -1 21.18/21.23 c 21.18/21.23 c # number of nodes added to the contingent of the total nodes 21.18/21.23 c # [type: longint, range: [0,9223372036854775807], default: 500] 21.18/21.23 c heuristics/crossover/nodesofs = 750 21.18/21.23 c 21.18/21.23 c # number of nodes without incumbent change that heuristic should wait 21.18/21.23 c # [type: longint, range: [0,9223372036854775807], default: 200] 21.18/21.23 c heuristics/crossover/nwaitingnodes = 100 21.18/21.23 c 21.18/21.23 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 21.18/21.23 c # [type: real, range: [0,1], default: 0.1] 21.18/21.23 c heuristics/crossover/nodesquot = 0.15 21.18/21.23 c 21.18/21.23 c # minimum percentage of integer variables that have to be fixed 21.18/21.23 c # [type: real, range: [0,1], default: 0.666] 21.18/21.23 c heuristics/crossover/minfixingrate = 0.5 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 20] 21.18/21.23 c heuristics/feaspump/freq = -1 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/feaspump/maxlpiterofs = 2000 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/fracdiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.18/21.23 c heuristics/fracdiving/maxlpiterquot = 0.075 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/fracdiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/guideddiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.18/21.23 c heuristics/guideddiving/maxlpiterquot = 0.075 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/guideddiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.18/21.23 c heuristics/intdiving/maxlpiterquot = 0.075 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/intshifting/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/linesearchdiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.18/21.23 c heuristics/linesearchdiving/maxlpiterquot = 0.075 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/linesearchdiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 1] 21.18/21.23 c heuristics/nlp/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 20] 21.18/21.23 c heuristics/objpscostdiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to total iteration number 21.18/21.23 c # [type: real, range: [0,1], default: 0.01] 21.18/21.23 c heuristics/objpscostdiving/maxlpiterquot = 0.015 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/objpscostdiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 1] 21.18/21.23 c heuristics/oneopt/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/pscostdiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.18/21.23 c heuristics/pscostdiving/maxlpiterquot = 0.075 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/pscostdiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 0] 21.18/21.23 c heuristics/rens/freq = -1 21.18/21.23 c 21.18/21.23 c # minimum percentage of integer variables that have to be fixable 21.18/21.23 c # [type: real, range: [0,1], default: 0.5] 21.18/21.23 c heuristics/rens/minfixingrate = 0.3 21.18/21.23 c 21.18/21.23 c # number of nodes added to the contingent of the total nodes 21.18/21.23 c # [type: longint, range: [0,9223372036854775807], default: 500] 21.18/21.23 c heuristics/rens/nodesofs = 2000 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 20] 21.18/21.23 c heuristics/rootsoldiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 21.18/21.23 c heuristics/rootsoldiving/maxlpiterquot = 0.015 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/rootsoldiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 1] 21.18/21.23 c heuristics/rounding/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/shifting/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 1] 21.18/21.23 c heuristics/simplerounding/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 0] 21.18/21.23 c heuristics/trivial/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 1] 21.18/21.23 c heuristics/trysol/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 10] 21.18/21.23 c heuristics/veclendiving/freq = -1 21.18/21.23 c 21.18/21.23 c # maximal fraction of diving LP iterations compared to node LP iterations 21.18/21.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.18/21.23 c heuristics/veclendiving/maxlpiterquot = 0.075 21.18/21.23 c 21.18/21.23 c # additional number of allowed LP iterations 21.18/21.23 c # [type: int, range: [0,2147483647], default: 1000] 21.18/21.23 c heuristics/veclendiving/maxlpiterofs = 1500 21.18/21.23 c 21.18/21.23 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 1] 21.18/21.23 c heuristics/zirounding/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 0] 21.18/21.23 c separating/cmir/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: 0] 21.18/21.23 c separating/flowcover/freq = -1 21.18/21.23 c 21.18/21.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 21.18/21.23 c # [type: int, range: [-1,2147483647], default: -1] 21.18/21.23 c separating/rapidlearning/freq = 0 21.18/21.23 c 21.18/21.23 c ----------------------------------------------------------------------------------------------- 21.18/21.23 c start solving 21.18/21.25 c 21.28/21.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 21.28/21.37 c 18.0s| 1 | 2 | 0 | - | 270M| 0 | - | 22k| 69k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 444.54/444.73 c 440s| 10000 | 4784 | 0 | 0.0 | 365M| 207 | - | 22k| 71k| 0 | 0 | 0 |8798 | 0 | 0.000000e+00 | -- | Inf 878.10/878.41 c 872s| 20000 | 10137 | 0 | 0.0 | 451M| 207 | - | 22k| 73k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf 1323.57/1324.00 c 1316s| 30000 | 16029 | 0 | 0.0 | 540M| 207 | - | 22k| 72k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf 1766.63/1767.29 c 1758s| 40000 | 22523 | 0 | 0.0 | 635M| 207 | - | 22k| 74k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf 1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.03/1800.65 c 1800.03/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.65 c Solving Time (sec) : 1791.27 1800.03/1800.65 c Solving Nodes : 40804 1800.03/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.03/1800.65 c Dual Bound : +0.00000000000000e+00 1800.03/1800.65 c Gap : infinite 1800.03/1800.65 s UNKNOWN 1800.03/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.65 c Solving Time : 1791.27 1800.03/1800.65 c Original Problem : 1800.03/1800.65 c Problem name : HOME/instance-2684884-1278435435.opb 1800.03/1800.65 c Variables : 39204 (39204 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.65 c Constraints : 130975 initial, 130975 maximal 1800.03/1800.65 c Presolved Problem : 1800.03/1800.65 c Problem name : t_HOME/instance-2684884-1278435435.opb 1800.03/1800.65 c Variables : 22283 (22283 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.65 c Constraints : 69076 initial, 74591 maximal 1800.03/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.65 c trivial : 0.08 866 0 0 0 0 0 0 0 1800.03/1800.65 c dualfix : 0.18 111 0 0 0 0 0 0 0 1800.03/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.65 c implics : 0.43 0 0 0 0 0 0 0 0 1800.03/1800.65 c probing : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.65 c knapsack : 1.16 0 0 0 0 0 0 27 152 1800.03/1800.65 c linear : 14.82 12248 3696 0 13114 0 61899 18 26 1800.03/1800.65 c logicor : 0.39 0 0 0 0 0 0 0 0 1800.03/1800.65 c root node : - 34 - - 34 - - - - 1800.03/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0 1800.03/1800.65 c knapsack : 632 0 766161 0 34071 1736 1523122 0 0 0 1800.03/1800.65 c logicor : 68444+ 0 744229 0 34071 7339 10714959 0 0 0 1800.03/1800.65 c countsols : 0 0 0 0 33791 0 0 0 0 0 1800.03/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00 1800.03/1800.65 c knapsack : 447.39 0.00 328.45 0.00 118.94 1800.03/1800.65 c logicor : 948.23 0.00 107.88 0.00 840.35 1800.03/1800.65 c countsols : 0.03 0.00 0.00 0.00 0.03 1800.03/1800.65 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.65 c vbounds : 0.41 1 0 0 1800.03/1800.65 c rootredcost : 0.37 0 0 0 1800.03/1800.65 c pseudoobj : 0.30 0 0 0 1800.03/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.65 c propagation : 4.21 9075 9051 81726 33.4 666 12.1 - 1800.03/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.03/1800.65 c applied globally : - - - 44575 26.5 - - - 1800.03/1800.65 c applied locally : - - - 0 0.0 - - - 1800.03/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.03/1800.65 c redcost : 0.00 0 0 0 0 0 1800.03/1800.65 c impliedbounds : 0.00 0 0 0 0 0 1800.03/1800.65 c intobj : 0.00 0 0 0 0 0 1800.03/1800.65 c cgmip : 0.00 0 0 0 0 0 1800.03/1800.65 c gomory : 0.00 0 0 0 0 0 1800.03/1800.65 c strongcg : 0.00 0 0 0 0 0 1800.03/1800.65 c cmir : 0.00 0 0 0 0 0 1800.03/1800.65 c flowcover : 0.00 0 0 0 0 0 1800.03/1800.65 c clique : 0.00 0 0 0 0 0 1800.03/1800.65 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.65 c mcf : 0.00 0 0 0 0 0 1800.03/1800.65 c rapidlearning : 0.00 0 0 0 0 0 1800.03/1800.65 c Pricers : Time Calls Vars 1800.03/1800.65 c problem variables: 0.00 0 0 1800.03/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.65 c relpscost : 0.00 0 0 0 0 0 0 1800.03/1800.65 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.65 c inference : 209.96 33791 0 0 0 0 67582 1800.03/1800.65 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.65 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.65 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.65 c random : 0.00 0 0 0 0 0 0 1800.03/1800.65 c Primal Heuristics : Time Calls Found 1800.03/1800.65 c LP solutions : 0.00 - 0 1800.03/1800.65 c pseudo solutions : 0.00 - 0 1800.03/1800.65 c trivial : 0.08 1 0 1800.03/1800.65 c simplerounding : 0.00 0 0 1800.03/1800.65 c zirounding : 0.00 0 0 1800.03/1800.65 c rounding : 0.00 0 0 1800.03/1800.65 c shifting : 0.00 0 0 1800.03/1800.65 c intshifting : 0.00 0 0 1800.03/1800.65 c oneopt : 0.00 0 0 1800.03/1800.65 c twoopt : 0.00 0 0 1800.03/1800.65 c fixandinfer : 0.00 0 0 1800.03/1800.65 c feaspump : 0.00 0 0 1800.03/1800.65 c coefdiving : 0.00 0 0 1800.03/1800.65 c pscostdiving : 0.00 0 0 1800.03/1800.65 c fracdiving : 0.00 0 0 1800.03/1800.65 c veclendiving : 0.00 0 0 1800.03/1800.65 c intdiving : 0.00 0 0 1800.03/1800.65 c actconsdiving : 0.00 0 0 1800.03/1800.65 c objpscostdiving : 0.00 0 0 1800.03/1800.65 c rootsoldiving : 0.00 0 0 1800.03/1800.65 c linesearchdiving : 0.00 0 0 1800.03/1800.65 c guideddiving : 0.00 0 0 1800.03/1800.65 c octane : 0.00 0 0 1800.03/1800.65 c rens : 0.00 0 0 1800.03/1800.65 c rins : 0.00 0 0 1800.03/1800.65 c localbranching : 0.00 0 0 1800.03/1800.65 c mutation : 0.00 0 0 1800.03/1800.65 c crossover : 0.00 0 0 1800.03/1800.65 c dins : 0.00 0 0 1800.03/1800.65 c undercover : 0.00 0 0 1800.03/1800.65 c nlp : 0.00 0 0 1800.03/1800.65 c trysol : 0.00 0 0 1800.03/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.65 c primal LP : 0.00 0 0 0.00 - 1800.03/1800.65 c dual LP : 0.00 0 0 0.00 - 1800.03/1800.65 c lex dual LP : 0.00 0 0 0.00 - 1800.03/1800.65 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.65 c diving/probing LP: 0.00 0 0 0.00 - 1800.03/1800.65 c strong branching : 0.00 0 0 0.00 - 1800.03/1800.65 c (at root node) : - 0 0 0.00 - 1800.03/1800.65 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.65 c B&B Tree : 1800.03/1800.65 c number of runs : 1 1800.03/1800.65 c nodes : 40804 1800.03/1800.65 c nodes (total) : 40804 1800.03/1800.65 c nodes left : 22983 1800.03/1800.65 c max depth : 207 1800.03/1800.65 c max depth (total): 207 1800.03/1800.65 c backtracks : 2613 (6.4%) 1800.03/1800.65 c delayed cutoffs : 3796 1800.03/1800.65 c repropagations : 25203 (1598578 domain reductions, 2062 cutoffs) 1800.03/1800.65 c avg switch length: 4.16 1800.03/1800.65 c switching time : 136.28 1800.03/1800.65 c Solution : 1800.03/1800.65 c Solutions found : 0 (0 improvements) 1800.03/1800.65 c Primal Bound : - 1800.03/1800.65 c Dual Bound : +0.00000000000000e+00 1800.03/1800.65 c Gap : infinite 1800.03/1800.65 c Root Dual Bound : +0.00000000000000e+00 1800.03/1800.65 c Root Iterations : 0 1801.22/1801.89 c Time complete: 1801.32.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684884-1278435435/watcher-2684884-1278435435 -o /tmp/evaluation-result-2684884-1278435435/solver-2684884-1278435435 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684884-1278435435.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: 2.02 2.08 1.95 3/105 22535 /proc/meminfo: memFree=1381424/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=6584 CPUtime=0 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 1099 0 0 0 0 0 0 0 24 0 1 0 11751751 6742016 1022 1992294400 4194304 7136930 140733625407200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 1646 1031 254 719 0 925 0 [startup+0.0857521 s] /proc/loadavg: 2.02 2.08 1.95 3/105 22535 /proc/meminfo: memFree=1381424/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=14436 CPUtime=0.08 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 3077 0 0 0 7 1 0 0 25 0 1 0 11751751 14782464 3000 1992294400 4194304 7136930 140733625407200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 3609 3000 268 719 0 2888 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14436 [startup+0.101754 s] /proc/loadavg: 2.02 2.08 1.95 3/105 22535 /proc/meminfo: memFree=1381424/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=14908 CPUtime=0.09 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 3205 0 0 0 8 1 0 0 25 0 1 0 11751751 15265792 3128 1992294400 4194304 7136930 140733625407200 18446744073709551615 6178271 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 3727 3128 268 719 0 3006 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14908 [startup+0.301776 s] /proc/loadavg: 2.02 2.08 1.95 3/105 22535 /proc/meminfo: memFree=1381424/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=26868 CPUtime=0.29 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 6223 0 0 0 27 2 0 0 25 0 1 0 11751751 27512832 6137 1992294400 4194304 7136930 140733625407200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 6717 6137 268 719 0 5996 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26868 [startup+0.700821 s] /proc/loadavg: 2.02 2.08 1.95 3/105 22535 /proc/meminfo: memFree=1381424/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=36760 CPUtime=0.69 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 8687 0 0 0 66 3 0 0 25 0 1 0 11751751 37642240 8601 1992294400 4194304 7136930 140733625407200 18446744073709551615 6285726 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 9190 8601 268 719 0 8469 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36760 [startup+1.50091 s] /proc/loadavg: 2.02 2.08 1.95 2/106 22536 /proc/meminfo: memFree=1340496/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=57844 CPUtime=1.49 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 13962 0 0 0 144 5 0 0 25 0 1 0 11751751 59232256 13876 1992294400 4194304 7136930 140733625407200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 14461 13876 268 719 0 13740 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 57844 [startup+3.10109 s] /proc/loadavg: 1.94 2.06 1.94 2/106 22536 /proc/meminfo: memFree=1305900/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=203628 CPUtime=3.09 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 50099 0 0 0 292 17 0 0 25 0 1 0 11751751 208515072 49543 1992294400 4194304 7136930 140733625407200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 50907 49543 341 719 0 50186 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 203628 [startup+6.30144 s] /proc/loadavg: 1.94 2.06 1.94 2/106 22536 /proc/meminfo: memFree=1059388/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=357868 CPUtime=6.29 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 88382 0 0 0 595 34 0 0 25 0 1 0 11751751 366456832 87826 1992294400 4194304 7136930 140733625407200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 89467 87826 341 719 0 88746 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 357868 [startup+12.7011 s] /proc/loadavg: 1.79 2.03 1.93 2/106 22536 /proc/meminfo: memFree=969984/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=424816 CPUtime=12.69 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 103534 0 0 0 1218 51 0 0 25 0 1 0 11751751 435011584 102721 1992294400 4194304 7136930 140733625407200 18446744073709551615 5966370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 106204 102721 346 719 0 105483 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 424816 [startup+25.5016 s] /proc/loadavg: 1.67 1.99 1.92 2/106 22536 /proc/meminfo: memFree=946920/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=450504 CPUtime=25.49 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 124477 0 0 0 2438 111 0 0 25 0 1 0 11751751 461316096 108672 1992294400 4194304 7136930 140733625407200 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 112626 108672 393 719 0 111905 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 450504 [startup+51.1014 s] /proc/loadavg: 1.44 1.91 1.90 2/106 22536 /proc/meminfo: memFree=929188/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=468708 CPUtime=51.07 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 128938 0 0 0 4987 120 0 0 25 0 1 0 11751751 479956992 113133 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 117177 113133 393 719 0 116456 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 468708 [startup+102.309 s] /proc/loadavg: 1.17 1.76 1.84 2/106 22538 /proc/meminfo: memFree=910092/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=489168 CPUtime=102.26 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 133662 0 0 0 10087 139 0 0 25 0 1 0 11751751 500908032 117857 1992294400 4194304 7136930 140733625407200 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 122292 117857 393 719 0 121571 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 489168 [startup+162.302 s] /proc/loadavg: 1.07 1.63 1.79 2/106 22540 /proc/meminfo: memFree=880084/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=521472 CPUtime=162.23 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 141225 0 0 0 16066 157 0 0 25 0 1 0 11751751 533987328 125420 1992294400 4194304 7136930 140733625407200 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 130368 125420 393 719 0 129647 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 521472 [startup+222.301 s] /proc/loadavg: 1.02 1.50 1.73 2/106 22542 /proc/meminfo: memFree=860492/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=543308 CPUtime=222.22 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 146063 0 0 0 22046 176 0 0 25 0 1 0 11751751 556347392 130258 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 135827 130258 393 719 0 135106 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 543308 [startup+282.302 s] /proc/loadavg: 1.01 1.41 1.69 2/106 22551 /proc/meminfo: memFree=841644/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=565004 CPUtime=282.18 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 150748 0 0 0 28022 196 0 0 25 0 1 0 11751751 578564096 134943 1992294400 4194304 7136930 140733625407200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 141251 134943 393 719 0 140530 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 565004 [startup+342.302 s] /proc/loadavg: 1.00 1.33 1.64 2/106 22553 /proc/meminfo: memFree=819944/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=590120 CPUtime=342.17 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 156038 0 0 0 34000 217 0 0 25 0 1 0 11751751 604282880 140233 1992294400 4194304 7136930 140733625407200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 147530 140233 393 719 0 146809 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 590120 [startup+402.301 s] /proc/loadavg: 1.00 1.27 1.60 2/106 22555 /proc/meminfo: memFree=803700/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=609548 CPUtime=402.15 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 160150 0 0 0 39983 232 0 0 25 0 1 0 11751751 624177152 144345 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 152387 144345 393 719 0 151666 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 609548 [startup+462.302 s] /proc/loadavg: 1.00 1.22 1.56 2/106 22557 /proc/meminfo: memFree=787952/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=628928 CPUtime=462.13 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 164136 0 0 0 45959 254 0 0 25 0 1 0 11751751 644022272 148331 1992294400 4194304 7136930 140733625407200 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 157232 148331 393 719 0 156511 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 628928 [startup+522.302 s] /proc/loadavg: 1.00 1.18 1.52 2/106 22559 /proc/meminfo: memFree=772700/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=646400 CPUtime=522.11 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 167907 0 0 0 51937 274 0 0 25 0 1 0 11751751 661913600 152102 1992294400 4194304 7136930 140733625407200 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 161600 152102 393 719 0 160879 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 646400 [startup+582.3 s] /proc/loadavg: 1.00 1.14 1.49 2/106 22559 /proc/meminfo: memFree=756208/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=665640 CPUtime=582.1 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 171947 0 0 0 57920 290 0 0 25 0 1 0 11751751 681615360 156142 1992294400 4194304 7136930 140733625407200 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 166410 156142 393 719 0 165689 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 665640 [startup+642.301 s] /proc/loadavg: 1.00 1.11 1.45 2/106 22561 /proc/meminfo: memFree=741824/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=683536 CPUtime=642.08 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 175529 0 0 0 63903 305 0 0 25 0 1 0 11751751 699940864 159724 1992294400 4194304 7136930 140733625407200 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 170884 159724 393 719 0 170163 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 683536 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.32 2/106 22569 /proc/meminfo: memFree=670400/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=773068 CPUtime=941.98 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 193428 0 0 0 93813 385 0 0 25 0 1 0 11751751 791621632 177623 1992294400 4194304 7136930 140733625407200 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 193267 177623 393 719 0 192546 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 773068 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.29 2/106 22571 /proc/meminfo: memFree=659364/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=785848 CPUtime=1001.96 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 196129 0 0 0 99797 399 0 0 25 0 1 0 11751751 804708352 180324 1992294400 4194304 7136930 140733625407200 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 196462 180324 393 719 0 195741 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 785848 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.27 2/106 22573 /proc/meminfo: memFree=648080/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=801488 CPUtime=1061.95 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 199073 0 0 0 105779 416 0 0 25 0 1 0 11751751 820723712 183268 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 200372 183268 393 719 0 199651 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 801488 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.25 2/106 22575 /proc/meminfo: memFree=633820/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=818292 CPUtime=1121.93 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 202547 0 0 0 111755 438 0 0 25 0 1 0 11751751 837931008 186742 1992294400 4194304 7136930 140733625407200 18446744073709551615 4212314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 204573 186742 393 719 0 203852 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 818292 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.24 2/106 22575 /proc/meminfo: memFree=620676/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=835616 CPUtime=1181.9 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 205812 0 0 0 117729 461 0 0 25 0 1 0 11751751 855670784 190007 1992294400 4194304 7136930 140733625407200 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 208904 190007 393 719 0 208183 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 835616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.22 2/106 22577 /proc/meminfo: memFree=606788/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=854588 CPUtime=1241.88 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 209158 0 0 0 123708 480 0 0 25 0 1 0 11751751 875098112 193353 1992294400 4194304 7136930 140733625407200 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 213647 193353 393 719 0 212926 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 854588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.20 2/106 22579 /proc/meminfo: memFree=593396/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=870756 CPUtime=1301.88 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 212517 0 0 0 129688 500 0 0 25 0 1 0 11751751 891654144 196712 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 217689 196712 393 719 0 216968 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 870756 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.18 2/106 22581 /proc/meminfo: memFree=579384/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=891664 CPUtime=1361.85 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 216011 0 0 0 135665 520 0 0 25 0 1 0 11751751 913063936 200206 1992294400 4194304 7136930 140733625407200 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 222916 200210 393 719 0 222195 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 891664 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.17 2/106 22586 /proc/meminfo: memFree=563264/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=911944 CPUtime=1421.84 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 219851 0 0 0 141644 540 0 0 25 0 1 0 11751751 933830656 204046 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 227986 204046 393 719 0 227265 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 911944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.16 2/106 22586 /proc/meminfo: memFree=548508/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=933156 CPUtime=1481.82 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 223593 0 0 0 147624 558 0 0 25 0 1 0 11751751 955551744 207788 1992294400 4194304 7136930 140733625407200 18446744073709551615 4209071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 233289 207788 393 719 0 232568 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 933156 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.15 2/106 22588 /proc/meminfo: memFree=533504/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=952304 CPUtime=1541.79 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 227361 0 0 0 153604 575 0 0 25 0 1 0 11751751 975159296 211556 1992294400 4194304 7136930 140733625407200 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 238076 211556 393 719 0 237355 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 952304 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.14 2/106 22590 /proc/meminfo: memFree=518252/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=971288 CPUtime=1601.77 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 231207 0 0 0 159582 595 0 0 25 0 1 0 11751751 994598912 215402 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 242822 215402 393 719 0 242101 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 971288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.12 2/106 22592 /proc/meminfo: memFree=504612/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=986056 CPUtime=1661.76 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 234587 0 0 0 165562 614 0 0 25 0 1 0 11751751 1009721344 218782 1992294400 4194304 7136930 140733625407200 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 246514 218782 393 719 0 245793 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 986056 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.11 2/106 22594 /proc/meminfo: memFree=491592/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=1003820 CPUtime=1721.74 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 237875 0 0 0 171544 630 0 0 25 0 1 0 11751751 1027911680 222070 1992294400 4194304 7136930 140733625407200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 250955 222070 393 719 0 250234 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1003820 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.10 2/106 22594 /proc/meminfo: memFree=478200/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=1018816 CPUtime=1781.72 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 241166 0 0 0 177525 647 0 0 25 0 1 0 11751751 1043267584 225361 1992294400 4194304 7136930 140733625407200 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 254704 225361 393 719 0 253983 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1018816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.10 2/106 22596 /proc/meminfo: memFree=474976/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=1022928 CPUtime=1800.03 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 241996 0 0 0 179350 653 0 0 25 0 1 0 11751751 1047478272 226191 1992294400 4194304 7136930 140733625407200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22535/statm: 255732 226191 393 719 0 255011 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1022928 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.10 2/106 22596 /proc/meminfo: memFree=474976/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=1018704 CPUtime=1800.82 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 242007 0 0 0 179429 653 0 0 18 0 1 0 11751751 1043152896 225275 1992294400 4194304 7136930 140733625407200 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 254676 225275 399 719 0 253955 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 1018704 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.10 2/107 22597 /proc/meminfo: memFree=554576/2059040 swapFree=4192956/4192956 [pid=22535] ppid=22533 vsize=361752 CPUtime=1801.22 /proc/22535/stat : 22535 (pbscip.linux.x8) R 22533 22535 22003 0 -1 4202496 242007 0 0 0 179462 660 0 0 19 0 1 0 11751751 370434048 79828 1992294400 4194304 7136930 140733625407200 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22535/statm: 90438 79828 399 719 0 89717 0 Current children cumulated CPU time (s) 1801.22 Current children cumulated vsize (KiB) 361752 Child status: 0 Real time (s): 1801.9 CPU time (s): 1801.32 CPU user time (s): 1794.68 CPU system time (s): 6.64199 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 1022928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.68 system time used= 6.64199 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 242014 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= 3 involuntary context switches= 4385 runsolver used 2.82957 second user time and 8.66268 second system time The end
Begin job on node087 at 2010-07-06 18:57:15 IDJOB=2684884 IDBENCH=73860 IDSOLVER=1167 FILE ID=node087/2684884-1278435435 PBS_JOBID= 11233438 Free space on /tmp= 62508 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-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-2684884-1278435435/watcher-2684884-1278435435 -o /tmp/evaluation-result-2684884-1278435435/solver-2684884-1278435435 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684884-1278435435.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c76ba3fc1d0a0f3a1a96791ffe6c4cf4 RANDOM SEED=1819123189 node087.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.201 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.40 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.201 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1381952 kB Buffers: 106284 kB Cached: 432164 kB SwapCached: 0 kB Active: 222712 kB Inactive: 376112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1381952 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7488 kB Writeback: 0 kB AnonPages: 60424 kB Mapped: 14728 kB Slab: 56368 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 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= 62504 MiB End job on node087 at 2010-07-06 19:27:18