Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1799.16 | 1799.71 |
Name | /PURE-SAT/SAT07/crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.opb |
MD5SUM | 9ae8045fbb26ce0afc2e727b3967f7dd |
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 | 30.3094 |
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 | 4940 |
Total number of constraints | 93221 |
Number of constraints which are clauses | 93221 |
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 | 26 |
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 | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.29/1.30 c SCIP version 1.1.0.7 1.29/1.30 c LP-Solver SoPlex 1.4.1 1.29/1.30 c user parameter file <scip.set> not found - using default parameters 1.29/1.30 c read problem <HOME/instance-1884127-1245254415.opb> 1.29/1.30 c original problem has 4940 variables (4940 bin, 0 int, 0 impl, 0 cont) and 93221 constraints 1.58/1.64 c No objective function, only one solution is needed. 1.58/1.64 c start presolving problem 1.58/1.64 c presolving: 2.99/3.09 c (round 1) 464 del vars, 706 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 566348 impls, 0 clqs 3.19/3.21 c (round 2) 547 del vars, 1266 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 581534 impls, 0 clqs 3.19/3.30 c (round 3) 585 del vars, 2050 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 583312 impls, 0 clqs 3.30/3.37 c (round 4) 599 del vars, 2352 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 583714 impls, 0 clqs 3.39/3.44 c (round 5) 605 del vars, 2726 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 583714 impls, 0 clqs 3.49/3.51 c (round 6) 609 del vars, 2762 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 583714 impls, 0 clqs 3.49/3.57 c (round 7) 610 del vars, 2771 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 583714 impls, 0 clqs 3.59/3.64 c (round 8) 611 del vars, 2780 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 583714 impls, 0 clqs 3.69/3.71 c (round 9) 612 del vars, 2853 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 583714 impls, 0 clqs 4.59/4.65 c (round 10) 612 del vars, 2902 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 90319 upgd conss, 583714 impls, 0 clqs 4.79/4.82 c presolving (11 rounds): 4.79/4.82 c 612 deleted vars, 2902 deleted constraints, 21 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 4.79/4.82 c 583714 implications, 0 cliques 4.79/4.82 c presolved problem has 4328 variables (4328 bin, 0 int, 0 impl, 0 cont) and 90319 constraints 4.79/4.82 c 90319 constraints of type <logicor> 4.79/4.82 c transformed objective value is always integral (scale: 1) 4.79/4.82 c Presolving Time: 2.62 4.79/4.82 c PURESAT 4.79/4.82 c ----------------------------------------------------------------------------------------------- 4.79/4.82 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 0] 4.79/4.82 c separating/flowcover/freq = c -1 4.79/4.82 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 0] 4.79/4.82 c separating/cmir/freq = c -1 4.79/4.82 c # additional number of allowed LP iterations 4.79/4.82 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.82 c heuristics/veclendiving/maxlpiterofs = c 1500 4.79/4.82 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.79/4.82 c heuristics/veclendiving/maxlpiterquot = c 0.075 4.79/4.82 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.82 c heuristics/veclendiving/freq = c -1 4.79/4.82 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 1] 4.79/4.82 c heuristics/simplerounding/freq = c -1 4.79/4.82 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.82 c heuristics/shifting/freq = c -1 4.79/4.82 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 1] 4.79/4.82 c heuristics/rounding/freq = c -1 4.79/4.82 c # additional number of allowed LP iterations 4.79/4.82 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.82 c heuristics/rootsoldiving/maxlpiterofs = c 1500 4.79/4.82 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 4.79/4.82 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 4.79/4.82 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 20] 4.79/4.82 c heuristics/rootsoldiving/freq = c -1 4.79/4.82 c # number of nodes added to the contingent of the total nodes 4.79/4.82 c # [type: longint, range: [0,9223372036854775807], default: 500] 4.79/4.82 c heuristics/rens/nodesofs = c 2000 4.79/4.82 c # minimum percentage of integer variables that have to be fixable 4.79/4.82 c # [type: real, range: [0,1], default: 0.5] 4.79/4.82 c heuristics/rens/minfixingrate = c 0.3 4.79/4.82 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 0] 4.79/4.82 c heuristics/rens/freq = c -1 4.79/4.82 c # additional number of allowed LP iterations 4.79/4.82 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.82 c heuristics/pscostdiving/maxlpiterofs = c 1500 4.79/4.82 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.79/4.82 c heuristics/pscostdiving/maxlpiterquot = c 0.075 4.79/4.82 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.82 c heuristics/pscostdiving/freq = c -1 4.79/4.82 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 1] 4.79/4.82 c heuristics/oneopt/freq = c -1 4.79/4.82 c # additional number of allowed LP iterations 4.79/4.82 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.82 c heuristics/objpscostdiving/maxlpiterofs = c 1500 4.79/4.82 c # maximal fraction of diving LP iterations compared to total iteration number 4.79/4.82 c # [type: real, range: [0,1], default: 0.01] 4.79/4.82 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 4.79/4.82 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 4.79/4.82 c # [type: int, range: [-1,2147483647], default: 20] 4.79/4.82 c heuristics/objpscostdiving/freq = c -1 4.79/4.82 c # additional number of allowed LP iterations 4.79/4.82 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.82 c heuristics/linesearchdiving/maxlpiterofs = c 1500 4.79/4.82 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.79/4.82 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 4.79/4.83 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.83 c heuristics/linesearchdiving/freq = c -1 4.79/4.83 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.83 c heuristics/intshifting/freq = c -1 4.79/4.83 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.83 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.79/4.83 c heuristics/intdiving/maxlpiterquot = c 0.075 4.79/4.83 c # additional number of allowed LP iterations 4.79/4.83 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.83 c heuristics/guideddiving/maxlpiterofs = c 1500 4.79/4.83 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.83 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.79/4.83 c heuristics/guideddiving/maxlpiterquot = c 0.075 4.79/4.83 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.83 c heuristics/guideddiving/freq = c -1 4.79/4.83 c # additional number of allowed LP iterations 4.79/4.83 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.83 c heuristics/fracdiving/maxlpiterofs = c 1500 4.79/4.83 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.83 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.79/4.83 c heuristics/fracdiving/maxlpiterquot = c 0.075 4.79/4.83 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.83 c heuristics/fracdiving/freq = c -1 4.79/4.83 c # additional number of allowed LP iterations 4.79/4.83 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.83 c heuristics/feaspump/maxlpiterofs = c 2000 4.79/4.83 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: 20] 4.79/4.83 c heuristics/feaspump/freq = c -1 4.79/4.83 c # minimum percentage of integer variables that have to be fixed 4.79/4.83 c # [type: real, range: [0,1], default: 0.666] 4.79/4.83 c heuristics/crossover/minfixingrate = c 0.5 4.79/4.83 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 4.79/4.83 c # [type: real, range: [0,1], default: 0.1] 4.79/4.83 c heuristics/crossover/nodesquot = c 0.15 4.79/4.83 c # number of nodes without incumbent change that heuristic should wait 4.79/4.83 c # [type: longint, range: [0,9223372036854775807], default: 200] 4.79/4.83 c heuristics/crossover/nwaitingnodes = c 100 4.79/4.83 c # number of nodes added to the contingent of the total nodes 4.79/4.83 c # [type: longint, range: [0,9223372036854775807], default: 500] 4.79/4.83 c heuristics/crossover/nodesofs = c 750 4.79/4.83 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: 30] 4.79/4.83 c heuristics/crossover/freq = c -1 4.79/4.83 c # additional number of allowed LP iterations 4.79/4.83 c # [type: int, range: [0,2147483647], default: 1000] 4.79/4.83 c heuristics/coefdiving/maxlpiterofs = c 1500 4.79/4.83 c # maximal fraction of diving LP iterations compared to node LP iterations 4.79/4.83 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 4.79/4.83 c heuristics/coefdiving/maxlpiterquot = c 0.075 4.79/4.83 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: 10] 4.79/4.83 c heuristics/coefdiving/freq = c -1 4.79/4.83 c # priority of node selection rule <dfs> in standard mode 4.79/4.83 c # [type: int, range: [-536870912,536870911], default: 0] 4.79/4.83 c nodeselection/dfs/stdpriority = c 1000000 4.79/4.83 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 4.79/4.83 c # [type: int, range: [-1,2147483647], default: -1] 4.79/4.83 c presolving/probing/maxrounds = c 0 4.79/4.83 c # should presolving try to simplify knapsacks 4.79/4.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.79/4.83 c constraints/knapsack/simplifyinequalities = c TRUE 4.79/4.83 c # should disaggregation of knapsack constraints be allowed in preprocessing? 4.79/4.83 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 4.79/4.83 c constraints/knapsack/disaggregation = c FALSE 4.79/4.83 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: -1] 4.79/4.84 c constraints/knapsack/maxnumcardlift = c 0 4.79/4.84 c # should presolving try to simplify inequalities 4.79/4.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.79/4.84 c constraints/linear/simplifyinequalities = c TRUE 4.79/4.84 c # maximal number of separation rounds in the root node (-1: unlimited) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: -1] 4.79/4.84 c separating/maxroundsroot = c 5 4.79/4.84 c # maximal number of separation rounds per node (-1: unlimited) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: 5] 4.79/4.84 c separating/maxrounds = c 1 4.79/4.84 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) 4.79/4.84 c # [type: char, range: {lafpsqd}, default: l] 4.79/4.84 c lp/pricing = c a 4.79/4.84 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: 1] 4.79/4.84 c lp/solvefreq = c 0 4.79/4.84 c # solving stops, if the given number of solutions were found (-1: no limit) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: -1] 4.79/4.84 c limits/solutions = c 1 4.79/4.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 4.79/4.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.79/4.84 c limits/memory = c 1620 4.79/4.84 c # maximal time in seconds to run 4.79/4.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.79/4.84 c limits/time = c 1791 4.79/4.84 c # frequency for displaying node information lines 4.79/4.84 c # [type: int, range: [-1,2147483647], default: 100] 4.79/4.84 c display/freq = c 10000 4.79/4.84 c # should enforcement of pseudo solution be disabled? 4.79/4.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.79/4.84 c constraints/disableenfops = c TRUE 4.79/4.84 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: 0] 4.79/4.84 c constraints/agelimit = c 1 4.79/4.84 c # should binary conflicts be preferred? 4.79/4.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.79/4.84 c conflict/preferbinary = c TRUE 4.79/4.84 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: -1] 4.79/4.84 c conflict/interconss = c 0 4.79/4.84 c ----------------------------------------------------------------------------------------------- 4.79/4.84 c start solving problem 4.79/4.84 c 27.18/27.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 27.18/27.28 c 25.2s| 1 | 0 | 4197 | 118M| 0 |2670 |4328 | 90k| 90k|4328 | 90k| 0 | 0 | 0 | 1.715000e+03 | -- | Inf 43.28/43.38 c 41.2s| 1 | 0 | 5603 | 118M| 0 |2513 |4328 | 90k| 90k|4328 | 90k| 45 | 0 | 0 | 1.793000e+03 | -- | Inf 61.56/61.70 c 59.5s| 1 | 0 | 7230 | 118M| 0 |2342 |4328 | 90k| 90k|4328 | 90k| 66 | 0 | 0 | 1.859750e+03 | -- | Inf 83.75/83.84 c 81.6s| 1 | 0 | 9079 | 118M| 0 |2239 |4328 | 90k| 90k|4328 | 90k| 80 | 0 | 0 | 1.925000e+03 | -- | Inf 102.04/102.13 c 99.9s| 1 | 0 | 10590 | 118M| 0 |2192 |4328 | 90k| 90k|4328 | 90k| 93 | 0 | 0 | 1.959500e+03 | -- | Inf 123.04/123.20 c 121s| 1 | 0 | 12282 | 118M| 0 |2159 |4328 | 90k| 90k|4328 | 90k| 115 | 0 | 0 | 1.990517e+03 | -- | Inf 269.70/269.87 c 267s| 1 | 2 | 12282 | 118M| 0 |2159 |4328 | 90k| 90k|4328 | 90k| 115 | 0 | 17 | 1.990517e+03 | -- | Inf 396.97/397.20 c 394s| 10000 | 14 | 12282 | 121M| 86 | - |4328 | 91k| 63k| 0 | 0 | 115 |8279 | 17 | 2.001017e+03 | -- | Inf 536.02/536.20 c 533s| 20000 | 25 | 12282 | 121M| 223 | - |4328 | 91k| 51k| 0 | 0 | 115 | 17k| 17 | 2.001017e+03 | -- | Inf 688.68/688.98 c 685s| 30000 | 31 | 12282 | 122M| 223 | - |4328 | 93k| 40k| 0 | 0 | 115 | 27k| 17 | 2.001017e+03 | -- | Inf 863.83/864.19 c 860s| 40000 | 24 | 12282 | 122M| 223 | - |4328 | 94k| 41k| 0 | 0 | 115 | 36k| 17 | 2.001017e+03 | -- | Inf 1012.08/1012.47 c 1007s| 50000 | 31 | 12282 | 122M| 223 | - |4328 | 95k| 37k| 0 | 0 | 115 | 45k| 17 | 2.001017e+03 | -- | Inf 1171.53/1171.99 c 1166s| 60000 | 27 | 12282 | 123M| 223 | - |4328 | 96k| 36k| 0 | 0 | 115 | 54k| 17 | 2.001017e+03 | -- | Inf 1332.48/1332.94 c 1327s| 70000 | 30 | 12282 | 123M| 223 | - |4328 | 95k| 43k| 0 | 0 | 115 | 63k| 17 | 2.001017e+03 | -- | Inf 1525.32/1525.88 c 1519s| 80000 | 24 | 12282 | 123M| 223 | - |4328 | 95k| 42k| 0 | 0 | 115 | 70k| 17 | 2.001017e+03 | -- | Inf 1690.07/1690.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1690.07/1690.64 c 1683s| 90000 | 31 | 12282 | 123M| 223 | - |4328 | 96k| 38k| 0 | 0 | 115 | 78k| 17 | 2.001017e+03 | -- | Inf 1798.55/1799.16 c 1798.55/1799.16 c SCIP Status : solving was interrupted [time limit reached] 1798.55/1799.16 c Solving Time (sec) : 1791.01 1798.55/1799.16 c Solving Nodes : 97602 1798.55/1799.16 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1798.55/1799.16 c Dual Bound : +2.00101666666667e+03 1798.55/1799.16 c Gap : infinite 1798.55/1799.16 c NODE 97602 1798.55/1799.16 c DUAL BOUND 2001.02 1798.55/1799.16 c PRIMAL BOUND 1e+20 1798.55/1799.16 c GAP 1e+20 1798.55/1799.16 s UNKNOWN 1798.55/1799.16 c SCIP Status : solving was interrupted [time limit reached] 1798.55/1799.16 c Solving Time : 1791.01 1798.55/1799.16 c Original Problem : 1798.55/1799.16 c Problem name : HOME/instance-1884127-1245254415.opb 1798.55/1799.16 c Variables : 4940 (4940 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.55/1799.16 c Constraints : 93221 initial, 93221 maximal 1798.55/1799.16 c Presolved Problem : 1798.55/1799.16 c Problem name : t_HOME/instance-1884127-1245254415.opb 1798.55/1799.16 c Variables : 4328 (4328 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.55/1799.16 c Constraints : 90319 initial, 96566 maximal 1798.55/1799.16 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1798.55/1799.16 c trivial : 0.01 0 0 0 0 0 0 0 0 1798.55/1799.16 c dualfix : 0.02 60 0 0 0 0 0 0 0 1798.55/1799.16 c boundshift : 0.00 0 0 0 0 0 0 0 0 1798.55/1799.16 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1798.55/1799.16 c implics : 0.06 0 84 0 0 0 0 0 0 1798.55/1799.16 c probing : 0.00 0 0 0 0 0 0 0 0 1798.55/1799.16 c linear : 1.97 21 447 0 21 0 2902 0 0 1798.55/1799.16 c logicor : 0.41 0 0 0 0 0 0 0 0 1798.55/1799.16 c root node : - 0 - - 0 - - - - 1798.55/1799.16 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1798.55/1799.16 c integral : 0 0 0 1 0 0 0 0 0 2 1798.55/1799.16 c logicor : 90319+ 5 1237543 0 0 55306 16158051 0 0 0 1798.55/1799.16 c countsols : 0 0 0 0 0 0 0 0 0 0 1798.55/1799.16 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1798.55/1799.16 c integral : 146.52 0.00 0.00 146.52 0.00 1798.55/1799.16 c logicor : 521.17 0.05 521.12 0.00 0.00 1798.55/1799.16 c countsols : 0.00 0.00 0.00 0.00 0.00 1798.55/1799.16 c Propagators : Time Calls Cutoffs DomReds 1798.55/1799.16 c rootredcost : 0.97 0 0 0 1798.55/1799.16 c pseudoobj : 545.71 1318565 0 0 1798.55/1799.16 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1798.55/1799.16 c propagation : 21.87 55306 55257 55257 16.4 29852 11.6 - 1798.55/1799.16 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1798.55/1799.16 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1798.55/1799.16 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1798.55/1799.16 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1798.55/1799.16 c applied globally : - - - 85109 14.7 - - - 1798.55/1799.16 c applied locally : - - - 0 0.0 - - - 1798.55/1799.16 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1798.55/1799.16 c cut pool : 0.00 4 - - 28 - (maximal pool size: 240) 1798.55/1799.16 c redcost : 0.00 5 0 0 0 0 1798.55/1799.16 c impliedbounds : 0.10 5 0 0 0 0 1798.55/1799.16 c intobj : 0.00 0 0 0 0 0 1798.55/1799.16 c gomory : 6.45 5 0 0 2500 0 1798.55/1799.16 c strongcg : 6.43 5 0 0 2500 0 1798.55/1799.16 c cmir : 0.00 0 0 0 0 0 1798.55/1799.16 c flowcover : 0.00 0 0 0 0 0 1798.55/1799.16 c clique : 2.36 5 0 0 43 0 1798.55/1799.16 c zerohalf : 0.00 0 0 0 0 0 1798.55/1799.16 c mcf : 0.20 1 0 0 0 0 1798.55/1799.16 c Pricers : Time Calls Vars 1798.55/1799.16 c problem variables: 0.00 0 0 1798.55/1799.16 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1798.55/1799.16 c relpscost : 146.52 1 0 0 0 0 2 1798.55/1799.16 c pscost : 0.00 0 0 0 0 0 0 1798.55/1799.16 c inference : 54.66 66229 0 0 0 0 132458 1798.55/1799.16 c mostinf : 0.00 0 0 0 0 0 0 1798.55/1799.16 c leastinf : 0.00 0 0 0 0 0 0 1798.55/1799.16 c fullstrong : 0.00 0 0 0 0 0 0 1798.55/1799.16 c allfullstrong : 0.00 0 0 0 0 0 0 1798.55/1799.16 c random : 0.00 0 0 0 0 0 0 1798.55/1799.16 c Primal Heuristics : Time Calls Found 1798.55/1799.16 c LP solutions : 0.00 - 0 1798.55/1799.16 c pseudo solutions : 0.00 - 0 1798.55/1799.16 c simplerounding : 0.00 0 0 1798.55/1799.16 c rounding : 0.00 0 0 1798.55/1799.16 c shifting : 0.00 0 0 1798.55/1799.16 c intshifting : 0.00 0 0 1798.55/1799.16 c oneopt : 0.00 0 0 1798.55/1799.16 c fixandinfer : 0.00 0 0 1798.55/1799.16 c feaspump : 0.00 0 0 1798.55/1799.16 c coefdiving : 0.00 0 0 1798.55/1799.16 c pscostdiving : 0.00 0 0 1798.55/1799.16 c fracdiving : 0.00 0 0 1798.55/1799.16 c veclendiving : 0.00 0 0 1798.55/1799.16 c intdiving : 0.00 0 0 1798.55/1799.16 c actconsdiving : 0.00 0 0 1798.55/1799.16 c objpscostdiving : 0.00 0 0 1798.55/1799.16 c rootsoldiving : 0.00 0 0 1798.55/1799.16 c linesearchdiving : 0.00 0 0 1798.55/1799.16 c guideddiving : 0.00 0 0 1798.55/1799.16 c octane : 0.00 0 0 1798.55/1799.16 c rens : 0.00 0 0 1798.55/1799.16 c rins : 0.00 0 0 1798.55/1799.16 c localbranching : 0.00 0 0 1798.55/1799.16 c mutation : 0.00 0 0 1798.55/1799.16 c crossover : 0.00 0 0 1798.55/1799.16 c dins : 0.00 0 0 1798.55/1799.16 c LP : Time Calls Iterations Iter/call Iter/sec 1798.55/1799.16 c primal LP : 0.09 0 0 0.00 0.00 1798.55/1799.16 c dual LP : 101.62 6 12282 2047.00 120.86 1798.55/1799.16 c barrier LP : 0.00 0 0 0.00 - 1798.55/1799.16 c diving/probing LP: 0.00 0 0 0.00 - 1798.55/1799.16 c strong branching : 146.52 17 12670 745.29 86.47 1798.55/1799.16 c (at root node) : - 17 12670 745.29 - 1798.55/1799.16 c conflict analysis: 0.00 0 0 0.00 - 1798.55/1799.16 c B&B Tree : 1798.55/1799.16 c number of runs : 1 1798.55/1799.16 c nodes : 97602 1798.55/1799.16 c nodes (total) : 97602 1798.55/1799.16 c nodes left : 24 1798.55/1799.16 c max depth : 223 1798.55/1799.16 c max depth (total): 223 1798.55/1799.16 c backtracks : 26506 (27.2%) 1798.55/1799.16 c delayed cutoffs : 34835 1798.55/1799.16 c repropagations : 110855 (6743047 domain reductions, 23934 cutoffs) 1798.55/1799.16 c avg switch length: 3.22 1798.55/1799.16 c switching time : 247.99 1798.55/1799.16 c Solution : 1798.55/1799.16 c Solutions found : 0 (0 improvements) 1798.55/1799.16 c Primal Bound : - 1798.55/1799.16 c Dual Bound : +2.00101666666667e+03 1798.55/1799.16 c Gap : infinite 1798.55/1799.16 c Root Dual Bound : +1.99051666666667e+03 1799.14/1799.70 c Time complete: 1799.15.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1884127-1245254415/watcher-1884127-1245254415 -o /tmp/evaluation-result-1884127-1245254415/solver-1884127-1245254415 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884127-1245254415.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: 0.99 0.59 0.24 3/64 10472 /proc/meminfo: memFree=1759232/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=4324 CPUtime=0 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 468 0 0 0 0 0 0 0 18 0 1 0 9770993 4427776 452 1992294400 4194304 7823515 548682068736 18446744073709551615 6804372 0 0 4096 0 0 0 0 17 1 0 0 /proc/10472/statm: 1082 463 300 886 0 192 0 [startup+0.101022 s] /proc/loadavg: 0.99 0.59 0.24 3/64 10472 /proc/meminfo: memFree=1759232/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=14384 CPUtime=0.09 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 2901 0 0 0 8 1 0 0 18 0 1 0 9770993 14729216 2883 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10472/statm: 3596 2883 351 886 0 2706 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14384 [startup+0.201036 s] /proc/loadavg: 0.99 0.59 0.24 3/64 10472 /proc/meminfo: memFree=1759232/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=18632 CPUtime=0.19 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 3991 0 0 0 18 1 0 0 18 0 1 0 9770993 19079168 3973 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10472/statm: 4658 3973 351 886 0 3768 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18632 [startup+0.301051 s] /proc/loadavg: 0.99 0.59 0.24 3/64 10472 /proc/meminfo: memFree=1759232/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=21040 CPUtime=0.29 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 4564 0 0 0 27 2 0 0 19 0 1 0 9770993 21544960 4546 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10472/statm: 5260 4546 351 886 0 4370 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21040 [startup+0.701108 s] /proc/loadavg: 0.99 0.59 0.24 3/64 10472 /proc/meminfo: memFree=1759232/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=30980 CPUtime=0.69 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 7073 0 0 0 66 3 0 0 22 0 1 0 9770993 31723520 7055 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10472/statm: 7745 7055 351 886 0 6855 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30980 [startup+1.50122 s] /proc/loadavg: 0.99 0.59 0.24 2/65 10473 /proc/meminfo: memFree=1722424/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=93444 CPUtime=1.49 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 22969 0 0 0 141 8 0 0 25 0 1 0 9770993 95686656 22597 1992294400 4194304 7823515 548682068736 18446744073709551615 4539774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 23361 22597 375 886 0 22471 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 93444 [startup+3.10146 s] /proc/loadavg: 0.99 0.59 0.24 2/65 10473 /proc/meminfo: memFree=1646968/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=136444 CPUtime=3.09 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 33525 0 0 0 288 21 0 0 25 0 1 0 9770993 139718656 33153 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 34111 33153 432 886 0 33221 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 136444 [startup+6.30292 s] /proc/loadavg: 0.99 0.59 0.24 2/65 10473 /proc/meminfo: memFree=1529528/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=243432 CPUtime=6.29 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 62322 0 0 0 555 74 0 0 25 0 1 0 9770993 249274368 58072 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 60858 58072 511 886 0 59968 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 243432 [startup+12.7018 s] /proc/loadavg: 0.99 0.60 0.25 2/65 10473 /proc/meminfo: memFree=1512760/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=262416 CPUtime=12.69 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 66974 0 0 0 1193 76 0 0 25 0 1 0 9770993 268713984 61929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 65604 61929 514 886 0 64714 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 262416 [startup+25.5017 s] /proc/loadavg: 0.99 0.62 0.26 2/65 10473 /proc/meminfo: memFree=1502840/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=275844 CPUtime=25.48 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 69708 0 0 0 2470 78 0 0 25 0 1 0 9770993 282464256 64430 1992294400 4194304 7823515 548682068736 18446744073709551615 6211030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 68961 64430 515 886 0 68071 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 275844 [startup+51.1014 s] /proc/loadavg: 0.99 0.65 0.28 2/65 10479 /proc/meminfo: memFree=1487864/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=285692 CPUtime=51.06 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 73608 0 0 0 5013 93 0 0 25 0 1 0 9770993 292548608 68174 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 71423 68174 544 886 0 70533 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 285692 [startup+102.302 s] /proc/loadavg: 0.99 0.70 0.31 2/65 10479 /proc/meminfo: memFree=1483768/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=287612 CPUtime=102.25 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 74645 0 0 0 10128 97 0 0 25 0 1 0 9770993 294514688 69208 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 71903 69208 544 886 0 71013 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 287612 [startup+162.302 s] /proc/loadavg: 0.99 0.75 0.35 2/65 10479 /proc/meminfo: memFree=1481976/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=162.23 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75085 0 0 0 16121 102 0 0 25 0 1 0 9770993 296767488 69648 1992294400 4194304 7823515 548682068736 18446744073709551615 6212176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 69648 547 886 0 71563 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 289812 [startup+222.305 s] /proc/loadavg: 0.99 0.79 0.39 2/65 10479 /proc/meminfo: memFree=1481912/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=222.22 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75097 0 0 0 22116 106 0 0 25 0 1 0 9770993 296767488 69660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 69660 547 886 0 71563 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 289812 [startup+282.302 s] /proc/loadavg: 0.99 0.83 0.43 2/65 10479 /proc/meminfo: memFree=1481528/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=282.2 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75186 0 0 0 28106 114 0 0 25 0 1 0 9770993 296767488 69749 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 69749 553 886 0 71563 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 289812 [startup+342.302 s] /proc/loadavg: 0.99 0.86 0.46 2/65 10479 /proc/meminfo: memFree=1481336/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=342.18 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75235 0 0 0 34080 138 0 0 25 0 1 0 9770993 296767488 69798 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 69798 553 886 0 71563 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 289812 [startup+402.301 s] /proc/loadavg: 0.99 0.88 0.49 2/65 10479 /proc/meminfo: memFree=1481272/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=402.15 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75236 0 0 0 40054 161 0 0 25 0 1 0 9770993 296767488 69799 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 69799 553 886 0 71563 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 289812 [startup+462.302 s] /proc/loadavg: 0.99 0.90 0.52 2/65 10479 /proc/meminfo: memFree=1481272/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=462.14 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75237 0 0 0 46029 185 0 0 25 0 1 0 9770993 296767488 69800 1992294400 4194304 7823515 548682068736 18446744073709551615 4207205 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 69800 553 886 0 71563 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 289812 [startup+522.302 s] /proc/loadavg: 0.99 0.91 0.55 2/65 10479 /proc/meminfo: memFree=1481016/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=522.13 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75282 0 0 0 52010 203 0 0 25 0 1 0 9770993 296767488 69845 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 69845 553 886 0 71563 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 289812 [startup+582.301 s] /proc/loadavg: 0.99 0.93 0.57 2/65 10479 /proc/meminfo: memFree=1480056/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=289812 CPUtime=582.1 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 75527 0 0 0 57989 221 0 0 25 0 1 0 9770993 296767488 70090 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72453 70090 553 886 0 71563 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 289812 [startup+642.301 s] /proc/loadavg: 0.99 0.94 0.59 2/65 10479 /proc/meminfo: memFree=1477048/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=291104 CPUtime=642.08 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 76270 0 0 0 63965 243 0 0 25 0 1 0 9770993 298090496 70833 1992294400 4194304 7823515 548682068736 18446744073709551615 5103077 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 72776 70833 553 886 0 71886 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 291104 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1468920/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=299312 CPUtime=1121.94 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78260 0 0 0 111796 398 0 0 25 0 1 0 9770993 306495488 72823 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 74828 72823 553 886 0 73938 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 299312 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.75 2/65 10479 /proc/meminfo: memFree=1468728/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=299632 CPUtime=1181.93 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78313 0 0 0 117773 420 0 0 25 0 1 0 9770993 306823168 72876 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 74908 72876 553 886 0 74018 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 299632 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.76 2/65 10479 /proc/meminfo: memFree=1468408/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=299764 CPUtime=1241.91 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78358 0 0 0 123752 439 0 0 25 0 1 0 9770993 306958336 72921 1992294400 4194304 7823515 548682068736 18446744073709551615 4255336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 74941 72921 553 886 0 74051 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 299764 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 10479 /proc/meminfo: memFree=1468024/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=300348 CPUtime=1301.89 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78452 0 0 0 129732 457 0 0 25 0 1 0 9770993 307556352 73015 1992294400 4194304 7823515 548682068736 18446744073709551615 4223335 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75087 73015 553 886 0 74197 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 300348 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 10479 /proc/meminfo: memFree=1467000/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=301276 CPUtime=1361.87 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78685 0 0 0 135709 478 0 0 25 0 1 0 9770993 308506624 73248 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75319 73248 553 886 0 74429 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 301276 [startup+1422.3 s] /proc/loadavg: 1.04 0.99 0.80 2/65 10479 /proc/meminfo: memFree=1466680/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=301620 CPUtime=1421.86 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78770 0 0 0 141684 502 0 0 25 0 1 0 9770993 308858880 73333 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75405 73333 553 886 0 74515 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 301620 [startup+1482.3 s] /proc/loadavg: 1.01 0.99 0.82 2/65 10479 /proc/meminfo: memFree=1466232/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=302088 CPUtime=1481.84 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78872 0 0 0 147658 526 0 0 25 0 1 0 9770993 309338112 73435 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75522 73435 553 886 0 74632 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 302088 [startup+1542.31 s] /proc/loadavg: 1.00 0.99 0.82 2/65 10479 /proc/meminfo: memFree=1466168/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=302228 CPUtime=1541.82 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 78893 0 0 0 153632 550 0 0 25 0 1 0 9770993 309481472 73456 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75557 73456 553 886 0 74667 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 302228 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.83 2/65 10479 /proc/meminfo: memFree=1465656/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=302680 CPUtime=1601.8 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79005 0 0 0 159607 573 0 0 25 0 1 0 9770993 309944320 73568 1992294400 4194304 7823515 548682068736 18446744073709551615 4219118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75670 73568 553 886 0 74780 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 302680 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.83 2/65 10479 /proc/meminfo: memFree=1465400/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=302952 CPUtime=1661.79 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79059 0 0 0 165586 593 0 0 25 0 1 0 9770993 310222848 73622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75738 73622 553 886 0 74848 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 302952 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.84 2/65 10479 /proc/meminfo: memFree=1464568/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=303896 CPUtime=1721.77 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79274 0 0 0 171564 613 0 0 25 0 1 0 9770993 311189504 73837 1992294400 4194304 7823515 548682068736 18446744073709551615 4207205 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 75974 73837 553 886 0 75084 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 303896 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1464120/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=304320 CPUtime=1781.75 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79366 0 0 0 177546 629 0 0 25 0 1 0 9770993 311623680 73929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 76080 73929 553 886 0 75190 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 304320 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1464056/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=304320 CPUtime=1791.45 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79381 0 0 0 178512 633 0 0 25 0 1 0 9770993 311623680 73944 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 76080 73944 553 886 0 75190 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 304320 [startup+1795.2 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1464056/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=304320 CPUtime=1794.65 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79381 0 0 0 178831 634 0 0 25 0 1 0 9770993 311623680 73944 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 76080 73944 553 886 0 75190 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 304320 [startup+1796.8 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1464056/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=304456 CPUtime=1796.24 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79384 0 0 0 178990 634 0 0 25 0 1 0 9770993 311762944 73947 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 76114 73947 553 886 0 75224 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 304456 [startup+1798.4 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1464056/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=304456 CPUtime=1797.84 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79384 0 0 0 179150 634 0 0 25 0 1 0 9770993 311762944 73947 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10472/statm: 76114 73947 553 886 0 75224 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 304456 [startup+1799.2 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1464056/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=304456 CPUtime=1798.65 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79386 0 0 0 179230 635 0 0 25 0 1 0 9770993 311762944 73949 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 0 0 0 0 17 0 0 0 /proc/10472/statm: 76114 73949 555 886 0 75224 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (KiB) 304456 [startup+1799.6 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1463352/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=305336 CPUtime=1799.05 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79579 0 0 0 179270 635 0 0 25 0 1 0 9770993 312664064 74142 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 0 0 0 /proc/10472/statm: 76334 74142 559 886 0 75444 0 Current children cumulated CPU time (s) 1799.05 Current children cumulated vsize (KiB) 305336 [startup+1799.71 s] /proc/loadavg: 1.00 0.99 0.85 2/65 10479 /proc/meminfo: memFree=1463352/2055920 swapFree=4192956/4192956 [pid=10472] ppid=10470 vsize=125280 CPUtime=1799.14 /proc/10472/stat : 10472 (pbscip.linux.x8) R 10470 10472 10359 0 -1 4194304 79579 0 0 0 179276 638 0 0 25 0 1 0 9770993 128286720 30923 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/10472/statm: 31320 30923 22508 886 0 30430 0 Current children cumulated CPU time (s) 1799.14 Current children cumulated vsize (KiB) 125280 Child status: 0 Real time (s): 1799.71 CPU time (s): 1799.16 CPU user time (s): 1792.77 CPU system time (s): 6.39303 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 305336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.77 system time used= 6.39303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79583 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= 2 involuntary context switches= 2420 runsolver used 1.35979 second user time and 3.84641 second system time The end
Begin job on node30 at 2009-06-17 18:00:15 IDJOB=1884127 IDBENCH=71926 IDSOLVER=683 FILE ID=node30/1884127-1245254415 PBS_JOBID= 9372423 Free space on /tmp= 66216 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/crafted/Medium/contest05/sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.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-1884127-1245254415/watcher-1884127-1245254415 -o /tmp/evaluation-result-1884127-1245254415/solver-1884127-1245254415 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884127-1245254415.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ae8045fbb26ce0afc2e727b3967f7dd RANDOM SEED=964197159 node30.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.273 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.273 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: 1759648 kB Buffers: 40776 kB Cached: 197564 kB SwapCached: 0 kB Active: 47976 kB Inactive: 203328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1759648 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 12116 kB Writeback: 0 kB Mapped: 22748 kB Slab: 30972 kB Committed_AS: 78724 kB PageTables: 1360 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= 66208 MiB End job on node30 at 2009-06-17 18:30:15