Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1797.32 | 1797.72 |
Name | /PURE-SAT/SAT09/APPLICATIONS/ bioinfo/q_query_3_l39_lambda.opb |
MD5SUM | 62e0b30e4c26f85cc5b39f61cab95592 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 34.4928 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 27735 |
Total number of constraints | 136449 |
Number of constraints which are clauses | 136449 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 9 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 10 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.99/2.09 c SCIP version 1.1.0.7 1.99/2.09 c LP-Solver SoPlex 1.4.1 1.99/2.09 c user parameter file <scip.set> not found - using default parameters 1.99/2.09 c read problem <HOME/instance-1885627-1245268073.opb> 1.99/2.09 c original problem has 27735 variables (27735 bin, 0 int, 0 impl, 0 cont) and 136449 constraints 2.59/2.61 c No objective function, only one solution is needed. 2.59/2.61 c start presolving problem 2.59/2.61 c presolving: 3.39/3.44 c (round 1) 6832 del vars, 9464 del conss, 4320 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 320405 impls, 0 clqs 3.79/3.87 c (round 2) 10041 del vars, 21613 del conss, 4528 chg bounds, 36 chg sides, 121 chg coeffs, 0 upgd conss, 375550 impls, 0 clqs 4.30/4.39 c (round 3) 12480 del vars, 35360 del conss, 4641 chg bounds, 47 chg sides, 139 chg coeffs, 0 upgd conss, 592002 impls, 0 clqs 4.69/4.78 c (round 4) 13852 del vars, 47472 del conss, 4712 chg bounds, 47 chg sides, 141 chg coeffs, 0 upgd conss, 739534 impls, 0 clqs 4.89/4.96 c (round 5) 13994 del vars, 55510 del conss, 4756 chg bounds, 47 chg sides, 141 chg coeffs, 0 upgd conss, 751330 impls, 0 clqs 4.99/5.04 c (round 6) 14010 del vars, 56266 del conss, 4769 chg bounds, 48 chg sides, 145 chg coeffs, 0 upgd conss, 752135 impls, 0 clqs 5.09/5.11 c (round 7) 14014 del vars, 56420 del conss, 4771 chg bounds, 48 chg sides, 145 chg coeffs, 0 upgd conss, 752373 impls, 0 clqs 5.20/5.24 c (round 8) 14015 del vars, 56430 del conss, 4772 chg bounds, 48 chg sides, 145 chg coeffs, 0 upgd conss, 752387 impls, 0 clqs 5.99/6.03 c (round 9) 14015 del vars, 62349 del conss, 4772 chg bounds, 51 chg sides, 145 chg coeffs, 74100 upgd conss, 752387 impls, 0 clqs 6.09/6.18 c presolving (10 rounds): 6.09/6.18 c 14015 deleted vars, 62349 deleted constraints, 4772 tightened bounds, 0 added holes, 51 changed sides, 145 changed coefficients 6.09/6.18 c 752387 implications, 0 cliques 6.09/6.18 c presolved problem has 13720 variables (13720 bin, 0 int, 0 impl, 0 cont) and 74100 constraints 6.09/6.18 c 74100 constraints of type <logicor> 6.09/6.18 c transformed objective value is always integral (scale: 1) 6.09/6.18 c Presolving Time: 3.04 6.09/6.18 c PURESAT 6.09/6.18 c ----------------------------------------------------------------------------------------------- 6.09/6.18 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 0] 6.09/6.18 c separating/flowcover/freq = c -1 6.09/6.18 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 0] 6.09/6.18 c separating/cmir/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/veclendiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.09/6.18 c heuristics/veclendiving/maxlpiterquot = c 0.075 6.09/6.18 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/veclendiving/freq = c -1 6.09/6.18 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 1] 6.09/6.18 c heuristics/simplerounding/freq = c -1 6.09/6.18 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/shifting/freq = c -1 6.09/6.18 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 1] 6.09/6.18 c heuristics/rounding/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/rootsoldiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 6.09/6.18 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 6.09/6.18 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 20] 6.09/6.18 c heuristics/rootsoldiving/freq = c -1 6.09/6.18 c # number of nodes added to the contingent of the total nodes 6.09/6.18 c # [type: longint, range: [0,9223372036854775807], default: 500] 6.09/6.18 c heuristics/rens/nodesofs = c 2000 6.09/6.18 c # minimum percentage of integer variables that have to be fixable 6.09/6.18 c # [type: real, range: [0,1], default: 0.5] 6.09/6.18 c heuristics/rens/minfixingrate = c 0.3 6.09/6.18 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 0] 6.09/6.18 c heuristics/rens/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/pscostdiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.09/6.18 c heuristics/pscostdiving/maxlpiterquot = c 0.075 6.09/6.18 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/pscostdiving/freq = c -1 6.09/6.18 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 1] 6.09/6.18 c heuristics/oneopt/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/objpscostdiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to total iteration number 6.09/6.18 c # [type: real, range: [0,1], default: 0.01] 6.09/6.18 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 6.09/6.18 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 20] 6.09/6.18 c heuristics/objpscostdiving/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/linesearchdiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.09/6.18 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 6.09/6.18 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/linesearchdiving/freq = c -1 6.09/6.18 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/intshifting/freq = c -1 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.09/6.18 c heuristics/intdiving/maxlpiterquot = c 0.075 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/guideddiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.09/6.18 c heuristics/guideddiving/maxlpiterquot = c 0.075 6.09/6.18 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/guideddiving/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/fracdiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.09/6.18 c heuristics/fracdiving/maxlpiterquot = c 0.075 6.09/6.18 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/fracdiving/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/feaspump/maxlpiterofs = c 2000 6.09/6.18 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 20] 6.09/6.18 c heuristics/feaspump/freq = c -1 6.09/6.18 c # minimum percentage of integer variables that have to be fixed 6.09/6.18 c # [type: real, range: [0,1], default: 0.666] 6.09/6.18 c heuristics/crossover/minfixingrate = c 0.5 6.09/6.18 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 6.09/6.18 c # [type: real, range: [0,1], default: 0.1] 6.09/6.18 c heuristics/crossover/nodesquot = c 0.15 6.09/6.18 c # number of nodes without incumbent change that heuristic should wait 6.09/6.18 c # [type: longint, range: [0,9223372036854775807], default: 200] 6.09/6.18 c heuristics/crossover/nwaitingnodes = c 100 6.09/6.18 c # number of nodes added to the contingent of the total nodes 6.09/6.18 c # [type: longint, range: [0,9223372036854775807], default: 500] 6.09/6.18 c heuristics/crossover/nodesofs = c 750 6.09/6.18 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 30] 6.09/6.18 c heuristics/crossover/freq = c -1 6.09/6.18 c # additional number of allowed LP iterations 6.09/6.18 c # [type: int, range: [0,2147483647], default: 1000] 6.09/6.18 c heuristics/coefdiving/maxlpiterofs = c 1500 6.09/6.18 c # maximal fraction of diving LP iterations compared to node LP iterations 6.09/6.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 6.09/6.18 c heuristics/coefdiving/maxlpiterquot = c 0.075 6.09/6.18 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: 10] 6.09/6.18 c heuristics/coefdiving/freq = c -1 6.09/6.18 c # priority of node selection rule <dfs> in standard mode 6.09/6.18 c # [type: int, range: [-536870912,536870911], default: 0] 6.09/6.18 c nodeselection/dfs/stdpriority = c 1000000 6.09/6.18 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 6.09/6.18 c # [type: int, range: [-1,2147483647], default: -1] 6.09/6.18 c presolving/probing/maxrounds = c 0 6.09/6.18 c # should presolving try to simplify knapsacks 6.09/6.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.09/6.18 c constraints/knapsack/simplifyinequalities = c TRUE 6.09/6.18 c # should disaggregation of knapsack constraints be allowed in preprocessing? 6.09/6.18 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 6.09/6.18 c constraints/knapsack/disaggregation = c FALSE 6.09/6.18 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 6.19/6.20 c # [type: int, range: [-1,2147483647], default: -1] 6.19/6.20 c constraints/knapsack/maxnumcardlift = c 0 6.19/6.20 c # should presolving try to simplify inequalities 6.19/6.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.19/6.20 c constraints/linear/simplifyinequalities = c TRUE 6.19/6.20 c # maximal number of separation rounds in the root node (-1: unlimited) 6.19/6.20 c # [type: int, range: [-1,2147483647], default: -1] 6.19/6.20 c separating/maxroundsroot = c 5 6.19/6.20 c # maximal number of separation rounds per node (-1: unlimited) 6.19/6.20 c # [type: int, range: [-1,2147483647], default: 5] 6.19/6.20 c separating/maxrounds = c 1 6.19/6.20 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing) 6.19/6.20 c # [type: char, range: {lafpsqd}, default: l] 6.19/6.20 c lp/pricing = c a 6.19/6.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 6.19/6.20 c # [type: int, range: [-1,2147483647], default: 1] 6.19/6.20 c lp/solvefreq = c 0 6.19/6.20 c # solving stops, if the given number of solutions were found (-1: no limit) 6.19/6.20 c # [type: int, range: [-1,2147483647], default: -1] 6.19/6.20 c limits/solutions = c 1 6.19/6.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 6.19/6.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.19/6.20 c limits/memory = c 1620 6.19/6.20 c # maximal time in seconds to run 6.19/6.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.19/6.20 c limits/time = c 1791 6.19/6.20 c # frequency for displaying node information lines 6.19/6.20 c # [type: int, range: [-1,2147483647], default: 100] 6.19/6.20 c display/freq = c 10000 6.19/6.20 c # should enforcement of pseudo solution be disabled? 6.19/6.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.19/6.20 c constraints/disableenfops = c TRUE 6.19/6.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints) 6.19/6.20 c # [type: int, range: [-1,2147483647], default: 0] 6.19/6.20 c constraints/agelimit = c 1 6.19/6.20 c # should binary conflicts be preferred? 6.19/6.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.19/6.20 c conflict/preferbinary = c TRUE 6.19/6.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint) 6.19/6.20 c # [type: int, range: [-1,2147483647], default: -1] 6.19/6.20 c conflict/interconss = c 0 6.19/6.20 c ----------------------------------------------------------------------------------------------- 6.19/6.20 c start solving problem 6.19/6.20 c 21.89/21.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 21.89/21.94 c 19.0s| 1 | 0 | 5639 | 168M| 0 |2212 | 13k| 74k| 74k| 13k| 74k| 0 | 0 | 0 | 1.066700e+04 | -- | Inf 28.68/28.72 c 25.7s| 1 | 0 | 6483 | 168M| 0 |2285 | 13k| 74k| 74k| 13k| 74k| 20 | 0 | 0 | 1.068450e+04 | -- | Inf 44.98/45.04 c 42.0s| 1 | 0 | 8574 | 168M| 0 |2485 | 13k| 74k| 74k| 13k| 74k| 40 | 0 | 0 | 1.069200e+04 | -- | Inf 59.76/59.82 c 56.8s| 1 | 0 | 10258 | 168M| 0 |2553 | 13k| 74k| 74k| 13k| 74k| 58 | 0 | 0 | 1.069650e+04 | -- | Inf 70.67/70.71 c 67.6s| 1 | 0 | 11219 | 168M| 0 |2510 | 13k| 74k| 74k| 13k| 74k| 72 | 0 | 0 | 1.070350e+04 | -- | Inf 119.75/119.83 c 117s| 1 | 0 | 16072 | 169M| 0 |2527 | 13k| 74k| 74k| 13k| 74k| 108 | 0 | 0 | 1.072675e+04 | -- | Inf 252.22/252.34 c 249s| 1 | 2 | 16072 | 169M| 0 |2527 | 13k| 74k| 74k| 13k| 74k| 108 | 0 | 18 | 1.072675e+04 | -- | Inf 585.76/585.91 c 582s| 10000 | 10 | 16072 | 173M| 316 | - | 13k| 74k| 72k| 0 | 0 | 108 |7235 | 18 | 1.073625e+04 | -- | Inf 896.38/896.65 c 892s| 20000 | 28 | 16072 | 174M| 316 | - | 13k| 75k| 65k| 0 | 0 | 108 | 15k| 18 | 1.073625e+04 | -- | Inf 1199.11/1199.44 c 1194s| 30000 | 45 | 16072 | 175M| 316 | - | 13k| 77k| 51k| 0 | 0 | 108 | 24k| 18 | 1.073625e+04 | -- | Inf 1485.05/1485.43 c 1480s| 40000 | 41 | 16072 | 175M| 316 | - | 13k| 76k| 52k| 0 | 0 | 108 | 32k| 18 | 1.073625e+04 | -- | Inf 1779.69/1780.18 c 1774s| 50000 | 45 | 16072 | 175M| 316 | - | 13k| 75k| 52k| 0 | 0 | 108 | 40k| 18 | 1.073625e+04 | -- | Inf 1796.68/1797.14 c 1796.68/1797.14 c SCIP Status : solving was interrupted [time limit reached] 1796.68/1797.14 c Solving Time (sec) : 1791.00 1796.68/1797.14 c Solving Nodes : 50565 1796.68/1797.14 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1796.68/1797.14 c Dual Bound : +1.07362500000000e+04 1796.68/1797.14 c Gap : infinite 1796.68/1797.14 c NODE 50565 1796.68/1797.14 c DUAL BOUND 10736.2 1796.68/1797.14 c PRIMAL BOUND 1e+20 1796.68/1797.14 c GAP 1e+20 1796.68/1797.14 s UNKNOWN 1796.68/1797.14 c SCIP Status : solving was interrupted [time limit reached] 1796.68/1797.14 c Solving Time : 1791.00 1796.68/1797.14 c Original Problem : 1796.68/1797.14 c Problem name : HOME/instance-1885627-1245268073.opb 1796.68/1797.14 c Variables : 27735 (27735 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.68/1797.14 c Constraints : 136449 initial, 136449 maximal 1796.68/1797.14 c Presolved Problem : 1796.68/1797.14 c Problem name : t_HOME/instance-1885627-1245268073.opb 1796.68/1797.14 c Variables : 13720 (13720 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.68/1797.14 c Constraints : 74100 initial, 79246 maximal 1796.68/1797.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1796.68/1797.14 c trivial : 0.02 31 0 0 0 0 0 0 0 1796.68/1797.14 c dualfix : 0.06 1 0 0 0 0 0 0 0 1796.68/1797.14 c boundshift : 0.00 0 0 0 0 0 0 0 0 1796.68/1797.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1796.68/1797.14 c implics : 0.43 0 9177 0 0 0 0 0 0 1796.68/1797.14 c probing : 0.00 0 0 0 0 0 0 0 0 1796.68/1797.14 c linear : 1.96 4741 65 0 4772 0 62349 51 145 1796.68/1797.14 c logicor : 0.23 0 0 0 0 0 0 0 0 1796.68/1797.14 c root node : - 2 - - 2 - - - - 1796.68/1797.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1796.68/1797.14 c integral : 0 0 0 1 0 0 0 0 0 2 1796.68/1797.14 c logicor : 74100+ 5 447059 0 0 26179 6686322 0 0 0 1796.68/1797.14 c countsols : 0 0 0 0 0 0 0 0 0 0 1796.68/1797.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1796.68/1797.14 c integral : 132.39 0.00 0.00 132.39 0.00 1796.68/1797.14 c logicor : 102.82 0.05 102.77 0.00 0.00 1796.68/1797.14 c countsols : 0.00 0.00 0.00 0.00 0.00 1796.68/1797.14 c Propagators : Time Calls Cutoffs DomReds 1796.68/1797.14 c rootredcost : 0.46 0 0 0 1796.68/1797.14 c pseudoobj : 1136.22 476080 0 0 1796.68/1797.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1796.68/1797.14 c propagation : 7.15 26179 26179 26179 26.3 15087 12.3 - 1796.68/1797.14 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1796.68/1797.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1796.68/1797.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1796.68/1797.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1796.68/1797.14 c applied globally : - - - 41266 21.2 - - - 1796.68/1797.14 c applied locally : - - - 0 0.0 - - - 1796.68/1797.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1796.68/1797.14 c cut pool : 0.01 4 - - 20 - (maximal pool size: 471) 1796.68/1797.14 c redcost : 0.01 5 0 0 0 0 1796.68/1797.14 c impliedbounds : 0.03 5 0 0 0 0 1796.68/1797.14 c intobj : 0.00 0 0 0 0 0 1796.68/1797.14 c gomory : 9.68 5 0 0 2500 0 1796.68/1797.14 c strongcg : 5.81 5 0 0 2500 0 1796.68/1797.14 c cmir : 0.00 0 0 0 0 0 1796.68/1797.14 c flowcover : 0.00 0 0 0 0 0 1796.68/1797.14 c clique : 0.49 5 0 0 30 0 1796.68/1797.14 c zerohalf : 0.00 0 0 0 0 0 1796.68/1797.14 c mcf : 0.19 1 0 0 0 0 1796.68/1797.14 c Pricers : Time Calls Vars 1796.68/1797.14 c problem variables: 0.00 0 0 1796.68/1797.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1796.68/1797.14 c relpscost : 132.39 1 0 0 0 0 2 1796.68/1797.14 c pscost : 0.00 0 0 0 0 0 0 1796.68/1797.14 c inference : 235.69 36243 0 0 0 0 72486 1796.68/1797.14 c mostinf : 0.00 0 0 0 0 0 0 1796.68/1797.14 c leastinf : 0.00 0 0 0 0 0 0 1796.68/1797.14 c fullstrong : 0.00 0 0 0 0 0 0 1796.68/1797.14 c allfullstrong : 0.00 0 0 0 0 0 0 1796.68/1797.14 c random : 0.00 0 0 0 0 0 0 1796.68/1797.14 c Primal Heuristics : Time Calls Found 1796.68/1797.14 c LP solutions : 0.00 - 0 1796.68/1797.14 c pseudo solutions : 0.00 - 0 1796.68/1797.14 c simplerounding : 0.00 0 0 1796.68/1797.14 c rounding : 0.00 0 0 1796.68/1797.14 c shifting : 0.00 0 0 1796.68/1797.14 c intshifting : 0.00 0 0 1796.68/1797.14 c oneopt : 0.00 0 0 1796.68/1797.14 c fixandinfer : 0.00 0 0 1796.68/1797.14 c feaspump : 0.00 0 0 1796.68/1797.14 c coefdiving : 0.00 0 0 1796.68/1797.14 c pscostdiving : 0.00 0 0 1796.68/1797.14 c fracdiving : 0.00 0 0 1796.68/1797.14 c veclendiving : 0.00 0 0 1796.68/1797.14 c intdiving : 0.00 0 0 1796.68/1797.14 c actconsdiving : 0.00 0 0 1796.68/1797.14 c objpscostdiving : 0.00 0 0 1796.68/1797.14 c rootsoldiving : 0.00 0 0 1796.68/1797.14 c linesearchdiving : 0.00 0 0 1796.68/1797.14 c guideddiving : 0.00 0 0 1796.68/1797.14 c octane : 0.00 0 0 1796.68/1797.14 c rens : 0.00 0 0 1796.68/1797.14 c rins : 0.00 0 0 1796.68/1797.14 c localbranching : 0.00 0 0 1796.68/1797.14 c mutation : 0.00 0 0 1796.68/1797.14 c crossover : 0.00 0 0 1796.68/1797.14 c dins : 0.00 0 0 1796.68/1797.14 c LP : Time Calls Iterations Iter/call Iter/sec 1796.68/1797.14 c primal LP : 0.08 0 0 0.00 0.00 1796.68/1797.14 c dual LP : 96.38 6 16072 2678.67 166.76 1796.68/1797.14 c barrier LP : 0.00 0 0 0.00 - 1796.68/1797.14 c diving/probing LP: 0.00 0 0 0.00 - 1796.68/1797.14 c strong branching : 132.38 18 13460 747.78 101.68 1796.68/1797.14 c (at root node) : - 18 13460 747.78 - 1796.68/1797.14 c conflict analysis: 0.00 0 0 0.00 - 1796.68/1797.14 c B&B Tree : 1796.68/1797.14 c number of runs : 1 1796.68/1797.14 c nodes : 50565 1796.68/1797.14 c nodes (total) : 50565 1796.68/1797.14 c nodes left : 39 1796.68/1797.14 c max depth : 316 1796.68/1797.14 c max depth (total): 316 1796.68/1797.14 c backtracks : 13238 (26.2%) 1796.68/1797.14 c delayed cutoffs : 21885 1796.68/1797.14 c repropagations : 52414 (3023212 domain reductions, 11858 cutoffs) 1796.68/1797.14 c avg switch length: 3.11 1796.68/1797.14 c switching time : 44.10 1796.68/1797.14 c Solution : 1796.68/1797.14 c Solutions found : 0 (0 improvements) 1796.68/1797.14 c Primal Bound : - 1796.68/1797.14 c Dual Bound : +1.07362500000000e+04 1796.68/1797.14 c Gap : infinite 1796.68/1797.14 c Root Dual Bound : +1.07267500000000e+04 1797.29/1797.72 c Time complete: 1797.31.
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-1885627-1245268073/watcher-1885627-1245268073 -o /tmp/evaluation-result-1885627-1245268073/solver-1885627-1245268073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885627-1245268073.opb 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.05 1.03 1.00 3/64 8034 /proc/meminfo: memFree=1520632/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=4324 CPUtime=0 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 194406873 4427776 449 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 1081 461 298 886 0 191 0 [startup+0.0903521 s] /proc/loadavg: 1.05 1.03 1.00 3/64 8034 /proc/meminfo: memFree=1520632/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=13528 CPUtime=0.08 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 2715 0 0 0 8 0 0 0 18 0 1 0 194406873 13852672 2697 1992294400 4194304 7823515 548682068736 18446744073709551615 4403196 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 3382 2697 351 886 0 2492 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13528 [startup+0.101351 s] /proc/loadavg: 1.05 1.03 1.00 3/64 8034 /proc/meminfo: memFree=1520632/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=14236 CPUtime=0.1 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 2892 0 0 0 9 1 0 0 18 0 1 0 194406873 14577664 2874 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 3559 2874 351 886 0 2669 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14236 [startup+0.301363 s] /proc/loadavg: 1.05 1.03 1.00 3/64 8034 /proc/meminfo: memFree=1520632/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=21344 CPUtime=0.29 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 4652 0 0 0 28 1 0 0 19 0 1 0 194406873 21856256 4634 1992294400 4194304 7823515 548682068736 18446744073709551615 5542232 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 5336 4634 351 886 0 4446 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21344 [startup+0.701388 s] /proc/loadavg: 1.05 1.03 1.00 3/64 8034 /proc/meminfo: memFree=1520632/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=33952 CPUtime=0.69 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 7799 0 0 0 66 3 0 0 22 0 1 0 194406873 34766848 7781 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 8488 7781 351 886 0 7598 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33952 [startup+1.50144 s] /proc/loadavg: 1.05 1.03 1.00 2/65 8035 /proc/meminfo: memFree=1480496/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=59292 CPUtime=1.49 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 14114 0 0 0 144 5 0 0 25 0 1 0 194406873 60715008 14096 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 14823 14096 351 886 0 13933 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59292 [startup+3.10154 s] /proc/loadavg: 1.05 1.03 1.00 2/65 8035 /proc/meminfo: memFree=1448688/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=194284 CPUtime=3.09 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 47514 0 0 0 283 26 0 0 25 0 1 0 194406873 198946816 47142 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 48571 47142 432 886 0 47681 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 194284 [startup+6.30174 s] /proc/loadavg: 1.05 1.03 1.00 2/65 8035 /proc/meminfo: memFree=1312560/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=239956 CPUtime=6.29 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 60569 0 0 0 549 80 0 0 17 0 1 0 194406873 245714944 58589 1992294400 4194304 7823515 548682068736 18446744073709551615 4282983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 59989 58589 466 886 0 59099 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 239956 [startup+12.7011 s] /proc/loadavg: 1.04 1.03 1.00 2/65 8035 /proc/meminfo: memFree=1225712/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=318160 CPUtime=12.69 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 79015 0 0 0 1181 88 0 0 25 0 1 0 194406873 325795840 74890 1992294400 4194304 7823515 548682068736 18446744073709551615 6236651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 79540 74890 515 886 0 78650 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 318160 [startup+25.5019 s] /proc/loadavg: 1.03 1.03 1.00 2/65 8035 /proc/meminfo: memFree=1208560/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=326148 CPUtime=25.48 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 82781 0 0 0 2454 94 0 0 25 0 1 0 194406873 333975552 78364 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 81537 78364 543 886 0 80647 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 326148 [startup+51.1015 s] /proc/loadavg: 1.02 1.02 1.00 2/65 8035 /proc/meminfo: memFree=1203504/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=333348 CPUtime=51.07 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 89500 0 0 0 5006 101 0 0 25 0 1 0 194406873 341348352 79747 1992294400 4194304 7823515 548682068736 18446744073709551615 6151351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 83337 79747 544 886 0 82447 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 333348 [startup+102.306 s] /proc/loadavg: 1.01 1.02 1.00 2/65 8035 /proc/meminfo: memFree=1193264/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=341408 CPUtime=102.27 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 91985 0 0 0 10119 108 0 0 25 0 1 0 194406873 349601792 82232 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 85352 82232 544 886 0 84462 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 341408 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8035 /proc/meminfo: memFree=1187696/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=162.24 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94052 0 0 0 16112 112 0 0 25 0 1 0 194406873 355188736 83610 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83610 547 886 0 85826 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 346864 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8037 /proc/meminfo: memFree=1187312/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=222.23 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94119 0 0 0 22106 117 0 0 25 0 1 0 194406873 355188736 83677 1992294400 4194304 7823515 548682068736 18446744073709551615 6212356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83677 547 886 0 85826 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 346864 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8037 /proc/meminfo: memFree=1187184/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=282.22 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94151 0 0 0 28099 123 0 0 25 0 1 0 194406873 355188736 83709 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83709 553 886 0 85826 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 346864 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8037 /proc/meminfo: memFree=1187120/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=342.2 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94154 0 0 0 34088 132 0 0 25 0 1 0 194406873 355188736 83712 1992294400 4194304 7823515 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83712 553 886 0 85826 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 346864 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8037 /proc/meminfo: memFree=1187120/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=402.19 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94154 0 0 0 40078 141 0 0 25 0 1 0 194406873 355188736 83712 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83712 553 886 0 85826 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 346864 [startup+462.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 8037 /proc/meminfo: memFree=1187184/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=462.18 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94154 0 0 0 46065 153 0 0 25 0 1 0 194406873 355188736 83712 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83712 553 886 0 85826 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 346864 [startup+522.302 s] /proc/loadavg: 1.09 1.03 1.00 2/65 8037 /proc/meminfo: memFree=1186544/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=522.16 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94303 0 0 0 52054 162 0 0 25 0 1 0 194406873 355188736 83861 1992294400 4194304 7823515 548682068736 18446744073709551615 4770417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83861 553 886 0 85826 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 346864 [startup+582.302 s] /proc/loadavg: 1.03 1.02 1.00 2/65 8037 /proc/meminfo: memFree=1186608/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=582.15 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94304 0 0 0 58044 171 0 0 25 0 1 0 194406873 355188736 83862 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83862 553 886 0 85826 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 346864 [startup+642.301 s] /proc/loadavg: 1.01 1.02 1.00 2/65 8037 /proc/meminfo: memFree=1186288/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=346864 CPUtime=642.14 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 94371 0 0 0 64032 182 0 0 25 0 1 0 194406873 355188736 83929 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 86716 83929 553 886 0 85826 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 346864 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1179376/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=353936 CPUtime=1062.05 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 96089 0 0 0 105952 253 0 0 25 0 1 0 194406873 362430464 85647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 88484 85647 553 886 0 87594 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 353936 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1177968/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=355312 CPUtime=1122.03 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 96432 0 0 0 111944 259 0 0 25 0 1 0 194406873 363839488 85990 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 88828 85990 553 886 0 87938 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 355312 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1176432/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=356944 CPUtime=1182.02 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 96800 0 0 0 117932 270 0 0 25 0 1 0 194406873 365510656 86358 1992294400 4194304 7823515 548682068736 18446744073709551615 4538413 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 89236 86358 553 886 0 88346 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 356944 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1175088/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=358240 CPUtime=1242 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 97122 0 0 0 123920 280 0 0 25 0 1 0 194406873 366837760 86680 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 89560 86680 553 886 0 88670 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 358240 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1174256/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=359048 CPUtime=1302 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 97314 0 0 0 129912 288 0 0 25 0 1 0 194406873 367665152 86872 1992294400 4194304 7823515 548682068736 18446744073709551615 5434263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 89762 86872 553 886 0 88872 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 359048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1173424/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=359996 CPUtime=1361.98 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 97514 0 0 0 135899 299 0 0 25 0 1 0 194406873 368635904 87072 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 89999 87072 553 886 0 89109 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 359996 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1172208/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=361276 CPUtime=1421.97 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 97814 0 0 0 141888 309 0 0 25 0 1 0 194406873 369946624 87372 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 90319 87372 553 886 0 89429 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 361276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1171312/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=362044 CPUtime=1481.96 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 98027 0 0 0 147877 319 0 0 25 0 1 0 194406873 370733056 87585 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 90511 87585 553 886 0 89621 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 362044 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1169968/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=363452 CPUtime=1541.94 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 98355 0 0 0 153864 330 0 0 25 0 1 0 194406873 372174848 87913 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 90863 87913 553 886 0 89973 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 363452 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1169328/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=364300 CPUtime=1601.92 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 98536 0 0 0 159853 339 0 0 25 0 1 0 194406873 373043200 88094 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91075 88094 553 886 0 90185 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 364300 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1168816/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=364772 CPUtime=1661.92 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 98650 0 0 0 165842 350 0 0 25 0 1 0 194406873 373526528 88208 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91193 88208 553 886 0 90303 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 364772 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1168432/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=365092 CPUtime=1721.9 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 98757 0 0 0 171830 360 0 0 25 0 1 0 194406873 373854208 88315 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91273 88315 553 886 0 90383 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 365092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1166576/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=367004 CPUtime=1781.89 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 99204 0 0 0 177819 370 0 0 25 0 1 0 194406873 375812096 88762 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91751 88762 553 886 0 90861 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 367004 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1166576/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=367004 CPUtime=1785.09 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 99204 0 0 0 178139 370 0 0 25 0 1 0 194406873 375812096 88762 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91751 88762 553 886 0 90861 0 Current children cumulated CPU time (s) 1785.09 Current children cumulated vsize (KiB) 367004 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1166512/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=367148 CPUtime=1791.5 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 99230 0 0 0 178779 371 0 0 25 0 1 0 194406873 375959552 88788 1992294400 4194304 7823515 548682068736 18446744073709551615 4769564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91787 88788 553 886 0 90897 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (KiB) 367148 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1166512/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=367148 CPUtime=1794.69 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 99235 0 0 0 179098 371 0 0 25 0 1 0 194406873 375959552 88793 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91787 88793 553 886 0 90897 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (KiB) 367148 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1166512/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=367148 CPUtime=1796.28 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 99235 0 0 0 179257 371 0 0 25 0 1 0 194406873 375959552 88793 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8034/statm: 91787 88793 553 886 0 90897 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (KiB) 367148 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1166192/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=367468 CPUtime=1797.08 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 99313 0 0 0 179337 371 0 0 25 0 1 0 194406873 376287232 88871 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 91867 88871 559 886 0 90977 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (KiB) 367468 [startup+1797.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8043 /proc/meminfo: memFree=1166192/2055920 swapFree=4182416/4192956 [pid=8034] ppid=8032 vsize=172244 CPUtime=1797.29 /proc/8034/stat : 8034 (pbscip.linux.x8) R 8032 8034 7411 0 -1 4194304 99313 0 0 0 179354 375 0 0 25 0 1 0 194406873 176377856 42333 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/8034/statm: 43061 42333 11185 886 0 42171 0 Current children cumulated CPU time (s) 1797.29 Current children cumulated vsize (KiB) 172244 Child status: 0 Real time (s): 1797.72 CPU time (s): 1797.32 CPU user time (s): 1793.54 CPU system time (s): 3.77443 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 367468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.54 system time used= 3.77443 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99317 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2674 runsolver used 1.53377 second user time and 3.89841 second system time The end
Begin job on node29 at 2009-06-17 21:47:53 IDJOB=1885627 IDBENCH=72076 IDSOLVER=683 FILE ID=node29/1885627-1245268073 PBS_JOBID= 9372424 Free space on /tmp= 66208 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/bioinfo/q_query_3_l39_lambda.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885627-1245268073/watcher-1885627-1245268073 -o /tmp/evaluation-result-1885627-1245268073/solver-1885627-1245268073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885627-1245268073.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 62e0b30e4c26f85cc5b39f61cab95592 RANDOM SEED=1132306740 node29.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.237 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.237 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1521112 kB Buffers: 37320 kB Cached: 414232 kB SwapCached: 4660 kB Active: 84548 kB Inactive: 374764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1521112 kB SwapTotal: 4192956 kB SwapFree: 4182416 kB Dirty: 14368 kB Writeback: 0 kB Mapped: 13920 kB Slab: 61460 kB Committed_AS: 201148 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66196 MiB End job on node29 at 2009-06-17 22:17:51