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.13 | 1801.69 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_2_80.opb |
MD5SUM | d38f526c1f6f5ee8e5e4d2c41b31df8d |
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) | 31340 |
Sum of products size (including duplicates) | 62680 |
Number of different products | 15670 |
Sum of products size | 31340 |
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-2666271-1276675530.opb> 0.19/0.24 c original problem has 16670 variables (16670 bin, 0 int, 0 impl, 0 cont) and 17172 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.46 c presolving: 1.00/1.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126360 impls, 1000 clqs 1.39/1.42 c presolving (2 rounds): 1.39/1.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.39/1.42 c 126360 implications, 1000 cliques 1.39/1.42 c presolved problem has 16670 variables (16670 bin, 0 int, 0 impl, 0 cont) and 17172 constraints 1.39/1.42 c 1 constraints of type <knapsack> 1.39/1.42 c 1000 constraints of type <setppc> 1.39/1.42 c 15670 constraints of type <and> 1.39/1.42 c 1 constraints of type <linear> 1.39/1.42 c 500 constraints of type <logicor> 1.39/1.42 c transformed objective value is always integral (scale: 1) 1.39/1.42 c Presolving Time: 0.86 1.39/1.42 c - non default parameters ---------------------------------------------------------------------- 1.39/1.42 c # SCIP version 1.2.1.2 1.39/1.42 c 1.39/1.42 c # frequency for displaying node information lines 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 100] 1.39/1.42 c display/freq = 10000 1.39/1.42 c 1.39/1.42 c # maximal time in seconds to run 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.42 c limits/time = 1799.76 1.39/1.42 c 1.39/1.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.42 c limits/memory = 1620 1.39/1.42 c 1.39/1.42 c # solving stops, if the given number of solutions were found (-1: no limit) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c limits/solutions = 1 1.39/1.42 c 1.39/1.42 c # maximal number of separation rounds per node (-1: unlimited) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 5] 1.39/1.42 c separating/maxrounds = 1 1.39/1.42 c 1.39/1.42 c # maximal number of separation rounds in the root node (-1: unlimited) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c separating/maxroundsroot = 5 1.39/1.42 c 1.39/1.42 c # should presolving try to simplify inequalities 1.39/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.42 c constraints/linear/simplifyinequalities = TRUE 1.39/1.42 c 1.39/1.42 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.39/1.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.39/1.42 c constraints/knapsack/disaggregation = FALSE 1.39/1.42 c 1.39/1.42 c # should presolving try to simplify knapsacks 1.39/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.42 c constraints/knapsack/simplifyinequalities = TRUE 1.39/1.42 c 1.39/1.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c presolving/probing/maxrounds = 0 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/coefdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/coefdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/coefdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 30] 1.39/1.42 c heuristics/crossover/freq = -1 1.39/1.42 c 1.39/1.42 c # number of nodes added to the contingent of the total nodes 1.39/1.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.42 c heuristics/crossover/nodesofs = 750 1.39/1.42 c 1.39/1.42 c # number of nodes without incumbent change that heuristic should wait 1.39/1.42 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.39/1.42 c heuristics/crossover/nwaitingnodes = 100 1.39/1.42 c 1.39/1.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.39/1.42 c # [type: real, range: [0,1], default: 0.1] 1.39/1.42 c heuristics/crossover/nodesquot = 0.15 1.39/1.42 c 1.39/1.42 c # minimum percentage of integer variables that have to be fixed 1.39/1.42 c # [type: real, range: [0,1], default: 0.666] 1.39/1.42 c heuristics/crossover/minfixingrate = 0.5 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.42 c heuristics/feaspump/freq = -1 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/feaspump/maxlpiterofs = 2000 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/fracdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/fracdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/fracdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/guideddiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/guideddiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/guideddiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/intdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/intshifting/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/linesearchdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/nlp/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.42 c heuristics/objpscostdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to total iteration number 1.39/1.42 c # [type: real, range: [0,1], default: 0.01] 1.39/1.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/oneopt/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/pscostdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/pscostdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c heuristics/rens/freq = -1 1.39/1.42 c 1.39/1.42 c # minimum percentage of integer variables that have to be fixable 1.39/1.42 c # [type: real, range: [0,1], default: 0.5] 1.39/1.42 c heuristics/rens/minfixingrate = 0.3 1.39/1.42 c 1.39/1.42 c # number of nodes added to the contingent of the total nodes 1.39/1.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.42 c heuristics/rens/nodesofs = 2000 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.42 c heuristics/rootsoldiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.39/1.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/rounding/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/shifting/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/simplerounding/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c heuristics/trivial/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/trysol/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/veclendiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/veclendiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/veclendiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/zirounding/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c separating/cmir/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c separating/flowcover/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c separating/rapidlearning/freq = 0 1.39/1.42 c 1.39/1.42 c ----------------------------------------------------------------------------------------------- 1.39/1.42 c start solving 1.39/1.43 c 12.89/12.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 12.89/12.90 c 12.3s| 1 | 0 | 2379 | - | 75M| 0 |1277 | 16k| 17k| 16k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 191.04/191.18 c 182s| 1 | 0 | 2556 | - | 76M| 0 |1274 | 16k| 17k| 16k| 32k| 40 | 0 | 0 | 0.000000e+00 | -- | Inf 373.28/373.43 c 356s| 1 | 0 | 2637 | - | 76M| 0 |1277 | 16k| 17k| 16k| 32k| 52 | 0 | 0 | 0.000000e+00 | -- | Inf 557.22/557.42 c 531s| 1 | 0 | 2699 | - | 77M| 0 |1282 | 16k| 17k| 16k| 32k| 62 | 0 | 0 | 0.000000e+00 | -- | Inf 744.06/744.37 c 709s| 1 | 0 | 2771 | - | 78M| 0 |1277 | 16k| 17k| 16k| 32k| 72 | 0 | 0 | 0.000000e+00 | -- | Inf 934.41/934.74 c 891s| 1 | 0 | 2862 | - | 80M| 0 |1263 | 16k| 17k| 16k| 32k| 80 | 0 | 0 | 0.000000e+00 | -- | Inf 1049.47/1049.81 c 1004s| 1 | 2 | 2862 | - | 80M| 0 |1263 | 16k| 17k| 16k| 32k| 80 | 0 | 30 | 0.000000e+00 | -- | Inf 1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.73/1801.38 c 1800.73/1801.38 c SCIP Status : solving was interrupted [user interrupt] 1800.73/1801.38 c Solving Time (sec) : 1748.61 1800.73/1801.38 c Solving Nodes : 164 1800.73/1801.38 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.73/1801.38 c Dual Bound : +0.00000000000000e+00 1800.73/1801.38 c Gap : infinite 1800.73/1801.38 s UNKNOWN 1800.73/1801.38 c SCIP Status : solving was interrupted [user interrupt] 1800.73/1801.38 c Solving Time : 1748.61 1800.73/1801.38 c Original Problem : 1800.73/1801.38 c Problem name : HOME/instance-2666271-1276675530.opb 1800.73/1801.38 c Variables : 16670 (16670 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.73/1801.38 c Constraints : 17172 initial, 17172 maximal 1800.73/1801.38 c Presolved Problem : 1800.73/1801.38 c Problem name : t_HOME/instance-2666271-1276675530.opb 1800.73/1801.38 c Variables : 16670 (16670 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.73/1801.38 c Constraints : 17172 initial, 17173 maximal 1800.73/1801.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.73/1801.38 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.73/1801.38 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.73/1801.38 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.73/1801.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.73/1801.38 c implics : 0.01 0 0 0 0 0 0 0 0 1800.73/1801.38 c probing : 0.00 0 0 0 0 0 0 0 0 1800.73/1801.38 c knapsack : 0.05 0 0 0 0 0 0 0 0 1800.73/1801.38 c setppc : 0.02 0 0 0 0 0 0 0 0 1800.73/1801.38 c and : 0.50 0 0 0 0 0 0 0 0 1800.73/1801.38 c linear : 0.13 0 0 0 0 0 0 0 0 1800.73/1801.38 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.73/1801.38 c root node : - 0 - - 0 - - - - 1800.73/1801.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.73/1801.38 c integral : 0 0 0 163 0 0 0 0 0 326 1800.73/1801.38 c knapsack : 1 5 431 0 0 0 0 0 0 0 1800.73/1801.38 c setppc : 1000 5 431 0 0 1 666 0 0 0 1800.73/1801.38 c and : 15670 167 430 0 0 0 25023 39000 0 0 1800.73/1801.38 c linear : 1 5 430 0 0 0 0 0 0 0 1800.73/1801.38 c logicor : 500+ 5 132 0 0 0 90 0 0 0 1800.73/1801.38 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.73/1801.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.73/1801.38 c integral : 520.92 0.00 0.00 520.92 0.00 1800.73/1801.38 c knapsack : 0.87 0.86 0.01 0.00 0.00 1800.73/1801.38 c setppc : 0.07 0.00 0.07 0.00 0.00 1800.73/1801.38 c and : 2.88 2.25 0.63 0.00 0.00 1800.73/1801.38 c linear : 0.09 0.00 0.09 0.00 0.00 1800.73/1801.38 c logicor : 0.00 0.00 0.00 0.00 0.00 1800.73/1801.38 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.73/1801.38 c Propagators : Time Calls Cutoffs DomReds 1800.73/1801.38 c vbounds : 0.00 1 0 0 1800.73/1801.38 c rootredcost : 0.00 0 0 0 1800.73/1801.38 c pseudoobj : 0.00 0 0 0 1800.73/1801.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.73/1801.38 c propagation : 0.00 1 1 1 3.0 0 0.0 - 1800.73/1801.38 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.73/1801.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.73/1801.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.73/1801.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.73/1801.38 c applied globally : - - - 1 3.0 - - - 1800.73/1801.38 c applied locally : - - - 0 0.0 - - - 1800.73/1801.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.73/1801.38 c cut pool : 0.00 4 - - 2 - (maximal pool size: 230) 1800.73/1801.38 c redcost : 0.25 167 0 0 0 0 1800.73/1801.38 c impliedbounds : 0.02 5 0 0 59 0 1800.73/1801.38 c intobj : 0.00 0 0 0 0 0 1800.73/1801.38 c cgmip : 0.00 0 0 0 0 0 1800.73/1801.38 c gomory : 264.10 5 0 0 0 0 1800.73/1801.38 c strongcg : 603.70 5 0 0 625 0 1800.73/1801.38 c cmir : 0.00 0 0 0 0 0 1800.73/1801.38 c flowcover : 0.00 0 0 0 0 0 1800.73/1801.38 c clique : 0.64 5 0 0 33 0 1800.73/1801.38 c zerohalf : 0.00 0 0 0 0 0 1800.73/1801.38 c mcf : 5.77 5 0 0 54 0 1800.73/1801.38 c rapidlearning : 0.00 0 0 0 0 0 1800.73/1801.38 c Pricers : Time Calls Vars 1800.73/1801.38 c problem variables: 0.00 0 0 1800.73/1801.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.73/1801.38 c relpscost : 520.92 163 0 0 0 0 326 1800.73/1801.38 c pscost : 0.00 0 0 0 0 0 0 1800.73/1801.38 c inference : 0.00 0 0 0 0 0 0 1800.73/1801.38 c mostinf : 0.00 0 0 0 0 0 0 1800.73/1801.38 c leastinf : 0.00 0 0 0 0 0 0 1800.73/1801.38 c fullstrong : 0.00 0 0 0 0 0 0 1800.73/1801.38 c allfullstrong : 0.00 0 0 0 0 0 0 1800.73/1801.38 c random : 0.00 0 0 0 0 0 0 1800.73/1801.38 c Primal Heuristics : Time Calls Found 1800.73/1801.38 c LP solutions : 0.00 - 0 1800.73/1801.38 c pseudo solutions : 0.00 - 0 1800.73/1801.38 c trivial : 0.04 1 0 1800.73/1801.38 c simplerounding : 0.00 0 0 1800.73/1801.38 c zirounding : 0.00 0 0 1800.73/1801.38 c rounding : 0.00 0 0 1800.73/1801.38 c shifting : 0.00 0 0 1800.73/1801.38 c intshifting : 0.00 0 0 1800.73/1801.38 c oneopt : 0.00 0 0 1800.73/1801.38 c twoopt : 0.00 0 0 1800.73/1801.38 c fixandinfer : 0.00 0 0 1800.73/1801.38 c feaspump : 0.00 0 0 1800.73/1801.38 c coefdiving : 0.00 0 0 1800.73/1801.38 c pscostdiving : 0.00 0 0 1800.73/1801.38 c fracdiving : 0.00 0 0 1800.73/1801.38 c veclendiving : 0.00 0 0 1800.73/1801.38 c intdiving : 0.00 0 0 1800.73/1801.38 c actconsdiving : 0.00 0 0 1800.73/1801.38 c objpscostdiving : 0.00 0 0 1800.73/1801.38 c rootsoldiving : 0.00 0 0 1800.73/1801.38 c linesearchdiving : 0.00 0 0 1800.73/1801.38 c guideddiving : 0.00 0 0 1800.73/1801.38 c octane : 0.00 0 0 1800.73/1801.38 c rens : 0.00 0 0 1800.73/1801.38 c rins : 0.00 0 0 1800.73/1801.38 c localbranching : 0.00 0 0 1800.73/1801.38 c mutation : 0.00 0 0 1800.73/1801.38 c crossover : 0.00 0 0 1800.73/1801.38 c dins : 0.00 0 0 1800.73/1801.38 c undercover : 0.00 0 0 1800.73/1801.38 c nlp : 0.00 0 0 1800.73/1801.38 c trysol : 0.00 0 0 1800.73/1801.38 c LP : Time Calls Iterations Iter/call Iter/sec 1800.73/1801.38 c primal LP : 4.33 0 0 0.00 0.00 1800.73/1801.38 c dual LP : 339.34 330 145584 441.16 429.02 1800.73/1801.38 c lex dual LP : 0.00 0 0 0.00 - 1800.73/1801.38 c barrier LP : 0.00 0 0 0.00 - 1800.73/1801.38 c diving/probing LP: 0.00 0 0 0.00 - 1800.73/1801.38 c strong branching : 520.73 353 190747 540.36 366.31 1800.73/1801.38 c (at root node) : - 30 14145 471.50 - 1800.73/1801.38 c conflict analysis: 0.00 0 0 0.00 - 1800.73/1801.38 c B&B Tree : 1800.73/1801.38 c number of runs : 1 1800.73/1801.38 c nodes : 164 1800.73/1801.38 c nodes (total) : 164 1800.73/1801.38 c nodes left : 163 1800.73/1801.38 c max depth : 22 1800.73/1801.38 c max depth (total): 22 1800.73/1801.38 c backtracks : 33 (20.1%) 1800.73/1801.38 c delayed cutoffs : 0 1800.73/1801.38 c repropagations : 12 (45 domain reductions, 0 cutoffs) 1800.73/1801.38 c avg switch length: 3.73 1800.73/1801.38 c switching time : 4.90 1800.73/1801.38 c Solution : 1800.73/1801.38 c Solutions found : 0 (0 improvements) 1800.73/1801.38 c Primal Bound : - 1800.73/1801.38 c Dual Bound : +0.00000000000000e+00 1800.73/1801.38 c Gap : infinite 1800.73/1801.38 c Root Dual Bound : +0.00000000000000e+00 1800.73/1801.38 c Root Iterations : 2862 1801.04/1801.68 c Time complete: 1801.11.
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-2666271-1276675530/watcher-2666271-1276675530 -o /tmp/evaluation-result-2666271-1276675530/solver-2666271-1276675530 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666271-1276675530.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.06 1.02 1.00 3/106 15065 /proc/meminfo: memFree=1757288/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=7872 CPUtime=0 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 1198 0 0 0 0 0 0 0 20 0 1 0 8845525 8060928 1117 1992294400 4194304 8223781 140735473908848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15065/statm: 1968 1127 348 984 0 981 0 [startup+0.029504 s] /proc/loadavg: 1.06 1.02 1.00 3/106 15065 /proc/meminfo: memFree=1757288/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=12248 CPUtime=0.02 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 2356 0 0 0 1 1 0 0 20 0 1 0 8845525 12541952 2275 1992294400 4194304 8223781 140735473908848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15065/statm: 3062 2275 364 984 0 2075 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12248 [startup+0.100513 s] /proc/loadavg: 1.06 1.02 1.00 3/106 15065 /proc/meminfo: memFree=1757288/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=19068 CPUtime=0.09 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 4040 0 0 0 8 1 0 0 20 0 1 0 8845525 19525632 3959 1992294400 4194304 8223781 140735473908848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15065/statm: 4767 3959 364 984 0 3780 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19068 [startup+0.300534 s] /proc/loadavg: 1.06 1.02 1.00 3/106 15065 /proc/meminfo: memFree=1757288/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=44636 CPUtime=0.29 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 10760 0 0 0 25 4 0 0 20 0 1 0 8845525 45707264 10315 1992294400 4194304 8223781 140735473908848 18446744073709551615 7256783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 11159 10315 382 984 0 10172 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44636 [startup+0.700577 s] /proc/loadavg: 1.06 1.02 1.00 3/106 15065 /proc/meminfo: memFree=1757288/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=62268 CPUtime=0.69 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 15303 0 0 0 62 7 0 0 20 0 1 0 8845525 63762432 14505 1992294400 4194304 8223781 140735473908848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 15567 14505 426 984 0 14580 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62268 [startup+1.50067 s] /proc/loadavg: 1.06 1.02 1.00 2/107 15066 /proc/meminfo: memFree=1694908/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=82588 CPUtime=1.49 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 22643 0 0 0 123 26 0 0 23 0 1 0 8845525 84570112 19454 1992294400 4194304 8223781 140735473908848 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 20647 19468 516 984 0 19660 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 82588 [startup+3.10084 s] /proc/loadavg: 1.06 1.02 1.00 2/107 15066 /proc/meminfo: memFree=1637124/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=130940 CPUtime=3.09 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 37328 0 0 0 277 32 0 0 25 0 1 0 8845525 134082560 30564 1992294400 4194304 8223781 140735473908848 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 32735 30564 551 984 0 31748 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 130940 [startup+6.30019 s] /proc/loadavg: 1.06 1.01 1.00 2/107 15066 /proc/meminfo: memFree=1634024/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=134520 CPUtime=6.29 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 40075 0 0 0 594 35 0 0 25 0 1 0 8845525 137748480 31169 1992294400 4194304 8223781 140735473908848 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 33630 31169 555 984 0 32643 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 134520 [startup+12.7009 s] /proc/loadavg: 1.05 1.01 1.00 2/107 15066 /proc/meminfo: memFree=1633032/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=135176 CPUtime=12.69 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 43084 0 0 0 1231 38 0 0 25 0 1 0 8845525 138420224 31448 1992294400 4194304 8223781 140735473908848 18446744073709551615 6611759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 33794 31448 555 984 0 32807 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 135176 [startup+25.5013 s] /proc/loadavg: 1.12 1.03 1.01 2/107 15066 /proc/meminfo: memFree=1633280/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=134700 CPUtime=25.49 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 281648 0 0 0 2418 131 0 0 25 0 1 0 8845525 137932800 31208 1992294400 4194304 8223781 140735473908848 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 33675 31208 571 984 0 32688 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 134700 [startup+51.1011 s] /proc/loadavg: 1.08 1.03 1.00 2/107 15068 /proc/meminfo: memFree=1633280/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=134960 CPUtime=51.08 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 767581 0 0 0 4778 330 0 0 25 0 1 0 8845525 138199040 31266 1992294400 4194304 8223781 140735473908848 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 33740 31273 571 984 0 32753 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 134960 [startup+102.309 s] /proc/loadavg: 1.09 1.04 1.00 2/107 15068 /proc/meminfo: memFree=1633156/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=135152 CPUtime=102.28 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 1408172 0 0 0 9642 586 0 0 25 0 1 0 8845525 138395648 31276 1992294400 4194304 8223781 140735473908848 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 33788 31276 569 984 0 32801 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 135152 [startup+162.3 s] /proc/loadavg: 1.08 1.04 1.00 2/107 15070 /proc/meminfo: memFree=1631916/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=136600 CPUtime=162.24 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 1942131 0 0 0 15428 796 0 0 25 0 1 0 8845525 139878400 31585 1992294400 4194304 8223781 140735473908848 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 34150 31585 569 984 0 33163 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 136600 [startup+222.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 15072 /proc/meminfo: memFree=1628692/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=140008 CPUtime=222.23 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 2764756 0 0 0 21095 1128 0 0 25 0 1 0 8845525 143368192 32421 1992294400 4194304 8223781 140735473908848 18446744073709551615 6044390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35002 32421 584 984 0 34015 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 140008 [startup+282.301 s] /proc/loadavg: 1.07 1.05 1.00 2/107 15074 /proc/meminfo: memFree=1628320/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=140008 CPUtime=282.2 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 3545861 0 0 0 26776 1444 0 0 25 0 1 0 8845525 143368192 32421 1992294400 4194304 8223781 140735473908848 18446744073709551615 6056502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35002 32421 584 984 0 34015 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 140008 [startup+342.301 s] /proc/loadavg: 1.11 1.07 1.01 2/107 15076 /proc/meminfo: memFree=1628320/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=140008 CPUtime=342.19 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 4065536 0 0 0 32568 1651 0 0 25 0 1 0 8845525 143368192 32421 1992294400 4194304 8223781 140735473908848 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35002 32421 584 984 0 34015 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 140008 [startup+402.301 s] /proc/loadavg: 1.08 1.07 1.01 2/107 15076 /proc/meminfo: memFree=1628072/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=140760 CPUtime=402.17 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 4861304 0 0 0 38249 1968 0 0 25 0 1 0 8845525 144138240 32504 1992294400 4194304 8223781 140735473908848 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35190 32516 584 984 0 34203 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 140760 [startup+462.301 s] /proc/loadavg: 1.06 1.07 1.01 2/107 15078 /proc/meminfo: memFree=1628072/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=140500 CPUtime=462.15 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 5665565 0 0 0 43923 2292 0 0 25 0 1 0 8845525 143872000 32455 1992294400 4194304 8223781 140735473908848 18446744073709551615 6056502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35125 32455 584 984 0 34138 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 140500 [startup+522.301 s] /proc/loadavg: 1.13 1.08 1.01 2/107 15080 /proc/meminfo: memFree=1628072/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=140500 CPUtime=522.13 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 6180430 0 0 0 49717 2496 0 0 25 0 1 0 8845525 143872000 32455 1992294400 4194304 8223781 140735473908848 18446744073709551615 6059670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35125 32455 584 984 0 34138 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 140500 [startup+582.3 s] /proc/loadavg: 1.12 1.08 1.01 2/107 15082 /proc/meminfo: memFree=1627700/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=141412 CPUtime=582.12 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 6928691 0 0 0 55405 2807 0 0 25 0 1 0 8845525 144805888 32525 1992294400 4194304 8223781 140735473908848 18446744073709551615 6044390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35353 32525 584 984 0 34366 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 141412 [startup+642.301 s] /proc/loadavg: 1.11 1.08 1.01 2/107 15084 /proc/meminfo: memFree=1625964/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=143300 CPUtime=642.11 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 7769506 0 0 0 61055 3156 0 0 25 0 1 0 8845525 146739200 32955 1992294400 4194304 8223781 140735473908848 18446744073709551615 6056795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 35825 32955 584 984 0 34838 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 143300 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.05 1.08 1.01 2/107 15092 /proc/meminfo: memFree=1610588/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=159476 CPUtime=942.01 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 10787241 0 0 0 89829 4372 0 0 25 0 1 0 8845525 163303424 36846 1992294400 4194304 8223781 140735473908848 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 39869 36846 587 984 0 38882 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 159476 [startup+1002.3 s] /proc/loadavg: 1.02 1.06 1.01 2/107 15092 /proc/meminfo: memFree=1611952/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=159228 CPUtime=1001.99 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 10906154 0 0 0 95756 4443 0 0 25 0 1 0 8845525 163049472 36596 1992294400 4194304 8223781 140735473908848 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 39807 36596 587 984 0 38820 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 159228 [startup+1062.3 s] /proc/loadavg: 1.00 1.05 1.00 2/107 15094 /proc/meminfo: memFree=1616168/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=153072 CPUtime=1061.97 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11000574 0 0 0 101698 4499 0 0 25 0 1 0 8845525 156745728 35452 1992294400 4194304 8223781 140735473908848 18446744073709551615 6559794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 38268 35452 589 984 0 37281 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 153072 [startup+1122.3 s] /proc/loadavg: 1.00 1.04 1.00 2/107 15096 /proc/meminfo: memFree=1616664/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=153096 CPUtime=1121.95 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11064603 0 0 0 107643 4552 0 0 25 0 1 0 8845525 156770304 35431 1992294400 4194304 8223781 140735473908848 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 38274 35431 590 984 0 37287 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 153096 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 15098 /proc/meminfo: memFree=1616292/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=154368 CPUtime=1181.93 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11131677 0 0 0 113585 4608 0 0 25 0 1 0 8845525 158072832 35663 1992294400 4194304 8223781 140735473908848 18446744073709551615 6570106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 38592 35663 589 984 0 37605 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 154368 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 15100 /proc/meminfo: memFree=1615424/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=153572 CPUtime=1241.91 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11198325 0 0 0 119526 4665 0 0 25 0 1 0 8845525 157257728 35551 1992294400 4194304 8223781 140735473908848 18446744073709551615 6358950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 38393 35551 589 984 0 37406 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 153572 [startup+1302.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 15100 /proc/meminfo: memFree=1615052/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=152172 CPUtime=1301.91 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11268208 0 0 0 125467 4724 0 0 25 0 1 0 8845525 155824128 35220 1992294400 4194304 8223781 140735473908848 18446744073709551615 6604142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 38043 35227 589 984 0 37056 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 152172 [startup+1362.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 15102 /proc/meminfo: memFree=1614060/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=154864 CPUtime=1361.88 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11335535 0 0 0 131407 4781 0 0 25 0 1 0 8845525 158580736 35877 1992294400 4194304 8223781 140735473908848 18446744073709551615 6359635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 38716 35877 592 984 0 37729 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 154864 [startup+1422.31 s] /proc/loadavg: 1.05 1.03 1.00 2/107 15104 /proc/meminfo: memFree=1611704/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=157124 CPUtime=1421.87 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11404514 0 0 0 137350 4837 0 0 25 0 1 0 8845525 160894976 36397 1992294400 4194304 8223781 140735473908848 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 39281 36397 594 984 0 38294 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 157124 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 15106 /proc/meminfo: memFree=1610712/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=158796 CPUtime=1481.84 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11468230 0 0 0 143291 4893 0 0 25 0 1 0 8845525 162607104 36786 1992294400 4194304 8223781 140735473908848 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 39699 36786 592 984 0 38712 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 158796 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 15108 /proc/meminfo: memFree=1610092/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=157012 CPUtime=1541.82 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11526384 0 0 0 149234 4948 0 0 25 0 1 0 8845525 160780288 36425 1992294400 4194304 8223781 140735473908848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 39253 36425 592 984 0 38266 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 157012 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 15111 /proc/meminfo: memFree=1609224/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=159340 CPUtime=1601.79 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11593499 0 0 0 155172 5007 0 0 25 0 1 0 8845525 163164160 36873 1992294400 4194304 8223781 140735473908848 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 39835 36873 592 984 0 38848 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 159340 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 15113 /proc/meminfo: memFree=1608728/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=160408 CPUtime=1661.77 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11663585 0 0 0 161113 5064 0 0 25 0 1 0 8845525 164257792 37255 1992294400 4194304 8223781 140735473908848 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 40102 37255 592 984 0 39115 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 160408 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15115 /proc/meminfo: memFree=1607984/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=159256 CPUtime=1721.76 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11731434 0 0 0 167053 5123 0 0 25 0 1 0 8845525 163078144 37010 1992294400 4194304 8223781 140735473908848 18446744073709551615 6567501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 39814 37010 592 984 0 38827 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 159256 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15117 /proc/meminfo: memFree=1607736/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=160048 CPUtime=1781.74 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11795731 0 0 0 172994 5180 0 0 25 0 1 0 8845525 163889152 37097 1992294400 4194304 8223781 140735473908848 18446744073709551615 6448679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 40012 37097 597 984 0 39025 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 160048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15117 /proc/meminfo: memFree=1608108/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=160336 CPUtime=1800.05 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11820331 0 0 0 174806 5199 0 0 25 0 1 0 8845525 164184064 37255 1992294400 4194304 8223781 140735473908848 18446744073709551615 6359008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15065/statm: 40084 37255 592 984 0 39097 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 160336 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.00 1.00 2/107 15117 /proc/meminfo: memFree=1608108/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=160124 CPUtime=1800.83 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11820932 0 0 0 174884 5199 0 0 25 0 1 0 8845525 163966976 37181 1992294400 4194304 8223781 140735473908848 18446744073709551615 6590795 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15065/statm: 40031 37181 593 984 0 39044 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 160124 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15117 /proc/meminfo: memFree=1608108/2059040 swapFree=4192956/4192956 [pid=15065] ppid=15063 vsize=138512 CPUtime=1801.04 /proc/15065/stat : 15065 (pbscip.linux.x8) R 15063 15065 14955 0 -1 4202496 11821170 0 0 0 174904 5200 0 0 25 0 1 0 8845525 141836288 31956 1992294400 4194304 8223781 140735473908848 18446744073709551615 6207260 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15065/statm: 34628 31956 593 984 0 33641 0 Current children cumulated CPU time (s) 1801.04 Current children cumulated vsize (KiB) 138512 Child status: 0 Real time (s): 1801.69 CPU time (s): 1801.13 CPU user time (s): 1749.11 CPU system time (s): 52.0171 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 165172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.11 system time used= 52.0171 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11821178 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= 5 involuntary context switches= 1824 runsolver used 2.93655 second user time and 8.5557 second system time The end
Begin job on node042 at 2010-06-16 10:05:30 IDJOB=2666271 IDBENCH=48289 IDSOLVER=1169 FILE ID=node042/2666271-1276675530 PBS_JOBID= 11172555 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_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-2666271-1276675530/watcher-2666271-1276675530 -o /tmp/evaluation-result-2666271-1276675530/solver-2666271-1276675530 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666271-1276675530.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d38f526c1f6f5ee8e5e4d2c41b31df8d RANDOM SEED=1789491891 node042.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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757692 kB Buffers: 57784 kB Cached: 118900 kB SwapCached: 0 kB Active: 95428 kB Inactive: 140572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757692 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5008 kB Writeback: 0 kB AnonPages: 59272 kB Mapped: 15460 kB Slab: 43492 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184244 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node042 at 2010-06-16 10:35:33