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) | 1801.51 | 1802.24 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb |
MD5SUM | 6671ed3c9b389a2223dba62c8a435d2e |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
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-2666332-1276680913.opb> 0.19/0.24 c original problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17224 constraints 0.19/0.24 c problem read 0.19/0.24 c No objective function, only one solution is needed. 0.19/0.25 c presolving settings loaded 0.39/0.47 c presolving: 1.00/1.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126776 impls, 1000 clqs 1.39/1.43 c presolving (2 rounds): 1.39/1.43 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.39/1.43 c 126776 implications, 1000 cliques 1.39/1.43 c presolved problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17224 constraints 1.39/1.43 c 1 constraints of type <knapsack> 1.39/1.43 c 1000 constraints of type <setppc> 1.39/1.43 c 15722 constraints of type <and> 1.39/1.43 c 1 constraints of type <linear> 1.39/1.43 c 500 constraints of type <logicor> 1.39/1.43 c transformed objective value is always integral (scale: 1) 1.39/1.43 c Presolving Time: 0.85 1.39/1.43 c - non default parameters ---------------------------------------------------------------------- 1.39/1.43 c # SCIP version 1.2.1.2 1.39/1.43 c 1.39/1.43 c # frequency for displaying node information lines 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 100] 1.39/1.43 c display/freq = 10000 1.39/1.43 c 1.39/1.43 c # maximal time in seconds to run 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.43 c limits/time = 1799.76 1.39/1.43 c 1.39/1.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.43 c limits/memory = 1620 1.39/1.43 c 1.39/1.43 c # solving stops, if the given number of solutions were found (-1: no limit) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.43 c limits/solutions = 1 1.39/1.43 c 1.39/1.43 c # maximal number of separation rounds per node (-1: unlimited) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 5] 1.39/1.43 c separating/maxrounds = 1 1.39/1.43 c 1.39/1.43 c # maximal number of separation rounds in the root node (-1: unlimited) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.43 c separating/maxroundsroot = 5 1.39/1.43 c 1.39/1.43 c # should presolving try to simplify inequalities 1.39/1.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.43 c constraints/linear/simplifyinequalities = TRUE 1.39/1.43 c 1.39/1.43 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.39/1.43 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.39/1.43 c constraints/knapsack/disaggregation = FALSE 1.39/1.43 c 1.39/1.43 c # should presolving try to simplify knapsacks 1.39/1.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.43 c constraints/knapsack/simplifyinequalities = TRUE 1.39/1.43 c 1.39/1.43 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.43 c presolving/probing/maxrounds = 0 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/coefdiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.43 c heuristics/coefdiving/maxlpiterquot = 0.075 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/coefdiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 30] 1.39/1.43 c heuristics/crossover/freq = -1 1.39/1.43 c 1.39/1.43 c # number of nodes added to the contingent of the total nodes 1.39/1.43 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.43 c heuristics/crossover/nodesofs = 750 1.39/1.43 c 1.39/1.43 c # number of nodes without incumbent change that heuristic should wait 1.39/1.43 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.39/1.43 c heuristics/crossover/nwaitingnodes = 100 1.39/1.43 c 1.39/1.43 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.39/1.43 c # [type: real, range: [0,1], default: 0.1] 1.39/1.43 c heuristics/crossover/nodesquot = 0.15 1.39/1.43 c 1.39/1.43 c # minimum percentage of integer variables that have to be fixed 1.39/1.43 c # [type: real, range: [0,1], default: 0.666] 1.39/1.43 c heuristics/crossover/minfixingrate = 0.5 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.43 c heuristics/feaspump/freq = -1 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/feaspump/maxlpiterofs = 2000 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/fracdiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.43 c heuristics/fracdiving/maxlpiterquot = 0.075 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/fracdiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/guideddiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.43 c heuristics/guideddiving/maxlpiterquot = 0.075 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/guideddiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.43 c heuristics/intdiving/maxlpiterquot = 0.075 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/intshifting/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/linesearchdiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.43 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.43 c heuristics/nlp/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.43 c heuristics/objpscostdiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to total iteration number 1.39/1.43 c # [type: real, range: [0,1], default: 0.01] 1.39/1.43 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.43 c heuristics/oneopt/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/pscostdiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.43 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/pscostdiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.43 c heuristics/rens/freq = -1 1.39/1.43 c 1.39/1.43 c # minimum percentage of integer variables that have to be fixable 1.39/1.43 c # [type: real, range: [0,1], default: 0.5] 1.39/1.43 c heuristics/rens/minfixingrate = 0.3 1.39/1.43 c 1.39/1.43 c # number of nodes added to the contingent of the total nodes 1.39/1.43 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.43 c heuristics/rens/nodesofs = 2000 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.43 c heuristics/rootsoldiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.39/1.43 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.43 c heuristics/rounding/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/shifting/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.43 c heuristics/simplerounding/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.43 c heuristics/trivial/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.43 c heuristics/trysol/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.43 c heuristics/veclendiving/freq = -1 1.39/1.43 c 1.39/1.43 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.43 c heuristics/veclendiving/maxlpiterquot = 0.075 1.39/1.43 c 1.39/1.43 c # additional number of allowed LP iterations 1.39/1.43 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.43 c heuristics/veclendiving/maxlpiterofs = 1500 1.39/1.43 c 1.39/1.43 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.43 c heuristics/zirounding/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.43 c separating/cmir/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.43 c separating/flowcover/freq = -1 1.39/1.43 c 1.39/1.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.39/1.43 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.43 c separating/rapidlearning/freq = 0 1.39/1.43 c 1.39/1.43 c ----------------------------------------------------------------------------------------------- 1.39/1.43 c start solving 1.39/1.45 c 13.98/14.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.98/14.04 c 13.4s| 1 | 0 | 2562 | - | 75M| 0 |1397 | 16k| 17k| 16k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 193.81/193.91 c 185s| 1 | 0 | 2738 | - | 77M| 0 |1387 | 16k| 17k| 16k| 32k| 37 | 0 | 0 | 0.000000e+00 | -- | Inf 372.54/372.76 c 355s| 1 | 0 | 2848 | - | 77M| 0 |1372 | 16k| 17k| 16k| 32k| 48 | 0 | 0 | 0.000000e+00 | -- | Inf 557.37/557.68 c 531s| 1 | 0 | 2949 | - | 78M| 0 |1364 | 16k| 17k| 16k| 33k| 60 | 0 | 0 | 0.000000e+00 | -- | Inf 743.39/743.77 c 708s| 1 | 0 | 3031 | - | 79M| 0 |1342 | 16k| 17k| 16k| 33k| 66 | 0 | 0 | 0.000000e+00 | -- | Inf 933.21/933.65 c 889s| 1 | 0 | 3172 | - | 82M| 0 |1333 | 16k| 17k| 16k| 33k| 74 | 0 | 0 | 0.000000e+00 | -- | Inf 1089.56/1090.08 c 1044s| 1 | 2 | 3172 | - | 82M| 0 |1333 | 16k| 17k| 16k| 33k| 74 | 0 | 30 | 0.000000e+00 | -- | Inf 1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination) 1801.15/1801.92 c 1801.15/1801.92 c SCIP Status : solving was interrupted [user interrupt] 1801.15/1801.92 c Solving Time (sec) : 1748.93 1801.15/1801.92 c Solving Nodes : 140 1801.15/1801.92 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1801.15/1801.92 c Dual Bound : +0.00000000000000e+00 1801.15/1801.92 c Gap : infinite 1801.15/1801.92 s UNKNOWN 1801.15/1801.92 c SCIP Status : solving was interrupted [user interrupt] 1801.15/1801.92 c Solving Time : 1748.93 1801.15/1801.92 c Original Problem : 1801.15/1801.92 c Problem name : HOME/instance-2666332-1276680913.opb 1801.15/1801.92 c Variables : 16722 (16722 binary, 0 integer, 0 implicit integer, 0 continuous) 1801.15/1801.92 c Constraints : 17224 initial, 17224 maximal 1801.15/1801.92 c Presolved Problem : 1801.15/1801.92 c Problem name : t_HOME/instance-2666332-1276680913.opb 1801.15/1801.92 c Variables : 16722 (16722 binary, 0 integer, 0 implicit integer, 0 continuous) 1801.15/1801.92 c Constraints : 17224 initial, 17263 maximal 1801.15/1801.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1801.15/1801.92 c trivial : 0.01 0 0 0 0 0 0 0 0 1801.15/1801.92 c dualfix : 0.01 0 0 0 0 0 0 0 0 1801.15/1801.92 c boundshift : 0.00 0 0 0 0 0 0 0 0 1801.15/1801.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1801.15/1801.92 c implics : 0.01 0 0 0 0 0 0 0 0 1801.15/1801.92 c probing : 0.00 0 0 0 0 0 0 0 0 1801.15/1801.92 c knapsack : 0.04 0 0 0 0 0 0 0 0 1801.15/1801.92 c setppc : 0.02 0 0 0 0 0 0 0 0 1801.15/1801.92 c and : 0.48 0 0 0 0 0 0 0 0 1801.15/1801.92 c linear : 0.13 0 0 0 0 0 0 0 0 1801.15/1801.92 c logicor : 0.01 0 0 0 0 0 0 0 0 1801.15/1801.92 c root node : - 0 - - 0 - - - - 1801.15/1801.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1801.15/1801.92 c integral : 0 0 0 132 0 0 0 0 0 264 1801.15/1801.92 c knapsack : 1 5 370 0 0 0 0 0 0 0 1801.15/1801.92 c setppc : 1000 5 370 0 0 1 902 0 0 0 1801.15/1801.92 c and : 15722 140 369 0 0 0 21391 28052 0 0 1801.15/1801.92 c linear : 1 5 369 0 0 0 0 0 0 0 1801.15/1801.92 c logicor : 500+ 5 121 0 0 0 82 0 0 0 1801.15/1801.92 c countsols : 0 0 0 0 0 0 0 0 0 0 1801.15/1801.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1801.15/1801.92 c integral : 561.65 0.00 0.00 561.65 0.00 1801.15/1801.92 c knapsack : 0.85 0.83 0.02 0.00 0.00 1801.15/1801.92 c setppc : 0.02 0.00 0.02 0.00 0.00 1801.15/1801.92 c and : 1.59 1.23 0.36 0.00 0.00 1801.15/1801.92 c linear : 0.07 0.00 0.07 0.00 0.00 1801.15/1801.92 c logicor : 0.00 0.00 0.00 0.00 0.00 1801.15/1801.92 c countsols : 0.00 0.00 0.00 0.00 0.00 1801.15/1801.92 c Propagators : Time Calls Cutoffs DomReds 1801.15/1801.92 c vbounds : 0.00 1 0 0 1801.15/1801.92 c rootredcost : 0.00 0 0 0 1801.15/1801.92 c pseudoobj : 0.00 0 0 0 1801.15/1801.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1801.15/1801.92 c propagation : 0.00 1 1 1 3.0 0 0.0 - 1801.15/1801.92 c infeasible LP : 0.14 7 7 186 197.8 0 0.0 0 1801.15/1801.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1801.15/1801.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1801.15/1801.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1801.15/1801.92 c applied globally : - - - 39 238.8 - - - 1801.15/1801.92 c applied locally : - - - 0 0.0 - - - 1801.15/1801.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1801.15/1801.92 c cut pool : 0.01 4 - - 1 - (maximal pool size: 268) 1801.15/1801.92 c redcost : 0.33 140 0 0 0 0 1801.15/1801.92 c impliedbounds : 0.02 5 0 0 63 0 1801.15/1801.92 c intobj : 0.00 0 0 0 0 0 1801.15/1801.92 c cgmip : 0.00 0 0 0 0 0 1801.15/1801.92 c gomory : 266.87 5 0 0 0 0 1801.15/1801.92 c strongcg : 598.85 5 0 0 475 0 1801.15/1801.92 c cmir : 0.00 0 0 0 0 0 1801.15/1801.92 c flowcover : 0.00 0 0 0 0 0 1801.15/1801.92 c clique : 0.67 5 0 0 33 0 1801.15/1801.92 c zerohalf : 0.00 0 0 0 0 0 1801.15/1801.92 c mcf : 4.66 4 0 0 54 0 1801.15/1801.92 c rapidlearning : 0.00 0 0 0 0 0 1801.15/1801.92 c Pricers : Time Calls Vars 1801.15/1801.92 c problem variables: 0.00 0 0 1801.15/1801.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1801.15/1801.93 c relpscost : 561.64 132 0 0 0 0 264 1801.15/1801.93 c pscost : 0.00 0 0 0 0 0 0 1801.15/1801.93 c inference : 0.00 0 0 0 0 0 0 1801.15/1801.93 c mostinf : 0.00 0 0 0 0 0 0 1801.15/1801.93 c leastinf : 0.00 0 0 0 0 0 0 1801.15/1801.93 c fullstrong : 0.00 0 0 0 0 0 0 1801.15/1801.93 c allfullstrong : 0.00 0 0 0 0 0 0 1801.15/1801.93 c random : 0.00 0 0 0 0 0 0 1801.15/1801.93 c Primal Heuristics : Time Calls Found 1801.15/1801.93 c LP solutions : 0.00 - 0 1801.15/1801.93 c pseudo solutions : 0.00 - 0 1801.15/1801.93 c trivial : 0.03 1 0 1801.15/1801.93 c simplerounding : 0.00 0 0 1801.15/1801.93 c zirounding : 0.00 0 0 1801.15/1801.93 c rounding : 0.00 0 0 1801.15/1801.93 c shifting : 0.00 0 0 1801.15/1801.93 c intshifting : 0.00 0 0 1801.15/1801.93 c oneopt : 0.00 0 0 1801.15/1801.93 c twoopt : 0.00 0 0 1801.15/1801.93 c fixandinfer : 0.00 0 0 1801.15/1801.93 c feaspump : 0.00 0 0 1801.15/1801.93 c coefdiving : 0.00 0 0 1801.15/1801.93 c pscostdiving : 0.00 0 0 1801.15/1801.93 c fracdiving : 0.00 0 0 1801.15/1801.93 c veclendiving : 0.00 0 0 1801.15/1801.93 c intdiving : 0.00 0 0 1801.15/1801.93 c actconsdiving : 0.00 0 0 1801.15/1801.93 c objpscostdiving : 0.00 0 0 1801.15/1801.93 c rootsoldiving : 0.00 0 0 1801.15/1801.93 c linesearchdiving : 0.00 0 0 1801.15/1801.93 c guideddiving : 0.00 0 0 1801.15/1801.93 c octane : 0.00 0 0 1801.15/1801.93 c rens : 0.00 0 0 1801.15/1801.93 c rins : 0.00 0 0 1801.15/1801.93 c localbranching : 0.00 0 0 1801.15/1801.93 c mutation : 0.00 0 0 1801.15/1801.93 c crossover : 0.00 0 0 1801.15/1801.93 c dins : 0.00 0 0 1801.15/1801.93 c undercover : 0.00 0 0 1801.15/1801.93 c nlp : 0.00 0 0 1801.15/1801.93 c trysol : 0.00 0 0 1801.15/1801.93 c LP : Time Calls Iterations Iter/call Iter/sec 1801.15/1801.93 c primal LP : 3.47 0 0 0.00 0.00 1801.15/1801.93 c dual LP : 305.22 279 124385 445.82 407.53 1801.15/1801.93 c lex dual LP : 0.00 0 0 0.00 - 1801.15/1801.93 c barrier LP : 0.00 0 0 0.00 - 1801.15/1801.93 c diving/probing LP: 0.00 0 0 0.00 - 1801.15/1801.93 c strong branching : 561.47 353 187656 531.60 334.22 1801.15/1801.93 c (at root node) : - 30 19143 638.10 - 1801.15/1801.93 c conflict analysis: 0.00 0 0 0.00 - 1801.15/1801.93 c B&B Tree : 1801.15/1801.93 c number of runs : 1 1801.15/1801.93 c nodes : 140 1801.15/1801.93 c nodes (total) : 140 1801.15/1801.93 c nodes left : 125 1801.15/1801.93 c max depth : 54 1801.15/1801.93 c max depth (total): 54 1801.15/1801.93 c backtracks : 12 (8.6%) 1801.15/1801.93 c delayed cutoffs : 0 1801.15/1801.93 c repropagations : 10 (120 domain reductions, 0 cutoffs) 1801.15/1801.93 c avg switch length: 1.73 1801.15/1801.93 c switching time : 3.81 1801.15/1801.93 c Solution : 1801.15/1801.93 c Solutions found : 0 (0 improvements) 1801.15/1801.93 c Primal Bound : - 1801.15/1801.93 c Dual Bound : +0.00000000000000e+00 1801.15/1801.93 c Gap : infinite 1801.15/1801.93 c Root Dual Bound : +0.00000000000000e+00 1801.15/1801.93 c Root Iterations : 3172 1801.45/1802.24 c Time complete: 1801.5.
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-2666332-1276680913/watcher-2666332-1276680913 -o /tmp/evaluation-result-2666332-1276680913/solver-2666332-1276680913 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666332-1276680913.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 9614 /proc/meminfo: memFree=1832852/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=7872 CPUtime=0 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 1038 0 0 0 0 0 0 0 18 0 1 0 43692959 8060928 957 1992294400 4194304 8223781 140735074366304 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9614/statm: 1968 967 348 984 0 981 0 [startup+0.0490209 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9614 /proc/meminfo: memFree=1832852/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=15276 CPUtime=0.04 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 3087 0 0 0 3 1 0 0 20 0 1 0 43692959 15642624 3006 1992294400 4194304 8223781 140735074366304 18446744073709551615 4768274 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9614/statm: 3819 3006 364 984 0 2832 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15276 [startup+0.101032 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9614 /proc/meminfo: memFree=1832852/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=19064 CPUtime=0.09 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 4041 0 0 0 8 1 0 0 20 0 1 0 43692959 19521536 3960 1992294400 4194304 8223781 140735074366304 18446744073709551615 5648412 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9614/statm: 4766 3960 364 984 0 3779 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19064 [startup+0.301074 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9614 /proc/meminfo: memFree=1832852/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=44536 CPUtime=0.29 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 10754 0 0 0 26 3 0 0 20 0 1 0 43692959 45604864 10309 1992294400 4194304 8223781 140735074366304 18446744073709551615 4384552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 11199 10314 382 984 0 10212 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44536 [startup+0.701159 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9614 /proc/meminfo: memFree=1832852/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=62412 CPUtime=0.69 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 15335 0 0 0 62 7 0 0 21 0 1 0 43692959 63909888 14537 1992294400 4194304 8223781 140735074366304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 15603 14537 426 984 0 14616 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62412 [startup+1.50133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9615 /proc/meminfo: memFree=1770348/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=80472 CPUtime=1.49 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 22183 0 0 0 122 27 0 0 23 0 1 0 43692959 82403328 18992 1992294400 4194304 8223781 140735074366304 18446744073709551615 6032540 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 20118 18992 516 984 0 19131 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 80472 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9615 /proc/meminfo: memFree=1712564/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=131108 CPUtime=3.09 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 37560 0 0 0 276 33 0 0 25 0 1 0 43692959 134254592 30581 1992294400 4194304 8223781 140735074366304 18446744073709551615 6251384 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 32777 30581 551 984 0 31790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 131108 [startup+6.30135 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9615 /proc/meminfo: memFree=1709712/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=133708 CPUtime=6.29 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 40684 0 0 0 595 34 0 0 25 0 1 0 43692959 136916992 31184 1992294400 4194304 8223781 140735074366304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 33427 31184 555 984 0 32440 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 133708 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9617 /proc/meminfo: memFree=1708472/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=135852 CPUtime=12.68 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 43696 0 0 0 1231 37 0 0 25 0 1 0 43692959 139112448 31459 1992294400 4194304 8223781 140735074366304 18446744073709551615 6359033 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 33963 31459 555 984 0 32976 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 135852 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9617 /proc/meminfo: memFree=1708720/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=135640 CPUtime=25.48 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 254296 0 0 0 2422 126 0 0 25 0 1 0 43692959 138895360 31305 1992294400 4194304 8223781 140735074366304 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 33910 31316 571 984 0 32923 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 135640 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9617 /proc/meminfo: memFree=1708720/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=135380 CPUtime=51.06 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 728807 0 0 0 4792 314 0 0 25 0 1 0 43692959 138629120 31251 1992294400 4194304 8223781 140735074366304 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 33845 31251 571 984 0 32858 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 135380 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9619 /proc/meminfo: memFree=1706984/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=138892 CPUtime=102.25 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 1374556 0 0 0 9652 573 0 0 25 0 1 0 43692959 142225408 31869 1992294400 4194304 8223781 140735074366304 18446744073709551615 6058280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 34723 31869 569 984 0 33736 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 138892 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9621 /proc/meminfo: memFree=1704504/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=140700 CPUtime=162.22 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 1901984 0 0 0 15438 784 0 0 25 0 1 0 43692959 144076800 32342 1992294400 4194304 8223781 140735074366304 18446744073709551615 4310901 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 35175 32342 569 984 0 34188 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 140700 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9621 /proc/meminfo: memFree=1700288/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=145276 CPUtime=222.19 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 2691285 0 0 0 21106 1113 0 0 25 0 1 0 43692959 148762624 33477 1992294400 4194304 8223781 140735074366304 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36254 33412 605 984 0 35267 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 145276 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9623 /proc/meminfo: memFree=1700288/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=145016 CPUtime=282.18 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 3501512 0 0 0 26776 1442 0 0 25 0 1 0 43692959 148496384 33414 1992294400 4194304 8223781 140735074366304 18446744073709551615 7070903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36254 33414 605 984 0 35267 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 145016 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9625 /proc/meminfo: memFree=1700288/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=145016 CPUtime=342.14 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 4031073 0 0 0 32553 1661 0 0 25 0 1 0 43692959 148496384 33420 1992294400 4194304 8223781 140735074366304 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36254 33420 605 984 0 35267 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 145016 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9627 /proc/meminfo: memFree=1699420/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=146180 CPUtime=402.12 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 4825265 0 0 0 38236 1976 0 0 25 0 1 0 43692959 149688320 33615 1992294400 4194304 8223781 140735074366304 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36545 33615 585 984 0 35558 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 146180 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9629 /proc/meminfo: memFree=1699420/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=146180 CPUtime=462.1 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 5616641 0 0 0 43910 2300 0 0 25 0 1 0 43692959 149688320 33616 1992294400 4194304 8223781 140735074366304 18446744073709551615 6054741 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36545 33616 585 984 0 35558 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 146180 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9629 /proc/meminfo: memFree=1699296/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=146180 CPUtime=522.08 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 6128321 0 0 0 49693 2515 0 0 25 0 1 0 43692959 149688320 33616 1992294400 4194304 8223781 140735074366304 18446744073709551615 6059637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36545 33616 585 984 0 35558 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 146180 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9631 /proc/meminfo: memFree=1698428/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=146468 CPUtime=582.06 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 6862594 0 0 0 55387 2819 0 0 25 0 1 0 43692959 149983232 33910 1992294400 4194304 8223781 140735074366304 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36552 33845 585 984 0 35565 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 146468 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9633 /proc/meminfo: memFree=1697808/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=147344 CPUtime=642.04 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 7702333 0 0 0 61042 3162 0 0 25 0 1 0 43692959 150880256 34044 1992294400 4194304 8223781 140735074366304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 36836 34044 585 984 0 35849 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 147344 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9643 /proc/meminfo: memFree=1686524/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=160188 CPUtime=1001.89 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 10804911 0 0 0 95765 4424 0 0 25 0 1 0 43692959 164032512 36807 1992294400 4194304 8223781 140735074366304 18446744073709551615 6537957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 40047 36807 587 984 0 39060 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 160188 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9645 /proc/meminfo: memFree=1687516/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=159980 CPUtime=1061.86 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 10889138 0 0 0 101710 4476 0 0 25 0 1 0 43692959 163819520 36702 1992294400 4194304 8223781 140735074366304 18446744073709551615 6536638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 39995 36702 587 984 0 39008 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 159980 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9645 /proc/meminfo: memFree=1691608/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=154528 CPUtime=1121.84 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 10969922 0 0 0 107652 4532 0 0 25 0 1 0 43692959 158236672 35559 1992294400 4194304 8223781 140735074366304 18446744073709551615 6567432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 38632 35559 589 984 0 37645 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 154528 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 9647 /proc/meminfo: memFree=1691484/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=153032 CPUtime=1181.81 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11048590 0 0 0 113592 4589 0 0 25 0 1 0 43692959 156704768 35212 1992294400 4194304 8223781 140735074366304 18446744073709551615 6590719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 38258 35212 589 984 0 37271 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 153032 [startup+1242.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 9649 /proc/meminfo: memFree=1691732/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=153028 CPUtime=1241.8 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11105934 0 0 0 119537 4643 0 0 25 0 1 0 43692959 156700672 35207 1992294400 4194304 8223781 140735074366304 18446744073709551615 6532671 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 38257 35207 589 984 0 37270 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 153028 [startup+1302.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 9651 /proc/meminfo: memFree=1691484/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=154484 CPUtime=1301.78 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11168491 0 0 0 125481 4697 0 0 25 0 1 0 43692959 158191616 35476 1992294400 4194304 8223781 140735074366304 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 38621 35476 589 984 0 37634 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 154484 [startup+1362.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 9653 /proc/meminfo: memFree=1690988/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=154076 CPUtime=1361.74 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11235072 0 0 0 131419 4755 0 0 25 0 1 0 43692959 157773824 35362 1992294400 4194304 8223781 140735074366304 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 38519 35362 589 984 0 37532 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 154076 [startup+1422.31 s] /proc/loadavg: 1.19 1.07 1.01 2/107 9653 /proc/meminfo: memFree=1690616/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=155912 CPUtime=1421.73 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11298710 0 0 0 137362 4811 0 0 25 0 1 0 43692959 159653888 35809 1992294400 4194304 8223781 140735074366304 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 38978 35809 590 984 0 37991 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 155912 [startup+1482.3 s] /proc/loadavg: 1.13 1.07 1.01 2/107 9655 /proc/meminfo: memFree=1690740/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=156836 CPUtime=1481.7 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11360163 0 0 0 143304 4866 0 0 25 0 1 0 43692959 160600064 35967 1992294400 4194304 8223781 140735074366304 18446744073709551615 6569329 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 39209 35967 590 984 0 38222 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 156836 [startup+1542.3 s] /proc/loadavg: 1.11 1.07 1.01 2/107 9657 /proc/meminfo: memFree=1689748/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=154928 CPUtime=1541.68 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11435384 0 0 0 149243 4925 0 0 25 0 1 0 43692959 158646272 35739 1992294400 4194304 8223781 140735074366304 18446744073709551615 6521534 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 38732 35739 590 984 0 37745 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 154928 [startup+1602.3 s] /proc/loadavg: 1.10 1.07 1.01 2/107 9668 /proc/meminfo: memFree=1685780/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=159604 CPUtime=1601.64 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11519234 0 0 0 155176 4988 0 0 25 0 1 0 43692959 163434496 36764 1992294400 4194304 8223781 140735074366304 18446744073709551615 6614986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 39901 36764 595 984 0 38914 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 159604 [startup+1662.3 s] /proc/loadavg: 1.03 1.05 1.00 2/107 9670 /proc/meminfo: memFree=1684664/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=161256 CPUtime=1661.61 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11600491 0 0 0 161111 5050 0 0 25 0 1 0 43692959 165126144 37232 1992294400 4194304 8223781 140735074366304 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 40314 37232 597 984 0 39327 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 161256 [startup+1722.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 9670 /proc/meminfo: memFree=1684044/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=162708 CPUtime=1721.59 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11707727 0 0 0 167039 5120 0 0 25 0 1 0 43692959 166612992 37481 1992294400 4194304 8223781 140735074366304 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 40677 37481 595 984 0 39690 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 162708 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 9672 /proc/meminfo: memFree=1683300/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=162612 CPUtime=1781.56 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11798287 0 0 0 172971 5185 0 0 25 0 1 0 43692959 166514688 37616 1992294400 4194304 8223781 140735074366304 18446744073709551615 6569811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 40653 37616 596 984 0 39666 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 162612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.03 1.00 2/107 9672 /proc/meminfo: memFree=1682556/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=162620 CPUtime=1800.06 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11821202 0 0 0 174804 5202 0 0 25 0 1 0 43692959 166522880 37630 1992294400 4194304 8223781 140735074366304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 40655 37630 594 984 0 39668 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 162620 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.03 1.00 2/107 9672 /proc/meminfo: memFree=1682556/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=163172 CPUtime=1800.66 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11821578 0 0 0 174863 5203 0 0 25 0 1 0 43692959 167088128 37662 1992294400 4194304 8223781 140735074366304 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 40793 37662 594 984 0 39806 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (KiB) 163172 [startup+1801.81 s] /proc/loadavg: 1.00 1.03 1.00 2/108 9673 /proc/meminfo: memFree=1682176/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=163172 CPUtime=1801.06 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11821756 0 0 0 174903 5203 0 0 25 0 1 0 43692959 167088128 37653 1992294400 4194304 8223781 140735074366304 18446744073709551615 6520924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9614/statm: 40793 37653 594 984 0 39806 0 Current children cumulated CPU time (s) 1801.06 Current children cumulated vsize (KiB) 163172 [startup+1802.2 s] /proc/loadavg: 1.00 1.03 1.00 2/108 9673 /proc/meminfo: memFree=1682176/2059040 swapFree=4139732/4192956 [pid=9614] ppid=9612 vsize=122536 CPUtime=1801.45 /proc/9614/stat : 9614 (pbscip.linux.x8) R 9612 9614 9343 0 -1 4202496 11821968 0 0 0 174941 5204 0 0 25 0 1 0 43692959 125476864 27602 1992294400 4194304 8223781 140735074366304 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9614/statm: 30634 27602 587 984 0 29647 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 122536 Child status: 0 Real time (s): 1802.24 CPU time (s): 1801.51 CPU user time (s): 1749.44 CPU system time (s): 52.0631 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 166108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.44 system time used= 52.0631 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11821976 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= 20801 runsolver used 2.95455 second user time and 8.5387 second system time The end
Begin job on node010 at 2010-06-16 11:35:13 IDJOB=2666332 IDBENCH=48350 IDSOLVER=1169 FILE ID=node010/2666332-1276680913 PBS_JOBID= 11172565 Free space on /tmp= 62532 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_500_25_3_80.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-2666332-1276680913/watcher-2666332-1276680913 -o /tmp/evaluation-result-2666332-1276680913/solver-2666332-1276680913 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666332-1276680913.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6671ed3c9b389a2223dba62c8a435d2e RANDOM SEED=1545675598 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833380 kB Buffers: 41608 kB Cached: 92140 kB SwapCached: 5880 kB Active: 86324 kB Inactive: 59900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833380 kB SwapTotal: 4192956 kB SwapFree: 4139732 kB Dirty: 5008 kB Writeback: 0 kB AnonPages: 10852 kB Mapped: 12784 kB Slab: 57508 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183460 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= 62528 MiB End job on node010 at 2010-06-16 12:05:16