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.42 | 1800.83 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_1_40.opb |
MD5SUM | 6f80de356bf70dde8dfbe2efc2cb9dee |
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 | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
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-2666319-1276679720.opb> 0.09/0.10 c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6806 constraints 0.09/0.10 c problem read 0.09/0.10 c No objective function, only one solution is needed. 0.09/0.10 c presolving settings loaded 0.09/0.18 c presolving: 0.39/0.48 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50032 impls, 400 clqs 0.69/0.70 c presolving (2 rounds): 0.69/0.70 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.69/0.70 c 50032 implications, 400 cliques 0.69/0.70 c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6806 constraints 0.69/0.70 c 1 constraints of type <knapsack> 0.69/0.70 c 400 constraints of type <setppc> 0.69/0.70 c 6204 constraints of type <and> 0.69/0.70 c 1 constraints of type <linear> 0.69/0.70 c 200 constraints of type <logicor> 0.69/0.70 c transformed objective value is always integral (scale: 1) 0.69/0.70 c Presolving Time: 0.37 0.69/0.70 c - non default parameters ---------------------------------------------------------------------- 0.69/0.70 c # SCIP version 1.2.1.2 0.69/0.70 c 0.69/0.70 c # frequency for displaying node information lines 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 100] 0.69/0.70 c display/freq = 10000 0.69/0.70 c 0.69/0.70 c # maximal time in seconds to run 0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.69/0.70 c limits/time = 1799.91 0.69/0.70 c 0.69/0.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.69/0.70 c limits/memory = 1620 0.69/0.70 c 0.69/0.70 c # solving stops, if the given number of solutions were found (-1: no limit) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.70 c limits/solutions = 1 0.69/0.70 c 0.69/0.70 c # maximal number of separation rounds per node (-1: unlimited) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 5] 0.69/0.70 c separating/maxrounds = 1 0.69/0.70 c 0.69/0.70 c # maximal number of separation rounds in the root node (-1: unlimited) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.70 c separating/maxroundsroot = 5 0.69/0.70 c 0.69/0.70 c # should presolving try to simplify inequalities 0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.69/0.70 c constraints/linear/simplifyinequalities = TRUE 0.69/0.70 c 0.69/0.70 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.69/0.70 c constraints/knapsack/disaggregation = FALSE 0.69/0.70 c 0.69/0.70 c # should presolving try to simplify knapsacks 0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.69/0.70 c constraints/knapsack/simplifyinequalities = TRUE 0.69/0.70 c 0.69/0.70 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.70 c presolving/probing/maxrounds = 0 0.69/0.70 c 0.69/0.70 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.70 c heuristics/coefdiving/freq = -1 0.69/0.70 c 0.69/0.70 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.70 c heuristics/coefdiving/maxlpiterquot = 0.075 0.69/0.70 c 0.69/0.70 c # additional number of allowed LP iterations 0.69/0.70 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.70 c heuristics/coefdiving/maxlpiterofs = 1500 0.69/0.70 c 0.69/0.70 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 30] 0.69/0.70 c heuristics/crossover/freq = -1 0.69/0.70 c 0.69/0.70 c # number of nodes added to the contingent of the total nodes 0.69/0.70 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.69/0.70 c heuristics/crossover/nodesofs = 750 0.69/0.70 c 0.69/0.70 c # number of nodes without incumbent change that heuristic should wait 0.69/0.70 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.69/0.70 c heuristics/crossover/nwaitingnodes = 100 0.69/0.70 c 0.69/0.70 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.69/0.70 c # [type: real, range: [0,1], default: 0.1] 0.69/0.70 c heuristics/crossover/nodesquot = 0.15 0.69/0.70 c 0.69/0.70 c # minimum percentage of integer variables that have to be fixed 0.69/0.70 c # [type: real, range: [0,1], default: 0.666] 0.69/0.70 c heuristics/crossover/minfixingrate = 0.5 0.69/0.70 c 0.69/0.70 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.70 c heuristics/feaspump/freq = -1 0.69/0.70 c 0.69/0.70 c # additional number of allowed LP iterations 0.69/0.70 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.70 c heuristics/feaspump/maxlpiterofs = 2000 0.69/0.70 c 0.69/0.70 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.70 c heuristics/fracdiving/freq = -1 0.69/0.70 c 0.69/0.70 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.70 c heuristics/fracdiving/maxlpiterquot = 0.075 0.69/0.70 c 0.69/0.70 c # additional number of allowed LP iterations 0.69/0.70 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.70 c heuristics/fracdiving/maxlpiterofs = 1500 0.69/0.70 c 0.69/0.70 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.70 c heuristics/guideddiving/freq = -1 0.69/0.70 c 0.69/0.70 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.70 c heuristics/guideddiving/maxlpiterquot = 0.075 0.69/0.70 c 0.69/0.70 c # additional number of allowed LP iterations 0.69/0.70 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.70 c heuristics/guideddiving/maxlpiterofs = 1500 0.69/0.70 c 0.69/0.70 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.70 c heuristics/intdiving/maxlpiterquot = 0.075 0.69/0.70 c 0.69/0.70 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.69/0.70 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.70 c heuristics/intshifting/freq = -1 0.69/0.70 c 0.69/0.70 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/linesearchdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/nlp/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.71 c heuristics/objpscostdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to total iteration number 0.69/0.71 c # [type: real, range: [0,1], default: 0.01] 0.69/0.71 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/oneopt/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/pscostdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/pscostdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c heuristics/rens/freq = -1 0.69/0.71 c 0.69/0.71 c # minimum percentage of integer variables that have to be fixable 0.69/0.71 c # [type: real, range: [0,1], default: 0.5] 0.69/0.71 c heuristics/rens/minfixingrate = 0.3 0.69/0.71 c 0.69/0.71 c # number of nodes added to the contingent of the total nodes 0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.69/0.71 c heuristics/rens/nodesofs = 2000 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.71 c heuristics/rootsoldiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.69/0.71 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/rounding/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/shifting/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/simplerounding/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c heuristics/trivial/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/trysol/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/veclendiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/veclendiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/veclendiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/zirounding/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c separating/cmir/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c separating/flowcover/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.71 c separating/rapidlearning/freq = 0 0.69/0.71 c 0.69/0.71 c ----------------------------------------------------------------------------------------------- 0.69/0.71 c start solving 0.69/0.71 c 3.09/3.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 3.09/3.18 c 2.8s| 1 | 0 | 1344 | - | 29M| 0 | 846 |6604 |6806 |6604 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 32.99/33.04 c 32.4s| 1 | 0 | 1456 | - | 30M| 0 | 868 |6604 |6806 |6604 | 13k| 35 | 0 | 0 | 0.000000e+00 | -- | Inf 63.68/63.78 c 63.0s| 1 | 0 | 1537 | - | 32M| 0 | 840 |6604 |6806 |6604 | 13k| 43 | 0 | 0 | 0.000000e+00 | -- | Inf 94.58/94.66 c 93.8s| 1 | 0 | 1603 | - | 33M| 0 | 848 |6604 |6806 |6604 | 13k| 50 | 0 | 0 | 0.000000e+00 | -- | Inf 126.16/126.27 c 125s| 1 | 0 | 1791 | - | 34M| 0 | 822 |6604 |6806 |6604 | 13k| 61 | 0 | 0 | 0.000000e+00 | -- | Inf 157.85/157.96 c 157s| 1 | 0 | 2211 | - | 36M| 0 | 789 |6604 |6806 |6604 | 13k| 68 | 0 | 0 | 0.000000e+00 | -- | Inf 158.16/158.26 c 157s| 1 | 0 | 2261 | - | 36M| 0 | 800 |6604 |6806 |6604 | 13k| 70 | 0 | 0 | 0.000000e+00 | -- | Inf 192.75/192.80 c 191s| 1 | 2 | 2261 | - | 36M| 0 | 800 |6604 |6806 |6604 | 13k| 70 | 0 | 12 | 0.000000e+00 | -- | Inf 1800.09/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.20/1800.68 c 1800.20/1800.68 c SCIP Status : solving was interrupted [user interrupt] 1800.20/1800.68 c Solving Time (sec) : 1780.27 1800.20/1800.68 c Solving Nodes : 1554 1800.20/1800.68 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.20/1800.68 c Dual Bound : +0.00000000000000e+00 1800.20/1800.68 c Gap : infinite 1800.20/1800.68 s UNKNOWN 1800.20/1800.68 c SCIP Status : solving was interrupted [user interrupt] 1800.20/1800.68 c Solving Time : 1780.27 1800.20/1800.68 c Original Problem : 1800.20/1800.68 c Problem name : HOME/instance-2666319-1276679720.opb 1800.20/1800.68 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.20/1800.68 c Constraints : 6806 initial, 6806 maximal 1800.20/1800.68 c Presolved Problem : 1800.20/1800.68 c Problem name : t_HOME/instance-2666319-1276679720.opb 1800.20/1800.68 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.20/1800.68 c Constraints : 6806 initial, 7926 maximal 1800.20/1800.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.20/1800.68 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.20/1800.68 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.20/1800.68 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.20/1800.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.20/1800.68 c implics : 0.00 0 0 0 0 0 0 0 0 1800.20/1800.68 c probing : 0.00 0 0 0 0 0 0 0 0 1800.20/1800.68 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.20/1800.68 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.20/1800.68 c and : 0.23 0 0 0 0 0 0 0 0 1800.20/1800.68 c linear : 0.06 0 0 0 0 0 0 0 0 1800.20/1800.68 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.20/1800.68 c root node : - 0 - - 0 - - - - 1800.20/1800.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.20/1800.68 c integral : 0 0 0 1209 0 2 239 0 0 2066 1800.20/1800.68 c knapsack : 1 5 5394 0 0 0 0 0 0 0 1800.20/1800.68 c setppc : 400 5 5394 0 0 13 11014 0 0 0 1800.20/1800.68 c and : 6204 1463 5381 0 0 2 260343 404975 0 0 1800.20/1800.68 c linear : 1 5 5379 0 0 0 0 0 0 0 1800.20/1800.68 c logicor : 200+ 5 1816 0 0 7 1083 0 0 0 1800.20/1800.68 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.20/1800.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.20/1800.68 c integral : 615.72 0.00 0.00 615.72 0.00 1800.20/1800.68 c knapsack : 0.15 0.06 0.09 0.00 0.00 1800.20/1800.68 c setppc : 0.20 0.00 0.20 0.00 0.00 1800.20/1800.68 c and : 7.49 5.25 2.24 0.00 0.00 1800.20/1800.68 c linear : 0.24 0.00 0.24 0.00 0.00 1800.20/1800.68 c logicor : 0.08 0.00 0.08 0.00 0.00 1800.20/1800.68 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.20/1800.68 c Propagators : Time Calls Cutoffs DomReds 1800.20/1800.68 c vbounds : 0.00 1 0 0 1800.20/1800.68 c rootredcost : 0.01 0 0 0 1800.20/1800.68 c pseudoobj : 0.00 0 0 0 1800.20/1800.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.20/1800.68 c propagation : 0.00 22 21 56 27.0 0 0.0 - 1800.20/1800.68 c infeasible LP : 2.46 501 487 3997 45.7 0 0.0 0 1800.20/1800.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.20/1800.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.20/1800.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.20/1800.68 c applied globally : - - - 1136 59.5 - - - 1800.20/1800.68 c applied locally : - - - 0 0.0 - - - 1800.20/1800.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.20/1800.68 c cut pool : 0.01 4 - - 2 - (maximal pool size: 410) 1800.20/1800.68 c redcost : 1.45 1463 0 0 0 0 1800.20/1800.68 c impliedbounds : 0.00 5 0 0 49 0 1800.20/1800.68 c intobj : 0.00 0 0 0 0 0 1800.20/1800.68 c cgmip : 0.00 0 0 0 0 0 1800.20/1800.68 c gomory : 38.63 5 0 0 0 0 1800.20/1800.68 c strongcg : 111.18 5 0 0 887 0 1800.20/1800.68 c cmir : 0.00 0 0 0 0 0 1800.20/1800.68 c flowcover : 0.00 0 0 0 0 0 1800.20/1800.68 c clique : 0.23 5 0 0 31 0 1800.20/1800.68 c zerohalf : 0.00 0 0 0 0 0 1800.20/1800.68 c mcf : 0.42 3 0 0 51 0 1800.20/1800.68 c rapidlearning : 0.83 1 0 0 0 0 1800.20/1800.68 c Pricers : Time Calls Vars 1800.20/1800.68 c problem variables: 0.00 0 0 1800.20/1800.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.20/1800.68 c relpscost : 615.71 1209 2 239 0 0 2066 1800.20/1800.68 c pscost : 0.00 0 0 0 0 0 0 1800.20/1800.68 c inference : 0.00 0 0 0 0 0 0 1800.20/1800.68 c mostinf : 0.00 0 0 0 0 0 0 1800.20/1800.68 c leastinf : 0.00 0 0 0 0 0 0 1800.20/1800.68 c fullstrong : 0.00 0 0 0 0 0 0 1800.20/1800.68 c allfullstrong : 0.00 0 0 0 0 0 0 1800.20/1800.68 c random : 0.00 0 0 0 0 0 0 1800.20/1800.68 c Primal Heuristics : Time Calls Found 1800.20/1800.68 c LP solutions : 0.00 - 0 1800.20/1800.68 c pseudo solutions : 0.00 - 0 1800.20/1800.68 c trivial : 0.01 1 0 1800.20/1800.68 c simplerounding : 0.00 0 0 1800.20/1800.68 c zirounding : 0.00 0 0 1800.20/1800.68 c rounding : 0.00 0 0 1800.20/1800.68 c shifting : 0.00 0 0 1800.20/1800.68 c intshifting : 0.00 0 0 1800.20/1800.68 c oneopt : 0.00 0 0 1800.20/1800.68 c twoopt : 0.00 0 0 1800.20/1800.68 c fixandinfer : 0.00 0 0 1800.20/1800.68 c feaspump : 0.00 0 0 1800.20/1800.68 c coefdiving : 0.00 0 0 1800.20/1800.68 c pscostdiving : 0.00 0 0 1800.20/1800.68 c fracdiving : 0.00 0 0 1800.20/1800.68 c veclendiving : 0.00 0 0 1800.20/1800.68 c intdiving : 0.00 0 0 1800.20/1800.68 c actconsdiving : 0.00 0 0 1800.20/1800.68 c objpscostdiving : 0.00 0 0 1800.20/1800.68 c rootsoldiving : 0.00 0 0 1800.20/1800.68 c linesearchdiving : 0.00 0 0 1800.20/1800.68 c guideddiving : 0.00 0 0 1800.20/1800.68 c octane : 0.00 0 0 1800.20/1800.68 c rens : 0.00 0 0 1800.20/1800.68 c rins : 0.00 0 0 1800.20/1800.68 c localbranching : 0.00 0 0 1800.20/1800.68 c mutation : 0.00 0 0 1800.20/1800.68 c crossover : 0.00 0 0 1800.20/1800.68 c dins : 0.00 0 0 1800.20/1800.68 c undercover : 0.00 0 0 1800.20/1800.68 c nlp : 0.00 0 0 1800.20/1800.68 c trysol : 0.00 0 0 1800.20/1800.68 c LP : Time Calls Iterations Iter/call Iter/sec 1800.20/1800.68 c primal LP : 7.12 0 0 0.00 0.00 1800.20/1800.68 c dual LP : 973.45 3174 998203 314.49 1025.43 1800.20/1800.68 c lex dual LP : 0.00 0 0 0.00 - 1800.20/1800.68 c barrier LP : 0.00 0 0 0.00 - 1800.20/1800.68 c diving/probing LP: 0.00 0 0 0.00 - 1800.20/1800.68 c strong branching : 615.23 3275 609126 185.99 990.08 1800.20/1800.68 c (at root node) : - 12 10548 879.00 - 1800.20/1800.68 c conflict analysis: 0.00 0 0 0.00 - 1800.20/1800.68 c B&B Tree : 1800.20/1800.68 c number of runs : 1 1800.20/1800.68 c nodes : 1554 1800.20/1800.68 c nodes (total) : 1554 1800.20/1800.68 c nodes left : 413 1800.20/1800.68 c max depth : 27 1800.20/1800.68 c max depth (total): 27 1800.20/1800.68 c backtracks : 276 (17.8%) 1800.20/1800.68 c delayed cutoffs : 100 1800.20/1800.68 c repropagations : 1006 (16150 domain reductions, 4 cutoffs) 1800.20/1800.68 c avg switch length: 5.21 1800.20/1800.68 c switching time : 10.93 1800.20/1800.68 c Solution : 1800.20/1800.68 c Solutions found : 0 (0 improvements) 1800.20/1800.68 c Primal Bound : - 1800.20/1800.68 c Dual Bound : +0.00000000000000e+00 1800.20/1800.68 c Gap : infinite 1800.20/1800.68 c Root Dual Bound : +0.00000000000000e+00 1800.20/1800.68 c Root Iterations : 2261 1800.38/1800.83 c Time complete: 1800.41.
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-2666319-1276679720/watcher-2666319-1276679720 -o /tmp/evaluation-result-2666319-1276679720/solver-2666319-1276679720 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666319-1276679720.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.00 1.00 3/106 15138 /proc/meminfo: memFree=1715320/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=7724 CPUtime=0 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1038 0 0 0 0 0 0 0 20 0 1 0 9267370 7909376 957 1992294400 4194304 8223781 140736802873568 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15138/statm: 1931 967 348 984 0 944 0 [startup+0.0216381 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15138 /proc/meminfo: memFree=1715320/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=10668 CPUtime=0.01 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1968 0 0 0 1 0 0 0 20 0 1 0 9267370 10924032 1887 1992294400 4194304 8223781 140736802873568 18446744073709551615 7164280 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15138/statm: 2667 1887 364 984 0 1680 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10668 [startup+0.101643 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15138 /proc/meminfo: memFree=1715320/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=16624 CPUtime=0.09 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 3472 0 0 0 8 1 0 0 20 0 1 0 9267370 17022976 3390 1992294400 4194304 8223781 140736802873568 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15138/statm: 4156 3390 365 984 0 3169 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16624 [startup+0.301655 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15138 /proc/meminfo: memFree=1715320/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=32264 CPUtime=0.29 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 7731 0 0 0 24 5 0 0 20 0 1 0 9267370 33038336 7029 1992294400 4194304 8223781 140736802873568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 8066 7029 426 984 0 7079 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32264 [startup+0.701681 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15138 /proc/meminfo: memFree=1715320/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=37136 CPUtime=0.69 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 10471 0 0 0 48 21 0 0 20 0 1 0 9267370 38027264 8227 1992294400 4194304 8223781 140736802873568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 9284 8227 459 984 0 8297 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37136 [startup+1.50173 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15139 /proc/meminfo: memFree=1659512/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=63600 CPUtime=1.49 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 18485 0 0 0 124 25 0 0 22 0 1 0 9267370 65126400 14634 1992294400 4194304 8223781 140736802873568 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 15900 14634 551 984 0 14913 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 63600 [startup+3.10084 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15139 /proc/meminfo: memFree=1658148/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=66044 CPUtime=3.09 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 20189 0 0 0 283 26 0 0 25 0 1 0 9267370 67629056 14923 1992294400 4194304 8223781 140736802873568 18446744073709551615 6588784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 16511 14923 549 984 0 15524 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66044 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15139 /proc/meminfo: memFree=1657156/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=65984 CPUtime=6.29 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 20768 0 0 0 601 28 0 0 25 0 1 0 9267370 67567616 14915 1992294400 4194304 8223781 140736802873568 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 16496 14915 569 984 0 15509 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65984 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15139 /proc/meminfo: memFree=1657032/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=66040 CPUtime=12.69 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 20813 0 0 0 1239 30 0 0 25 0 1 0 9267370 67624960 14947 1992294400 4194304 8223781 140736802873568 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 16510 14947 560 984 0 15523 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66040 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15141 /proc/meminfo: memFree=1656412/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=66936 CPUtime=25.49 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 21028 0 0 0 2516 33 0 0 25 0 1 0 9267370 68542464 15162 1992294400 4194304 8223781 140736802873568 18446744073709551615 6056782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 16734 15162 560 984 0 15747 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66936 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15141 /proc/meminfo: memFree=1652444/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=69580 CPUtime=51.08 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 34672 0 0 0 5043 65 0 0 25 0 1 0 9267370 71249920 16124 1992294400 4194304 8223781 140736802873568 18446744073709551615 6054707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 17395 16124 594 984 0 16408 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69580 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15143 /proc/meminfo: memFree=1648848/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=73660 CPUtime=102.28 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 37941 0 0 0 10147 81 0 0 25 0 1 0 9267370 75427840 16960 1992294400 4194304 8223781 140736802873568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 18415 16960 594 984 0 17428 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 73660 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15143 /proc/meminfo: memFree=1639548/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=84352 CPUtime=162.25 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 48966 0 0 0 16124 101 0 0 25 0 1 0 9267370 86376448 19535 1992294400 4194304 8223781 140736802873568 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 21088 19535 595 984 0 20101 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 84352 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15145 /proc/meminfo: memFree=1640788/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=81860 CPUtime=222.24 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 108466 0 0 0 22073 151 0 0 25 0 1 0 9267370 83824640 18963 1992294400 4194304 8223781 140736802873568 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 20465 18963 595 984 0 19478 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 81860 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15147 /proc/meminfo: memFree=1640664/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=81516 CPUtime=282.23 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 148249 0 0 0 28027 196 0 0 25 0 1 0 9267370 83472384 18961 1992294400 4194304 8223781 140736802873568 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 20379 18961 595 984 0 19392 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 81516 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15149 /proc/meminfo: memFree=1638680/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=83632 CPUtime=342.22 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 211616 0 0 0 33974 248 0 0 25 0 1 0 9267370 85639168 19436 1992294400 4194304 8223781 140736802873568 18446744073709551615 6567527 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 20908 19436 600 984 0 19921 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 83632 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15151 /proc/meminfo: memFree=1637564/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=84624 CPUtime=402.2 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 299032 0 0 0 39905 315 0 0 25 0 1 0 9267370 86654976 19750 1992294400 4194304 8223781 140736802873568 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 21156 19750 600 984 0 20169 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 84624 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15151 /proc/meminfo: memFree=1636448/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=85180 CPUtime=462.19 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 372752 0 0 0 45843 376 0 0 25 0 1 0 9267370 87224320 19889 1992294400 4194304 8223781 140736802873568 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 21295 19889 600 984 0 20308 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 85180 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 15153 /proc/meminfo: memFree=1635456/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=86400 CPUtime=522.18 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 456507 0 0 0 51780 438 0 0 25 0 1 0 9267370 88473600 20201 1992294400 4194304 8223781 140736802873568 18446744073709551615 6599135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 21600 20201 600 984 0 20613 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 86400 [startup+582.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 15155 /proc/meminfo: memFree=1635332/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=86508 CPUtime=582.16 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 552130 0 0 0 57710 506 0 0 25 0 1 0 9267370 88584192 20230 1992294400 4194304 8223781 140736802873568 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 21627 20230 600 984 0 20640 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 86508 [startup+642.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 15157 /proc/meminfo: memFree=1634340/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=87724 CPUtime=642.16 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 649750 0 0 0 63638 578 0 0 25 0 1 0 9267370 89829376 20461 1992294400 4194304 8223781 140736802873568 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 21931 20462 600 984 0 20944 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 87724 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15165 /proc/meminfo: memFree=1629876/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=90788 CPUtime=942.08 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1179349 0 0 0 93280 928 0 0 25 0 1 0 9267370 92966912 21319 1992294400 4194304 8223781 140736802873568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 22697 21319 600 984 0 21710 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 90788 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15170 /proc/meminfo: memFree=1628264/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=92168 CPUtime=1002.06 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1289391 0 0 0 99208 998 0 0 25 0 1 0 9267370 94380032 21623 1992294400 4194304 8223781 140736802873568 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 23042 21623 600 984 0 22055 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 92168 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15170 /proc/meminfo: memFree=1628016/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=92892 CPUtime=1062.04 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1405162 0 0 0 105136 1068 0 0 25 0 1 0 9267370 95121408 21818 1992294400 4194304 8223781 140736802873568 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 23223 21819 600 984 0 22236 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 92892 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15172 /proc/meminfo: memFree=1626900/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=95196 CPUtime=1122.03 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1511250 0 0 0 111068 1135 0 0 25 0 1 0 9267370 97480704 22287 1992294400 4194304 8223781 140736802873568 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 23799 22287 600 984 0 22812 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 95196 [startup+1182.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 15174 /proc/meminfo: memFree=1626032/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=94684 CPUtime=1182.02 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1636283 0 0 0 116987 1215 0 0 25 0 1 0 9267370 96956416 22233 1992294400 4194304 8223781 140736802873568 18446744073709551615 6448554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 23671 22233 600 984 0 22684 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 94684 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 15176 /proc/meminfo: memFree=1624916/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=96644 CPUtime=1242 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1757548 0 0 0 122909 1291 0 0 25 0 1 0 9267370 98963456 22718 1992294400 4194304 8223781 140736802873568 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 24161 22718 600 984 0 23174 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 96644 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15178 /proc/meminfo: memFree=1623552/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=98340 CPUtime=1302 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1850783 0 0 0 128844 1356 0 0 25 0 1 0 9267370 100700160 23043 1992294400 4194304 8223781 140736802873568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 24585 23043 600 984 0 23598 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 98340 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15178 /proc/meminfo: memFree=1623800/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=97500 CPUtime=1361.98 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 1973821 0 0 0 134760 1438 0 0 25 0 1 0 9267370 99840000 22891 1992294400 4194304 8223781 140736802873568 18446744073709551615 6569372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 24375 22891 600 984 0 23388 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 97500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15180 /proc/meminfo: memFree=1623552/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=98900 CPUtime=1421.97 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2110911 0 0 0 140679 1518 0 0 25 0 1 0 9267370 101273600 23192 1992294400 4194304 8223781 140736802873568 18446744073709551615 6559814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 24725 23192 600 984 0 23738 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 98900 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15182 /proc/meminfo: memFree=1622560/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=99544 CPUtime=1481.95 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2209751 0 0 0 146611 1584 0 0 25 0 1 0 9267370 101933056 23333 1992294400 4194304 8223781 140736802873568 18446744073709551615 6532622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 24886 23333 602 984 0 23899 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 99544 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15184 /proc/meminfo: memFree=1621444/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=99584 CPUtime=1541.94 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2338597 0 0 0 152528 1666 0 0 25 0 1 0 9267370 101974016 23380 1992294400 4194304 8223781 140736802873568 18446744073709551615 6567532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 24896 23380 600 984 0 23909 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 99584 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15186 /proc/meminfo: memFree=1620824/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=101328 CPUtime=1601.93 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2440712 0 0 0 158458 1735 0 0 25 0 1 0 9267370 103759872 23737 1992294400 4194304 8223781 140736802873568 18446744073709551615 6560132 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 25332 23737 600 984 0 24345 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 101328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15186 /proc/meminfo: memFree=1620452/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=100928 CPUtime=1661.92 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2563088 0 0 0 164381 1811 0 0 25 0 1 0 9267370 103350272 23724 1992294400 4194304 8223781 140736802873568 18446744073709551615 6446789 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 25232 23724 600 984 0 24245 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 100928 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15188 /proc/meminfo: memFree=1619832/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=101904 CPUtime=1721.9 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2692651 0 0 0 170302 1888 0 0 25 0 1 0 9267370 104349696 23937 1992294400 4194304 8223781 140736802873568 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 25476 23937 600 984 0 24489 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 101904 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15190 /proc/meminfo: memFree=1619088/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=103416 CPUtime=1781.89 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2828616 0 0 0 176221 1968 0 0 25 0 1 0 9267370 105897984 24236 1992294400 4194304 8223781 140736802873568 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 25854 24236 600 984 0 24867 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 103416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15190 /proc/meminfo: memFree=1618592/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=103012 CPUtime=1800.09 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2870129 0 0 0 178018 1991 0 0 25 0 1 0 9267370 105484288 24244 1992294400 4194304 8223781 140736802873568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 25753 24244 600 984 0 24766 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 103012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15191 /proc/meminfo: memFree=1618584/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=103012 CPUtime=1800.2 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2870183 0 0 0 178029 1991 0 0 25 0 1 0 9267370 105484288 24228 1992294400 4194304 8223781 140736802873568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15138/statm: 25753 24228 600 984 0 24766 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 103012 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15191 /proc/meminfo: memFree=1618584/2059040 swapFree=4192956/4192956 [pid=15138] ppid=15136 vsize=93980 CPUtime=1800.38 /proc/15138/stat : 15138 (pbscip.linux.x8) R 15136 15138 14710 0 -1 4202496 2870219 0 0 0 178047 1991 0 0 25 0 1 0 9267370 96235520 21966 1992294400 4194304 8223781 140736802873568 18446744073709551615 4671856 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15138/statm: 23495 21966 601 984 0 22508 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 93980 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.42 CPU user time (s): 1780.5 CPU system time (s): 19.925 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 105140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.5 system time used= 19.925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2870223 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= 1 involuntary context switches= 3142 runsolver used 2.93355 second user time and 8.5477 second system time The end
Begin job on node030 at 2010-06-16 11:15:20 IDJOB=2666319 IDBENCH=48337 IDSOLVER=1169 FILE ID=node030/2666319-1276679720 PBS_JOBID= 11172542 Free space on /tmp= 62556 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_200_25_1_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666319-1276679720/watcher-2666319-1276679720 -o /tmp/evaluation-result-2666319-1276679720/solver-2666319-1276679720 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666319-1276679720.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f80de356bf70dde8dfbe2efc2cb9dee RANDOM SEED=905005523 node030.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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1715848 kB Buffers: 69204 kB Cached: 136044 kB SwapCached: 0 kB Active: 127712 kB Inactive: 137192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1715848 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4716 kB Writeback: 0 kB AnonPages: 59696 kB Mapped: 15452 kB Slab: 56508 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181836 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= 62552 MiB End job on node030 at 2010-06-16 11:45:23