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.16 | 1800.64 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_3_15.opb |
MD5SUM | 0f8b3c4075c45404d33689fa65bc6a7e |
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 | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6180 |
Sum of products size (including duplicates) | 12360 |
Number of different products | 3090 |
Sum of products size | 6180 |
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-2666299-1276678358.opb> 0.00/0.05 c original problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.08/0.09 c presolving: 0.29/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24920 impls, 200 clqs 0.40/0.48 c presolving (2 rounds): 0.40/0.48 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.40/0.48 c 24920 implications, 200 cliques 0.40/0.48 c presolved problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints 0.40/0.48 c 1 constraints of type <knapsack> 0.40/0.48 c 200 constraints of type <setppc> 0.40/0.48 c 3090 constraints of type <and> 0.40/0.48 c 1 constraints of type <linear> 0.40/0.48 c 100 constraints of type <logicor> 0.40/0.48 c transformed objective value is always integral (scale: 1) 0.40/0.48 c Presolving Time: 0.22 0.40/0.48 c - non default parameters ---------------------------------------------------------------------- 0.40/0.48 c # SCIP version 1.2.1.2 0.40/0.48 c 0.40/0.48 c # frequency for displaying node information lines 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 100] 0.40/0.48 c display/freq = 10000 0.40/0.48 c 0.40/0.48 c # maximal time in seconds to run 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.40/0.48 c limits/time = 1799.95 0.40/0.48 c 0.40/0.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.40/0.48 c limits/memory = 1620 0.40/0.48 c 0.40/0.48 c # solving stops, if the given number of solutions were found (-1: no limit) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: -1] 0.40/0.48 c limits/solutions = 1 0.40/0.48 c 0.40/0.48 c # maximal number of separation rounds per node (-1: unlimited) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 5] 0.40/0.48 c separating/maxrounds = 1 0.40/0.48 c 0.40/0.48 c # maximal number of separation rounds in the root node (-1: unlimited) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: -1] 0.40/0.48 c separating/maxroundsroot = 5 0.40/0.48 c 0.40/0.48 c # should presolving try to simplify inequalities 0.40/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.40/0.48 c constraints/linear/simplifyinequalities = TRUE 0.40/0.48 c 0.40/0.48 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.40/0.48 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.40/0.48 c constraints/knapsack/disaggregation = FALSE 0.40/0.48 c 0.40/0.48 c # should presolving try to simplify knapsacks 0.40/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.40/0.48 c constraints/knapsack/simplifyinequalities = TRUE 0.40/0.48 c 0.40/0.48 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: -1] 0.40/0.48 c presolving/probing/maxrounds = 0 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/coefdiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.40/0.48 c heuristics/coefdiving/maxlpiterquot = 0.075 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/coefdiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 30] 0.40/0.48 c heuristics/crossover/freq = -1 0.40/0.48 c 0.40/0.48 c # number of nodes added to the contingent of the total nodes 0.40/0.48 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.40/0.48 c heuristics/crossover/nodesofs = 750 0.40/0.48 c 0.40/0.48 c # number of nodes without incumbent change that heuristic should wait 0.40/0.48 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.40/0.48 c heuristics/crossover/nwaitingnodes = 100 0.40/0.48 c 0.40/0.48 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.40/0.48 c # [type: real, range: [0,1], default: 0.1] 0.40/0.48 c heuristics/crossover/nodesquot = 0.15 0.40/0.48 c 0.40/0.48 c # minimum percentage of integer variables that have to be fixed 0.40/0.48 c # [type: real, range: [0,1], default: 0.666] 0.40/0.48 c heuristics/crossover/minfixingrate = 0.5 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 20] 0.40/0.48 c heuristics/feaspump/freq = -1 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/feaspump/maxlpiterofs = 2000 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/fracdiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.40/0.48 c heuristics/fracdiving/maxlpiterquot = 0.075 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/fracdiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/guideddiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.40/0.48 c heuristics/guideddiving/maxlpiterquot = 0.075 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/guideddiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.40/0.48 c heuristics/intdiving/maxlpiterquot = 0.075 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/intshifting/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/linesearchdiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.40/0.48 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 1] 0.40/0.48 c heuristics/nlp/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 20] 0.40/0.48 c heuristics/objpscostdiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to total iteration number 0.40/0.48 c # [type: real, range: [0,1], default: 0.01] 0.40/0.48 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 1] 0.40/0.48 c heuristics/oneopt/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/pscostdiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.40/0.48 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/pscostdiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 0] 0.40/0.48 c heuristics/rens/freq = -1 0.40/0.48 c 0.40/0.48 c # minimum percentage of integer variables that have to be fixable 0.40/0.48 c # [type: real, range: [0,1], default: 0.5] 0.40/0.48 c heuristics/rens/minfixingrate = 0.3 0.40/0.48 c 0.40/0.48 c # number of nodes added to the contingent of the total nodes 0.40/0.48 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.40/0.48 c heuristics/rens/nodesofs = 2000 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 20] 0.40/0.48 c heuristics/rootsoldiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.40/0.48 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 1] 0.40/0.48 c heuristics/rounding/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/shifting/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 1] 0.40/0.48 c heuristics/simplerounding/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 0] 0.40/0.48 c heuristics/trivial/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 1] 0.40/0.48 c heuristics/trysol/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 10] 0.40/0.48 c heuristics/veclendiving/freq = -1 0.40/0.48 c 0.40/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations 0.40/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.40/0.48 c heuristics/veclendiving/maxlpiterquot = 0.075 0.40/0.48 c 0.40/0.48 c # additional number of allowed LP iterations 0.40/0.48 c # [type: int, range: [0,2147483647], default: 1000] 0.40/0.48 c heuristics/veclendiving/maxlpiterofs = 1500 0.40/0.48 c 0.40/0.48 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 1] 0.40/0.48 c heuristics/zirounding/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 0] 0.40/0.48 c separating/cmir/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: 0] 0.40/0.48 c separating/flowcover/freq = -1 0.40/0.48 c 0.40/0.48 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.40/0.48 c # [type: int, range: [-1,2147483647], default: -1] 0.40/0.48 c separating/rapidlearning/freq = 0 0.40/0.48 c 0.40/0.48 c ----------------------------------------------------------------------------------------------- 0.40/0.48 c start solving 0.40/0.48 c 0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.69/0.71 c 0.5s| 1 | 0 | 401 | - | 14M| 0 | 221 |3290 |3392 |3290 |6482 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 3.39/3.43 c 2.9s| 1 | 0 | 504 | - | 15M| 0 | 226 |3290 |3392 |3290 |6504 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 5.79/5.89 c 5.4s| 1 | 0 | 560 | - | 16M| 0 | 224 |3290 |3392 |3290 |6512 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 8.39/8.42 c 7.9s| 1 | 0 | 634 | - | 17M| 0 | 225 |3290 |3392 |3290 |6518 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf 11.19/11.24 c 10.7s| 1 | 0 | 765 | - | 17M| 0 | 232 |3290 |3392 |3290 |6523 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf 14.20/14.22 c 13.7s| 1 | 0 | 972 | - | 18M| 0 | 214 |3290 |3392 |3290 |6531 | 49 | 0 | 0 | 0.000000e+00 | -- | Inf 14.39/14.44 c 13.9s| 1 | 0 | 1124 | - | 18M| 0 | 234 |3290 |3392 |3290 |6535 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf 21.78/21.88 c 21.2s| 1 | 2 | 1124 | - | 18M| 0 | 234 |3290 |3392 |3290 |6535 | 53 | 0 | 9 | 0.000000e+00 | -- | Inf 971.04/971.39 c 958s| 10000 | 483 | 1619k| 161.8 | 29M| 38 | 131 |3290 |6390 |3290 | 998 | 306k| 11k|8618 | 0.000000e+00 | -- | Inf 1775.62/1776.19 c 1753s| 20000 | 700 | 3115k| 155.7 | 34M| 39 | - |3290 |7894 |3290 |1139 | 559k| 23k| 13k| 0.000000e+00 | -- | Inf 1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.54 c 1800.02/1800.54 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.54 c Solving Time (sec) : 1776.63 1800.02/1800.54 c Solving Nodes : 20290 1800.02/1800.54 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.54 c Dual Bound : +0.00000000000000e+00 1800.02/1800.54 c Gap : infinite 1800.02/1800.54 s UNKNOWN 1800.02/1800.54 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.54 c Solving Time : 1776.63 1800.02/1800.54 c Original Problem : 1800.02/1800.54 c Problem name : HOME/instance-2666299-1276678358.opb 1800.02/1800.54 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.54 c Constraints : 3392 initial, 3392 maximal 1800.02/1800.54 c Presolved Problem : 1800.02/1800.54 c Problem name : t_HOME/instance-2666299-1276678358.opb 1800.02/1800.54 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.54 c Constraints : 3392 initial, 8123 maximal 1800.02/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c probing : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c and : 0.18 0 0 0 0 0 0 0 0 1800.02/1800.54 c linear : 0.02 0 0 0 0 0 0 0 0 1800.02/1800.54 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.54 c root node : - 0 - - 0 - - - - 1800.02/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.54 c integral : 0 0 0 12256 0 54 3892 0 0 21278 1800.02/1800.54 c knapsack : 1 5 90460 7 0 3 17 0 0 0 1800.02/1800.54 c setppc : 200 5 90461 7 0 348 135233 0 0 0 1800.02/1800.54 c and : 3090 14987 90113 7 0 105 1972722 577691 0 0 1800.02/1800.54 c linear : 1 5 90007 0 0 0 10 0 0 0 1800.02/1800.54 c logicor : 100+ 5 32359 0 0 77 29138 0 0 0 1800.02/1800.54 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.54 c integral : 469.13 0.00 0.00 469.13 0.00 1800.02/1800.54 c knapsack : 0.29 0.01 0.28 0.00 0.00 1800.02/1800.54 c setppc : 0.86 0.00 0.86 0.00 0.00 1800.02/1800.54 c and : 19.45 9.93 9.52 0.00 0.00 1800.02/1800.54 c linear : 1.91 0.00 1.91 0.00 0.00 1800.02/1800.54 c logicor : 3.34 0.00 3.34 0.00 0.00 1800.02/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.54 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.54 c vbounds : 0.08 1 0 0 1800.02/1800.54 c rootredcost : 0.03 0 0 0 1800.02/1800.54 c pseudoobj : 0.03 0 0 0 1800.02/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.54 c propagation : 0.02 533 529 1172 39.7 28 49.6 - 1800.02/1800.54 c infeasible LP : 22.81 9146 9106 79951 63.6 28 20.9 0 1800.02/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.54 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.54 c applied globally : - - - 24121 60.4 - - - 1800.02/1800.54 c applied locally : - - - 0 0.0 - - - 1800.02/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.54 c cut pool : 0.01 4 - - 2 - (maximal pool size: 551) 1800.02/1800.54 c redcost : 3.55 14987 0 0 0 0 1800.02/1800.54 c impliedbounds : 0.00 5 0 0 16 0 1800.02/1800.54 c intobj : 0.00 0 0 0 0 0 1800.02/1800.54 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.54 c gomory : 9.76 5 0 0 0 0 1800.02/1800.54 c strongcg : 2.22 5 0 0 2500 0 1800.02/1800.54 c cmir : 0.00 0 0 0 0 0 1800.02/1800.54 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.54 c clique : 0.04 5 0 0 33 0 1800.02/1800.54 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.54 c mcf : 0.23 4 0 0 53 0 1800.02/1800.54 c rapidlearning : 0.33 1 0 0 0 0 1800.02/1800.54 c Pricers : Time Calls Vars 1800.02/1800.54 c problem variables: 0.00 0 0 1800.02/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.54 c relpscost : 469.08 12249 54 3892 0 0 21278 1800.02/1800.54 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.54 c inference : 0.00 0 0 0 0 0 0 1800.02/1800.54 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.54 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.54 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.54 c random : 0.00 0 0 0 0 0 0 1800.02/1800.54 c Primal Heuristics : Time Calls Found 1800.02/1800.54 c LP solutions : 0.00 - 0 1800.02/1800.54 c pseudo solutions : 0.00 - 0 1800.02/1800.54 c trivial : 0.00 1 0 1800.02/1800.54 c simplerounding : 0.00 0 0 1800.02/1800.54 c zirounding : 0.00 0 0 1800.02/1800.54 c rounding : 0.00 0 0 1800.02/1800.54 c shifting : 0.00 0 0 1800.02/1800.54 c intshifting : 0.00 0 0 1800.02/1800.54 c oneopt : 0.00 0 0 1800.02/1800.54 c twoopt : 0.00 0 0 1800.02/1800.54 c fixandinfer : 0.00 0 0 1800.02/1800.54 c feaspump : 0.00 0 0 1800.02/1800.54 c coefdiving : 0.00 0 0 1800.02/1800.54 c pscostdiving : 0.00 0 0 1800.02/1800.54 c fracdiving : 0.00 0 0 1800.02/1800.54 c veclendiving : 0.00 0 0 1800.02/1800.54 c intdiving : 0.00 0 0 1800.02/1800.54 c actconsdiving : 0.00 0 0 1800.02/1800.54 c objpscostdiving : 0.00 0 0 1800.02/1800.54 c rootsoldiving : 0.00 0 0 1800.02/1800.54 c linesearchdiving : 0.00 0 0 1800.02/1800.54 c guideddiving : 0.00 0 0 1800.02/1800.54 c octane : 0.00 0 0 1800.02/1800.54 c rens : 0.00 0 0 1800.02/1800.54 c rins : 0.00 0 0 1800.02/1800.54 c localbranching : 0.00 0 0 1800.02/1800.54 c mutation : 0.00 0 0 1800.02/1800.54 c crossover : 0.00 0 0 1800.02/1800.54 c dins : 0.00 0 0 1800.02/1800.54 c undercover : 0.00 0 0 1800.02/1800.54 c nlp : 0.00 0 0 1800.02/1800.54 c trysol : 0.00 0 0 1800.02/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.54 c primal LP : 18.86 0 0 0.00 0.00 1800.02/1800.54 c dual LP : 1141.45 36355 3161678 86.97 2769.88 1800.02/1800.54 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.54 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.54 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.54 c strong branching : 467.75 13925 1182352 84.91 2527.74 1800.02/1800.54 c (at root node) : - 9 6247 694.11 - 1800.02/1800.54 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.54 c B&B Tree : 1800.02/1800.54 c number of runs : 1 1800.02/1800.54 c nodes : 20290 1800.02/1800.54 c nodes (total) : 20290 1800.02/1800.54 c nodes left : 702 1800.02/1800.54 c max depth : 39 1800.02/1800.54 c max depth (total): 39 1800.02/1800.54 c backtracks : 3541 (17.5%) 1800.02/1800.54 c delayed cutoffs : 287 1800.02/1800.54 c repropagations : 25994 (191379 domain reductions, 82 cutoffs) 1800.02/1800.54 c avg switch length: 5.54 1800.02/1800.54 c switching time : 43.21 1800.02/1800.54 c Solution : 1800.02/1800.54 c Solutions found : 0 (0 improvements) 1800.02/1800.54 c Primal Bound : - 1800.02/1800.54 c Dual Bound : +0.00000000000000e+00 1800.02/1800.54 c Gap : infinite 1800.02/1800.54 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.54 c Root Iterations : 1124 1800.12/1800.64 c Time complete: 1800.15.
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-2666299-1276678358/watcher-2666299-1276678358 -o /tmp/evaluation-result-2666299-1276678358/solver-2666299-1276678358 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666299-1276678358.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.90 1.42 1.21 2/105 16470 /proc/meminfo: memFree=1763008/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=7724 CPUtime=0 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1086 0 0 0 0 0 0 0 25 0 1 0 9129301 7909376 1006 1992294400 4194304 8223781 140734114544976 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16470/statm: 1931 1016 348 984 0 944 0 [startup+0.091364 s] /proc/loadavg: 1.90 1.42 1.21 2/105 16470 /proc/meminfo: memFree=1763008/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=20664 CPUtime=0.08 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 4566 0 0 0 7 1 0 0 25 0 1 0 9129301 21159936 4122 1992294400 4194304 8223781 140734114544976 18446744073709551615 4414543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 5166 4122 416 984 0 4179 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 20664 [startup+0.101365 s] /proc/loadavg: 1.90 1.42 1.21 2/105 16470 /proc/meminfo: memFree=1763008/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=21304 CPUtime=0.09 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 4719 0 0 0 8 1 0 0 25 0 1 0 9129301 21815296 4275 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 5326 4275 426 984 0 4339 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21304 [startup+0.301387 s] /proc/loadavg: 1.90 1.42 1.21 2/105 16470 /proc/meminfo: memFree=1763008/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=24612 CPUtime=0.29 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 6605 0 0 0 19 10 0 0 25 0 1 0 9129301 25202688 5133 1992294400 4194304 8223781 140734114544976 18446744073709551615 5957444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 6153 5133 451 984 0 5166 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24612 [startup+0.700432 s] /proc/loadavg: 1.90 1.42 1.21 2/105 16470 /proc/meminfo: memFree=1763008/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=38684 CPUtime=0.69 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 11534 0 0 0 49 20 0 0 25 0 1 0 9129301 39612416 8653 1992294400 4194304 8223781 140734114544976 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 9671 8653 542 984 0 8684 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38684 [startup+1.50052 s] /proc/loadavg: 1.90 1.42 1.21 2/106 16471 /proc/meminfo: memFree=1730140/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=38864 CPUtime=1.49 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 11844 0 0 0 128 21 0 0 25 0 1 0 9129301 39796736 8729 1992294400 4194304 8223781 140734114544976 18446744073709551615 6044915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 9716 8729 559 984 0 8729 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38864 [startup+3.1007 s] /proc/loadavg: 1.83 1.42 1.21 2/106 16471 /proc/meminfo: memFree=1730016/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=62196 CPUtime=3.09 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 19369 0 0 0 272 37 0 0 25 0 1 0 9129301 63688704 14184 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 15549 14184 578 984 0 14562 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 62196 [startup+6.30105 s] /proc/loadavg: 1.83 1.42 1.21 2/106 16471 /proc/meminfo: memFree=1724312/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=47336 CPUtime=6.29 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 22727 0 0 0 583 46 0 0 25 0 1 0 9129301 48472064 10798 1992294400 4194304 8223781 140734114544976 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 11834 10798 589 984 0 10847 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47336 [startup+12.7008 s] /proc/loadavg: 1.70 1.40 1.20 2/106 16471 /proc/meminfo: memFree=1717120/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=51688 CPUtime=12.69 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 24986 0 0 0 1219 50 0 0 25 0 1 0 9129301 52928512 11846 1992294400 4194304 8223781 140734114544976 18446744073709551615 6051952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 12922 11846 588 984 0 11935 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51688 [startup+25.5012 s] /proc/loadavg: 1.59 1.39 1.20 2/106 16473 /proc/meminfo: memFree=1716624/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=51804 CPUtime=25.48 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 39376 0 0 0 2484 64 0 0 25 0 1 0 9129301 53047296 11934 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 12951 11934 589 984 0 11964 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51804 [startup+51.102 s] /proc/loadavg: 1.39 1.36 1.19 2/106 16473 /proc/meminfo: memFree=1715012/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=53916 CPUtime=51.07 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 58435 0 0 0 5007 100 0 0 25 0 1 0 9129301 55209984 12479 1992294400 4194304 8223781 140734114544976 18446744073709551615 6569462 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 13479 12479 594 984 0 12492 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53916 [startup+102.309 s] /proc/loadavg: 1.15 1.29 1.18 2/106 16475 /proc/meminfo: memFree=1710548/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=57804 CPUtime=102.28 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 119610 0 0 0 10053 175 0 0 25 0 1 0 9129301 59191296 13454 1992294400 4194304 8223781 140734114544976 18446744073709551615 6532637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 14451 13454 594 984 0 13464 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 57804 [startup+162.301 s] /proc/loadavg: 1.06 1.24 1.17 2/106 16475 /proc/meminfo: memFree=1706952/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=61564 CPUtime=162.24 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 174577 0 0 0 15973 251 0 0 25 0 1 0 9129301 63041536 14397 1992294400 4194304 8223781 140734114544976 18446744073709551615 6597412 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 15391 14397 594 984 0 14404 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 61564 [startup+222.302 s] /proc/loadavg: 1.02 1.19 1.16 2/106 16477 /proc/meminfo: memFree=1703480/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=65648 CPUtime=222.24 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 229447 0 0 0 21898 326 0 0 25 0 1 0 9129301 67223552 15331 1992294400 4194304 8223781 140734114544976 18446744073709551615 6569782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 16412 15331 594 984 0 15425 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 65648 [startup+282.301 s] /proc/loadavg: 1.00 1.15 1.14 2/106 16479 /proc/meminfo: memFree=1700256/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=68324 CPUtime=282.22 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 283692 0 0 0 27819 403 0 0 25 0 1 0 9129301 69963776 16090 1992294400 4194304 8223781 140734114544976 18446744073709551615 6569794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 17081 16090 594 984 0 16094 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 68324 [startup+342.302 s] /proc/loadavg: 1.00 1.12 1.13 2/106 16481 /proc/meminfo: memFree=1697528/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=70716 CPUtime=342.2 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 337307 0 0 0 33739 481 0 0 25 0 1 0 9129301 72413184 16686 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 17679 16686 594 984 0 16692 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 70716 [startup+402.302 s] /proc/loadavg: 1.00 1.10 1.12 2/106 16483 /proc/meminfo: memFree=1694924/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=73224 CPUtime=402.18 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 385340 0 0 0 39664 554 0 0 25 0 1 0 9129301 74981376 17292 1992294400 4194304 8223781 140734114544976 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 18306 17292 595 984 0 17319 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 73224 [startup+462.301 s] /proc/loadavg: 1.00 1.08 1.11 2/106 16483 /proc/meminfo: memFree=1693684/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=74628 CPUtime=462.17 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 449424 0 0 0 45574 643 0 0 25 0 1 0 9129301 76419072 17655 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 18657 17655 595 984 0 17670 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 74628 [startup+522.302 s] /proc/loadavg: 1.00 1.06 1.10 2/106 16494 /proc/meminfo: memFree=1691824/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=76120 CPUtime=522.14 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 506004 0 0 0 51490 724 0 0 25 0 1 0 9129301 77946880 18043 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 19030 18043 595 984 0 18043 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 76120 [startup+582.301 s] /proc/loadavg: 1.00 1.05 1.09 2/106 16496 /proc/meminfo: memFree=1689344/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=78548 CPUtime=582.13 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 547920 0 0 0 57414 799 0 0 25 0 1 0 9129301 80433152 18633 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 19637 18633 595 984 0 18650 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 78548 [startup+642.301 s] /proc/loadavg: 1.00 1.04 1.08 2/106 16498 /proc/meminfo: memFree=1687608/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=80336 CPUtime=642.12 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 597138 0 0 0 63339 873 0 0 25 0 1 0 9129301 82264064 19088 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 20084 19088 595 984 0 19097 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 80336 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.01 1.06 2/106 16504 /proc/meminfo: memFree=1683144/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=84928 CPUtime=882.05 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 802583 0 0 0 87012 1193 0 0 25 0 1 0 9129301 86966272 20169 1992294400 4194304 8223781 140734114544976 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 21232 20169 595 984 0 20245 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 84928 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.05 2/106 16506 /proc/meminfo: memFree=1681160/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=87000 CPUtime=942.04 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 859366 0 0 0 92928 1276 0 0 25 0 1 0 9129301 89088000 20682 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 21750 20682 595 984 0 20763 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 87000 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.05 2/106 16508 /proc/meminfo: memFree=1678308/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=89952 CPUtime=1002.01 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 907998 0 0 0 98854 1347 0 0 25 0 1 0 9129301 92110848 21350 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 22488 21350 595 984 0 21501 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 89952 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.04 2/106 16508 /proc/meminfo: memFree=1677068/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=91108 CPUtime=1062 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 962995 0 0 0 104773 1427 0 0 25 0 1 0 9129301 93294592 21660 1992294400 4194304 8223781 140734114544976 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 22777 21660 595 984 0 21790 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 91108 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.04 2/106 16510 /proc/meminfo: memFree=1675828/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=92316 CPUtime=1121.98 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1032740 0 0 0 110686 1512 0 0 25 0 1 0 9129301 94531584 21934 1992294400 4194304 8223781 140734114544976 18446744073709551615 6532643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 23079 21934 595 984 0 22092 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 92316 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.03 2/106 16512 /proc/meminfo: memFree=1674836/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=93084 CPUtime=1181.97 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1070921 0 0 0 116609 1588 0 0 25 0 1 0 9129301 95318016 22128 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 23271 22128 595 984 0 22284 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 93084 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 16514 /proc/meminfo: memFree=1673968/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=93740 CPUtime=1241.95 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1117669 0 0 0 122532 1663 0 0 25 0 1 0 9129301 95989760 22325 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 23435 22325 595 984 0 22448 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 93740 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 16516 /proc/meminfo: memFree=1673100/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=94636 CPUtime=1301.94 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1138763 0 0 0 128457 1737 0 0 25 0 1 0 9129301 96907264 22551 1992294400 4194304 8223781 140734114544976 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 23659 22551 595 984 0 22672 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 94636 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 16516 /proc/meminfo: memFree=1671984/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=95672 CPUtime=1361.93 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1171129 0 0 0 134382 1811 0 0 25 0 1 0 9129301 97968128 22815 1992294400 4194304 8223781 140734114544976 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 23918 22815 595 984 0 22931 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 95672 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.01 2/106 16518 /proc/meminfo: memFree=1671240/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=96580 CPUtime=1421.92 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1221866 0 0 0 140302 1890 0 0 25 0 1 0 9129301 98897920 23012 1992294400 4194304 8223781 140734114544976 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 24145 23012 595 984 0 23158 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 96580 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16520 /proc/meminfo: memFree=1669752/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=97680 CPUtime=1481.89 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1253145 0 0 0 146232 1957 0 0 25 0 1 0 9129301 100024320 23314 1992294400 4194304 8223781 140734114544976 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 24420 23314 595 984 0 23433 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 97680 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16522 /proc/meminfo: memFree=1668016/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=99852 CPUtime=1541.88 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1285830 0 0 0 152155 2033 0 0 25 0 1 0 9129301 102248448 23837 1992294400 4194304 8223781 140734114544976 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 24963 23837 595 984 0 23976 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 99852 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16524 /proc/meminfo: memFree=1667148/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=100636 CPUtime=1601.86 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1309937 0 0 0 158090 2096 0 0 25 0 1 0 9129301 103051264 24033 1992294400 4194304 8223781 140734114544976 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 25159 24033 595 984 0 24172 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 100636 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16524 /proc/meminfo: memFree=1666900/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=100848 CPUtime=1661.84 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1353186 0 0 0 164014 2170 0 0 25 0 1 0 9129301 103268352 24052 1992294400 4194304 8223781 140734114544976 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 25212 24052 595 984 0 24225 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 100848 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16526 /proc/meminfo: memFree=1665288/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=102504 CPUtime=1721.83 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1385507 0 0 0 169937 2246 0 0 25 0 1 0 9129301 104964096 24499 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 25626 24499 595 984 0 24639 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 102504 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16528 /proc/meminfo: memFree=1664048/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=103552 CPUtime=1781.81 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1416473 0 0 0 175865 2316 0 0 25 0 1 0 9129301 106037248 24691 1992294400 4194304 8223781 140734114544976 18446744073709551615 6560140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 25888 24691 595 984 0 24901 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 103552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16528 /proc/meminfo: memFree=1664048/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=103516 CPUtime=1800.02 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1423210 0 0 0 177664 2338 0 0 25 0 1 0 9129301 106000384 24706 1992294400 4194304 8223781 140734114544976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16470/statm: 25879 24706 595 984 0 24892 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 103516 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/107 16529 /proc/meminfo: memFree=1665156/2059040 swapFree=4164960/4192956 [pid=16470] ppid=16468 vsize=98612 CPUtime=1800.12 /proc/16470/stat : 16470 (pbscip.linux.x8) R 16468 16470 16163 0 -1 4202496 1423227 0 0 0 177674 2338 0 0 25 0 1 0 9129301 100978688 23527 1992294400 4194304 8223781 140734114544976 18446744073709551615 6207256 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16470/statm: 24653 23527 596 984 0 23666 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 98612 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.16 CPU user time (s): 1776.76 CPU system time (s): 23.3944 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 104104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.76 system time used= 23.3944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1423231 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 13808 runsolver used 3.22151 second user time and 8.26074 second system time The end
Begin job on node087 at 2010-06-16 10:52:38 IDJOB=2666299 IDBENCH=48317 IDSOLVER=1169 FILE ID=node087/2666299-1276678358 PBS_JOBID= 11172554 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_100_25_3_15.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-2666299-1276678358/watcher-2666299-1276678358 -o /tmp/evaluation-result-2666299-1276678358/solver-2666299-1276678358 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666299-1276678358.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f8b3c4075c45404d33689fa65bc6a7e RANDOM SEED=1275465773 node087.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.213 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.42 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.213 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1763536 kB Buffers: 59804 kB Cached: 126336 kB SwapCached: 1016 kB Active: 96596 kB Inactive: 122428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1763536 kB SwapTotal: 4192956 kB SwapFree: 4164960 kB Dirty: 4624 kB Writeback: 8 kB AnonPages: 31960 kB Mapped: 14556 kB Slab: 54732 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182248 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= 62548 MiB End job on node087 at 2010-06-16 11:22:40