Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 1798.34 | 1798.87 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_1_40.opb |
MD5SUM | be9efb792831413817cc7562bdc6c002 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 206.709 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2666276-1276676117.opb> 0.03/0.05 c original problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 constraints 0.03/0.05 c problem read 0.03/0.05 c No objective function, only one solution is needed. 0.03/0.05 c presolving settings loaded 0.03/0.09 c presolving: 0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24504 impls, 200 clqs 0.49/0.50 c presolving (2 rounds): 0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.49/0.50 c 24504 implications, 200 cliques 0.49/0.50 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 constraints 0.49/0.50 c 1 constraints of type <knapsack> 0.49/0.50 c 200 constraints of type <setppc> 0.49/0.50 c 3038 constraints of type <and> 0.49/0.50 c 1 constraints of type <linear> 0.49/0.50 c 100 constraints of type <logicor> 0.49/0.50 c transformed objective value is always integral (scale: 1) 0.49/0.50 c Presolving Time: 0.23 0.49/0.50 c - non default parameters ---------------------------------------------------------------------- 0.49/0.50 c # SCIP version 1.2.1.2 0.49/0.50 c 0.49/0.50 c # frequency for displaying node information lines 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100] 0.49/0.50 c display/freq = 10000 0.49/0.50 c 0.49/0.50 c # maximal time in seconds to run 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.50 c limits/time = 1799.96 0.49/0.50 c 0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.50 c limits/memory = 1620 0.49/0.50 c 0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c limits/solutions = 1 0.49/0.50 c 0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5] 0.49/0.50 c separating/maxrounds = 1 0.49/0.50 c 0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c separating/maxroundsroot = 5 0.49/0.50 c 0.49/0.50 c # should presolving try to simplify inequalities 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.50 c constraints/linear/simplifyinequalities = TRUE 0.49/0.50 c 0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.49/0.50 c constraints/knapsack/disaggregation = FALSE 0.49/0.50 c 0.49/0.50 c # should presolving try to simplify knapsacks 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE 0.49/0.50 c 0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c presolving/probing/maxrounds = 0 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/coefdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/coefdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/coefdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30] 0.49/0.50 c heuristics/crossover/freq = -1 0.49/0.50 c 0.49/0.50 c # number of nodes added to the contingent of the total nodes 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.50 c heuristics/crossover/nodesofs = 750 0.49/0.50 c 0.49/0.50 c # number of nodes without incumbent change that heuristic should wait 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.49/0.50 c heuristics/crossover/nwaitingnodes = 100 0.49/0.50 c 0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.49/0.50 c # [type: real, range: [0,1], default: 0.1] 0.49/0.50 c heuristics/crossover/nodesquot = 0.15 0.49/0.51 c 0.49/0.51 c # minimum percentage of integer variables that have to be fixed 0.49/0.51 c # [type: real, range: [0,1], default: 0.666] 0.49/0.51 c heuristics/crossover/minfixingrate = 0.5 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.51 c heuristics/feaspump/freq = -1 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/feaspump/maxlpiterofs = 2000 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/fracdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/fracdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/fracdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/guideddiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/guideddiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/guideddiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/intdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/intshifting/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/linesearchdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/nlp/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.51 c heuristics/objpscostdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to total iteration number 0.49/0.51 c # [type: real, range: [0,1], default: 0.01] 0.49/0.51 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/oneopt/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/pscostdiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/pscostdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c heuristics/rens/freq = -1 0.49/0.51 c 0.49/0.51 c # minimum percentage of integer variables that have to be fixable 0.49/0.51 c # [type: real, range: [0,1], default: 0.5] 0.49/0.51 c heuristics/rens/minfixingrate = 0.3 0.49/0.51 c 0.49/0.51 c # number of nodes added to the contingent of the total nodes 0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.51 c heuristics/rens/nodesofs = 2000 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.51 c heuristics/rootsoldiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.49/0.51 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/rounding/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/shifting/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/simplerounding/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c heuristics/trivial/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/trysol/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.51 c heuristics/veclendiving/freq = -1 0.49/0.51 c 0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.51 c heuristics/veclendiving/maxlpiterquot = 0.075 0.49/0.51 c 0.49/0.51 c # additional number of allowed LP iterations 0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.51 c heuristics/veclendiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.51 c heuristics/zirounding/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c separating/cmir/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.51 c separating/flowcover/freq = -1 0.49/0.51 c 0.49/0.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.51 c separating/rapidlearning/freq = 0 0.49/0.51 c 0.49/0.51 c ----------------------------------------------------------------------------------------------- 0.49/0.51 c start solving 0.49/0.51 c 4.69/4.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.69/4.76 c 4.5s| 1 | 0 | 2724 | - | 14M| 0 |1263 |3238 |3340 |3238 |6378 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 17.29/17.38 c 16.8s| 1 | 0 | 3370 | - | 18M| 0 |1226 |3238 |3810 |3238 |6449 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf 19.70/19.77 c 19.1s| 1 | 0 | 3719 | - | 18M| 0 |1187 |3238 |3810 |3238 |6462 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf 32.28/32.37 c 31.7s| 1 | 0 | 4531 | - | 18M| 0 |1131 |3238 |3810 |3238 |6484 | 106 | 0 | 0 | 0.000000e+00 | -- | Inf 34.98/35.00 c 34.3s| 1 | 0 | 4989 | - | 18M| 0 |1098 |3238 |3810 |3238 |6499 | 121 | 0 | 0 | 0.000000e+00 | -- | Inf 47.77/47.83 c 47.1s| 1 | 0 | 5649 | - | 19M| 0 |1082 |3238 |3810 |3238 |6515 | 137 | 0 | 0 | 0.000000e+00 | -- | Inf 67.58/67.65 c 66.8s| 1 | 2 | 5649 | - | 19M| 0 |1082 |3238 |3810 |3238 |6515 | 137 | 0 | 10 | 0.000000e+00 | -- | Inf 1798.26/1798.81 c 1798.26/1798.81 c SCIP Status : problem is solved [infeasible] 1798.26/1798.81 c Solving Time (sec) : 1791.67 1798.26/1798.81 c Solving Nodes : 504 1798.26/1798.81 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1798.26/1798.81 c Dual Bound : +1.00000000000000e+20 1798.26/1798.81 c Gap : 0.00 % 1798.26/1798.81 s UNSATISFIABLE 1798.26/1798.81 c SCIP Status : problem is solved [infeasible] 1798.26/1798.81 c Solving Time : 1791.67 1798.26/1798.81 c Original Problem : 1798.26/1798.81 c Problem name : HOME/instance-2666276-1276676117.opb 1798.26/1798.81 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.26/1798.81 c Constraints : 3340 initial, 3340 maximal 1798.26/1798.81 c Presolved Problem : 1798.26/1798.81 c Problem name : t_HOME/instance-2666276-1276676117.opb 1798.26/1798.81 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.26/1798.81 c Constraints : 3340 initial, 4010 maximal 1798.26/1798.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1798.26/1798.81 c trivial : 0.00 0 0 0 0 0 0 0 0 1798.26/1798.81 c dualfix : 0.00 0 0 0 0 0 0 0 0 1798.26/1798.81 c boundshift : 0.00 0 0 0 0 0 0 0 0 1798.26/1798.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1798.26/1798.81 c implics : 0.00 0 0 0 0 0 0 0 0 1798.26/1798.81 c probing : 0.00 0 0 0 0 0 0 0 0 1798.26/1798.81 c knapsack : 0.00 0 0 0 0 0 0 0 0 1798.26/1798.81 c setppc : 0.01 0 0 0 0 0 0 0 0 1798.26/1798.81 c and : 0.18 0 0 0 0 0 0 0 0 1798.26/1798.81 c linear : 0.02 0 0 0 0 0 0 0 0 1798.26/1798.81 c logicor : 0.01 0 0 0 0 0 0 0 0 1798.26/1798.81 c root node : - 54 - - 54 - - - - 1798.26/1798.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1798.26/1798.81 c integral : 0 0 0 277 0 0 11 0 0 540 1798.26/1798.81 c knapsack : 1 5 2500 0 0 0 0 0 0 0 1798.26/1798.81 c setppc : 200 5 2500 0 0 0 506 0 0 0 1798.26/1798.81 c and : 3038 393 2500 0 0 1 25250 182823 0 0 1798.26/1798.81 c linear : 1+ 6 2499 0 0 0 96 0 0 0 1798.26/1798.81 c logicor : 100+ 5 657 0 0 0 523 0 0 0 1798.26/1798.81 c countsols : 0 0 0 0 0 0 0 0 0 0 1798.26/1798.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1798.26/1798.81 c integral : 666.22 0.00 0.00 666.22 0.00 1798.26/1798.81 c knapsack : 0.02 0.01 0.01 0.00 0.00 1798.26/1798.81 c setppc : 0.01 0.00 0.01 0.00 0.00 1798.26/1798.81 c and : 1.54 1.09 0.45 0.00 0.00 1798.26/1798.81 c linear : 0.19 0.00 0.19 0.00 0.00 1798.26/1798.81 c logicor : 0.02 0.00 0.02 0.00 0.00 1798.26/1798.81 c countsols : 0.00 0.00 0.00 0.00 0.00 1798.26/1798.81 c Propagators : Time Calls Cutoffs DomReds 1798.26/1798.81 c vbounds : 0.00 1 0 0 1798.26/1798.81 c rootredcost : 0.00 0 0 0 1798.26/1798.81 c pseudoobj : 0.00 0 0 0 1798.26/1798.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1798.26/1798.81 c propagation : 0.00 1 1 1 2.0 0 0.0 - 1798.26/1798.81 c infeasible LP : 0.54 233 226 820 12.0 3 6.7 0 1798.26/1798.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1798.26/1798.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1798.26/1798.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1798.26/1798.81 c applied globally : - - - 343 9.2 - - - 1798.26/1798.81 c applied locally : - - - 0 0.0 - - - 1798.26/1798.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1798.26/1798.81 c cut pool : 0.00 4 - - 0 - (maximal pool size: 145) 1798.26/1798.81 c redcost : 0.10 393 0 0 0 0 1798.26/1798.81 c impliedbounds : 0.00 5 0 0 147 0 1798.26/1798.81 c intobj : 0.00 0 0 0 0 0 1798.26/1798.81 c cgmip : 0.00 0 0 0 0 0 1798.26/1798.81 c gomory : 10.34 5 0 0 2 0 1798.26/1798.81 c strongcg : 23.90 5 0 0 28 0 1798.26/1798.81 c cmir : 0.00 0 0 0 0 0 1798.26/1798.81 c flowcover : 0.00 0 0 0 0 0 1798.26/1798.81 c clique : 0.29 5 0 0 37 0 1798.26/1798.81 c zerohalf : 0.00 0 0 0 0 0 1798.26/1798.81 c mcf : 0.19 5 0 0 90 0 1798.26/1798.81 c rapidlearning : 1.58 1 0 0 0 470 1798.26/1798.81 c Pricers : Time Calls Vars 1798.26/1798.81 c problem variables: 0.00 0 0 1798.26/1798.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1798.26/1798.81 c relpscost : 666.21 277 0 11 0 0 540 1798.26/1798.81 c pscost : 0.00 0 0 0 0 0 0 1798.26/1798.81 c inference : 0.00 0 0 0 0 0 0 1798.26/1798.81 c mostinf : 0.00 0 0 0 0 0 0 1798.26/1798.81 c leastinf : 0.00 0 0 0 0 0 0 1798.26/1798.81 c fullstrong : 0.00 0 0 0 0 0 0 1798.26/1798.81 c allfullstrong : 0.00 0 0 0 0 0 0 1798.26/1798.81 c random : 0.00 0 0 0 0 0 0 1798.26/1798.81 c Primal Heuristics : Time Calls Found 1798.26/1798.81 c LP solutions : 0.00 - 0 1798.26/1798.81 c pseudo solutions : 0.00 - 0 1798.26/1798.81 c trivial : 0.00 1 0 1798.26/1798.81 c simplerounding : 0.00 0 0 1798.26/1798.81 c zirounding : 0.00 0 0 1798.26/1798.81 c rounding : 0.00 0 0 1798.26/1798.81 c shifting : 0.00 0 0 1798.26/1798.81 c intshifting : 0.00 0 0 1798.26/1798.81 c oneopt : 0.00 0 0 1798.26/1798.81 c twoopt : 0.00 0 0 1798.26/1798.81 c fixandinfer : 0.00 0 0 1798.26/1798.81 c feaspump : 0.00 0 0 1798.26/1798.81 c coefdiving : 0.00 0 0 1798.26/1798.81 c pscostdiving : 0.00 0 0 1798.26/1798.81 c fracdiving : 0.00 0 0 1798.26/1798.81 c veclendiving : 0.00 0 0 1798.26/1798.81 c intdiving : 0.00 0 0 1798.26/1798.81 c actconsdiving : 0.00 0 0 1798.26/1798.81 c objpscostdiving : 0.00 0 0 1798.26/1798.81 c rootsoldiving : 0.00 0 0 1798.26/1798.81 c linesearchdiving : 0.00 0 0 1798.26/1798.81 c guideddiving : 0.00 0 0 1798.26/1798.81 c octane : 0.00 0 0 1798.26/1798.81 c rens : 0.00 0 0 1798.26/1798.81 c rins : 0.00 0 0 1798.26/1798.81 c localbranching : 0.00 0 0 1798.26/1798.81 c mutation : 0.00 0 0 1798.26/1798.81 c crossover : 0.00 0 0 1798.26/1798.81 c dins : 0.00 0 0 1798.26/1798.81 c undercover : 0.00 0 0 1798.26/1798.81 c nlp : 0.00 0 0 1798.26/1798.81 c trysol : 0.00 0 0 1798.26/1798.81 c LP : Time Calls Iterations Iter/call Iter/sec 1798.26/1798.81 c primal LP : 2.60 0 0 0.00 0.00 1798.26/1798.81 c dual LP : 1079.47 903 965992 1069.76 894.88 1798.26/1798.81 c lex dual LP : 0.00 0 0 0.00 - 1798.26/1798.81 c barrier LP : 0.00 0 0 0.00 - 1798.26/1798.81 c diving/probing LP: 0.00 0 0 0.00 - 1798.26/1798.81 c strong branching : 665.96 879 589194 670.30 884.73 1798.26/1798.81 c (at root node) : - 10 8542 854.20 - 1798.26/1798.81 c conflict analysis: 0.00 0 0 0.00 - 1798.26/1798.81 c B&B Tree : 1798.26/1798.81 c number of runs : 1 1798.26/1798.81 c nodes : 504 1798.26/1798.81 c nodes (total) : 504 1798.26/1798.81 c nodes left : 0 1798.26/1798.81 c max depth : 39 1798.26/1798.81 c max depth (total): 39 1798.26/1798.81 c backtracks : 197 (39.1%) 1798.26/1798.81 c delayed cutoffs : 37 1798.26/1798.81 c repropagations : 996 (9786 domain reductions, 0 cutoffs) 1798.26/1798.81 c avg switch length: 6.77 1798.26/1798.81 c switching time : 3.08 1798.26/1798.81 c Solution : 1798.26/1798.81 c Solutions found : 0 (0 improvements) 1798.26/1798.81 c Primal Bound : infeasible 1798.26/1798.81 c Dual Bound : - 1798.26/1798.81 c Gap : 0.00 % 1798.26/1798.81 c Root Dual Bound : +0.00000000000000e+00 1798.26/1798.81 c Root Iterations : 5649 1798.26/1798.87 c Time complete: 1798.33.
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-2666276-1276676117/watcher-2666276-1276676117 -o /tmp/evaluation-result-2666276-1276676117/solver-2666276-1276676117 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666276-1276676117.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.01 1.01 1.00 3/106 15079 /proc/meminfo: memFree=1731428/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=7724 CPUtime=0 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 1046 0 0 0 0 0 0 0 18 0 1 0 43215692 7909376 965 1992294400 4194304 8223781 140737105153072 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15079/statm: 1931 976 348 984 0 944 0 [startup+0.0462249 s] /proc/loadavg: 1.01 1.01 1.00 3/106 15079 /proc/meminfo: memFree=1731428/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=12944 CPUtime=0.03 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 2539 0 0 0 3 0 0 0 20 0 1 0 43215692 13254656 2458 1992294400 4194304 8223781 140737105153072 18446744073709551615 7206796 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15079/statm: 3236 2458 364 984 0 2249 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12944 [startup+0.101231 s] /proc/loadavg: 1.01 1.01 1.00 3/106 15079 /proc/meminfo: memFree=1731428/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=21300 CPUtime=0.09 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 4701 0 0 0 8 1 0 0 20 0 1 0 43215692 21811200 4257 1992294400 4194304 8223781 140737105153072 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 5325 4261 426 984 0 4338 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21300 [startup+0.300251 s] /proc/loadavg: 1.01 1.01 1.00 3/106 15079 /proc/meminfo: memFree=1731428/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=22476 CPUtime=0.29 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 5532 0 0 0 19 10 0 0 20 0 1 0 43215692 23015424 4573 1992294400 4194304 8223781 140737105153072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 5619 4573 444 984 0 4632 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22476 [startup+0.700292 s] /proc/loadavg: 1.01 1.01 1.00 3/106 15079 /proc/meminfo: memFree=1731428/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=38788 CPUtime=0.69 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 11647 0 0 0 47 22 0 0 20 0 1 0 43215692 39718912 8602 1992294400 4194304 8223781 140737105153072 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 9697 8602 534 984 0 8710 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38788 [startup+1.50037 s] /proc/loadavg: 1.01 1.01 1.00 2/107 15080 /proc/meminfo: memFree=1698188/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=41076 CPUtime=1.49 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 12524 0 0 0 126 23 0 0 23 0 1 0 43215692 42061824 8955 1992294400 4194304 8223781 140737105153072 18446744073709551615 6559804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 10269 8955 537 984 0 9282 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41076 [startup+3.10154 s] /proc/loadavg: 1.01 1.01 1.00 2/107 15080 /proc/meminfo: memFree=1696824/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=41204 CPUtime=3.09 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 13469 0 0 0 285 24 0 0 25 0 1 0 43215692 42192896 9018 1992294400 4194304 8223781 140737105153072 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 10301 9018 537 984 0 9314 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41204 [startup+6.30186 s] /proc/loadavg: 1.01 1.01 1.00 2/107 15080 /proc/meminfo: memFree=1696576/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=41208 CPUtime=6.29 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 14836 0 0 0 603 26 0 0 25 0 1 0 43215692 42196992 9014 1992294400 4194304 8223781 140737105153072 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 10302 9014 556 984 0 9315 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41208 [startup+12.7015 s] /proc/loadavg: 1.01 1.01 1.00 2/107 15080 /proc/meminfo: memFree=1696576/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=41208 CPUtime=12.69 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 14839 0 0 0 1241 28 0 0 25 0 1 0 43215692 42196992 9017 1992294400 4194304 8223781 140737105153072 18446744073709551615 6056782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 10302 9017 558 984 0 9315 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41208 [startup+25.5008 s] /proc/loadavg: 1.01 1.00 1.00 2/107 15080 /proc/meminfo: memFree=1678720/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=57736 CPUtime=25.48 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26236 0 0 0 2487 61 0 0 25 0 1 0 43215692 59121664 13441 1992294400 4194304 8223781 140737105153072 18446744073709551615 7074026 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14434 13441 589 984 0 13447 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57736 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15080 /proc/meminfo: memFree=1678720/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58304 CPUtime=51.08 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26348 0 0 0 5038 70 0 0 25 0 1 0 43215692 59703296 13553 1992294400 4194304 8223781 140737105153072 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14576 13553 590 984 0 13589 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58304 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15082 /proc/meminfo: memFree=1678472/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58064 CPUtime=102.26 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26357 0 0 0 10141 85 0 0 25 0 1 0 43215692 59457536 13498 1992294400 4194304 8223781 140737105153072 18446744073709551615 6484545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14516 13498 590 984 0 13529 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 58064 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15084 /proc/meminfo: memFree=1678472/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58080 CPUtime=162.24 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26368 0 0 0 16117 107 0 0 25 0 1 0 43215692 59473920 13509 1992294400 4194304 8223781 140737105153072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14520 13509 590 984 0 13533 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 58080 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15086 /proc/meminfo: memFree=1678472/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58096 CPUtime=222.22 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26392 0 0 0 22094 128 0 0 25 0 1 0 43215692 59490304 13521 1992294400 4194304 8223781 140737105153072 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14524 13521 593 984 0 13537 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 58096 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15088 /proc/meminfo: memFree=1678348/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58320 CPUtime=282.21 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26422 0 0 0 28072 149 0 0 25 0 1 0 43215692 59719680 13523 1992294400 4194304 8223781 140737105153072 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14580 13523 593 984 0 13593 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 58320 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15088 /proc/meminfo: memFree=1678348/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58304 CPUtime=342.19 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26451 0 0 0 34051 168 0 0 25 0 1 0 43215692 59703296 13520 1992294400 4194304 8223781 140737105153072 18446744073709551615 6296600 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14576 13520 593 984 0 13589 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 58304 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15090 /proc/meminfo: memFree=1678348/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58320 CPUtime=402.17 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26495 0 0 0 40027 190 0 0 25 0 1 0 43215692 59719680 13524 1992294400 4194304 8223781 140737105153072 18446744073709551615 6614978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14580 13524 593 984 0 13593 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 58320 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15092 /proc/meminfo: memFree=1678224/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58312 CPUtime=462.16 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26527 0 0 0 46004 212 0 0 25 0 1 0 43215692 59711488 13522 1992294400 4194304 8223781 140737105153072 18446744073709551615 6567552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14578 13522 593 984 0 13591 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 58312 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15094 /proc/meminfo: memFree=1678224/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58336 CPUtime=522.14 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26578 0 0 0 51980 234 0 0 25 0 1 0 43215692 59736064 13529 1992294400 4194304 8223781 140737105153072 18446744073709551615 6567505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14584 13529 593 984 0 13597 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 58336 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15096 /proc/meminfo: memFree=1678100/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58328 CPUtime=582.12 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26600 0 0 0 57956 256 0 0 25 0 1 0 43215692 59727872 13527 1992294400 4194304 8223781 140737105153072 18446744073709551615 6358893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14582 13527 593 984 0 13595 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 58328 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15096 /proc/meminfo: memFree=1678100/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58328 CPUtime=642.11 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26630 0 0 0 63932 279 0 0 25 0 1 0 43215692 59727872 13527 1992294400 4194304 8223781 140737105153072 18446744073709551615 6559869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14582 13527 593 984 0 13595 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 58328 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1677604/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58320 CPUtime=1121.96 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26803 0 0 0 111763 433 0 0 25 0 1 0 43215692 59719680 13568 1992294400 4194304 8223781 140737105153072 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14580 13568 593 984 0 13593 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 58320 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15112 /proc/meminfo: memFree=1677480/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58336 CPUtime=1181.94 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26831 0 0 0 117737 457 0 0 25 0 1 0 43215692 59736064 13572 1992294400 4194304 8223781 140737105153072 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14584 13572 593 984 0 13597 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 58336 [startup+1242.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 15112 /proc/meminfo: memFree=1677356/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1241.92 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26849 0 0 0 123717 475 0 0 25 0 1 0 43215692 59760640 13580 1992294400 4194304 8223781 140737105153072 18446744073709551615 6568370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13580 593 984 0 13603 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 58360 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 15114 /proc/meminfo: memFree=1677356/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58344 CPUtime=1301.92 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26869 0 0 0 129695 497 0 0 25 0 1 0 43215692 59744256 13576 1992294400 4194304 8223781 140737105153072 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14586 13576 593 984 0 13599 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 58344 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15116 /proc/meminfo: memFree=1677356/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58344 CPUtime=1361.89 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26894 0 0 0 135674 515 0 0 25 0 1 0 43215692 59744256 13577 1992294400 4194304 8223781 140737105153072 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14586 13577 593 984 0 13599 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 58344 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15118 /proc/meminfo: memFree=1677356/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58352 CPUtime=1421.87 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26904 0 0 0 141655 532 0 0 25 0 1 0 43215692 59752448 13579 1992294400 4194304 8223781 140737105153072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14588 13579 593 984 0 13601 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 58352 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15120 /proc/meminfo: memFree=1677232/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58328 CPUtime=1481.85 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26924 0 0 0 147634 551 0 0 25 0 1 0 43215692 59727872 13573 1992294400 4194304 8223781 140737105153072 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14582 13573 593 984 0 13595 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 58328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15120 /proc/meminfo: memFree=1677232/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58328 CPUtime=1541.84 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26942 0 0 0 153610 574 0 0 25 0 1 0 43215692 59727872 13573 1992294400 4194304 8223781 140737105153072 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14582 13573 593 984 0 13595 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 58328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15122 /proc/meminfo: memFree=1677232/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58344 CPUtime=1601.81 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26958 0 0 0 159586 595 0 0 25 0 1 0 43215692 59744256 13577 1992294400 4194304 8223781 140737105153072 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14586 13577 593 984 0 13599 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 58344 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15124 /proc/meminfo: memFree=1677232/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58352 CPUtime=1661.8 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26978 0 0 0 165564 616 0 0 25 0 1 0 43215692 59752448 13579 1992294400 4194304 8223781 140737105153072 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14588 13579 593 984 0 13601 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 58352 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15126 /proc/meminfo: memFree=1677108/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58376 CPUtime=1721.78 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 26993 0 0 0 171545 633 0 0 25 0 1 0 43215692 59777024 13588 1992294400 4194304 8223781 140737105153072 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14594 13588 593 984 0 13607 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 58376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1781.76 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 177525 651 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 58360 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 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1791.37 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 178483 654 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 6611310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 58360 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1794.57 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 178802 655 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 58360 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1796.16 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 178961 655 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 58360 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1796.96 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 179040 656 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 58360 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1797.76 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 179120 656 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 58360 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1798.16 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 179160 656 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1798.16 Current children cumulated vsize (KiB) 58360 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15128 /proc/meminfo: memFree=1676860/2059040 swapFree=4135684/4192956 [pid=15079] ppid=15077 vsize=58360 CPUtime=1798.26 /proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14966 0 -1 4202496 27001 0 0 0 179170 656 0 0 25 0 1 0 43215692 59760640 13584 1992294400 4194304 8223781 140737105153072 18446744073709551615 6562648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15079/statm: 14590 13584 593 984 0 13603 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (KiB) 58360 Child status: 0 Real time (s): 1798.87 CPU time (s): 1798.34 CPU user time (s): 1791.77 CPU system time (s): 6.571 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 75412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.77 system time used= 6.571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27006 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= 5925 runsolver used 2.79957 second user time and 8.65968 second system time The end
Begin job on node002 at 2010-06-16 10:15:17 IDJOB=2666276 IDBENCH=48294 IDSOLVER=1169 FILE ID=node002/2666276-1276676117 PBS_JOBID= 11172560 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_1_40.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-2666276-1276676117/watcher-2666276-1276676117 -o /tmp/evaluation-result-2666276-1276676117/solver-2666276-1276676117 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666276-1276676117.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= be9efb792831413817cc7562bdc6c002 RANDOM SEED=847396361 node002.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.242 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1731832 kB Buffers: 104120 kB Cached: 128716 kB SwapCached: 10940 kB Active: 110156 kB Inactive: 136168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1731832 kB SwapTotal: 4192956 kB SwapFree: 4135684 kB Dirty: 4660 kB Writeback: 8 kB AnonPages: 11516 kB Mapped: 9320 kB Slab: 59096 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182108 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node002 at 2010-06-16 10:45:16