| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | SAT | 1502.46 | 1502.95 |
| Name | /PURE-SAT/SAT09/CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.opb |
| MD5SUM | 0b76ac875dce631b20bf4c0aea28e0d6 |
| 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 | 36.1795 |
| 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 | 760 |
| Total number of constraints | 43649 |
| Number of constraints which are clauses | 43649 |
| 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 | 2 |
| Maximum length of a constraint | 19 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 20 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.49/0.58 c SCIP version 1.1.0.7
0.49/0.58 c LP-Solver SoPlex 1.4.1
0.49/0.58 c user parameter file <scip.set> not found - using default parameters
0.49/0.58 c read problem <HOME/instance-1885027-1245262119.opb>
0.49/0.58 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 43649 constraints
0.59/0.68 c No objective function, only one solution is needed.
0.59/0.68 c start presolving problem
0.59/0.68 c presolving:
1.10/1.17 c (round 1) 0 del vars, 2508 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41141 upgd conss, 82202 impls, 0 clqs
1.19/1.24 c presolving (2 rounds):
1.19/1.24 c 0 deleted vars, 2508 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.24 c 82202 implications, 0 cliques
1.19/1.24 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41141 constraints
1.19/1.24 c 41141 constraints of type <logicor>
1.19/1.24 c transformed objective value is always integral (scale: 1)
1.19/1.24 c Presolving Time: 0.45
1.19/1.24 c PURESAT
1.19/1.24 c -----------------------------------------------------------------------------------------------
1.19/1.24 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.24 c separating/flowcover/freq = c -1
1.19/1.24 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.24 c separating/cmir/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/veclendiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.24 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.19/1.24 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/veclendiving/freq = c -1
1.19/1.24 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.24 c heuristics/simplerounding/freq = c -1
1.19/1.24 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/shifting/freq = c -1
1.19/1.24 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.24 c heuristics/rounding/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.19/1.24 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.19/1.24 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.24 c heuristics/rootsoldiving/freq = c -1
1.19/1.24 c # number of nodes added to the contingent of the total nodes
1.19/1.24 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.19/1.24 c heuristics/rens/nodesofs = c 2000
1.19/1.24 c # minimum percentage of integer variables that have to be fixable
1.19/1.24 c # [type: real, range: [0,1], default: 0.5]
1.19/1.24 c heuristics/rens/minfixingrate = c 0.3
1.19/1.24 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.24 c heuristics/rens/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.24 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.19/1.24 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/pscostdiving/freq = c -1
1.19/1.24 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.24 c heuristics/oneopt/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to total iteration number
1.19/1.24 c # [type: real, range: [0,1], default: 0.01]
1.19/1.24 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.19/1.24 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.24 c heuristics/objpscostdiving/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.24 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.19/1.24 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/linesearchdiving/freq = c -1
1.19/1.24 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/intshifting/freq = c -1
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.24 c heuristics/intdiving/maxlpiterquot = c 0.075
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/guideddiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.24 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.19/1.24 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/guideddiving/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/fracdiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.24 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.19/1.24 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/fracdiving/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/feaspump/maxlpiterofs = c 2000
1.19/1.24 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.24 c heuristics/feaspump/freq = c -1
1.19/1.24 c # minimum percentage of integer variables that have to be fixed
1.19/1.24 c # [type: real, range: [0,1], default: 0.666]
1.19/1.24 c heuristics/crossover/minfixingrate = c 0.5
1.19/1.24 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.19/1.24 c # [type: real, range: [0,1], default: 0.1]
1.19/1.24 c heuristics/crossover/nodesquot = c 0.15
1.19/1.24 c # number of nodes without incumbent change that heuristic should wait
1.19/1.24 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.19/1.24 c heuristics/crossover/nwaitingnodes = c 100
1.19/1.24 c # number of nodes added to the contingent of the total nodes
1.19/1.24 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.19/1.24 c heuristics/crossover/nodesofs = c 750
1.19/1.24 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 30]
1.19/1.24 c heuristics/crossover/freq = c -1
1.19/1.24 c # additional number of allowed LP iterations
1.19/1.24 c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.24 c heuristics/coefdiving/maxlpiterofs = c 1500
1.19/1.24 c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.24 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.19/1.24 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.24 c heuristics/coefdiving/freq = c -1
1.19/1.24 c # priority of node selection rule <dfs> in standard mode
1.19/1.24 c # [type: int, range: [-536870912,536870911], default: 0]
1.19/1.24 c nodeselection/dfs/stdpriority = c 1000000
1.19/1.24 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.24 c presolving/probing/maxrounds = c 0
1.19/1.24 c # should presolving try to simplify knapsacks
1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24 c constraints/knapsack/simplifyinequalities = c TRUE
1.19/1.24 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.19/1.24 c constraints/knapsack/disaggregation = c FALSE
1.19/1.24 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.24 c constraints/knapsack/maxnumcardlift = c 0
1.19/1.24 c # should presolving try to simplify inequalities
1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24 c constraints/linear/simplifyinequalities = c TRUE
1.19/1.24 c # maximal number of separation rounds in the root node (-1: unlimited)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.24 c separating/maxroundsroot = c 5
1.19/1.24 c # maximal number of separation rounds per node (-1: unlimited)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 5]
1.19/1.24 c separating/maxrounds = c 1
1.19/1.24 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)
1.19/1.24 c # [type: char, range: {lafpsqd}, default: l]
1.19/1.24 c lp/pricing = c a
1.19/1.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.24 c lp/solvefreq = c 0
1.19/1.24 c # solving stops, if the given number of solutions were found (-1: no limit)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.24 c limits/solutions = c 1
1.19/1.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.24 c limits/memory = c 1620
1.19/1.24 c # maximal time in seconds to run
1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.24 c limits/time = c 1791
1.19/1.24 c # frequency for displaying node information lines
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.24 c display/freq = c 10000
1.19/1.24 c # should enforcement of pseudo solution be disabled?
1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24 c constraints/disableenfops = c TRUE
1.19/1.24 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.24 c constraints/agelimit = c 1
1.19/1.24 c # should binary conflicts be preferred?
1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24 c conflict/preferbinary = c TRUE
1.19/1.24 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.24 c conflict/interconss = c 0
1.19/1.24 c -----------------------------------------------------------------------------------------------
1.19/1.24 c start solving problem
1.19/1.24 c
1.59/1.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.69 c 0.9s| 1 | 0 | 129 | 47M| 0 | 102 | 760 | 41k| 41k| 760 | 41k| 0 | 0 | 0 | 4.000000e+01 | -- | Inf
2.99/3.06 c 2.3s| 1 | 0 | 212 | 47M| 0 | 121 | 760 | 41k| 41k| 760 | 41k| 10 | 0 | 0 | 4.000000e+01 | -- | Inf
4.59/4.65 c 3.9s| 1 | 0 | 349 | 47M| 0 | 134 | 760 | 41k| 41k| 760 | 41k| 25 | 0 | 0 | 4.000000e+01 | -- | Inf
7.98/8.06 c 7.3s| 1 | 0 | 550 | 48M| 0 | 113 | 760 | 41k| 41k| 760 | 41k| 37 | 0 | 0 | 4.000000e+01 | -- | Inf
9.49/9.51 c 8.7s| 1 | 0 | 651 | 48M| 0 | 129 | 760 | 41k| 41k| 760 | 41k| 45 | 0 | 0 | 4.000000e+01 | -- | Inf
13.58/13.69 c 12.9s| 1 | 0 | 818 | 48M| 0 | 128 | 760 | 41k| 41k| 760 | 41k| 56 | 0 | 0 | 4.000000e+01 | -- | Inf
53.96/54.05 c 53.2s| 1 | 2 | 818 | 48M| 0 | 128 | 760 | 41k| 41k| 760 | 41k| 56 | 0 | 33 | 4.000000e+01 | -- | Inf
112.84/112.99 c 112s| 10000 | 30 | 818 | 49M| 106 | - | 760 | 41k| 15k| 0 | 0 | 56 |7125 | 33 | 4.000000e+01 | -- | Inf
167.03/167.15 c 166s| 20000 | 13 | 818 | 49M| 106 | - | 760 | 41k| 25k| 0 | 0 | 56 | 13k| 33 | 4.000000e+01 | -- | Inf
234.60/234.76 c 233s| 30000 | 88 | 818 | 49M| 227 | - | 760 | 41k| 15k| 0 | 0 | 56 | 20k| 33 | 4.000000e+01 | -- | Inf
300.78/300.98 c 299s| 40000 | 81 | 818 | 49M| 227 | - | 760 | 41k| 12k| 0 | 0 | 56 | 27k| 33 | 4.000000e+01 | -- | Inf
366.76/366.92 c 365s| 50000 | 88 | 818 | 49M| 227 | - | 760 | 41k| 19k| 0 | 0 | 56 | 34k| 33 | 4.000000e+01 | -- | Inf
426.44/426.68 c 424s| 60000 | 74 | 818 | 49M| 227 | - | 760 | 41k| 10k| 0 | 0 | 56 | 41k| 33 | 4.000000e+01 | -- | Inf
486.42/486.61 c 484s| 70000 | 110 | 818 | 49M| 227 | - | 760 | 41k| 15k| 0 | 0 | 56 | 47k| 33 | 4.000000e+01 | -- | Inf
553.00/553.30 c 550s| 80000 | 62 | 818 | 49M| 227 | - | 760 | 41k| 18k| 0 | 0 | 56 | 54k| 33 | 4.000000e+01 | -- | Inf
613.88/614.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.88/614.17 c 611s| 90000 | 66 | 818 | 49M| 227 | - | 760 | 41k|9645 | 0 | 0 | 56 | 61k| 33 | 4.000000e+01 | -- | Inf
677.96/678.24 c 675s|100000 | 66 | 818 | 49M| 227 | - | 760 | 41k|9744 | 0 | 0 | 56 | 68k| 33 | 4.000000e+01 | -- | Inf
742.34/742.61 c 739s|110000 | 70 | 818 | 49M| 227 | - | 760 | 41k| 12k| 0 | 0 | 56 | 75k| 33 | 4.000000e+01 | -- | Inf
809.52/809.82 c 806s|120000 | 82 | 818 | 49M| 227 | - | 760 | 41k| 24k| 0 | 0 | 56 | 82k| 33 | 4.000000e+01 | -- | Inf
873.60/873.98 c 870s|130000 | 84 | 818 | 49M| 227 | - | 760 | 41k| 17k| 0 | 0 | 56 | 88k| 33 | 4.000000e+01 | -- | Inf
933.08/933.45 c 929s|140000 | 57 | 818 | 49M| 227 | - | 760 | 41k| 15k| 0 | 0 | 56 | 95k| 33 | 4.000000e+01 | -- | Inf
996.95/997.34 c 993s|150000 | 58 | 818 | 49M| 227 | - | 760 | 41k|8412 | 0 | 0 | 56 | 102k| 33 | 4.000000e+01 | -- | Inf
1062.34/1062.78 c 1058s|160000 | 99 | 818 | 49M| 227 | - | 760 | 41k| 12k| 0 | 0 | 56 | 109k| 33 | 4.000000e+01 | -- | Inf
1130.12/1130.57 c 1126s|170000 | 56 | 818 | 49M| 227 | - | 760 | 41k| 20k| 0 | 0 | 56 | 116k| 33 | 4.000000e+01 | -- | Inf
1192.89/1193.37 c 1188s|180000 | 80 | 818 | 49M| 227 | - | 760 | 41k| 15k| 0 | 0 | 56 | 123k| 33 | 4.000000e+01 | -- | Inf
1253.88/1254.37 c 1249s|190000 | 51 | 818 | 49M| 227 | - | 760 | 41k| 20k| 0 | 0 | 56 | 130k| 33 | 4.000000e+01 | -- | Inf
1318.56/1319.01 c 1313s|200000 | 59 | 818 | 49M| 227 | - | 760 | 41k| 12k| 0 | 0 | 56 | 137k| 33 | 4.000000e+01 | -- | Inf
1381.34/1381.86 c 1376s|210000 | 42 | 818 | 49M| 227 | - | 760 | 41k| 10k| 0 | 0 | 56 | 144k| 33 | 4.000000e+01 | -- | Inf
1439.52/1440.04 c 1434s|220000 | 52 | 818 | 49M| 235 | - | 760 | 41k| 14k| 0 | 0 | 56 | 151k| 33 | 4.000000e+01 | -- | Inf
1491.70/1492.25 c 1486s|230000 | 61 | 818 | 49M| 235 | - | 760 | 41k| 14k| 0 | 0 | 56 | 158k| 33 | 4.000000e+01 | -- | Inf
1502.20/1502.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.20/1502.75 c *1496s|231817 | 0 | 818 | 49M| 235 | - | 760 | 41k|5464 | 0 | 0 | 56 | 159k| 33 | 4.000000e+01 | 4.000000e+01 | 0.00%
1502.20/1502.77 c
1502.20/1502.77 c SCIP Status : problem is solved [optimal solution found]
1502.20/1502.77 c Solving Time (sec) : 1496.35
1502.20/1502.77 c Solving Nodes : 231817
1502.20/1502.77 c Primal Bound : +4.00000000000000e+01 (1 solutions)
1502.20/1502.77 c Dual Bound : +4.00000000000000e+01
1502.20/1502.77 c Gap : 0.00 %
1502.20/1502.79 c NODE 231817
1502.20/1502.79 c DUAL BOUND 40
1502.20/1502.79 c PRIMAL BOUND 40
1502.20/1502.79 c GAP 0
1502.20/1502.79 s SATISFIABLE
1502.20/1502.79 v -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739
1502.20/1502.79 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718
1502.20/1502.79 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697
1502.20/1502.79 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
1502.20/1502.79 v -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655
1502.20/1502.79 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
1502.20/1502.79 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613
1502.20/1502.79 v -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
1502.20/1502.79 v -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
1502.20/1502.79 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
1502.20/1502.79 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529
1502.20/1502.79 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508
1502.20/1502.79 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
1502.20/1502.79 v -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466
1502.20/1502.79 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445
1502.20/1502.79 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
1502.20/1502.79 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
1502.20/1502.79 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382
1502.20/1502.79 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361
1502.20/1502.79 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340
1502.20/1502.79 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319
1502.20/1502.79 v -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298
1502.20/1502.79 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277
1502.20/1502.79 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256
1502.20/1502.79 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
1502.20/1502.79 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
1502.20/1502.79 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1502.20/1502.79 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172
1502.20/1502.79 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151
1502.20/1502.79 v -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
1502.20/1502.79 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1502.20/1502.79 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85
1502.20/1502.79 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1502.20/1502.79 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35
1502.20/1502.79 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1502.20/1502.79 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1502.20/1502.79 c SCIP Status : problem is solved [optimal solution found]
1502.20/1502.79 c Solving Time : 1496.35
1502.20/1502.79 c Original Problem :
1502.20/1502.79 c Problem name : HOME/instance-1885027-1245262119.opb
1502.20/1502.79 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1502.20/1502.79 c Constraints : 43649 initial, 43649 maximal
1502.20/1502.79 c Presolved Problem :
1502.20/1502.79 c Problem name : t_HOME/instance-1885027-1245262119.opb
1502.20/1502.79 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1502.20/1502.79 c Constraints : 41141 initial, 41278 maximal
1502.20/1502.79 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1502.20/1502.79 c trivial : 0.00 0 0 0 0 0 0 0 0
1502.20/1502.79 c dualfix : 0.00 0 0 0 0 0 0 0 0
1502.20/1502.79 c boundshift : 0.00 0 0 0 0 0 0 0 0
1502.20/1502.79 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1502.20/1502.79 c implics : 0.00 0 0 0 0 0 0 0 0
1502.20/1502.79 c probing : 0.00 0 0 0 0 0 0 0 0
1502.20/1502.79 c linear : 0.29 0 0 0 0 0 2508 0 0
1502.20/1502.79 c logicor : 0.11 0 0 0 0 0 0 0 0
1502.20/1502.79 c root node : - 1 - - 1 - - - -
1502.20/1502.79 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1502.20/1502.79 c integral : 0 0 0 1 0 0 0 0 0 2
1502.20/1502.79 c logicor : 41141+ 5 1028333 0 1 136815 14976747 0 0 0
1502.20/1502.79 c countsols : 0 0 0 0 1 0 0 0 0 0
1502.20/1502.79 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1502.20/1502.79 c integral : 40.28 0.00 0.00 40.28 0.00
1502.20/1502.79 c logicor : 730.09 0.03 730.06 0.00 0.00
1502.20/1502.79 c countsols : 0.00 0.00 0.00 0.00 0.00
1502.20/1502.79 c Propagators : Time Calls Cutoffs DomReds
1502.20/1502.79 c rootredcost : 0.55 0 0 0
1502.20/1502.79 c pseudoobj : 65.97 1227646 0 0
1502.20/1502.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1502.20/1502.79 c propagation : 20.52 136815 136779 136779 31.7 24059 33.3 -
1502.20/1502.79 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1502.20/1502.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1502.20/1502.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1502.20/1502.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1502.20/1502.79 c applied globally : - - - 155754 30.1 - - -
1502.20/1502.79 c applied locally : - - - 3665 88.3 - - -
1502.20/1502.79 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1502.20/1502.79 c cut pool : 0.00 4 - - 9 - (maximal pool size: 254)
1502.20/1502.79 c redcost : 0.00 5 0 0 0 0
1502.20/1502.79 c impliedbounds : 0.00 5 0 0 0 0
1502.20/1502.79 c intobj : 0.00 0 0 0 0 0
1502.20/1502.79 c gomory : 5.62 5 0 0 2500 0
1502.20/1502.79 c strongcg : 2.55 5 0 0 2500 0
1502.20/1502.79 c cmir : 0.00 0 0 0 0 0
1502.20/1502.79 c flowcover : 0.00 0 0 0 0 0
1502.20/1502.79 c clique : 0.09 5 0 0 45 0
1502.20/1502.79 c zerohalf : 0.00 0 0 0 0 0
1502.20/1502.79 c mcf : 0.06 1 0 0 0 0
1502.20/1502.79 c Pricers : Time Calls Vars
1502.20/1502.79 c problem variables: 0.00 0 0
1502.20/1502.79 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1502.20/1502.79 c relpscost : 40.28 1 0 0 0 0 2
1502.20/1502.79 c pscost : 0.00 0 0 0 0 0 0
1502.20/1502.79 c inference : 15.49 166533 0 0 0 0 333066
1502.20/1502.79 c mostinf : 0.00 0 0 0 0 0 0
1502.20/1502.79 c leastinf : 0.00 0 0 0 0 0 0
1502.20/1502.79 c fullstrong : 0.00 0 0 0 0 0 0
1502.20/1502.79 c allfullstrong : 0.00 0 0 0 0 0 0
1502.20/1502.79 c random : 0.00 0 0 0 0 0 0
1502.20/1502.79 c Primal Heuristics : Time Calls Found
1502.20/1502.79 c LP solutions : 0.00 - 0
1502.20/1502.79 c pseudo solutions : 0.00 - 1
1502.20/1502.79 c simplerounding : 0.00 0 0
1502.20/1502.79 c rounding : 0.00 0 0
1502.20/1502.79 c shifting : 0.00 0 0
1502.20/1502.79 c intshifting : 0.00 0 0
1502.20/1502.79 c oneopt : 0.00 0 0
1502.20/1502.79 c fixandinfer : 0.00 0 0
1502.20/1502.79 c feaspump : 0.00 0 0
1502.20/1502.79 c coefdiving : 0.00 0 0
1502.20/1502.79 c pscostdiving : 0.00 0 0
1502.20/1502.79 c fracdiving : 0.00 0 0
1502.20/1502.79 c veclendiving : 0.00 0 0
1502.20/1502.79 c intdiving : 0.00 0 0
1502.20/1502.79 c actconsdiving : 0.00 0 0
1502.20/1502.79 c objpscostdiving : 0.00 0 0
1502.20/1502.79 c rootsoldiving : 0.00 0 0
1502.20/1502.79 c linesearchdiving : 0.00 0 0
1502.20/1502.79 c guideddiving : 0.00 0 0
1502.20/1502.79 c octane : 0.00 0 0
1502.20/1502.79 c rens : 0.00 0 0
1502.20/1502.79 c rins : 0.00 0 0
1502.20/1502.79 c localbranching : 0.00 0 0
1502.20/1502.79 c mutation : 0.00 0 0
1502.20/1502.79 c crossover : 0.00 0 0
1502.20/1502.79 c dins : 0.00 0 0
1502.20/1502.79 c LP : Time Calls Iterations Iter/call Iter/sec
1502.20/1502.79 c primal LP : 0.02 0 0 0.00 0.00
1502.20/1502.79 c dual LP : 3.70 6 818 136.33 221.08
1502.20/1502.79 c barrier LP : 0.00 0 0 0.00 -
1502.20/1502.79 c diving/probing LP: 0.00 0 0 0.00 -
1502.20/1502.79 c strong branching : 40.28 33 7653 231.91 190.00
1502.20/1502.79 c (at root node) : - 33 7653 231.91 -
1502.20/1502.79 c conflict analysis: 0.00 0 0 0.00 -
1502.20/1502.79 c B&B Tree :
1502.20/1502.79 c number of runs : 1
1502.20/1502.79 c nodes : 231817
1502.20/1502.79 c nodes (total) : 231817
1502.20/1502.79 c nodes left : 0
1502.20/1502.79 c max depth : 235
1502.20/1502.79 c max depth (total): 235
1502.20/1502.79 c backtracks : 89248 (38.5%)
1502.20/1502.79 c delayed cutoffs : 101205
1502.20/1502.79 c repropagations : 240907 (7571473 domain reductions, 71533 cutoffs)
1502.20/1502.79 c avg switch length: 3.06
1502.20/1502.79 c switching time : 370.68
1502.20/1502.79 c Solution :
1502.20/1502.79 c Solutions found : 1 (1 improvements)
1502.20/1502.79 c Primal Bound : +4.00000000000000e+01 (in run 1, after 231817 nodes, 1496.33 seconds, depth 56, found by <relaxation>)
1502.20/1502.79 c Dual Bound : +4.00000000000000e+01
1502.20/1502.79 c Gap : 0.00 %
1502.20/1502.79 c Root Dual Bound : +4.00000000000000e+01
1502.40/1502.95 c Time complete: 1502.45.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885027-1245262119/watcher-1885027-1245262119 -o /tmp/evaluation-result-1885027-1245262119/solver-1885027-1245262119 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885027-1245262119.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.00 1.00 0.94 3/64 10089 /proc/meminfo: memFree=1874976/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=4328 CPUtime=0 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 485 0 0 0 0 0 0 0 18 0 1 0 193804805 4431872 469 1992294400 4194304 7823515 548682068736 18446744073709551615 5862928 0 0 4096 0 0 0 0 17 1 0 0 /proc/10089/statm: 1162 481 314 886 0 272 0 [startup+0.0503391 s] /proc/loadavg: 1.00 1.00 0.94 3/64 10089 /proc/meminfo: memFree=1874976/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=10516 CPUtime=0.04 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 1932 0 0 0 4 0 0 0 18 0 1 0 193804805 10768384 1914 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0 /proc/10089/statm: 2629 1914 351 886 0 1739 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10516 [startup+0.101345 s] /proc/loadavg: 1.00 1.00 0.94 3/64 10089 /proc/meminfo: memFree=1874976/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=12440 CPUtime=0.09 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 2421 0 0 0 8 1 0 0 18 0 1 0 193804805 12738560 2403 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0 /proc/10089/statm: 3110 2403 351 886 0 2220 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12440 [startup+0.301373 s] /proc/loadavg: 1.00 1.00 0.94 3/64 10089 /proc/meminfo: memFree=1874976/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=18112 CPUtime=0.29 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 3829 0 0 0 28 1 0 0 19 0 1 0 193804805 18546688 3811 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10089/statm: 4528 3811 351 886 0 3638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18112 [startup+0.70143 s] /proc/loadavg: 1.00 1.00 0.94 3/64 10089 /proc/meminfo: memFree=1874976/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=55516 CPUtime=0.69 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 13284 0 0 0 64 5 0 0 22 0 1 0 193804805 56848384 12912 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 13879 12912 417 886 0 12989 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55516 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1812952/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=108908 CPUtime=1.49 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 27964 0 0 0 131 18 0 0 18 0 1 0 193804805 111521792 25812 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 27227 25812 496 886 0 26337 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 108908 [startup+3.10177 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1769816/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=120500 CPUtime=3.09 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 29949 0 0 0 289 20 0 0 25 0 1 0 193804805 123392000 27705 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 30125 27705 532 886 0 29235 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 120500 [startup+6.30122 s] /proc/loadavg: 1.08 1.02 0.94 2/65 10090 /proc/meminfo: memFree=1758680/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=125772 CPUtime=6.29 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 32349 0 0 0 607 22 0 0 25 0 1 0 193804805 128790528 30105 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 31443 30105 533 886 0 30553 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 125772 [startup+12.7011 s] /proc/loadavg: 1.07 1.02 0.94 2/65 10090 /proc/meminfo: memFree=1746656/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=138120 CPUtime=12.69 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 35107 0 0 0 1245 24 0 0 25 0 1 0 193804805 141434880 32863 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 34530 32863 533 886 0 33640 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 138120 [startup+25.5019 s] /proc/loadavg: 1.06 1.01 0.94 2/65 10090 /proc/meminfo: memFree=1739488/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=145608 CPUtime=25.48 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36539 0 0 0 2522 26 0 0 25 0 1 0 193804805 149102592 34295 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36402 34295 536 886 0 35512 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 145608 [startup+51.1016 s] /proc/loadavg: 1.04 1.01 0.94 2/65 10090 /proc/meminfo: memFree=1738272/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=51.06 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36846 0 0 0 5076 30 0 0 25 0 1 0 193804805 150011904 34596 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34596 536 886 0 35734 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 146496 [startup+102.305 s] /proc/loadavg: 1.01 1.01 0.94 2/65 10090 /proc/meminfo: memFree=1738208/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=102.25 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36871 0 0 0 10177 48 0 0 25 0 1 0 193804805 150011904 34621 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34621 545 886 0 35734 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 146496 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1738208/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=162.23 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36871 0 0 0 16150 73 0 0 25 0 1 0 193804805 150011904 34621 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34621 545 886 0 35734 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 146496 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1738208/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=222.2 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 22127 93 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4221636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 146496 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1738144/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=282.18 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 28107 111 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 146496 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1738080/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=342.17 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 34085 132 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 146496 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1738016/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=402.14 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 40061 153 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4218807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 146496 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1738016/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=462.13 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 46036 177 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4221694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 146496 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737952/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=522.1 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 52013 197 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 146496 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737952/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=582.09 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 57993 216 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4208128 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 146496 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737952/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=642.08 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 63971 237 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 146496 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1737824/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=822.01 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 81904 297 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 146496 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737760/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=881.99 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 87883 316 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 146496 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737696/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=941.97 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 93859 338 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 146496 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737760/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1001.96 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 99838 358 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 146496 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737696/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1061.94 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 105815 379 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 146496 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737632/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1121.92 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 111795 397 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 146496 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737568/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1181.9 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 117774 416 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 146496 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737568/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1241.88 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 123748 440 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6722834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 146496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737504/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1301.86 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 129722 464 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 146496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737440/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1361.84 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 135703 481 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4218736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 146496 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737440/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1421.82 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 141681 501 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 146496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737440/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1481.8 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 147650 530 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4208362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 146496 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737440/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1484.2 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 147889 531 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1484.2 Current children cumulated vsize (KiB) 146496 [startup+1491.1 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737440/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1490.6 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 148527 533 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1490.6 Current children cumulated vsize (KiB) 146496 [startup+1497.5 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737376/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1497 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 149164 536 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4209630 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1497 Current children cumulated vsize (KiB) 146496 [startup+1500.7 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737376/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1500.19 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 149483 536 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1500.19 Current children cumulated vsize (KiB) 146496 [startup+1502.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737376/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1501.8 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 149643 537 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1501.8 Current children cumulated vsize (KiB) 146496 [startup+1502.7 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737376/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1502.2 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36872 0 0 0 149683 537 0 0 25 0 1 0 193804805 150011904 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34622 546 886 0 35734 0 Current children cumulated CPU time (s) 1502.2 Current children cumulated vsize (KiB) 146496 [startup+1502.9 s] /proc/loadavg: 1.00 1.00 0.94 2/65 10090 /proc/meminfo: memFree=1737376/2055920 swapFree=4180352/4192956 [pid=10089] ppid=10087 vsize=146496 CPUtime=1502.4 /proc/10089/stat : 10089 (pbscip.linux.x8) R 10087 10089 9232 0 -1 4194304 36880 0 0 0 149703 537 0 0 17 0 1 0 193804805 150011904 34630 1992294400 4194304 7823515 548682068736 18446744073709551615 5100736 0 0 4096 0 0 0 0 17 1 0 0 /proc/10089/statm: 36624 34630 553 886 0 35734 0 Current children cumulated CPU time (s) 1502.4 Current children cumulated vsize (KiB) 146496 Child status: 0 Real time (s): 1502.95 CPU time (s): 1502.46 CPU user time (s): 1497.06 CPU system time (s): 5.39618 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 146496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1497.06 system time used= 5.39618 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36884 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= 7 involuntary context switches= 2558 runsolver used 1.17182 second user time and 3.16552 second system time The end
Begin job on node49 at 2009-06-17 20:08:39 IDJOB=1885027 IDBENCH=72016 IDSOLVER=683 FILE ID=node49/1885027-1245262119 PBS_JOBID= 9372405 Free space on /tmp= 66028 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/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes10.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-1885027-1245262119/watcher-1885027-1245262119 -o /tmp/evaluation-result-1885027-1245262119/solver-1885027-1245262119 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885027-1245262119.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b76ac875dce631b20bf4c0aea28e0d6 RANDOM SEED=1191379316 node49.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.232 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.232 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: 1875392 kB Buffers: 23544 kB Cached: 89132 kB SwapCached: 5576 kB Active: 87968 kB Inactive: 32804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1875392 kB SwapTotal: 4192956 kB SwapFree: 4180352 kB Dirty: 10844 kB Writeback: 0 kB Mapped: 13780 kB Slab: 45500 kB Committed_AS: 202096 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66016 MiB End job on node49 at 2009-06-17 20:33:42