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 | ? (TO) | 1800.32 | 1800.85 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb |
MD5SUM | 29fd031d19832e8fd3e4ee8a0dfa62d0 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 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) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
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-2666348-1276683150.opb> 0.00/0.03 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1546 constraints 0.00/0.03 c problem read 0.00/0.03 c No objective function, only one solution is needed. 0.00/0.03 c presolving settings loaded 0.00/0.04 c presolving: 0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10152 impls, 200 clqs 0.39/0.42 c presolving (2 rounds): 0.39/0.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.39/0.42 c 10152 implications, 200 cliques 0.39/0.42 c presolved problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1546 constraints 0.39/0.42 c 1 constraints of type <knapsack> 0.39/0.42 c 200 constraints of type <setppc> 0.39/0.42 c 1244 constraints of type <and> 0.39/0.42 c 1 constraints of type <linear> 0.39/0.42 c 100 constraints of type <logicor> 0.39/0.42 c transformed objective value is always integral (scale: 1) 0.39/0.42 c Presolving Time: 0.20 0.39/0.42 c - non default parameters ---------------------------------------------------------------------- 0.39/0.42 c # SCIP version 1.2.1.2 0.39/0.42 c 0.39/0.42 c # frequency for displaying node information lines 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100] 0.39/0.42 c display/freq = 10000 0.39/0.42 c 0.39/0.42 c # maximal time in seconds to run 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.42 c limits/time = 1799.98 0.39/0.42 c 0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.42 c limits/memory = 1620 0.39/0.42 c 0.39/0.42 c # solving stops, if the given number of solutions were found (-1: no limit) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c limits/solutions = 1 0.39/0.42 c 0.39/0.42 c # maximal number of separation rounds per node (-1: unlimited) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 5] 0.39/0.42 c separating/maxrounds = 1 0.39/0.42 c 0.39/0.42 c # maximal number of separation rounds in the root node (-1: unlimited) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c separating/maxroundsroot = 5 0.39/0.42 c 0.39/0.42 c # should presolving try to simplify inequalities 0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.42 c constraints/linear/simplifyinequalities = TRUE 0.39/0.42 c 0.39/0.42 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.39/0.42 c constraints/knapsack/disaggregation = FALSE 0.39/0.42 c 0.39/0.42 c # should presolving try to simplify knapsacks 0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE 0.39/0.42 c 0.39/0.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c presolving/probing/maxrounds = 0 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/coefdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/coefdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/coefdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 30] 0.39/0.42 c heuristics/crossover/freq = -1 0.39/0.42 c 0.39/0.42 c # number of nodes added to the contingent of the total nodes 0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.42 c heuristics/crossover/nodesofs = 750 0.39/0.42 c 0.39/0.42 c # number of nodes without incumbent change that heuristic should wait 0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.39/0.42 c heuristics/crossover/nwaitingnodes = 100 0.39/0.42 c 0.39/0.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.39/0.42 c # [type: real, range: [0,1], default: 0.1] 0.39/0.42 c heuristics/crossover/nodesquot = 0.15 0.39/0.42 c 0.39/0.42 c # minimum percentage of integer variables that have to be fixed 0.39/0.42 c # [type: real, range: [0,1], default: 0.666] 0.39/0.42 c heuristics/crossover/minfixingrate = 0.5 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.42 c heuristics/feaspump/freq = -1 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/feaspump/maxlpiterofs = 2000 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/fracdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/fracdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/fracdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/guideddiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/guideddiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/guideddiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/intdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/intshifting/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/linesearchdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/nlp/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.42 c heuristics/objpscostdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to total iteration number 0.39/0.42 c # [type: real, range: [0,1], default: 0.01] 0.39/0.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/oneopt/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/pscostdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/pscostdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c heuristics/rens/freq = -1 0.39/0.42 c 0.39/0.42 c # minimum percentage of integer variables that have to be fixable 0.39/0.42 c # [type: real, range: [0,1], default: 0.5] 0.39/0.42 c heuristics/rens/minfixingrate = 0.3 0.39/0.42 c 0.39/0.42 c # number of nodes added to the contingent of the total nodes 0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.42 c heuristics/rens/nodesofs = 2000 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.42 c heuristics/rootsoldiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.39/0.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/rounding/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/shifting/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/simplerounding/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c heuristics/trivial/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/trysol/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/veclendiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/veclendiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/veclendiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/zirounding/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c separating/cmir/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c separating/flowcover/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c separating/rapidlearning/freq = 0 0.39/0.42 c 0.39/0.42 c ----------------------------------------------------------------------------------------------- 0.39/0.42 c start solving 0.39/0.43 c 1.09/1.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.09/1.19 c 0.9s| 1 | 0 | 1442 | - |6595k| 0 | 618 |1444 |1546 |1444 |2790 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 4.89/4.96 c 4.5s| 1 | 0 | 1638 | - |8769k| 0 | 589 |1444 |1672 |1444 |2847 | 57 | 0 | 0 | 0.000000e+00 | -- | Inf 6.59/6.66 c 6.2s| 1 | 0 | 1827 | - | 11M| 0 | 585 |1444 |1672 |1444 |2867 | 77 | 0 | 0 | 0.000000e+00 | -- | Inf 9.09/9.19 c 8.7s| 1 | 0 | 1968 | - | 13M| 0 | 581 |1444 |1672 |1444 |2883 | 93 | 0 | 0 | 0.000000e+00 | -- | Inf 11.59/11.62 c 11.1s| 1 | 0 | 2125 | - | 16M| 0 | 580 |1444 |1672 |1444 |2892 | 102 | 0 | 0 | 0.000000e+00 | -- | Inf 13.59/13.68 c 13.1s| 1 | 0 | 2229 | - | 18M| 0 | 565 |1444 |1672 |1444 |2901 | 111 | 0 | 0 | 0.000000e+00 | -- | Inf 18.09/18.15 c 17.6s| 1 | 2 | 2229 | - | 18M| 0 | 565 |1444 |1672 |1444 |2901 | 111 | 0 | 10 | 0.000000e+00 | -- | Inf 1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.26/1800.80 c 1800.26/1800.80 c SCIP Status : solving was interrupted [user interrupt] 1800.26/1800.80 c Solving Time (sec) : 1779.82 1800.26/1800.80 c Solving Nodes : 3662 1800.26/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.26/1800.80 c Dual Bound : +0.00000000000000e+00 1800.26/1800.80 c Gap : infinite 1800.26/1800.80 s UNKNOWN 1800.26/1800.80 c SCIP Status : solving was interrupted [user interrupt] 1800.26/1800.80 c Solving Time : 1779.82 1800.26/1800.80 c Original Problem : 1800.26/1800.80 c Problem name : HOME/instance-2666348-1276683150.opb 1800.26/1800.80 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.26/1800.80 c Constraints : 1546 initial, 1546 maximal 1800.26/1800.80 c Presolved Problem : 1800.26/1800.80 c Problem name : t_HOME/instance-2666348-1276683150.opb 1800.26/1800.80 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.26/1800.80 c Constraints : 1546 initial, 3565 maximal 1800.26/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.26/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c and : 0.17 0 0 0 0 0 0 0 0 1800.26/1800.80 c linear : 0.01 0 0 0 0 0 0 0 0 1800.26/1800.80 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.26/1800.80 c root node : - 0 - - 0 - - - - 1800.26/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.26/1800.80 c integral : 0 0 0 2218 0 16 442 0 0 4038 1800.26/1800.80 c knapsack : 1 5 13802 0 0 0 0 0 0 0 1800.26/1800.80 c setppc : 200 5 13802 0 0 1 3715 0 0 0 1800.26/1800.80 c and : 1244 2759 13801 0 0 3 85067 181128 0 0 1800.26/1800.80 c linear : 1+ 6 13798 0 0 0 2635 1 0 0 1800.26/1800.80 c logicor : 100+ 5 4483 0 0 3 3332 0 0 0 1800.26/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.26/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.26/1800.80 c integral : 586.89 0.00 0.00 586.89 0.00 1800.26/1800.80 c knapsack : 0.10 0.01 0.09 0.00 0.00 1800.26/1800.80 c setppc : 0.09 0.00 0.09 0.00 0.00 1800.26/1800.80 c and : 3.71 2.54 1.17 0.00 0.00 1800.26/1800.80 c linear : 0.60 0.00 0.60 0.00 0.00 1800.26/1800.80 c logicor : 0.21 0.00 0.21 0.00 0.00 1800.26/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.26/1800.80 c Propagators : Time Calls Cutoffs DomReds 1800.26/1800.80 c vbounds : 0.00 1 0 0 1800.26/1800.80 c rootredcost : 0.02 0 0 0 1800.26/1800.80 c pseudoobj : 0.01 0 0 0 1800.26/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.26/1800.80 c propagation : 0.00 7 5 11 9.7 0 0.0 - 1800.26/1800.80 c infeasible LP : 1.80 1623 1539 7818 19.6 0 0.0 0 1800.26/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.26/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.26/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.26/1800.80 c applied globally : - - - 2201 18.5 - - - 1800.26/1800.80 c applied locally : - - - 0 0.0 - - - 1800.26/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.26/1800.80 c cut pool : 0.00 4 - - 2 - (maximal pool size: 1230) 1800.26/1800.80 c redcost : 0.09 2759 0 0 0 0 1800.26/1800.80 c impliedbounds : 0.01 5 0 0 133 0 1800.26/1800.80 c intobj : 0.00 0 0 0 0 0 1800.26/1800.80 c cgmip : 0.00 0 0 0 0 0 1800.26/1800.80 c gomory : 5.23 5 0 0 0 0 1800.26/1800.80 c strongcg : 5.20 5 0 0 2335 0 1800.26/1800.80 c cmir : 0.00 0 0 0 0 0 1800.26/1800.80 c flowcover : 0.00 0 0 0 0 0 1800.26/1800.80 c clique : 0.07 5 0 0 30 0 1800.26/1800.80 c zerohalf : 0.00 0 0 0 0 0 1800.26/1800.80 c mcf : 0.00 1 0 0 0 0 1800.26/1800.80 c rapidlearning : 0.90 1 0 0 0 126 1800.26/1800.80 c Pricers : Time Calls Vars 1800.26/1800.80 c problem variables: 0.00 0 0 1800.26/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.26/1800.80 c relpscost : 586.89 2218 16 442 0 0 4038 1800.26/1800.80 c pscost : 0.00 0 0 0 0 0 0 1800.26/1800.80 c inference : 0.00 0 0 0 0 0 0 1800.26/1800.80 c mostinf : 0.00 0 0 0 0 0 0 1800.26/1800.80 c leastinf : 0.00 0 0 0 0 0 0 1800.26/1800.80 c fullstrong : 0.00 0 0 0 0 0 0 1800.26/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0 1800.26/1800.80 c random : 0.00 0 0 0 0 0 0 1800.26/1800.80 c Primal Heuristics : Time Calls Found 1800.26/1800.80 c LP solutions : 0.00 - 0 1800.26/1800.80 c pseudo solutions : 0.00 - 0 1800.26/1800.80 c trivial : 0.00 1 0 1800.26/1800.80 c simplerounding : 0.00 0 0 1800.26/1800.80 c zirounding : 0.00 0 0 1800.26/1800.80 c rounding : 0.00 0 0 1800.26/1800.80 c shifting : 0.00 0 0 1800.26/1800.80 c intshifting : 0.00 0 0 1800.26/1800.80 c oneopt : 0.00 0 0 1800.26/1800.80 c twoopt : 0.00 0 0 1800.26/1800.80 c fixandinfer : 0.00 0 0 1800.26/1800.80 c feaspump : 0.00 0 0 1800.26/1800.80 c coefdiving : 0.00 0 0 1800.26/1800.80 c pscostdiving : 0.00 0 0 1800.26/1800.80 c fracdiving : 0.00 0 0 1800.26/1800.80 c veclendiving : 0.00 0 0 1800.26/1800.80 c intdiving : 0.00 0 0 1800.26/1800.80 c actconsdiving : 0.00 0 0 1800.26/1800.80 c objpscostdiving : 0.00 0 0 1800.26/1800.80 c rootsoldiving : 0.00 0 0 1800.26/1800.80 c linesearchdiving : 0.00 0 0 1800.26/1800.80 c guideddiving : 0.00 0 0 1800.26/1800.80 c octane : 0.00 0 0 1800.26/1800.80 c rens : 0.00 0 0 1800.26/1800.80 c rins : 0.00 0 0 1800.26/1800.80 c localbranching : 0.00 0 0 1800.26/1800.80 c mutation : 0.00 0 0 1800.26/1800.80 c crossover : 0.00 0 0 1800.26/1800.80 c dins : 0.00 0 0 1800.26/1800.80 c undercover : 0.00 0 0 1800.26/1800.80 c nlp : 0.00 0 0 1800.26/1800.80 c trysol : 0.00 0 0 1800.26/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec 1800.26/1800.80 c primal LP : 13.35 0 0 0.00 0.00 1800.26/1800.80 c dual LP : 1151.21 6599 1834753 278.04 1593.76 1800.26/1800.80 c lex dual LP : 0.00 0 0 0.00 - 1800.26/1800.80 c barrier LP : 0.00 0 0 0.00 - 1800.26/1800.80 c diving/probing LP: 0.00 0 0 0.00 - 1800.26/1800.80 c strong branching : 586.11 3320 899883 271.05 1535.35 1800.26/1800.80 c (at root node) : - 10 4479 447.90 - 1800.26/1800.80 c conflict analysis: 0.00 0 0 0.00 - 1800.26/1800.80 c B&B Tree : 1800.26/1800.80 c number of runs : 1 1800.26/1800.80 c nodes : 3662 1800.26/1800.80 c nodes (total) : 3662 1800.26/1800.80 c nodes left : 337 1800.26/1800.80 c max depth : 32 1800.26/1800.80 c max depth (total): 32 1800.26/1800.80 c backtracks : 649 (17.7%) 1800.26/1800.80 c delayed cutoffs : 40 1800.26/1800.80 c repropagations : 3154 (15990 domain reductions, 3 cutoffs) 1800.26/1800.80 c avg switch length: 5.22 1800.26/1800.80 c switching time : 15.12 1800.26/1800.80 c Solution : 1800.26/1800.80 c Solutions found : 0 (0 improvements) 1800.26/1800.80 c Primal Bound : - 1800.26/1800.80 c Dual Bound : +0.00000000000000e+00 1800.26/1800.80 c Gap : infinite 1800.26/1800.80 c Root Dual Bound : +0.00000000000000e+00 1800.26/1800.80 c Root Iterations : 2229 1800.26/1800.84 c Time complete: 1800.31.
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-2666348-1276683150/watcher-2666348-1276683150 -o /tmp/evaluation-result-2666348-1276683150/solver-2666348-1276683150 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666348-1276683150.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.19 1.67 1.50 3/107 9286 /proc/meminfo: memFree=1767168/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=7724 CPUtime=0 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1069 0 0 0 0 0 0 0 20 0 1 0 41970713 7909376 989 1992294400 4194304 8223781 140734436126064 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9286/statm: 1931 999 348 984 0 944 0 [startup+0.0688399 s] /proc/loadavg: 1.19 1.67 1.50 3/107 9286 /proc/meminfo: memFree=1767168/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=16148 CPUtime=0.06 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 3702 0 0 0 4 2 0 0 20 0 1 0 41970713 16535552 3001 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 4037 3001 426 984 0 3050 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16148 [startup+0.100875 s] /proc/loadavg: 1.19 1.67 1.50 3/107 9286 /proc/meminfo: memFree=1767168/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=16148 CPUtime=0.09 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 3702 0 0 0 5 4 0 0 20 0 1 0 41970713 16535552 3001 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 4037 3001 426 984 0 3050 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16148 [startup+0.300874 s] /proc/loadavg: 1.19 1.67 1.50 3/107 9286 /proc/meminfo: memFree=1767168/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=17300 CPUtime=0.29 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 5540 0 0 0 16 13 0 0 20 0 1 0 41970713 17715200 3297 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 4325 3297 459 984 0 3338 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17300 [startup+0.700897 s] /proc/loadavg: 1.19 1.67 1.50 3/107 9286 /proc/meminfo: memFree=1767168/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=24464 CPUtime=0.69 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 7981 0 0 0 48 21 0 0 21 0 1 0 41970713 25051136 5163 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 6116 5163 532 984 0 5129 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24464 [startup+1.50097 s] /proc/loadavg: 1.19 1.67 1.50 3/108 9287 /proc/meminfo: memFree=1747196/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=26276 CPUtime=1.49 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 8558 0 0 0 128 21 0 0 23 0 1 0 41970713 26906624 5441 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 6569 5441 555 984 0 5582 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26276 [startup+3.10111 s] /proc/loadavg: 1.17 1.66 1.49 2/108 9287 /proc/meminfo: memFree=1747072/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=28552 CPUtime=3.09 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 9104 0 0 0 287 22 0 0 25 0 1 0 41970713 29237248 5987 1992294400 4194304 8223781 140734436126064 18446744073709551615 6055464 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 7138 5987 557 984 0 6151 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28552 [startup+6.3014 s] /proc/loadavg: 1.17 1.66 1.49 2/108 9287 /proc/meminfo: memFree=1737152/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=36496 CPUtime=6.29 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 16426 0 0 0 582 47 0 0 25 0 1 0 41970713 37371904 8272 1992294400 4194304 8223781 140734436126064 18446744073709551615 6059666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 9124 8272 588 984 0 8137 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36496 [startup+12.701 s] /proc/loadavg: 1.15 1.64 1.49 2/108 9287 /proc/meminfo: memFree=1731324/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=40936 CPUtime=12.68 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 17528 0 0 0 1218 50 0 0 25 0 1 0 41970713 41918464 9374 1992294400 4194304 8223781 140734436126064 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 10234 9374 588 984 0 9247 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40936 [startup+25.5011 s] /proc/loadavg: 1.12 1.62 1.48 2/108 9287 /proc/meminfo: memFree=1727604/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44124 CPUtime=25.48 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 21402 0 0 0 2490 58 0 0 25 0 1 0 41970713 45182976 10176 1992294400 4194304 8223781 140734436126064 18446744073709551615 6589943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11031 10176 589 984 0 10044 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44124 [startup+51.1014 s] /proc/loadavg: 1.08 1.56 1.47 2/108 9289 /proc/meminfo: memFree=1727604/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44228 CPUtime=51.07 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 21757 0 0 0 5035 72 0 0 25 0 1 0 41970713 45289472 10181 1992294400 4194304 8223781 140734436126064 18446744073709551615 6590532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11057 10181 590 984 0 10070 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44228 [startup+102.309 s] /proc/loadavg: 1.03 1.47 1.44 2/108 9289 /proc/meminfo: memFree=1727480/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44228 CPUtime=102.26 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 24023 0 0 0 10127 99 0 0 25 0 1 0 41970713 45289472 10189 1992294400 4194304 8223781 140734436126064 18446744073709551615 6570035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11057 10189 592 984 0 10070 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44228 [startup+162.301 s] /proc/loadavg: 1.01 1.38 1.41 2/108 9291 /proc/meminfo: memFree=1727356/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44228 CPUtime=162.24 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 28272 0 0 0 16089 135 0 0 25 0 1 0 41970713 45289472 10190 1992294400 4194304 8223781 140734436126064 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11057 10190 592 984 0 10070 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 44228 [startup+222.301 s] /proc/loadavg: 1.00 1.31 1.38 2/108 9293 /proc/meminfo: memFree=1727232/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44756 CPUtime=222.21 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 42376 0 0 0 22043 178 0 0 25 0 1 0 41970713 45830144 10254 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11189 10254 592 984 0 10202 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 44756 [startup+282.301 s] /proc/loadavg: 1.00 1.25 1.35 2/108 9295 /proc/meminfo: memFree=1727232/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44832 CPUtime=282.2 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 79320 0 0 0 27993 227 0 0 25 0 1 0 41970713 45907968 10306 1992294400 4194304 8223781 140734436126064 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11208 10306 592 984 0 10221 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 44832 [startup+342.302 s] /proc/loadavg: 1.00 1.20 1.33 2/108 9297 /proc/meminfo: memFree=1727232/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44500 CPUtime=342.17 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 138336 0 0 0 33933 284 0 0 25 0 1 0 41970713 45568000 10251 1992294400 4194304 8223781 140734436126064 18446744073709551615 6446975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11125 10251 592 984 0 10138 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 44500 [startup+402.301 s] /proc/loadavg: 1.00 1.16 1.31 2/108 9297 /proc/meminfo: memFree=1726984/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=45488 CPUtime=402.16 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 205265 0 0 0 39873 343 0 0 25 0 1 0 41970713 46579712 10397 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11372 10397 592 984 0 10385 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 45488 [startup+462.301 s] /proc/loadavg: 1.00 1.13 1.28 2/108 9299 /proc/meminfo: memFree=1726984/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44460 CPUtime=462.14 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 294634 0 0 0 45808 406 0 0 25 0 1 0 41970713 45527040 10243 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11115 10243 592 984 0 10128 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 44460 [startup+522.301 s] /proc/loadavg: 1.00 1.11 1.26 2/108 9301 /proc/meminfo: memFree=1726860/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=44728 CPUtime=522.12 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 380689 0 0 0 51740 472 0 0 25 0 1 0 41970713 45801472 10304 1992294400 4194304 8223781 140734436126064 18446744073709551615 6562660 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11182 10304 592 984 0 10195 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 44728 [startup+582.301 s] /proc/loadavg: 1.00 1.08 1.24 2/108 9303 /proc/meminfo: memFree=1726612/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=45360 CPUtime=582.11 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 457998 0 0 0 57672 539 0 0 25 0 1 0 41970713 46448640 10444 1992294400 4194304 8223781 140734436126064 18446744073709551615 6562100 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11340 10444 592 984 0 10353 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 45360 [startup+642.302 s] /proc/loadavg: 1.00 1.06 1.23 2/108 9305 /proc/meminfo: memFree=1726364/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=45828 CPUtime=642.11 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 530859 0 0 0 63607 604 0 0 25 0 1 0 41970713 46927872 10493 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11457 10493 592 984 0 10470 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 45828 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.16 2/108 9311 /proc/meminfo: memFree=1725992/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=45788 CPUtime=882.03 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 963111 0 0 0 87302 901 0 0 25 0 1 0 41970713 46886912 10519 1992294400 4194304 8223781 140734436126064 18446744073709551615 6599001 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11447 10532 592 984 0 10460 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 45788 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.15 2/108 9313 /proc/meminfo: memFree=1725000/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=45956 CPUtime=942.01 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1066721 0 0 0 93225 976 0 0 25 0 1 0 41970713 47058944 10612 1992294400 4194304 8223781 140734436126064 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11489 10612 592 984 0 10502 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 45956 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.14 2/108 9313 /proc/meminfo: memFree=1725124/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=46364 CPUtime=1001.99 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1153774 0 0 0 99157 1042 0 0 25 0 1 0 41970713 47476736 10637 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11591 10637 592 984 0 10604 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 46364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.13 2/108 9315 /proc/meminfo: memFree=1725000/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=46204 CPUtime=1061.98 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1249289 0 0 0 105082 1116 0 0 25 0 1 0 41970713 47312896 10656 1992294400 4194304 8223781 140734436126064 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11551 10656 592 984 0 10564 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 46204 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.12 2/108 9317 /proc/meminfo: memFree=1724876/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=47112 CPUtime=1121.96 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1351621 0 0 0 111005 1191 0 0 25 0 1 0 41970713 48242688 10853 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11778 10853 592 984 0 10791 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 47112 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.11 2/108 9319 /proc/meminfo: memFree=1724876/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=46512 CPUtime=1181.95 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1463018 0 0 0 116934 1261 0 0 25 0 1 0 41970713 47628288 10718 1992294400 4194304 8223781 140734436126064 18446744073709551615 5991394 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11628 10718 592 984 0 10641 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 46512 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.09 2/108 9321 /proc/meminfo: memFree=1723884/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=47144 CPUtime=1241.93 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1581834 0 0 0 122857 1336 0 0 25 0 1 0 41970713 48275456 10878 1992294400 4194304 8223781 140734436126064 18446744073709551615 6560124 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11786 10878 592 984 0 10799 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 47144 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.09 2/108 9321 /proc/meminfo: memFree=1723760/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=47528 CPUtime=1301.92 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1707269 0 0 0 128774 1418 0 0 25 0 1 0 41970713 48668672 10956 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11882 10956 592 984 0 10895 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 47528 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.08 2/108 9323 /proc/meminfo: memFree=1723760/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=48104 CPUtime=1361.9 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1823636 0 0 0 134694 1496 0 0 25 0 1 0 41970713 49258496 11063 1992294400 4194304 8223781 140734436126064 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12026 11063 592 984 0 11039 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 48104 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.08 2/108 9325 /proc/meminfo: memFree=1723388/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=48272 CPUtime=1421.89 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 1936678 0 0 0 140622 1567 0 0 25 0 1 0 41970713 49430528 11043 1992294400 4194304 8223781 140734436126064 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12068 11043 592 984 0 11081 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 48272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.07 2/108 9327 /proc/meminfo: memFree=1723388/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=48204 CPUtime=1481.87 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2041058 0 0 0 146550 1637 0 0 25 0 1 0 41970713 49360896 11101 1992294400 4194304 8223781 140734436126064 18446744073709551615 6560115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12051 11101 592 984 0 11064 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 48204 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.06 2/108 9329 /proc/meminfo: memFree=1723264/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=47552 CPUtime=1541.85 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2147457 0 0 0 152474 1711 0 0 25 0 1 0 41970713 48693248 10996 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11888 10997 592 984 0 10901 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 47552 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 1.06 2/108 9332 /proc/meminfo: memFree=1722396/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=48108 CPUtime=1601.84 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2259724 0 0 0 158394 1790 0 0 25 0 1 0 41970713 49262592 11138 1992294400 4194304 8223781 140734436126064 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12027 11138 592 984 0 11040 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 48108 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.06 2/108 9334 /proc/meminfo: memFree=1722148/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=47924 CPUtime=1661.81 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2375241 0 0 0 164320 1861 0 0 25 0 1 0 41970713 49074176 11093 1992294400 4194304 8223781 140734436126064 18446744073709551615 6444445 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 11981 11093 592 984 0 10994 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 47924 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.05 2/108 9336 /proc/meminfo: memFree=1722396/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=48116 CPUtime=1721.8 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2496818 0 0 0 170245 1935 0 0 25 0 1 0 41970713 49270784 11141 1992294400 4194304 8223781 140734436126064 18446744073709551615 6532622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12029 11141 592 984 0 11042 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 48116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.05 2/108 9338 /proc/meminfo: memFree=1722024/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=49128 CPUtime=1781.77 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2616749 0 0 0 176160 2017 0 0 25 0 1 0 41970713 50307072 11314 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12282 11314 592 984 0 11295 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 49128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.04 2/108 9338 /proc/meminfo: memFree=1722148/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=48712 CPUtime=1800.08 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2653354 0 0 0 177965 2043 0 0 25 0 1 0 41970713 49881088 11284 1992294400 4194304 8223781 140734436126064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12178 11284 592 984 0 11191 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 48712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.04 2/108 9338 /proc/meminfo: memFree=1722148/2059040 swapFree=4140108/4192956 [pid=9286] ppid=9284 vsize=48236 CPUtime=1800.26 /proc/9286/stat : 9286 (pbscip.linux.x8) R 9284 9286 8359 0 -1 4202496 2653607 0 0 0 177983 2043 0 0 25 0 1 0 41970713 49393664 11168 1992294400 4194304 8223781 140734436126064 18446744073709551615 6590386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9286/statm: 12059 11168 592 984 0 11072 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 48236 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.32 CPU user time (s): 1779.88 CPU system time (s): 20.4449 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 49816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.88 system time used= 20.4449 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2653636 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 5947 runsolver used 3.09653 second user time and 8.39472 second system time The end
Begin job on node025 at 2010-06-16 12:12:30 IDJOB=2666348 IDBENCH=48366 IDSOLVER=1169 FILE ID=node025/2666348-1276683150 PBS_JOBID= 11172539 Free space on /tmp= 62580 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_10_3_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-2666348-1276683150/watcher-2666348-1276683150 -o /tmp/evaluation-result-2666348-1276683150/solver-2666348-1276683150 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666348-1276683150.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29fd031d19832e8fd3e4ee8a0dfa62d0 RANDOM SEED=852759777 node025.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1767696 kB Buffers: 84876 kB Cached: 116632 kB SwapCached: 7332 kB Active: 102024 kB Inactive: 114084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1767696 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4620 kB Writeback: 0 kB AnonPages: 12156 kB Mapped: 13020 kB Slab: 53516 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182784 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= 62576 MiB End job on node025 at 2010-06-16 12:42:32