Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1797.47 | 1798.2 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12021_4-sat.opb |
MD5SUM | dffa0ccdf702b378cae9eb862001c6aa |
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 | 1.07983 |
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 | 32912 |
Total number of constraints | 109489 |
Number of constraints which are clauses | 108949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 540 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 213 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2704699-1278580357.opb> 1.59/1.60 c original problem has 32912 variables (32912 bin, 0 int, 0 impl, 0 cont) and 109489 constraints 1.59/1.60 c problem read 1.59/1.60 c No objective function, only one solution is needed. 1.59/1.60 c presolving settings loaded 2.10/2.14 c presolving: 7.48/7.50 c (round 1) 6651 del vars, 19245 del conss, 4969 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6235876 impls, 0 clqs 9.68/9.78 c (round 2) 13446 del vars, 48729 del conss, 11159 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6276563 impls, 0 clqs 10.18/10.28 c (round 3) 15877 del vars, 59421 del conss, 12663 chg bounds, 53 chg sides, 37 chg coeffs, 0 upgd conss, 6302161 impls, 0 clqs 10.48/10.57 c (round 4) 17321 del vars, 64447 del conss, 13780 chg bounds, 82 chg sides, 63 chg coeffs, 0 upgd conss, 6318806 impls, 0 clqs 10.68/10.78 c (round 5) 18757 del vars, 69025 del conss, 14783 chg bounds, 98 chg sides, 79 chg coeffs, 0 upgd conss, 6335993 impls, 0 clqs 10.89/10.92 c (round 6) 19737 del vars, 72389 del conss, 15401 chg bounds, 102 chg sides, 83 chg coeffs, 0 upgd conss, 6345004 impls, 0 clqs 10.99/11.01 c (round 7) 20265 del vars, 74185 del conss, 15727 chg bounds, 103 chg sides, 84 chg coeffs, 0 upgd conss, 6350994 impls, 0 clqs 10.99/11.07 c (round 8) 20602 del vars, 75370 del conss, 15921 chg bounds, 104 chg sides, 85 chg coeffs, 0 upgd conss, 6354276 impls, 0 clqs 11.08/11.12 c (round 9) 20775 del vars, 76067 del conss, 16032 chg bounds, 104 chg sides, 85 chg coeffs, 0 upgd conss, 6356146 impls, 0 clqs 11.08/11.15 c (round 10) 20891 del vars, 76499 del conss, 16115 chg bounds, 104 chg sides, 85 chg coeffs, 0 upgd conss, 6357131 impls, 0 clqs 11.08/11.19 c (round 11) 20956 del vars, 76749 del conss, 16158 chg bounds, 104 chg sides, 85 chg coeffs, 0 upgd conss, 6357605 impls, 0 clqs 11.18/11.22 c (round 12) 20988 del vars, 76881 del conss, 16178 chg bounds, 104 chg sides, 85 chg coeffs, 0 upgd conss, 6357771 impls, 0 clqs 11.18/11.24 c (round 13) 20998 del vars, 76935 del conss, 16183 chg bounds, 104 chg sides, 85 chg coeffs, 0 upgd conss, 6357809 impls, 0 clqs 11.18/11.27 c (round 14) 21000 del vars, 76949 del conss, 16183 chg bounds, 104 chg sides, 85 chg coeffs, 0 upgd conss, 6357823 impls, 0 clqs 11.49/11.54 c (round 15) 21000 del vars, 76949 del conss, 16183 chg bounds, 104 chg sides, 85 chg coeffs, 32540 upgd conss, 6357823 impls, 0 clqs 11.69/11.76 c presolving (16 rounds): 11.69/11.76 c 21000 deleted vars, 76949 deleted constraints, 16183 tightened bounds, 0 added holes, 106 changed sides, 163 changed coefficients 11.69/11.76 c 6358603 implications, 466 cliques 11.69/11.76 c presolved problem has 11912 variables (11912 bin, 0 int, 0 impl, 0 cont) and 32540 constraints 11.69/11.76 c 445 constraints of type <knapsack> 11.69/11.76 c 26485 constraints of type <setppc> 11.69/11.76 c 5610 constraints of type <logicor> 11.69/11.76 c transformed objective value is always integral (scale: 1) 11.69/11.76 c Presolving Time: 9.81 11.69/11.76 c - non default parameters ---------------------------------------------------------------------- 11.69/11.76 c # SCIP version 1.2.1.3 11.69/11.76 c 11.69/11.76 c # frequency for displaying node information lines 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 100] 11.69/11.76 c display/freq = 10000 11.69/11.76 c 11.69/11.76 c # maximal time in seconds to run 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 11.69/11.76 c limits/time = 1788.4 11.69/11.76 c 11.69/11.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 11.69/11.76 c limits/memory = 1620 11.69/11.76 c 11.69/11.76 c # solving stops, if the given number of solutions were found (-1: no limit) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: -1] 11.69/11.76 c limits/solutions = 1 11.69/11.76 c 11.69/11.76 c # maximal number of separation rounds per node (-1: unlimited) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 5] 11.69/11.76 c separating/maxrounds = 1 11.69/11.76 c 11.69/11.76 c # maximal number of separation rounds in the root node (-1: unlimited) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: -1] 11.69/11.76 c separating/maxroundsroot = 5 11.69/11.76 c 11.69/11.76 c # default clock type (1: CPU user seconds, 2: wall clock time) 11.69/11.76 c # [type: int, range: [1,2], default: 1] 11.69/11.76 c timing/clocktype = 2 11.69/11.76 c 11.69/11.76 c # should presolving try to simplify inequalities 11.69/11.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 11.69/11.76 c constraints/linear/simplifyinequalities = TRUE 11.69/11.76 c 11.69/11.76 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 11.69/11.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 11.69/11.76 c constraints/indicator/addCouplingCons = TRUE 11.69/11.76 c 11.69/11.76 c # should disaggregation of knapsack constraints be allowed in preprocessing? 11.69/11.76 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 11.69/11.76 c constraints/knapsack/disaggregation = FALSE 11.69/11.76 c 11.69/11.76 c # should presolving try to simplify knapsacks 11.69/11.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 11.69/11.76 c constraints/knapsack/simplifyinequalities = TRUE 11.69/11.76 c 11.69/11.76 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: -1] 11.69/11.76 c presolving/probing/maxrounds = 0 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/coefdiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 11.69/11.76 c heuristics/coefdiving/maxlpiterquot = 0.075 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/coefdiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 30] 11.69/11.76 c heuristics/crossover/freq = -1 11.69/11.76 c 11.69/11.76 c # number of nodes added to the contingent of the total nodes 11.69/11.76 c # [type: longint, range: [0,9223372036854775807], default: 500] 11.69/11.76 c heuristics/crossover/nodesofs = 750 11.69/11.76 c 11.69/11.76 c # number of nodes without incumbent change that heuristic should wait 11.69/11.76 c # [type: longint, range: [0,9223372036854775807], default: 200] 11.69/11.76 c heuristics/crossover/nwaitingnodes = 100 11.69/11.76 c 11.69/11.76 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 11.69/11.76 c # [type: real, range: [0,1], default: 0.1] 11.69/11.76 c heuristics/crossover/nodesquot = 0.15 11.69/11.76 c 11.69/11.76 c # minimum percentage of integer variables that have to be fixed 11.69/11.76 c # [type: real, range: [0,1], default: 0.666] 11.69/11.76 c heuristics/crossover/minfixingrate = 0.5 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 20] 11.69/11.76 c heuristics/feaspump/freq = -1 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/feaspump/maxlpiterofs = 2000 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/fracdiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 11.69/11.76 c heuristics/fracdiving/maxlpiterquot = 0.075 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/fracdiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/guideddiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 11.69/11.76 c heuristics/guideddiving/maxlpiterquot = 0.075 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/guideddiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 11.69/11.76 c heuristics/intdiving/maxlpiterquot = 0.075 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/intshifting/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/linesearchdiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 11.69/11.76 c heuristics/linesearchdiving/maxlpiterquot = 0.075 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/linesearchdiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 1] 11.69/11.76 c heuristics/nlp/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 20] 11.69/11.76 c heuristics/objpscostdiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to total iteration number 11.69/11.76 c # [type: real, range: [0,1], default: 0.01] 11.69/11.76 c heuristics/objpscostdiving/maxlpiterquot = 0.015 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/objpscostdiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 1] 11.69/11.76 c heuristics/oneopt/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/pscostdiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 11.69/11.76 c heuristics/pscostdiving/maxlpiterquot = 0.075 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/pscostdiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 0] 11.69/11.76 c heuristics/rens/freq = -1 11.69/11.76 c 11.69/11.76 c # minimum percentage of integer variables that have to be fixable 11.69/11.76 c # [type: real, range: [0,1], default: 0.5] 11.69/11.76 c heuristics/rens/minfixingrate = 0.3 11.69/11.76 c 11.69/11.76 c # number of nodes added to the contingent of the total nodes 11.69/11.76 c # [type: longint, range: [0,9223372036854775807], default: 500] 11.69/11.76 c heuristics/rens/nodesofs = 2000 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 20] 11.69/11.76 c heuristics/rootsoldiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 11.69/11.76 c heuristics/rootsoldiving/maxlpiterquot = 0.015 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/rootsoldiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 1] 11.69/11.76 c heuristics/rounding/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/shifting/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 1] 11.69/11.76 c heuristics/simplerounding/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 0] 11.69/11.76 c heuristics/trivial/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 1] 11.69/11.76 c heuristics/trysol/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 10] 11.69/11.76 c heuristics/veclendiving/freq = -1 11.69/11.76 c 11.69/11.76 c # maximal fraction of diving LP iterations compared to node LP iterations 11.69/11.76 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 11.69/11.76 c heuristics/veclendiving/maxlpiterquot = 0.075 11.69/11.76 c 11.69/11.76 c # additional number of allowed LP iterations 11.69/11.76 c # [type: int, range: [0,2147483647], default: 1000] 11.69/11.76 c heuristics/veclendiving/maxlpiterofs = 1500 11.69/11.76 c 11.69/11.76 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 1] 11.69/11.76 c heuristics/zirounding/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 0] 11.69/11.76 c separating/cmir/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: 0] 11.69/11.76 c separating/flowcover/freq = -1 11.69/11.76 c 11.69/11.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 11.69/11.76 c # [type: int, range: [-1,2147483647], default: -1] 11.69/11.76 c separating/rapidlearning/freq = 0 11.69/11.76 c 11.69/11.76 c ----------------------------------------------------------------------------------------------- 11.69/11.76 c start solving 11.69/11.77 c 78.36/78.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 78.36/78.45 c 76.8s| 1 | 0 | 13035 | - | 184M| 0 |5639 | 11k| 32k| 11k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 302.69/302.89 c 301s| 1 | 0 | 23900 | - | 184M| 0 |7379 | 11k| 32k| 11k| 32k| 122 | 0 | 0 | 0.000000e+00 | -- | Inf 459.13/459.37 c 458s| 1 | 0 | 36195 | - | 184M| 0 |7895 | 11k| 32k| 11k| 32k| 383 | 0 | 0 | 0.000000e+00 | -- | Inf 604.59/604.82 c 603s| 1 | 0 | 48647 | - | 184M| 0 |8208 | 11k| 32k| 11k| 33k| 506 | 0 | 0 | 0.000000e+00 | -- | Inf 762.44/762.78 c 761s| 1 | 0 | 62221 | - | 185M| 0 |8399 | 11k| 32k| 11k| 33k| 632 | 0 | 0 | 0.000000e+00 | -- | Inf 951.67/952.05 c 950s| 1 | 0 | 77569 | - | 185M| 0 |8355 | 11k| 32k| 11k| 33k| 770 | 0 | 0 | 0.000000e+00 | -- | Inf 1182.09/1182.59 c 1181s| 1 | 2 | 77569 | - | 185M| 0 |8355 | 11k| 32k| 11k| 33k| 770 | 0 | 23 | 0.000000e+00 | -- | Inf 1797.06/1797.80 c 1797.06/1797.80 c SCIP Status : solving was interrupted [time limit reached] 1797.06/1797.80 c Solving Time (sec) : 1796.20 1797.06/1797.80 c Solving Nodes : 3 1797.06/1797.80 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1797.06/1797.80 c Dual Bound : +0.00000000000000e+00 1797.06/1797.80 c Gap : infinite 1797.06/1797.80 s UNKNOWN 1797.06/1797.80 c SCIP Status : solving was interrupted [time limit reached] 1797.06/1797.80 c Solving Time : 1796.20 1797.06/1797.80 c Original Problem : 1797.06/1797.80 c Problem name : HOME/instance-2704699-1278580357.opb 1797.06/1797.80 c Variables : 32912 (32912 binary, 0 integer, 0 implicit integer, 0 continuous) 1797.06/1797.80 c Constraints : 109489 initial, 109489 maximal 1797.06/1797.80 c Presolved Problem : 1797.06/1797.80 c Problem name : t_HOME/instance-2704699-1278580357.opb 1797.06/1797.80 c Variables : 11912 (11912 binary, 0 integer, 0 implicit integer, 0 continuous) 1797.06/1797.80 c Constraints : 32540 initial, 32540 maximal 1797.06/1797.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1797.06/1797.80 c trivial : 0.05 1007 0 0 0 0 0 0 0 1797.06/1797.80 c dualfix : 0.10 117 0 0 0 0 0 0 0 1797.06/1797.80 c boundshift : 0.00 0 0 0 0 0 0 0 0 1797.06/1797.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1797.06/1797.80 c implics : 0.22 0 0 0 0 0 0 0 0 1797.06/1797.80 c probing : 0.00 0 0 0 0 0 0 0 0 1797.06/1797.80 c knapsack : 0.08 0 0 0 0 0 0 2 78 1797.06/1797.80 c setppc : 0.09 0 0 0 0 0 0 0 0 1797.06/1797.80 c linear : 8.88 15203 4673 0 16183 0 76949 104 85 1797.06/1797.80 c logicor : 0.04 0 0 0 0 0 0 0 0 1797.06/1797.80 c root node : - 0 - - 0 - - - - 1797.06/1797.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1797.06/1797.80 c integral : 0 0 0 3 0 0 0 0 0 6 1797.06/1797.80 c knapsack : 445 5 9 0 0 0 0 1003 0 0 1797.06/1797.80 c setppc : 26485 5 9 0 0 0 681 0 0 0 1797.06/1797.80 c logicor : 5610 5 7 0 0 0 0 0 0 0 1797.06/1797.80 c countsols : 0 0 0 0 0 0 0 0 0 0 1797.06/1797.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1797.06/1797.80 c integral : 600.93 0.00 0.00 600.93 0.00 1797.06/1797.80 c knapsack : 0.03 0.03 0.00 0.00 0.00 1797.06/1797.80 c setppc : 0.04 0.02 0.02 0.00 0.00 1797.06/1797.80 c logicor : 0.02 0.01 0.01 0.00 0.00 1797.06/1797.80 c countsols : 0.00 0.00 0.00 0.00 0.00 1797.06/1797.80 c Propagators : Time Calls Cutoffs DomReds 1797.06/1797.80 c vbounds : 0.00 1 0 0 1797.06/1797.80 c rootredcost : 0.00 0 0 0 1797.06/1797.80 c pseudoobj : 0.00 0 0 0 1797.06/1797.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1797.06/1797.80 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1797.06/1797.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1797.06/1797.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1797.06/1797.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1797.06/1797.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1797.06/1797.80 c applied globally : - - - 0 0.0 - - - 1797.06/1797.80 c applied locally : - - - 0 0.0 - - - 1797.06/1797.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1797.06/1797.80 c cut pool : 0.00 4 - - 1 - (maximal pool size: 265) 1797.06/1797.80 c redcost : 0.01 7 0 0 0 0 1797.06/1797.80 c impliedbounds : 0.23 5 0 0 370 0 1797.06/1797.80 c intobj : 0.00 0 0 0 0 0 1797.06/1797.80 c cgmip : 0.00 0 0 0 0 0 1797.06/1797.80 c gomory : 89.95 5 0 0 2000 0 1797.06/1797.80 c strongcg : 91.26 5 0 0 2000 0 1797.06/1797.80 c cmir : 0.00 0 0 0 0 0 1797.06/1797.80 c flowcover : 0.00 0 0 0 0 0 1797.06/1797.80 c clique : 10.69 5 0 0 43 0 1797.06/1797.80 c zerohalf : 0.00 0 0 0 0 0 1797.06/1797.80 c mcf : 2.08 2 0 0 0 0 1797.06/1797.80 c rapidlearning : 0.00 0 0 0 0 0 1797.06/1797.80 c Pricers : Time Calls Vars 1797.06/1797.80 c problem variables: 0.00 0 0 1797.06/1797.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1797.06/1797.80 c relpscost : 600.93 3 0 0 0 0 6 1797.06/1797.80 c pscost : 0.00 0 0 0 0 0 0 1797.06/1797.80 c inference : 0.00 0 0 0 0 0 0 1797.06/1797.80 c mostinf : 0.00 0 0 0 0 0 0 1797.06/1797.80 c leastinf : 0.00 0 0 0 0 0 0 1797.06/1797.80 c fullstrong : 0.00 0 0 0 0 0 0 1797.06/1797.80 c allfullstrong : 0.00 0 0 0 0 0 0 1797.06/1797.80 c random : 0.00 0 0 0 0 0 0 1797.06/1797.80 c Primal Heuristics : Time Calls Found 1797.06/1797.80 c LP solutions : 0.00 - 0 1797.06/1797.80 c pseudo solutions : 0.00 - 0 1797.06/1797.80 c trivial : 0.06 1 0 1797.06/1797.80 c simplerounding : 0.00 0 0 1797.06/1797.80 c zirounding : 0.00 0 0 1797.06/1797.80 c rounding : 0.00 0 0 1797.06/1797.80 c shifting : 0.00 0 0 1797.06/1797.80 c intshifting : 0.00 0 0 1797.06/1797.80 c oneopt : 0.00 0 0 1797.06/1797.80 c twoopt : 0.00 0 0 1797.06/1797.80 c fixandinfer : 0.00 0 0 1797.06/1797.80 c feaspump : 0.00 0 0 1797.06/1797.80 c coefdiving : 0.00 0 0 1797.06/1797.80 c pscostdiving : 0.00 0 0 1797.06/1797.80 c fracdiving : 0.00 0 0 1797.06/1797.80 c veclendiving : 0.00 0 0 1797.06/1797.80 c intdiving : 0.00 0 0 1797.06/1797.80 c actconsdiving : 0.00 0 0 1797.06/1797.80 c objpscostdiving : 0.00 0 0 1797.06/1797.80 c rootsoldiving : 0.00 0 0 1797.06/1797.80 c linesearchdiving : 0.00 0 0 1797.06/1797.80 c guideddiving : 0.00 0 0 1797.06/1797.80 c octane : 0.00 0 0 1797.06/1797.80 c rens : 0.00 0 0 1797.06/1797.80 c rins : 0.00 0 0 1797.06/1797.80 c localbranching : 0.00 0 0 1797.06/1797.80 c mutation : 0.00 0 0 1797.06/1797.80 c crossover : 0.00 0 0 1797.06/1797.80 c dins : 0.00 0 0 1797.06/1797.80 c undercover : 0.00 0 0 1797.06/1797.80 c nlp : 0.00 0 0 1797.06/1797.80 c trysol : 0.00 0 0 1797.06/1797.80 c LP : Time Calls Iterations Iter/call Iter/sec 1797.06/1797.80 c primal LP : 0.06 0 0 0.00 0.00 1797.06/1797.80 c dual LP : 990.35 8 100305 12538.12 101.28 1797.06/1797.80 c lex dual LP : 0.00 0 0 0.00 - 1797.06/1797.80 c barrier LP : 0.00 0 0 0.00 - 1797.06/1797.80 c diving/probing LP: 0.00 0 0 0.00 - 1797.06/1797.80 c strong branching : 600.90 61 61000 1000.00 101.51 1797.06/1797.80 c (at root node) : - 23 23000 1000.00 - 1797.06/1797.80 c conflict analysis: 0.00 0 0 0.00 - 1797.06/1797.80 c B&B Tree : 1797.06/1797.80 c number of runs : 1 1797.06/1797.80 c nodes : 3 1797.06/1797.80 c nodes (total) : 3 1797.06/1797.80 c nodes left : 4 1797.06/1797.80 c max depth : 2 1797.06/1797.80 c max depth (total): 2 1797.06/1797.80 c backtracks : 0 (0.0%) 1797.06/1797.80 c delayed cutoffs : 0 1797.06/1797.80 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1797.06/1797.80 c avg switch length: 1.00 1797.06/1797.80 c switching time : 0.07 1797.06/1797.80 c Solution : 1797.06/1797.80 c Solutions found : 0 (0 improvements) 1797.06/1797.80 c Primal Bound : - 1797.06/1797.80 c Dual Bound : +0.00000000000000e+00 1797.06/1797.80 c Gap : infinite 1797.06/1797.80 c Root Dual Bound : +0.00000000000000e+00 1797.06/1797.80 c Root Iterations : 77569 1797.37/1798.19 c Time complete: 1797.46.
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-2704699-1278580357/watcher-2704699-1278580357 -o /tmp/evaluation-result-2704699-1278580357/solver-2704699-1278580357 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704699-1278580357.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.03 0.97 3/106 30094 /proc/meminfo: memFree=1720856/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=7904 CPUtime=0 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 1210 0 0 0 0 0 0 0 20 0 1 0 26247237 8093696 1123 1992294400 4194304 8395647 140735748364320 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 1976 1132 365 1026 0 946 0 [startup+0.057997 s] /proc/loadavg: 1.03 1.03 0.97 3/106 30094 /proc/meminfo: memFree=1720856/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=14616 CPUtime=0.05 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 2933 0 0 0 4 1 0 0 20 0 1 0 26247237 14966784 2845 1992294400 4194304 8395647 140735748364320 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 3654 2845 390 1026 0 2624 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14616 [startup+0.101994 s] /proc/loadavg: 1.03 1.03 0.97 3/106 30094 /proc/meminfo: memFree=1720856/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=18420 CPUtime=0.09 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 3886 0 0 0 8 1 0 0 20 0 1 0 26247237 18862080 3799 1992294400 4194304 8395647 140735748364320 18446744073709551615 7385711 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 4605 3803 390 1026 0 3575 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18420 [startup+0.301983 s] /proc/loadavg: 1.03 1.03 0.97 3/106 30094 /proc/meminfo: memFree=1720856/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=30420 CPUtime=0.29 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 6882 0 0 0 27 2 0 0 20 0 1 0 26247237 31150080 6794 1992294400 4194304 8395647 140735748364320 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 7605 6794 390 1026 0 6575 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30420 [startup+0.700962 s] /proc/loadavg: 1.03 1.03 0.97 3/106 30094 /proc/meminfo: memFree=1720856/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=40388 CPUtime=0.69 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 9375 0 0 0 66 3 0 0 21 0 1 0 26247237 41357312 9287 1992294400 4194304 8395647 140735748364320 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 10097 9287 390 1026 0 9067 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40388 [startup+1.50092 s] /proc/loadavg: 1.03 1.03 0.97 2/107 30095 /proc/meminfo: memFree=1675216/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=69116 CPUtime=1.49 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 16558 0 0 0 144 5 0 0 23 0 1 0 26247237 70774784 16470 1992294400 4194304 8395647 140735748364320 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 17279 16470 390 1026 0 16249 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 69116 [startup+3.10083 s] /proc/loadavg: 1.03 1.03 0.97 2/107 30095 /proc/meminfo: memFree=1556920/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=226436 CPUtime=3.09 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 55655 0 0 0 290 19 0 0 25 0 1 0 26247237 231870464 55213 1992294400 4194304 8395647 140735748364320 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 56609 55213 469 1026 0 55579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 226436 [startup+6.30065 s] /proc/loadavg: 1.03 1.03 0.97 2/107 30095 /proc/meminfo: memFree=1425232/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=316464 CPUtime=6.28 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 77178 0 0 0 603 25 0 0 25 0 1 0 26247237 324059136 76736 1992294400 4194304 8395647 140735748364320 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 79116 76736 469 1026 0 78086 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 316464 [startup+12.7003 s] /proc/loadavg: 1.03 1.03 0.97 2/107 30095 /proc/meminfo: memFree=1369680/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=370612 CPUtime=12.68 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 90716 0 0 0 1238 30 0 0 25 0 1 0 26247237 379506688 88970 1992294400 4194304 8395647 140735748364320 18446744073709551615 7382041 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 92653 88970 601 1026 0 91623 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 370612 [startup+25.5016 s] /proc/loadavg: 1.02 1.03 0.97 2/107 30095 /proc/meminfo: memFree=1359388/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=375176 CPUtime=25.48 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 92591 0 0 0 2514 34 0 0 25 0 1 0 26247237 384180224 90770 1992294400 4194304 8395647 140735748364320 18446744073709551615 6697672 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 93794 90770 583 1026 0 92764 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 375176 [startup+51.1012 s] /proc/loadavg: 1.01 1.03 0.97 2/107 30097 /proc/meminfo: memFree=1356288/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=377744 CPUtime=51.07 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 93482 0 0 0 5067 40 0 0 25 0 1 0 26247237 386809856 91607 1992294400 4194304 8395647 140735748364320 18446744073709551615 6698252 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 94436 91607 598 1026 0 93406 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 377744 [startup+102.308 s] /proc/loadavg: 1.00 1.02 0.97 2/107 30097 /proc/meminfo: memFree=1353808/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=380104 CPUtime=102.26 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 94117 0 0 0 10175 51 0 0 25 0 1 0 26247237 389226496 92226 1992294400 4194304 8395647 140735748364320 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 95026 92226 595 1026 0 93996 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 380104 [startup+162.3 s] /proc/loadavg: 1.00 1.02 0.97 2/107 30099 /proc/meminfo: memFree=1353808/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=380104 CPUtime=162.23 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 94119 0 0 0 16160 63 0 0 25 0 1 0 26247237 389226496 92228 1992294400 4194304 8395647 140735748364320 18446744073709551615 6124483 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 95026 92228 597 1026 0 93996 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 380104 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.97 2/107 30101 /proc/meminfo: memFree=1340664/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=394032 CPUtime=222.22 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 97470 0 0 0 22146 76 0 0 25 0 1 0 26247237 403488768 95547 1992294400 4194304 8395647 140735748364320 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98508 95547 615 1026 0 97478 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 394032 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 30103 /proc/meminfo: memFree=1339796/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=394032 CPUtime=282.19 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 97688 0 0 0 28134 85 0 0 25 0 1 0 26247237 403488768 95764 1992294400 4194304 8395647 140735748364320 18446744073709551615 6693383 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98508 95764 614 1026 0 97478 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 394032 [startup+342.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 30103 /proc/meminfo: memFree=1339548/2059040 swapFree=4082504/4192956 [pid=30094] ppid=30092 vsize=394032 CPUtime=342.18 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 97738 0 0 0 34121 97 0 0 25 0 1 0 26247237 403488768 95814 1992294400 4194304 8395647 140735748364320 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98508 95814 615 1026 0 97478 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 394032 [startup+402.3 s] /proc/loadavg: 1.07 1.02 0.97 2/107 30108 /proc/meminfo: memFree=1335192/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=396968 CPUtime=402.15 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 98497 0 0 0 40109 106 0 0 25 0 1 0 26247237 406495232 96573 1992294400 4194304 8395647 140735748364320 18446744073709551615 6697723 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 99242 96573 615 1026 0 98212 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 396968 [startup+462.302 s] /proc/loadavg: 1.08 1.03 0.98 2/107 30110 /proc/meminfo: memFree=1335192/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=396968 CPUtime=462.13 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 98510 0 0 0 46095 118 0 0 25 0 1 0 26247237 406495232 96586 1992294400 4194304 8395647 140735748364320 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 99242 96586 615 1026 0 98212 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 396968 [startup+522.3 s] /proc/loadavg: 1.15 1.05 0.99 2/107 30112 /proc/meminfo: memFree=1344492/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=389764 CPUtime=522.11 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 99098 0 0 0 52082 129 0 0 25 0 1 0 26247237 399118336 94415 1992294400 4194304 8395647 140735748364320 18446744073709551615 6390518 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 97441 94415 615 1026 0 96411 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 389764 [startup+582.3 s] /proc/loadavg: 1.09 1.05 1.00 2/107 30114 /proc/meminfo: memFree=1342632/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=390652 CPUtime=582.09 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 99560 0 0 0 58069 140 0 0 25 0 1 0 26247237 400027648 94877 1992294400 4194304 8395647 140735748364320 18446744073709551615 6702072 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 97663 94877 615 1026 0 96633 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 390652 [startup+642.301 s] /proc/loadavg: 1.03 1.04 1.00 2/107 30114 /proc/meminfo: memFree=1337672/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=394900 CPUtime=642.08 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 101261 0 0 0 64057 151 0 0 25 0 1 0 26247237 404377600 96215 1992294400 4194304 8395647 140735748364320 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98725 96215 691 1026 0 97695 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 394900 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1340044/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=391628 CPUtime=1061.94 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105018 0 0 0 105975 219 0 0 25 0 1 0 26247237 401027072 95387 1992294400 4194304 8395647 140735748364320 18446744073709551615 6702072 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 97907 95387 618 1026 0 96877 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 391628 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30128 /proc/meminfo: memFree=1340044/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=391628 CPUtime=1121.91 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105018 0 0 0 111962 229 0 0 25 0 1 0 26247237 401027072 95387 1992294400 4194304 8395647 140735748364320 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 97907 95387 618 1026 0 96877 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 391628 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30130 /proc/meminfo: memFree=1340044/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=391628 CPUtime=1181.87 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105018 0 0 0 117949 238 0 0 25 0 1 0 26247237 401027072 95387 1992294400 4194304 8395647 140735748364320 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 97907 95387 618 1026 0 96877 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 391628 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30130 /proc/meminfo: memFree=1339920/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=391628 CPUtime=1241.84 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105023 0 0 0 123935 249 0 0 25 0 1 0 26247237 401027072 95392 1992294400 4194304 8395647 140735748364320 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 97907 95392 619 1026 0 96877 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 391628 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30132 /proc/meminfo: memFree=1337812/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1301.82 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 129924 258 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6576688 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 393376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30134 /proc/meminfo: memFree=1337812/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1361.79 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 135912 267 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6701816 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 393376 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30136 /proc/meminfo: memFree=1337812/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1421.76 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 141898 278 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6391404 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 393376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30138 /proc/meminfo: memFree=1337688/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1481.72 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 147884 288 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6696700 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 393376 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30138 /proc/meminfo: memFree=1337688/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1541.69 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 153871 298 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6728514 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 393376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30140 /proc/meminfo: memFree=1337688/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1601.66 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 159857 309 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 393376 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30142 /proc/meminfo: memFree=1337688/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1661.63 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 165843 320 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 393376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30144 /proc/meminfo: memFree=1337564/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1721.61 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 171830 331 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 393376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30146 /proc/meminfo: memFree=1337316/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1781.58 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 177816 342 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6692853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 393376 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30146 /proc/meminfo: memFree=1337316/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1791.17 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 178773 344 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (KiB) 393376 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30146 /proc/meminfo: memFree=1337316/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1794.37 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 179092 345 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 393376 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30146 /proc/meminfo: memFree=1337316/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1795.96 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 179251 345 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 393376 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30146 /proc/meminfo: memFree=1337316/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1796.76 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105668 0 0 0 179331 345 0 0 25 0 1 0 26247237 402817024 96037 1992294400 4194304 8395647 140735748364320 18446744073709551615 6693623 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96037 619 1026 0 97314 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 393376 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30146 /proc/meminfo: memFree=1337316/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=393376 CPUtime=1797.16 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105674 0 0 0 179371 345 0 0 18 0 1 0 26247237 402817024 96043 1992294400 4194304 8395647 140735748364320 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 98344 96043 625 1026 0 97314 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 393376 [startup+1798.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30146 /proc/meminfo: memFree=1337316/2059040 swapFree=4082508/4192956 [pid=30094] ppid=30092 vsize=364296 CPUtime=1797.37 /proc/30094/stat : 30094 (pbscip.linux.x8) R 30092 30094 29642 0 -1 4202496 105674 0 0 0 179391 346 0 0 18 0 1 0 26247237 373039104 88848 1992294400 4194304 8395647 140735748364320 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30094/statm: 90817 88848 625 1026 0 89787 0 Current children cumulated CPU time (s) 1797.37 Current children cumulated vsize (KiB) 364296 Child status: 0 Real time (s): 1798.2 CPU time (s): 1797.47 CPU user time (s): 1793.98 CPU system time (s): 3.49547 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 401736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.98 system time used= 3.49547 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105681 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= 4 involuntary context switches= 24395 runsolver used 3.3015 second user time and 8.48371 second system time The end
Begin job on node029 at 2010-07-08 11:12:37 IDJOB=2704699 IDBENCH=73841 IDSOLVER=1213 FILE ID=node029/2704699-1278580357 PBS_JOBID= 11240094 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12021_4-sat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704699-1278580357/watcher-2704699-1278580357 -o /tmp/evaluation-result-2704699-1278580357/solver-2704699-1278580357 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704699-1278580357.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dffa0ccdf702b378cae9eb862001c6aa RANDOM SEED=900525316 node029.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1721384 kB Buffers: 55228 kB Cached: 145048 kB SwapCached: 64872 kB Active: 131892 kB Inactive: 135956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1721384 kB SwapTotal: 4192956 kB SwapFree: 4082504 kB Dirty: 15244 kB Writeback: 12 kB AnonPages: 11720 kB Mapped: 8460 kB Slab: 48072 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181344 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= 62548 MiB End job on node029 at 2010-07-08 11:42:35