Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1797.27 | 1798.03 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb |
MD5SUM | 513c9c3498927a8710f266699385db2b |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.56376 |
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 | 1600 |
Total number of constraints | 328901 |
Number of constraints which are clauses | 327070 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 1770 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 700 |
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 | 302 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 891 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2704180-1278550040.opb> 5.28/5.37 c original problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints 5.28/5.37 c problem read 5.28/5.37 c No objective function, only one solution is needed. 5.28/5.37 c presolving settings loaded 6.38/6.49 c presolving: 9.28/9.33 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs 9.79/9.90 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 1816 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs 10.38/10.49 c presolving (3 rounds): 10.38/10.49 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1924 changed coefficients 10.38/10.49 c 3140 implications, 60 cliques 10.38/10.49 c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints 10.38/10.49 c 1770 constraints of type <knapsack> 10.38/10.49 c 760 constraints of type <setppc> 10.38/10.49 c 1 constraints of type <linear> 10.38/10.49 c 326370 constraints of type <logicor> 10.38/10.49 c transformed objective value is always integral (scale: 1) 10.38/10.49 c Presolving Time: 4.18 10.38/10.49 c - non default parameters ---------------------------------------------------------------------- 10.38/10.49 c # SCIP version 1.2.1.3 10.38/10.49 c 10.38/10.49 c # frequency for displaying node information lines 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 100] 10.38/10.49 c display/freq = 10000 10.38/10.49 c 10.38/10.49 c # maximal time in seconds to run 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 10.38/10.49 c limits/time = 1784.64 10.38/10.49 c 10.38/10.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 10.38/10.49 c limits/memory = 1620 10.38/10.49 c 10.38/10.49 c # solving stops, if the given number of solutions were found (-1: no limit) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: -1] 10.38/10.49 c limits/solutions = 1 10.38/10.49 c 10.38/10.49 c # maximal number of separation rounds per node (-1: unlimited) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 5] 10.38/10.49 c separating/maxrounds = 1 10.38/10.49 c 10.38/10.49 c # maximal number of separation rounds in the root node (-1: unlimited) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: -1] 10.38/10.49 c separating/maxroundsroot = 5 10.38/10.49 c 10.38/10.49 c # default clock type (1: CPU user seconds, 2: wall clock time) 10.38/10.49 c # [type: int, range: [1,2], default: 1] 10.38/10.49 c timing/clocktype = 2 10.38/10.49 c 10.38/10.49 c # should presolving try to simplify inequalities 10.38/10.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.38/10.49 c constraints/linear/simplifyinequalities = TRUE 10.38/10.49 c 10.38/10.49 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 10.38/10.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.38/10.49 c constraints/indicator/addCouplingCons = TRUE 10.38/10.49 c 10.38/10.49 c # should disaggregation of knapsack constraints be allowed in preprocessing? 10.38/10.49 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 10.38/10.49 c constraints/knapsack/disaggregation = FALSE 10.38/10.49 c 10.38/10.49 c # should presolving try to simplify knapsacks 10.38/10.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.38/10.49 c constraints/knapsack/simplifyinequalities = TRUE 10.38/10.49 c 10.38/10.49 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: -1] 10.38/10.49 c presolving/probing/maxrounds = 0 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/coefdiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.38/10.49 c heuristics/coefdiving/maxlpiterquot = 0.075 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/coefdiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 30] 10.38/10.49 c heuristics/crossover/freq = -1 10.38/10.49 c 10.38/10.49 c # number of nodes added to the contingent of the total nodes 10.38/10.49 c # [type: longint, range: [0,9223372036854775807], default: 500] 10.38/10.49 c heuristics/crossover/nodesofs = 750 10.38/10.49 c 10.38/10.49 c # number of nodes without incumbent change that heuristic should wait 10.38/10.49 c # [type: longint, range: [0,9223372036854775807], default: 200] 10.38/10.49 c heuristics/crossover/nwaitingnodes = 100 10.38/10.49 c 10.38/10.49 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 10.38/10.49 c # [type: real, range: [0,1], default: 0.1] 10.38/10.49 c heuristics/crossover/nodesquot = 0.15 10.38/10.49 c 10.38/10.49 c # minimum percentage of integer variables that have to be fixed 10.38/10.49 c # [type: real, range: [0,1], default: 0.666] 10.38/10.49 c heuristics/crossover/minfixingrate = 0.5 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 20] 10.38/10.49 c heuristics/feaspump/freq = -1 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/feaspump/maxlpiterofs = 2000 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/fracdiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.38/10.49 c heuristics/fracdiving/maxlpiterquot = 0.075 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/fracdiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/guideddiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.38/10.49 c heuristics/guideddiving/maxlpiterquot = 0.075 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/guideddiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.38/10.49 c heuristics/intdiving/maxlpiterquot = 0.075 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/intshifting/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/linesearchdiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.38/10.49 c heuristics/linesearchdiving/maxlpiterquot = 0.075 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/linesearchdiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 1] 10.38/10.49 c heuristics/nlp/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 20] 10.38/10.49 c heuristics/objpscostdiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to total iteration number 10.38/10.49 c # [type: real, range: [0,1], default: 0.01] 10.38/10.49 c heuristics/objpscostdiving/maxlpiterquot = 0.015 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/objpscostdiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 1] 10.38/10.49 c heuristics/oneopt/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/pscostdiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.38/10.49 c heuristics/pscostdiving/maxlpiterquot = 0.075 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/pscostdiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 0] 10.38/10.49 c heuristics/rens/freq = -1 10.38/10.49 c 10.38/10.49 c # minimum percentage of integer variables that have to be fixable 10.38/10.49 c # [type: real, range: [0,1], default: 0.5] 10.38/10.49 c heuristics/rens/minfixingrate = 0.3 10.38/10.49 c 10.38/10.49 c # number of nodes added to the contingent of the total nodes 10.38/10.49 c # [type: longint, range: [0,9223372036854775807], default: 500] 10.38/10.49 c heuristics/rens/nodesofs = 2000 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 20] 10.38/10.49 c heuristics/rootsoldiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 10.38/10.49 c heuristics/rootsoldiving/maxlpiterquot = 0.015 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/rootsoldiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 1] 10.38/10.49 c heuristics/rounding/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/shifting/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 1] 10.38/10.49 c heuristics/simplerounding/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 0] 10.38/10.49 c heuristics/trivial/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 1] 10.38/10.49 c heuristics/trysol/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 10] 10.38/10.49 c heuristics/veclendiving/freq = -1 10.38/10.49 c 10.38/10.49 c # maximal fraction of diving LP iterations compared to node LP iterations 10.38/10.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.38/10.49 c heuristics/veclendiving/maxlpiterquot = 0.075 10.38/10.49 c 10.38/10.49 c # additional number of allowed LP iterations 10.38/10.49 c # [type: int, range: [0,2147483647], default: 1000] 10.38/10.49 c heuristics/veclendiving/maxlpiterofs = 1500 10.38/10.49 c 10.38/10.49 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 1] 10.38/10.49 c heuristics/zirounding/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 0] 10.38/10.49 c separating/cmir/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: 0] 10.38/10.49 c separating/flowcover/freq = -1 10.38/10.49 c 10.38/10.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 10.38/10.49 c # [type: int, range: [-1,2147483647], default: -1] 10.38/10.49 c separating/rapidlearning/freq = 0 10.38/10.49 c 10.38/10.49 c ----------------------------------------------------------------------------------------------- 10.38/10.49 c start solving 10.48/10.51 c 108.94/109.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 108.94/109.05 c 104s| 1 | 0 | 3050 | - | 379M| 0 | 327 |1600 | 328k|1600 | 328k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 290.67/290.81 c 285s| 1 | 0 | 5978 | - | 379M| 0 | 173 |1600 | 328k|1600 | 328k| 23 | 0 | 0 | 0.000000e+00 | -- | Inf 413.91/414.16 c 409s| 1 | 0 | 7581 | - | 379M| 0 | 163 |1600 | 328k|1600 | 328k| 49 | 0 | 0 | 0.000000e+00 | -- | Inf 762.77/763.13 c 758s| 1 | 0 | 13778 | - | 379M| 0 | 127 |1600 | 328k|1600 | 328k| 76 | 0 | 0 | 0.000000e+00 | -- | Inf 911.51/912.00 c 907s| 1 | 0 | 15732 | - | 379M| 0 | 131 |1600 | 328k|1600 | 329k| 100 | 0 | 0 | 0.000000e+00 | -- | Inf 1137.01/1137.58 c 1132s| 1 | 0 | 19592 | - | 380M| 0 | 87 |1600 | 328k|1600 | 329k| 118 | 0 | 0 | 0.000000e+00 | -- | Inf 1669.59/1670.39 c 1665s| 1 | 2 | 19592 | - | 380M| 0 | 87 |1600 | 328k|1600 | 329k| 118 | 0 | 18 | 0.000000e+00 | -- | Inf 1795.94/1796.77 c 1795.94/1796.77 c SCIP Status : solving was interrupted [time limit reached] 1795.94/1796.77 c Solving Time (sec) : 1791.40 1795.94/1796.77 c Solving Nodes : 2 1795.94/1796.77 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.94/1796.77 c Dual Bound : +0.00000000000000e+00 1795.94/1796.77 c Gap : infinite 1795.94/1796.77 s UNKNOWN 1795.94/1796.77 c SCIP Status : solving was interrupted [time limit reached] 1795.94/1796.77 c Solving Time : 1791.40 1795.94/1796.77 c Original Problem : 1795.94/1796.77 c Problem name : HOME/instance-2704180-1278550040.opb 1795.94/1796.77 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.94/1796.77 c Constraints : 328901 initial, 328901 maximal 1795.94/1796.77 c Presolved Problem : 1795.94/1796.77 c Problem name : t_HOME/instance-2704180-1278550040.opb 1795.94/1796.77 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.94/1796.77 c Constraints : 328901 initial, 328901 maximal 1795.94/1796.77 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.94/1796.77 c trivial : 0.00 0 0 0 0 0 0 0 0 1795.94/1796.77 c dualfix : 0.00 0 0 0 0 0 0 0 0 1795.94/1796.77 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.94/1796.77 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.94/1796.77 c implics : 0.00 0 0 0 0 0 0 0 0 1795.94/1796.77 c probing : 0.00 0 0 0 0 0 0 0 0 1795.94/1796.77 c knapsack : 0.46 0 0 0 0 0 0 0 1924 1795.94/1796.77 c setppc : 0.01 0 0 0 0 0 0 0 0 1795.94/1796.77 c linear : 2.06 0 0 0 0 0 0 0 0 1795.94/1796.77 c logicor : 1.05 0 0 0 0 0 0 0 0 1795.94/1796.77 c root node : - 0 - - 0 - - - - 1795.94/1796.77 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.94/1796.77 c integral : 0 0 0 2 0 0 0 0 0 4 1795.94/1796.77 c knapsack : 1770 5 3 0 0 0 53 377 0 0 1795.94/1796.77 c setppc : 760 5 3 0 0 0 29 0 0 0 1795.94/1796.77 c linear : 1 5 3 0 0 0 0 0 0 0 1795.94/1796.77 c logicor : 326370 5 2 0 0 0 0 0 0 0 1795.94/1796.77 c countsols : 0 0 0 0 0 0 0 0 0 0 1795.94/1796.77 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.94/1796.77 c integral : 613.50 0.00 0.00 613.50 0.00 1795.94/1796.77 c knapsack : 0.06 0.06 0.01 0.00 0.00 1795.94/1796.77 c setppc : 0.00 0.00 0.00 0.00 0.00 1795.94/1796.77 c linear : 0.00 0.00 0.00 0.00 0.00 1795.94/1796.77 c logicor : 0.46 0.19 0.27 0.00 0.00 1795.94/1796.77 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.94/1796.77 c Propagators : Time Calls Cutoffs DomReds 1795.94/1796.77 c vbounds : 0.00 1 0 0 1795.94/1796.77 c rootredcost : 0.00 0 0 0 1795.94/1796.77 c pseudoobj : 0.00 0 0 0 1795.94/1796.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.94/1796.77 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1795.94/1796.77 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1795.94/1796.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.94/1796.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.94/1796.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.94/1796.77 c applied globally : - - - 0 0.0 - - - 1795.94/1796.77 c applied locally : - - - 0 0.0 - - - 1795.94/1796.77 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.94/1796.77 c cut pool : 0.00 4 - - 2 - (maximal pool size: 318) 1795.94/1796.77 c redcost : 0.00 6 0 0 0 0 1795.94/1796.77 c impliedbounds : 0.00 5 0 0 0 0 1795.94/1796.77 c intobj : 0.00 0 0 0 0 0 1795.94/1796.77 c cgmip : 0.00 0 0 0 0 0 1795.94/1796.77 c gomory : 113.88 5 0 0 2500 0 1795.94/1796.77 c strongcg : 114.19 5 0 0 2500 0 1795.94/1796.77 c cmir : 0.00 0 0 0 0 0 1795.94/1796.77 c flowcover : 0.00 0 0 0 0 0 1795.94/1796.77 c clique : 0.01 5 0 0 0 0 1795.94/1796.77 c zerohalf : 0.00 0 0 0 0 0 1795.94/1796.77 c mcf : 0.00 0 0 0 0 0 1795.94/1796.77 c rapidlearning : 0.00 0 0 0 0 0 1795.94/1796.77 c Pricers : Time Calls Vars 1795.94/1796.77 c problem variables: 0.00 0 0 1795.94/1796.77 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.94/1796.77 c relpscost : 613.50 2 0 0 0 0 4 1795.94/1796.77 c pscost : 0.00 0 0 0 0 0 0 1795.94/1796.77 c inference : 0.00 0 0 0 0 0 0 1795.94/1796.77 c mostinf : 0.00 0 0 0 0 0 0 1795.94/1796.77 c leastinf : 0.00 0 0 0 0 0 0 1795.94/1796.77 c fullstrong : 0.00 0 0 0 0 0 0 1795.94/1796.77 c allfullstrong : 0.00 0 0 0 0 0 0 1795.94/1796.77 c random : 0.00 0 0 0 0 0 0 1795.94/1796.77 c Primal Heuristics : Time Calls Found 1795.94/1796.77 c LP solutions : 0.00 - 0 1795.94/1796.77 c pseudo solutions : 0.00 - 0 1795.94/1796.77 c trivial : 0.18 1 0 1795.94/1796.77 c simplerounding : 0.00 0 0 1795.94/1796.77 c zirounding : 0.00 0 0 1795.94/1796.77 c rounding : 0.00 0 0 1795.94/1796.77 c shifting : 0.00 0 0 1795.94/1796.77 c intshifting : 0.00 0 0 1795.94/1796.77 c oneopt : 0.00 0 0 1795.94/1796.77 c twoopt : 0.00 0 0 1795.94/1796.77 c fixandinfer : 0.00 0 0 1795.94/1796.77 c feaspump : 0.00 0 0 1795.94/1796.77 c coefdiving : 0.00 0 0 1795.94/1796.77 c pscostdiving : 0.00 0 0 1795.94/1796.77 c fracdiving : 0.00 0 0 1795.94/1796.77 c veclendiving : 0.00 0 0 1795.94/1796.77 c intdiving : 0.00 0 0 1795.94/1796.77 c actconsdiving : 0.00 0 0 1795.94/1796.77 c objpscostdiving : 0.00 0 0 1795.94/1796.77 c rootsoldiving : 0.00 0 0 1795.94/1796.77 c linesearchdiving : 0.00 0 0 1795.94/1796.77 c guideddiving : 0.00 0 0 1795.94/1796.77 c octane : 0.00 0 0 1795.94/1796.77 c rens : 0.00 0 0 1795.94/1796.77 c rins : 0.00 0 0 1795.94/1796.77 c localbranching : 0.00 0 0 1795.94/1796.77 c mutation : 0.00 0 0 1795.94/1796.77 c crossover : 0.00 0 0 1795.94/1796.77 c dins : 0.00 0 0 1795.94/1796.77 c undercover : 0.00 0 0 1795.94/1796.77 c nlp : 0.00 0 0 1795.94/1796.77 c trysol : 0.00 0 0 1795.94/1796.77 c LP : Time Calls Iterations Iter/call Iter/sec 1795.94/1796.77 c primal LP : 0.20 0 0 0.00 0.00 1795.94/1796.77 c dual LP : 941.62 7 20720 2960.00 22.00 1795.94/1796.77 c lex dual LP : 0.00 0 0 0.00 - 1795.94/1796.77 c barrier LP : 0.00 0 0 0.00 - 1795.94/1796.77 c diving/probing LP: 0.00 0 0 0.00 - 1795.94/1796.77 c strong branching : 613.50 26 13950 536.54 22.74 1795.94/1796.77 c (at root node) : - 18 12147 674.83 - 1795.94/1796.77 c conflict analysis: 0.00 0 0 0.00 - 1795.94/1796.77 c B&B Tree : 1795.94/1796.77 c number of runs : 1 1795.94/1796.77 c nodes : 2 1795.94/1796.77 c nodes (total) : 2 1795.94/1796.77 c nodes left : 3 1795.94/1796.77 c max depth : 1 1795.94/1796.77 c max depth (total): 1 1795.94/1796.77 c backtracks : 0 (0.0%) 1795.94/1796.77 c delayed cutoffs : 0 1795.94/1796.77 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1795.94/1796.77 c avg switch length: 1.00 1795.94/1796.77 c switching time : 0.29 1795.94/1796.77 c Solution : 1795.94/1796.77 c Solutions found : 0 (0 improvements) 1795.94/1796.77 c Primal Bound : - 1795.94/1796.77 c Dual Bound : +0.00000000000000e+00 1795.94/1796.77 c Gap : infinite 1795.94/1796.77 c Root Dual Bound : +0.00000000000000e+00 1795.94/1796.77 c Root Iterations : 19592 1797.24/1798.02 c Time complete: 1797.26.
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-2704180-1278550040/watcher-2704180-1278550040 -o /tmp/evaluation-result-2704180-1278550040/solver-2704180-1278550040 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704180-1278550040.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.03 1.01 0.91 3/106 28681 /proc/meminfo: memFree=1619808/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=7904 CPUtime=0 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 1067 0 0 0 0 0 0 0 21 0 1 0 23217249 8093696 979 1992294400 4194304 8395647 140736518229536 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 1976 988 365 1026 0 946 0 [startup+0.0140891 s] /proc/loadavg: 1.03 1.01 0.91 3/106 28681 /proc/meminfo: memFree=1619808/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=10344 CPUtime=0 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 1881 0 0 0 0 0 0 0 21 0 1 0 23217249 10592256 1793 1992294400 4194304 8395647 140736518229536 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 2586 1793 390 1026 0 1556 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10344 [startup+0.101107 s] /proc/loadavg: 1.03 1.01 0.91 3/106 28681 /proc/meminfo: memFree=1619808/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=14192 CPUtime=0.09 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 2833 0 0 0 9 0 0 0 21 0 1 0 23217249 14532608 2745 1992294400 4194304 8395647 140736518229536 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 3548 2745 390 1026 0 2518 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14192 [startup+0.301149 s] /proc/loadavg: 1.03 1.01 0.91 3/106 28681 /proc/meminfo: memFree=1619808/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=19264 CPUtime=0.29 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 4081 0 0 0 28 1 0 0 21 0 1 0 23217249 19726336 3993 1992294400 4194304 8395647 140736518229536 18446744073709551615 6766349 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 4816 3993 390 1026 0 3786 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19264 [startup+0.701234 s] /proc/loadavg: 1.03 1.01 0.91 3/106 28681 /proc/meminfo: memFree=1619808/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=28848 CPUtime=0.69 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 6496 0 0 0 68 1 0 0 22 0 1 0 23217249 29540352 6408 1992294400 4194304 8395647 140736518229536 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 7212 6408 390 1026 0 6182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28848 [startup+1.5014 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28682 /proc/meminfo: memFree=1589668/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=46376 CPUtime=1.49 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 10846 0 0 0 146 3 0 0 25 0 1 0 23217249 47489024 10758 1992294400 4194304 8395647 140736518229536 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 11594 10758 390 1026 0 10564 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46376 [startup+3.10075 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28682 /proc/meminfo: memFree=1564992/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=81528 CPUtime=3.09 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 19594 0 0 0 302 7 0 0 25 0 1 0 23217249 83484672 19506 1992294400 4194304 8395647 140736518229536 18446744073709551615 4327740 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 20382 19506 390 1026 0 19352 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81528 [startup+6.30143 s] /proc/loadavg: 1.03 1.01 0.91 2/107 28682 /proc/meminfo: memFree=1483896/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=358824 CPUtime=6.28 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 89011 0 0 0 596 32 0 0 25 0 1 0 23217249 367435776 88569 1992294400 4194304 8395647 140736518229536 18446744073709551615 7385355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 89706 88571 419 1026 0 88676 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 358824 [startup+12.7008 s] /proc/loadavg: 1.02 1.01 0.91 2/107 28682 /proc/meminfo: memFree=992608/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=750536 CPUtime=12.68 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 190994 0 0 0 1202 66 0 0 25 0 1 0 23217249 768548864 176324 1992294400 4194304 8395647 140736518229536 18446744073709551615 6739905 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 187634 176324 602 1026 0 186604 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 750536 [startup+25.5015 s] /proc/loadavg: 1.02 1.01 0.91 2/107 28682 /proc/meminfo: memFree=886836/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=819868 CPUtime=25.47 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 199993 0 0 0 2478 69 0 0 25 0 1 0 23217249 839544832 183795 1992294400 4194304 8395647 140736518229536 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 204967 183795 1074 1026 0 203937 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 819868 [startup+51.101 s] /proc/loadavg: 1.01 1.01 0.91 2/107 28684 /proc/meminfo: memFree=865260/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=841636 CPUtime=51.06 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 205504 0 0 0 5034 72 0 0 25 0 1 0 23217249 861835264 189251 1992294400 4194304 8395647 140736518229536 18446744073709551615 6696727 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 210409 189251 1129 1026 0 209379 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 841636 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28684 /proc/meminfo: memFree=850256/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=858376 CPUtime=102.25 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 209904 0 0 0 10150 75 0 0 25 0 1 0 23217249 878977024 193446 1992294400 4194304 8395647 140736518229536 18446744073709551615 6390530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 214594 193446 1590 1026 0 213564 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 858376 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28686 /proc/meminfo: memFree=814916/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=880356 CPUtime=162.22 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 220195 0 0 0 16140 82 0 0 25 0 1 0 23217249 901484544 201781 1992294400 4194304 8395647 140736518229536 18446744073709551615 6391404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 220089 201781 1089 1026 0 219059 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 880356 [startup+222.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28688 /proc/meminfo: memFree=801896/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=882100 CPUtime=222.2 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 223446 0 0 0 22134 86 0 0 25 0 1 0 23217249 903270400 204954 1992294400 4194304 8395647 140736518229536 18446744073709551615 6635633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 220525 204954 1011 1026 0 219495 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 882100 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28690 /proc/meminfo: memFree=801276/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=882100 CPUtime=282.18 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 223601 0 0 0 28129 89 0 0 25 0 1 0 23217249 903270400 205109 1992294400 4194304 8395647 140736518229536 18446744073709551615 6635667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 220525 205109 1011 1026 0 219495 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 882100 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28692 /proc/meminfo: memFree=801276/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=882100 CPUtime=342.15 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 223608 0 0 0 34122 93 0 0 25 0 1 0 23217249 903270400 205116 1992294400 4194304 8395647 140736518229536 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 220525 205116 1011 1026 0 219495 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 882100 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28692 /proc/meminfo: memFree=779700/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=887300 CPUtime=402.12 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 228988 0 0 0 40115 97 0 0 25 0 1 0 23217249 908595200 210249 1992294400 4194304 8395647 140736518229536 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 221825 210249 765 1026 0 220795 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 887300 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28694 /proc/meminfo: memFree=772384/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=887300 CPUtime=462.09 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 230812 0 0 0 46109 100 0 0 25 0 1 0 23217249 908595200 212072 1992294400 4194304 8395647 140736518229536 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 221825 212072 764 1026 0 220795 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 887300 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28696 /proc/meminfo: memFree=771516/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=902732 CPUtime=522.07 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 231178 0 0 0 52104 103 0 0 25 0 1 0 23217249 924397568 212438 1992294400 4194304 8395647 140736518229536 18446744073709551615 6390484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 225683 212438 902 1026 0 224653 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 902732 [startup+582.301 s] /proc/loadavg: 1.03 1.01 0.92 2/107 28698 /proc/meminfo: memFree=768664/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=913012 CPUtime=582.05 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 231836 0 0 0 58099 106 0 0 25 0 1 0 23217249 934924288 213096 1992294400 4194304 8395647 140736518229536 18446744073709551615 6390506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 228253 213096 902 1026 0 227223 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 913012 [startup+642.301 s] /proc/loadavg: 1.01 1.01 0.92 2/107 28700 /proc/meminfo: memFree=767672/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=913012 CPUtime=642.03 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 232080 0 0 0 64095 108 0 0 25 0 1 0 23217249 934924288 213340 1992294400 4194304 8395647 140736518229536 18446744073709551615 6723581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 228253 213340 902 1026 0 227223 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 913012 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=763580/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=924080 CPUtime=1121.81 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 243618 0 0 0 112047 134 0 0 25 0 1 0 23217249 946257920 214155 1992294400 4194304 8395647 140736518229536 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 231020 214155 828 1026 0 229990 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 924080 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28723 /proc/meminfo: memFree=788380/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=884876 CPUtime=1181.8 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 243799 0 0 0 118042 138 0 0 25 0 1 0 23217249 906113024 207855 1992294400 4194304 8395647 140736518229536 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 221219 207855 744 1026 0 220189 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 884876 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28725 /proc/meminfo: memFree=782924/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=903808 CPUtime=1241.77 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 245185 0 0 0 124037 140 0 0 25 0 1 0 23217249 925499392 209241 1992294400 4194304 8395647 140736518229536 18446744073709551615 6698222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 225952 209241 744 1026 0 224922 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 903808 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28725 /proc/meminfo: memFree=781808/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=903808 CPUtime=1301.76 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 245473 0 0 0 130035 141 0 0 25 0 1 0 23217249 925499392 209529 1992294400 4194304 8395647 140736518229536 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 225952 209529 744 1026 0 224922 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 903808 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28727 /proc/meminfo: memFree=778832/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1361.72 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 246210 0 0 0 136028 144 0 0 25 0 1 0 23217249 930463744 210266 1992294400 4194304 8395647 140736518229536 18446744073709551615 6390530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 210266 744 1026 0 226134 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 908656 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28729 /proc/meminfo: memFree=777468/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1421.7 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 246550 0 0 0 142023 147 0 0 25 0 1 0 23217249 930463744 210606 1992294400 4194304 8395647 140736518229536 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 210606 744 1026 0 226134 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 908656 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28731 /proc/meminfo: memFree=777096/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1481.67 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 246643 0 0 0 148018 149 0 0 25 0 1 0 23217249 930463744 210699 1992294400 4194304 8395647 140736518229536 18446744073709551615 6390464 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 210699 744 1026 0 226134 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 908656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28733 /proc/meminfo: memFree=776848/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1541.65 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 246708 0 0 0 154014 151 0 0 25 0 1 0 23217249 930463744 210764 1992294400 4194304 8395647 140736518229536 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 210764 744 1026 0 226134 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 908656 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28733 /proc/meminfo: memFree=776104/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1601.63 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 246866 0 0 0 160009 154 0 0 25 0 1 0 23217249 930463744 210922 1992294400 4194304 8395647 140736518229536 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 210922 744 1026 0 226134 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 908656 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28735 /proc/meminfo: memFree=775856/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1661.59 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 246940 0 0 0 166003 156 0 0 25 0 1 0 23217249 930463744 210996 1992294400 4194304 8395647 140736518229536 18446744073709551615 6635675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 210996 744 1026 0 226134 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 908656 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28737 /proc/meminfo: memFree=774988/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1721.56 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247135 0 0 0 171998 158 0 0 25 0 1 0 23217249 930463744 211189 1992294400 4194304 8395647 140736518229536 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 211189 745 1026 0 226134 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 908656 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773500/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1781.54 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247432 0 0 0 177993 161 0 0 25 0 1 0 23217249 930463744 211486 1992294400 4194304 8395647 140736518229536 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 211486 745 1026 0 226134 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 908656 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773376/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1784.74 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247458 0 0 0 178313 161 0 0 25 0 1 0 23217249 930463744 211512 1992294400 4194304 8395647 140736518229536 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 211512 745 1026 0 226134 0 Current children cumulated CPU time (s) 1784.74 Current children cumulated vsize (KiB) 908656 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773376/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1791.14 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247458 0 0 0 178953 161 0 0 25 0 1 0 23217249 930463744 211512 1992294400 4194304 8395647 140736518229536 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 211512 745 1026 0 226134 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 908656 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773128/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1794.35 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247535 0 0 0 179273 162 0 0 25 0 1 0 23217249 930463744 211589 1992294400 4194304 8395647 140736518229536 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 211589 745 1026 0 226134 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 908656 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773128/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1795.94 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247535 0 0 0 179432 162 0 0 25 0 1 0 23217249 930463744 211589 1992294400 4194304 8395647 140736518229536 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 211589 745 1026 0 226134 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 908656 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773004/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=908656 CPUtime=1796.74 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247560 0 0 0 179512 162 0 0 25 0 1 0 23217249 930463744 211596 1992294400 4194304 8395647 140736518229536 18446744073709551615 6345706 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 227164 211596 734 1026 0 226134 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 908656 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773004/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=731776 CPUtime=1797.14 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247560 0 0 0 179551 163 0 0 25 0 1 0 23217249 749338624 175229 1992294400 4194304 8395647 140736518229536 18446744073709551615 6345790 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 182944 175229 734 1026 0 181914 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 731776 [startup+1798 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28739 /proc/meminfo: memFree=773004/2059040 swapFree=4192956/4192956 [pid=28681] ppid=28679 vsize=308700 CPUtime=1797.24 /proc/28681/stat : 28681 (pbscip.linux.x8) R 28679 28681 28080 0 -1 4202496 247561 0 0 0 179556 168 0 0 25 0 1 0 23217249 316108800 62051 1992294400 4194304 8395647 140736518229536 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28681/statm: 77175 61539 616 1026 0 76145 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (KiB) 308700 Child status: 0 Real time (s): 1798.03 CPU time (s): 1797.27 CPU user time (s): 1795.56 CPU system time (s): 1.70874 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (KiB): 924080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.56 system time used= 1.70874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 247568 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 22490 runsolver used 2.94055 second user time and 8.5337 second system time The end
Begin job on node010 at 2010-07-08 02:47:21 IDJOB=2704180 IDBENCH=1387 IDSOLVER=1213 FILE ID=node010/2704180-1278550040 PBS_JOBID= 11239521 Free space on /tmp= 62484 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.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-2704180-1278550040/watcher-2704180-1278550040 -o /tmp/evaluation-result-2704180-1278550040/solver-2704180-1278550040 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704180-1278550040.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 513c9c3498927a8710f266699385db2b RANDOM SEED=1398171239 node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1620212 kB Buffers: 70704 kB Cached: 231788 kB SwapCached: 0 kB Active: 175708 kB Inactive: 186596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1620212 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 21624 kB Writeback: 0 kB AnonPages: 59676 kB Mapped: 14408 kB Slab: 54464 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181180 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= 62472 MiB End job on node010 at 2010-07-08 03:17:19