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 | 1624.03 | 1624.48 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_40.opb |
MD5SUM | 9100923ff6d9c8d4da1b288858ed91b3 |
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 | 270.509 |
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) | 6124 |
Sum of products size (including duplicates) | 12248 |
Number of different products | 3062 |
Sum of products size | 6124 |
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-2666302-1276678757.opb> 0.01/0.05 c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 constraints 0.01/0.05 c problem read 0.01/0.05 c No objective function, only one solution is needed. 0.01/0.05 c presolving settings loaded 0.01/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, 24696 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 24696 implications, 200 cliques 0.49/0.50 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 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 3062 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.24 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.51 c # frequency for calling primal heuristic <coefdiving> (-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/coefdiving/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/coefdiving/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/coefdiving/maxlpiterofs = 1500 0.49/0.51 c 0.49/0.51 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.49/0.51 c # [type: int, range: [-1,2147483647], default: 30] 0.49/0.51 c heuristics/crossover/freq = -1 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/crossover/nodesofs = 750 0.49/0.51 c 0.49/0.51 c # number of nodes without incumbent change that heuristic should wait 0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.49/0.51 c heuristics/crossover/nwaitingnodes = 100 0.49/0.51 c 0.49/0.51 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.49/0.51 c # [type: real, range: [0,1], default: 0.1] 0.49/0.51 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 3.89/3.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 3.89/3.92 c 3.6s| 1 | 0 | 2146 | - | 14M| 0 |1266 |3262 |3364 |3262 |6426 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 8.49/8.55 c 7.9s| 1 | 0 | 2588 | - | 21M| 0 |1171 |3262 |4064 |3262 |6489 | 63 | 0 | 0 | 0.000000e+00 | -- | Inf 11.29/11.35 c 10.7s| 1 | 0 | 3063 | - | 21M| 0 |1118 |3262 |4064 |3262 |6522 | 96 | 0 | 0 | 0.000000e+00 | -- | Inf 14.69/14.78 c 14.1s| 1 | 0 | 3826 | - | 21M| 0 |1087 |3262 |4064 |3262 |6543 | 117 | 0 | 0 | 0.000000e+00 | -- | Inf 18.18/18.22 c 17.6s| 1 | 0 | 4606 | - | 21M| 0 |1099 |3262 |4064 |3262 |6566 | 140 | 0 | 0 | 0.000000e+00 | -- | Inf 21.29/21.33 c 20.6s| 1 | 0 | 5294 | - | 21M| 0 |1039 |3262 |4064 |3262 |6596 | 170 | 0 | 0 | 0.000000e+00 | -- | Inf 56.57/56.65 c 55.9s| 1 | 2 | 5294 | - | 21M| 0 |1039 |3262 |4064 |3262 |6596 | 170 | 0 | 17 | 0.000000e+00 | -- | Inf 1623.94/1624.41 c 1623.94/1624.41 c SCIP Status : problem is solved [infeasible] 1623.94/1624.41 c Solving Time (sec) : 1617.60 1623.94/1624.41 c Solving Nodes : 473 1623.94/1624.41 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1623.94/1624.41 c Dual Bound : +1.00000000000000e+20 1623.94/1624.41 c Gap : 0.00 % 1623.94/1624.41 s UNSATISFIABLE 1623.94/1624.41 c SCIP Status : problem is solved [infeasible] 1623.94/1624.41 c Solving Time : 1617.60 1623.94/1624.41 c Original Problem : 1623.94/1624.41 c Problem name : HOME/instance-2666302-1276678757.opb 1623.94/1624.41 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous) 1623.94/1624.41 c Constraints : 3364 initial, 3364 maximal 1623.94/1624.41 c Presolved Problem : 1623.94/1624.41 c Problem name : t_HOME/instance-2666302-1276678757.opb 1623.94/1624.41 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous) 1623.94/1624.41 c Constraints : 3364 initial, 4181 maximal 1623.94/1624.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1623.94/1624.41 c trivial : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c dualfix : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c boundshift : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c implics : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c probing : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c knapsack : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c setppc : 0.01 0 0 0 0 0 0 0 0 1623.94/1624.41 c and : 0.19 0 0 0 0 0 0 0 0 1623.94/1624.41 c linear : 0.03 0 0 0 0 0 0 0 0 1623.94/1624.41 c logicor : 0.00 0 0 0 0 0 0 0 0 1623.94/1624.41 c root node : - 27 - - 27 - - - - 1623.94/1624.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1623.94/1624.41 c integral : 0 0 0 259 0 0 10 0 0 510 1623.94/1624.41 c knapsack : 1 5 2543 0 0 0 0 0 0 0 1623.94/1624.41 c setppc : 200 5 2543 0 0 0 107 0 0 0 1623.94/1624.41 c and : 3062 391 2543 0 0 0 21427 185410 0 0 1623.94/1624.41 c linear : 1+ 6 2543 0 0 0 3 0 0 0 1623.94/1624.41 c logicor : 100+ 5 648 0 0 0 585 0 0 0 1623.94/1624.41 c countsols : 0 0 0 0 0 0 0 0 0 0 1623.94/1624.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1623.94/1624.41 c integral : 625.19 0.00 0.00 625.19 0.00 1623.94/1624.41 c knapsack : 0.02 0.00 0.02 0.00 0.00 1623.94/1624.41 c setppc : 0.03 0.00 0.03 0.00 0.00 1623.94/1624.41 c and : 1.36 1.01 0.35 0.00 0.00 1623.94/1624.41 c linear : 0.28 0.03 0.25 0.00 0.00 1623.94/1624.41 c logicor : 0.02 0.00 0.02 0.00 0.00 1623.94/1624.41 c countsols : 0.00 0.00 0.00 0.00 0.00 1623.94/1624.41 c Propagators : Time Calls Cutoffs DomReds 1623.94/1624.41 c vbounds : 0.00 1 0 0 1623.94/1624.41 c rootredcost : 0.00 0 0 0 1623.94/1624.41 c pseudoobj : 0.00 0 0 0 1623.94/1624.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1623.94/1624.41 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1623.94/1624.41 c infeasible LP : 0.36 218 215 849 10.5 0 0.0 0 1623.94/1624.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1623.94/1624.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1623.94/1624.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1623.94/1624.41 c applied globally : - - - 319 8.8 - - - 1623.94/1624.41 c applied locally : - - - 0 0.0 - - - 1623.94/1624.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1623.94/1624.41 c cut pool : 0.00 4 - - 0 - (maximal pool size: 156) 1623.94/1624.41 c redcost : 0.15 391 0 0 0 0 1623.94/1624.41 c impliedbounds : 0.00 5 0 0 211 0 1623.94/1624.41 c intobj : 0.00 0 0 0 0 0 1623.94/1624.41 c cgmip : 0.00 0 0 0 0 0 1623.94/1624.41 c gomory : 3.97 5 0 0 0 0 1623.94/1624.41 c strongcg : 3.96 5 0 0 0 0 1623.94/1624.41 c cmir : 0.00 0 0 0 0 0 1623.94/1624.41 c flowcover : 0.00 0 0 0 0 0 1623.94/1624.41 c clique : 0.28 5 0 0 39 0 1623.94/1624.41 c zerohalf : 0.00 0 0 0 0 0 1623.94/1624.41 c mcf : 0.20 5 0 0 114 0 1623.94/1624.41 c rapidlearning : 1.56 1 0 0 0 700 1623.94/1624.41 c Pricers : Time Calls Vars 1623.94/1624.41 c problem variables: 0.00 0 0 1623.94/1624.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1623.94/1624.41 c relpscost : 625.19 259 0 10 0 0 510 1623.94/1624.41 c pscost : 0.00 0 0 0 0 0 0 1623.94/1624.41 c inference : 0.00 0 0 0 0 0 0 1623.94/1624.41 c mostinf : 0.00 0 0 0 0 0 0 1623.94/1624.41 c leastinf : 0.00 0 0 0 0 0 0 1623.94/1624.41 c fullstrong : 0.00 0 0 0 0 0 0 1623.94/1624.41 c allfullstrong : 0.00 0 0 0 0 0 0 1623.94/1624.41 c random : 0.00 0 0 0 0 0 0 1623.94/1624.41 c Primal Heuristics : Time Calls Found 1623.94/1624.41 c LP solutions : 0.00 - 0 1623.94/1624.41 c pseudo solutions : 0.00 - 0 1623.94/1624.41 c trivial : 0.00 1 0 1623.94/1624.41 c simplerounding : 0.00 0 0 1623.94/1624.41 c zirounding : 0.00 0 0 1623.94/1624.41 c rounding : 0.00 0 0 1623.94/1624.41 c shifting : 0.00 0 0 1623.94/1624.41 c intshifting : 0.00 0 0 1623.94/1624.41 c oneopt : 0.00 0 0 1623.94/1624.41 c twoopt : 0.00 0 0 1623.94/1624.41 c fixandinfer : 0.00 0 0 1623.94/1624.41 c feaspump : 0.00 0 0 1623.94/1624.41 c coefdiving : 0.00 0 0 1623.94/1624.41 c pscostdiving : 0.00 0 0 1623.94/1624.41 c fracdiving : 0.00 0 0 1623.94/1624.41 c veclendiving : 0.00 0 0 1623.94/1624.41 c intdiving : 0.00 0 0 1623.94/1624.41 c actconsdiving : 0.00 0 0 1623.94/1624.41 c objpscostdiving : 0.00 0 0 1623.94/1624.41 c rootsoldiving : 0.00 0 0 1623.94/1624.41 c linesearchdiving : 0.00 0 0 1623.94/1624.41 c guideddiving : 0.00 0 0 1623.94/1624.41 c octane : 0.00 0 0 1623.94/1624.41 c rens : 0.00 0 0 1623.94/1624.41 c rins : 0.00 0 0 1623.94/1624.41 c localbranching : 0.00 0 0 1623.94/1624.41 c mutation : 0.00 0 0 1623.94/1624.41 c crossover : 0.00 0 0 1623.94/1624.41 c dins : 0.00 0 0 1623.94/1624.41 c undercover : 0.00 0 0 1623.94/1624.41 c nlp : 0.00 0 0 1623.94/1624.41 c trysol : 0.00 0 0 1623.94/1624.41 c LP : Time Calls Iterations Iter/call Iter/sec 1623.94/1624.41 c primal LP : 2.49 0 0 0.00 0.00 1623.94/1624.41 c dual LP : 973.15 868 880452 1014.35 904.74 1623.94/1624.41 c lex dual LP : 0.00 0 0 0.00 - 1623.94/1624.41 c barrier LP : 0.00 0 0 0.00 - 1623.94/1624.41 c diving/probing LP: 0.00 0 0 0.00 - 1623.94/1624.41 c strong branching : 625.00 863 548015 635.01 876.82 1623.94/1624.41 c (at root node) : - 17 15587 916.88 - 1623.94/1624.41 c conflict analysis: 0.00 0 0 0.00 - 1623.94/1624.41 c B&B Tree : 1623.94/1624.41 c number of runs : 1 1623.94/1624.41 c nodes : 473 1623.94/1624.41 c nodes (total) : 473 1623.94/1624.41 c nodes left : 0 1623.94/1624.41 c max depth : 39 1623.94/1624.41 c max depth (total): 39 1623.94/1624.41 c backtracks : 168 (35.5%) 1623.94/1624.41 c delayed cutoffs : 38 1623.94/1624.41 c repropagations : 1091 (10416 domain reductions, 0 cutoffs) 1623.94/1624.41 c avg switch length: 6.53 1623.94/1624.41 c switching time : 3.05 1623.94/1624.41 c Solution : 1623.94/1624.41 c Solutions found : 0 (0 improvements) 1623.94/1624.41 c Primal Bound : infeasible 1623.94/1624.41 c Dual Bound : - 1623.94/1624.41 c Gap : 0.00 % 1623.94/1624.41 c Root Dual Bound : +0.00000000000000e+00 1623.94/1624.41 c Root Iterations : 5294 1623.94/1624.47 c Time complete: 1624.02.
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-2666302-1276678757/watcher-2666302-1276678757 -o /tmp/evaluation-result-2666302-1276678757/solver-2666302-1276678757 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666302-1276678757.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.00 1.02 1.09 3/106 16151 /proc/meminfo: memFree=1676760/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=7724 CPUtime=0 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 9167741 7909376 931 1992294400 4194304 8223781 140733326199264 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16151/statm: 1931 940 348 984 0 944 0 [startup+0.0199139 s] /proc/loadavg: 1.00 1.02 1.09 3/106 16151 /proc/meminfo: memFree=1676760/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=10580 CPUtime=0.01 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 1858 0 0 0 1 0 0 0 20 0 1 0 9167741 10833920 1778 1992294400 4194304 8223781 140733326199264 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16151/statm: 2645 1789 364 984 0 1658 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10580 [startup+0.101923 s] /proc/loadavg: 1.00 1.02 1.09 3/106 16151 /proc/meminfo: memFree=1676760/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=21300 CPUtime=0.09 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 4712 0 0 0 8 1 0 0 20 0 1 0 9167741 21811200 4267 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 5325 4267 426 984 0 4338 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21300 [startup+0.301943 s] /proc/loadavg: 1.00 1.02 1.09 3/106 16151 /proc/meminfo: memFree=1676760/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=23540 CPUtime=0.29 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 5801 0 0 0 19 10 0 0 20 0 1 0 9167741 24104960 4842 1992294400 4194304 8223781 140733326199264 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 5885 4842 448 984 0 4898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23540 [startup+0.701987 s] /proc/loadavg: 1.00 1.02 1.09 3/106 16151 /proc/meminfo: memFree=1676760/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=38792 CPUtime=0.69 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 11869 0 0 0 48 21 0 0 21 0 1 0 9167741 39723008 8593 1992294400 4194304 8223781 140733326199264 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 9698 8593 533 984 0 8711 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38792 [startup+1.50107 s] /proc/loadavg: 1.00 1.02 1.09 2/107 16152 /proc/meminfo: memFree=1643520/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=40636 CPUtime=1.49 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 12948 0 0 0 127 22 0 0 23 0 1 0 9167741 41611264 8847 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 10159 8847 536 984 0 9172 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40636 [startup+3.10124 s] /proc/loadavg: 1.00 1.02 1.09 2/107 16152 /proc/meminfo: memFree=1642404/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=41228 CPUtime=3.09 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 14227 0 0 0 285 24 0 0 25 0 1 0 9167741 42217472 9027 1992294400 4194304 8223781 140733326199264 18446744073709551615 6611759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 10307 9027 536 984 0 9320 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41228 [startup+6.30159 s] /proc/loadavg: 1.00 1.02 1.09 2/107 16152 /proc/meminfo: memFree=1642032/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=63728 CPUtime=6.29 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 23291 0 0 0 583 46 0 0 25 0 1 0 9167741 65257472 14317 1992294400 4194304 8223781 140733326199264 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 15932 14317 582 984 0 14945 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63728 [startup+12.7013 s] /proc/loadavg: 1.00 1.02 1.09 2/107 16152 /proc/meminfo: memFree=1618100/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=63936 CPUtime=12.69 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28073 0 0 0 1211 58 0 0 25 0 1 0 9167741 65470464 14979 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 15984 14979 590 984 0 14997 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63936 [startup+25.5016 s] /proc/loadavg: 1.00 1.02 1.09 2/107 16152 /proc/meminfo: memFree=1618100/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64252 CPUtime=25.49 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28104 0 0 0 2485 64 0 0 25 0 1 0 9167741 65794048 15010 1992294400 4194304 8223781 140733326199264 18446744073709551615 6571318 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16063 15010 591 984 0 15076 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64252 [startup+51.1014 s] /proc/loadavg: 1.00 1.01 1.08 2/107 16154 /proc/meminfo: memFree=1618100/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64252 CPUtime=51.07 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28104 0 0 0 5037 70 0 0 25 0 1 0 9167741 65794048 15010 1992294400 4194304 8223781 140733326199264 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16063 15010 591 984 0 15076 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64252 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.08 2/107 16154 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64020 CPUtime=102.27 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28118 0 0 0 10138 89 0 0 25 0 1 0 9167741 65556480 14960 1992294400 4194304 8223781 140733326199264 18446744073709551615 6250697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16005 14960 591 984 0 15018 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64020 [startup+162.301 s] /proc/loadavg: 1.04 1.02 1.08 2/107 16165 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64036 CPUtime=162.24 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28132 0 0 0 16112 112 0 0 25 0 1 0 9167741 65572864 14972 1992294400 4194304 8223781 140733326199264 18446744073709551615 6358919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16009 14972 594 984 0 15022 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 64036 [startup+222.302 s] /proc/loadavg: 1.01 1.01 1.07 2/107 16167 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64028 CPUtime=222.22 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28151 0 0 0 22090 132 0 0 25 0 1 0 9167741 65564672 14975 1992294400 4194304 8223781 140733326199264 18446744073709551615 6567432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16007 14975 594 984 0 15020 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 64028 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.07 2/107 16169 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64044 CPUtime=282.2 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28186 0 0 0 28061 159 0 0 25 0 1 0 9167741 65581056 14980 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16011 14980 594 984 0 15024 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 64044 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.06 2/107 16169 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64052 CPUtime=342.18 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28215 0 0 0 34038 180 0 0 25 0 1 0 9167741 65589248 14985 1992294400 4194304 8223781 140733326199264 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16013 14985 594 984 0 15026 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 64052 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.06 2/107 16171 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64020 CPUtime=402.17 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28259 0 0 0 40014 203 0 0 25 0 1 0 9167741 65556480 14979 1992294400 4194304 8223781 140733326199264 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16005 14979 594 984 0 15018 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 64020 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 16173 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64156 CPUtime=462.15 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28323 0 0 0 45985 230 0 0 25 0 1 0 9167741 65695744 14979 1992294400 4194304 8223781 140733326199264 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16039 14979 594 984 0 15052 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 64156 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 16175 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64188 CPUtime=522.13 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28348 0 0 0 51963 250 0 0 25 0 1 0 9167741 65728512 14988 1992294400 4194304 8223781 140733326199264 18446744073709551615 6570069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16047 14988 594 984 0 15060 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 64188 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 16177 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64188 CPUtime=582.12 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28367 0 0 0 57941 271 0 0 25 0 1 0 9167741 65728512 14989 1992294400 4194304 8223781 140733326199264 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16047 14989 594 984 0 15060 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 64188 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.03 2/107 16177 /proc/meminfo: memFree=1617976/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64164 CPUtime=642.1 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28383 0 0 0 63917 293 0 0 25 0 1 0 9167741 65703936 14983 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16041 14983 594 984 0 15054 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 64164 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1617728/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=942.03 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28487 0 0 0 93803 400 0 0 25 0 1 0 9167741 65986560 14997 1992294400 4194304 8223781 140733326199264 18446744073709551615 6562648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 14997 594 984 0 15123 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 64440 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16187 /proc/meminfo: memFree=1617728/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64416 CPUtime=1002.01 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28511 0 0 0 99780 421 0 0 25 0 1 0 9167741 65961984 14991 1992294400 4194304 8223781 140733326199264 18446744073709551615 6562639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16104 14991 594 984 0 15117 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 64416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16189 /proc/meminfo: memFree=1617604/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64424 CPUtime=1061.99 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28535 0 0 0 105760 439 0 0 25 0 1 0 9167741 65970176 14993 1992294400 4194304 8223781 140733326199264 18446744073709551615 6539331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16106 14993 594 984 0 15119 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 64424 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16191 /proc/meminfo: memFree=1617604/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64432 CPUtime=1121.98 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28554 0 0 0 111736 462 0 0 25 0 1 0 9167741 65978368 14996 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16108 14996 594 984 0 15121 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 64432 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16193 /proc/meminfo: memFree=1617480/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=1181.96 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28572 0 0 0 117715 481 0 0 25 0 1 0 9167741 65986560 14998 1992294400 4194304 8223781 140733326199264 18446744073709551615 6559543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 14998 594 984 0 15123 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 64440 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16193 /proc/meminfo: memFree=1617232/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64416 CPUtime=1241.94 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28584 0 0 0 123693 501 0 0 25 0 1 0 9167741 65961984 14992 1992294400 4194304 8223781 140733326199264 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16104 14992 594 984 0 15117 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 64416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16195 /proc/meminfo: memFree=1617232/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64432 CPUtime=1301.94 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28600 0 0 0 129671 523 0 0 25 0 1 0 9167741 65978368 14996 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16108 14996 594 984 0 15121 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 64432 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 16197 /proc/meminfo: memFree=1617108/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64416 CPUtime=1361.91 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28620 0 0 0 135648 543 0 0 25 0 1 0 9167741 65961984 14992 1992294400 4194304 8223781 140733326199264 18446744073709551615 6520928 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16104 14992 594 984 0 15117 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 64416 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16199 /proc/meminfo: memFree=1617108/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64424 CPUtime=1421.91 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28639 0 0 0 141627 564 0 0 25 0 1 0 9167741 65970176 14995 1992294400 4194304 8223781 140733326199264 18446744073709551615 6559782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16106 14995 594 984 0 15119 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 64424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16201 /proc/meminfo: memFree=1617108/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64432 CPUtime=1481.88 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28663 0 0 0 147602 586 0 0 25 0 1 0 9167741 65978368 14997 1992294400 4194304 8223781 140733326199264 18446744073709551615 6589157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16108 14997 594 984 0 15121 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 64432 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16201 /proc/meminfo: memFree=1617108/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64408 CPUtime=1541.86 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28687 0 0 0 153579 607 0 0 25 0 1 0 9167741 65953792 14991 1992294400 4194304 8223781 140733326199264 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16102 14991 594 984 0 15115 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 64408 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64456 CPUtime=1601.85 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28727 0 0 0 159561 624 0 0 25 0 1 0 9167741 66002944 15021 1992294400 4194304 8223781 140733326199264 18446744073709551615 6615003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16114 15021 594 984 0 15127 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 64456 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 1.03 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=1612.25 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28728 0 0 0 160597 628 0 0 25 0 1 0 9167741 65986560 15018 1992294400 4194304 8223781 140733326199264 18446744073709551615 6588728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 15018 594 984 0 15123 0 Current children cumulated CPU time (s) 1612.25 Current children cumulated vsize (KiB) 64440 [startup+1619.1 s] /proc/loadavg: 1.03 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64448 CPUtime=1618.65 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28732 0 0 0 161235 630 0 0 25 0 1 0 9167741 65994752 15020 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16112 15020 594 984 0 15125 0 Current children cumulated CPU time (s) 1618.65 Current children cumulated vsize (KiB) 64448 [startup+1622.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=1621.84 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28732 0 0 0 161554 630 0 0 25 0 1 0 9167741 65986560 15018 1992294400 4194304 8223781 140733326199264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 15018 594 984 0 15123 0 Current children cumulated CPU time (s) 1621.84 Current children cumulated vsize (KiB) 64440 [startup+1623.1 s] /proc/loadavg: 1.02 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=1622.65 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28732 0 0 0 161634 631 0 0 25 0 1 0 9167741 65986560 15018 1992294400 4194304 8223781 140733326199264 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 15018 594 984 0 15123 0 Current children cumulated CPU time (s) 1622.65 Current children cumulated vsize (KiB) 64440 [startup+1623.9 s] /proc/loadavg: 1.02 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=1623.45 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28732 0 0 0 161714 631 0 0 25 0 1 0 9167741 65986560 15018 1992294400 4194304 8223781 140733326199264 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 15018 594 984 0 15123 0 Current children cumulated CPU time (s) 1623.45 Current children cumulated vsize (KiB) 64440 [startup+1624.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=1623.85 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28732 0 0 0 161754 631 0 0 25 0 1 0 9167741 65986560 15018 1992294400 4194304 8223781 140733326199264 18446744073709551615 6569942 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 15018 594 984 0 15123 0 Current children cumulated CPU time (s) 1623.85 Current children cumulated vsize (KiB) 64440 [startup+1624.4 s] /proc/loadavg: 1.02 1.01 1.00 2/107 16203 /proc/meminfo: memFree=1616984/2059040 swapFree=4192956/4192956 [pid=16151] ppid=16149 vsize=64440 CPUtime=1623.94 /proc/16151/stat : 16151 (pbscip.linux.x8) R 16149 16151 15812 0 -1 4202496 28732 0 0 0 161763 631 0 0 25 0 1 0 9167741 65986560 15018 1992294400 4194304 8223781 140733326199264 18446744073709551615 6589964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16151/statm: 16110 15018 594 984 0 15123 0 Current children cumulated CPU time (s) 1623.94 Current children cumulated vsize (KiB) 64440 Child status: 0 Real time (s): 1624.48 CPU time (s): 1624.03 CPU user time (s): 1617.71 CPU system time (s): 6.32404 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 75404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1617.71 system time used= 6.32404 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28737 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= 2 involuntary context switches= 3599 runsolver used 2.5986 second user time and 7.75182 second system time The end
Begin job on node047 at 2010-06-16 10:59:17 IDJOB=2666302 IDBENCH=48320 IDSOLVER=1169 FILE ID=node047/2666302-1276678757 PBS_JOBID= 11172544 Free space on /tmp= 62540 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_5_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-2666302-1276678757/watcher-2666302-1276678757 -o /tmp/evaluation-result-2666302-1276678757/solver-2666302-1276678757 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666302-1276678757.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9100923ff6d9c8d4da1b288858ed91b3 RANDOM SEED=1576722094 node047.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: 1677412 kB Buffers: 101348 kB Cached: 153352 kB SwapCached: 0 kB Active: 131928 kB Inactive: 182132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1677412 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4632 kB Writeback: 0 kB AnonPages: 59308 kB Mapped: 15384 kB Slab: 45860 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181424 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= 62536 MiB End job on node047 at 2010-06-16 11:26:22