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 | ? | 1791.21 | 1791.7 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb |
MD5SUM | 02e31ca1ab9f95407d6e9ec422f4634a |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.03223 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9071 |
Total number of constraints | 25914 |
Number of constraints which are clauses | 25190 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 724 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 39 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 132 |
Number of bits of the biggest sum of numbers | 8 |
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-2704245-1278550207.opb> 0.29/0.38 c original problem has 9071 variables (9071 bin, 0 int, 0 impl, 0 cont) and 25914 constraints 0.29/0.38 c problem read 0.29/0.38 c No objective function, only one solution is needed. 0.29/0.38 c presolving settings loaded 0.49/0.52 c presolving: 0.89/0.97 c (round 1) 520 del vars, 292 del conss, 97 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 431849 impls, 0 clqs 0.89/0.99 c (round 2) 522 del vars, 1146 del conss, 99 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 431849 impls, 0 clqs 1.00/1.01 c (round 3) 528 del vars, 1159 del conss, 104 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 432102 impls, 0 clqs 1.00/1.02 c (round 4) 528 del vars, 1165 del conss, 105 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 432145 impls, 0 clqs 1.00/1.04 c (round 5) 530 del vars, 1168 del conss, 105 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 432227 impls, 0 clqs 1.19/1.21 c (round 6) 530 del vars, 1170 del conss, 105 chg bounds, 362 chg sides, 740 chg coeffs, 24744 upgd conss, 432227 impls, 0 clqs 1.19/1.29 c presolving (7 rounds): 1.19/1.29 c 530 deleted vars, 1170 deleted constraints, 105 tightened bounds, 0 added holes, 362 changed sides, 740 changed coefficients 1.19/1.29 c 432227 implications, 0 cliques 1.19/1.29 c presolved problem has 8541 variables (8541 bin, 0 int, 0 impl, 0 cont) and 24744 constraints 1.19/1.29 c 724 constraints of type <knapsack> 1.19/1.29 c 16018 constraints of type <setppc> 1.19/1.29 c 8002 constraints of type <logicor> 1.19/1.29 c transformed objective value is always integral (scale: 1) 1.19/1.29 c Presolving Time: 0.83 1.19/1.29 c - non default parameters ---------------------------------------------------------------------- 1.19/1.29 c # SCIP version 1.2.1.3 1.19/1.29 c 1.19/1.29 c # frequency for displaying node information lines 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 100] 1.19/1.29 c display/freq = 10000 1.19/1.29 c 1.19/1.29 c # maximal time in seconds to run 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.29 c limits/time = 1789.62 1.19/1.29 c 1.19/1.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.29 c limits/memory = 1620 1.19/1.29 c 1.19/1.29 c # solving stops, if the given number of solutions were found (-1: no limit) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.29 c limits/solutions = 1 1.19/1.29 c 1.19/1.29 c # maximal number of separation rounds per node (-1: unlimited) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 5] 1.19/1.29 c separating/maxrounds = 1 1.19/1.29 c 1.19/1.29 c # maximal number of separation rounds in the root node (-1: unlimited) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.29 c separating/maxroundsroot = 5 1.19/1.29 c 1.19/1.29 c # default clock type (1: CPU user seconds, 2: wall clock time) 1.19/1.29 c # [type: int, range: [1,2], default: 1] 1.19/1.29 c timing/clocktype = 2 1.19/1.29 c 1.19/1.29 c # should presolving try to simplify inequalities 1.19/1.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.29 c constraints/linear/simplifyinequalities = TRUE 1.19/1.29 c 1.19/1.29 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 1.19/1.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.29 c constraints/indicator/addCouplingCons = TRUE 1.19/1.29 c 1.19/1.29 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.19/1.29 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.19/1.29 c constraints/knapsack/disaggregation = FALSE 1.19/1.29 c 1.19/1.29 c # should presolving try to simplify knapsacks 1.19/1.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.29 c constraints/knapsack/simplifyinequalities = TRUE 1.19/1.29 c 1.19/1.29 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.29 c presolving/probing/maxrounds = 0 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.29 c heuristics/coefdiving/freq = -1 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.29 c heuristics/coefdiving/maxlpiterquot = 0.075 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/coefdiving/maxlpiterofs = 1500 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 30] 1.19/1.29 c heuristics/crossover/freq = -1 1.19/1.29 c 1.19/1.29 c # number of nodes added to the contingent of the total nodes 1.19/1.29 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.19/1.29 c heuristics/crossover/nodesofs = 750 1.19/1.29 c 1.19/1.29 c # number of nodes without incumbent change that heuristic should wait 1.19/1.29 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.19/1.29 c heuristics/crossover/nwaitingnodes = 100 1.19/1.29 c 1.19/1.29 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.19/1.29 c # [type: real, range: [0,1], default: 0.1] 1.19/1.29 c heuristics/crossover/nodesquot = 0.15 1.19/1.29 c 1.19/1.29 c # minimum percentage of integer variables that have to be fixed 1.19/1.29 c # [type: real, range: [0,1], default: 0.666] 1.19/1.29 c heuristics/crossover/minfixingrate = 0.5 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 20] 1.19/1.29 c heuristics/feaspump/freq = -1 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/feaspump/maxlpiterofs = 2000 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.29 c heuristics/fracdiving/freq = -1 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.29 c heuristics/fracdiving/maxlpiterquot = 0.075 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/fracdiving/maxlpiterofs = 1500 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.29 c heuristics/guideddiving/freq = -1 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.29 c heuristics/guideddiving/maxlpiterquot = 0.075 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/guideddiving/maxlpiterofs = 1500 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.29 c heuristics/intdiving/maxlpiterquot = 0.075 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.29 c heuristics/intshifting/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.29 c heuristics/linesearchdiving/freq = -1 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.29 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.29 c heuristics/nlp/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 20] 1.19/1.29 c heuristics/objpscostdiving/freq = -1 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to total iteration number 1.19/1.29 c # [type: real, range: [0,1], default: 0.01] 1.19/1.29 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.29 c heuristics/oneopt/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.29 c heuristics/pscostdiving/freq = -1 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.29 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/pscostdiving/maxlpiterofs = 1500 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 0] 1.19/1.29 c heuristics/rens/freq = -1 1.19/1.29 c 1.19/1.29 c # minimum percentage of integer variables that have to be fixable 1.19/1.29 c # [type: real, range: [0,1], default: 0.5] 1.19/1.29 c heuristics/rens/minfixingrate = 0.3 1.19/1.29 c 1.19/1.29 c # number of nodes added to the contingent of the total nodes 1.19/1.29 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.19/1.29 c heuristics/rens/nodesofs = 2000 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 20] 1.19/1.29 c heuristics/rootsoldiving/freq = -1 1.19/1.29 c 1.19/1.29 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.29 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.19/1.29 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.19/1.29 c 1.19/1.29 c # additional number of allowed LP iterations 1.19/1.29 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.29 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.29 c heuristics/rounding/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.29 c heuristics/shifting/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.29 c heuristics/simplerounding/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 0] 1.19/1.29 c heuristics/trivial/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.19/1.29 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.29 c heuristics/trysol/freq = -1 1.19/1.29 c 1.19/1.29 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.19/1.30 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.30 c heuristics/veclendiving/freq = -1 1.19/1.30 c 1.19/1.30 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.30 c heuristics/veclendiving/maxlpiterquot = 0.075 1.19/1.30 c 1.19/1.30 c # additional number of allowed LP iterations 1.19/1.30 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.30 c heuristics/veclendiving/maxlpiterofs = 1500 1.19/1.30 c 1.19/1.30 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.19/1.30 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.30 c heuristics/zirounding/freq = -1 1.19/1.30 c 1.19/1.30 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.19/1.30 c # [type: int, range: [-1,2147483647], default: 0] 1.19/1.30 c separating/cmir/freq = -1 1.19/1.30 c 1.19/1.30 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.19/1.30 c # [type: int, range: [-1,2147483647], default: 0] 1.19/1.30 c separating/flowcover/freq = -1 1.19/1.30 c 1.19/1.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.19/1.30 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.30 c separating/rapidlearning/freq = 0 1.19/1.30 c 1.19/1.30 c ----------------------------------------------------------------------------------------------- 1.19/1.30 c start solving 1.29/1.30 c 4.69/4.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.69/4.77 c 4.4s| 1 | 0 | 3151 | - | 58M| 0 |2098 |8541 | 24k|8541 | 24k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 11.89/11.90 c 11.5s| 1 | 0 | 5513 | - | 59M| 0 |2628 |8541 | 24k|8541 | 24k| 92 | 0 | 0 | 0.000000e+00 | -- | Inf 33.77/33.82 c 33.4s| 1 | 0 | 9120 | - | 59M| 0 |3246 |8541 | 24k|8541 | 24k| 239 | 0 | 0 | 0.000000e+00 | -- | Inf 48.77/48.88 c 48.5s| 1 | 0 | 12093 | - | 59M| 0 |3328 |8541 | 24k|8541 | 25k| 323 | 0 | 0 | 0.000000e+00 | -- | Inf 69.56/69.64 c 69.3s| 1 | 0 | 15726 | - | 59M| 0 |3373 |8541 | 24k|8541 | 25k| 416 | 0 | 0 | 0.000000e+00 | -- | Inf 99.06/99.19 c 98.8s| 1 | 0 | 23166 | - | 60M| 0 |3779 |8541 | 24k|8541 | 25k| 512 | 0 | 0 | 0.000000e+00 | -- | Inf 217.83/217.99 c 218s| 1 | 2 | 23166 | - | 60M| 0 |3779 |8541 | 24k|8541 | 25k| 512 | 0 | 29 | 0.000000e+00 | -- | Inf 1791.00/1791.51 c 1791.00/1791.51 c SCIP Status : solving was interrupted [time limit reached] 1791.00/1791.51 c Solving Time (sec) : 1791.12 1791.00/1791.51 c Solving Nodes : 648 1791.00/1791.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1791.00/1791.51 c Dual Bound : +0.00000000000000e+00 1791.00/1791.51 c Gap : infinite 1791.00/1791.51 s UNKNOWN 1791.00/1791.51 c SCIP Status : solving was interrupted [time limit reached] 1791.00/1791.51 c Solving Time : 1791.12 1791.00/1791.51 c Original Problem : 1791.00/1791.51 c Problem name : HOME/instance-2704245-1278550207.opb 1791.00/1791.51 c Variables : 9071 (9071 binary, 0 integer, 0 implicit integer, 0 continuous) 1791.00/1791.51 c Constraints : 25914 initial, 25914 maximal 1791.00/1791.51 c Presolved Problem : 1791.00/1791.51 c Problem name : t_HOME/instance-2704245-1278550207.opb 1791.00/1791.51 c Variables : 8541 (8541 binary, 0 integer, 0 implicit integer, 0 continuous) 1791.00/1791.51 c Constraints : 24744 initial, 25339 maximal 1791.00/1791.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1791.00/1791.51 c trivial : 0.01 1 0 0 0 0 0 0 0 1791.00/1791.51 c dualfix : 0.01 0 0 0 0 0 0 0 0 1791.00/1791.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1791.00/1791.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1791.00/1791.51 c implics : 0.09 0 421 0 0 0 0 0 0 1791.00/1791.51 c probing : 0.00 0 0 0 0 0 0 0 0 1791.00/1791.51 c knapsack : 0.01 0 0 0 0 0 0 0 0 1791.00/1791.51 c setppc : 0.04 0 0 0 0 0 0 0 0 1791.00/1791.51 c linear : 0.55 104 4 0 105 0 1170 362 740 1791.00/1791.51 c logicor : 0.02 0 0 0 0 0 0 0 0 1791.00/1791.51 c root node : - 0 - - 0 - - - - 1791.00/1791.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1791.00/1791.51 c integral : 0 0 0 485 0 0 8 0 0 962 1791.00/1791.51 c knapsack : 724 5 7448 0 0 21 874 1005 0 0 1791.00/1791.51 c setppc : 16018 5 7427 0 0 108 86580 0 0 0 1791.00/1791.51 c logicor : 8002+ 5 6289 0 0 104 45419 0 0 0 1791.00/1791.51 c countsols : 0 0 0 0 0 0 0 0 0 0 1791.00/1791.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1791.00/1791.51 c integral : 996.47 0.00 0.00 996.47 0.00 1791.00/1791.51 c knapsack : 0.37 0.03 0.34 0.00 0.00 1791.00/1791.51 c setppc : 2.64 0.01 2.63 0.00 0.00 1791.00/1791.51 c logicor : 0.47 0.01 0.46 0.00 0.00 1791.00/1791.51 c countsols : 0.00 0.00 0.00 0.00 0.00 1791.00/1791.51 c Propagators : Time Calls Cutoffs DomReds 1791.00/1791.51 c vbounds : 0.00 1 0 0 1791.00/1791.51 c rootredcost : 0.00 0 0 0 1791.00/1791.51 c pseudoobj : 0.00 0 0 0 1791.00/1791.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1791.00/1791.51 c propagation : 0.10 233 217 1167 30.4 17 20.6 - 1791.00/1791.51 c infeasible LP : 0.19 31 31 208 26.2 10 17.2 0 1791.00/1791.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1791.00/1791.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1791.00/1791.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1791.00/1791.51 c applied globally : - - - 767 21.5 - - - 1791.00/1791.51 c applied locally : - - - 0 0.0 - - - 1791.00/1791.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1791.00/1791.51 c cut pool : 0.00 4 - - 215 - (maximal pool size: 1707) 1791.00/1791.51 c redcost : 0.57 485 0 0 0 0 1791.00/1791.51 c impliedbounds : 0.05 5 0 0 0 0 1791.00/1791.51 c intobj : 0.00 0 0 0 0 0 1791.00/1791.51 c cgmip : 0.00 0 0 0 0 0 1791.00/1791.51 c gomory : 15.90 5 0 0 2500 0 1791.00/1791.51 c strongcg : 11.72 5 0 0 2500 0 1791.00/1791.51 c cmir : 0.00 0 0 0 0 0 1791.00/1791.51 c flowcover : 0.00 0 0 0 0 0 1791.00/1791.51 c clique : 0.82 5 0 0 44 0 1791.00/1791.51 c zerohalf : 0.00 0 0 0 0 0 1791.00/1791.51 c mcf : 0.15 1 0 0 0 0 1791.00/1791.51 c rapidlearning : 0.00 0 0 0 0 0 1791.00/1791.51 c Pricers : Time Calls Vars 1791.00/1791.51 c problem variables: 0.00 0 0 1791.00/1791.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1791.00/1791.51 c relpscost : 996.47 485 0 8 0 0 962 1791.00/1791.51 c pscost : 0.00 0 0 0 0 0 0 1791.00/1791.51 c inference : 0.00 0 0 0 0 0 0 1791.00/1791.51 c mostinf : 0.00 0 0 0 0 0 0 1791.00/1791.51 c leastinf : 0.00 0 0 0 0 0 0 1791.00/1791.51 c fullstrong : 0.00 0 0 0 0 0 0 1791.00/1791.51 c allfullstrong : 0.00 0 0 0 0 0 0 1791.00/1791.51 c random : 0.00 0 0 0 0 0 0 1791.00/1791.51 c Primal Heuristics : Time Calls Found 1791.00/1791.51 c LP solutions : 0.00 - 0 1791.00/1791.51 c pseudo solutions : 0.00 - 0 1791.00/1791.51 c trivial : 0.02 1 0 1791.00/1791.51 c simplerounding : 0.00 0 0 1791.00/1791.51 c zirounding : 0.00 0 0 1791.00/1791.51 c rounding : 0.00 0 0 1791.00/1791.51 c shifting : 0.00 0 0 1791.00/1791.51 c intshifting : 0.00 0 0 1791.00/1791.51 c oneopt : 0.00 0 0 1791.00/1791.51 c twoopt : 0.00 0 0 1791.00/1791.51 c fixandinfer : 0.00 0 0 1791.00/1791.51 c feaspump : 0.00 0 0 1791.00/1791.51 c coefdiving : 0.00 0 0 1791.00/1791.51 c pscostdiving : 0.00 0 0 1791.00/1791.51 c fracdiving : 0.00 0 0 1791.00/1791.51 c veclendiving : 0.00 0 0 1791.00/1791.51 c intdiving : 0.00 0 0 1791.00/1791.51 c actconsdiving : 0.00 0 0 1791.00/1791.51 c objpscostdiving : 0.00 0 0 1791.00/1791.51 c rootsoldiving : 0.00 0 0 1791.00/1791.51 c linesearchdiving : 0.00 0 0 1791.00/1791.51 c guideddiving : 0.00 0 0 1791.00/1791.51 c octane : 0.00 0 0 1791.00/1791.51 c rens : 0.00 0 0 1791.00/1791.51 c rins : 0.00 0 0 1791.00/1791.51 c localbranching : 0.00 0 0 1791.00/1791.51 c mutation : 0.00 0 0 1791.00/1791.51 c crossover : 0.00 0 0 1791.00/1791.51 c dins : 0.00 0 0 1791.00/1791.51 c undercover : 0.00 0 0 1791.00/1791.51 c nlp : 0.00 0 0 1791.00/1791.51 c trysol : 0.00 0 0 1791.00/1791.51 c LP : Time Calls Iterations Iter/call Iter/sec 1791.00/1791.51 c primal LP : 0.02 0 0 0.00 0.00 1791.00/1791.51 c dual LP : 752.90 520 247795 476.53 329.12 1791.00/1791.51 c lex dual LP : 0.00 0 0 0.00 - 1791.00/1791.51 c barrier LP : 0.00 0 0 0.00 - 1791.00/1791.51 c diving/probing LP: 0.00 0 0 0.00 - 1791.00/1791.51 c strong branching : 995.92 311 254879 819.55 255.92 1791.00/1791.51 c (at root node) : - 29 28748 991.31 - 1791.00/1791.51 c conflict analysis: 0.00 0 0 0.00 - 1791.00/1791.51 c B&B Tree : 1791.00/1791.51 c number of runs : 1 1791.00/1791.51 c nodes : 648 1791.00/1791.51 c nodes (total) : 648 1791.00/1791.51 c nodes left : 55 1791.00/1791.51 c max depth : 113 1791.00/1791.51 c max depth (total): 113 1791.00/1791.51 c backtracks : 126 (19.4%) 1791.00/1791.51 c delayed cutoffs : 260 1791.00/1791.51 c repropagations : 817 (42041 domain reductions, 97 cutoffs) 1791.00/1791.51 c avg switch length: 4.25 1791.00/1791.51 c switching time : 1.27 1791.00/1791.51 c Solution : 1791.00/1791.51 c Solutions found : 0 (0 improvements) 1791.00/1791.51 c Primal Bound : - 1791.00/1791.51 c Dual Bound : +0.00000000000000e+00 1791.00/1791.51 c Gap : infinite 1791.00/1791.51 c Root Dual Bound : +0.00000000000000e+00 1791.00/1791.51 c Root Iterations : 23166 1791.10/1791.70 c Time complete: 1791.21.
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-2704245-1278550207/watcher-2704245-1278550207 -o /tmp/evaluation-result-2704245-1278550207/solver-2704245-1278550207 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704245-1278550207.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.85 1.69 1.22 3/106 31104 /proc/meminfo: memFree=1769924/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=7904 CPUtime=0 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 1109 0 0 0 0 0 0 0 25 0 1 0 23229143 8093696 1021 1992294400 4194304 8395647 140734701170048 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31104/statm: 1976 1029 365 1026 0 946 0 [startup+0.074561 s] /proc/loadavg: 1.85 1.69 1.22 3/106 31104 /proc/meminfo: memFree=1769924/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=13348 CPUtime=0.06 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 2620 0 0 0 6 0 0 0 25 0 1 0 23229143 13668352 2532 1992294400 4194304 8395647 140734701170048 18446744073709551615 7361902 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31104/statm: 3337 2532 390 1026 0 2307 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13348 [startup+0.101564 s] /proc/loadavg: 1.85 1.69 1.22 3/106 31104 /proc/meminfo: memFree=1769924/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=16384 CPUtime=0.09 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 3367 0 0 0 8 1 0 0 25 0 1 0 23229143 16777216 3279 1992294400 4194304 8395647 140734701170048 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31104/statm: 4096 3279 390 1026 0 3066 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16384 [startup+0.300584 s] /proc/loadavg: 1.85 1.69 1.22 3/106 31104 /proc/meminfo: memFree=1769924/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=25284 CPUtime=0.29 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 5593 0 0 0 27 2 0 0 25 0 1 0 23229143 25890816 5505 1992294400 4194304 8395647 140734701170048 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31104/statm: 6321 5505 390 1026 0 5291 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25284 [startup+0.700625 s] /proc/loadavg: 1.85 1.69 1.22 3/106 31104 /proc/meminfo: memFree=1769924/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=66824 CPUtime=0.69 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 15917 0 0 0 64 5 0 0 25 0 1 0 23229143 68427776 15475 1992294400 4194304 8395647 140734701170048 18446744073709551615 5042729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 16706 15475 475 1026 0 15676 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 66824 [startup+1.50071 s] /proc/loadavg: 1.78 1.68 1.22 2/107 31105 /proc/meminfo: memFree=1699236/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=117968 CPUtime=1.49 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 29465 0 0 0 139 10 0 0 25 0 1 0 23229143 120799232 27794 1992294400 4194304 8395647 140734701170048 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 29492 27794 625 1026 0 28462 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117968 [startup+3.10187 s] /proc/loadavg: 1.78 1.68 1.22 2/107 31105 /proc/meminfo: memFree=1657448/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=125728 CPUtime=3.09 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 31090 0 0 0 298 11 0 0 25 0 1 0 23229143 128745472 29262 1992294400 4194304 8395647 140734701170048 18446744073709551615 6698444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 31432 29262 654 1026 0 30402 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 125728 [startup+6.30121 s] /proc/loadavg: 1.88 1.70 1.23 2/107 31105 /proc/meminfo: memFree=1653108/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=128840 CPUtime=6.29 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 32275 0 0 0 616 13 0 0 25 0 1 0 23229143 131932160 30368 1992294400 4194304 8395647 140734701170048 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 32210 30368 678 1026 0 31180 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 128840 [startup+12.7019 s] /proc/loadavg: 1.97 1.72 1.24 2/107 31105 /proc/meminfo: memFree=1646288/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=132028 CPUtime=12.69 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 33283 0 0 0 1254 15 0 0 25 0 1 0 23229143 135196672 31321 1992294400 4194304 8395647 140734701170048 18446744073709551615 6440894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 33007 31321 629 1026 0 31977 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 132028 [startup+25.5012 s] /proc/loadavg: 1.97 1.73 1.25 2/107 31105 /proc/meminfo: memFree=1644552/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=133744 CPUtime=25.48 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 33728 0 0 0 2528 20 0 0 25 0 1 0 23229143 136953856 31760 1992294400 4194304 8395647 140734701170048 18446744073709551615 7382041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 33436 31760 623 1026 0 32406 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 133744 [startup+51.1008 s] /proc/loadavg: 1.59 1.66 1.24 2/107 31107 /proc/meminfo: memFree=1638476/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=138400 CPUtime=51.07 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 35639 0 0 0 5078 29 0 0 25 0 1 0 23229143 141721600 33321 1992294400 4194304 8395647 140734701170048 18446744073709551615 6440894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34600 33321 629 1026 0 33570 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 138400 [startup+102.308 s] /proc/loadavg: 1.25 1.55 1.22 2/107 31107 /proc/meminfo: memFree=1638352/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=138400 CPUtime=102.26 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 35686 0 0 0 10185 41 0 0 25 0 1 0 23229143 141721600 33359 1992294400 4194304 8395647 140734701170048 18446744073709551615 6700648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34600 33359 622 1026 0 33570 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 138400 [startup+162.301 s] /proc/loadavg: 1.09 1.45 1.20 2/107 31109 /proc/meminfo: memFree=1640956/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=138484 CPUtime=162.23 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 36458 0 0 0 16168 55 0 0 25 0 1 0 23229143 141807616 32705 1992294400 4194304 8395647 140734701170048 18446744073709551615 6699136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34621 32705 622 1026 0 33591 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 138484 [startup+222.301 s] /proc/loadavg: 1.03 1.37 1.19 2/107 31111 /proc/meminfo: memFree=1638104/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=139520 CPUtime=222.22 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38555 0 0 0 22152 70 0 0 25 0 1 0 23229143 142868480 33386 1992294400 4194304 8395647 140734701170048 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34880 33386 623 1026 0 33850 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 139520 [startup+282.301 s] /proc/loadavg: 1.01 1.30 1.17 2/107 31113 /proc/meminfo: memFree=1638104/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=139520 CPUtime=282.21 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38556 0 0 0 28137 84 0 0 25 0 1 0 23229143 142868480 33387 1992294400 4194304 8395647 140734701170048 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34880 33387 623 1026 0 33850 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 139520 [startup+342.301 s] /proc/loadavg: 1.00 1.24 1.16 2/107 31115 /proc/meminfo: memFree=1638104/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=139520 CPUtime=342.19 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38556 0 0 0 34122 97 0 0 25 0 1 0 23229143 142868480 33387 1992294400 4194304 8395647 140734701170048 18446744073709551615 6696954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34880 33387 623 1026 0 33850 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 139520 [startup+402.301 s] /proc/loadavg: 1.00 1.19 1.15 2/107 31115 /proc/meminfo: memFree=1637484/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=139520 CPUtime=402.18 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38735 0 0 0 40107 111 0 0 25 0 1 0 23229143 142868480 33566 1992294400 4194304 8395647 140734701170048 18446744073709551615 6670318 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34880 33566 623 1026 0 33850 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 139520 [startup+462.301 s] /proc/loadavg: 1.00 1.16 1.14 2/107 31117 /proc/meminfo: memFree=1637360/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=139520 CPUtime=462.17 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38740 0 0 0 46092 125 0 0 25 0 1 0 23229143 142868480 33571 1992294400 4194304 8395647 140734701170048 18446744073709551615 6587074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 34880 33571 623 1026 0 33850 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 139520 [startup+522.302 s] /proc/loadavg: 1.00 1.12 1.13 2/107 31119 /proc/meminfo: memFree=1636492/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=140072 CPUtime=522.15 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38938 0 0 0 52075 140 0 0 25 0 1 0 23229143 143433728 33769 1992294400 4194304 8395647 140734701170048 18446744073709551615 6698028 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 35018 33769 627 1026 0 33988 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 140072 [startup+582.301 s] /proc/loadavg: 1.00 1.10 1.11 2/107 31121 /proc/meminfo: memFree=1636492/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=140072 CPUtime=582.13 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38938 0 0 0 58057 156 0 0 25 0 1 0 23229143 143433728 33769 1992294400 4194304 8395647 140734701170048 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 35018 33769 627 1026 0 33988 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 140072 [startup+642.301 s] /proc/loadavg: 1.00 1.08 1.10 2/107 31123 /proc/meminfo: memFree=1636368/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=140072 CPUtime=642.12 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 38938 0 0 0 64041 171 0 0 25 0 1 0 23229143 143433728 33769 1992294400 4194304 8395647 140734701170048 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 35018 33769 627 1026 0 33988 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 140072 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1634944/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=142376 CPUtime=1061.99 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 42044 0 0 0 105918 281 0 0 25 0 1 0 23229143 145793024 33969 1992294400 4194304 8395647 140734701170048 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 35594 33969 628 1026 0 34564 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 142376 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 31144 /proc/meminfo: memFree=1631968/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=144524 CPUtime=1121.98 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 42835 0 0 0 111901 297 0 0 25 0 1 0 23229143 147992576 34714 1992294400 4194304 8395647 140734701170048 18446744073709551615 6697268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 36131 34714 628 1026 0 35101 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 144524 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 31146 /proc/meminfo: memFree=1631968/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=144524 CPUtime=1181.96 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 42836 0 0 0 117887 309 0 0 25 0 1 0 23229143 147992576 34715 1992294400 4194304 8395647 140734701170048 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 36131 34715 629 1026 0 35101 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 144524 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 31146 /proc/meminfo: memFree=1634820/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=144536 CPUtime=1241.94 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 46181 0 0 0 123869 325 0 0 25 0 1 0 23229143 148004864 34035 1992294400 4194304 8395647 140734701170048 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 36134 34035 629 1026 0 35104 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 144536 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 31148 /proc/meminfo: memFree=1630604/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=147224 CPUtime=1301.94 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 52629 0 0 0 129850 344 0 0 25 0 1 0 23229143 150757376 35019 1992294400 4194304 8395647 140734701170048 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 36806 35019 629 1026 0 35776 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 147224 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 31150 /proc/meminfo: memFree=1624156/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=152228 CPUtime=1361.92 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 54429 0 0 0 135831 361 0 0 25 0 1 0 23229143 155881472 36648 1992294400 4194304 8395647 140734701170048 18446744073709551615 6585966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 38057 36648 629 1026 0 37027 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 152228 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.02 2/107 31152 /proc/meminfo: memFree=1624032/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=152228 CPUtime=1421.91 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 54433 0 0 0 141815 376 0 0 25 0 1 0 23229143 155881472 36652 1992294400 4194304 8395647 140734701170048 18446744073709551615 6390512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 38057 36652 629 1026 0 37027 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 152228 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 31154 /proc/meminfo: memFree=1623784/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=153912 CPUtime=1481.88 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 58685 0 0 0 147794 394 0 0 25 0 1 0 23229143 157605888 36738 1992294400 4194304 8395647 140734701170048 18446744073709551615 6669594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 38478 36738 629 1026 0 37448 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 153912 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 31154 /proc/meminfo: memFree=1622172/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=154488 CPUtime=1541.86 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 59150 0 0 0 153776 410 0 0 25 0 1 0 23229143 158195712 37146 1992294400 4194304 8395647 140734701170048 18446744073709551615 6669605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 38622 37146 629 1026 0 37592 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 154488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31156 /proc/meminfo: memFree=1621180/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=154972 CPUtime=1601.85 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 59345 0 0 0 159760 425 0 0 25 0 1 0 23229143 158691328 37341 1992294400 4194304 8395647 140734701170048 18446744073709551615 6701805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 38743 37341 629 1026 0 37713 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 154972 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31158 /proc/meminfo: memFree=1623412/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=156416 CPUtime=1661.84 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 60325 0 0 0 165743 441 0 0 25 0 1 0 23229143 160169984 36770 1992294400 4194304 8395647 140734701170048 18446744073709551615 6636379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39104 36770 629 1026 0 38074 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 156416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31160 /proc/meminfo: memFree=1620808/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=157072 CPUtime=1721.82 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 63299 0 0 0 171721 461 0 0 25 0 1 0 23229143 160841728 37406 1992294400 4194304 8395647 140734701170048 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39268 37406 629 1026 0 38238 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 157072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31162 /proc/meminfo: memFree=1618452/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=157988 CPUtime=1781.81 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 65202 0 0 0 177703 478 0 0 25 0 1 0 23229143 161779712 38087 1992294400 4194304 8395647 140734701170048 18446744073709551615 6752903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39497 38087 748 1026 0 38467 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 157988 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31162 /proc/meminfo: memFree=1618452/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=157988 CPUtime=1785 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 65207 0 0 0 178022 478 0 0 25 0 1 0 23229143 161779712 38092 1992294400 4194304 8395647 140734701170048 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39497 38092 748 1026 0 38467 0 Current children cumulated CPU time (s) 1785 Current children cumulated vsize (KiB) 157988 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31162 /proc/meminfo: memFree=1618452/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=157988 CPUtime=1788.2 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 65207 0 0 0 178341 479 0 0 25 0 1 0 23229143 161779712 38092 1992294400 4194304 8395647 140734701170048 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39497 38092 748 1026 0 38467 0 Current children cumulated CPU time (s) 1788.2 Current children cumulated vsize (KiB) 157988 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31162 /proc/meminfo: memFree=1618452/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=157988 CPUtime=1789.8 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 65207 0 0 0 178500 480 0 0 25 0 1 0 23229143 161779712 38092 1992294400 4194304 8395647 140734701170048 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39497 38092 748 1026 0 38467 0 Current children cumulated CPU time (s) 1789.8 Current children cumulated vsize (KiB) 157988 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 3/107 31162 /proc/meminfo: memFree=1618452/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=157988 CPUtime=1790.6 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 65207 0 0 0 178580 480 0 0 25 0 1 0 23229143 161779712 38092 1992294400 4194304 8395647 140734701170048 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39497 38092 748 1026 0 38467 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (KiB) 157988 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 1.00 3/107 31162 /proc/meminfo: memFree=1618452/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=157988 CPUtime=1791 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202496 65207 0 0 0 178620 480 0 0 25 0 1 0 23229143 161779712 38092 1992294400 4194304 8395647 140734701170048 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31104/statm: 39497 38092 748 1026 0 38467 0 Current children cumulated CPU time (s) 1791 Current children cumulated vsize (KiB) 157988 [startup+1791.7 s] /proc/loadavg: 1.00 1.00 1.00 3/107 31162 /proc/meminfo: memFree=1618452/2059040 swapFree=4139656/4192956 [pid=31104] ppid=31102 vsize=0 CPUtime=1791.21 /proc/31104/stat : 31104 (pbscip.linux.x8) R 31102 31104 30472 0 -1 4202500 65220 0 0 0 178639 482 0 0 18 0 1 0 23229143 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/31104/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1791.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1791.7 CPU time (s): 1791.21 CPU user time (s): 1786.39 CPU system time (s): 4.82327 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 157988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.39 system time used= 4.82327 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65220 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4809 runsolver used 3.03354 second user time and 8.38472 second system time The end
Begin job on node083 at 2010-07-08 02:50:08 IDJOB=2704245 IDBENCH=1454 IDSOLVER=1213 FILE ID=node083/2704245-1278550207 PBS_JOBID= 11239480 Free space on /tmp= 62540 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/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.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-2704245-1278550207/watcher-2704245-1278550207 -o /tmp/evaluation-result-2704245-1278550207/solver-2704245-1278550207 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704245-1278550207.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 02e31ca1ab9f95407d6e9ec422f4634a RANDOM SEED=554811042 node083.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.249 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.49 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.249 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.80 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1770576 kB Buffers: 40508 kB Cached: 149972 kB SwapCached: 6396 kB Active: 46580 kB Inactive: 157020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1770576 kB SwapTotal: 4192956 kB SwapFree: 4139656 kB Dirty: 11084 kB Writeback: 0 kB AnonPages: 11420 kB Mapped: 11800 kB Slab: 62784 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183076 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= 62532 MiB End job on node083 at 2010-07-08 03:20:00