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 | ? | 1790.46 | 1790.93 |
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.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-2704711-1278580361.opb> 1.99/2.10 c original problem has 39204 variables (39204 bin, 0 int, 0 impl, 0 cont) and 130975 constraints 1.99/2.10 c problem read 2.10/2.10 c No objective function, only one solution is needed. 2.10/2.10 c presolving settings loaded 2.79/2.82 c presolving: 9.68/9.70 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 15.59/15.60 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 17.29/17.30 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.99/18.01 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 18.39/18.42 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 18.60/18.65 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.79/18.84 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.89/18.95 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 19.09/19.11 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 19.09/19.18 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 19.19/19.25 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 19.29/19.32 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 19.29/19.38 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.89/19.99 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 21.28/21.38 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.58/21.69 c presolving (16 rounds): 21.58/21.69 c 16921 deleted vars, 61899 deleted constraints, 13114 tightened bounds, 0 added holes, 45 changed sides, 178 changed coefficients 21.58/21.69 c 7801480 implications, 4 cliques 21.58/21.69 c presolved problem has 22283 variables (22283 bin, 0 int, 0 impl, 0 cont) and 69076 constraints 21.58/21.69 c 632 constraints of type <knapsack> 21.58/21.69 c 57633 constraints of type <setppc> 21.58/21.69 c 10811 constraints of type <logicor> 21.58/21.69 c transformed objective value is always integral (scale: 1) 21.58/21.69 c Presolving Time: 19.11 21.58/21.69 c - non default parameters ---------------------------------------------------------------------- 21.58/21.69 c # SCIP version 1.2.1.3 21.58/21.69 c 21.58/21.69 c # frequency for displaying node information lines 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 100] 21.58/21.69 c display/freq = 10000 21.58/21.69 c 21.58/21.69 c # maximal time in seconds to run 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 21.58/21.69 c limits/time = 1787.91 21.58/21.69 c 21.58/21.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 21.58/21.69 c limits/memory = 1620 21.58/21.69 c 21.58/21.69 c # solving stops, if the given number of solutions were found (-1: no limit) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: -1] 21.58/21.69 c limits/solutions = 1 21.58/21.69 c 21.58/21.69 c # maximal number of separation rounds per node (-1: unlimited) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 5] 21.58/21.69 c separating/maxrounds = 1 21.58/21.69 c 21.58/21.69 c # maximal number of separation rounds in the root node (-1: unlimited) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: -1] 21.58/21.69 c separating/maxroundsroot = 5 21.58/21.69 c 21.58/21.69 c # default clock type (1: CPU user seconds, 2: wall clock time) 21.58/21.69 c # [type: int, range: [1,2], default: 1] 21.58/21.69 c timing/clocktype = 2 21.58/21.69 c 21.58/21.69 c # should presolving try to simplify inequalities 21.58/21.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 21.58/21.69 c constraints/linear/simplifyinequalities = TRUE 21.58/21.69 c 21.58/21.69 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 21.58/21.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 21.58/21.69 c constraints/indicator/addCouplingCons = TRUE 21.58/21.69 c 21.58/21.69 c # should disaggregation of knapsack constraints be allowed in preprocessing? 21.58/21.69 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 21.58/21.69 c constraints/knapsack/disaggregation = FALSE 21.58/21.69 c 21.58/21.69 c # should presolving try to simplify knapsacks 21.58/21.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 21.58/21.69 c constraints/knapsack/simplifyinequalities = TRUE 21.58/21.69 c 21.58/21.69 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: -1] 21.58/21.69 c presolving/probing/maxrounds = 0 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/coefdiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.58/21.69 c heuristics/coefdiving/maxlpiterquot = 0.075 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/coefdiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 30] 21.58/21.69 c heuristics/crossover/freq = -1 21.58/21.69 c 21.58/21.69 c # number of nodes added to the contingent of the total nodes 21.58/21.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 21.58/21.69 c heuristics/crossover/nodesofs = 750 21.58/21.69 c 21.58/21.69 c # number of nodes without incumbent change that heuristic should wait 21.58/21.69 c # [type: longint, range: [0,9223372036854775807], default: 200] 21.58/21.69 c heuristics/crossover/nwaitingnodes = 100 21.58/21.69 c 21.58/21.69 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 21.58/21.69 c # [type: real, range: [0,1], default: 0.1] 21.58/21.69 c heuristics/crossover/nodesquot = 0.15 21.58/21.69 c 21.58/21.69 c # minimum percentage of integer variables that have to be fixed 21.58/21.69 c # [type: real, range: [0,1], default: 0.666] 21.58/21.69 c heuristics/crossover/minfixingrate = 0.5 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 20] 21.58/21.69 c heuristics/feaspump/freq = -1 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/feaspump/maxlpiterofs = 2000 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/fracdiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.58/21.69 c heuristics/fracdiving/maxlpiterquot = 0.075 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/fracdiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/guideddiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.58/21.69 c heuristics/guideddiving/maxlpiterquot = 0.075 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/guideddiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.58/21.69 c heuristics/intdiving/maxlpiterquot = 0.075 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/intshifting/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/linesearchdiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.58/21.69 c heuristics/linesearchdiving/maxlpiterquot = 0.075 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/linesearchdiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 1] 21.58/21.69 c heuristics/nlp/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 20] 21.58/21.69 c heuristics/objpscostdiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to total iteration number 21.58/21.69 c # [type: real, range: [0,1], default: 0.01] 21.58/21.69 c heuristics/objpscostdiving/maxlpiterquot = 0.015 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/objpscostdiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 1] 21.58/21.69 c heuristics/oneopt/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/pscostdiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.58/21.69 c heuristics/pscostdiving/maxlpiterquot = 0.075 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/pscostdiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 0] 21.58/21.69 c heuristics/rens/freq = -1 21.58/21.69 c 21.58/21.69 c # minimum percentage of integer variables that have to be fixable 21.58/21.69 c # [type: real, range: [0,1], default: 0.5] 21.58/21.69 c heuristics/rens/minfixingrate = 0.3 21.58/21.69 c 21.58/21.69 c # number of nodes added to the contingent of the total nodes 21.58/21.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 21.58/21.69 c heuristics/rens/nodesofs = 2000 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 20] 21.58/21.69 c heuristics/rootsoldiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 21.58/21.69 c heuristics/rootsoldiving/maxlpiterquot = 0.015 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/rootsoldiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 1] 21.58/21.69 c heuristics/rounding/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/shifting/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 1] 21.58/21.69 c heuristics/simplerounding/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 0] 21.58/21.69 c heuristics/trivial/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 1] 21.58/21.69 c heuristics/trysol/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 10] 21.58/21.69 c heuristics/veclendiving/freq = -1 21.58/21.69 c 21.58/21.69 c # maximal fraction of diving LP iterations compared to node LP iterations 21.58/21.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 21.58/21.69 c heuristics/veclendiving/maxlpiterquot = 0.075 21.58/21.69 c 21.58/21.69 c # additional number of allowed LP iterations 21.58/21.69 c # [type: int, range: [0,2147483647], default: 1000] 21.58/21.69 c heuristics/veclendiving/maxlpiterofs = 1500 21.58/21.69 c 21.58/21.69 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 1] 21.58/21.69 c heuristics/zirounding/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 0] 21.58/21.69 c separating/cmir/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: 0] 21.58/21.69 c separating/flowcover/freq = -1 21.58/21.69 c 21.58/21.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 21.58/21.69 c # [type: int, range: [-1,2147483647], default: -1] 21.58/21.69 c separating/rapidlearning/freq = 0 21.58/21.69 c 21.58/21.69 c ----------------------------------------------------------------------------------------------- 21.58/21.69 c start solving 21.68/21.71 c 1124.50/1124.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1124.50/1124.86 c 1123s| 1 | 0 | 50846 | - | 306M| 0 | 13k| 22k| 69k| 22k| 69k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1789.72/1790.22 c 1788s| 1 | 0 | 58593 | - | 306M| 0 | - | 22k| 69k| 22k| 69k| 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1789.72/1790.26 c 1788s| 1 | 2 | 58593 | - | 306M| 0 | - | 22k| 69k| 22k| 69k| 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1789.72/1790.26 c 1789.72/1790.26 c SCIP Status : solving was interrupted [time limit reached] 1789.72/1790.26 c Solving Time (sec) : 1788.15 1789.72/1790.26 c Solving Nodes : 1 1789.72/1790.26 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.72/1790.26 c Dual Bound : +0.00000000000000e+00 1789.72/1790.26 c Gap : infinite 1789.72/1790.26 s UNKNOWN 1789.72/1790.26 c SCIP Status : solving was interrupted [time limit reached] 1789.72/1790.26 c Solving Time : 1788.15 1789.72/1790.26 c Original Problem : 1789.72/1790.26 c Problem name : HOME/instance-2704711-1278580361.opb 1789.72/1790.26 c Variables : 39204 (39204 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.72/1790.26 c Constraints : 130975 initial, 130975 maximal 1789.72/1790.26 c Presolved Problem : 1789.72/1790.26 c Problem name : t_HOME/instance-2704711-1278580361.opb 1789.72/1790.26 c Variables : 22283 (22283 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.72/1790.26 c Constraints : 69076 initial, 69076 maximal 1789.72/1790.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.72/1790.26 c trivial : 0.08 866 0 0 0 0 0 0 0 1789.72/1790.26 c dualfix : 0.16 111 0 0 0 0 0 0 0 1789.72/1790.26 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.72/1790.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.72/1790.26 c implics : 0.44 0 0 0 0 0 0 0 0 1789.72/1790.26 c probing : 0.00 0 0 0 0 0 0 0 0 1789.72/1790.26 c knapsack : 1.30 0 0 0 0 0 0 27 152 1789.72/1790.26 c setppc : 0.27 0 0 0 0 0 0 0 0 1789.72/1790.26 c linear : 16.31 12248 3696 0 13114 0 61899 18 26 1789.72/1790.26 c logicor : 0.09 0 0 0 0 0 0 0 0 1789.72/1790.26 c root node : - 0 - - 0 - - - - 1789.72/1790.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.72/1790.26 c integral : 0 0 0 0 0 0 0 0 0 0 1789.72/1790.26 c knapsack : 632 1 1 0 1 0 0 58 0 0 1789.72/1790.26 c setppc : 57633 1 1 0 1 0 0 0 0 0 1789.72/1790.26 c logicor : 10811 1 1 0 1 0 0 0 0 0 1789.72/1790.26 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.72/1790.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.72/1790.26 c integral : 0.00 0.00 0.00 0.00 0.00 1789.72/1790.26 c knapsack : 0.04 0.04 0.00 0.00 0.00 1789.72/1790.26 c setppc : 0.04 0.01 0.00 0.00 0.02 1789.72/1790.26 c logicor : 0.03 0.00 0.02 0.00 0.01 1789.72/1790.26 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.72/1790.26 c Propagators : Time Calls Cutoffs DomReds 1789.72/1790.26 c vbounds : 0.00 1 0 0 1789.72/1790.26 c rootredcost : 0.00 0 0 0 1789.72/1790.26 c pseudoobj : 0.00 0 0 0 1789.72/1790.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.72/1790.26 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.72/1790.26 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.72/1790.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.72/1790.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.72/1790.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.72/1790.26 c applied globally : - - - 0 0.0 - - - 1789.72/1790.26 c applied locally : - - - 0 0.0 - - - 1789.72/1790.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.72/1790.26 c cut pool : 0.00 0 - - 0 - (maximal pool size: 10) 1789.72/1790.26 c redcost : 0.00 1 0 0 0 0 1789.72/1790.26 c impliedbounds : 0.13 1 0 0 0 0 1789.72/1790.26 c intobj : 0.00 0 0 0 0 0 1789.72/1790.26 c cgmip : 0.00 0 0 0 0 0 1789.72/1790.26 c gomory : 220.05 1 0 0 257 0 1789.72/1790.26 c strongcg : 220.15 1 0 0 257 0 1789.72/1790.26 c cmir : 0.00 0 0 0 0 0 1789.72/1790.26 c flowcover : 0.00 0 0 0 0 0 1789.72/1790.26 c clique : 12.23 1 0 0 7 0 1789.72/1790.26 c zerohalf : 0.00 0 0 0 0 0 1789.72/1790.26 c mcf : 5.15 1 0 0 0 0 1789.72/1790.26 c rapidlearning : 0.00 0 0 0 0 0 1789.72/1790.26 c Pricers : Time Calls Vars 1789.72/1790.26 c problem variables: 0.00 0 0 1789.72/1790.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.72/1790.26 c relpscost : 0.00 0 0 0 0 0 0 1789.72/1790.26 c pscost : 0.00 0 0 0 0 0 0 1789.72/1790.26 c inference : 0.01 1 0 0 0 0 2 1789.72/1790.26 c mostinf : 0.00 0 0 0 0 0 0 1789.72/1790.26 c leastinf : 0.00 0 0 0 0 0 0 1789.72/1790.26 c fullstrong : 0.00 0 0 0 0 0 0 1789.72/1790.26 c allfullstrong : 0.00 0 0 0 0 0 0 1789.72/1790.26 c random : 0.00 0 0 0 0 0 0 1789.72/1790.26 c Primal Heuristics : Time Calls Found 1789.72/1790.26 c LP solutions : 0.00 - 0 1789.72/1790.26 c pseudo solutions : 0.00 - 0 1789.72/1790.26 c trivial : 0.08 1 0 1789.72/1790.26 c simplerounding : 0.00 0 0 1789.72/1790.26 c zirounding : 0.00 0 0 1789.72/1790.26 c rounding : 0.00 0 0 1789.72/1790.26 c shifting : 0.00 0 0 1789.72/1790.26 c intshifting : 0.00 0 0 1789.72/1790.26 c oneopt : 0.00 0 0 1789.72/1790.26 c twoopt : 0.00 0 0 1789.72/1790.26 c fixandinfer : 0.00 0 0 1789.72/1790.26 c feaspump : 0.00 0 0 1789.72/1790.26 c coefdiving : 0.00 0 0 1789.72/1790.26 c pscostdiving : 0.00 0 0 1789.72/1790.26 c fracdiving : 0.00 0 0 1789.72/1790.26 c veclendiving : 0.00 0 0 1789.72/1790.26 c intdiving : 0.00 0 0 1789.72/1790.26 c actconsdiving : 0.00 0 0 1789.72/1790.26 c objpscostdiving : 0.00 0 0 1789.72/1790.26 c rootsoldiving : 0.00 0 0 1789.72/1790.26 c linesearchdiving : 0.00 0 0 1789.72/1790.26 c guideddiving : 0.00 0 0 1789.72/1790.26 c octane : 0.00 0 0 1789.72/1790.26 c rens : 0.00 0 0 1789.72/1790.26 c rins : 0.00 0 0 1789.72/1790.26 c localbranching : 0.00 0 0 1789.72/1790.26 c mutation : 0.00 0 0 1789.72/1790.26 c crossover : 0.00 0 0 1789.72/1790.26 c dins : 0.00 0 0 1789.72/1790.26 c undercover : 0.00 0 0 1789.72/1790.26 c nlp : 0.00 0 0 1789.72/1790.26 c trysol : 0.00 0 0 1789.72/1790.26 c LP : Time Calls Iterations Iter/call Iter/sec 1789.72/1790.26 c primal LP : 0.00 0 0 0.00 - 1789.72/1790.26 c dual LP : 1310.27 2 58593 29296.50 44.72 1789.72/1790.26 c lex dual LP : 0.00 0 0 0.00 - 1789.72/1790.26 c barrier LP : 0.00 0 0 0.00 - 1789.72/1790.26 c diving/probing LP: 0.00 0 0 0.00 - 1789.72/1790.26 c strong branching : 0.00 0 0 0.00 - 1789.72/1790.26 c (at root node) : - 0 0 0.00 - 1789.72/1790.26 c conflict analysis: 0.00 0 0 0.00 - 1789.72/1790.26 c B&B Tree : 1789.72/1790.26 c number of runs : 1 1789.72/1790.26 c nodes : 1 1789.72/1790.26 c nodes (total) : 1 1789.72/1790.26 c nodes left : 2 1789.72/1790.26 c max depth : 0 1789.72/1790.26 c max depth (total): 0 1789.72/1790.26 c backtracks : 0 (0.0%) 1789.72/1790.26 c delayed cutoffs : 0 1789.72/1790.26 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.72/1790.26 c avg switch length: 1.00 1789.72/1790.26 c switching time : 0.00 1789.72/1790.26 c Solution : 1789.72/1790.26 c Solutions found : 0 (0 improvements) 1789.72/1790.26 c Primal Bound : - 1789.72/1790.26 c Dual Bound : +0.00000000000000e+00 1789.72/1790.26 c Gap : infinite 1789.72/1790.26 c Root Dual Bound : +0.00000000000000e+00 1789.72/1790.26 c Root Iterations : 58593 1790.42/1790.93 c Time complete: 1790.45.
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-2704711-1278580361/watcher-2704711-1278580361 -o /tmp/evaluation-result-2704711-1278580361/solver-2704711-1278580361 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704711-1278580361.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29798 /proc/meminfo: memFree=1686104/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=7904 CPUtime=0 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 1125 0 0 0 0 0 0 0 20 0 1 0 26248287 8093696 1037 1992294400 4194304 8395647 140735427011664 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 1976 1046 365 1026 0 946 0 [startup+0.07536 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29798 /proc/meminfo: memFree=1686104/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=16812 CPUtime=0.06 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 3252 0 0 0 6 0 0 0 20 0 1 0 26248287 17215488 3165 1992294400 4194304 8395647 140735427011664 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 4203 3179 390 1026 0 3173 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16812 [startup+0.100362 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29798 /proc/meminfo: memFree=1686104/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=18424 CPUtime=0.09 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 3878 0 0 0 9 0 0 0 20 0 1 0 26248287 18866176 3790 1992294400 4194304 8395647 140735427011664 18446744073709551615 5754375 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 4606 3790 390 1026 0 3576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18424 [startup+0.300384 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29798 /proc/meminfo: memFree=1686104/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=32644 CPUtime=0.29 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 7430 0 0 0 28 1 0 0 20 0 1 0 26248287 33427456 7342 1992294400 4194304 8395647 140735427011664 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 8161 7342 390 1026 0 7131 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32644 [startup+0.700426 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29798 /proc/meminfo: memFree=1686104/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=41360 CPUtime=0.69 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 9611 0 0 0 67 2 0 0 20 0 1 0 26248287 42352640 9523 1992294400 4194304 8395647 140735427011664 18446744073709551615 4572780 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 10340 9523 390 1026 0 9310 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41360 [startup+1.50051 s] /proc/loadavg: 0.92 0.98 0.99 2/107 29799 /proc/meminfo: memFree=1641828/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=67820 CPUtime=1.49 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 16220 0 0 0 144 5 0 0 22 0 1 0 26248287 69447680 16132 1992294400 4194304 8395647 140735427011664 18446744073709551615 6349551 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 16955 16132 390 1026 0 15925 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 67820 [startup+3.10068 s] /proc/loadavg: 0.92 0.98 0.99 2/107 29799 /proc/meminfo: memFree=1605992/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=219852 CPUtime=3.09 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 53815 0 0 0 291 18 0 0 25 0 1 0 26248287 225128448 53373 1992294400 4194304 8395647 140735427011664 18446744073709551615 4564196 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 54963 53373 469 1026 0 53933 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 219852 [startup+6.30102 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29799 /proc/meminfo: memFree=1368904/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=349744 CPUtime=6.29 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 86039 0 0 0 601 28 0 0 25 0 1 0 26248287 358137856 85597 1992294400 4194304 8395647 140735427011664 18446744073709551615 4247616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 87436 85597 469 1026 0 86406 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 349744 [startup+12.7007 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29801 /proc/meminfo: memFree=1273796/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=427424 CPUtime=12.69 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 103656 0 0 0 1234 35 0 0 25 0 1 0 26248287 437682176 103214 1992294400 4194304 8395647 140735427011664 18446744073709551615 6085533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 106856 103214 475 1026 0 105826 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 427424 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.99 2/107 29801 /proc/meminfo: memFree=1178316/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=537248 CPUtime=25.48 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 130945 0 0 0 2504 44 0 0 25 0 1 0 26248287 550141952 127344 1992294400 4194304 8395647 140735427011664 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 134312 127344 613 1026 0 133282 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 537248 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/107 29801 /proc/meminfo: memFree=1167900/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=542988 CPUtime=51.07 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 133535 0 0 0 5058 49 0 0 25 0 1 0 26248287 556019712 129869 1992294400 4194304 8395647 140735427011664 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 135747 129869 637 1026 0 134717 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 542988 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 29803 /proc/meminfo: memFree=1161452/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=548284 CPUtime=102.27 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 135065 0 0 0 10170 57 0 0 25 0 1 0 26248287 561442816 131376 1992294400 4194304 8395647 140735427011664 18446744073709551615 6670353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 137071 131376 615 1026 0 136041 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 548284 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29805 /proc/meminfo: memFree=1158352/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=551316 CPUtime=162.25 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 135833 0 0 0 16162 63 0 0 25 0 1 0 26248287 564547584 132144 1992294400 4194304 8395647 140735427011664 18446744073709551615 6698297 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 137829 132144 615 1026 0 136799 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 551316 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29805 /proc/meminfo: memFree=1151656/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=558004 CPUtime=222.23 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 137528 0 0 0 22153 70 0 0 25 0 1 0 26248287 571396096 133781 1992294400 4194304 8395647 140735427011664 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139501 133781 585 1026 0 138471 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 558004 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29807 /proc/meminfo: memFree=1151160/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=558144 CPUtime=282.22 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 137637 0 0 0 28146 76 0 0 25 0 1 0 26248287 571539456 133890 1992294400 4194304 8395647 140735427011664 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139536 133890 585 1026 0 138506 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 558144 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29809 /proc/meminfo: memFree=1151036/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=558144 CPUtime=342.2 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 137648 0 0 0 34140 80 0 0 25 0 1 0 26248287 571539456 133896 1992294400 4194304 8395647 140735427011664 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139536 133896 580 1026 0 138506 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 558144 [startup+402.3 s] /proc/loadavg: 1.05 1.00 1.00 2/107 29814 /proc/meminfo: memFree=1150540/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=558144 CPUtime=402.18 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 137656 0 0 0 40134 84 0 0 25 0 1 0 26248287 571539456 133904 1992294400 4194304 8395647 140735427011664 18446744073709551615 6698246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139536 133904 580 1026 0 138506 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 558144 [startup+462.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 29816 /proc/meminfo: memFree=1150416/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=558144 CPUtime=462.17 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 137681 0 0 0 46129 88 0 0 25 0 1 0 26248287 571539456 133929 1992294400 4194304 8395647 140735427011664 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139536 133929 580 1026 0 138506 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 558144 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29816 /proc/meminfo: memFree=1150292/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=558144 CPUtime=522.15 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 137705 0 0 0 52123 92 0 0 25 0 1 0 26248287 571539456 133953 1992294400 4194304 8395647 140735427011664 18446744073709551615 6751195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139536 133953 580 1026 0 138506 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 558144 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29818 /proc/meminfo: memFree=1148804/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=559448 CPUtime=582.13 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 138076 0 0 0 58117 96 0 0 25 0 1 0 26248287 572874752 134324 1992294400 4194304 8395647 140735427011664 18446744073709551615 6697045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139862 134324 580 1026 0 138832 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 559448 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29820 /proc/meminfo: memFree=1150912/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=559284 CPUtime=642.13 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 141843 0 0 0 64110 103 0 0 25 0 1 0 26248287 572706816 133793 1992294400 4194304 8395647 140735427011664 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 139821 133793 580 1026 0 138791 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 559284 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1145580/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=562896 CPUtime=1002.03 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147348 0 0 0 100075 128 0 0 25 0 1 0 26248287 576405504 135055 1992294400 4194304 8395647 140735427011664 18446744073709551615 6741190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140724 135055 580 1026 0 139694 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 562896 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29832 /proc/meminfo: memFree=1145332/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1062.01 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147390 0 0 0 106069 132 0 0 25 0 1 0 26248287 576540672 135097 1992294400 4194304 8395647 140735427011664 18446744073709551615 6635624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135097 580 1026 0 139727 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 563028 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29832 /proc/meminfo: memFree=1145332/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1122 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147391 0 0 0 112064 136 0 0 25 0 1 0 26248287 576540672 135098 1992294400 4194304 8395647 140735427011664 18446744073709551615 6697941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135098 580 1026 0 139727 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 563028 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29834 /proc/meminfo: memFree=1145332/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1181.98 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147411 0 0 0 118053 145 0 0 25 0 1 0 26248287 576540672 135118 1992294400 4194304 8395647 140735427011664 18446744073709551615 6440946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135118 599 1026 0 139727 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 563028 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29836 /proc/meminfo: memFree=1145332/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1241.97 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147411 0 0 0 124044 153 0 0 25 0 1 0 26248287 576540672 135118 1992294400 4194304 8395647 140735427011664 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135118 599 1026 0 139727 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 563028 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29838 /proc/meminfo: memFree=1145208/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1301.96 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147411 0 0 0 130036 160 0 0 25 0 1 0 26248287 576540672 135118 1992294400 4194304 8395647 140735427011664 18446744073709551615 6440962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135118 599 1026 0 139727 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 563028 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29840 /proc/meminfo: memFree=1145332/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1361.94 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147412 0 0 0 136027 167 0 0 25 0 1 0 26248287 576540672 135119 1992294400 4194304 8395647 140735427011664 18446744073709551615 6124457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135119 599 1026 0 139727 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 563028 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29840 /proc/meminfo: memFree=1145332/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1421.93 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147413 0 0 0 142017 176 0 0 25 0 1 0 26248287 576540672 135120 1992294400 4194304 8395647 140735427011664 18446744073709551615 6440954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135120 600 1026 0 139727 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 563028 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29842 /proc/meminfo: memFree=1145208/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1481.9 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147413 0 0 0 148008 182 0 0 25 0 1 0 26248287 576540672 135120 1992294400 4194304 8395647 140735427011664 18446744073709551615 6124483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135120 600 1026 0 139727 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 563028 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29844 /proc/meminfo: memFree=1145208/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=563028 CPUtime=1541.89 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 147413 0 0 0 153999 190 0 0 25 0 1 0 26248287 576540672 135120 1992294400 4194304 8395647 140735427011664 18446744073709551615 7385670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 140757 135120 600 1026 0 139727 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 563028 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29846 /proc/meminfo: memFree=1123384/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=583088 CPUtime=1601.87 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153051 0 0 0 159991 196 0 0 25 0 1 0 26248287 597082112 140601 1992294400 4194304 8395647 140735427011664 18446744073709551615 6702024 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 145772 140601 652 1026 0 144742 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 583088 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29848 /proc/meminfo: memFree=1123384/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=583088 CPUtime=1661.86 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153051 0 0 0 165986 200 0 0 25 0 1 0 26248287 597082112 140601 1992294400 4194304 8395647 140735427011664 18446744073709551615 6667505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 145772 140601 652 1026 0 144742 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 583088 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29848 /proc/meminfo: memFree=1123384/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=583264 CPUtime=1721.84 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153059 0 0 0 171980 204 0 0 25 0 1 0 26248287 597262336 140609 1992294400 4194304 8395647 140735427011664 18446744073709551615 6697301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 145816 140609 652 1026 0 144786 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 583264 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29850 /proc/meminfo: memFree=1123260/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=583264 CPUtime=1781.83 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153063 0 0 0 177975 208 0 0 25 0 1 0 26248287 597262336 140613 1992294400 4194304 8395647 140735427011664 18446744073709551615 6693129 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 145816 140613 652 1026 0 144786 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 583264 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29850 /proc/meminfo: memFree=1123012/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=583772 CPUtime=1785.03 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153116 0 0 0 178295 208 0 0 25 0 1 0 26248287 597782528 140666 1992294400 4194304 8395647 140735427011664 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 145943 140666 652 1026 0 144913 0 Current children cumulated CPU time (s) 1785.03 Current children cumulated vsize (KiB) 583772 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29850 /proc/meminfo: memFree=1122516/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=585932 CPUtime=1788.22 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153244 0 0 0 178614 208 0 0 25 0 1 0 26248287 599994368 140794 1992294400 4194304 8395647 140735427011664 18446744073709551615 6702072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29798/statm: 146483 140794 652 1026 0 145453 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 585932 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29850 /proc/meminfo: memFree=1122516/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=571876 CPUtime=1789.82 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153250 0 0 0 178774 208 0 0 25 0 1 0 26248287 585601024 137697 1992294400 4194304 8395647 140735427011664 18446744073709551615 6171051 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 142969 137697 658 1026 0 141939 0 Current children cumulated CPU time (s) 1789.82 Current children cumulated vsize (KiB) 571876 [startup+1790.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29850 /proc/meminfo: memFree=1134296/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=571876 CPUtime=1790.23 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153262 0 0 0 178815 208 0 0 25 0 1 0 26248287 585601024 137699 1992294400 4194304 8395647 140735427011664 18446744073709551615 6345238 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 142969 137699 650 1026 0 141939 0 Current children cumulated CPU time (s) 1790.23 Current children cumulated vsize (KiB) 571876 [startup+1790.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29850 /proc/meminfo: memFree=1134296/2059040 swapFree=4139492/4192956 [pid=29798] ppid=29796 vsize=386340 CPUtime=1790.42 /proc/29798/stat : 29798 (pbscip.linux.x8) R 29796 29798 29206 0 -1 4202496 153263 0 0 0 178831 211 0 0 25 0 1 0 26248287 395612160 79173 1992294400 4194304 8395647 140735427011664 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29798/statm: 96585 79007 625 1026 0 95555 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (KiB) 386340 Child status: 0 Real time (s): 1790.93 CPU time (s): 1790.46 CPU user time (s): 1788.32 CPU system time (s): 2.14467 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 585932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.32 system time used= 2.14467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 153269 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= 2527 runsolver used 3.02454 second user time and 8.39172 second system time The end
Begin job on node019 at 2010-07-08 11:12:41 IDJOB=2704711 IDBENCH=73860 IDSOLVER=1213 FILE ID=node019/2704711-1278580361 PBS_JOBID= 11240098 Free space on /tmp= 62404 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-j12037_7-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-2704711-1278580361/watcher-2704711-1278580361 -o /tmp/evaluation-result-2704711-1278580361/solver-2704711-1278580361 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704711-1278580361.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c76ba3fc1d0a0f3a1a96791ffe6c4cf4 RANDOM SEED=107633512 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1686632 kB Buffers: 77536 kB Cached: 204012 kB SwapCached: 8100 kB Active: 158412 kB Inactive: 138164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1686632 kB SwapTotal: 4192956 kB SwapFree: 4139492 kB Dirty: 14640 kB Writeback: 0 kB AnonPages: 12012 kB Mapped: 11972 kB Slab: 53904 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182840 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= 62392 MiB End job on node019 at 2010-07-08 11:42:32